A Hodge Theoretic generalization of $\mathbb{Q}$-Homology Manifolds I: General Case

Bradley Dirks; Debaditya Raychaudhury; Sebastian Olano

REVIEW 3 major objections 4 minor 3 cited by

A Hodge Theoretic generalization of $\mathbb{Q}$-Homology Manifolds I: General Case

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A new invariant HRH(Z) measures how far a singular variety is from a rational homology manifold, and the paper proves it is detected by filtered local cohomology at each point.

desk verdict A solid, useful paper that gives new characterizations and examples for an invariant equivalent to Park-Popa's condition (*)_k; the main caveat is that the advertised Du Bois interpretation depends on an unpublished Saito result. read the letter →

arxiv 2501.14065 v2 pith:QK5Y2ZWF submitted 2025-01-23 math.AG

Bradley Dirks , Sebastian Olano , Debaditya Raychaudhury This is my paper · ORCID

classification math.AG MSC 14B0514F1032S35

keywords HodgerationalhomologylevelmanifoldsmixedmodulesDuBoissingularitieslocalcohomologyPoincarédualitycompleteintersectionsBernstein-Satopolynomial

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper defines HRH(Z), the Hodge rational homology level of a pure-dimensional complex variety Z, which measures how many Hodge-filtered pieces of the Poincaré duality morphism are isomorphisms. HRH(Z)=∞ recovers the classical notion of a rational homology manifold, while finite values quantify the gap between higher Du Bois and higher rational singularities. The central result is that HRH(Z)≥k can be checked locally: in the embedded setting it is equivalent to vanishing and equality conditions on the filtered local cohomology modules of the ambient structure sheaf, and pointwise it is equivalent to the filtered local cohomology of Z at each point, hence to data on the cohomology of the link. From this the authors derive partial Poincaré duality isomorphisms, a bound on the locus where Z fails to be a rational homology manifold, and, for local complete intersections, comparisons with the minimal exponent, the integral spectrum, and Bernstein–Sato roots.

What carries the argument

The central object is the Hodge-theoretic Poincaré duality morphism ψ_Z: Q^H_Z[d] → D_Z(Q^H_Z[d])(−d) in the derived category of mixed Hodge modules on Z, together with its associated graded de Rham functor. Applying Gr^F_{−p}DR_Z turns ψ_Z into morphisms φ_p between Du Bois complexes and their Grothendieck duals, so the invariant HRH(Z) counts how many of these φ_p are quasi-isomorphisms. The identification Ω^p_Z[d−p] ≅ Gr^F_{−p}DR_Z(Q^H_Z[d]) is the bridge that lets local cohomology mixed Hodge modules, V-filtrations, and link cohomology compute HRH(Z).

What would settle it

Take an affine cone Z over a smooth projective variety X with an ample line bundle L, choose k where the paper's Proposition 13.1 says HRH(Z)<k because the cup product $H^{{k-1}}$($Ω^{{k-1}}$_X) → H^k(Ω^k_X) fails to be an isomorphism, and compute F_{k-d}H^i_{\{v\}}(Z) at the cone vertex. The claim is that these groups vanish except for i=2d, where the piece is Q; observing otherwise would falsify Theorem 6.5.

Watch

Extended reading notes

Core claim

The paper's central claim is that the correct Hodge-theoretic generalization of a rational homology manifold is the condition that the morphisms φ_p: Ω^p_Z → D_Z($Ω^{{d-p}}$_Z)[-d] obtained from the Poincaré duality morphism ψ_Z are quasi-isomorphisms for all p≤k, and that this condition is computable from filtered local cohomology. Theorem B states that for a closed embedding of a pure c-codimensional variety Z in a smooth n-dimensional X, HRH(Z)≥k if and only if F_{k-n}H^j_Z(O_X)=0 for all j>c and F_{k-n}W_{n+c}H^c_Z(O_X)=F_{k-n}H^c_Z(O_X). Theorem 6.5 sharpens this to points: HRH(Z)≥k if and only if for every x∈Z, F_{k-d}H^i_{\{x\}}(Z)=0 for i<2d and F_{k-d}$H^{{2d}}$_{\{x\}}(Z)=Q. A rational homology manifold is exactly the case HRH(Z)=∞, and when HRH(Z)<∞ it is bounded above by (d−3)/2. For local complete intersections, the paper shows HRH(Z) is controlled by the V-filtration: for hypersurfaces HRH(Z)=p($Gr^{0}$_V(B_f))+n−2, and in general inequalities relate HRH(Z) to the integer invariants p(Q_Z,F), Sp_{min,Z}(Z,x), and the reduced Bernstein–Sato polynomial.

