Steenbrink Vanishing Overview

• Steenbrink vanishing is a theorem asserting that the higher direct images of twisted logarithmic differential forms vanish when the sum of indices exceeds the variety's dimension.
• It is reformulated using the Deligne–Du Bois complex and DB index to sharpen low-degree vanishing and control the cohomological complexity of singularities.
• Generalizations extend the theorem to positive characteristic, symplectic settings, and log canonical pairs, emphasizing its broad applicability in algebraic geometry.

Steenbrink vanishing is a vanishing theorem for higher direct images of logarithmic differential forms on a resolution of singularities. In its classical form, if $X$ is a complex variety, $E\subset X$ is such that $X\setminus E$ is smooth, and $T:Y\to X$ is a proper birational morphism with $Y$ smooth, $E_Y:=T^{-1}E$ a simple normal crossings divisor, and $Y\setminus E_Y\cong X\setminus E$, then

$$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$

In characteristic $0$, Steenbrink proved this using mixed Hodge theory. Subsequent work reformulated the theorem in the language of the Deligne–Du Bois complex, sharpened the low-degree cases by introducing the DB index, and developed positive-characteristic and symplectic analogues in which the same vanishing pattern survives under additional hypotheses (Kovács, 2013, Kawakami, 7 Jul 2025, Tighe, 2024).

1. Classical statement and geometric role

The classical theorem concerns a smooth birational model $Y$ of a singular space $E\subset X$0, together with a boundary divisor encoding the exceptional locus and the singular boundary data. The sheaf $E\subset X$1 consists of logarithmic $E\subset X$2-forms with poles along $E\subset X$3, twisted by $E\subset X$4, and the theorem asserts that its higher direct images vanish outside the range allowed by the dimension of $E\subset X$5 (Kovács, 2013).

A standard reformulation, used repeatedly in later work, is that Steenbrink vanishing controls the local cohomological complexity of singularities by forcing the logarithmic Hodge pieces on a resolution to disappear once the total degree exceeds $E\subset X$6. In the formulation recorded by Kovács, Schwede, and Smith, the original theorem is “vacuous” for $E\subset X$7 in the usual smooth/snc setting because $E\subset X$8 for $E\subset X$9; this observation partly explains why later extensions concentrated on the missing low-$X\setminus E$0 range (Kovács, 2013).

In recent positive-characteristic literature, the same formula is often taken as the definition of “Steenbrink vanishing” for a normal variety $X\setminus E$1 and a log resolution $X\setminus E$2 with reduced exceptional divisor $X\setminus E$3: $X\setminus E$4 That convention makes the characteristic-zero theorem the reference model against which partial positive-characteristic analogues are measured (Kawakami, 7 Jul 2025).

2. Deligne–Du Bois reformulation and the DB index

A decisive extension replaces logarithmic differential forms on a smooth pair by graded pieces of the Deligne–Du Bois complex of a reduced pair. If $X\setminus E$5 is a projective morphism of reduced finite type $X\setminus E$6-schemes, $X\setminus E$7 is reduced, $X\setminus E$8 is an isomorphism over $X\setminus E$9, and $T:Y\to X$0, then

$T:Y\to X$1

and hence globally $T:Y\to X$2 for $T:Y\to X$3. For an snc pair $T:Y\to X$4, one has $T:Y\to X$5, so this recovers the classical theorem in the logarithmic setting (Kovács, 2013).

The same paper introduces the DB index as a numerical measure of how far a reduced pair $T:Y\to X$6 is from being Du Bois. The local DB index is

$T:Y\to X$7

and the global DB index is $T:Y\to X$8. If $T:Y\to X$9 is a Du Bois pair, then $Y$0. The paper also proves the bound

$Y$1

when $Y$2 contains no irreducible component of $Y$3 (Kovács, 2013).

The DB index yields sharper low-degree vanishing. If $Y$4 is projective birational, $Y$5 is reduced, $Y$6, $Y$7, and $Y$8, then

$Y$9

Under the additional hypotheses $E_Y:=T^{-1}E$0 and $E_Y:=T^{-1}E$1, one gets the low-degree extension

$E_Y:=T^{-1}E$2

and for a normal $E_Y:=T^{-1}E$3 with resolution $E_Y:=T^{-1}E$4 and $E_Y:=T^{-1}E$5 snc this yields

