pith. sign in

arxiv: 2410.21007 · v3 · pith:B4A3HJDYnew · submitted 2024-10-28 · 🧮 math.AG

Differential Forms and Hodge Structures on Singular Varieties

Donu Arapura , Scott Hiatt This is my paper

Pith reviewed 2026-05-23 19:22 UTC · model grok-4.3

classification 🧮 math.AG
keywords differential formsHodge structuressingular varietiesrational singularitiesDu Bois singularitiesquasi-rational singularitiesmixed Hodge structuresintersection cohomology
0
0 comments X

The pith

An isolated singularity is rational if and only if it is quasi-rational, Du Bois, and certain Hodge numbers of the local mixed Hodge structures vanish.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper compares notions of differential forms on singular complex algebraic varieties and relates them to the outermost associated graded spaces of the Hodge filtration on ordinary and intersection cohomology. It defines quasi-rational singularities as normal varieties where the zeroth cohomology sheaf of the Du Bois p-forms equals the direct image of p-forms from a desingularization for every p. The central result establishes that an isolated singularity is rational precisely when it satisfies the quasi-rational condition, the Du Bois condition, and the vanishing of certain Hodge numbers in the local mixed Hodge structures. This matters to a sympathetic reader because it supplies an explicit if-and-only-if criterion that ties together several classes of singularities through their action on forms and filtrations.

Core claim

We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we introduce and study singularities, that we call quasi-rational, which are normal and such that for all p, the zeroth cohomology sheaf of the complex of Du Bois p-forms is isomorphic to the direct image of p-forms from a desingularization. We show that an isolated singularity is rational if and only if it is quasi-rational, Du Bois, and certain Hodge numbers of the local mixed Hodge structures vanish.

What carries the argument

Quasi-rational singularities, defined as normal singularities where the zeroth cohomology sheaf of Du Bois p-forms is isomorphic to the direct image of p-forms from a desingularization for all p, which links the form complexes to the graded pieces of the Hodge filtration.

Load-bearing premise

The two notions of differential forms on singular varieties can be compared via their relation to the graded pieces of the Hodge filtration on ordinary and intersection cohomology, and the definition of quasi-rational singularities is well-defined and independent of choices.

What would settle it

An isolated singularity that meets the quasi-rational and Du Bois conditions together with the required local Hodge number vanishings yet fails to be rational.

read the original abstract

We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we introduce and study singularities, that we call quasi-rational, which are normal and such that for all p, the zeroth cohomology sheaf of the complex of Du Bois p-forms is isomorphic to the direct image of p-forms from a desingularization. We show that an isolated singularity is rational if and only if it is quasi-rational, Du Bois, and certain Hodge numbers of the local mixed Hodge structures vanish.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript compares notions of differential forms on singular complex algebraic varieties and relates them to the outermost graded pieces of the Hodge filtration on ordinary and intersection cohomology. It defines quasi-rational singularities as normal singularities for which, for all p, the zeroth cohomology sheaf of the Du Bois p-forms is isomorphic to the direct image of p-forms from a desingularization. The central result is an if-and-only-if theorem: an isolated singularity is rational precisely when it is quasi-rational, Du Bois, and certain Hodge numbers of the associated local mixed Hodge structures vanish.

Significance. If the central equivalence holds, the work supplies a new characterization of rational singularities that combines quasi-rationality, the Du Bois condition, and explicit vanishing of local Hodge numbers. This could furnish additional tools for classifying singularities and for relating different complexes of differential forms to Hodge-theoretic data on singular spaces.

major comments (2)
  1. [Main theorem (abstract and § on the equivalence)] The if-and-only-if characterization rests on the comparison between the two notions of differential forms via their relation to the graded pieces of the Hodge filtration on ordinary and intersection cohomology; the abstract states the result cleanly, but the soundness assessment cannot proceed beyond the statement itself without the explicit verification of this comparison.
  2. [Definition of quasi-rational singularities] The definition of quasi-rational singularities requires that the zeroth cohomology sheaf isomorphism be independent of the choice of desingularization; this independence is load-bearing for the main claim yet is not verified in the provided material.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for highlighting these points regarding the main theorem and the definition of quasi-rational singularities. We address each major comment below.