Load-bearing premise

The paper's load-bearing premise is that the p-th Du Bois complex of Z, a Hodge-theoretic replacement for Kähler differentials, is identified with the (−p)-th graded piece of the de Rham functor of the trivial Hodge module; if that identification fails for some reduced variety, the invariant HRH(Z) no longer tracks Du Bois singularities and the main characterizations collapse.

Editorial extensions

If this is right

If HRH(Z)=∞ recovers rational homology manifolds, then every rational homology manifold satisfies all the partial Poincaré duality isomorphisms, and every non-rational one has HRH(Z) ≤ (d−3)/2.
Varieties with HRH(Z)≥k admit filtered Poincaré duality isomorphisms F_{d−k}H^{d−i}(Z) ≅ F^{−k}H^{d+i}_c(Z)^∨ for all i.
HRH(Z)≥0 forces the variety to be irreducible at each point and bounds the codimension of the non-rational-homology-manifold locus from below by 2HRH(Z)+3, an inequality sharpened by the new generic local cohomological defect lcdef_gen(Z).
Higher rational singularities imply HRH(Z)≥k; for local complete intersections, HRH(Z)≥k separates k-Du Bois from k-rational behavior, and in the hypersurface case HRH is exactly computable from the V-filtration.
For local complete intersections, HRH(Z) is bounded below by integer invariants attached to the specialization module Q_Z and the integral spectrum, and at isolated hypersurface singularities HRH(Z)=Sp_{min,Z}(Z,x)−2.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: because Theorem B expresses HRH in terms of filtered local cohomology modules, the invariant is in principle computable by D-module algorithms whenever the V-filtration on those modules can be computed, making HRH a practical singularity detector.
Editorial inference: the pointwise reformulation suggests a Hodge-filtered analogue of the known irreducibility criterion for rational homology manifolds, and one might expect HRH_x(Z)≥k to control low-degree Betti numbers of the link beyond the range stated in Theorem F.
Editorial inference: the inequality lcdef_gen(Z)+2HRH(Z)+3≤codim_Z(Z_{nRS}) could serve as a test for whether known classes of singularities, such as secant varieties or finite group quotients, achieve the sharp codimension bound; the paper computes equality in several determinantal examples.
Editorial inference: the relation to weighted Hodge ideals in Corollary 5.4 suggests that HRH of hypersurfaces can be probed by multiplier-ideal-type computations, potentially extending known minimal-exponent bounds to non-isolated hypersurface singularities.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The core invariant HRH(Z) is not new — it is condition (*)_k from Park-Popa, and the authors say so in Remark 5.2. What is new are the characterizations: Theorem B gives an embedded local cohomology criterion, Theorem D gives a pointwise criterion via H^*_{x}(Z), Theorem E/F connect to link invariants, and Theorem G introduces lcdef_gen and improves the PP24 codimension bound. The LCI section (Theorems H–K) gives several integer invariants and inequalities, and the examples — cones, determinantal varieties, Thom–Sebastiani, liminal — are genuinely useful. The paper is well-written, the proofs are detailed, and the comparison with PP24 is honest.

The main soft spot is the identification of the Du Bois complex with the associated graded de Rham functor applied to Q^H_Z[d], attributed to Saito's unpublished preprint [Sai99]. The abstract and intro sell HRH as encoding the Du Bois/rational gap, and that interpretation depends on this identification. The formal Definition 4.3 and the proofs of Theorems B, D, E, G work directly with the Hodge-theoretic morphism ψ_Z, so they do not rely on [Sai99]. But the advertised geometric meaning does. If [Sai99] fails for some reduced non-normal or non-CM varieties, the invariant in the main theorems is still well-defined, but it is not the Du Bois-theoretic one advertised. This is worth flagging to a referee, but it is a known result in the field, so I would not treat it as fatal. A second concern is that several technical inputs are from arXiv preprints by the same authors ([Dir23], [CDM22], [Ola23]). That is common in this area, but it does mean some parts need same-group verification.

The stress-test note is on point but I would temper it: the main theorems are about ψ_Z, and the [Sai99] issue only affects the interpretation, not the internal logic. The reader's CONDITIONAL verdict and low confidence are fair, though I would give slightly more credit to the examples and the lcdef_gen result.

Who is this for? People working on higher Du Bois/rational singularities, local cohomology, and mixed Hodge modules. They will get real value from the characterizations and the computations. It deserves a serious referee, ideally a specialist in Saito's theory who can verify the use of [Sai99] and the same-author preprints. I would accept it for peer review.

Referee Report

