Du Bois Complex & Singular Hodge Theory

• Du Bois complex is a filtered de Rham-type object that replaces classical differential forms on singular varieties and recovers the Hodge filtration on cohomology.
• Its construction via simplicial and log resolutions ensures that the graded pieces retain mixed Hodge structure independent of the resolution method.
• The complex provides practical analysis of singularities, extends differential forms, and aids in studying deformation properties in complex algebraic geometry.

Searching arXiv for recent and foundational papers on the Du Bois complex. arXiv search: "Du Bois complex singularities" The Du Bois complex is the filtered de Rham-type object attached to a singular complex variety $X$ that replaces the Kähler–de Rham complex in settings where ordinary differential forms no longer capture the relevant Hodge-theoretic structure. It is usually written $(\underline{\Omega}_X^\bullet,F)$, with graded pieces $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$. On smooth varieties it agrees with the usual de Rham complex with the stupid filtration; on singular varieties it is designed so that its hypercohomology computes the Hodge filtration on singular cohomology. In this sense, the Du Bois complex is the basic Hodge-theoretic replacement for differential forms on singular spaces, and it is the object from which Du Bois singularities and their higher analogues are defined (Kovács, 2011, Jung et al., 2021).

1. Definition and basic constructions

For a reduced complex algebraic variety $X$, the Du Bois complex is a filtered complex in the derived category. One standard construction uses a simplicial resolution $Y_\bullet \to X$ and sets

$$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$

A recurring clarification in the literature is that $\underline{\Omega}_X^q$ is not the $q$-th term of a complex, but the $q$-th graded piece of the filtered object, shifted appropriately (Jung et al., 2021).

The construction is independent of the chosen hyperresolution or simplicial resolution. In the smooth case, $\underline{\Omega}_X^\bullet$ is just the de Rham complex with the stupid filtration, so $(\underline{\Omega}_X^\bullet,F)$0. For singular $(\underline{\Omega}_X^\bullet,F)$1, the graded pieces retain the Hodge-theoretic information that would be carried by differential forms in the nonsingular case (Kovács, 2011).

A log-resolution model is often used for pairs. If $(\underline{\Omega}_X^\bullet,F)$2 is a log resolution and $(\underline{\Omega}_X^\bullet,F)$3 is the reduced exceptional divisor, then one has

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

together with a distinguished triangle

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

This expresses the Du Bois complex of a pair as the logarithmic de Rham complex on a resolution pushed forward to the singular space (Friedman et al., 2022).

The zeroth graded piece has a particularly concrete description. From a hyperresolution $(\underline{\Omega}_X^\bullet,F)$6, the literature identifies $(\underline{\Omega}_X^\bullet,F)$7 with the derived pushforward of the structure sheaf on the hyperresolution, and there is a canonical morphism

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

This map is the entry point for the theory of Du Bois singularities (Kovács, 2011).

2. Hodge-theoretic role

The defining property of the Du Bois complex is that it recovers the Hodge filtration on singular cohomology. If $(\underline{\Omega}_X^\bullet,F)$9 is proper, the spectral sequence

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

degenerates at $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$1, and the induced filtration is Deligne’s Hodge filtration $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$2. Consequently,

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

These formulas are the precise sense in which the Du Bois complex is the singular replacement for the de Rham complex (Kovács, 2011).

The mixed-Hodge-module description makes this role more structural. If $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$4 is a closed subvariety of a smooth variety $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$5, then Saito’s theory provides a canonical identification

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

where $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$7 is the filtered $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$8-module underlying the mixed Hodge module attached to $$\underline{\Omega}_X^p := \operatorname{Gr}_F^p \underline{\Omega}_X^\bullet[p]$$9. This identifies the Du Bois complex directly with a filtered de Rham complex in Hodge-module theory (Jung et al., 2021).

The pair formalism is compatible with the same Hodge-theoretic picture. For a reduced pair $X$0, the Du Bois complex of the pair is the mapping cone of the morphism from the complex of $X$1 to that of $X$2, shifted by $X$3; in Saito’s formulation,

$X$4

where $X$5 is the open embedding. Under rationality assumptions on the complement, the pair complex can moreover be computed by a log resolution via

$X$6

This gives a direct Hodge-theoretic interpretation of the resolution-theoretic formula (Park, 2023).

3. Du Bois singularities and the zeroth piece

The classical singularity notion is defined entirely from the zeroth graded piece: $X$7 Equivalently, the cone of this morphism, often called the Du Bois defect, vanishes. Intuitively, this says that the structure sheaf already behaves as though the Hodge-theoretic resolution were unnecessary (Kovács, 2011).

For proper varieties, the zeroth piece controls the lowest Hodge piece of cohomology. There is always a natural surjection

$X$8

hence $X$9. The central characterization theorem states that if $Y_\bullet \to X$0 is proper and $Y_\bullet \to X$1 is a fixed basepoint-free linear system, then

$Y_\bullet \to X$2

