---
title: Du Bois Singularities in Algebraic Geometry
url: https://www.emergentmind.com/topics/du-bois-singularities
type: topic
---

# Du Bois Singularities in Algebraic Geometry

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 [1011.6089]. 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 [1109.5569].

## 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\) [1011.6089]. The standard definition says that \(X\) has Du Bois singularities precisely when this morphism is a quasi-isomorphism. Equivalently, if \(\pi_\bullet: X_\bullet \to X\) is a hyperresolution, then \(X\) is Du Bois if and only if \(\mathcal{O}_X \to R\pi_{\bullet *}\mathcal{O}_{X_\bullet}\) is a quasi-isomorphism [1109.5569].

The construction is compatible with the smooth case. If \(X\) is smooth, then \(\underline{\Omega}_X^\bullet\) is quasi-isomorphic to the usual de Rham complex \(\Omega_X^\bullet\) [1011.6089]. More generally, for any proper complex algebraic variety \(X\), the Deligne–Du Bois complex governs the Hodge filtration on singular cohomology through the spectral sequence
\[
E_1^{p,q} = H^q(X,\underline{\Omega}_X^p) \Rightarrow H^{p+q}(X,\mathbb{C}),
\]
which degenerates at \(E_1\) [1109.5569]. In particular,
\[
\operatorname{Gr}_F^p H^i(X,\mathbb{C}) \cong H^i(X,\underline{\Omega}_X^p),
\]
and for \(p=0\),
\[
\operatorname{Gr}_F^0 H^i(X,\mathbb{C}) \cong H^i(X,\underline{\Omega}_X^0)
\]
[1109.5569].

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 \(k\)-Du Bois conditions, and categorical constructions.

## 2. Hodge-theoretic and cohomological characterizations

For proper \(X\), the canonical morphism \(\mathcal{O}_X \to \underline{\Omega}_X^0\) induces a natural surjection
\[
H^i(X,\mathcal{O}_X) \longrightarrow H^i(X,\underline{\Omega}_X^0)
 = \operatorname{Gr}_F^0 H^i(X,\mathbb{C}),
\]
and Du Bois singularities are exactly the case in which this comparison is an isomorphism [1109.5569]. In the projective setting, this can be sharpened: if \(X\) is projective over \(\mathbb{C}\) with a fixed basepoint-free linear system, then \(X\) has Du Bois singularities if and only if, for every \(i \ge 0\) and every \(L \subset X\) obtained as the intersection of general members of that linear system, the natural map
\[
H^i(L,\mathcal{O}_L) \to \operatorname{Gr}_F^0 H^i(L,\mathbb{C})
\]
is an isomorphism [1109.5569]. When \(X\) has isolated singularities, it suffices to test on \(X\) itself.

A second criterion is categorical rather than numerical. If \(\mathcal{O}_X \to R T_* \mathcal{O}_Z\) admits a left inverse in \(D(X)\), then \(X\) is Du Bois [1011.6089]. 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 [1011.6089]. 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 [1109.5569].

## 3. Pairs, deformation, and local algebra

The theory extends naturally to reduced pairs \((X,\Sigma)\). One defines the Du Bois complex of the pair by the mapping cone
\[
\underline{\Omega}_{X,\Sigma}^\bullet := \operatorname{Cone}\big(\underline{\Omega}_X^\bullet \to \underline{\Omega}_\Sigma^\bullet\big)[-1],
\]
so that there is an exact triangle
\[
\underline{\Omega}_X^\bullet \to \underline{\Omega}_\Sigma^\bullet \to \underline{\Omega}_{X,\Sigma}^\bullet \xrightarrow{+1}.
\]
The pair is called a Du Bois pair if the natural morphism from the ideal sheaf \(\mathscr{J}_\Sigma\) to \(\underline{\Omega}_{X,\Sigma}^0\) is a quasi-isomorphism [1009.3536]. For proper \(X\), the hypercohomology of \(\underline{\Omega}_{X,\Sigma}^\bullet\) computes \(H_c^*(X\setminus \Sigma,\mathbb{C})\), and when \((X,\Sigma)\) is a Du Bois pair, one has
\[
H^i(X,\mathscr{J}_\Sigma) \cong \operatorname{Gr}_F^0 H_c^i(X\setminus \Sigma,\mathbb{C})
\]
[1009.3536].

A major structural theorem is that Du Bois singularities deform. If \(H \subset X\) is a reduced effective Cartier divisor and \(H\) has Du Bois singularities, then \(X\) has Du Bois singularities near \(H\) [1107.2349]. Consequently, in a proper flat family over a smooth curve, if the special fiber is Du Bois, then nearby fibers are also Du Bois [1107.2349].

