---
title: Intersection Du Bois Complex
url: https://www.emergentmind.com/topics/intersection-du-bois-complex
type: topic
---

# Intersection Du Bois Complex

Searching arXiv for recent and foundational papers on Du Bois complexes, intersection-complex analogues, and related base-change/hypersurface results.
{"query":"all: \"Du Bois complex\" intersection complex Hodge modules Du Bois", "max_results": 10, "sort_by": "relevance"}
The literature indicates that the expression **intersection Du Bois complex** has a restricted and nonuniform status. In the most precise current usage represented here, it denotes the Hodge-module-theoretic complexes
\[
I\underline{\Omega}_X^p:=\operatorname{gr}_{-p}^F DR(IC_X\mathbf Q^H)[p-n],
\]
obtained by replacing the constant Hodge module in the ordinary Du Bois construction with the intersection complex Hodge module. At the same time, several recent papers explicitly state that they do **not** define any object called an “intersection Du Bois complex,” and instead distinguish the ordinary Du Bois complex from the intersection complex \(\IC_X\) and from intersection cohomology \(\IH^\bullet(X)\) [2409.18019], [2507.07350].

## 1. Terminological status and conceptual scope

The phrase is not standard across the subject. Recent work on finite morphisms and higher extension properties explicitly says that no object called an “intersection Du Bois complex” is being defined there, even though those papers work intensively with the ordinary Du Bois complex and with Hodge-module or perverse-sheaf constructions adjacent to intersection complexes [2507.07350], [2312.01245]. A similar caution appears in work on pure subrings and Du Bois pairs, where the operative objects are \(\underline{\Omega}_X^0\) and \(\underline{\Omega}_{X,E}^0\), not an IC-type refinement [2208.14429].

This terminological instability reflects two different uses of the word “intersection.” In one use, “intersection” refers to the **intersection complex** \(IC_X\mathbf Q^H\) of mixed Hodge module theory. In another, it refers to **geometric intersections**—hyperplane sections, complete intersections, fibers, or SNC intersection patterns—through which ordinary Du Bois complexes are analyzed. The Hodge-module-theoretic object \(I\underline{\Omega}_X^p\) belongs to the first use; pair Du Bois complexes, hypersurface models, and base-change formulas belong to the second.

## 2. Ordinary Du Bois complexes as the precursor

For a complex variety \(X\), the ordinary Du Bois package is the filtered complex \((\underline{\Omega}_X^\bullet,F)\), with graded pieces
\[
\underline{\Omega}_X^p:=\operatorname{gr}_F^p\underline{\Omega}_X^\bullet[p].
\]
If \(\varepsilon_\bullet:X_\bullet\to X\) is a hyperresolution, then
\[
\underline{\Omega}_X^p \simeq R\varepsilon_{\bullet *}\Omega_{X_\bullet}^p.
\]
For proper \(X\), the Hodge-to-de Rham spectral sequence
\[
E_1^{p,q}=H^q(X,\underline{\Omega}_X^p)\Rightarrow H^{p+q}(X,\mathbb C)
\]
degenerates at \(E_1\), and \(X\) is Du Bois precisely when the natural morphism
\[
\mathcal O_X\to \underline{\Omega}_X^0
\]
is a quasi-isomorphism [1109.5569].

A second construction replaces hyperresolutions by smooth poset schemes. If \(\pi:\mathcal X\to X\) is a smooth projective poset scheme satisfying
\[
\mathbf C_{X^{an}}\xrightarrow{\sim}\mathbf R\pi^{an}_*\mathbf C_{\mathcal X^{an}},
\]
then
\[
\underline{\Omega}_X^\bullet \xrightarrow{\sim}\mathbf R\pi_*\Omega^\bullet_{\mathcal X},
\qquad
\underline{\Omega}_X^i \xrightarrow{\sim}\mathbf R\pi_*\Omega^i_{\mathcal X}.
\]
In particular, when \(\mathcal X\) is built from smooth intersections of components, the ordinary Du Bois complex is already realized by a diagram encoding intersection strata [1011.6089].

## 3. Definition of the intersection Du Bois complexes

