Du Bois Complexes in Algebraic Geometry

• Du Bois Complexes are filtered objects that generalize the de Rham complex to singular varieties by encoding Hodge-theoretic data via hyperresolutions.
• They define Du Bois singularities through the key morphism from the structure sheaf to the zeroth graded piece and support descent and base change phenomena.
• Applications include computing relative complexes, extending forms, and proving generic vanishing results, which bridge singular Hodge theory and birational geometry.

The Deligne–Du Bois complex of a complex algebraic variety $X$ is a filtered object $(\underline{\Omega}_X^\bullet,F)$ in the derived category that replaces the usual de Rham complex when $X$ is singular. Its graded pieces are written

$$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$

and they recover $\Omega_X^p$ on smooth varieties, while for singular spaces they encode the Hodge-theoretic graded pieces of the constant sheaf, define Du Bois singularities through the morphism $\mathcal O_X\to \underline{\Omega}_X^0$, and now appear in relative, higher, and functorial forms that connect singular Hodge theory, birational geometry, local cohomology, and generic vanishing (Kovács, 2011, Vo, 2024, Ji et al., 4 Aug 2025).

1. Definition and basic structure

A standard construction starts from a hyperresolution $\varepsilon_\bullet:X_\bullet\to X$. In that form one has

$$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$

and the full filtered complex $\underline{\Omega}_X^\bullet$ is quasi-isomorphic to $\mathbb C_X$. This is the sense in which the Du Bois complex extends the de Rham complex from smooth to singular spaces (Kovács, 2011, Popa et al., 2024).

The graded pieces behave as singular analogues of holomorphic forms. There is always a canonical morphism

$(\underline{\Omega}_X^\bullet,F)$0

which is an isomorphism when $(\underline{\Omega}_X^\bullet,F)$1 is smooth. Restriction to opens is compatible with the construction, and any morphism $(\underline{\Omega}_X^\bullet,F)$2 induces a canonical morphism

$(\underline{\Omega}_X^\bullet,F)$3

This makes the collection $(\underline{\Omega}_X^\bullet,F)$4 functorial enough to support descent, base change, and comparison arguments (Popa et al., 2024, Kim, 10 Jul 2025).

One particularly concrete piece is the top graded part. If $(\underline{\Omega}_X^\bullet,F)$5 is a log resolution of a $(\underline{\Omega}_X^\bullet,F)$6-dimensional variety, then

$(\underline{\Omega}_X^\bullet,F)$7

the second isomorphism coming from Grauert–Riemenschneider vanishing. This identifies the top Du Bois complex with a canonical birational invariant, and explains why $(\underline{\Omega}_X^\bullet,F)$8 often behaves more rigidly than the lower pieces (Vo, 2024).

2. Hodge-theoretic role and the Du Bois condition

For proper $(\underline{\Omega}_X^\bullet,F)$9, the central Hodge-theoretic structure is the spectral sequence

$X$0

which degenerates at $X$1 and induces Deligne’s Hodge filtration. In particular,

$X$2

Thus the zeroth graded piece $X$3 is the object that replaces $X$4 in singular Hodge theory (Kovács, 2011).

This leads to the standard definition: $X$5 has Du Bois singularities if the natural morphism

$X$6

is a quasi-isomorphism. For proper varieties, Kovács gave an “intuitive” reformulation: if $X$7 is proper with a fixed basepoint-free linear system $X$8, then $X$9 is Du Bois if and only if for every $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$0 and every $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$1 obtained as an intersection of general members of $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$2, the natural map

$$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$3

is an isomorphism (Kovács, 2011).

The theory extends to pairs. For a reduced pair $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$4, one has a pair complex $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$5 and a natural morphism

$$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$6

The pair is Du Bois if this morphism is a quasi-isomorphism. This formulation makes it possible to compare the absolute and relative behavior of singularities through distinguished triangles relating $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$7, $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$8, and $$\underline{\Omega}_X^p:=\operatorname{Gr}_F^p\underline{\Omega}_X^\bullet[p],$$9 (Graf et al., 2014).