for every $Y_\bullet \to X$3 and every $Y_\bullet \to X$4 obtained as the intersection of general members of $Y_\bullet \to X$5. Since the opposite inequality is always true, the condition is equivalent to

$Y_\bullet \to X$6

or equivalently to the isomorphism

$Y_\bullet \to X$7

A notable feature is that the condition must hold not only on $Y_\bullet \to X$8 itself, but on general complete intersections cut out by the fixed linear system (Kovács, 2011).

For projective varieties with isolated singularities, this simplifies: $Y_\bullet \to X$9 is Du Bois if and only if

$$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$0

In particular, if

$$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$1

then $$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$2 has Du Bois singularities (Kovács, 2011).

The pair-theoretic extension uses the map $$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$3. A pair $$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$4 is Du Bois if this morphism is a quasi-isomorphism, and a variety is potentially Du Bois if it is locally the underlying space of a Du Bois pair. This pair formalism does not collapse to the absolute notion in all dimensions: for normal surface singularities, Du Bois and potentially Du Bois coincide, whereas in dimension at least three there exists a normal potentially Du Bois singularity with $$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$5-Cartier canonical divisor that is not Du Bois (Graf et al., 2014).

4. Higher Du Bois complexes and refined singularity notions

Higher analogues are defined by comparing Kähler differentials to the higher graded pieces. If

$$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$6

is the canonical comparison map, then $$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$7 is called $$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$8-Du Bois if $$(\underline{\Omega}_X^\bullet,F) := R\pi_*\bigl(\Omega_{Y_\bullet}^\bullet,F\bigr), \qquad \underline{\Omega}_X^q := \operatorname{Gr}_F^q \underline{\Omega}_X^\bullet[q].$$9 is a quasi-isomorphism for every $\underline{\Omega}_X^q$0. The case $\underline{\Omega}_X^q$1 is the classical Du Bois condition. This is a range-by-range strengthening: higher $\underline{\Omega}_X^q$2 forces more of the de Rham complex to survive on the singular variety without derived correction (Friedman et al., 2022).

The deformation theorem is one of the main structural consequences. If $\underline{\Omega}_X^q$3 is a flat proper family and some fiber $\underline{\Omega}_X^q$4 has $\underline{\Omega}_X^q$5-Du Bois lci singularities, then after shrinking $\underline{\Omega}_X^q$6,

$\underline{\Omega}_X^q$7

is locally free of finite type and commutes with arbitrary base change for all $\underline{\Omega}_X^q$8 and all $\underline{\Omega}_X^q$9. In the same connected family, if $q$0 is smooth, then

$q$1

Thus higher Du Bois singularities control the stability of the frontier of the Hodge diamond in families (Friedman et al., 2022).

The interaction with higher rational singularities is systematic. In the isolated or lci setting, $q$2-rational implies $q$3-Du Bois. For isolated lci singularities there is also a converse shift: $q$4 The isolated lci theory admits a numerical characterization in terms of the Milnor-fiber invariants $q$5: $q$6 In this setting, the higher Du Bois condition is therefore equivalent to explicit vanishing of Hodge-theoretic invariants of the smoothing (Friedman et al., 2022).

For hypersurfaces, the higher theory becomes especially concrete. If $q$7 is a reduced hypersurface with minimal exponent $q$8, then

$q$9

is a quasi-isomorphism. In the hypersurface case this fits an equivalence between three conditions: $q$0 Here $q$1 is the maximal root of the reduced Bernstein–Sato polynomial, and the higher Du Bois condition is equivalent to the vanishing of the Hodge ideals $q$2 (Mustata et al., 2021, Jung et al., 2021).

Outside the lci setting, later work isolates the cohomological part of the theory. A variety has pre-$q$3-Du Bois singularities if

$q$4

The more flexible non-lci notion of $q$5-Du Bois singularities adds seminormality, the codimension bound $q$6, and reflexivity of $q$7 for $q$8. This isolates which parts of the theory depend only on vanishing of higher cohomologies of the Du Bois complexes and which parts require control of the degree-zero pieces (Shen et al., 2023).

5. Relative, functorial, and extension-theoretic behavior

The relative theory studies when the Du Bois complex commutes with passage to fibers. For a morphism $q$9 to a smooth complex curve, Kovács–Taji’s relative Du Bois complex satisfies generic base change: there exists a nonempty open set $\underline{\Omega}_X^\bullet$0 such that for every $\underline{\Omega}_X^\bullet$1,

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

If $\underline{\Omega}_X^\bullet$3 admits a simultaneous relative hyperresolution, then the same statement holds for every closed point $\underline{\Omega}_X^\bullet$4. The literature also shows that one should not expect such a statement at arbitrary special fibers: for a smooth total space degenerating to a simple normal crossings divisor, base change fails at the special point (Ji et al., 4 Aug 2025).