read point-by-point responses

  1. Referee: [Main theorem (abstract and § on the equivalence)] The if-and-only-if characterization rests on the comparison between the two notions of differential forms via their relation to the graded pieces of the Hodge filtration on ordinary and intersection cohomology; the abstract states the result cleanly, but the soundness assessment cannot proceed beyond the statement itself without the explicit verification of this comparison.

    Authors: The comparison between the two notions of differential forms and their relation to the outermost graded pieces of the Hodge filtration on ordinary and intersection cohomology is developed explicitly in Sections 3 and 4. These sections establish the relevant isomorphisms and functorial properties. The proof of the central equivalence (Theorem 5.1) then applies this comparison directly to the isolated singularity setting via the local mixed Hodge structures on the link, verifying the necessary vanishings and isomorphisms in that context. We believe the verification is already present in the manuscript. revision: no

  2. Referee: [Definition of quasi-rational singularities] The definition of quasi-rational singularities requires that the zeroth cohomology sheaf isomorphism be independent of the choice of desingularization; this independence is load-bearing for the main claim yet is not verified in the provided material.

    Authors: The referee correctly identifies that independence of the desingularization is essential for the definition to be well-posed. While the manuscript defines quasi-rational singularities with respect to a given desingularization, the independence follows from the functoriality of the Du Bois complex and the fact that any two resolutions are dominated by a common one (as used in the proof of Proposition 2.3). We will add an explicit remark or short lemma in Section 2 of the revised version to make this independence verification self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines quasi-rational singularities explicitly as normal varieties where the zeroth cohomology sheaf of Du Bois p-forms is isomorphic to the direct image of p-forms from a desingularization, then proves an if-and-only-if characterization of isolated rational singularities in terms of this definition plus the Du Bois condition and vanishing of specific local Hodge numbers on mixed Hodge structures. This is a standard mathematical equivalence built from comparisons between differential forms, Hodge filtrations on ordinary and intersection cohomology, and prior constructions in the literature; no step reduces a claimed prediction or result to a fitted parameter, self-referential equation, or load-bearing self-citation by construction. The derivation chain is self-contained against external Hodge-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper rests on standard background in algebraic geometry and mixed Hodge theory; it introduces one new defined class of singularities whose independent evidence is the theorem itself.

axioms (1)
  • standard math Standard axioms and constructions of algebraic geometry, sheaf theory, and mixed Hodge structures on complex varieties
    The comparison of differential forms and the Hodge filtration rely on these established foundations.
invented entities (1)
  • quasi-rational singularity no independent evidence
    purpose: A normal singularity such that for all p the zeroth cohomology sheaf of the Du Bois p-forms complex equals the direct image of p-forms from a desingularization
    Newly defined in the paper to serve as an intermediate class between rational and Du Bois singularities.

