Du Bois Singularities in Algebraic Geometry

• Du Bois singularities are defined by the quasi-isomorphism from the structure sheaf to the degree-zero piece of the Deligne–Du Bois complex, ensuring the lowest Hodge filtration mimics the smooth case.
• They are characterized via hyperresolutions that connect mixed Hodge theory with birational geometry, extending naturally to pairs and categorical resolutions.
• Higher Du Bois conditions and extension theorems offer precise criteria for degeneration behavior, Cohen–Macaulayness, and comparisons with rational singularities.

Du Bois singularities are singularities of complex algebraic varieties characterized by the requirement that the canonical morphism from the structure sheaf to the degree-zero piece of the Deligne–Du Bois complex be a quasi-isomorphism. For a reduced complex algebraic variety $X$, this means

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$

is a quasi-isomorphism, where $\underline{\Omega}_X^\bullet$ is constructed by hyperresolutions and encodes Deligne’s mixed Hodge theory on singular spaces (Lunts, 2010). The notion sits at the intersection of Hodge theory, birational geometry, and derived algebraic geometry: rational singularities and log canonical singularities are Du Bois, but the class is strictly broader, and it admits reformulations in terms of cohomology, pairs, categorical resolutions, higher differential forms, and degeneration behavior in families (Kovács, 2011).

1. Foundational definition and the Deligne–Du Bois complex

For a reduced complex algebraic variety $X$, one chooses a hyperresolution $T: Z \to X$ and defines the de Rham–Du Bois complex by

$$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$

Its degree-zero graded piece is $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$, and the canonical morphism $\mathcal{O}_X \to \underline{\Omega}_X^0$ is functorial in $X$ (Lunts, 2010). The standard definition says that $X$ has Du Bois singularities precisely when this morphism is a quasi-isomorphism. Equivalently, if $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$0 is a hyperresolution, then $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$1 is Du Bois if and only if $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$2 is a quasi-isomorphism (Kovács, 2011).

The construction is compatible with the smooth case. If $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$3 is smooth, then $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$4 is quasi-isomorphic to the usual de Rham complex $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$5 (Lunts, 2010). More generally, for any proper complex algebraic variety $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$6, the Deligne–Du Bois complex governs the Hodge filtration on singular cohomology through the spectral sequence

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$7

which degenerates at $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$8 (Kovács, 2011). In particular,

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$9

and for $\underline{\Omega}_X^\bullet$0,

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

(Kovács, 2011).

This Hodge-theoretic role explains why Du Bois singularities are often viewed as the singularities for which the lowest Hodge piece behaves as in the smooth case. It also underlies later extensions of the theory to pairs, higher $\underline{\Omega}_X^\bullet$2-Du Bois conditions, and categorical constructions.

2. Hodge-theoretic and cohomological characterizations

For proper $\underline{\Omega}_X^\bullet$3, the canonical morphism $\underline{\Omega}_X^\bullet$4 induces a natural surjection

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

and Du Bois singularities are exactly the case in which this comparison is an isomorphism (Kovács, 2011). In the projective setting, this can be sharpened: if $\underline{\Omega}_X^\bullet$6 is projective over $\underline{\Omega}_X^\bullet$7 with a fixed basepoint-free linear system, then $\underline{\Omega}_X^\bullet$8 has Du Bois singularities if and only if, for every $\underline{\Omega}_X^\bullet$9 and every $X$0 obtained as the intersection of general members of that linear system, the natural map

$X$1

is an isomorphism (Kovács, 2011). When $X$2 has isolated singularities, it suffices to test on $X$3 itself.

A second criterion is categorical rather than numerical. If $X$4 admits a left inverse in $X$5, then $X$6 is Du Bois (Lunts, 2010). This criterion, due to Kovács, is used repeatedly in derived and birational arguments.

The relation to other singularity classes is one of the central structural facts of the subject. Rational singularities imply Du Bois singularities, and log canonical singularities imply Du Bois singularities (Lunts, 2010). These implications explain the prominence of the class in the minimal model program and in moduli problems. At the same time, the converse fails in general, so Du Bois singularities are genuinely weaker than rational singularities.

A common misconception is that Du Bois singularities are determined only by local algebraic conditions resembling rationality. The cohomological characterization shows instead that the definition is fundamentally Hodge-theoretic: the class is detected by the lowest Hodge piece of mixed Hodge structures on singular cohomology (Kovács, 2011).

3. Pairs, deformation, and local algebra

