arxiv: 2604.05367 · v2 · submitted 2026-04-07 · 🧮 math.AG · math.CT

Recognition: no theorem link

Mixed Hodge Modules and Canonical Perverse Extensions for Multi-Node Conifold Degenerations

Abdul Rahman

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:51 UTC · model grok-4.3

classification 🧮 math.AG math.CT

keywords mixed Hodge modulesconifold degenerationsperverse sheavesordinary double pointsnearby cyclesintersection cohomologygluing formalism

0 comments

The pith

A mixed Hodge module refines the corrected perverse object for multi-node conifold degenerations.

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

The paper studies one-parameter degenerations of conifolds whose central fiber has finitely many ordinary double points. It constructs local rank-one mixed Hodge modules supported at each node and assembles them into a global object P^H on the central fiber using Saito's divisor-case gluing formalism. P^H is shown to realize the canonical corrected perverse object associated to the degeneration. The construction yields an exact sequence that isolates the intersection cohomology contribution from the node-supported terms and identifies the quotient with the finite local vanishing sector in the nearby-cycle formalism. The same mixed Hodge module extension induces a corresponding extension on hypercohomology that carries the limiting mixed Hodge structure.

Core claim

In the setting of one-parameter conifold degenerations with a central fiber having finitely many ordinary double points, a mixed Hodge module P^H is constructed by assembling rank-one point-supported mixed Hodge modules at each node using Saito's divisor-case gluing formalism. This P^H realizes the corrected perverse object, satisfies the exact sequence 0 to IC^H_{X_0} to P^H to the sum over nodes of i_{k*} Q^H_{p_k}(-1) to 0, and the quotient corresponds to the finite local vanishing sector in the nearby-cycle formalism. The mixed Hodge module extension further induces an extension on hypercohomology carrying the limiting mixed Hodge structure.

What carries the argument

The global mixed Hodge module P^H on the central fiber X_0, assembled from local rank-one point-supported mixed Hodge modules at the nodes via Saito's gluing formalism.

If this is right

P^H realizes the corrected perverse object associated with the degeneration.
P^H fits into the exact sequence 0 to IC^H_{X_0} to P^H to the direct sum over nodes of i_{k*} Q^H_{p_k}(-1) to 0.
The quotient in this sequence realizes the finite local vanishing sector in the nearby-cycle formalism.
The mixed Hodge module extension induces an extension on hypercohomology that carries the limiting mixed Hodge structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The gluing construction could be checked computationally in low-node examples to confirm the sequence splits as expected.
The Hodge refinement may provide a route to track weight filtrations explicitly when computing limiting mixed Hodge structures for nodal degenerations.
The local-to-global assembly pattern might generalize to other isolated singularities if the underlying gluing data can be defined without new obstructions.

Load-bearing premise

Saito's divisor-case gluing formalism applies directly to assemble the local rank-one mixed Hodge modules at the nodes into a global object on the central fiber X_0 without additional obstructions.

What would settle it

An explicit computation of the perverse object or hypercohomology for a concrete multi-node conifold degeneration where the constructed P^H fails to satisfy the exact sequence or match the corrected perverse sheaf.

read the original abstract

We study one-parameter conifold degenerations whose central fiber has finitely many ordinary double points and construct a mixed-Hodge-module refinement of the canonical corrected perverse object associated with the degeneration. We build a rank-one point-supported mixed-Hodge-module block at each node, identify the global singular quotient as $\bigoplus_{k=1}^r i_{k*}\Q^H_{\{p_k\}}(-1)$, and assemble these local blocks via Saito's divisor-case gluing formalism into a global object $\mathcal P^H \in MHM(X_0)$. We prove that $\mathcal P^H$ realizes the corrected perverse object, fits into an exact sequence $0 \to IC^H_{X_0} \to \mathcal P^H \to \bigoplus_{k=1}^r i_{k*}\Q^H_{\{p_k\}}(-1) \to 0$, and that the same quotient realizes the finite local vanishing sector in the nearby-cycle formalism. We further relate the mixed-Hodge-module extension, its realized perverse extension, and the induced extension on hypercohomology carrying the limiting mixed Hodge structure. This gives a theorem-level Hodge-theoretic refinement of the corrected perverse extension in the finite multi-node ordinary double point setting.

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.

Desk Editor's Note private letter to a colleague

The paper extends single-node MHM refinements to the finite multi-node conifold case with an explicit exact sequence and vanishing-cycle link, but the gluing step from local point supports needs verification.

read the letter

