pith. sign in

arxiv: 2201.11283 · v2 · pith:SAAANC2Lnew · submitted 2022-01-27 · 🧮 math.AG

Perverse-Hodge complexes for Lagrangian fibrations

Junliang Shen , Qizheng Yin This is my paper

Pith reviewed 2026-05-24 12:14 UTC · model grok-4.3

classification 🧮 math.AG
keywords perverse-Hodge complexesLagrangian fibrationsPerverse = Hodge identityMatsushita's theoremHodge modulesSaito's decomposition theoremvariations of Hodge structures
0
0 comments X

The pith

A conjectural symmetry between perverse-Hodge complexes for Lagrangian fibrations categorifies the Perverse = Hodge identity.

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

The paper defines perverse-Hodge complexes as objects in the derived category of coherent sheaves derived from Hodge modules using Saito's decomposition theorem. For Lagrangian fibrations, the authors propose a symmetry between these complexes. If true, this symmetry would categorify their earlier Perverse = Hodge identity and recover Matsushita's theorem on higher direct images of the structure sheaf as a special case. They provide evidence for the conjecture by verifying it in several specific cases through links to variations of Hodge structures, Hilbert schemes, and Looijenga-Lunts-Verbitsky Lie algebras.

Core claim

We study perverse-Hodge complexes for Lagrangian fibrations and propose a symmetry between them. This conjectural symmetry categorifies the Perverse = Hodge identity of the authors and specializes to Matsushita's theorem on the higher direct images of the structure sheaf. We verify our conjecture in several cases by making connections with variations of Hodge structures, Hilbert schemes, and Looijenga-Lunts-Verbitsky Lie algebras.

What carries the argument

Perverse-Hodge complexes obtained from Hodge modules associated with Saito's decomposition theorem, together with the proposed symmetry between them for Lagrangian fibrations.

If this is right

  • The conjectural symmetry categorifies the Perverse = Hodge identity.
  • It specializes to Matsushita's theorem on the higher direct images of the structure sheaf.
  • The conjecture is verified in cases connected to variations of Hodge structures, Hilbert schemes, and Looijenga-Lunts-Verbitsky Lie algebras.

Where Pith is reading between the lines

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

  • The symmetry might offer a new categorical perspective on the geometry of Lagrangian fibrations.
  • Analogous symmetries could be explored in related contexts such as other fibrations or moduli problems.
  • Further verifications could help establish the conjecture in greater generality.

Load-bearing premise

The assumption that the proposed symmetry exists as a natural isomorphism or equivalence in the derived category.

What would settle it

A counterexample Lagrangian fibration where the two perverse-Hodge complexes are not related by the conjectured symmetry in the derived category.

read the original abstract

Perverse-Hodge complexes are objects in the derived category of coherent sheaves obtained from Hodge modules associated with Saito's decomposition theorem. We study perverse-Hodge complexes for Lagrangian fibrations and propose a symmetry between them. This conjectural symmetry categorifies the "Perverse = Hodge" identity of the authors and specializes to Matsushita's theorem on the higher direct images of the structure sheaf. We verify our conjecture in several cases by making connections with variations of Hodge structures, Hilbert schemes, and Looijenga-Lunts-Verbitsky Lie algebras.

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 / 1 minor

Summary. The manuscript defines perverse-Hodge complexes in the derived category of coherent sheaves via Hodge modules and Saito's decomposition theorem, applied to Lagrangian fibrations. It proposes a conjectural symmetry between these complexes that categorifies the authors' prior Perverse = Hodge identity and specializes to Matsushita's theorem on the higher direct images of the structure sheaf. The conjecture is verified in several special cases by relating the complexes to variations of Hodge structures, Hilbert schemes of points, and the Looijenga-Lunts-Verbitsky Lie algebra action.

Significance. If the conjectured symmetry holds as a natural isomorphism in the derived category, the work would supply a categorical lift of known identities for Lagrangian fibrations on hyperkähler manifolds, potentially connecting Hodge theory more tightly with derived-category techniques. The case verifications using established tools (VHS, Hilbert schemes, LLV algebras) lend concrete support, though the absence of a general construction limits the immediate impact.