The theory extends naturally to reduced pairs $X$7. One defines the Du Bois complex of the pair by the mapping cone

$X$8

so that there is an exact triangle

$X$9

The pair is called a Du Bois pair if the natural morphism from the ideal sheaf $T: Z \to X$0 to $T: Z \to X$1 is a quasi-isomorphism (Kovács, 2010). For proper $T: Z \to X$2, the hypercohomology of $T: Z \to X$3 computes $T: Z \to X$4, and when $T: Z \to X$5 is a Du Bois pair, one has

$T: Z \to X$6

(Kovács, 2010).

A major structural theorem is that Du Bois singularities deform. If $T: Z \to X$7 is a reduced effective Cartier divisor and $T: Z \to X$8 has Du Bois singularities, then $T: Z \to X$9 has Du Bois singularities near $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$0 (Kovács et al., 2011). Consequently, in a proper flat family over a smooth curve, if the special fiber is Du Bois, then nearby fibers are also Du Bois (Kovács et al., 2011).

The local algebra of Du Bois singularities is also unusually rigid. If $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$1 is a local ring essentially of finite type over $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$2 and $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$3 is Du Bois, then

$$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$4

is surjective for every $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$5 (Ma et al., 2016). One consequence is a Cartier-divisor criterion for Cohen–Macaulayness: if $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$6 is a Cartier divisor, $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$7 is Du Bois, and $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$8 is Cohen–Macaulay, then $$\underline{\Omega}_X^\bullet := R T_* \Omega_Z^\bullet.$$9 is Cohen–Macaulay (Ma et al., 2016).

The class is also stable under purity in equal characteristic zero. If $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$0 is a cyclically pure map of rings essentially of finite type over $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$1 and $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$2 has Du Bois singularities, then $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$3 has Du Bois singularities (Godfrey et al., 2022). This remains new even for faithfully flat maps.

The language of pairs leads to the notion of potentially Du Bois spaces: a variety $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$4 is potentially Du Bois at a point if locally it underlies some Du Bois pair $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$5. This notion coincides with Du Bois singularities on normal surfaces, but in dimension at least three a normal potentially Du Bois singularity need not be Du Bois even when $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$6 is $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$7-Cartier. By contrast, if $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$8 is normal, potentially Du Bois, and $$\underline{\Omega}_X^0 := \operatorname{gr}_F^0 \underline{\Omega}_X^\bullet$$9 is Cartier, then $\mathcal{O}_X \to \underline{\Omega}_X^0$0 is log canonical and hence Du Bois (Graf et al., 2014).

4. Poset schemes and categorical resolutions

A distinct formulation places Du Bois singularities inside noncommutative and categorical geometry. A poset scheme is a diagram of schemes

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

indexed by a finite poset, and its quasi-coherent sheaves are collections $\mathcal{O}_X \to \underline{\Omega}_X^0$2 with compatible gluing morphisms (Lunts, 2010). The derived category $\mathcal{O}_X \to \underline{\Omega}_X^0$3 is obtained by gluing the derived categories of the components; if $\mathcal{O}_X \to \underline{\Omega}_X^0$4 is a linear extension of the poset, then

$\mathcal{O}_X \to \underline{\Omega}_X^0$5

(Lunts, 2010).

When each $\mathcal{O}_X \to \underline{\Omega}_X^0$6 is smooth, $\mathcal{O}_X \to \underline{\Omega}_X^0$7 is a smooth triangulated category. This provides a categorical replacement for ordinary resolutions of singularities. If $\mathcal{O}_X \to \underline{\Omega}_X^0$8 is a morphism from a smooth poset scheme, then $\mathcal{O}_X \to \underline{\Omega}_X^0$9 is a categorical resolution of $X$0 when

$X$1

is fully faithful; equivalently,

$X$2

is a quasi-isomorphism (Lunts, 2010).

The central theorem identifies exactly when such a categorical resolution exists: a reduced scheme $X$3 of finite type over a field of characteristic $X$4 admits a categorical resolution by a smooth poset scheme if and only if $X$5 has Du Bois singularities (Lunts, 2010). Thus Du Bois singularities are precisely the singularities admitting this form of smooth categorical desingularization.

The same framework reconstructs the Du Bois complex itself. If $X$6 is a reduced complex projective variety and $X$7 is a smooth projective poset scheme satisfying descent in the classical topology,

$X$8

then

$X$9