pith-pipeline@v0.9.0 · 5618 in / 1432 out tokens · 34773 ms · 2026-05-23T19:22:08.734608+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Constructibility aspects of the cone conjecture

    math.AG 2026-04 unverdicted novelty 6.0

    For K-trivial varieties the automorphism group has finitely many orbits on fixed-volume ample divisor classes, and there are finitely many minimal models with bounded polarization; both statements are proved unconditi...

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Rel` evement de cycles alg´ ebriques et homomorphismes associ´ es en homologie d’intersection

    [Bar+95] G. Barthel, J.-P. Brasselet, K.-H. Fieseler, O. Gabber, and L. Kaup. “Rel` evement de cycles alg´ ebriques et homomorphismes associ´ es en homologie d’intersection”. In:Ann. of Math. (2) 141.1 (1995), pp. 147–179. issn: 0003-486X,1939-8980. doi: 10.2307/2118630 . url: https://doi.org/10.2307/2118630. [Del74] Pierre Deligne. “Th´ eorie de Hodge. I...

    work page doi:10.2307/2118630 1995

  2. [3]

    Higher Du Bois and higher rational singularities

    url: https://doi. org/10.1007/978-1-4612-5350-1 . [FL24] Robert Friedman and Radu Laza. “Higher Du Bois and higher rational singularities”. In: Duke Math. J. 173.10 (2024). Appendix by Morihiko Saito, pp. 1839–1881. issn: 0012- 7094,1547-7398. doi: 10.1215/00127094-2023-0051 . url: https://doi.org/10.1215/ 00127094-2023-0051. [Gre+11] Daniel Greb, Stefan ...

    work page doi:10.1007/978-1-4612-5350-1 2024

  3. [4]

    Springer-Verlag, Berlin, 1988, pp. xii+192. isbn: 3-540-50023-5. doi: 10.1007/BFb0085054. url: https://doi.org/10. 1007/BFb0085054. [Har66] Robin Hartshorne. Residues and duality . Lecture Notes in Mathematics, No

    work page doi:10.1007/bfb0085054 1988

  4. [5]

    Grothendieck, given at Harvard 1963/64, With an appendix by P

    Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64, With an appendix by P. Deligne. Springer-Verlag, Berlin-New York, 1966, pp. vii+423. [Har67] Robin Hartshorne. Local cohomology. Lecture Notes in Mathematics, No

    work page 1963

  5. [6]

    Springer-Verlag, Berlin-New York, 1967, pp. vi+106. REFERENCES 27 [Har70] Robin Hartshorne. Ample subvarieties of algebraic varieties. Lecture Notes in Mathematics, Vol

    work page 1967

  6. [7]

    Vanishing of local cohomology with applications to Hodge theory

    Notes written in collaboration with C. Musili. Springer-Verlag, Berlin-New York, 1970, pp. xiv+256. [Hia25] Scott Hiatt. “Vanishing of local cohomology with applications to Hodge theory”. In: J. Algebra 661 (2025), pp. 160–192. issn: 0021-8693,1090-266X. doi: 10.1016/j.jalgebra. 2024.07.036. url: https://doi.org/10.1016/j.jalgebra.2024.07.036. [HJ14] Anne...

    work page doi:10.1016/j.jalgebra 1970

  7. [8]

    Resolution of Singularities -- Seattle Lecture

    arXiv: math / 0508332 [math.AG]. url: https://arxiv.org/abs/math/0508332. [Kov99] S´ andor J. Kov´ acs. “Rational, log canonical, Du Bois singularities: on the conjectures of Koll´ ar and Steenbrink”. In:Compositio Math. 118.2 (1999), pp. 123–133. issn: 0010-437X. doi: 10.1023/A:1001120909269. url: https://doi.org/10.1023/A:1001120909269. [KS16] S´ andor ...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1023/a:1001120909269 1999

  8. [9]

    Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities

    doi: 10.2969/ aspm/07010049. url: https://doi.org/10.2969/aspm/07010049. [KS21] Stefan Kebekus and Christian Schnell. “Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities”. In: J. Amer. Math. Soc. 34.2 (2021), pp. 315–368. issn: 0894-0347. doi: 10.1090/jams/962 . url: https://doi.org/ 10.1090/jams/962. [L...

    work page doi:10.2969/aspm/07010049 2021

  9. [10]

    Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1975, pp. 187–230. [Max19] Laurent ¸iu G. Maxim. Intersection homology & perverse sheaves—with applications to sin- gularities. Vol

    work page 1975

  10. [11]

    ©2019, pp. xv+270. isbn: 978-3-030-27643-0; 978-3-030-27644-7. doi: 10 . 1007 / 978 - 3 - 030 - 27644-

    work page 2019

  11. [12]

    In: Proc

    url: https://doi- org.ezproxy.lib.purdue.edu/10.1007/978- 3- 030- 27644-7. [MP22] Mircea Mustat ¸˘ a and Mihnea Popa. “Hodge filtration on local cohomology, Du Bois complex and local cohomological dimension”. In:Forum Math. Pi 10 (2022), Paper No. e22, 58.issn: 2050-5086. doi: 10.1017/fmp.2022.15. url: https://doi.org/10.1017/fmp.2022.15. [Mus+23] Mircea ...

    work page doi:10.1007/978- 2022

  12. [13]

    [Par24] Sung Gi Park

    url: https://doi.org/10.1215/00127094-2022-0074. [Par24] Sung Gi Park. Du Bois complex and extension of forms beyond rational singularities

    work page doi:10.1215/00127094-2022-0074 2022

  13. [14]

    url: https://arxiv.org/abs/2311.15159

    arXiv: 2311.15159 [math.AG]. url: https://arxiv.org/abs/2311.15159. [PP24] Sung Gi Park and Mihnea Popa. Lefschetz theorems, Q-factoriality, and Hodge symmetry for singular varieties

    work page arXiv

  14. [15]

    url: https://arxiv.org/ abs/2410.15638

    arXiv: 2410.15638 [math.AG] . url: https://arxiv.org/ abs/2410.15638. [PSV24] Mihnea Popa, Wanchun Shen, and Anh Duc Vo. Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities

    work page arXiv

  15. [16]

    Mixed Hodge complexes on algebraic varieties

    arXiv: 2409 . 18019 [math.AG]. url: https : //arxiv.org/abs/2409.18019. [Sai00] Morihiko Saito. “Mixed Hodge complexes on algebraic varieties”. In: Math. Ann. 316.2 (2000), pp. 283–331. issn: 0025-5831,1432-1807. doi: 10 . 1007 / s002080050014. url: https://doi.org/10.1007/s002080050014. 28 REFERENCES [Sai88] Morihiko Saito. “Modules de Hodge polarisables...

    work page doi:10.1007/s002080050014 2000

  16. [17]

    An overview of Morihiko Saito’s theory of mixed Hodge modules

    Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1991, pp. 509–517. [Sch19] Christian Schnell. “An overview of Morihiko Saito’s theory of mixed Hodge modules”. In: Representation theory, automorphic forms & complex geometry . Int. Press, Somerville, MA,

    work page 1991

  17. [18]

    Analytic sheaves of local cohomology

    ©2019, pp. 27–80. [Siu70] Yum-tong Siu. “Analytic sheaves of local cohomology”. In: Trans. Amer. Math. Soc. 148 (1970), pp. 347–366. issn: 0002-9947. doi: 10.2307/1995376 . url: https://doi.org/ 10.2307/1995376. [Sta24] The Stacks project authors. The Stacks project . https://stacks.math.columbia.edu

    work page doi:10.2307/1995376 2019

  18. [19]

    Vanishing theorems on singular spaces

    Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 1983, pp. 513–536. isbn: 0-8218-1466-4. doi: 10.1090/pspum/ 040.2/713277. url: https://doi.org/10.1090/pspum/040.2/713277. [Ste85] J. H. M. Steenbrink. “Vanishing theorems on singular spaces”. In:

    work page doi:10.1090/pspum/ 1983

  19. [20]

    1985, pp

    Differential systems and singularities (Luminy, 1983). 1985, pp. 330–341. [SVV23] Wanchun Shen, Sridhar Venkatesh, and Anh Duc Vo. On k-Du Bois and k-rational singu- larities

    work page 1983

  20. [21]

    url: https://arxiv.org/abs/2306.03977

    arXiv: 2306.03977 [math.AG]. url: https://arxiv.org/abs/2306.03977. [Tig24] Benjamin Tighe. The Holomorphic Extension Property for Higher Du Bois Singularities

    work page arXiv

  21. [22]

    A morphism of intersection homology induced by an algebraic map

    arXiv: 2312.01245 [math.AG]. url: https://arxiv.org/abs/2312.01245. [Web99] Andrzej Weber. “A morphism of intersection homology induced by an algebraic map”. In: Proc. Amer. Math. Soc. 127.12 (1999), pp. 3513–3516. issn: 0002-9939,1088-6826. doi: 10.1090/S0002-9939-99-05081-9 . url: https://doi.org/10.1090/S0002-9939-99- 05081-9. Department of Mathematics...

    work page doi:10.1090/s0002-9939-99-05081-9 1999