This paper builds a mixed Hodge module refinement of the corrected perverse object for one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. It constructs rank-one point-supported MHM blocks at each node, assembles them into a global P^H on X_0, and shows this object sits in the short exact sequence 0 to IC^H to P^H to the direct sum of the point-supported modules, while also realizing the finite local vanishing sector via nearby cycles. It further ties the construction to the induced extension on hypercohomology and the limiting mixed Hodge structure. That multi-node assembly and the precise sequence are the concrete new pieces not in the single-node literature cited in the abstract. The write-up states the claims cleanly and positions the result as a Hodge-theoretic sharpening of the corrected perverse extension. The main soft spot is the gluing step. Saito's standard formalism works along divisors, yet here the supports are isolated points on a singular central fiber, so any adaptation must confirm that no extra Ext^1 obstructions arise from the global geometry or from node interactions. The abstract asserts the proofs exist, but without the derivation details it is impossible to check whether the gluing produces exactly the claimed quotient or whether the MHM axioms hold after assembly. The construction stays within established Saito and nearby-cycle machinery and does not appear circular on its own terms. This is for specialists already working with mixed Hodge modules, perverse sheaves, and degenerations in algebraic geometry. A reader in that niche would find the explicit multi-node sequence and vanishing-sector identification useful. The paper deserves a serious referee to examine the gluing justification and the exactness proof in the full text. I would send it to peer review.

Referee Report

1 major / 2 minor

Summary. The paper constructs a mixed Hodge module refinement P^H of the canonical corrected perverse object for one-parameter conifold degenerations whose central fiber X_0 has finitely many ordinary double points. Local rank-one point-supported mixed Hodge modules are built at each node p_k; these are assembled via Saito's divisor-case gluing into a global object P^H in MHM(X_0). The manuscript proves that P^H realizes the corrected perverse object, sits in the short exact sequence 0 → IC^H_{X_0} → P^H → ⊕_{k=1}^r i_{k*} Q^H_{{p_k}}(-1) → 0, and that the quotient identifies with the finite local vanishing sector in the nearby-cycle formalism. It further relates the MHM extension to the realized perverse extension and the induced extension on hypercohomology carrying the limiting mixed Hodge structure.

Significance. If the gluing construction and identifications are valid, the result supplies a theorem-level Hodge-theoretic refinement of the corrected perverse extension in the finite multi-node ordinary double point setting. This strengthens the link between mixed Hodge modules, perverse sheaves, and vanishing cycles for conifold degenerations, offering a concrete tool for computing these objects and their hypercohomology in this geometrically important case. The explicit exact sequence and nearby-cycle identification are potentially useful for further work on degenerations and limiting Hodge structures.

major comments (1)

[gluing and global assembly (following local block construction)] The central construction invokes Saito's divisor-case gluing formalism to assemble the local rank-one point-supported MHM blocks at the isolated nodes p_k into the global P^H on the singular central fiber X_0 (see the assembly step following the local block construction and the proof of the exact sequence). Standard Saito gluing applies to smooth divisors with complement U; the nodes are 0-dimensional, so the adaptation requires explicit verification that no global Ext^1_{MHM(X_0)}(IC^H_{X_0}, ⊕ i_{k*} Q^H_{p_k}(-1)) obstruction classes arise from the geometry of X_0 or from interactions among the multiple nodes. Without this verification the existence of P^H and the claimed short exact sequence are not established.

minor comments (2)

[introduction of local blocks] Notation for the point-supported modules (i_{k*} Q^H_{{p_k}}(-1)) and the global singular quotient should be introduced with a brief reminder of the underlying perverse sheaf before the MHM lift is discussed.
[final relation paragraph] The relation between the MHM extension, the realized perverse extension, and the hypercohomology extension is stated at the end; a short diagram or explicit functor diagram would clarify the three levels.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The single major comment concerns the adaptation of Saito gluing to the 0-dimensional nodes; we address it directly below and will incorporate the requested verification.

read point-by-point responses

Referee: The central construction invokes Saito's divisor-case gluing formalism to assemble the local rank-one point-supported MHM blocks at the isolated nodes p_k into the global P^H on the singular central fiber X_0 (see the assembly step following the local block construction and the proof of the exact sequence). Standard Saito gluing applies to smooth divisors with complement U; the nodes are 0-dimensional, so the adaptation requires explicit verification that no global Ext^1_{MHM(X_0)}(IC^H_{X_0}, ⊕ i_{k*} Q^H_{p_k}(-1)) obstruction classes arise from the geometry of X_0 or from interactions among the multiple nodes. Without this verification the existence of P^H and the claimed short exact sequence are not established.