3 major / 4 minor

Summary. The paper introduces an invariant HRH(Z), the Hodge rational homology level, defined by requiring that the graded de Rham pieces of Saito's Poincaré duality morphism ψ_Z be quasi-isomorphisms up to Hodge degree k. In the introduction this is equivalently phrased through the morphisms φ_p between Du Bois complexes, and the authors claim the invariant encodes the difference between higher Du Bois and higher rational singularities for local complete intersections. The main results are: an embedded characterization via filtered local cohomology mixed Hodge modules (Theorem B), pointwise characterizations via local cohomology and link invariants (Theorems D, E, F), a partial Poincaré duality statement (Theorem A), a bound involving a new generic local cohomological defect lcdef_gen(Z) (Theorem G), and a series of results in the local complete intersection case relating HRH to the V-filtration, the unipotent specialization quotient Q_Z, spectral numbers, and Bernstein-Sato polynomials (Theorems H--K, Corollary L). The paper closes with extensive examples: affine cones, toric varieties, secant varieties, determinantal varieties, Thom-Sebastiani examples, and liminal singularities.

Significance. If the main characterizations are correct, HRH(Z) is a local, computable invariant that gives a Hodge-theoretic refinement of rational homology manifolds and interfaces with the recently studied higher Du Bois and higher rational singularity classes. The paper contains substantial explicit computations, particularly for determinantal varieties, and proposes a concrete improvement of the codimension bound of Park--Popa via lcdef_gen(Z). The conjectural statement about Bernstein-Sato polynomials (Conjecture 11.20) and the worked examples are useful and falsifiable. The significance is conditional, however, on two external foundations: the identification of the de Rham graded pieces of the trivial Hodge module with Du Bois complexes is cited to the unpublished preprint [Sai99], and several structural results are imported from the arXiv preprint [PP24] via the equivalence in Remark 5.2.

major comments (3)

[Section 3, Remark 4.4, Definition 0.1] The identification Ω^p_Z[d-p] ≅ Gr^F_{-p}DR_Z(Q^H_Z[d]) is invoked from the unpublished preprint [Sai99] and is load-bearing for the advertised interpretation of HRH as measuring the Du Bois/rational gap. If this quasi-isomorphism fails for some reduced pure-dimensional varieties (for instance non-normal or non-Cohen-Macaulay ones), then Definition 0.1 and the statements of Theorems B, D, E, and G do not concern the Du Bois-theoretic invariant the abstract describes. Please include a proof or a precise published reference for this identification, or add an explicit hypothesis under which it is known; otherwise the geometric meaning of HRH is not established.
[Definition 4.3 vs. §5 and proof of Theorem B] The definition of HRH in Definition 4.3 checks Gr^F_{-p}DR_Z(ψ_Z) for p ≤ k, i.e. high Hodge filtration pieces. In contrast, §5 and the proof of Theorem B check Gr^F_{p-d}DR_X(i_*ψ_Z) for p ≤ k and then invoke Corollary 1.7 to conclude that HRH(Z) ≥ k is equivalent to F_{k-d}i_*ψ_Z being a quasi-isomorphism. These two conditions are not equivalent as written: Corollary 1.7 with F_{k-d} would require the pieces Gr^F_ℓ for ℓ ≤ k-d, which are low filtration pieces, while Definition 4.3 uses the pieces with index -p for p ≤ k. The target indices d-p and p-d are also opposite. This discrepancy affects Theorem B and Theorem H, both of which use the §5 convention. Please reconcile the definition with the proof, or state explicitly that Definition 4.3 uses the opposite Hodge-filtration convention.
[Proof of Proposition 8.5] The proof of Proposition 8.5 uses the inequality HRH_x(Z) ≤ HRH_x(Z∩T_α) for a normal slice T_α without proof or citation. This inequality is not a formal consequence of Lemma 6.10, since the normal slice embedding is not a smooth morphism. If it is intended to follow from repeated general hyperplane sections via Remark 4.8(2), that argument should be supplied, because Proposition 8.5 is the basis for Theorem G.

minor comments (4)

