Artin's Vanishing Theorem

• Artin’s Vanishing Theorem is a set of results proving that higher cohomology groups vanish beyond the dimension of a variety, space, or scheme.
• It leverages algebraic, analytic, and rigid-analytic methodologies by employing spectral sequences, algebraization, and stratification techniques.
• The theorem underpins affine Lefschetz properties and facilitates cohomological calculations in Stein spaces, affinoid geometries, and motivic frameworks.

Artin’s Vanishing Theorem refers to a suite of results asserting the vanishing of certain cohomology groups—typically étale or (analytic) coherent cohomology—above the dimension of a variety, space, or scheme. These theorems, originating in the algebraic context, have been generalized and refined in rigid-analytic geometry, the theory of Artin motives, and complex analytic (particularly Stein) spaces, underpinning affine and Stein Lefschetz-type vanishing phenomena. This article comprehensively delineates the principal statements, proof architectures, and comparative landscape for Artin’s vanishing, highlighting both classical and recent developments across these domains.

1. Foundational Statements and Definitions

Classical Algebraic and Analytic Artin Vanishing

• Algebraic Statement: For a noetherian affine scheme $X$ of dimension $n$ and a torsion étale sheaf $\mathcal F$, the étale cohomology groups vanish above the dimension:

$H^i_{\et}(X, \mathcal F) = 0 \quad \text{for all } i > n.$

This result, proven in SGA 4, is central for the calculation of cohomological dimensions of affine schemes (Benoist, 2024).

• Analytic/Coherent Statement: For a complex Stein space $S$ and any coherent analytic $\mathcal O_S$-module $\mathcal E$, Cartan's Theorems A and B yield

$$H^i(S, \mathcal E) = 0 \quad \text{for all } i > 0,$$

reflecting the cohomological simplicity of Stein spaces (Benoist, 2024).

Rigid-Analytic and Motivic Extensions

• Rigid-Analytic Settings: Let $X = \Spa(A)$ be a $d$-dimensional $K$-affinoid rigid space over a complete discretely valued non-Archimedean field $K$ of characteristic zero, and $\mathcal F$ a Zariski-constructible sheaf of $\Z/n\Z$-modules. Then

$H^i_{\et}(X_{\overline{K}}, \mathcal F) = 0 \quad \text{for all } i > d,$

with all such $H^i$ finite (Hansen, 2017).

• Motivic Artin–Vanishing: For $S$ an excellent noetherian scheme ($\dim S \le 2$), $R$ a number field or suitable $\ell$-adic ring, and $f: X \to S$ an affine, quasi-finite morphism with $X$ “nil-regular,” the functor

$f_! : \DM_{\et,c}^{A}(X, R) \to \DM_{\et,c}^{A}(S, R)$

is exact for the perverse homotopy $t$-structure $t_{hp}$: for any perverse-nonnegative object $M$, $f_!(M)$ remains perverse-nonnegative (Ruimy, 22 Apr 2025).

• Stein Spaces and Runge Opens: For a Stein manifold $S$ of dimension $n$ and any Runge open $U \subset S$, the relative cohomology

$H^k(S, U, A) = 0 \quad \text{for } k > n+1,$

with refinements in dimension $1$ reflecting the necessity of finite genus for sharp vanishing in the top relative degree (Benoist, 2024).

2. Geometric and Sheaf-Theoretic Hypotheses

Affine/Rigid-Analytic Contexts

• The base field $K$ is discretely valued of characteristic zero, enabling the application of Temkin's resolution of singularities and Gabber's affine Lefschetz theorem.
• The coefficient sheaf must be Zariski-constructible—becoming locally constant of finite type on finitely many Zariski strata—and, in the rigid-analytic context, of order prime to the residue characteristic (Hansen, 2017).

Motivic and Stein Contexts

• For motivic vanishing, the base $S$ is required to be of dimension $\le 2$ (or of finite type over $\F_p$), a regime in which the perverse homotopy $t$-structure is honest and the six-functor formalism is robust for Artin motives (Ruimy, 22 Apr 2025).
• For Stein spaces, the key settings involve holomorphically convex and holomorphically separable analytic spaces, with the additional requirement in some vanishing theorems of finite genus in dimension one (Benoist, 2024).

3. Methodologies: Algebraization, Comparison, and Induction

Algebraization Techniques

• Fundamental advances rely on the ability to algebraize rig-smooth affinoid algebras over general Noetherian bases, enabling the transfer of algebraic vanishing assertions to analytic or rigid-analytic contexts.
• Noetherian rig-smooth algebraization (e.g., Elkik’s theorem) allows one to express rigid-analytic spaces as limits or completions of schemes, facilitating comparison theorems for cohomology (Gabber et al., 2024).

Stratification, Dévissage, and Cover Extension