Authors: We agree that the standard statement of Saito gluing is formulated for smooth divisors and that an explicit check is required when the support is 0-dimensional. In the revised manuscript we will add a new subsection immediately after the local-block construction. There we compute the relevant Ext^1 group in MHM(X_0) by using the fact that the nodes are isolated ordinary double points, the local blocks are rank-one and mutually disjoint, and the complement X_0 minus the nodes is smooth. The computation shows that this Ext^1 vanishes identically (it reduces to a direct sum of local vanishing Ext groups that are zero by the local construction), so the global extension P^H exists and the short exact sequence holds. This verification will be self-contained and will not rely on any additional assumptions beyond those already stated in the paper. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external Saito formalism and standard nearby-cycle theory without internal reduction

full rationale

The paper constructs local rank-one point-supported mixed Hodge modules at the nodes, invokes Saito's established divisor-case gluing formalism (external prior work) to assemble a global P^H on X_0, and then proves that this object realizes the corrected perverse extension and fits the claimed short exact sequence while matching the finite local vanishing sector. No step in the abstract or described chain reduces a claimed result to a quantity defined in terms of itself, a fitted parameter renamed as prediction, or a self-citation chain whose content is unverified within the paper. The central claims remain independent of the paper's own outputs and depend on external benchmarks, which is the expected non-circular case.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background in mixed Hodge modules, perverse sheaves, and Saito's gluing; the new content is the assembly of local blocks for this degeneration type. No free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Saito's divisor-case gluing formalism for mixed Hodge modules
Invoked to assemble the local rank-one blocks at the nodes into the global P^H.
domain assumption Standard properties of nearby cycles and vanishing cycles for conifold degenerations
Used to identify the quotient with the finite local vanishing sector.

pith-pipeline@v0.9.0 · 5517 in / 1356 out tokens · 65095 ms · 2026-05-10T19:51:52.310457+00:00 · methodology

discussion (0)

Forward citations

Cited by 6 Pith papers

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

From Finite-Node Conifold Geometry to BPS Structures I: Algebraic State Data
math.AG 2026-04 unverdicted novelty 7.0

Defines and proves multi-category compatibility of algebraic state data Q_Σ, E_Σ, c_Σ for finite-node conifold degenerations as the first algebraic layer toward BPS structures.
From Finite-Node Conifold Geometry to BPS Structures II: Functorial Incidence and Quiver Assembly
math.AG 2026-04 unverdicted novelty 6.0

From a finite-node schober datum the paper constructs the functorial incidence package and quiver assembly, proving it is canonically determined and invariant under equivalences.
Hodge Atoms at Conifold Degenerations: F-Bundles, Limiting Mixed Hodge Modules, and the Rigid-Flexible Decomposition
math.AG 2026-04 unverdicted novelty 6.0

Constructs a canonical rigid-flexible decomposition of Hodge atoms for conifold degenerations of Calabi-Yau threefolds, with the total atom fitting an exact sequence controlled by the intersection matrix of vanishing cycles.
From Finite-Node Conifold Geometry to BPS Structures III: Mediated Triangle Transport and Graded Interaction Data
math.AG 2026-05 unverdicted novelty 5.0

Mediated triangle transport yields graded interaction polynomials I_Σ^gr from conifold state data, extending binary support structures for BPS and stability theory.
Interacting Multi-Node Conifold Light Sectors
math.AG 2026-04 unverdicted novelty 5.0

Defines an interacting multi-node light-sector package for finite-node conifold degenerations of Calabi-Yau threefolds and proves a block-reduced structure theorem that isolates relation collapse and residual global s...
Cycle Relations and Global Gluing in Multi-Node Conifold Degenerations
math.AG 2026-04 unverdicted novelty 5.0

Cycle relations in multi-node conifold degenerations constrain perverse and mixed-Hodge extensions to an incidence-controlled subspace, yielding R_res = R_sm = R_ext = R_blk in block-separated families.

Reference graph

Works this paper leans on

17 extracted references · 9 canonical work pages · cited by 6 Pith papers · 1 internal anchor

[1]

Perverse Schober Structures for Conifold Degenerations

Abdul Rahman. “Perverse Schober Structures for Conifold Degenerations”. In:arXiv preprint arXiv:2604.00989(2026). arXiv: 2604.00989 [math.AG] .url: https://arxiv.org/abs/ 2604.00989

work page arXiv 2026
[2]

