Hodge-Theoretic Vanishing Conditions

Updated 22 January 2026

Hodge-Theoretic Vanishing Conditions are a set of results in mixed Hodge module theory that control the vanishing, injectivity, and generation of cohomology via Deligne lattices and filtration techniques.
They employ methodologies like spectral sequence degeneration, twisted variations, and resolution of singularities to generalize classical theorems from Kodaira to Kawamata–Viehweg settings.
The conditions have practical implications for analyzing positivity, singularities, and global generation in complex geometry, influencing modern research in algebraic and arithmetic contexts.

Hodge-Theoretic Vanishing Conditions comprise a suite of deep results—spanning both algebraic and analytic frameworks—governing the vanishing, injectivity, and generation properties of cohomology groups and graded complexes associated to Hodge modules, Hodge ideals, and their extensions. Rooted in Saito’s theory of mixed Hodge modules, these vanishing statements generalize and unify classical theorems such as Kodaira-Nakano, Kawamata-Viehweg, Kollár and Esnault–Viehweg, extending their reach to real and rational coefficients, singular spaces, and objects constructed from variations of Hodge structure. This article systematically presents the foundational principles, paradigmatic theorems, geometric and analytic techniques, core examples, and ongoing generalizations relevant to Hodge-theoretic vanishing conditions.

1. Foundations: Hodge Modules, Deligne Lattices, and Filtrations

Contemporary vanishing theory is grounded in the formalism of (mixed) Hodge modules established by M. Saito. On a smooth projective complex variety $X$ , polarizable real Hodge modules $(M, F_\bullet, K_\mathbb{R})$ consist of a regular holonomic $\mathscr{D}_X$ -module, a good increasing Hodge filtration $F_\bullet$ , and an $\mathbb{R}$ -perverse sheaf $K_\mathbb{R}$ with $\mathrm{DR}(M) \cong K_\mathbb{R} \otimes_{\mathbb{R}}\mathbb{C}$ (Wu, 2018, Wu, 2015). Strict support simple objects correspond to polarizable variations of Hodge structure (VHS) on Zariski-open strata.

Given a simple normal crossings divisor $D = \sum_{i \in I} D_i$ and a real divisor $B = \sum_i t_i D_i$ , the Deligne extension $V(*D)$ of a VHS $V$ admits upper and lower Deligne lattices $V^{\geq B}, V^{> B}$ characterized by the eigenvalue intervals of the residues $\mathrm{Res}_{D_i}\nabla$ (Wu, 2018). Associated filtrations, $F_p V^{\geq B} = V^{\geq B} \cap j_* F_p V$ , define coherent locally free sheaves that naturally extend the Hodge filtration across $D$ .

The lowest nonzero graded piece $S^B(V) = F_{p_0} V^{\geq B}$ (with $p_0 = \min\{p \mid F_p V \neq 0\}$ ) is central to vanishing results. For integral (and, by extension, rational or real) divisors, these constructions recover the canonical images familiar from Kollár, Esnault–Viehweg, and Kawamata–Viehweg theories.

2. Main Theorems: Vanishing and Injectivity for Real and Rational Hodge Modules