A further enlargement is the notion of potentially Du Bois singularities: a variety $\Omega_X^p$0 is potentially Du Bois at a closed point $\Omega_X^p$1 if there exists a Zariski open neighborhood $\Omega_X^p$2 of $\Omega_X^p$3 and a subvariety $\Omega_X^p$4, containing no irreducible component of $\Omega_X^p$5, such that $\Omega_X^p$6 is a Du Bois pair. Graf–Kovács showed that for normal surfaces the Du Bois and potentially Du Bois notions coincide, while in dimension at least three a normal potentially Du Bois singularity with $\Omega_X^p$7 $\Omega_X^p$8-Cartier need not be Du Bois; they also proved that a normal potentially Du Bois variety with Cartier $\Omega_X^p$9 is log canonical and hence Du Bois (Graf et al., 2014).

3. Constructions through resolutions, pairs, and Hodge modules

The pair formalism is organized by distinguished triangles. For a closed subscheme $\mathcal O_X\to \underline{\Omega}_X^0$0,

$\mathcal O_X\to \underline{\Omega}_X^0$1

and $\mathcal O_X\to \underline{\Omega}_X^0$2 is a Du Bois pair precisely when $\mathcal O_X\to \underline{\Omega}_X^0$3 is a quasi-isomorphism. This viewpoint is especially effective when nilpotents are present, because $\mathcal O_X\to \underline{\Omega}_X^0$4 and similarly for pairs (Ma et al., 2016).

Saito’s theory of mixed Hodge modules gives a more intrinsic realization. If $\mathcal O_X\to \underline{\Omega}_X^0$5 is the trivial mixed Hodge module on $\mathcal O_X\to \underline{\Omega}_X^0$6, then

$\mathcal O_X\to \underline{\Omega}_X^0$7

This formula identifies the Du Bois complexes as graded de Rham pieces of the trivial Hodge module, and it is the starting point for modern applications such as generic vanishing and intersection-complex refinements (Vo, 2024).

For reduced pairs $\mathcal O_X\to \underline{\Omega}_X^0$8, Park proved a precise characterization when $\mathcal O_X\to \underline{\Omega}_X^0$9 has rational singularities. If $\varepsilon_\bullet:X_\bullet\to X$0 is the open immersion, then

$\varepsilon_\bullet:X_\bullet\to X$1

and under the same rationality assumption the pair complex can also be computed birationally as

$\varepsilon_\bullet:X_\bullet\to X$2

for a log resolution $\varepsilon_\bullet:X_\bullet\to X$3 with reduced exceptional divisor $\varepsilon_\bullet:X_\bullet\to X$4. This gives a direct bridge between mixed Hodge modules, Du Bois pairs, and extension of forms (Park, 2023).

A different alternative to hyperresolutions was developed through smooth poset schemes. If $\varepsilon_\bullet:X_\bullet\to X$5 is a reduced complex projective scheme and $\varepsilon_\bullet:X_\bullet\to X$6 is a smooth complex projective poset scheme satisfying

$\varepsilon_\bullet:X_\bullet\to X$7

then

$\varepsilon_\bullet:X_\bullet\to X$8

as filtered complexes, hence

$\varepsilon_\bullet:X_\bullet\to X$9

In the same framework, a reduced finite-type scheme over characteristic $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$0 admits a categorical resolution by a smooth poset scheme if and only if it has Du Bois singularities (Lunts, 2010).

4. Higher graded pieces, higher Du Bois singularities, and extension of forms

Beyond $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$1, one can require the comparison maps

$$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$2

For reduced hypersurfaces, Jung, Kim, Saito, and Yoon formulated this as the notion of higher $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$3-Du Bois singularities and proved that for a reduced hypersurface $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$4, the following are equivalent: $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$5 Here $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$6 is the minimal exponent, i.e. the maximal root of the reduced Bernstein–Sato polynomial with sign changed (Jung et al., 2021).

For a reduced hypersurface $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$7 in a smooth ambient variety, Mustață, Olano, Popa, and Witaszek established the comparison theorem

$$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$8

and complemented it with higher-cohomology nonvanishing. If $$\underline{\Omega}_X^p \simeq R{\varepsilon_\bullet}_*\Omega^p_{X_\bullet},$$9 is singular and $\underline{\Omega}_X^\bullet$0, then for every singular point $\underline{\Omega}_X^\bullet$1,