major comments (2)
  1. [Introduction and §3] Introduction and §3 (conjecture statement): no general functorial construction of the symmetry as a natural isomorphism (or equivalence) in D^b(Coh) is supplied; the verifications in special cases via VHS, Hilbert schemes, and LLV algebras do not establish that the identifications extend to a canonical natural transformation for arbitrary Lagrangian fibrations, which is load-bearing for the central claim.
  2. [§2] §2 (relation to prior Perverse = Hodge identity): the categorification is asserted to lift the authors' earlier result, but it is not shown whether the new symmetry is independent or reduces tautologically to that identity; a concrete test would be to derive a prediction from the symmetry that is not already implied by the self-cited identity alone.
minor comments (1)
  1. [Abstract] The abstract and introduction could more explicitly separate the statement of the conjecture from the verified special cases to avoid implying a general proof.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Introduction and §3] Introduction and §3 (conjecture statement): no general functorial construction of the symmetry as a natural isomorphism (or equivalence) in D^b(Coh) is supplied; the verifications in special cases via VHS, Hilbert schemes, and LLV algebras do not establish that the identifications extend to a canonical natural transformation for arbitrary Lagrangian fibrations, which is load-bearing for the central claim.

    Authors: We agree that no general functorial construction of the symmetry as a natural isomorphism in D^b(Coh) is supplied. The manuscript presents the symmetry explicitly as a conjecture, with the special-case verifications (via VHS, Hilbert schemes, and LLV algebras) offered as supporting evidence rather than a proof of the general case. The central claim is the formulation of this conjectural categorification and its consistency with known results; we do not assert a canonical natural transformation beyond the conjecture itself. revision: no

  2. Referee: [§2] §2 (relation to prior Perverse = Hodge identity): the categorification is asserted to lift the authors' earlier result, but it is not shown whether the new symmetry is independent or reduces tautologically to that identity; a concrete test would be to derive a prediction from the symmetry that is not already implied by the self-cited identity alone.

    Authors: The conjectured symmetry is formulated using the newly defined perverse-Hodge complexes arising from Hodge modules and Saito decomposition; this supplies a lift to the derived category that is not tautological to the numerical Perverse = Hodge identity. The conjecture also specializes to Matsushita's theorem on higher direct images of the structure sheaf. We will add a clarifying remark in §2 noting that the isomorphism of complexes is a stronger statement than the prior numerical identity and that the construction via Hodge modules is independent of the earlier result. revision: partial

standing simulated objections not resolved
  • A general functorial construction of the conjectured symmetry as a natural isomorphism in D^b(Coh) for arbitrary Lagrangian fibrations.

Circularity Check

0 steps flagged

Proposed symmetry is a new conjecture whose categorification relation to prior identity is one-way (implies, does not reduce to); verifications use external inputs.

full rationale

The manuscript states a conjecture for a symmetry (natural isomorphism/equivalence) between perverse-Hodge complexes. This is asserted to categorify the authors' earlier Perverse=Hodge identity, meaning the new statement is stronger and implies the old one upon decategorification. No equation or definition in the provided text shows the symmetry being constructed from or equivalent to the prior identity. Case verifications invoke independent structures (VHS, Hilbert schemes, LLV Lie algebras) rather than self-citation alone. No load-bearing step reduces by construction to fitted inputs or self-citations; the central claim remains an open conjecture with partial external checks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No explicit free parameters, axioms, or invented entities are stated in the abstract. The work relies on background results such as Saito's decomposition theorem and Matsushita's theorem, which are treated as given rather than derived here.