Finite morphisms admit a trace formalism. For a finite quotient $\underline{\Omega}_X^\bullet$5, the Du Bois complex of the quotient is identified with the $\underline{\Omega}_X^\bullet$6-invariant part of the pushforward of the Du Bois complex upstairs. More generally, for finite surjective morphisms between normal varieties there is a trace morphism on the graded pieces that splits the natural map from downstairs to upstairs. This has concrete consequences: local cohomological defect does not increase under such finite maps, and pre-$\underline{\Omega}_X^\bullet$7-Du Bois as well as pre-$\underline{\Omega}_X^\bullet$8-rational singularities descend along finite quotients and finite surjective morphisms (Kim, 10 Jul 2025).

Descent also appears in commutative algebra. If $\underline{\Omega}_X^\bullet$9 is a cyclically pure map of Noetherian $(\underline{\Omega}_X^\bullet,F)$00-algebras and $(\underline{\Omega}_X^\bullet,F)$01 has Du Bois singularities, then $(\underline{\Omega}_X^\bullet,F)$02 has Du Bois singularities. The proof uses the characterization of $(\underline{\Omega}_X^\bullet,F)$03 through the map

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

together with equivalent formulations in terms of left inverses in the derived category and injectivity on local cohomology (Godfrey et al., 2022).

The graded pieces also control extension of differential forms. For a normal variety with Du Bois singularities and resolution $(\underline{\Omega}_X^\bullet,F)$05, the inclusion

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

is an isomorphism for

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

which improves Flenner’s extension range by one degree. A stronger logarithmic statement holds in all degrees: $(\underline{\Omega}_X^\bullet,F)$08 In the pair setting, when $(\underline{\Omega}_X^\bullet,F)$09 has rational singularities and $(\underline{\Omega}_X^\bullet,F)$10 is Du Bois in the relevant codimension range, the identification

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

yields regular extension of holomorphic $(\underline{\Omega}_X^\bullet,F)$12-forms for $(\underline{\Omega}_X^\bullet,F)$13, and without a Du Bois assumption one still obtains regular extension for $(\underline{\Omega}_X^\bullet,F)$14 (Tighe, 2023, Park, 2023).

6. Explicit models, computations, and applications

Several classes of singularities admit an explicit description of the Du Bois complex. For varieties locally analytically isomorphic to spectra of toric face rings, the Deligne–Du Bois complex is represented by an explicit complex of $(\underline{\Omega}_X^\bullet,F)$15-differentials with the naive filtration. In this setting,

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

is a quasi-isomorphism for a smooth simplicial resolution, hence weakly toroidal singularities are Du Bois. For proper weakly toroidal varieties, the spectral sequence

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

degenerates at $(\underline{\Omega}_X^\bullet,F)$18 (Ambro, 2017).

A broader categorical formulation uses poset schemes. Smooth poset schemes provide categorical resolutions of singularities, and a reduced separated scheme of finite type over a field of characteristic zero admits such a resolution if and only if it has Du Bois singularities. In the same framework, the de Rham–Du Bois complex can be computed using any smooth poset scheme satisfying descent over the singular variety in the classical topology (Lunts, 2010).

The Du Bois complex also interfaces with local cohomology. If $(\underline{\Omega}_X^\bullet,F)$19 with $(\underline{\Omega}_X^\bullet,F)$20 smooth and $(\underline{\Omega}_X^\bullet,F)$21 a log resolution with reduced exceptional divisor $(\underline{\Omega}_X^\bullet,F)$22, then Steenbrink’s comparison gives

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

and Grothendieck duality yields

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

These formulas convert local cohomological dimension into Ext-vanishing for the graded pieces of the Du Bois complex and show that the lowest Hodge piece of local cohomology characterizes Du Bois singularities in the Cohen–Macaulay case (Mustata et al., 2021).

Cones provide another setting where the graded pieces are computable. For an affine cone $(\underline{\Omega}_X^\bullet,F)$25 over a projective variety $(\underline{\Omega}_X^\bullet,F)$26, the Du Bois complexes of $(\underline{\Omega}_X^\bullet,F)$27 are expressed in terms of the Du Bois complexes of $(\underline{\Omega}_X^\bullet,F)$28 twisted by powers of $(\underline{\Omega}_X^\bullet,F)$29. This yields formulas for local cohomological defect and for non-positive $(\underline{\Omega}_X^\bullet,F)$30-groups of the cone, and gives criteria for pre-$(\underline{\Omega}_X^\bullet,F)$31-Du Bois singularities in terms of the cohomology of $(\underline{\Omega}_X^\bullet,F)$32 (Popa et al., 2024).

For isolated singularities, recent work proves an injectivity theorem for the duals of higher Du Bois complexes and deduces vanishing of their higher cohomology. If $(\underline{\Omega}_X^\bullet,F)$33 has pre-$(\underline{\Omega}_X^\bullet,F)$34-Du Bois isolated singularities, then

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

This sharpens the understanding of how depth controls the remaining derived structure of the graded pieces in the isolated case (Popa et al., 2024).

Across these developments, the same pattern recurs: the Du Bois complex serves simultaneously as a singular de Rham complex, as a receptacle for mixed-Hodge-theoretic filtrations, and as a derived invariant whose graded pieces control singularities, extension of forms, deformation behavior, local cohomology, and categorical resolutions.