Perverse Extensions and Limiting Mixed Hodge Structures for Conifold Degenerations

Abdul Rahman. “Perverse Extensions and Limiting Mixed Hodge Structures for Conifold Degenerations”. In:arXiv preprint arXiv:2604.04355(2026). arXiv:2604.04355 [math.AG]. url:https://arxiv.org/abs/2604.04355

work page internal anchor Pith review Pith/arXiv arXiv 2026
[3]

Beilinson, Joseph Bernstein, and Pierre Deligne.Faisceaux pervers

Alexander A. Beilinson, Joseph Bernstein, and Pierre Deligne.Faisceaux pervers. Vol. 100. Astérisque. Société Mathématique de France, 1982

1982
[4]

Elementary Construction of Perverse Sheaves

Robert MacPherson and Kari Vilonen. “Elementary Construction of Perverse Sheaves”. In: Inventiones Mathematicae84.2 (1986), pp. 403–435.doi:10.1007/BF01388812

work page doi:10.1007/bf01388812 1986
[5]

Perverse Sheaves and Quivers

Sergei Gelfand, Robert MacPherson, and Kari Vilonen. “Perverse Sheaves and Quivers”. In: Duke Mathematical Journal83.3 (1996), pp. 621–643.doi:10.1215/S0012-7094-96-08319-2

work page doi:10.1215/s0012-7094-96-08319-2 1996
[6]

John Milnor.Singular Points of Complex Hypersurfaces. Vol. 61. Annals of Mathematics Studies. Princeton University Press, 1968

1968
[7]

Dimca , Sheaves in topology , Universitext, Springer-Verlag, Berlin, 2004

Alexandru Dimca.Sheaves in Topology. Universitext. Berlin: Springer-Verlag, 2004.isbn: 3-540-20665-5.doi:10.1007/978-3-642-18868-8

work page doi:10.1007/978-3-642-18868-8 2004
[8]

Mixed Hodge Modules

Morihiko Saito. “Mixed Hodge Modules”. In:Publications of the Research Institute for Mathe- matical Sciences26.2 (1990), pp. 221–333

1990
[9]

Duality for Vanishing Cycle Functors

Morihiko Saito. “Duality for Vanishing Cycle Functors”. In:Publications of the Research Institute for Mathematical Sciences25.6 (1989), pp. 889–921

1989
[10]

A Young Person’s Guide to Mixed Hodge Modules

MorihikoSaito.“AYoungPerson’sGuidetoMixedHodgeModules”.In:(2016).arXiv:1605.00435. arXiv:1605.00435 [math.AG]

work page arXiv 2016
[11]

Intersection Spaces, Perverse Sheaves and Type IIB String Theory

Markus Banagl, Nero Budur, and Laurentiu Maxim. “Intersection Spaces, Perverse Sheaves and Type IIB String Theory”. In:Advances in Theoretical and Mathematical Physics18.2 (2014), pp. 363–399.doi:10.4310/ATMP.2014.v18.n2.a3. arXiv:1212.2196 [math.AG]. REFERENCES 39

work page doi:10.4310/atmp.2014.v18.n2.a3 2014
[12]

Les débuts de la théorie des faisceaux

Masaki Kashiwara and Pierre Schapira.Sheaves on Manifolds. With a Short History “Les débuts de la théorie des faisceaux” by Christian Houzel. Vol. 292. Grundlehren der mathematischen Wissenschaften. Berlin: Springer-Verlag, 1990, pp. x+512.doi:10.1007/978-3-662-02661-8

work page doi:10.1007/978-3-662-02661-8 1990
[13]

Refined cycle maps

Morihiko Saito. “Refined cycle maps”. In:Algebraic Geometry 2000, Azumino (Hotaka). Vol. 36. Advanced Studies in Pure Mathematics. Tokyo: Mathematical Society of Japan, 2002, pp. 115–

2000
[14]

arXiv:math/0103116 [math.AG]

work page arXiv
[15]

Chris A. M. Peters and Joseph H. M. Steenbrink.Mixed Hodge Structures. Vol. 52. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics. Berlin: Springer, 2008

2008
[16]

Variation of Hodge Structure: The Singularities of the Period Mapping

Wilfried Schmid. “Variation of Hodge Structure: The Singularities of the Period Mapping”. In: Inventiones Mathematicae22 (1973), pp. 211–319

1973
[17]

Limits of Hodge structures

Joseph Steenbrink. “Limits of Hodge structures”. In:Inventiones Mathematicae(1976)

1976