pith-pipeline@v0.9.0 · 5608 in / 1176 out tokens · 40821 ms · 2026-05-24T12:14:25.862364+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 1 internal anchor

  1. [1]

    Beauville, Syst\`emes hamiltoniens compl\`etement int\'egrables associ\'es aux surfaces K3 , in: Problems in the theory of surfaces and their classification (Cortona, 1988), pp

    A. Beauville, Syst\`emes hamiltoniens compl\`etement int\'egrables associ\'es aux surfaces K3 , in: Problems in the theory of surfaces and their classification (Cortona, 1988), pp. 25--31, Sympos.\ Math., XXXII, Academic Press, London, 1991

    work page 1988

  2. [2]

    Be linson, J

    A.\,A. Be linson, J. Bernstein, and P. Deligne, Faisceaux pervers , in: Analysis and topology on singular spaces, I (Luminy, 1981), pp. 5--171, Ast\'erisque 100, 1982

    work page 1981

  3. [3]

    Donagi and E

    R. Donagi and E. Markman, Spectral covers, algebraically completely integrable, Hamiltonian systems, and moduli of bundles , in: Integrable systems and quantum groups (Montecatini Terme, 1993), pp. 1--119, Lecture Notes in Math., vol. 1620, Springer, Berlin, 1996

    work page 1993

  4. [4]

    Felisetti, J

    C. Felisetti, J. Shen, and Q. Yin, On intersection cohomology and Lagrangian fibrations of irreducible symplectic varieties, Trans.\ Amer.\ Math.\ Soc.\ 375 (2022), no. 4, 2987--3001

    work page 2022

  5. [5]

    Fulton and J

    W. Fulton and J. Harris, Representation theory. A first course , Grad.\ Texts in Math., vol. 129, Readings in Mathematics, Springer-Verlag, New York, 1991

    work page 1991

  6. [6]

    ottsche and W. S\

    L. G\"ottsche and W. S\"orgel, Perverse sheaves and the cohomology of Hilbert schemes of smooth algebraic surfaces , Math.\ Ann.\ 296 (1993), 235--245

    work page 1993

  7. [7]

    Green, Y.-J

    M. Green, Y.-J. Kim, R. Laza, and C. Robles, The LLV decomposition of hyper-K\"ahler cohomology (the known cases and the general conjectural behavior) , Math.\ Ann.\ 382 (2022), no. 3-4, 1517--1590

    work page 2022

  8. [8]

    Gr\"ochenig, Hilbert schemes as moduli of Higgs bundles and local systems , Int.\ Math.\ Res.\ Not.\ 2014 (2014) (23), 6523--6575

    M. Gr\"ochenig, Hilbert schemes as moduli of Higgs bundles and local systems , Int.\ Math.\ Res.\ Not.\ 2014 (2014) (23), 6523--6575

    work page 2014

  9. [9]

    Harder, Z

    A. Harder, Z. Li, J. Shen, and Q. Yin, P = W for Lagrangian fibrations and degenerations of hyper-K\"ahler manifolds , Forum Math.\ Sigma 9 (2021), e50

    work page 2021

  10. [10]

    Hitchin, The self-duality equations on a Riemann surface , Proc.\ London Math.\ Soc.\ (3) 55 (1987), no

    N.\,J. Hitchin, The self-duality equations on a Riemann surface , Proc.\ London Math.\ Soc.\ (3) 55 (1987), no. 1, 59--126

    work page 1987

  11. [11]

    J.\ 54 (1987), no

    , Stable bundles and integrable systems , Duke Math. J.\ 54 (1987), no. 1, 91--114

    work page 1987

  12. [12]

    Huybrechts and M

    D. Huybrechts and M. Mauri, Lagrangian fibrations , Milan J. Math.\ 90 (2022), no. 2, 459--483

    work page 2022

  13. [13]

    1, 125--141

    , On type II degenerations of hyperk\"ahler manifolds , Math.\ Res.\ Lett.\ 30 (2023), no. 1, 125--141

    work page 2023

  14. [14]

    Hwang, Base manifolds for fibrations of projective irreducible symplectic manifolds , Invent.\ Math.\ 174 (2008), no

    J.-M. Hwang, Base manifolds for fibrations of projective irreducible symplectic manifolds , Invent.\ Math.\ 174 (2008), no. 3, 625--644

    work page 2008

  15. [15]

    Koll\'ar, Higher direct images of dualizing sheaves

    J. Koll\'ar, Higher direct images of dualizing sheaves. II , Ann.\ of Math.\ (2) 124 (1986), no. 1, 171--202

    work page 1986

  16. [16]

    Looijenga and V.\,A

    E. Looijenga and V.\,A. Lunts, A Lie algebra attached to a projective variety , Invent.\ Math.\ 129 (1997), no. 2, 361--412

    work page 1997

  17. [17]

    Matsushita, Higher direct images of dualizing sheaves of Lagrangian fibrations , Amer

    D. Matsushita, Higher direct images of dualizing sheaves of Lagrangian fibrations , Amer. J.\ Math.\ 127 (2005), no. 2, 243--259

    work page 2005

  18. [18]

    Maxim, M

    L. Maxim, M. Saito, and J. Sch\"urmann, Symmetric products of mixed Hodge modules , J. Math.\ Pures Appl.\ (9) 96 (2011), no. 5, 462--483

    work page 2011

  19. [19]

    Saito, Modules de Hodge polarisables , Publ.\ Res.\ Inst.\ Math.\ Sci.\ 24 (1988), no

    M. Saito, Modules de Hodge polarisables , Publ.\ Res.\ Inst.\ Math.\ Sci.\ 24 (1988), no. 6, 849--995 (1989)

    work page 1988

  20. [20]

    2, 221--333

    , Mixed Hodge modules , Publ.\ Res.\ Inst.\ Math.\ Sci.\ 26 (1990), no. 2, 221--333

    work page 1990

  21. [21]

    509--517, Proc.\ Sympos.\ Pure Math.\ vol

    , On Koll\'ar's conjecture , in: Several complex variables and complex geometry (Santa Cruz, CA, 1989), pp. 509--517, Proc.\ Sympos.\ Pure Math.\ vol. 52, Part 2, Amer.\ Math.\ Soc., Providence, RI, 1991

    work page 1989

  22. [22]

    Schnell, On Saito's vanishing theorem , Math.\ Res.\ Lett.\ 23 (2016), no

    C. Schnell, On Saito's vanishing theorem , Math.\ Res.\ Lett.\ 23 (2016), no. 2, 499--527

    work page 2016

  23. [23]

    Shen and Q

    J. Shen and Q. Yin, Topology of Lagrangian fibrations and Hodge theory of hyper-K\"ahler manifolds (with an appendix by C. Voisin), Duke Math. J.\ 171 (2022), no. 1, 209--241

    work page 2022

  24. [24]

    Verbitski , Action of the Lie algebra of SO(5) on the cohomology of a hyper-K\"ahler manifold , Funct.\ Anal.\ Appl.\ 24 (1990), no

    M.\,S. Verbitski , Action of the Lie algebra of SO(5) on the cohomology of a hyper-K\"ahler manifold , Funct.\ Anal.\ Appl.\ 24 (1990), no. 3, 229--230

    work page 1990

  25. [25]

    Cohomology of compact hyperkaehler manifolds

    M. Verbitsky, Cohomology of compact hyperkaehler manifolds , Ph.D. thesis, Harvard University, 1995, arXiv:alg-geom/9501001

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  26. [26]

    4, 601--611

    , Cohomology of compact hyper-K\"ahler manifolds and its applications , Geom.\ Funct.\ Anal.\ 6 (1996), no. 4, 601--611

    work page 1996

  27. [27]

    Voisin, Torsion points of sections of Lagrangian torus fibrations and the Chow ring of hyper-K\"ahler manifolds , in: Geometry of moduli , pp

    C. Voisin, Torsion points of sections of Lagrangian torus fibrations and the Chow ring of hyper-K\"ahler manifolds , in: Geometry of moduli , pp. 295--326, Abel Symp.\ vol. 14, Springer, Cham, 2018

    work page 2018

  28. [28]

    Zhang, Multiplicativity of perverse filtration for Hilbert schemes of fibered surfaces , Adv.\ Math.\ 312 (2017), 636--679

    Z. Zhang, Multiplicativity of perverse filtration for Hilbert schemes of fibered surfaces , Adv.\ Math.\ 312 (2017), 636--679

    work page 2017