$E_Y:=T^{-1}E$6

This is the form in which the missing $E_Y:=T^{-1}E$7 range is recovered (Kovács, 2013).

3. Positive-characteristic surface and threefold results

For normal surfaces over a perfect field of characteristic $E_Y:=T^{-1}E$8, a positive-characteristic analogue is available under singularity hypotheses. If $E_Y:=T^{-1}E$9 is a pair consisting of a normal surface and an effective $Y\setminus E_Y\cong X\setminus E$0-divisor, and either $Y\setminus E_Y\cong X\setminus E$1 is log canonical with $Y\setminus E_Y\cong X\setminus E$2 or $Y\setminus E_Y\cong X\setminus E$3 is $Y\setminus E_Y\cong X\setminus E$4-pure, then for a log resolution $Y\setminus E_Y\cong X\setminus E$5 with reduced exceptional divisor $Y\setminus E_Y\cong X\setminus E$6 and

$Y\setminus E_Y\cong X\setminus E$7

one has

$Y\setminus E_Y\cong X\setminus E$8

The essential case is $Y\setminus E_Y\cong X\setminus E$9; the paper notes that $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$0 was already known for lc surface pairs in all characteristics, while $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$1 is Grauert–Riemenschneider vanishing. It also proves that these vanishing statements do not depend on the choice of log resolution (Kawakami, 2024).

For threefold pairs in characteristic $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$2, a full Steenbrink-type theorem is known for sharply $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$3-pure pairs. If $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$4 is a three-dimensional sharply $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$5-pure pair over a perfect field, $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$6 is $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$7-Cartier, $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$8 is a log resolution whose reduced exceptional divisor $$R^qT_*\Omega_Y^p(\log E_Y)(-E_Y)=0 \qquad \text{for } p+q>\dim X.$$9 supports a $0$0-ample divisor, and

$0$1

then

$0$2

The proof factors through Grauert–Riemenschneider vanishing for $0$3-pure threefolds,

$0$4

followed by a Cartier-operator argument. The same theorem yields a logarithmic extension theorem for one-forms (Kawakami, 16 Apr 2026).

A different positive-characteristic direction isolates the borderline $0$5-case for rational singularities. If $0$6 is a normal variety over a perfect field of positive characteristic with $0$7, $0$8 has rational singularities, and when $0$9 is additionally $Y$0-injective, then for any log resolution $Y$1 whose reduced exceptional divisor $Y$2 supports a $Y$3-ample divisor,

$Y$4

In dimension $Y$5, this feeds into full Steenbrink vanishing for strongly $Y$6-regular threefolds and for $Y$7-factorial klt threefolds in characteristic $Y$8. The paper identifies the essential new case as

$Y$9

Its proof combines a Frobenius–Cartier nilpotence statement with injectivity of inverse Cartier maps derived from rationality and quasi-$E\subset X$00-injectivity (Kawakami, 7 Jul 2025).

4. Symplectic refinements

For singular symplectic varieties, Steenbrink vanishing interacts with the symplectic form and acquires additional symmetry. If $E\subset X$01 is a symplectic variety of dimension $E\subset X$02, the symplectic form on the smooth locus induces an isomorphism

$E\subset X$03

and the problem becomes to lift this symmetry to the Du Bois complex. The resulting morphism is

$E\subset X$04

constructed by combining Grothendieck duality, the Du Bois complex, and wedging with the symplectic form (Tighe, 2024).

The main derived symmetry theorem states that for a symplectic variety of dimension $E\subset X$05,

$E\subset X$06

is a quasi-isomorphism. In the isolated-singularity case this yields a local vanishing theorem

$E\subset X$07

and a stronger Steenbrink-type statement

$E\subset X$08

The paper describes this as a direct enhancement of Steenbrink vanishing in the isolated symplectic case and deduces in particular that $E\subset X$09 is $E\subset X$10-Du Bois (Tighe, 2024).

The same symmetry descends to the Hodge filtration on the intersection Hodge module. More precisely,

$E\subset X$11

is a quasi-isomorphism. A plausible implication is that, for symplectic singularities, Steenbrink-type vanishing is part of a larger duality package rather than an isolated cohomological statement (Tighe, 2024).