The explicit IC-type analogue is formulated in mixed Hodge modules. In the derived category of mixed Hodge modules on an \(n\)-dimensional complex variety \(X\), one has the composition
\[
\gamma_X:\mathbf Q_X^H[n]\to H^0\mathbf Q_X^H[n]\to IC_X\mathbf Q^H \simeq \operatorname{gr}_n^W H^0\mathbf Q_X^H[n].
\]
Ordinary Du Bois complexes are recovered as
\[
\underline{\Omega}_X^p \simeq \operatorname{gr}_{-p}^F DR(\mathbf Q_X^H[n])[p-n].
\]
The intersection analogue is then defined by
\[
I\underline{\Omega}_X^p:=\operatorname{gr}_{-p}^F DR(IC_X\mathbf Q^H)[p-n].
\]
These objects are called **intersection Du Bois complexes** in the 2024 injectivity-and-vanishing paper, which states explicitly that, from the point of view of Hodge modules and constructible sheaves, the passage from \(\underline{\Omega}_X^p\) to \(I\underline{\Omega}_X^p\) is obtained by replacing the constant sheaf with the intersection complex [2409.18019].

This places the new complexes exactly at the interface between ordinary cohomology and intersection cohomology. The ordinary Du Bois complexes are the coherent-sheaf avatars of the Hodge filtration on the de Rham realization of \(\mathbf Q_X^H[n]\); the intersection Du Bois complexes are the corresponding avatars for \(IC_X\mathbf Q^H\).

## 4. Comparison with ordinary Du Bois complexes

The mixed-Hodge-module construction comes equipped with natural comparison morphisms
\[
\underline{\Omega}_X^p \xrightarrow{\rho_p} I\underline{\Omega}_X^p \to D_X(\underline{\Omega}_X^p),
\]
where
\[
D_X(-):=R\mathcal Hom_X(-,\omega_X^\bullet[-n]).
\]
These maps place the intersection Du Bois complexes between the ordinary Du Bois complexes and their Grothendieck duals. The comparison becomes especially tight under higher-rationality hypotheses: if \(X\) is a **normal** variety with **pre-\(k\)-rational singularities**, then
\[
\rho_p:\underline{\Omega}_X^p\overset{\sim}{\longrightarrow} I\underline{\Omega}_X^p
\qquad\text{for all }p\le k.
\]
Thus, in low degrees, pre-\(k\)-rationality forces the IC-type and constant-sheaf-type constructions to coincide [2409.18019].

The degree-zero part is particularly concrete. For a resolution \(f:\widetilde X\to X\), one has
\[
H^0 I\underline{\Omega}_X^k = f_*\Omega_{\widetilde X}^k.
\]
This formula makes the intersection object more geometric than the ordinary \(H^0\underline{\Omega}_X^k\), which can be subtler. In the local complete intersection case, the same paper combines this description with reflexivity statements to derive depth bounds and vanishing results for the IC-type complexes.

## 5. Injectivity and vanishing theory

The main 2024 results establish parallel injectivity and vanishing statements for ordinary and intersection Du Bois complexes. On the intersection side, the fundamental conjectural morphism is
\[
R\mathcal Hom(I\underline{\Omega}_X^k,\omega_X^\bullet)
\to
R\mathcal Hom(H^0I\underline{\Omega}_X^k,\omega_X^\bullet),
\]
expected to be injective on cohomology for normal varieties with pre-\((k-1)\)-rational singularities. What is proved unconditionally is a comparison theorem: under normal pre-\((k-1)\)-rational singularities, dualizing \(\rho_k\) gives
\[
R\mathcal Hom_{\mathcal O_X}(I\underline{\Omega}_X^k,\omega_X^\bullet)
\to
R\mathcal Hom_{\mathcal O_X}(\underline{\Omega}_X^k,\omega_X^\bullet)
\]
injective on cohomology. More sharply, this morphism is an isomorphism on \(i\)-th cohomology for
\[
i<k-n-1,
\]
injective for
\[
i=k-n,
\]
and satisfies
\[
\mathcal Ext_{\mathcal O_X}^i(I\underline{\Omega}_X^k,\omega_X^\bullet)=0
\quad\text{for } i>k-n.
\]
The full injectivity conjecture is proved when \(k=0\), when \(X\) has isolated singularities, and when \(X\) is a local complete intersection with \((k-1)\)-rational singularities [2409.18019].