$\underline{\Omega}_X^\bullet$2

and, for isolated singularities with $\underline{\Omega}_X^\bullet$3,

$\underline{\Omega}_X^\bullet$4

These results show that low-degree classical behavior and higher-degree singular corrections coexist in a controlled way (Mustata et al., 2021).

Extension of forms provides another interpretation of higher Du Bois behavior. For a normal complex algebraic variety $\underline{\Omega}_X^\bullet$5 with singular locus $\underline{\Omega}_X^\bullet$6 and a resolution $\underline{\Omega}_X^\bullet$7, Kebekus–Schnell-type methods were strengthened as follows: if $\underline{\Omega}_X^\bullet$8 has at worst Du Bois singularities, then logarithmic extension holds in all degrees,

$\underline{\Omega}_X^\bullet$9

and holomorphic extension holds in the optimal range

$\mathbb C_X$0

This improves Flenner’s classical criterion by one degree under the Du Bois assumption (Tighe, 2023).

A recent isolated-singularity refinement concerns the internal cohomology sheaves of higher Du Bois complexes. If $\mathbb C_X$1 has isolated pre-$\mathbb C_X$2-Du Bois singularities, then

$\mathbb C_X$3

is injective on cohomology sheaves, and consequently

$\mathbb C_X$4

This identifies the depth of $\mathbb C_X$5 as the key invariant governing higher vanishing in the isolated case (Popa et al., 2024).

5. Relative complexes, base change, and descent under morphisms

The relative theory asks for singular analogues of relative Kähler differentials. For a morphism

$\mathbb C_X$6

to a smooth complex curve $\mathbb C_X$7, with fiber $\mathbb C_X$8 and inclusion $\mathbb C_X$9, the relative Du Bois complex $(\underline{\Omega}_X^\bullet,F)$00 is defined in earlier work and the basic base-change question is whether

$(\underline{\Omega}_X^\bullet,F)$01

A general positive answer is now known only generically: there exists a non-empty open subset $(\underline{\Omega}_X^\bullet,F)$02 such that for every $(\underline{\Omega}_X^\bullet,F)$03,

$(\underline{\Omega}_X^\bullet,F)$04

and similarly for the full filtered complex. If $(\underline{\Omega}_X^\bullet,F)$05 admits a simultaneous relative hyperresolution, then the same statement holds for every closed point $(\underline{\Omega}_X^\bullet,F)$06 (Ji et al., 4 Aug 2025).

The generic theorem is sharp. Even when $(\underline{\Omega}_X^\bullet,F)$07 is smooth, $(\underline{\Omega}_X^\bullet,F)$08 is smooth over $(\underline{\Omega}_X^\bullet,F)$09, and the special fiber $(\underline{\Omega}_X^\bullet,F)$10 is a divisor with simple normal crossings, one typically has

$(\underline{\Omega}_X^\bullet,F)$11

The obstruction is already visible in the top piece: $(\underline{\Omega}_X^\bullet,F)$12 reflects the non-normality of the SNC fiber, whereas $(\underline{\Omega}_X^\bullet,F)$13 is a line bundle (Ji et al., 4 Aug 2025).

Finite morphisms provide another form of descent. For a finite group quotient $(\underline{\Omega}_X^\bullet,F)$14, the quotient theorem states that

$(\underline{\Omega}_X^\bullet,F)$15

in the filtered derived category, and therefore

$(\underline{\Omega}_X^\bullet,F)$16

for every $(\underline{\Omega}_X^\bullet,F)$17. More generally, if $(\underline{\Omega}_X^\bullet,F)$18 is either a finite group quotient or a finite surjective morphism between normal varieties, there exists

$(\underline{\Omega}_X^\bullet,F)$19

such that the composition

$(\underline{\Omega}_X^\bullet,F)$20

is an isomorphism. Thus each $(\underline{\Omega}_X^\bullet,F)$21 is a derived direct summand of $(\underline{\Omega}_X^\bullet,F)$22 (Kim, 10 Jul 2025).

At degree $(\underline{\Omega}_X^\bullet,F)$23, descent can be formulated in local-cohomological terms. For a pair $(\underline{\Omega}_X^\bullet,F)$24, $(\underline{\Omega}_X^\bullet,F)$25 is Du Bois if and only if the natural map