Given a line bundle $L$ with $L^N \cong \mathscr{O}_X(D')$ for some $N \in \mathbb{N}$ and effective divisor $D'$ supported on $D$ , and associated bounds $D_l$ , $D_u$ for the Deligne lattices,

Weak Injectivity: If $(1/N)D' \leq D_l$ , then for all effective $E \leq \mathrm{Supp} D'$ , the natural restriction

$H^i\big(X, S^0(V) \otimes \omega_X \otimes L\big) \to H^i\big(X, S^0(V) \otimes \omega_X \otimes L(E)\big)$

is injective for all $i$ .

Dual Injectivity: If $(1/N)D' + D_u < 0$ , then for all effective $E$ supported on $D$ , the map

$H^i\big(X, S^{-D}(V) \otimes \omega_X \otimes L^{-1}\big) \to H^i\big(X, S^{-D}(V) \otimes \omega_X \otimes L^{-1}(E)\big)$

is injective for all $i$ .

When $L^N = \mathscr{O}_X(D)$ and $V$ is trivial, this recovers Esnault–Viehweg injectivity for normal crossing divisors; for $\mathbb{Q}$ -divisors or general VHS, it generalizes via the properties of the Deligne lattices (Wu, 2018, Wu, 2015).

If $L - B$ is nef and big for some $B$ supported on $D$ , then

$H^i\big(X, S^B(V) \otimes \omega_X(L)\big) = 0 \quad \text{for } i > 0$

This unifies the classical Kawamata–Viehweg vanishing theorem for $\mathbb{R}$ -divisors and extends to the context of real or rational Hodge modules and their lattices, provided the necessary positivity condition holds for the twist (Wu, 2018).

2.3. Relative and Nef-only Variants

For semi-ample or nef (not necessarily big) line bundles $L$ , similar injectivity and vanishing results hold with the cohomological range controlled by $\dim X - \kappa(L)$ , in direct analogy with Kawamata’s generalizations (Wu, 2015).

3. Methodological Framework: Twisted VHS, Spectral Degeneration, and E₁-Strictness

The proofs of Hodge-theoretic vanishing are fundamentally rooted in the interplay between:

Twisted Variations: Introduction of rank-one unitary local systems $L_U$ allows descent to cases where the monodromy is quasi-unipotent, facilitating cyclic covering reductions and application of Esnault–Viehweg techniques.
Spectral Sequence Degeneration: Strictness of the direct image functor $f_+$ for real or rational Hodge modules (Saito’s theorem) yields $E_1$ -degeneration for the Hodge–de Rham and logarithmic complexes, ensuring injectivity and vanishing by identification of graded pieces (Wu, 2018, Wu, 2015).
Residue Exact Sequences and Log Resolutions: Passage to resolutions where divisors have simple normal crossings enables application of twisted VHS injectivity on the resolved space; Leray spectral sequences and Serre vanishing carry results back to the original variety.

This machinery is leveraged iteratively, often using induction on the number of components, localization arguments via branched covers, and the rich geometry of Deligne extensions.

4. Illustrative Corollaries and Examples

Let $L$ be ample and $V$ a polarizable real VHS; under suitable log-canonicity assumptions at a point $x$ , if there exists $B \equiv_{\text{num}} \lambda L$ for $0 < \lambda < 1$ such that $(X, B+B_0)$ is log-canonical, then $S^0(V)\otimes \omega_X(L)$ is globally generated at $x$ . In cases where $kL$ meets classical Fujita bounds, global generation holds everywhere.

4.2. Integral and Rational Divisor Cases

For integral $B$ , one identifies $S^B(V) = V(-\lfloor B \rfloor)$ , yielding exact recovery of Kollár’s injectivity for higher direct images and classical Fujita vanishing. For rational Cartier $B$ , the full suite of $\mathbb{Q}$ -divisor generalizations is realized (Wu, 2018, Wu, 2015).

Deligne’s logarithmic comparison theorem and $E_1$ -degeneration are established in the context of toroidal embeddings via Danilov’s reflexive log-forms and Sabbah–Saito mixed Hodge module techniques. This enables proof of generalized Bott and Kawamata–Viehweg vanishings for reflexive log-form twists, extended to toric varieties and induced short exact sequences by boundary induction.

5. Analytic and Branched-Covering Methods

Recent developments (Kim, 2023, Schnell, 2014) provide $L^2$ -analytic proofs of Saito vanishing via Bochner–Kodaira–Nakano identities, curvature positivity, and detailed Hilbert-space estimates, establishing vanishing for graded Hodge pieces twisted by ample bundles. These methods clarify the role of Poincaré metrics, Higgs field bounds, and curvature eigenvalues in degeneration and vanishing phenomena, and recover algebraic vanishing and injectivity statements in analytic terms.

6. Extensions and Limitations

Beyond Projective Varieties: While analogous theorems are expected for compact Kähler manifolds using Fujiki decomposition and analytic Saito theory, analytic difficulties appear when studying nef-big $\mathbb{R}$ -divisor twists (Wu, 2018).
Non-polarizable Variations: Lack of polarization or non-unitary monodromy impairs the local freeness of Deligne lattices and the strictness properties underpinning the main proofs.
Log-Canonical and Singular Varieties: Hybrid techniques, including local vanishing via Hodge modules, extend surjectivity and vanishing to normal and Gorenstein varieties, and log-canonical pairs (Hiatt, 2022, Fujino, 2012).
Higher Graded Pieces and Multiplier Analogues: Refined variants seek results involving higher $Gr^F_p \mathrm{DR}$ pieces or multiplier-ideal-type subsheaves inside real Hodge modules, connecting to Hodge ideals and their vanishing via Koszul resolutions and Spencer complexes (Chen, 2020, Dutta, 2018, Vo, 2023).

7. Geometric Impact and Interrelationships

The Hodge-theoretic vanishing results unify disparate classical vanishing theorems under a common module-theoretic framework, inform matched statements for mixed Hodge structures (as in vanishing cycles and orbifold cohomology (Douai, 15 Dec 2025)), and directly influence generic global generation, extension, and decomposition phenomena critical to both birational algebraic geometry and arithmetic geometry (e.g., for Shimura and Calabi–Yau varieties, and mod $p$ and $p$ -adic settings (Emerton et al., 2012, Goldring et al., 2024)). The injectivity, generation, and E₁-degeneration features form a backbone for understanding the interplay between singularities, positivity properties of divisors, and the algebraic structure of Hodge modules.

Table: Core Hodge-Theoretic Vanishing Theorems and Contexts

Theorem Context	Main Statement	Reference
Saito Vanishing	$H^i(X, \mathrm{Gr}_p^F \mathrm{DR}(M) \otimes L) = 0$ for $i > 0$	(Wu, 2018, Wu, 2015, Kim, 2023)
Injectivity for Real Hodge Modules	Restriction maps for $S^B(V)\otimes\omega_X(L)$ are injective	(Wu, 2018)
Bott/Kawamata–Viehweg Vanishing (Toric/Toroidal)	$H^i(X, \Omega^p_X(\log D')(-D')\otimes L) = 0$ for $i>0$	(Wei, 2024, Wei, 2023)
Hodge Ideals Vanishing	$H^i(X, \omega_X(kZ)\otimes I_k(D)\otimes L) = 0$ for $i>0$	(Chen, 2020, Dutta, 2018, Vo, 2023)
Fujita-Type Global Generation	$S^0(V)\otimes\omega_X(L)$ globally generated under klt conditions	(Wu, 2018)

For all such results, the presence of mixed Hodge module formalism and Deligne lattice techniques is essential. The vanishing or injectivity typically relies on positivity hypotheses for the line bundle or $\mathbb{R}$ -divisor, strictness of direct images, and degeneration features of Hodge-to-de Rham spectral sequences.

References

Key references are provided by arXiv identifiers as follows:

Vanishing and Injectivity for $\mathbb{R}$ -Hodge Modules and Divisors (Wu, 2018)
Vanishing and Injectivity Theorems for Hodge Modules (Wu, 2015)
$L^2$ -Approach and Analytic Saito Vanishing (Kim, 2023)
Bott Vanishing via Hodge Theory (Wei, 2023)
On the Hodge Theory of Toroidal Embeddings and Vanishing Results (Wei, 2024)
Vanishing for Hodge Ideals of $\mathbb{Q}$ -Divisors (Chen, 2020)
Vanishing Theorems in SNC and SDLT Contexts (Fujino, 2012)
Saito’s Vanishing Theorem via Branched Covers (Schnell, 2014)
Vanishing for Hodge Ideals on Toric Varieties (Dutta, 2018)
Vanishing Theorem for Hodge Ideals on Smooth Hypersurfaces (Vo, 2023)
Generic Vanishing Theory via Mixed Hodge Modules (Popa et al., 2011)
Hodge Theory of Degenerations, Vanishing Cohomology (Kerr et al., 2020)
Mixed Hodge Structures for Vanishing Cycles and Orbifold Cohomology (Douai, 15 Dec 2025)
$p$ -adic Hodge-Theoretic Properties and Shimura Variety Cohomology (Emerton et al., 2012)

This encapsulates the modern state and geometric breadth of Hodge-theoretic vanishing theory as deployed across algebraic geometry, singularities, and arithmetic contexts.