pith. sign in

arxiv: 2401.13632 · v2 · pith:CJLCEJLBnew · submitted 2024-01-24 · 🧮 math.AG

Terminalizations of quotients of compact hyperk\"ahler manifolds by induced symplectic automorphisms

Valeria Bertini , Annalisa Grossi , Mirko Mauri , Enrica Mazzon This is my paper

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

classification 🧮 math.AG
keywords hyperkähler manifoldssymplectic automorphismsterminalizationsirreducible symplectic varietiesK3 surfacesKummer varietiesdeformation typesquotient singularities
0
0 comments X

The pith

Terminalizations of quotients by induced symplectic automorphisms yield at least nine new deformation types of four-dimensional irreducible symplectic varieties.

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

The paper classifies all terminalizations of quotients of Hilbert schemes of K3 surfaces and of generalized Kummer varieties by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. It computes the second Betti number and the fundamental group of the regular locus for each such terminalization. In the Kummer case the terminalizations are shown to have quotient singularities whose universal quasi-étale covers have singularities of explicitly described type. The classification produces at least nine previously unknown deformation types of irreducible symplectic fourfolds, while the only smooth examples are three varieties of K3^[n]-type that already appeared elsewhere in the literature.

Core claim

Terminalizations of quotients of Hilbert schemes of K3 surfaces or generalized Kummer varieties by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface produce new deformation types of irreducible symplectic varieties; at least nine such types arise in dimension four, with explicit values for the second Betti number and the fundamental group of the regular locus, and in the Kummer setting the terminalizations carry quotient singularities whose universal quasi-étale covers have known singularities. The smooth terminalizations consist of exactly three examples, all of K3^[n]-type.

What carries the argument

The terminalization of a symplectic quotient by an induced finite group action, which resolves singularities in a minimal way while preserving the symplectic form and producing an irreducible symplectic variety whose deformation type is tracked by its second Betti number and fundamental group data.

If this is right

  • At least nine new deformation types of irreducible symplectic fourfolds exist and can be distinguished by their second Betti numbers and fundamental groups of regular loci.
  • In the generalized Kummer setting every such terminalization has quotient singularities whose universal quasi-étale cover has singularities of explicitly determined type.
  • Only three smooth terminalizations appear, all of K3^[n]-type.
  • The new types can be compared directly with the lists appearing in FM21 and Men22.

Where Pith is reading between the lines

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

  • The method of tracking deformation types via Betti numbers and fundamental groups of regular loci could be applied to other classes of induced automorphisms on hyperkähler manifolds.
  • Some of the new fourfolds may appear as moduli spaces of sheaves or other geometric constructions not yet identified in the literature.
  • The restriction to induced actions leaves open whether non-induced symplectic automorphisms produce still more deformation types.

Load-bearing premise

The finite groups of symplectic automorphisms under consideration are induced from the underlying K3 or abelian surface.

What would settle it

A terminalization arising from one of the quotients whose deformation type or invariants (second Betti number or fundamental group of the regular locus) fall outside the list produced by the classification.

Figures

Figures reproduced from arXiv: 2401.13632 by Annalisa Grossi, Enrica Mazzon, Mirko Mauri, Valeria Bertini.

