Pith. sign in

REVIEW 2 major objections 2 minor 49 references

The LLV Algebra for Primitive Symplectic Varieties with Isolated Singularities

T0 review · 2 major / 2 minor · reviewed 2026-05-24 · grok-4.3

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

Pith's one-line read 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.

desk verdict The paper gives an algebraic proof of the LLV algebra for smooth IHS manifolds and extends the isomorphism to IH* of isolated-singularity cases, but the extension rests on unverified carry-over of hard Lefschetz and irreducibility. read the letter →

arxiv 2211.06776 v4 pith:GT3VRPK4 submitted 2022-11-13 math.AG

Benjamin Tighe This is my paper · ORCID
classification math.AG
keywords primitivesymplecticvarietiesintersectioncohomologyLLValgebraBeauville-Bogomolov-FujikiformP=WconjectureirreducibleholomorphicmanifoldsLierepresentations
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

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.

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.

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).

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
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, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The LLV Algebra for Primitive Symplectic Varieties with Isolated Singularities." pith.science (2026). https://pith.science/paper/GT3VRPK4

@misc{pith2026221106776,
  author       = {Pith},
  title        = {Pith review of: The LLV Algebra for Primitive Symplectic Varieties with Isolated Singularities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GT3VRPK4}},
  note         = {Machine review of arXiv:2211.06776}
}
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

  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

Show all 49 references
  1. [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

    1971

  2. [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

    1974

  3. [11]

    Intersection homology betti numbers

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

    1995

  4. [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

    2022

  5. [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

    2000

  6. [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

    2012

  7. [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

    1906

  8. [16]

    Intersection homology theory

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

    1980

  9. [17]

    Intersection homology 11

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

    1983

  10. [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

    2021

  11. [19]

    Lagrangian fibrations

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

    2022

  12. [20]

    Infinitesimal variation of harmonic forms and lefschetz decomposition

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

    2001 arXiv

  13. [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

    2006

  14. [22]

    Algebraic cycles and the Weil conjectures

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

    1968

  15. [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

    1992

  16. [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

    2008

  17. [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

    1967

  18. [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

    2021

  19. [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

    2019

  20. [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

    1997

  21. [29]

    Fujiki relation on symplectic varieties

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

    2001 arXiv

  22. [30]

    On base manifolds of lagrangian fibrations

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

    2015

  23. [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

    2020

  24. [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

    2020

  25. [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

    2021

  26. [34]

    Deformation theory of singular symplectic n-folds

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

    2000 arXiv

  27. [35]

    Extension of 2-forms and symplectic varieties

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

    2000 arXiv

  28. [36]

    A note on symplectic singularities

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

    2001 arXiv

  29. [37]

    On deformations of q-factorial symplectic varieties

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

    2005 arXiv

  30. [38]

    Modules de hodge polarisables

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

    1988

  31. [39]

    Mixed hodge modules

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

    1990

  32. [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

    1973

  33. [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

    2017

  34. [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

    2018

  35. [43]

    Mixed Hodge structure on the vanishing cohomology

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

    1976

  36. [44]

    Vanishing theorems on singular spaces

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

    1985

  37. [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

    2022

  38. [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

    2023

  39. [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

    1990

  40. [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

    1996

  41. [49]

    A global torelli theorem for hyperkahler manifolds

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

    2009 arXiv

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.