pith. sign in

arxiv: 2211.06776 · v4 · pith:GT3VRPK4new · submitted 2022-11-13 · 🧮 math.AG

The LLV Algebra for Primitive Symplectic Varieties with Isolated Singularities

Benjamin Tighe This is my paper

Pith reviewed 2026-05-24 10:44 UTC · model grok-4.3

classification 🧮 math.AG
keywords primitive symplectic varietiesintersection cohomologyLLV algebraBeauville-Bogomolov-Fujiki formP=W conjectureirreducible holomorphic symplectic manifoldsLie algebra representations
0
0 comments X

The pith

The total Lie algebra on intersection cohomology of a primitive symplectic variety with isolated singularities is the special orthogonal Lie algebra of the second cohomology plus a hyperbolic plane.

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

The paper extends the structural theorems of Looijenga-Lunts and Verbitsky to prove that the total Lie algebra g acting on the intersection cohomology of a primitive symplectic variety X with isolated singularities satisfies g ≅ so((IH²(X, Q), Q_X) ⊕ h). This supplies an algebraic proof of the corresponding statement for smooth irreducible holomorphic symplectic manifolds that does not use the hyperkähler metric. A sympathetic reader would care because the isomorphism organizes the entire graded intersection cohomology as a representation of a classical Lie algebra and supplies new algebraic tools for questions such as the P = W conjecture.

Core claim

We extend results of Looijenga--Lunts and Verbitsky and show that the total Lie algebra g for the intersection cohomology of a primitive symplectic variety X with isolated singularities is isomorphic to g ≅ so((IH²(X, Q), Q_X) ⊕ h), where Q_X is the intersection Beauville--Bogomolov--Fujiki form and h is a hyperbolic plane. This gives a new, algebraic proof for irreducible holomorphic symplectic manifolds which does not rely on the hyperkähler metric.

What carries the argument

The LLV algebra (the total Lie algebra g generated by Lefschetz operators and their duals on intersection cohomology), shown to be isomorphic to the indicated special orthogonal Lie algebra.

If this is right

  • The graded intersection cohomology IH^*(X, Q) becomes a representation of this orthogonal Lie algebra, with the Verbitsky component appearing as a distinguished summand.
  • Multidimensional Kuga-Satake constructions and Mumford-Tate algebras can be read off from the representation theory of g.
  • The algebraic description yields immediate consequences for the P = W conjecture on primitive symplectic varieties.
  • The same isomorphism holds for smooth irreducible holomorphic symplectic manifolds via a purely algebraic argument.

Where Pith is reading between the lines

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

  • If the same structural extension holds for varieties with non-isolated singularities, the LLV algebra description would apply more broadly.
  • The metric-free proof opens the possibility of comparing LLV algebras across birational models or deformations that change the singularity type.
  • Representation-theoretic invariants of g may produce new Hodge-theoretic constraints on the possible intersection cohomology rings.

Load-bearing premise

The structural results of Looijenga-Lunts and Verbitsky on the LLV algebra extend verbatim to the intersection cohomology of primitive symplectic varieties that possess only isolated singularities.

What would settle it

An explicit computation of the LLV algebra for a concrete primitive symplectic variety with isolated singularities (for example a quotient singularity or a small resolution) whose dimension or bracket relations fail to match those of so((IH²(X, Q), Q_X) ⊕ h).

read the original abstract

We extend results of Looijenga--Lunts and Verbitsky and show that the total Lie algebra $\mathfrak g$ for the intersection cohomology of a primitive symplectic variety $X$ with isolated singularities is isomorphic to $$\mathfrak g \cong \mathfrak{so}\left(\left(IH^2(X, \mathbb Q), Q_X\right)\oplus \mathfrak h\right),$$ where $Q_X$ is the intersection Beauville--Bogomolov--Fujiki form and $\mathfrak h$ is a hyperbolic plane. This gives a new, algebraic proof for irreducible holomorphic symplectic manifolds which does not rely on the hyperk\"ahler metric. Along the way, we study the structure of $IH^*(X, \mathbb Q)$ as a $\mathfrak{g}$-representation -- with particular emphasis on the Verbitsky component, multidimensional Kuga--Satake constructions, and Mumford--Tate algebras -- and give some immediate applications concerning the $P = W$ conjecture for primitive symplectic varieties.

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