Figure 1
Figure 1. Figure 1: The picture represents the loci with nontrivial stabilizer in the punctual Hilbert scheme H3 with respect to the action of the group G. We draw H3 as a cone with vertex m2 , the horizontal section is P(V ∗ ), and the segments from P(V ∗ ) to m2 are lines parametrizing ideals I = (f ,m3 ) with fixed df . 11.4. Fixed points of K2(A) Lemma 11.5. Let G be a finite group with a faithful symplectic linear action… view at source ↗
Figure 2
Figure 2. Figure 2: On the left, the poset of nontrivial stabilizers of points of K2(A) under the action of G = C 2 3 ⋊BT24, up to conjugation. The left subscript denotes the number of conjugate subgroups. On the right, we provide a representative for each conjugacy class. Note that α,γ ∈ Gtr with gα(γ) , γ. As N2 = 1 and N3 = 1 (cf [PITH_FULL_IMAGE:figures/full_fig_p043_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Singularities of X/G for G = C 2 3 ⋊ BT24 (ID 216,153). • The four points of type A1 in F−id/A4 correspond to four points in q(F−id) with isotropy C4. • The three points of type A2 in Fgα /S3 corresponds to – the point [(α,−α,0)] ⊂ q(F−id)∩q(Fgα ), with isotropy C3 × S3, – the point [(x + α, x − α, x)] ∈ q(Fgα ), with x ∈ Πgα \ Gtr and isotropy C 2 3 . Note that two points of type A2 in Fgα /S3 are identif… view at source ↗
read the original abstract

Terminalizations of symplectic quotients are sources of new deformation types of irreducible symplectic varieties. We classify all terminalizations of quotients of Hilbert schemes of K3 surfaces or of generalized Kummer varieties, by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. We determine their second Betti number and the fundamental group of their regular locus. In the Kummer case, we prove that the terminalizations have quotient singularities, and determine the singularities of their universal quasi-\'etale cover. In particular, we obtain at least nine new deformation types of irreducible symplectic varieties of dimension four. Finally, we compare our deformation types with those in [FM21; Men22]. The smooth terminalizations are only three and of K$3^{[n]}$-type, and surprisingly they all appeared in different places in the literature [Fuj83; Kaw09; Flo22].

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

0 major / 2 minor

Summary. The manuscript classifies all terminalizations of quotients of Hilbert schemes of K3 surfaces (Hilb²(K3)) and generalized Kummer fourfolds by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. It determines the second Betti number and the fundamental group of the regular locus for each such terminalization. In the Kummer case it proves that the terminalizations have quotient singularities and determines the singularities of their universal quasi-étale cover. The classification yields at least nine new deformation types of irreducible symplectic varieties of dimension four; the three smooth terminalizations are shown to be of K3^[n]-type and to recover previously known examples from the literature.

Significance. If the classification and the accompanying invariant computations hold, the work is a significant contribution to hyperkähler geometry: it enlarges the known list of deformation types of irreducible symplectic varieties in dimension four by at least nine examples, each distinguished by explicit values of b₂ and π₁ of the regular locus. The explicit comparison with the lists in [FM21] and [Men22] and the recovery of the three smooth K3^[n]-type cases (appearing separately in [Fuj83], [Kaw09] and [Flo22]) provide concrete, falsifiable checks. The proof of quotient singularities in the Kummer setting supplies local geometric information that is useful for further study of these varieties.

minor comments (2)
  1. [Abstract / Introduction] The abstract states that the smooth terminalizations 'all appeared in different places in the literature [Fuj83; Kaw09; Flo22]'; a short table or paragraph in the introduction or §1 that records which example corresponds to which reference would improve readability.
  2. [Comparison section (near end)] When the paper asserts that the new deformation types are distinct from those in [FM21; Men22], it relies on the computed values of b₂ and π₁; a consolidated table listing these invariants for all classified terminalizations (including the nine new ones) would make the distinctness argument easier to verify at a glance.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. The report contains no major comments requiring point-by-point rebuttal. We will address any minor editorial suggestions in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity; classification is self-contained geometric work

full rationale

The paper executes a direct classification of terminalizations of quotients by induced symplectic automorphism groups on Hilb^2(K3) and generalized Kummer fourfolds. It computes distinguishing invariants (b2, fundamental group of regular locus), proves quotient singularities in the Kummer case, verifies distinctness from prior lists in [FM21; Men22], and notes that the three smooth cases recover known K3^[n]-type examples from external literature. No equations, fitted parameters, or predictions appear; the argument relies on geometric constructions and external citations rather than self-referential definitions or load-bearing self-citations. The central claim of nine new deformation types follows from exhaustive case analysis without reduction to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available; the ledger records the domain assumptions explicitly invoked by the classification setting. No free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption Finite groups of symplectic automorphisms on the quotients are induced from the underlying K3 or abelian surface.
    This is the explicit scope stated in the abstract for which the classification is performed.
  • domain assumption Terminalizations of the resulting quotients exist and can be classified by their second Betti numbers and fundamental groups of the regular locus.
    Invoked as the objects whose properties are determined.

pith-pipeline@v0.9.0 · 5693 in / 1221 out tokens · 41953 ms · 2026-05-24T05:11:44.816279+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.

Forward citations

Cited by 1 Pith paper

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

  1. Automorphisms of Nikulin-type orbifolds

    math.AG 2024-11 unverdicted novelty 5.0

    Monodromy group of Nikulin-type orbifolds is maximal; finite order symplectic automorphisms classified up to deformation via action on second integral cohomology.

Reference graph

Works this paper leans on

76 extracted references · 76 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Arbarello, G

    E. Arbarello, G. Sacc\`a and A. Ferretti, Relative P rym varieties associated to the double cover of an E nriques surface , J. Differential Geom.\ 100 (2015), no. 2, 191--250, doi:10.4310/jdg/1430744121

    work page doi:10.4310/jdg/1430744121 2015

  2. [2]

    M. Artin, Algebraic approximation of structures over complete local rings, Inst.\ Hautes \' E tudes Sci.\ Publ.\ Math.\ 36 (1969), 23--58, http://www.numdam.org/item?id=PMIHES_1969__36__23_0

    work page 1969

  3. [3]

    Bakker, H

    B. Bakker, H. Guenancia and C. Lehn, Algebraic approximation and the decomposition theorem for K \" a hler C alabi- Y au varieties , Invent.\ Math.\ 228 (2022), no. 3, 1255--1308, doi:10.1007/s00222-022-01096-y

    work page doi:10.1007/s00222-022-01096-y 2022

  4. [4]

    Bakker and C

    B. Bakker and C. Lehn, The global moduli theory of symplectic varieties, J. reine angew.\ Math.\ 790 (2022), 223--265, doi:10.1515/crelle-2022-0033

    work page doi:10.1515/crelle-2022-0033 2022

  5. [5]

    Beauville, Vari\' e t\' e s K \" a hleriennes dont la premi\`ere classe de C hern est nulle , J

    A. Beauville, Vari\' e t\' e s K \" a hleriennes dont la premi\`ere classe de C hern est nulle , J. Differential Geom.\ 18 (1983), no. 4, 755--782 (1984), doi:10.4310/jdg/1214438181

    work page doi:10.4310/jdg/1214438181 1983

  6. [6]

    Beckmann and J

    T. Beckmann and J. Song , Second Chern class and Fujiki constants of hyperk \"a hler manifolds , preprint arXiv:2201.07767 (2022)

    work page arXiv 2022

  7. [7]

    Bellamy, On singular C alogero-- M oser spaces , Bull.\ Lond.\ Math.\ Soc

    G. Bellamy, On singular C alogero-- M oser spaces , Bull.\ Lond.\ Math.\ Soc. 41 (2009), no. 2, 315--326, doi:10.1112/blms/bdp019

    work page doi:10.1112/blms/bdp019 2009

  8. [8]

    1, 99--114, doi:10.1112/S0010437X15007630

    , Counting resolutions of symplectic quotient singularities, Compos.\ Math.\ 152 (2016), no. 1, 99--114, doi:10.1112/S0010437X15007630

    work page doi:10.1112/s0010437x15007630 2016

  9. [9]

    Beri and O

    P. Beri and O. Debarre, On the H odge and B etti numbers of hyper- K \" a hler manifolds , Milan J. Math.\ 90 (2022), no. 2, 417--431, doi:10.1007/s00032-022-00367-w

    work page doi:10.1007/s00032-022-00367-w 2022

  10. [10]

    Birkar, P

    C. Birkar, P. Cascini, C.\,D. Hacon and J. McKernan, Existence of minimal models for varieties of log general type, J. Amer.\ Math.\ Soc.\ 23 (2010), no. 2, 405--468, doi:10.1090/S0894-0347-09-00649-3

    work page doi:10.1090/s0894-0347-09-00649-3 2010

  11. [11]

    Blache, Chern classes and H irzebruch- R iemann- R och theorem for coherent sheaves on complex-projective orbifolds with isolated singularities , Math

    R. Blache, Chern classes and H irzebruch- R iemann- R och theorem for coherent sheaves on complex-projective orbifolds with isolated singularities , Math. Z.\ 222 (1996), no. 1, 7--57, doi:10.1007/PL00004527

    work page doi:10.1007/pl00004527 1996

  12. [12]

    Brakkee, C

    E. Brakkee, C. Camere, A. Grossi, L. Pertusi, G. Sacc\` a and A. Viktorova, Irreducible symplectic varieties via relative Prym varieties, preprint arXiv:2404.03157 (2024)

    work page arXiv 2024

  13. [13]

    Brian c on, Description de Hilb^ n C \ x,y\ , Invent.\ Math.\ 41 (1977), no

    J. Brian c on, Description de Hilb^ n C \ x,y\ , Invent.\ Math.\ 41 (1977), no. 1, 45--90, doi:10.1007/BF01390164

    work page doi:10.1007/bf01390164 1977

  14. [14]

    Campana, The B ogomolov-- B eauville-- Y au decomposition for KLT projective varieties with trivial first C hern class-- without tears , Bull.\ Soc.\ Math.\ France 149 (2021), no

    F. Campana, The B ogomolov-- B eauville-- Y au decomposition for KLT projective varieties with trivial first C hern class-- without tears , Bull.\ Soc.\ Math.\ France 149 (2021), no. 1, 1--13, doi:10.24033/bsmf.2823

    work page doi:10.24033/bsmf.2823 2021

  15. [15]

    Debarre, D

    O. Debarre, D. Huybrechts, E. Macr\`i and C. Voisin, Computing R iemann-- R och polynomials and classifying hyper- K \" a hler fourfolds , J. Amer.\ Math.\ Soc.\ 37 (2024), no. 1, 151--185, doi:10.1090/jams/1016

    work page doi:10.1090/jams/1016 2024

  16. [16]

    Druel, A decomposition theorem for singular spaces with trivial canonical class of dimension at most five, Invent.\ Math.\ 211 (2018), no

    S. Druel, A decomposition theorem for singular spaces with trivial canonical class of dimension at most five, Invent.\ Math.\ 211 (2018), no. 1, 245--296, doi:10.1007/s00222-017-0748-y

    work page doi:10.1007/s00222-017-0748-y 2018

  17. [17]

    Druel and H

    S. Druel and H. Guenancia, A decomposition theorem for smoothable varieties with trivial canonical class, J. \' E c.\ polytech.\ Math.\ 5 (2018), 117--147, doi:10.5802/jep.65

    work page doi:10.5802/jep.65 2018

  18. [18]

    Engel, S

    P. Engel, S. Filipazzi, F. Greer, M. Mauri, and R. Svaldi, Boundedness of some fibered K-trivial varieties, preprint arXiv:2507.00973 (2025)

    work page arXiv 2025

  19. [19]

    Floccari, Sixfolds of generalized Kummer type and K3 surfaces, Compos.\ Math.\ 160 (2024), no

    S. Floccari, Sixfolds of generalized Kummer type and K3 surfaces, Compos.\ Math.\ 160 (2024), no. 2, 388--410, doi:10.1112/s0010437x23007625

    work page doi:10.1112/s0010437x23007625 2024

  20. [20]

    Fu and G

    L. Fu and G. Menet, On the B etti numbers of compact holomorphic symplectic orbifolds of dimension four , Math. Z.\ 299 (2021), no. 1-2, 203--231, doi:10.1007/s00209-020-02682-7

    work page doi:10.1007/s00209-020-02682-7 2021

  21. [21]

    a hler V -manifolds of dimension four , in: Classification of algebraic and analytic manifolds ( K atata, 1982), pp. 71--250, Progr.\ Math., vol. 39, Birkh\

    A. Fujiki, On primitively symplectic compact K \" a hler V -manifolds of dimension four , in: Classification of algebraic and analytic manifolds ( K atata, 1982), pp. 71--250, Progr.\ Math., vol. 39, Birkh\" a user Boston, Boston, MA, 1983

    work page 1982

  22. [22]

    1, 1--97, doi:10.2977/prims/1195175326

    , Finite automorphism groups of complex tori of dimension two, Publ.\ Res.\ Inst.\ Math.\ Sci.\ 24 (1988), no. 1, 1--97, doi:10.2977/prims/1195175326

    work page doi:10.2977/prims/1195175326 1988

  23. [23]

    Giovenzana, A

    L. Giovenzana, A. Grossi, C. Onorati and D.\,C. Veniani, Symplectic rigidity of O ' G rady's tenfolds , Proc.\ Amer.\ Math.\ Soc.\ 152 (2024), no. 7, 2813--2820

    work page 2024

  24. [24]

    Gordon, Punctual Hilbert Schemes of the Plane, Undergraduate thesis, Harvard Univ., 2018, available at https://www.math.harvard.edu/media/gordon.pdf

    A. Gordon, Punctual Hilbert Schemes of the Plane, Undergraduate thesis, Harvard Univ., 2018, available at https://www.math.harvard.edu/media/gordon.pdf

    work page 2018

  25. [25]

    G\" o ttsche and W

    L. G\" o ttsche and W. Soergel, Perverse sheaves and the cohomology of H ilbert schemes of smooth algebraic surfaces , Math.\ Ann.\ 296 (1993), no. 2, 235--245, doi:10.1007/BF01445104

    work page doi:10.1007/bf01445104 1993

  26. [26]

    Grauert, \" U ber M odifikationen und exzeptionelle analytische M engen , Math.\ Ann.\ 146 (1962), 331--368, doi:10.1007/BF01441136

    H. Grauert, \" U ber M odifikationen und exzeptionelle analytische M engen , Math.\ Ann.\ 146 (1962), 331--368, doi:10.1007/BF01441136

    work page doi:10.1007/bf01441136 1962

  27. [27]

    D. Greb, H. Guenancia and S. Kebekus, Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups, Geom.\ Topol.\ 23 (2019), no. 4, 2051--2124, doi:10.2140/gt.2019.23.2051

    work page doi:10.2140/gt.2019.23.2051 2019

  28. [28]

    D. Greb, S. Kebekus, S.\,J. Kov\' a cs and T. Peternell, Differential forms on log canonical spaces, Publ.\ Math.\ Inst.\ Hautes \' E tudes Sci.\ 114 (2011), 87--169, doi:10.1007/s10240-011-0036-0

    work page doi:10.1007/s10240-011-0036-0 2011

  29. [29]

    Grossi, C

    A. Grossi, C. Onorati and D.\,C. Veniani, Symplectic birational transformations of finite order on O ' G rady's sixfolds , Kyoto J. Math.\ 63 (2023), no. 3, 615--639, doi:10.1215/21562261-10577928

    work page doi:10.1215/21562261-10577928 2023

  30. [30]

    Guan, On the Betti numbers of irreducible compact hyperk \"a hler manifolds of complex dimension four , Math.\ Res.\ Lett.\ 8 (2001), no

    D. Guan, On the Betti numbers of irreducible compact hyperk \"a hler manifolds of complex dimension four , Math.\ Res.\ Lett.\ 8 (2001), no. 5-6, 663--669, doi:10.4310/MRL.2001.v8.n5.a8

    work page doi:10.4310/mrl.2001.v8.n5.a8 2001

  31. [31]

    Guenancia, Semistability of the tangent sheaf of singular varieties, Algebr.\ Geom.\ 3 (2016), no

    H. Guenancia, Semistability of the tangent sheaf of singular varieties, Algebr.\ Geom.\ 3 (2016), no. 5, 508--542, doi:10.14231/AG-2016-024

    work page doi:10.14231/ag-2016-024 2016

  32. [32]

    o hn and G. Mason, Finite groups of symplectic automorphisms of hyperk\

    G. H\" o hn and G. Mason, Finite groups of symplectic automorphisms of hyperk\" a hler manifolds of type K3^ [2] , Bull.\ Inst.\ Math.\ Acad.\ Sin.\ (N.S.) 14 (2019), no. 2, 189--264, doi:10.21915/bimas.2019204

    work page doi:10.21915/bimas.2019204 2019

  33. [33]

    H\" o ring and T

    A. H\" o ring and T. Peternell, Algebraic integrability of foliations with numerically trivial canonical bundle, Invent.\ Math.\ 216 (2019), no. 2, 395--419, doi:10.1007/s00222-018-00853-2

    work page doi:10.1007/s00222-018-00853-2 2019

  34. [34]

    Huybrechts, Finiteness results for compact hyperk\" a hler manifolds , J

    D. Huybrechts, Finiteness results for compact hyperk\" a hler manifolds , J. reine angew.\ Math.\ 558 (2003), 15--22, doi:10.1515/crll.2003.038

    work page doi:10.1515/crll.2003.038 2003

  35. [35]

    Kaledin, Symplectic singularities from the P oisson point of view , J

    D. Kaledin, Symplectic singularities from the P oisson point of view , J. reine angew.\ Math.\ 600 (2006), 135--156, doi:10.1515/CRELLE.2006.089

    work page doi:10.1515/crelle.2006.089 2006

  36. [36]

    Kamenova, Survey of finiteness results for hyperk\" a hler manifolds , in: Phenomenological approach to algebraic geometry, pp

    L. Kamenova, Survey of finiteness results for hyperk\" a hler manifolds , in: Phenomenological approach to algebraic geometry, pp. 77--86, Banach Center Publ., vol. 116, Polish Acad.\ Sci.\ Inst.\ Math., Warsaw, 2018

    work page 2018

  37. [37]

    Kamenova, G

    L. Kamenova, G. Mongardi and A. Oblomkov, Symplectic involutions of K3^ [n] type and K ummer n type manifolds , Bull.\ Lond.\ Math.\ Soc.\ 54 (2022), no. 3, 894--909, doi:10.1112/blms.12594

    work page doi:10.1112/blms.12594 2022

  38. [38]

    , Fixed loci of symplectic automorphisms of K3^ [n] and n -Kummer type manifolds , preprint arXiv:2308.14692 (2023)

    work page arXiv 2023

  39. [39]

    Kapfer and G

    S. Kapfer and G. Menet, Integral cohomology of the generalized K ummer fourfold , Algebr.\ Geom.\ 5 (2018), no. 5, 523--567, doi:10.14231/ag-2018-014

    work page doi:10.14231/ag-2018-014 2018

  40. [40]

    On the birational geometry for irreducible symplectic 4-folds related to the Fano schemes of lines

    K. Kawatani, On the birational geometry for irreducible symplectic 4-folds related to the Fano schemes of lines , preprint arXiv:0906.0654 (2009)

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  41. [41]

    Kebekus and C

    S. Kebekus and C. Schnell, Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities, J. Amer.\ Math.\ Soc. 34 (2021), no. 2, 315--368, doi:10.1090/jams/962

    work page doi:10.1090/jams/962 2021

  42. [42]

    Kim and R

    Y.\,J. Kim and R. Laza, A conjectural bound on the second B etti number for hyper- K \" a hler manifolds , Bull.\ Soc.\ Math.\ France 148 (2020), no. 3, 467--480, doi:10.24033/bsmf.2813

    work page doi:10.24033/bsmf.2813 2020

  43. [43]

    2013 , PAGES =

    J. Koll\' a r, Singularities of the minimal model program (with the collaboration of S. Kov\' a cs), Cambridge Tracts in Math., vol. 200, Cambridge Univ.\ Press, Cambridge, 2013, doi:10.1017/CBO9781139547895

    work page doi:10.1017/cbo9781139547895 2013

  44. [44]

    1998 , PAGES =

    J. Koll \'a r and S. Mori, Birational geometry of algebraic varieties (with the collaboration of C.\,H. Clemens and A. Corti; translated from the 1998 Japanese original), Cambridge Tracts in Math., vol. 134, Cambridge Univ.\ Press, Cambridge, 1998, doi:10.1017/CBO9780511662560

    work page doi:10.1017/cbo9780511662560 1998

  45. [45]

    Kurnosov, On an inequality for B etti numbers of hyper- K \" a hler manifolds of dimension six , Mat.\ Zametki 99 (2016), no

    N. Kurnosov, On an inequality for B etti numbers of hyper- K \" a hler manifolds of dimension six , Mat.\ Zametki 99 (2016), no. 2, 309--313, doi:10.4213/mzm10838

    work page doi:10.4213/mzm10838 2016

  46. [46]

    Lehn and C

    M. Lehn and C. Sorger, A symplectic resolution for the binary tetrahedral group, in: Geometric methods in representation theory. II , pp. 429--435, S\' e min.\ Congr., vol. 24-II, Soc.\ Math.\ France, Paris, 2012

    work page 2012

  47. [47]

    Y. Liu, Z. Liu and C. Xu, Irreducible symplectic varieties with a large second Betti number , preprint arXiv:2410.01566 (2024)

    work page arXiv 2024

  48. [48]

    Losev, Deformations of symplectic singularities and orbit method for semisimple L ie algebras , Selecta Math.\ (N.S.) 28 (2022), no

    I. Losev, Deformations of symplectic singularities and orbit method for semisimple L ie algebras , Selecta Math.\ (N.S.) 28 (2022), no. 2, Paper No. 30, doi:10.1007/s00029-021-00754-y

    work page doi:10.1007/s00029-021-00754-y 2022

  49. [49]

    Markushevich and A.\,S

    D. Markushevich and A.\,S. Tikhomirov, New symplectic V -manifolds of dimension four via the relative compactified P rymian , Internat. J.\ Math.\ 18 (2007), no. 10, 1187--1224, doi:10.1142/S0129167X07004503

    work page doi:10.1142/s0129167x07004503 2007

  50. [50]

    Matsushita, On base manifolds of L agrangian fibrations , Sci.\ China Math

    D. Matsushita, On base manifolds of L agrangian fibrations , Sci.\ China Math. 58 (2015), no. 3, 531--542, doi:10.1007/s11425-014-4927-7

    work page doi:10.1007/s11425-014-4927-7 2015

  51. [51]

    Matteini, A singular symplectic variety of dimension 6 with a L agrangian P rym fibration , Manuscripta Math.\ 149 (2016), no

    T. Matteini, A singular symplectic variety of dimension 6 with a L agrangian P rym fibration , Manuscripta Math.\ 149 (2016), no. 1-2, 131--151, doi:10.1007/s00229-015-0777-z

    work page doi:10.1007/s00229-015-0777-z 2016

  52. [52]

    Menet, Global T orelli theorem for irreducible symplectic orbifolds , J

    G. Menet, Global T orelli theorem for irreducible symplectic orbifolds , J. Math.\ Pures Appl.\ (9) 137 (2020), 213--237, doi:10.1016/j.matpur.2020.03.010

    work page doi:10.1016/j.matpur.2020.03.010 2020

  53. [53]

    , Thirty-three deformation classes of compact hyperk \"a hler orbifolds , preprint arXiv:2211.14524 (2022)

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  54. [54]

    Mongardi, On symplectic automorphisms of hyper- K \" a hler fourfolds of K3^ [2] type , Michigan Math

    G. Mongardi, On symplectic automorphisms of hyper- K \" a hler fourfolds of K3^ [2] type , Michigan Math. J.\ 62 (2013), no. 3, 537--550, doi:10.1307/mmj/1378757887

    work page doi:10.1307/mmj/1378757887 2013

  55. [55]

    Z.\ 282 (2016), no

    , Towards a classification of symplectic automorphisms on manifolds of K3^ [n] type , Math. Z.\ 282 (2016), no. 3-4, 651--662, doi:10.1007/s00209-015-1557-x

    work page doi:10.1007/s00209-015-1557-x 2016

  56. [56]

    Mongardi, K

    G. Mongardi, K. Tari and M. Wandel, Prime order automorphisms of generalised K ummer fourfolds , Manuscripta Math.\ 155 (2018), no. 3-4, 449--469, doi:10.1007/s00229-017-0942-7

    work page doi:10.1007/s00229-017-0942-7 2018

  57. [57]

    Mongardi and M

    G. Mongardi and M. Wandel, Automorphisms of O ' G rady's manifolds acting trivially on cohomology , Algebr.\ Geom.\ 4 (2017), no. 1, 104--119, doi:10.14231/AG-2017-005

    work page doi:10.14231/ag-2017-005 2017

  58. [58]

    Namikawa, Deformation theory of singular symplectic n -folds , Math.\ Ann.\ 319 (2001), no

    Y. Namikawa, Deformation theory of singular symplectic n -folds , Math.\ Ann.\ 319 (2001), no. 3, 597--623, doi:10.1007/PL00004451

    work page doi:10.1007/pl00004451 2001

  59. [59]

    , A note on symplectic singularities , preprint arXiv:math/0101028 (2001)

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  60. [60]

    reine angew.\ Math.\ 599 (2006), 97--110, doi:10.1515/CRELLE.2006.079

    , On deformations of\, Q -factorial symplectic varieties , J. reine angew.\ Math.\ 599 (2006), 97--110, doi:10.1515/CRELLE.2006.079

    work page doi:10.1515/crelle.2006.079 2006

  61. [61]

    , TITLE =

    , Flops and P oisson deformations of symplectic varieties , Publ.\ Res.\ Inst.\ Math.\ Sci.\ 44 (2008), no. 2, 259--314, doi:10.2977/prims/1210167328

    work page doi:10.2977/prims/1210167328 2008

  62. [62]

    Nikulin, Finite automorphism groups of K \"a hler K3 surfaces , Trudy Moskov.\ Mat.\ Obshch.\ 38 (1979), 75--137 (Russian); Trans.\ Moscow Math.\ Soc.\ 2 (1980), 71--135 (English)

    V.\,V. Nikulin, Finite automorphism groups of K \"a hler K3 surfaces , Trudy Moskov.\ Mat.\ Obshch.\ 38 (1979), 75--137 (Russian); Trans.\ Moscow Math.\ Soc.\ 2 (1980), 71--135 (English)

    work page 1979

  63. [63]

    O'Grady, Desingularized moduli spaces of sheaves on a K3 , J

    K.\,G. O'Grady, Desingularized moduli spaces of sheaves on a K3 , J. reine angew.\ Math.\ (1999), no. 512, 49--117, doi:10.1515/crll.1999.056

    work page doi:10.1515/crll.1999.056 1999

  64. [64]

    Algebraic Geom.\ 12 (2003), no

    , A new six-dimensional irreducible symplectic variety, J. Algebraic Geom.\ 12 (2003), no. 3, 435--505, doi:10.1090/S1056-3911-03-00323-0

    work page doi:10.1090/s1056-3911-03-00323-0 2003

  65. [65]

    16, 12356--12419, doi:10.1093/imrn/rnz166

    , Compact tori associated to hyperk\" a hler manifolds of K ummer type , Int.\ Math.\ Res.\ Not.\ IMRN (2021), no. 16, 12356--12419, doi:10.1093/imrn/rnz166

    work page doi:10.1093/imrn/rnz166 2021

  66. [66]

    P erego, Examples of irreducible symplectic varieties, in: Birational geometry and moduli spaces, pp

    A. P erego, Examples of irreducible symplectic varieties, in: Birational geometry and moduli spaces, pp. 151--172, Springer INdAM Ser., vol. 39, Springer, Cham, 2020, doi:10.1007/978-3-030-37114-2\_9

    work page doi:10.1007/978-3-030-37114-2 2020

  67. [67]

    P erego and A

    A. P erego and A. R apagnetta, Irreducible symplectic varieties from moduli spaces of sheaves on K 3 and A belian surfaces , Algebr.\ Geom.\ 10 (2023), no. 3, 348--393, doi:10.14231/ag-2023-012

    work page doi:10.14231/ag-2023-012 2023

  68. [68]

    Pietromonaco, G -invariant H ilbert schemes on A belian surfaces and enumerative geometry of the orbifold K ummer surface , Res.\ Math.\ Sci.\ 9 (2022), no

    S. Pietromonaco, G -invariant H ilbert schemes on A belian surfaces and enumerative geometry of the orbifold K ummer surface , Res.\ Math.\ Sci.\ 9 (2022), no. 1, Paper No. 1, doi:10.1007/s40687-021-00298-9

    work page doi:10.1007/s40687-021-00298-9 2022

  69. [69]

    Sawon, A bound on the second B etti number of hyperk\" a hler manifolds of complex dimension six , Eur

    J. Sawon, A bound on the second B etti number of hyperk\" a hler manifolds of complex dimension six , Eur. J.\ Math.\ 8 (2022), no. 3, 1196--1212, doi:10.1007/s40879-021-00526-0

    work page doi:10.1007/s40879-021-00526-0 2022

  70. [70]

    Sawon and C

    J. Sawon and C. Shen, Deformations of compact P rym fibrations to H itchin systems , Bull.\ Lond.\ Math.\ Soc.\ 54 (2022), no. 5, 1568--1583, doi:10.1112/blms.12643

    work page doi:10.1112/blms.12643 2022

  71. [71]

    Schwald, Fujiki relations and fibrations of irreducible symplectic varieties, \' E pijournal G\' e om.\ Alg\' e brique 4 (2020), Art

    M. Schwald, Fujiki relations and fibrations of irreducible symplectic varieties, \' E pijournal G\' e om.\ Alg\' e brique 4 (2020), Art. 7, doi:10.46298/epiga.2020.volume4.4557

    work page doi:10.46298/epiga.2020.volume4.4557 2020

  72. [72]

    Sernesi, Deformations of algebraic schemes, Grundlehren math.\ Wiss., vol

    E. Sernesi, Deformations of algebraic schemes, Grundlehren math.\ Wiss., vol. 334, Springer-Verlag, Berlin, 2006

    work page 2006

  73. [73]

    Tari, Automorphismes des vari\'et\'es de Kummer g\'en\'eralis\'ees, Ph.D

    K. Tari, Automorphismes des vari\'et\'es de Kummer g\'en\'eralis\'ees, Ph.D. thesis, Poitiers University, 2015, available at https://theses.fr/2015POIT2301

    work page 2015

  74. [74]

    Tighe, The LLV Algebra for Primitive Symplectic Varieties with Isolated Singularities , \' E pijournal G\' e om.\ Alg\' e brique 9 (2025), Art

    B. Tighe, The LLV Algebra for Primitive Symplectic Varieties with Isolated Singularities , \' E pijournal G\' e om.\ Alg\' e brique 9 (2025), Art. 6, doi:10.46298/epiga.2025.12186

    work page doi:10.46298/epiga.2025.12186 2025

  75. [75]

    Wang, Structure of projective varieties with nef anticanonical divisor: the case of log terminal singularities, Math.\ Ann.\ 384 (2022), no

    J. Wang, Structure of projective varieties with nef anticanonical divisor: the case of log terminal singularities, Math.\ Ann.\ 384 (2022), no. 1-2, 47--100, doi:10.1007/s00208-021-02275-7

    work page doi:10.1007/s00208-021-02275-7 2022

  76. [76]

    Xiao, Galois covers between K3 surfaces , Ann.\ Inst.\ Fourier (Grenoble) 46 (1996), no

    G. Xiao, Galois covers between K3 surfaces , Ann.\ Inst.\ Fourier (Grenoble) 46 (1996), no. 1, 73--88, doi:10.5802/aif.1507

    work page doi:10.5802/aif.1507 1996