5. Steenbrink-type generalizations and analogues

Several vanishing theorems are described explicitly as being “in the spirit of” Steenbrink vanishing without coinciding with the original higher-direct-image statement. One example is a Nadel-type theorem for log canonical pairs. If $E\subset X$12 is a log canonical pair, $E\subset X$13 is a pure-dimensional reduced subscheme of codimension $E\subset X$14, no irreducible component of $E\subset X$15 lies in $E\subset X$16, and $E\subset X$17 are nef line bundles such that $E\subset X$18 is ample and $E\subset X$19 is globally generated, then

$E\subset X$20

The proof passes to a log resolution and uses the Ambro–Fujino vanishing theorem. The paper explicitly presents this as a Steenbrink-style vanishing statement for log canonical pairs (Chou, 2013).

Another analogue is a higher-codimensional adjoint vanishing theorem on smooth projective varieties. If $E\subset X$21 is smooth projective, $E\subset X$22 is a smooth subvariety of codimension $E\subset X$23, $E\subset X$24 is defined scheme-theoretically by nef divisors $E\subset X$25, and $E\subset X$26 is a line bundle such that for every relevant $E\subset X$27-tuple $E\subset X$28,

$E\subset X$29

is big and nef, then

$E\subset X$30

The paper describes this as a higher-codimensional analogue of Kawamata–Viehweg vanishing with a “Steenbrink-like” feature, because the ideal sheaf contribution is absorbed into an adjoint-type vanishing statement (Lozovanu et al., 2012).

On toric varieties, the terminology appears in generalized Bott–Danilov–Steenbrink form. If $E\subset X$31 is a normal projective toric variety over a perfect field, $E\subset X$32 is the inclusion of the smooth locus, and $E\subset X$33 are ample vector bundles, then under the characteristic-$E\subset X$34 hypothesis or the stated positive-characteristic rank and lifting hypotheses,

$E\subset X$35

for

$E\subset X$36

Here the classical line-bundle vanishing is generalized to ample vector bundles and reflexive differentials on singular toric varieties (Litt, 2017).

6. Techniques, boundaries, and adjacent notions

The mechanisms behind Steenbrink vanishing vary sharply with context. In characteristic $E\subset X$37, the classical proof uses mixed Hodge theory (Kawakami, 7 Jul 2025). The Du Bois reformulation proceeds by distinguished triangles for pairs and by the general vanishing

$E\subset X$38

while the low-degree improvements use the DB index and a spectral sequence for $E\subset X$39 (Kovács, 2013). In positive characteristic, current proofs rely instead on Grauert–Riemenschneider vanishing for $E\subset X$40-pure threefolds, dlt modifications, Cartier operators, Frobenius trace, Witt vector sheaves, and inverse Cartier maps (Kawakami, 16 Apr 2026, Kawakami, 7 Jul 2025).

The theorem also has clear limits. In positive characteristic it fails in general; one paper gives an explicit cone counterexample for which

$E\subset X$41

on the blow-up of the cone vertex (Kawakami, 7 Jul 2025). Even on surfaces, the stronger untwisted statement $E\subset X$42 can fail, and the paper on surfaces stresses that the twisted logarithmic vanishing

$E\subset X$43

is the correct positive-characteristic analogue (Kawakami, 2024). For sharply $E\subset X$44-pure threefolds, the assumption $E\subset X$45 is used because the proof invokes rationality of three-dimensional klt singularities in characteristic $E\subset X$46 and the available MMP/dlt-modification framework; the same paper notes that $E\subset X$47 is not known to be optimal (Kawakami, 16 Apr 2026).

The name Steenbrink also appears in adjacent invariants, especially the Steenbrink spectrum

$E\subset X$48

used in the study of projective hypersurfaces, pole-order spectral sequences, and Hirzebruch–Milnor classes (Dimca et al., 2012, Dimca et al., 2014, Maxim et al., 2013). This is related to the same Hodge-theoretic milieu but is distinct from Steenbrink vanishing itself. A plausible implication is that “Steenbrink vanishing” should be understood not as a single isolated theorem, but as one central component of a broader package linking resolutions, logarithmic forms, Du Bois theory, vanishing cycles, and singularity classes.