Summary. The paper extends results of Looijenga-Lunts and Verbitsky to show that the total Lie algebra g acting on the intersection cohomology of a primitive symplectic variety X with isolated singularities satisfies g ≅ so((IH²(X, Q), Q_X) ⊕ h), where Q_X is the intersection Beauville-Bogomolov-Fujiki form and h is a hyperbolic plane. It studies IH^*(X, Q) as a g-representation with emphasis on the Verbitsky component, multidimensional Kuga-Satake constructions and Mumford-Tate algebras, and gives applications to the P=W conjecture. The approach yields a new algebraic proof of the smooth case that avoids the hyperkähler metric.

Significance. If the isomorphism holds, the result is significant: it generalizes the LLV algebra beyond the smooth setting and supplies an algebraic derivation for irreducible holomorphic symplectic manifolds. The explicit study of the Verbitsky component and Mumford-Tate algebras under the g-action, together with the applications to P=W, are concrete strengths. The algebraic route is a clear advantage over metric-dependent arguments.

major comments (2)
  1. [§4] §4, Theorem 4.1 and the surrounding derivation of the Lie bracket relations: the claim that the LLV algebra on IH^* is identical to the smooth case requires an explicit verification that the hard Lefschetz theorem, primitive decomposition, and irreducibility of the Verbitsky component continue to hold when isolated singularities are present; the contribution of the singular locus to the cup-product structure that defines the Lie brackets is not controlled in the given argument, which is load-bearing for the stated isomorphism.
  2. [§5.3] §5.3, the multidimensional Kuga-Satake construction: the extension of the representation-theoretic statements from the smooth case is invoked without a separate check that the Hodge structure on IH^* remains of the expected weight and that the Mumford-Tate algebra commutes with the LLV action in the singular setting; this step is used to derive the applications to P=W and therefore needs direct justification.
minor comments (2)
  1. [§2] Notation for the intersection BBF form Q_X is introduced without an explicit comparison to the usual BBF form on the smooth locus; a short remark clarifying the relation would improve readability.
  2. [Abstract] The abstract states the main result but does not indicate the key technical step (control of cup products away from the singularities) that distinguishes the argument from a direct citation of Looijenga-Lunts-Verbitsky.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed report. The two major comments identify places where the manuscript would benefit from additional explicit checks when extending from the smooth to the isolated-singularities setting. We address each point below and will incorporate the requested verifications in the revised version.

read point-by-point responses

  1. Referee: [§4] §4, Theorem 4.1 and the surrounding derivation of the Lie bracket relations: the claim that the LLV algebra on IH^* is identical to the smooth case requires an explicit verification that the hard Lefschetz theorem, primitive decomposition, and irreducibility of the Verbitsky component continue to hold when isolated singularities are present; the contribution of the singular locus to the cup-product structure that defines the Lie brackets is not controlled in the given argument, which is load-bearing for the stated isomorphism.

    Authors: The Lie-algebra generators and their bracket relations are defined entirely in terms of the intersection-cohomology ring structure on IH^*(X,Q). Because the singularities are isolated, the intersection product that enters the definition of the operators is computed on the smooth locus in all degrees relevant to the LLV algebra; the singular locus lies in codimension at least 2 and therefore does not contribute to the cup-product pairings that appear in the bracket relations. The hard Lefschetz theorem and the resulting primitive decomposition for IH^* with respect to an ample class are known to hold for varieties with isolated singularities. The irreducibility of the Verbitsky component then follows from the same representation-theoretic argument used in the smooth case, once the generators act on the same graded vector space. Nevertheless, we agree that spelling out these facts explicitly strengthens the exposition. In the revision we will insert a short paragraph (or lemma) in §4 that records the cited properties of intersection cohomology and confirms that the singular locus does not alter the Lie brackets. revision: yes

  2. Referee: [§5.3] §5.3, the multidimensional Kuga-Satake construction: the extension of the representation-theoretic statements from the smooth case is invoked without a separate check that the Hodge structure on IH^* remains of the expected weight and that the Mumford-Tate algebra commutes with the LLV action in the singular setting; this step is used to derive the applications to P=W and therefore needs direct justification.

    Authors: Intersection cohomology of a projective variety with isolated singularities carries a pure Hodge structure of the expected weight. The LLV operators are realized by cup-product with classes of type (1,1) and therefore preserve the Hodge filtration; consequently the Mumford-Tate algebra, which is generated by the Hodge classes, commutes with the LLV action by the same algebraic reason as in the smooth case. The multidimensional Kuga-Satake construction is then obtained verbatim from the representation theory of the LLV algebra. While these facts are standard, we acknowledge that a direct sentence or two confirming them in the singular setting would make the passage to the P=W applications fully self-contained. We will add this short justification to §5.3 in the revision. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation extends external LLV results algebraically