The local algebra of Du Bois singularities is also unusually rigid. If \((R,\mathfrak m)\) is a local ring essentially of finite type over \(\mathbb{C}\) and \(R_{\mathrm{red}}\) is Du Bois, then
\[
H_{\mathfrak m}^i(R) \to H_{\mathfrak m}^i(R_{\mathrm{red}})
\]
is surjective for every \(i\) [1605.02755]. One consequence is a Cartier-divisor criterion for Cohen–Macaulayness: if \(H\subset X\) is a Cartier divisor, \(H\) is Du Bois, and \(X\setminus H\) is Cohen–Macaulay, then \(X\) is Cohen–Macaulay [1605.02755].

The class is also stable under purity in equal characteristic zero. If \(R \to S\) is a cyclically pure map of rings essentially of finite type over \(\mathbb{C}\) and \(S\) has Du Bois singularities, then \(R\) has Du Bois singularities [2208.14429]. This remains new even for faithfully flat maps.

The language of pairs leads to the notion of potentially Du Bois spaces: a variety \(X\) is potentially Du Bois at a point if locally it underlies some Du Bois pair \((U,\Sigma_U)\). 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 \(K_X\) is \(\mathbb{Q}\)-Cartier. By contrast, if \(X\) is normal, potentially Du Bois, and \(K_X\) is Cartier, then \(X\) is log canonical and hence Du Bois [1401.4976].

## 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
\[
\mathfrak X=\{X_\alpha, f_{\alpha\beta}: X_\alpha \to X_\beta\}_{\alpha \ge \beta}
\]
indexed by a finite poset, and its quasi-coherent sheaves are collections \(\{F_\alpha\}\) with compatible gluing morphisms [1011.6089]. The derived category \(D(\mathfrak X)\) is obtained by gluing the derived categories of the components; if \((\alpha_1,\dots,\alpha_n)\) is a linear extension of the poset, then
\[
D(\mathfrak X)=\langle D(X_{\alpha_1}),\dots,D(X_{\alpha_n})\rangle
\]
[1011.6089].

When each \(X_\alpha\) is smooth, \(D(\mathfrak X)\) is a smooth triangulated category. This provides a categorical replacement for ordinary resolutions of singularities. If \(\pi:\mathfrak X \to X\) is a morphism from a smooth poset scheme, then \(\pi\) is a categorical resolution of \(X\) when
\[
L\pi^*:\operatorname{Perf}(X)\to \operatorname{Perf}(\mathfrak X)
\]
is fully faithful; equivalently,
\[
\mathcal{O}_X \longrightarrow R\pi_* \mathcal{O}_{\mathfrak X}
\]
is a quasi-isomorphism [1011.6089].

The central theorem identifies exactly when such a categorical resolution exists: a reduced scheme \(X\) of finite type over a field of characteristic \(0\) admits a categorical resolution by a smooth poset scheme if and only if \(X\) has Du Bois singularities [1011.6089]. 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 \(Y\) is a reduced complex projective variety and \(\pi:\mathfrak X \to Y\) is a smooth projective poset scheme satisfying descent in the classical topology,
\[
R\pi_{an*}\mathbb{C}_{\mathfrak X_{an}} \simeq \mathbb{C}_{Y_{an}},
\]
then
\[
\underline{\Omega}_Y^\bullet \simeq R\pi_* \Omega_{\mathfrak X}^\bullet,
\qquad
\underline{\Omega}_Y^0 \simeq R\pi_* \mathcal{O}_{\mathfrak X}
\]
[1011.6089]. A Du Bois variety therefore admits a smooth DG algebra \(A\) with \(H^i(A)=0\) for \(i>0\), and \(D(A)\) has a finite semiorthogonal decomposition by smooth pieces [1011.6089].

## 5. Higher Du Bois singularities

Several higher analogues of Du Bois singularities have been developed. In the strict form, one says that \(X\) has \(k\)-Du Bois singularities if the maps
\[
\phi^p:\Omega_X^p \to \underline{\Omega}_X^p
\]
are quasi-isomorphisms for all \(0\le p\le k\) [2205.04729]. Outside the local complete intersection setting, later work isolates the vanishing aspect by defining pre-\(k\)-Du Bois singularities through the conditions
\[
\mathcal{H}^i(\underline{\Omega}_X^p)=0 \quad \text{for all } i>0,\ 0\le p\le k,
\]
and then defines \(k\)-Du Bois singularities by adding seminormality, the codimension bound \(\operatorname{codim}_X(X_{\mathrm{sing}})\ge 2k+1\), and reflexivity of \(\mathcal{H}^0(\underline{\Omega}_X^p)\) for \(p\le k\) [2306.03977]. In the lci case, these generalized definitions agree with the strict ones [2306.03977].