$(\underline{\Omega}_X^\bullet,F)$26

is a quasi-isomorphism, and this is equivalent to injectivity of the induced maps on local cohomology at every point. Using this criterion, cyclically pure maps $(\underline{\Omega}_X^\bullet,F)$27 of rings essentially of finite type over $(\underline{\Omega}_X^\bullet,F)$28 preserve Du Bois singularities: if $(\underline{\Omega}_X^\bullet,F)$29 is Du Bois, then $(\underline{\Omega}_X^\bullet,F)$30 is Du Bois (Godfrey et al., 2022).

6. Applications, variants, and current directions

One major recent development is generic vanishing on singular varieties. In this setting the correct analogues of holomorphic forms are the Du Bois complexes

$(\underline{\Omega}_X^\bullet,F)$31

and the duality-friendly variants are the intersection Du Bois complexes

$(\underline{\Omega}_X^\bullet,F)$32

For a morphism $(\underline{\Omega}_X^\bullet,F)$33 to an abelian variety, one has

$(\underline{\Omega}_X^\bullet,F)$34

while the top pieces satisfy

$(\underline{\Omega}_X^\bullet,F)$35

This recovers the classical Green–Lazarsfeld and Popa–Schnell theorems in the smooth case and explains singular corrections such as the Hacon–Kovács counterexample (Vo, 2024).

Cones provide a setting where the complexes can be computed explicitly. For the abstract affine cone

$(\underline{\Omega}_X^\bullet,F)$36

over a projective variety $(\underline{\Omega}_X^\bullet,F)$37 with ample line bundle $(\underline{\Omega}_X^\bullet,F)$38, Popa and Shen expressed the cohomology sheaves of $(\underline{\Omega}_X^\bullet,F)$39 in terms of the Du Bois complexes of $(\underline{\Omega}_X^\bullet,F)$40. For example,

$(\underline{\Omega}_X^\bullet,F)$41

and for $(\underline{\Omega}_X^\bullet,F)$42,

$(\underline{\Omega}_X^\bullet,F)$43

is built from the groups $(\underline{\Omega}_X^\bullet,F)$44 and $(\underline{\Omega}_X^\bullet,F)$45. These computations yield criteria for seminormality, formulas for the local cohomological defect of the cone, and descriptions of non-positive $(\underline{\Omega}_X^\bullet,F)$46-groups (Popa et al., 2024).

The degree-zero complex also has strong commutative-algebraic consequences. If $(\underline{\Omega}_X^\bullet,F)$47 is local and $(\underline{\Omega}_X^\bullet,F)$48 is Du Bois, then

$(\underline{\Omega}_X^\bullet,F)$49

is surjective for every $(\underline{\Omega}_X^\bullet,F)$50. This surjectivity has applications to Cohen–Macaulayness in families, Ext-injectivity, set-theoretic Cohen–Macaulayness, and the relation between Koszul cohomology and local cohomology (Ma et al., 2016). On the dual side, if $(\underline{\Omega}_X^\bullet,F)$51 is a reduced local ring essentially of finite type over a field of characteristic $(\underline{\Omega}_X^\bullet,F)$52, $(\underline{\Omega}_X^\bullet,F)$53 is Du Bois, and $(\underline{\Omega}_X^\bullet,F)$54 has finite length for all $(\underline{\Omega}_X^\bullet,F)$55, then

$(\underline{\Omega}_X^\bullet,F)$56

is quasi-isomorphic to a complex of $(\underline{\Omega}_X^\bullet,F)$57-vector spaces. In particular, Du Bois singularities with isolated non-Cohen–Macaulay locus are Buchsbaum (Bhatt et al., 2015).

These developments suggest a stable picture. The Du Bois complex is no longer used only as the formal definition of Du Bois singularities. It now functions as a computable Hodge-theoretic replacement for differential forms on singular spaces, a relative object in families, a descent-theoretic invariant under finite morphisms and pure maps, and a source of vanishing, extension, and local-cohomological statements. A plausible implication is that future work will continue to sharpen the distinction between generic and special fibers, between absolute and pair-theoretic Du Bois phenomena, and between ordinary and intersection-complex versions of singular Hodge theory.