The vanishing theory is parallel. In the same three settings, one obtains the expected depth-range vanishing for the cohomology sheaves of the intersection complexes. In particular, if \(X\) is a local complete intersection and
\[
s=\dim X_{\mathrm{sing}},
\]
then
\[
\mathcal H^i I\underline{\Omega}_X^k=0
\quad\text{for all }0<i<n-k-s-1.
\]
These results show that the IC-type theory is not merely formal: it supports its own injectivity conjectures, depth estimates, and vanishing theorems, although the general non-isolated, non-LCI case remains conjectural.

## 6. Adjacent “intersection” viewpoints in Du Bois theory

Even where no IC-type complex is named, several strands of the literature exhibit closely related intersection phenomena.

For **pairs**, if \(X\) is embeddable, \(Z\subseteq X\) is closed, \(X\setminus Z\) has rational singularities, and
\[
p:(\widetilde X,E)\to (X,Z)
\]
is a log resolution with \(E=p^{-1}(Z)\), then the pair Du Bois complex satisfies
\[
\underline{\Omega}_{X,Z}^0 \simeq Rp_*\mathcal O_{\widetilde X}(-E)
\simeq
\operatorname{gr}_0^F \operatorname{DR}\!\left(\bigoplus_i IC_{X_i\setminus Z}^H[-\dim X_i]\right),
\]
where \(X_i\) are the irreducible components of \(X\setminus Z\). This identifies the pair Du Bois complex with the graded de Rham realization of Hodge-module intersection complexes on the rational locus, even though it is not itself called an “intersection Du Bois complex” [2311.15159].

For **hypersurfaces**, the relation to intersection-complex-type objects appears through a canonical morphism of filtered right \(\mathscr D_Y\)-modules
\[
(M_X'',F)\to (\omega_Y(*X)/\omega_Y, F[-d_X]),
\]
underlying the composition
\[
\mathbb Q_{h,X}[d_X]\to IC_{h,X}\mathbb Q \to D(\mathbb Q_{h,X}(d_X)[d_X]).
\]
Theorem 3.1 in that paper states that \(X\) is a \(\mathbb Q\)-homology manifold iff the unipotent monodromy part of the vanishing cycle complex vanishes; equivalently, the constant object and the intersection-complex-type object coincide. In the same hypersurface setting, the ordinary graded pieces \(\underline{\Omega}_X^q\) are realized concretely by truncations and cones of the \(df\)-Koszul complex, showing how Du Bois theory meets IC-type Hodge-module structure without collapsing into it [2107.06619].

For **restriction to fibers and Cartier intersections**, the relative theory over a smooth complex curve gives a derived restriction formula
\[
L\jmath_c^*\,\underline{\Omega}_{X/C}^p \simeq \underline{\Omega}_{X_c}^p
\]
for every \(c\) in a nonempty Zariski-open subset \(U\subseteq C\), and for every closed point when a simultaneous relative hyperresolution exists. The same paper proves that this can fail at special SNC fibers: if \(Y=X_0\) is an SNC divisor in a smooth total space of relative dimension \(n\), then
\[
L\imath^*\,\underline{\Omega}_{X/C}^{n}\not\simeq \underline{\Omega}_{Y}^{n},
\qquad
\underline{\Omega}_Y^n \simeq \nu_*\omega_{\widetilde Y}.
\]
This suggests an intersection-fiber viewpoint in which the Du Bois complex of a special fiber remembers singular gluing data not captured by naive restriction of the relative complex [2508.02848].

Taken together, these constructions show that the subject has two stable cores. One is the precise IC-type object \(I\underline{\Omega}_X^p\). The other is a broader constellation of pair, hypersurface, and restriction phenomena in which ordinary Du Bois complexes interact with intersection patterns, normalization, and Hodge-module realizations. The phrase **intersection Du Bois complex** is therefore most precise when reserved for the IC-Hodge-module construction, but it also points to a wider intersection-theoretic landscape inside Du Bois theory.

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