For isolated lci singularities, the theory becomes numerical. If \(s_p=\dim \operatorname{Gr}_F^p H^n(M)\) are the Milnor-fiber Hodge numbers, then \(X\) is \(k\)-Du Bois if and only if \(s_p=0\) for \(0\le p\le k\), while \(X\) is \(k\)-rational if and only if \(s_{n-p}=0\) for \(0\le p\le k\); in this setting, \(k\)-Du Bois implies \((k-1)\)-rational [2207.07566].

For hypersurfaces, the higher theory is controlled by the minimal exponent \(\widetilde{\alpha}_X\). One has
\[
X \text{ is } k\text{-Du Bois} \iff \widetilde{\alpha}_X \ge k+1,
\qquad
X \text{ is } k\text{-rational} \iff \widetilde{\alpha}_X > k+1
\]
[2205.04729]. In particular, for reduced hypersurfaces, higher \(p\)-Du Bois singularities coincide with higher \(p\)-log canonical singularities [2107.06619]. More generally, \(k\)-rational singularities imply \(k\)-Du Bois singularities under lci or isolated hypotheses, and in the broader non-lci framework pre-\(k\)-rational implies pre-\(k\)-Du Bois [2205.04729].

The higher theory also has strong consequences in families. If \(f:\mathcal Y \to S\) is flat and proper and a fiber \(\mathcal Y_s\) has \(k\)-Du Bois local complete intersection singularities, then
\[
R^q f_* \Omega^p_{\mathcal Y/S}
\]
is locally free and compatible with arbitrary base change for all \(q\ge 0\) and \(0\le p\le k\) [2205.04729]. This yields constancy of the Hodge–Du Bois numbers \(h^{p,q}\) in the \(p\)-range \(p\le k\).

## 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 \(X\) is a normal complex algebraic variety with Du Bois singularities and singular locus \(\Sigma\), then for any resolution \(\pi:\widetilde X \to X\),
\[
\pi_*\Omega_{\widetilde X}^p \hookrightarrow \Omega_X^{[p]}
\]
is an isomorphism for all
\[
0\le p < \operatorname{codim}_X(\Sigma),
\]
improving Flenner’s criterion by one degree under the Du Bois hypothesis [2312.01245]. The borderline statement
\[
\pi_*\Omega_{\widetilde X}^{p} \hookrightarrow \pi_*\Omega_{\widetilde X}^{p}(\log E)
\]
is an isomorphism for \(p=\operatorname{codim}_X(\Sigma)-1\) even for arbitrary normal \(X\) [2312.01245].

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, \(\Sigma(X,L)\) is Du Bois, and it has rational singularities if and only if
\[
H^i(X,\mathcal{O}_X)=0 \quad \text{for all } 1\le i\le n
\]
[1503.01099]. More refined higher results show that, under the positivity package \((Qp)\), secant varieties have pre-\(p\)-Du Bois singularities, and they are \(p\)-Du Bois exactly in the range \(p\le \nu(X)\); by contrast, they are never higher rational except for rational normal curves [2310.09391].

Cones provide another testing ground. If \(W\subset \mathbb{P}^m\) is smooth and
\[
H^i(W,\mathcal{O}_W(n))=0 \quad \text{for all } i>0,\ n\ge 0,
\]
then the projective cone over \(W\) is Du Bois [1011.6089]. More recent work computes the Du Bois complexes of abstract cones \(Z=C(X,L)\) explicitly:
\[
\Gamma\big(Z,H^i\underline{\Omega}_Z^k\big)
\]
is expressed in terms of the cohomology of \(\underline{\Omega}_X^{k-1}\otimes L^{\otimes m}\) and \(\underline{\Omega}_X^k\otimes L^{\otimes m}\), and the local cohomological defect of the cone is controlled by the Lefschetz action of \(c_1(L)\) on \(H^*(X,\mathbb{C})\) [2406.03593].

Recent work has also added numerical and asymptotic constraints. For a \(d\)-dimensional variety with Du Bois singularities at a point of embedding dimension \(e\), the multiplicity satisfies
\[
\operatorname{mult}_x(X)\le \binom{e}{d},
\]
while rational singularities satisfy the sharper bound \(\binom{e-1}{d-1}\) [2509.21807]. In a different direction, flat projective degenerations with \(k\)-Du Bois special fibers satisfy specialization isomorphisms
\[
\operatorname{Gr}_F^p H^r(X_0) \cong \operatorname{Gr}_F^p H^r_{\lim}(X_t),\qquad 0\le p\le k,
\]
and adjacent discriminant strata are constrained by weak polarized relations on the visible columns of their Hodge–Deligne diamonds [2505.09122].

Taken together, these developments show that Du Bois singularities are not merely a local condition on \(\mathcal{O}_X \to \underline{\Omega}_X^0\). 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.

Source: https://www.emergentmind.com/topics/du-bois-singularities