• Cohomological calculations are simplified through stratifying sheaves into locally constant pieces, reducing the vanishing problem to constant coefficient cases via surjections lifted through Zariski-open immersions.
• Extension theorems assert that finite étale covers over punctured spaces uniquely extend across analytic subsets in rigid geometry, paralleling classical covering theory in complex analysis (Hansen, 2017).

Spectral Sequences and Inductive Arguments

• Rigid-analytic vanishing is proven via spectral sequences comparing étale cohomology on the analytic and algebraic sides (e.g., Huber–Berkovich nearby cycles), buttressed by the finiteness properties and excellence of local rings (Hansen, 2017).
• Dimension induction proceeds by reducing to lower-dimensional bases (curves, discs), passing vanishing results through spectral sequences (e.g., Leray for projection to the base) (Gabber et al., 2024).

4. Variants and Generalizations

Relative and Equivariant Artin Vanishing

• Runge Open Subsets: In complex analytic settings, Runge open subsets $U$ of a Stein space $S$ preserve key properties (e.g., Steinness, dense restriction of global sections) and allow for relative Artin vanishing theorems, particularly in low dimensions and under the finite genus condition (Benoist, 2024).
• Galois-Equivariant Settings: For Stein spaces equipped with an antiholomorphic involution (real forms), equivariant cohomology vanishing is achieved relative to the fixed-point locus, with proofs via stratified Morse theory and equivariant cohomological dimension arguments (Benoist, 2024).

Rigid-Analytic and Motive Analogues

• Weakly Stein Rigid Spaces: The vanishing theorems extend to unions of increasingly nested affinoid rigid spaces.
• Perverse Motives: For Artin motives, the motivic Artin vanishing interacts intricately with the construction of perverse homotopy $t$-structures, allowing a motivic interpretation of classical vanishing phenomena, notably in dimension $\le 2$ (Ruimy, 22 Apr 2025).

5. Comparison with Classical Results

The algebraic Artin vanishing theorem for affine varieties is mirrored in both rigid-analytic and motivic contexts but with dissipating strength in higher dimensions or in the presence of infinite topological complexity.

• Comparison Tables:

Context	Vanishing Range	Key Hypothesis
Affine scheme (SGA 4)	$i > \dim X$	Torsion sheaf
Rigid-analytic (Hansen)	$i > \dim X$	Zariski-constructible, char 0
Affinoid analytic space	$i > \dim A$	Algebraic torsion sheaf, char 0 (Gabber et al., 2024)
Motivic (Artin motives)	Perverse degrees	$\dim S \le 2$
Stein space (relative)	$k > n+1$	Runge open, finite genus (n=1)

• Non-vanishing in Infinite Genus/High Dimension: Sharp counterexamples have been constructed—for instance, Stein surfaces of infinite genus with Runge opens $U$ for which $H^2(S,U,\Z) \neq 0$, as well as failure of perverse motivic $t$-structures in dimension $\geq 4$ due to persistent infinite torsion (Benoist, 2024, Ruimy, 22 Apr 2025).

6. Consequences, Applications, and Structural Impacts

Corollaries and Examples

• In rigid geometry, the purity for codimension $\ge 2$ posits unique extension of covers from open subsets whose complement has codimension at least two (Hansen, 2017).
• In the motivic regime, perverse Artin motives in dimension one admit an explicit "gluing" description involving Galois representations and Tate twists (Ruimy, 22 Apr 2025).
• Full vanishing for Zariski-constructible sheaves on curves remains available in all characteristics in rigid settings, accentuating the foundational nature of the one-dimensional theory (Gabber et al., 2024).

Broader Influence

• Artin’s vanishing theorems underpin the "affine Lefschetz" property, securing cohomological finiteness and enabling six-functor formalisms in both algebraic and non-archimedean/analytic contexts.
• The extension to the Galois-equivariant, motivic, and analytic settings has both arithmetic and geometric significance—for example, in the study of local-global principles on function fields of Stein surfaces and the construction of t-structures in motivic categories (Benoist, 2024, Ruimy, 22 Apr 2025).

Structural Limitations

• Precise hypotheses on geometric and sheaf-theoretic objects are indispensable: the breakdown of vanishing in the presence of infinite topological complexity or in higher dimensional bases delineates the scope of the theorem’s utility and underscores the necessity of resolution of singularities and excellence (Ruimy, 22 Apr 2025).

7. Contemporary Developments and Open Directions

Recent work has closed longstanding conjectural gaps—such as the full rigid-analytic Artin-Grothendieck vanishing for affinoid spaces in characteristic zero using advanced algebraization methods (Gabber et al., 2024)—and clarified the limitations in positive characteristic and higher dimension. Further investigation continues into motivic vanishing for larger classes of motives, equivariant and relative extensions in analytic geometry, and the structural uniqueness and realization properties of perverse motivic t-structures (Ruimy, 22 Apr 2025). These advances exemplify the deep interplay between geometry, topology, and arithmetic in the evolving landscape of Artin-type vanishing phenomena.