[Introduction and outline] The introduction says the generic local cohomological defect lcdef_gen(Z) is introduced in §5, but Definition 8.1 is in §8; the outline also assigns Theorem G (= Proposition 8.5) to §5 and then again to §8. Please correct these cross-references.
[Corollary 5.4] The proof of Corollary 5.4 says the assertion is immediate from [Ola23, (6.1)], but the Hodge-filtration shifts connecting F_{p-n}Gr^W_{n+l}H^1_D(O_X) to the weighted Hodge ideals are not shown. A short explicit derivation would improve readability.
[Example 11.21] The Macaulay2 computation in Example 11.21 is cited as evidence for the Bernstein-Sato polynomial identity, but the input and output are not included. Please provide the exact code or a reproducible verification, since this example is used to illustrate the dichotomy in Conjecture 11.20.
[References] Several load-bearing references are arXiv preprints, including [Sai99], [PP24], [Dir23], and [CDM22]. For the final version, please indicate the publication status of each and, where possible, cite the published version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main HRH characterizations are derived in-paper from the Hodge-module duality morphism; the Du Bois comparison via [Sai99] is an external theorem, and self-citations are technical rather than premise-defining.

full rationale

The central derivation chain is self-contained once Saito's mixed Hodge module theory is accepted. Definition 4.3 defines HRH directly via Gr^F_{-p}DR_Z(ψ_Z); Theorem B is then proved by identifying i_*ψ_Z with i_*i^!(Q^H_X[n])[c](c) and applying strictness and weight arguments, not by assuming the local-cohomology conclusion. Theorem 6.5 derives the pointwise local-cohomology characterization from Lemma 1.10 and the cone triangle of ψ_Z. The Du Bois interpretation in the introduction and Remark 4.4 uses the quasi-isomorphism Ω^p_Z[d-p] ≅ Gr^F_{-p}DR_Z(Q^H_Z[d]) cited to Saito [Sai99]; although that preprint is unpublished and load-bearing for the geometric meaning, it is an external citation, not a self-citation or a fitted input, and the Hodge-theoretic theorems do not reduce to it. Self-citations such as [Dir23], [CDM22], and [Ola23] provide technical lemmas (V-filtration acyclicity, microlocalization comparisons, weighted Hodge ideals) and are not used to assert HRH itself. The equivalence with the (*)_k condition of [PP24] is explicitly noted and proved in Remark 5.2. No parameter is fitted and renamed as a prediction. Hence there is no circular step.

Assumptions & free parameters 0 free parameters · 3 assumptions · 2 invented entities

The central claims rest on Saito's mixed Hodge module theory and the identification of Du Bois complexes with graded de Rham complexes. No free parameters are fitted to data. The LCI results additionally depend on arXiv preprints and published results of the authors and collaborators, which are used as external inputs rather than as the target conclusion.

assumptions (3)

standard math Saito's theory of mixed Hodge modules exists, including the six-functor formalism, strictness, V-filtration, and the duality morphism ψ_Z of [Sai90, (4.5.12)].
Used throughout the paper; without this theory the invariant HRH(Z) is not defined.
domain assumption The Du Bois complex Ω^p_Z is identified with the graded de Rham of the trivial Hodge module via Ω^p_Z[d-p] ≅ Gr^F_{-p} DR_Z(Q^H_Z[d]) [Sai99].
This bridges Hodge modules and Du Bois complexes, converting Hodge filtrations into statements about Kähler differentials. Failure of this quasi-isomorphism would sever the connection between HRH(Z) and singularity theory. Invoked in Section 3 and Remark 4.4.
domain assumption For local complete intersections, the Verdier specialization and Fourier-Laplace transform comparisons of [CD23, CDS23, Dir23] are valid, in particular the short exact sequence 0 → L → Sp(B_f)_Z → Q_Z → 0 and its identification with the duality morphism.
The LCI results of Sections 10 and 11, including Theorems I, K and Corollary L, rely on these comparisons coming from prior work by the authors and collaborators.

invented entities (2)

Hodge rational homology level HRH(Z) independent evidence
purpose: Measures the maximal Hodge degree k for which the natural duality morphism ψ_Z is a quasi-isomorphism in low degrees, generalizing Q-homology manifolds.
It is characterized by local cohomology and link cohomology conditions, and computed in many examples including affine cones, toric varieties, and determinantal varieties, giving checkable predictions.
Unipotent specialization quotient Q_Z independent evidence
purpose: Cokernel of the inclusion L into the unipotent Verdier specialization of O_X along a complete intersection Z; captures the failure of rational smoothness in LCI cases.
Its vanishing is equivalent to V(g|_U) being a rational homology manifold, testable via Bernstein-Sato polynomials, with an explicit example where Q_Z is non-zero but Z is a rational homology manifold (Example 16.2).

how reviews work

0 comments

Cite this review

Pith. "Pith review of A Hodge Theoretic generalization of $\mathbb{Q}$-Homology Manifolds I: General Case." pith.science (2026). https://pith.science/paper/QK5Y2ZWF