full rationale

The paper's central claim extends the Looijenga-Lunts-Verbitsky theorems on the LLV algebra to intersection cohomology of primitive symplectic varieties with isolated singularities, yielding the stated so((IH² ⊕ h)) isomorphism. This extension is presented as the paper's contribution, with an additional algebraic proof for the smooth case that avoids the hyperkähler metric. No self-citations appear as load-bearing; the cited results are from independent prior authors. No self-definitional steps, fitted inputs renamed as predictions, or ansatzes smuggled via citation are present in the abstract or described chain. The derivation is self-contained against the external benchmarks of the cited theorems and does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, ad-hoc axioms, or newly invented entities; all objects mentioned (intersection cohomology, BBF form, hyperbolic plane) are standard in the cited literature.

pith-pipeline@v0.9.0 · 5698 in / 1128 out tokens · 29612 ms · 2026-05-24T10:44:20.923351+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages · 7 internal anchors

  1. [1]

    Faisceaux pervers

    Alexander A Beilinson, Joseph Bernstein, and Pierre Deligne. Faisceaux pervers. Ast \'e risque , 100, 1983

    work page 1983

  2. [2]

    Existence of minimal models for varieties of log general type

    Caucher Birkar, Paolo Cascini, Christopher D Hacon, and James McKernan. Existence of minimal models for varieties of log general type. Journal of the American Mathematical Society , 23(2):405--468, 2010

    work page 2010

  3. [3]

    Symplectic singularities

    Arnaud Beauville. Symplectic singularities. Inventiones mathematicae , 139(3):541--549, 2000

    work page 2000

  4. [4]

    A global torelli theorem for singular symplectic varieties

    Benjamin Bakker and Christian Lehn. A global torelli theorem for singular symplectic varieties. Journal of the European Mathematical Society , 23(3):949--994, 2020

    work page 2020

  5. [5]

    The global moduli theory of symplectic varieties

    Benjamin Bakker and Christian Lehn. The global moduli theory of symplectic varieties. Journal für die reine und angewandte Mathematik (Crelles Journal) , 2022(790):223--265, 2022

    work page 2022

  6. [6]

    On the cohomology ring of a simple hyperk \"a hler manifold (on the results of verbitsky)

    Fedor A Bogomolov. On the cohomology ring of a simple hyperk \"a hler manifold (on the results of verbitsky). Geometric & Functional Analysis GAFA , 6(4):612--618, 1996

    work page 1996

  7. [7]

    The hodge theory of algebraic maps

    Mark Andrea A de Cataldo and Luca Migliorini. The hodge theory of algebraic maps. In Annales scientifiques de l'Ecole normale sup \'e rieure , volume 38, pages 693--750, 2005

    work page 2005

  8. [8]

    Hodge-theoretic aspects of the decomposition theorem

    Mark Andrea A de Cataldo and Luca Migliorini. Hodge-theoretic aspects of the decomposition theorem. 2006

    work page 2006

  9. [9]

    Th \'e orie de hodge: ii

    Pierre Deligne. Th \'e orie de hodge: ii. Publications Math \'e matiques de l'IH \'E S , 40:5--57, 1971

    work page 1971

  10. [10]

    Th \'e orie de hodge: iii

    Pierre Deligne. Th \'e orie de hodge: iii. Publications Math \'e matiques de l'IH \'E S , 44:5--77, 1974

    work page 1974

  11. [11]

    Intersection homology betti numbers

    Alan H Durfee. Intersection homology betti numbers. Proceedings of the American Mathematical Society , 123(4):989--993, 1995

    work page 1995

  12. [12]

    On intersection cohomology and lagrangian fibrations of irreducible symplectic varieties

    Camilla Felisetti, Junliang Shen, and Qizheng Yin. On intersection cohomology and lagrangian fibrations of irreducible symplectic varieties. Transactions of the American Mathematical Society , 375(04):2987--3001, 2022

    work page 2022

  13. [13]

    Kuga-satake varieties and the hodge conjecture

    Bert van Geemen. Kuga-satake varieties and the hodge conjecture. In The arithmetic and geometry of algebraic cycles , pages 51--82. Springer, 2000

    work page 2000

  14. [14]

    Mumford-tate groups and domains

    Mark Green, Phillip A Griffiths, and Matt Kerr. Mumford-tate groups and domains. In Mumford-Tate Groups and Domains . Princeton University Press, 2012

    work page 2012

  15. [15]

    The llv decomposition of hyper-k \"a hler cohomology

    Mark Green, Yoon-Joo Kim, Radu Laza, and Colleen Robles. The llv decomposition of hyper-k \"a hler cohomology. arXiv preprint arXiv:1906.03432 , 2019

    work page arXiv 1906

  16. [16]

    Intersection homology theory

    Mark Goresky and Robert MacPherson. Intersection homology theory. Topology , 19(2):135--162, 1980

    work page 1980

  17. [17]

    Intersection homology 11

    Mark Goresky and Robert MacPherson. Intersection homology 11. Inc. Mat , 71:77--129, 1983

    work page 1983

  18. [18]

    p=w for lagrangian fibrations and degenerations of hyper-k \"a hler manifolds

    Andrew Harder, Zhiyuan Li, Junliang Shen, and Qizheng Yin. p=w for lagrangian fibrations and degenerations of hyper-k \"a hler manifolds. In Forum of Mathematics, Sigma , volume 9. Cambridge University Press, 2021

    work page 2021

  19. [19]

    Lagrangian fibrations

    Daniel Huybrechts and Mirko Mauri. Lagrangian fibrations. Milan Journal of Mathematics , pages 1--25, 2022

    work page 2022

  20. [20]

    Infinitesimal Variation of Harmonic Forms and Lefschetz Decomposition

    Daniel Huybrechts. Infinitesimal variation of harmonic forms and lefschetz decomposition. arXiv preprint math/0102116 , 2001

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  21. [21]

    Symplectic singularities from the poisson point of view

    Dmitry Kaledin. Symplectic singularities from the poisson point of view. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2006(600):135--156, 2006

    work page 2006

  22. [22]

    Algebraic cycles and the Weil conjectures

    Steven L Kleiman. Algebraic cycles and the Weil conjectures . Columbia university, Department of mathematics, 1968

    work page 1968

  23. [23]

    Classification of three-dimensional flips

    J \'a nos Koll \'a r and Shigefumi Mori. Classification of three-dimensional flips. Journal of the American Mathematical Society , 5(3):533--703, 1992

    work page 1992

  24. [24]

    Birational geometry of algebraic varieties , volume 134

    J \'a nos Koll \'a r and Shigefumi Mori. Birational geometry of algebraic varieties , volume 134. Cambridge university press, 2008

    work page 2008

  25. [25]

    Abelian varieties attached to polarizedk 3-surfaces

    Michio Kuga and Ichir \^o Satake. Abelian varieties attached to polarizedk 3-surfaces. Mathematische Annalen , 169(1):239--242, 1967

    work page 1967

  26. [26]

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

    Stefan Kebekus and Christian Schnell. Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities. Journal of the American Mathematical Society , 34(2):315--368, 2021

    work page 2021

  27. [27]

    Kuga-satake construction and cohomology of hyperk \"a hler manifolds

    Nikon Kurnosov, Andrey Soldatenkov, and Misha Verbitsky. Kuga-satake construction and cohomology of hyperk \"a hler manifolds. Advances in Mathematics , 351:275--295, 2019

    work page 2019

  28. [28]

    A lie algebra attached to a projective variety

    Eduard Looijenga and Valery A Lunts. A lie algebra attached to a projective variety. Inventiones mathematicae , 129(2):361--412, 1997

    work page 1997

  29. [29]

    Fujiki relation on symplectic varieties

    Daisuke Matsushita. Fujiki relation on symplectic varieties. arXiv preprint math/0109165 , 2001

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  30. [30]

    On base manifolds of lagrangian fibrations

    Daisuke Matsushita. On base manifolds of lagrangian fibrations. Science China Mathematics , 58(3):531--542, 2015

    work page 2015

  31. [31]

    Global torelli theorem for irreducible symplectic orbifolds

    Gr \'e goire Menet. Global torelli theorem for irreducible symplectic orbifolds. Journal de Math \'e matiques Pures et Appliqu \'e es , 2020

    work page 2020

  32. [32]

    Local vanishing and hodge filtration for rational singularities

    Mircea Musta t a , Sebasti \'a n Olano, and Mihnea Popa. Local vanishing and hodge filtration for rational singularities. Journal of the Institute of Mathematics of Jussieu , 19(3):801--819, 2020

    work page 2020

  33. [33]

    Hodge filtration on local cohomology, du bois complex, and local cohomological dimension

    Mircea Mustata and Mihnea Popa. Hodge filtration on local cohomology, du bois complex, and local cohomological dimension. arXiv preprint arXiv:2108.05192 , 2021

    work page arXiv 2021

  34. [34]

    Deformation theory of singular symplectic n-folds

    Yoshinori Namikawa. Deformation theory of singular symplectic n-folds. arXiv preprint math/0010113 , 2000

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  35. [35]

    Extension of 2-forms and symplectic varieties

    Yoshinori Namikawa. Extension of 2-forms and symplectic varieties. arXiv preprint math/0010114 , 2000

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  36. [36]

    A note on symplectic singularities

    Yoshinori Namikawa. A note on symplectic singularities. arXiv preprint math/0101028 , 2001

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  37. [37]

    On deformations of Q-factorial symplectic varieties

    Yoshinori Namikawa. On deformations of q-factorial symplectic varieties. arXiv preprint math/0506534 , 2005

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  38. [38]

    Modules de hodge polarisables

    Morihiko Saito. Modules de hodge polarisables. Publications of the Research Institute for Mathematical Sciences , 24(6):849--995, 1988

    work page 1988

  39. [39]

    Mixed hodge modules

    Morihiko Saito. Mixed hodge modules. Publications of the Research Institute for Mathematical Sciences , 26(2):221--333, 1990

    work page 1990

  40. [40]

    Variation of hodge structure: the singularities of the period mapping

    Wilfried Schmid. Variation of hodge structure: the singularities of the period mapping. Inventiones mathematicae , 22(3):211--319, 1973

    work page 1973

  41. [41]

    Fujiki relations and fibrations of irreducible symplectic varieties

    Martin Schwald. Fujiki relations and fibrations of irreducible symplectic varieties. arXiv preprint arXiv:1701.09069 , 2017

    work page arXiv 2017

  42. [42]

    Limit mixed hodge structures of hyperk\"ahler manifolds

    Andrey Soldatenkov. Limit mixed hodge structures of hyperk\"ahler manifolds. arXiv preprint arXiv:1807.04030 , 2018

    work page arXiv 2018

  43. [43]

    Mixed Hodge structure on the vanishing cohomology

    Joseph Henri Maria Steenbrink. Mixed Hodge structure on the vanishing cohomology . University of Amsterdam Amsterdam, 1976

    work page 1976

  44. [44]

    Vanishing theorems on singular spaces

    Joseph HM Steenbrink. Vanishing theorems on singular spaces. Ast \'e risque , 130:330--341, 1985

    work page 1985

  45. [45]

    Topology of lagrangian fibrations and hodge theory of hyper-k \"a hler manifolds

    Junliang Shen and Qizheng Yin. Topology of lagrangian fibrations and hodge theory of hyper-k \"a hler manifolds. Duke Mathematical Journal , 171(1):209--241, 2022

    work page 2022

  46. [46]

    On the hodge theory of primitive symplectic varieties with applications to higher du bois singularities

    Benjamin Tighe. On the hodge theory of primitive symplectic varieties with applications to higher du bois singularities. PhD Thesis , 2023

    work page 2023

  47. [47]

    Action of the lie algebra so (5) on the cohomology of a hyperk \"a hler manifold

    MS Verbitsky. Action of the lie algebra so (5) on the cohomology of a hyperk \"a hler manifold. Functional Analysis and Its Applications , 24(3):229--230, 1990

    work page 1990

  48. [48]

    Cohomology of compact hyperk \"a hler manifolds and its applications

    Mikhail Verbitsky. Cohomology of compact hyperk \"a hler manifolds and its applications. Geometric & Functional Analysis GAFA , 6(4):601--611, 1996

    work page 1996

  49. [49]

    A global Torelli theorem for hyperkahler manifolds

    Misha Verbitsky. A global torelli theorem for hyperkahler manifolds. arXiv preprint arXiv:0908.4121 , 2009

    work page internal anchor Pith review Pith/arXiv arXiv 2009