(Lunts, 2010). A Du Bois variety therefore admits a smooth DG algebra $X$0 with $X$1 for $X$2, and $X$3 has a finite semiorthogonal decomposition by smooth pieces (Lunts, 2010).

5. Higher Du Bois singularities

Several higher analogues of Du Bois singularities have been developed. In the strict form, one says that $X$4 has $X$5-Du Bois singularities if the maps

$X$6

are quasi-isomorphisms for all $X$7 (Friedman et al., 2022). Outside the local complete intersection setting, later work isolates the vanishing aspect by defining pre-$X$8-Du Bois singularities through the conditions

$X$9

and then defines $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$00-Du Bois singularities by adding seminormality, the codimension bound $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$01, and reflexivity of $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$02 for $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$03 (Shen et al., 2023). In the lci case, these generalized definitions agree with the strict ones (Shen et al., 2023).

For isolated lci singularities, the theory becomes numerical. If $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$04 are the Milnor-fiber Hodge numbers, then $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$05 is $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$06-Du Bois if and only if $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$07 for $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$08, while $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$09 is $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$10-rational if and only if $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$11 for $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$12; in this setting, $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$13-Du Bois implies $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$14-rational (Friedman et al., 2022).

For hypersurfaces, the higher theory is controlled by the minimal exponent $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$15. One has

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$16

(Friedman et al., 2022). In particular, for reduced hypersurfaces, higher $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$17-Du Bois singularities coincide with higher $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$18-log canonical singularities (Jung et al., 2021). More generally, $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$19-rational singularities imply $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$20-Du Bois singularities under lci or isolated hypotheses, and in the broader non-lci framework pre-$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$21-rational implies pre-$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$22-Du Bois (Friedman et al., 2022).

The higher theory also has strong consequences in families. If $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$23 is flat and proper and a fiber $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$24 has $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$25-Du Bois local complete intersection singularities, then

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$26

is locally free and compatible with arbitrary base change for all $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$27 and $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$28 (Friedman et al., 2022). This yields constancy of the Hodge–Du Bois numbers $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$29 in the $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$30-range $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$31.

6. Extension of forms, examples, and recent directions

One of the most geometric consequences of the Du Bois condition is an extension theorem for differential forms. If $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$32 is a normal complex algebraic variety with Du Bois singularities and singular locus $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$33, then for any resolution $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$34,

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$35

is an isomorphism for all

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$36

improving Flenner’s criterion by one degree under the Du Bois hypothesis (Tighe, 2023). The borderline statement

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$37

is an isomorphism for $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$38 even for arbitrary normal $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$39 (Tighe, 2023).

Important geometric classes supply large families of examples. For secant varieties, sufficiently positive embeddings produce Du Bois singularities: under the adjoint positivity hypothesis of Assumption 1.1, $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$40 is Du Bois, and it has rational singularities if and only if

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$41

(Chou et al., 2015). More refined higher results show that, under the positivity package $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$42, secant varieties have pre-$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$43-Du Bois singularities, and they are $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$44-Du Bois exactly in the range $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$45; by contrast, they are never higher rational except for rational normal curves (Olano et al., 2023).

Cones provide another testing ground. If $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$46 is smooth and

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$47

then the projective cone over $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$48 is Du Bois (Lunts, 2010). More recent work computes the Du Bois complexes of abstract cones $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$49 explicitly: $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$50 is expressed in terms of the cohomology of $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$51 and $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$52, and the local cohomological defect of the cone is controlled by the Lefschetz action of $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$53 on $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$54 (Popa et al., 2024).

Recent work has also added numerical and asymptotic constraints. For a $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$55-dimensional variety with Du Bois singularities at a point of embedding dimension $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$56, the multiplicity satisfies

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$57

while rational singularities satisfy the sharper bound $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$58 (Park, 26 Sep 2025). In a different direction, flat projective degenerations with $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$59-Du Bois special fibers satisfy specialization isomorphisms

$$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$60

and adjacent discriminant strata are constrained by weak polarized relations on the visible columns of their Hodge–Deligne diamonds (Acuna et al., 14 May 2025).

Taken together, these developments show that Du Bois singularities are not merely a local condition on $$\mathcal{O}_X \longrightarrow \underline{\Omega}_X^0$$61. They organize a wide range of phenomena: Hodge-theoretic comparison isomorphisms, deformation and purity properties, categorical resolutions, higher differential-form conditions, extension theorems, multiplicity bounds, and constraints on degenerations.