REVIEW 1 minor 119 references
Irreducible symplectic varieties via K3-del Pezzo double covers
T0 review · 0 major / 1 minor · reviewed 2026-06-26 · grok-4.3
Pith's one-line read Irreducible symplectic varieties of dimensions 4 to 20 arise as terminalisations of finite symplectic quotients of Beauville-Mukai systems on K3-del Pezzo double covers.
desk verdict This paper constructs new irreducible symplectic varieties in dimensions 4-20 with b2 16-24 via K3-del Pezzo double covers, Beauville-Mukai systems, and terminalised quotients. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
non-trivial terminalisations of finite symplectic quotients of Beauville-Mukai systems on very general K3-del Pezzo double covers
What would settle it
An explicit computation for any single n between 2 and 10 showing that the terminalisation either fails to be symplectic, introduces non-terminal singularities, or yields a variety whose second Betti number lies outside 16-24.
Extended reading notes
Core claim
We construct a series of irreducible symplectic varieties of dimension 2n, for 2≤n≤10, with second Betti numbers 16≤b2≤24. They arise as non-trivial terminalisations of finite symplectic quotients of Beauville-Mukai systems on very general K3-del Pezzo double covers.
Load-bearing premise
The finite symplectic quotients of the Beauville-Mukai systems on very general K3-del Pezzo double covers admit non-trivial terminalisations that remain irreducible symplectic varieties.
Editorial extensions
If this is right
- Examples exist in every even dimension from 4 through 20.
- The second Betti numbers of these varieties lie between 16 and 24 inclusive.
- The source objects are Beauville-Mukai systems on very general K3 surfaces that double-cover del Pezzo surfaces.
- The group actions used to form the quotients are finite and symplectic.
- The terminalisations are non-trivial, meaning they differ from the original quotients.
Reading between the lines
- These varieties may supply test cases for conjectures on the possible values of b2 for irreducible symplectic varieties in each dimension.
- Further Hodge numbers or the Fujiki relation constant could be computed directly from the construction for small n.
- The same quotient-and-terminalise method might apply to other families of surfaces carrying Beauville-Mukai systems.
- The resulting moduli spaces of these new varieties could be compared with known deformation types.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs a series of irreducible symplectic varieties of dimension 2n for 2 ≤ n ≤ 10, with second Betti numbers satisfying 16 ≤ b₂ ≤ 24. These varieties are obtained as non-trivial terminalisations of finite symplectic quotients of Beauville-Mukai systems on very general K3-del Pezzo double covers.
Significance. If the central construction holds, the work supplies new examples of irreducible symplectic varieties in dimensions up to 20 whose Betti numbers lie in a previously sparsely populated range. The approach via K3-del Pezzo double covers and controlled symplectic quotients offers a systematic geometric source that could be compared with existing deformation classes of hyperkähler varieties and their singular analogues.
minor comments (1)
- The abstract states the dimension range and Betti-number bounds but does not indicate whether the terminalisation process is shown to preserve the symplectic form or the irreducibility of the resulting variety; a dedicated section or proposition establishing these preservation properties would strengthen the exposition.
Simulated Author's Rebuttal
We thank the referee for their summary of the manuscript and for noting its potential significance in providing new examples of irreducible symplectic varieties. No specific major comments were provided in the report.
Circularity Check
No significant circularity; construction is self-contained
full rationale
The paper is a geometric construction claiming existence of certain irreducible symplectic varieties as terminalisations of quotients of Beauville-Mukai systems on K3-del Pezzo double covers. No equations, fitted parameters, or predictions are present that reduce by construction to the paper's own inputs. The central claim is an existence result relying on standard algebraic geometry techniques (quotients, terminalisations, symplectic forms) without self-definitional loops, self-citation load-bearing premises, or renaming of known results. The reader's assessment of score 1.0 aligns with this; the derivation chain does not collapse to tautology.
Assumptions & free parameters
assumptions (2)
- domain assumption Very general K3-del Pezzo double covers exist and carry Beauville-Mukai systems admitting finite symplectic quotients.
- domain assumption Non-trivial terminalisations of these quotients remain irreducible symplectic varieties.
Cite this review
Pith. "Pith review of Irreducible symplectic varieties via K3-del Pezzo double covers." pith.science (2026). https://pith.science/paper/YD7VFVT6
@misc{pith2026260618357,
author = {Pith},
title = {Pith review of: Irreducible symplectic varieties via K3-del Pezzo double covers},
year = {2026},
howpublished = {\url{https://pith.science/paper/YD7VFVT6}},
note = {Machine review of arXiv:2606.18357}
}
abstract
We construct a series of irreducible symplectic varieties of dimension $2n$, for $2\leq n\leq 10$, with second Betti numbers $16\leq b_2\leq 24$. They arise as non-trivial terminalisations of finite symplectic quotients of Beauville-Mukai systems on very general K3-del Pezzo double covers.
Figures
Reference graph
Works this paper leans on
-
[1]
arXiv , author =:2406.00395 , note =
Holomorphic symplectic manifolds from semistable. arXiv , author =:2406.00395 , note =
-
[2]
Thirty-three deformation classes of compact hyperk\"ahler orbifolds
Thirty-three deformation classes of compact hyperk\"ahler orbifolds , url =. arXiv , author =:2211.14524 , note =
-
[3]
arXiv , author =:2511.17700 , note =
Moduli of sheaves and deformation to the normal cone , url =. arXiv , author =:2511.17700 , note =
-
[4]
and Hall, J
Alper, J. and Hall, J. and Rydh, D. , doi =. A. Ann. of Math. (2) , mrclass =
-
[5]
and Sacc\`a, G
Arbarello, E. and Sacc\`a, G. and Ferretti, A. , fjournal =. Relative. J. Differential Geom. , mrclass =
-
[6]
and Sacc\`a, G
Arbarello, E. and Sacc\`a, G. , doi =. Singularities of moduli spaces of sheaves on. Adv. Math. , mrclass =
-
[7]
Arbarello, E. and Sacc\`a, G. , booktitle =. Singularities of. doi:10.1007/978-3-031-66230-0\_1 , isbn =
-
[8]
, journal =
Arinkin, D. , journal =. Autoduality of compactified
Show all 119 references
-
[9]
Markman, E. , doi =. On the monodromy of moduli spaces of sheaves on. J. Algebraic Geom. , mrclass =
-
[10]
and Lehn, C
Bakker, B. and Lehn, C. , doi =. The global moduli theory of symplectic varieties , url =. J. Reine Angew. Math. , mrclass =
-
[11]
and Manetti, M
Bandiera, R. and Manetti, M. and Meazzini, F. , doi =. Formality conjecture for minimal surfaces of. Compos. Math. , mrclass =
-
[12]
and Macr\`i, E
Bayer, A. and Macr\`i, E. , doi =. M. Invent. Math. , mrclass =
-
[13]
, journal =
Beauville, A. , journal =. Vari\'et\'es k\"ahl\'eriennes dont la premi\`ere classe de Chern est nulle , volume =
-
[14]
Beauville, A. , doi =. Symplectic singularities , url =. Invent. Math. , mrclass =
-
[15]
, journal =
Beckmann, T. , journal =. Derived categories of hyper-
-
[16]
, journal =
Beckmann, T. , journal =. Atomic objects on hyper-
-
[17]
and Schedler, T
Bellamy, G. and Schedler, T. , doi =. Symplectic resolutions of quiver varieties , url =. Selecta Math. (N.S.) , mrclass =
-
[18]
and Grossi, A
Bertini, V. and Grossi, A. and Mauri, M. and Mazzon, E. , doi =. Terminalizations of quotients of compact hyperk\"ahler manifolds by induced symplectic automorphisms , volume =. \'Epijournal G\'eom. Alg\'ebrique , keywords =. 2025 , zbmath =
2025
-
[19]
, journal =
Bottini, A. , journal =. Towards a modular construction of
-
[20]
arXiv , author =:2411.18528 , note =
O'. arXiv , author =:2411.18528 , note =
-
[21]
arXiv , author =:2603.09477 , note =
Semi-rigid stable sheaves: a criterion and examples , url =. arXiv , author =:2603.09477 , note =
-
[22]
and Camere, C
Brakkee, E. and Camere, C. and Grossi, A. and Pertusi, L. and Sacc\`a, G. and Viktorova, S. , doi =. Irreducible symplectic varieties via relative. Adv. Math. , mrclass =
-
[23]
and Zhang, Z
Budur, N. and Zhang, Z. , doi =. Formality conjecture for. Compos. Math. , mrclass =
-
[24]
Chen, T. H. and Ng\^o, B. C. , doi =. On the. Duke Math. J. , mrclass =
-
[25]
and Hauser, H
Chiu, C. and Hauser, H. , doi =. Isosingular loci of algebraic varieties , url =. J. Pure Appl. Algebra , mrclass =
-
[26]
Crawley-Boevey, W. , doi =. Geometry of the moment map for representations of quivers , url =. Compos. Math. , mrclass =
-
[27]
Crawley-Boevey, W. , doi =. Normality of. Math. Ann. , mrclass =
-
[28]
Davison, B. , doi =. Purity and 2-. Invent. Math. , mrclass =
-
[29]
and Markman, E
Donagi, R. and Markman, E. , booktitle =. Spectral curves, algebraically completely integrable
-
[30]
arXiv , author =:alg-geom/9504017 , note =
A non-linear deformation of the. arXiv , author =:alg-geom/9504017 , note =
-
[31]
Ephraim, R. , doi =. Isosingular loci and the. Trans. Amer. Math. Soc. , mrclass =
-
[32]
and Hanson, R
Franco, E. and Hanson, R. and Ruano, J. , journal =. Fourier--
-
[33]
, booktitle =
Fujiki, A. , booktitle =. On primitively symplectic compact
-
[34]
and Kebekus, S
Greb, D. and Kebekus, S. and Kov\'acs, S. J. and Peternell, T. , doi =. Differential forms on log canonical spaces , url =. Publ. Math. Inst. Hautes \'Etudes Sci. , mrclass =
-
[35]
and Guenancia, H
Greb, D. and Guenancia, H. and Kebekus, S. , doi =. Klt varieties with trivial canonical class: holonomy, differential forms, and fundamental groups , url =. Geom. Topol. , mrclass =
-
[36]
and Kebekus, S
Greb, D. and Kebekus, S. and Peternell, T. , booktitle =. Singular spaces with trivial canonical class , url =. doi:10.2969/aspm/07010067 , isbn =
-
[37]
Harbourne, B. , doi =. Complete linear systems on rational surfaces , url =. Trans. Amer. Math. Soc. , mrclass =
-
[38]
and Peternell, T
H\"oring, A. and Peternell, T. , doi =. Algebraic integrability of foliations with numerically trivial canonical bundle , url =. Invent. Math. , mrclass =
-
[39]
arXiv , author =:2502.09774 , note =
The period--index problem for hyper-. arXiv , author =:2502.09774 , note =
-
[40]
Hunziker, M. , doi =. Classical invariant theory for finite reflection groups , url =. Transform. Groups , mrclass =
-
[41]
Kaledin, D. , doi =. Symplectic singularities from the. J. Reine Angew. Math. , mrclass =
-
[42]
and Lehn, M
Kaledin, D. and Lehn, M. , doi =. Local structure of hyperk\"ahler singularities in. Mosc. Math. J. , number =
-
[43]
and Lehn, M
Kaledin, D. and Lehn, M. and Sorger, C. , doi =. Singular symplectic moduli spaces , url =. Invent. Math. , mrclass =
-
[44]
Kebekus, S. , doi =. Pull-back morphisms for reflexive differential forms , url =. Adv. Math. , mrclass =
-
[45]
and Schnell, C
Kebekus, S. and Schnell, C. , doi =. Extending holomorphic forms from the regular locus of a complex space to a resolution of singularities , url =. J. Amer. Math. Soc. , mrclass =
-
[46]
Koll\'ar, J. , doi =. Shafarevich maps and automorphic forms , url =
-
[47]
and Mori, S
Koll\'ar, J. and Mori, S. , doi =. Birational geometry of algebraic varieties , url =
-
[48]
and Procesi, C
Kraft, H. and Procesi, C. , doi =. On the geometry of conjugacy classes in classical groups , url =. Comment. Math. Helv. , mrclass =
-
[49]
and Sacc\`a, G
Laza, R. and Sacc\`a, G. and Voisin, C. , journal =. A hyper-
-
[50]
and Cascini, P
Birkar, C. and Cascini, P. and Hacon, C. D. and McKernan, J. , doi =. Existence of minimal models for varieties of log general type , url =. J. Amer. Math. Soc. , mrclass =
-
[51]
Dolgachev, I. V. , doi =. Classical algebraic geometry , url =
-
[52]
Menet, G. , doi =. On the integral cohomology of quotients of manifolds by cyclic groups , url =. J. Math. Pures Appl. (9) , mrclass =
-
[53]
Menet, G. , doi =. Beauville-. J. Pure Appl. Algebra , mrclass =
-
[54]
Dolgachev, I. V. , doi =. Mirror symmetry for lattice polarized. J. Math. Sci. , mrclass =
-
[55]
arXiv , author =:2604.06851 , note =
A symplectic fourfold , url =. arXiv , author =:2604.06851 , note =
-
[56]
, booktitle =
Beauville, A. , booktitle =. Syst\`emes hamiltoniens compl\`etement int\'egrables associ\'es aux surfaces
-
[57]
Franco, E. , doi =. Degeneration of natural. Math. Z. , mrclass =
-
[58]
and Guenancia, H
Bakker, B. and Guenancia, H. and Lehn, C. , doi =. Algebraic approximation and the decomposition theorem for. Invent. Math. , mrclass =
-
[59]
and Garbagnati, A
Camere, C. and Garbagnati, A. and Kapustka, G. and Kapustka, M. , doi =. Projective orbifolds of. Algebra Number Theory , mrclass =
-
[60]
and Liu, Z
Liu, Y. and Liu, Z. and Xu, C. , doi =. Irreducible symplectic varieties with a large second. J. Reine Angew. Math. , mrclass =
-
[61]
and Lin, H.-Y
Yamagishi, R. and Lin, H.-Y. , note =
-
[62]
arXiv , author =:2602.16492 , note =
Terminalizations of quotients of Fano varieties of lines on cubic fourfolds , url =. arXiv , author =:2602.16492 , note =
-
[63]
Bottini, A. , doi =. Stable sheaves on. Kyoto J. Math. , mrclass =
-
[64]
arXiv , author =:2411.06505 , note =
Compactifying. arXiv , author =:2411.06505 , note =
-
[65]
Rim, D. S. , booktitle =. Formal deformation theory , volume =
-
[66]
Simpson, C. T. , fjournal =. Moduli of representations of the fundamental group of a smooth projective variety. Inst. Hautes \'Etudes Sci. Publ. Math. , mrclass =
-
[67]
and Procesi, C
Le Bruyn, L. and Procesi, C. , doi =. Semisimple representations of quivers , url =. Trans. Amer. Math. Soc. , mrclass =
-
[68]
Ma, S. , doi =. Rationality of the moduli spaces of 2-elementary. J. Algebraic Geom. , mrclass =
-
[69]
, journal =
Markman, E. , journal =. Stable vector bundles on a hyper-
-
[70]
and Tikhomirov, A
Markushevich, D. and Tikhomirov, A. S. , doi =. New symplectic. Internat. J. Math. , mrclass =
-
[71]
Matsushita, D. , doi =. On base manifolds of. Sci. China Math. , mrclass =
-
[72]
Matteini, T. , doi =. A singular symplectic variety of dimension 6 with a. Manuscripta Math. , mrclass =
-
[73]
and Onorati, C
Meazzini, F. and Onorati, C. , journal =. Hyper-holomorphic connections on vector bundles on hyper-
-
[74]
Mongardi, G. , doi =. Symplectic involutions on deformations of. Cent. Eur. J. Math. , mrclass =
-
[75]
Tighe, B. , doi =. The. \'Epijournal G\'eom. Alg\'ebrique , mrclass =
-
[76]
Mongardi, G. , doi =. On natural deformations of symplectic automorphisms of manifolds of. C. R. Math. Acad. Sci. Paris , number =
-
[77]
and Wandel, M
Mongardi, G. and Wandel, M. , doi =. Automorphisms of. Algebr. Geom. , number =
-
[78]
Floccari, S. , doi =. Sixfolds of generalized. Compos. Math. , number =
-
[79]
and Nieper-Wi
Boissi\`ere, S. and Nieper-Wi. Higher dimensional. doi:10.1016/j.matpur.2010.12.003 , journal =
2010 doi
-
[80]
Schlessinger, M. , doi =. Functors of. Trans. Amer. Math. Soc. , mrclass =
-
[81]
, journal =
Mukai, S. , journal =. Duality between
-
[82]
Mukai, S. , doi =. Symplectic structure of the moduli space of sheaves on an abelian or. Invent. Math. , mrclass =
-
[83]
, booktitle =
Mukai, S. , booktitle =. On the moduli space of bundles on
-
[84]
and Fogarty, J
Mumford, D. and Fogarty, J. and Kirwan, F. , edition =. Geometric invariant theory , volume =
-
[85]
O'Grady, K. G. , journal =. Desingularized moduli spaces of sheaves on a
-
[86]
O'Grady, K. G. , journal =. A new six dimensional irreducible symplectic variety , volume =
-
[87]
O'Grady, K. G. , journal =. Modular sheaves on hyperk\"ahler varieties , volume =
-
[88]
arXiv , author =:2407.18101 , note =
Modular sheaves with many moduli , url =. arXiv , author =:2407.18101 , note =
-
[89]
O'Grady, K. G. , journal =. Rigid modular sheaves on hyperk\"ahler fourfolds of
-
[90]
O'Grady, K. G. , journal =. Rigid stable vector bundles on hyperk\"ahler varieties of type
-
[91]
Altman, A. B. and Kleiman, S. L. , doi =. Compactifying the. Adv. Math. , mrclass =
-
[92]
Nikulin, V. V. , doi =. Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by 2-reflections , url =. J. Soviet Math. , number =
-
[93]
Yoshikawa, K.-I. , doi =. Invent. Math. , mrclass =
-
[94]
Kawamata, Y. , doi =. Flops connect minimal models , url =. Publ. Res. Inst. Math. Sci. , mrclass =
-
[95]
Namikawa, Y. , doi =. Deformation theory of singular symplectic. Math. Ann. , mrclass =
-
[96]
Namikawa, Y. , doi =. On deformations of. J. Reine Angew. Math. , pages =
-
[97]
and Wentworth, R
Matsuki, K. and Wentworth, R. , doi =. Mumford-. Internat. J. Math. , mrclass =
-
[98]
and Rapagnetta, A
Perego, A. and Rapagnetta, A. , doi =. Deformation of the. J. Reine Angew. Math. , mrclass =
-
[99]
and Rapagnetta, A
Perego, A. and Rapagnetta, A. , doi =. Irreducible symplectic varieties from moduli spaces of sheaves on. Algebr. Geom. , mrclass =
-
[100]
and Rapagnetta, A
Perego, A. and Rapagnetta, A. , doi =. The second integral cohomology of moduli spaces of sheaves on. Adv. Math. , mrclass =
-
[101]
and Nikulin, V
Alexeev, V. and Nikulin, V. V. , doi =. Del
-
[102]
Prokhorov, Y. G. , doi =. Equivariant minimal model program , url =. Uspekhi Mat. Nauk , mrclass =
-
[103]
Saint-Donat, B. , doi =. Projective models of. Amer. J. Math. , mrclass =
-
[104]
, journal =
Taelman, L. , journal =. Derived equivalences of hyperk\"ahler varieties , volume =
-
[105]
Takayama, S. , doi =. Local simple connectedness of resolutions of log-terminal singularities , url =. Internat. J. Math. , mrclass =
-
[106]
Toda, Y. , doi =. Moduli stacks of semistable sheaves and representations of. Geom. Topol. , mrclass =
-
[107]
Vaccarino, F. , doi =. Linear representations, symmetric products and the commuting scheme , url =. J. Algebra , mrclass =
-
[108]
Verbitsky, M. S. , journal =. Hyperholomorphic bundles over a hyper-
-
[109]
, mrclass =
Weyl, H. , mrclass =. The
-
[110]
Yoshioka, K. , doi =. Twisted stability and. Compos. Math. , mrclass =
-
[111]
and Lehn, C
Bakker, B. and Lehn, C. , doi =. A global. J. Eur. Math. Soc. (JEMS) , mrclass =
-
[112]
and Rapagnetta, A
Perego, A. and Rapagnetta, A. , doi =. Factoriality properties of moduli spaces of sheaves on abelian and. Int. Math. Res. Not. IMRN , mrclass =
-
[113]
and Sorger, C
Lehn, M. and Sorger, C. , doi =. La singularit\'e. J. Algebraic Geom. , mrclass =
-
[114]
O'Grady, K. G. , fjournal =. The weight-two. J. Algebraic Geom. , mrclass =
-
[115]
and Lehn, M
Huybrechts, D. and Lehn, M. , doi =. The geometry of moduli spaces of sheaves , url =
-
[116]
arXiv , author =:math/9907001 , note =
Irreducibility of moduli spaces of vector bundles on. arXiv , author =:math/9907001 , note =
-
[117]
Yoshioka, K. , doi =. Twisted stability and. Manuscripta Math. , mrclass =
-
[118]
Yoshioka, K. , doi =. Moduli spaces of stable sheaves on abelian surfaces , url =. Math. Ann. , mrclass =
-
[119]
Yoshioka, K. , doi =. Stability and the. Compos. Math. , number =
Reviewed June 26, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.