@misc{pith2026250114065,
  author       = {Pith},
  title        = {Pith review of: A Hodge Theoretic generalization of $\mathbbQ$-Homology Manifolds I: General Case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QK5Y2ZWF}},
  note         = {Machine review of arXiv:2501.14065}
}

abstract

We study a natural Hodge-theoretic generalization of rational (or $\mathbb{Q}$-)homology manifolds through an invariant $\HRH(Z)$ attached to a complex algebraic variety $Z$. The defining property of this notion encodes the difference between higher Du Bois and higher rational singularities for local complete intersections, which are two classes of singularities that have recently gained much attention. We show that $\HRH(Z)$ can be characterized when the variety $Z$ is embedded into a smooth variety using the local cohomology mixed Hodge modules. Near a point, this is also characterized by the local cohomology of $Z$ at the point, and hence, by the cohomology of the link. We give an application to partial Poincar\'{e} duality. We also introduce the generic local cohomological defect ${\rm lcdef}_{\textrm{gen}}(Z)$ and relate it to $\HRH(Z)$. Various examples are discussed at the end.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

Negative $K$-theory and Hodge theory
math.AG 2026-07 unverdicted novelty 7.0 of 10

Negative K-groups of complex varieties are analyzed via mixed Hodge theory, higher singularities, Chow groups, and the Minimal Model Program.
Lefschetz morphisms on singular cohomology and local cohomological dimension of toric varieties
math.AG 2025-06 conditional novelty 7.0 of 10

The local cohomological defect of an affine toric variety is characterized by Lefschetz cup-product maps on a projective toric variety of one dimension lower, which shows it is not a combinatorial invariant and allows...
Hirzebruch-Milnor classes of local complete intersections, minimal exponent, and applications to higher singularities
math.AG 2025-02 conditional novelty 7.0 of 10

For lci subvarieties of a smooth variety, spectral Hirzebruch-Milnor classes vanish between bounds set by the minimal exponent, yielding homological criteria for higher singularities.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages · cited by 3 Pith papers

[28]

MR4603110 ↑3, 25, 26, 35 [ORS24] Sebasti´ an Olano, Debaditya Raychaudhury, and Lei Song, Singularities of secant varieties from a Hodge theoretic perspective, Proc. Lond. Math. Soc. (3) 129 (2024), no. 4, Paper No. e12635, 34. MR4805266 ↑19, 52 [Par23] Sung Gi Park, Du Bois complex and extension of forms beyond rational singu larities, arXiv e-prints (No...

arXiv 2024
[365]

Sigma 11 (2023), Paper No

↑27 [Ola23] Sebasti´ an Olano,Weighted Hodge ideals of reduced divisors , Forum Math. Sigma 11 (2023), Paper No. e51,

work page 2023
[450]

Multiplicative Thom-Sebastiani for Bernstein-Sato polynomials

↑27 [HTT08] Ryoshi Hotta, Kiyoshi Takeuchi, and Toshiyuki Tani saki, D-modules, perverse sheaves, and representation theory, Progress in Mathematics, vol. 236, Birkh¨ auser Boston, In c., Boston, MA, 2008. Translated from the 1995 Japanese edition by Takeuchi. MR2357361 ↑8 [JKSY22] Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, and Yo ungho Yoon, Higher Du B...

work page Pith review arXiv 2022

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [28]

MR4603110 ↑3, 25, 26, 35 [ORS24] Sebasti´ an Olano, Debaditya Raychaudhury, and Lei Song, Singularities of secant varieties from a Hodge theoretic perspective, Proc. Lond. Math. Soc. (3) 129 (2024), no. 4, Paper No. e12635, 34. MR4805266 ↑19, 52 [Par23] Sung Gi Park, Du Bois complex and extension of forms beyond rational singu larities, arXiv e-prints (No...

arXiv 2024

[2] [365]

Sigma 11 (2023), Paper No

↑27 [Ola23] Sebasti´ an Olano,Weighted Hodge ideals of reduced divisors , Forum Math. Sigma 11 (2023), Paper No. e51,

work page 2023

[3] [450]

Multiplicative Thom-Sebastiani for Bernstein-Sato polynomials

↑27 [HTT08] Ryoshi Hotta, Kiyoshi Takeuchi, and Toshiyuki Tani saki, D-modules, perverse sheaves, and representation theory, Progress in Mathematics, vol. 236, Birkh¨ auser Boston, In c., Boston, MA, 2008. Translated from the 1995 Japanese edition by Takeuchi. MR2357361 ↑8 [JKSY22] Seung-Jo Jung, In-Kyun Kim, Morihiko Saito, and Yo ungho Yoon, Higher Du B...

work page Pith review arXiv 2022