Pith. sign in

REVIEW 1 major objections 59 references

Coble type hypersurfaces and hyperk\"ahler fourfolds

T0 review · 1 major / 0 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read General hyperkähler fourfolds of K3^[2] type with square 4 or 6 admit a unique Coble-type hypersurface having the fourfold as singular locus.

desk verdict The paper states a precise hyperkähler analogue of Coble's classical singular-locus embeddings for two specific 20-dimensional families, but the abstract supplies no proof steps so the claim stays unverified. read the letter →

arxiv 2606.10884 v1 pith:6E6YLWLP submitted 2026-06-09 math.AG

Benedetta Piroddi , Ángel David Ríos Ortiz , Andrés Rojas , Jieao Song This is my paper · ORCID
classification math.AG
keywords hyperkählerfourfoldsK3^[2]-typeCoblehypersurfacemodulispacespolarizedvarietiessingularlocusJacobianembeddings
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 Coble's classical results, where a genus 2 Jacobian embeds in P^8 as the singular locus of a unique cubic and a genus 3 Kummer embeds in P^7 as the singular locus of a unique quartic. It proves an analogue for hyperkähler fourfolds: the general member of two 20-dimensional locally complete families of polarized K3^[2]-type fourfolds with square 4 or 6 and divisibility 1 lies as the singular locus of a unique Coble-type hypersurface. This yields concrete descriptions of geometric features of the associated moduli spaces. A reader cares because the result supplies projective embeddings that tie these fourfolds directly to classical constructions involving abelian varieties.

What carries the argument

The Coble type hypersurface, a hypersurface in projective space whose singular locus coincides with the hyperkähler fourfold, which carries the argument by supplying the embedding and uniqueness that mirrors the classical Jacobian and Kummer cases.

What would settle it

A polarized hyperkähler fourfold of K3^[2]-type with square 4 or 6 and divisibility 1 that either fails to lie on any Coble-type hypersurface or lies on more than one such hypersurface.

Watch

Extended reading notes

Core claim

For the general member in the 20-dimensional locally complete families of polarized hyperkähler fourfolds of K3^[2]-type with squares 4 or 6 and divisibility 1, we establish the existence of a unique Coble type hypersurface. As a consequence, we describe several geometric aspects of the corresponding moduli spaces.

Load-bearing premise

The classical Coble embedding phenomenon extends verbatim to these hyperkähler fourfolds of the given numerical types, with the general member satisfying the required embedding and uniqueness without further conditions.

Editorial extensions

If this is right

  • The moduli spaces of these hyperkähler fourfolds admit geometric descriptions derived from the corresponding Coble hypersurfaces.
  • The uniqueness of the hypersurface determines a canonical projective realization for the general fourfold in each family.
  • Several geometric aspects of the moduli spaces, including their period maps and birational properties, become accessible through the hypersurface data.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The construction suggests that analogous unique hypersurface realizations may exist for other numerical types of K3^[2] fourfolds.
  • The link to classical Coble hypersurfaces could be used to transfer questions about fourfold moduli to questions about cubic or quartic hypersurface moduli.
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

1 major / 0 minor

Summary. The manuscript claims a precise analogue of classical Coble results on embeddings of genus-2 Jacobians (as singular loci of unique cubics in P^8) and genus-3 Kummers (as singular loci of unique quartics in P^7). For the general member of the 20-dimensional locally complete families of polarized hyperkähler fourfolds of K3^[2]-type with square 4 or 6 and divisibility 1, it asserts the existence of a unique Coble-type hypersurface and, as a consequence, describes several geometric aspects of the corresponding moduli spaces.

Significance. If the result holds, the work supplies a hyperkähler-fourfold version of a classical embedding phenomenon, furnishing a concrete geometric construction that may clarify the structure of these 20-dimensional moduli spaces and their relation to classical objects such as Jacobians.

major comments (1)
  1. The central existence-and-uniqueness statement is asserted in the abstract, yet the available text contains no derivation, proof sketch, lattice-theoretic argument, or deformation-theoretic step establishing that a Coble-type hypersurface exists and is unique for a general member of the indicated families. This renders the load-bearing claim unverifiable from the provided manuscript.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for highlighting the need for explicit proof details on the central existence-and-uniqueness claim. We address this point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: The central existence-and-uniqueness statement is asserted in the abstract, yet the available text contains no derivation, proof sketch, lattice-theoretic argument, or deformation-theoretic step establishing that a Coble-type hypersurface exists and is unique for a general member of the indicated families. This renders the load-bearing claim unverifiable from the provided manuscript.

    Authors: We agree that the version under review lacks a self-contained derivation of the existence and uniqueness. The revised manuscript will incorporate a detailed proof section that combines lattice-theoretic computations (via the Beauville-Bogomolov-Fujiki form and the relevant moduli lattice) with a deformation-theoretic argument showing that the Coble-type hypersurface persists for the general member of each 20-dimensional family. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The paper asserts existence and uniqueness of Coble-type hypersurfaces for general members of specific 20-dimensional families of polarized K3^[2]-type hyperkähler fourfolds (squares 4 or 6, divisibility 1), as a direct analogue of classical Coble embeddings. No quoted equations, self-citations, or steps in the provided abstract reduce the claimed result to fitted parameters, self-definitions, or prior author results by construction. The central statement is presented as an established geometric fact with independent content, consistent with the reader's assessment of no circularity.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the result appears to rest on the generalization of the classical Coble construction whose details are not supplied.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Coble type hypersurfaces and hyperk\"ahler fourfolds." pith.science (2026). https://pith.science/paper/6E6YLWLP

@misc{pith2026260610884,
  author       = {Pith},
  title        = {Pith review of: Coble type hypersurfaces and hyperk\"ahler fourfolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6E6YLWLP}},
  note         = {Machine review of arXiv:2606.10884}
}
abstract

A classical result, already observed by Coble, asserts that a genus 2 Jacobian can be embedded in $\mathbf P^8$ as the singular locus of a unique cubic hypersurface; similarly, the Kummer of a genus 3 Jacobian is embedded in $\mathbf P^7$ as the singular locus of a unique quartic hypersurface. We present a precise analogue of these results in the context of hyperk\"ahler fourfolds: for the general member in the 20-dimensional locally complete families of polarized hyperk\"ahler fourfolds of $\mathrm{K3}^{[2]}$-type with squares 4 or 6 and divisibility 1, we establish the existence of a unique Coble type hypersurface. As a consequence, we describe several geometric aspects of the corresponding moduli spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

59 extracted references · 2 canonical work pages

  1. [2]

    Paolo Aluffi, Singular schemes of hypersurfaces , Duke Math. J. 80 (1995), no. 2, 325 -- 351

    1995

  2. [1]

    Asher Auel, Marcello Bernardara, and Michele Bolognesi, Fibrations in complete intersections of quadrics, Clifford algebras, derived categories, and rationality problems , J. Math. Pures Appl. (9) 102 (2014), no. 1, 249--291

    2014

  3. [3]

    Barth, Quadratic equations for level- 3 abelian surfaces , Abelian varieties ( E gloffstein, 1993), de Gruyter, Berlin, 1995, pp

    W. Barth, Quadratic equations for level- 3 abelian surfaces , Abelian varieties ( E gloffstein, 1993), de Gruyter, Berlin, 1995, pp. 1--18. 1336597

    1993

  4. [4]

    Sigma 12 (2024), Paper No

    Vladimiro Benedetti, Michele Bolognesi, Daniele Faenzi, and Laurent Manivel, The C oble quadric , Forum Math. Sigma 12 (2024), Paper No. e63, 25. 4746881

    2024

  5. [5]

    , G\"opel varieties, eprint arXiv:2506.22030 https://arxiv.org/abs/2506.22030, 2025

    work page arXiv 2025

  6. [6]

    , Hecke cycles on moduli of vector bundles and orbital degeneracy loci, J. Algebr. Geom. 35 (2026), no. 1, 163--195 (English)

    2026

  7. [7]

    Arnaud Beauville and Ron Donagi, La vari\'et\'e des droites d'une hypersurface cubique de dimension 4 , C. R. Acad. Sci. Paris S\'er. I Math. 301 (1985), no. 14, 703--706. 818549

    1985

  8. [8]

    Arnaud Beauville, The C oble hypersurfaces , C. R. Math. Acad. Sci. Paris 337 (2003), no. 3, 189--194. 2001133

    2003

Show all 59 references
  1. [9]

    Arend Bayer, Mart\'i Lahoz, Emanuele Macr\`i, Howard Nuer, Alexander Perry, and Paolo Stellari, Stability conditions in families, Publ. Math. Inst. Hautes \'Etudes Sci. 133 (2021), 157--325. 4292740

    2021

  2. [10]

    Coble, Point sets and allied C remona groups

    Arthur B. Coble, Point sets and allied C remona groups. III , Trans. Amer. Math. Soc. 18 (1917), no. 3, 331--372. 1501073

    1917

  3. [11]

    , Algebraic geometry and theta functions, American Mathematical Society Colloquium Publications, vol. Vol. 10, American Mathematical Society, Providence, RI, 1929. 733252

    1929

  4. [12]

    Olivier Debarre, Hyper- K \" a hler manifolds , Milan J. Math. 90 (2022), no. 2, 305--387. 4516494

    2022

  5. [13]

    Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, and Hans Sch\"onemann, Singular --- A computer algebra system for polynomial computations , Available at http://www.singular.uni-kl.de

  6. [14]

    Olivier Debarre, Fr \'e d \'e ric Han, Kieran O'Grady, and Claire Voisin, Hilbert squares of \(K3\) surfaces and Debarre - Voisin varieties , J. \'E c. Polytech., Math. 7 (2020), 653--710

    2020

  7. [15]

    Olivier Debarre and Emanuele Macr \` , On the period map for polarized hyperk \"a hler fourfolds , Int. Math. Res. Not. 2019 (2019), no. 22, 6887--6923

    2019

  8. [16]

    Dolgachev, Classical algebraic geometry, Cambridge University Press, Cambridge, 2012, A modern view

    Igor V. Dolgachev, Classical algebraic geometry, Cambridge University Press, Cambridge, 2012, A modern view. 2964027

    2012

  9. [17]

    Desale and S

    Usha V. Desale and S. Ramanan, Classification of vector bundles of rank 2 on hyperelliptic curves, Invent. Math. 38 (1976), 161--185

    1976

  10. [18]

    Reine Angew

    Olivier Debarre and Claire Voisin, Hyper- K \"a hler fourfolds and Grassmann geometry , J. Reine Angew. Math. 649 (2010), 63--87

    2010

  11. [19]

    A second course in algebraic geometry , Cambridge: Cambridge University Press, 2016

    David Eisenbud and Joe Harris, 3264 and all that. A second course in algebraic geometry , Cambridge: Cambridge University Press, 2016

    2016

  12. [20]

    Grayson and Michael E

    Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research in algebraic geometry, Available at http://www2.macaulay2.com

  13. [21]

    Sam, Alternating trilinear forms on a nine-dimensional space and degenerations of (3,3) -polarized A belian surfaces , Proc

    Laurent Gruson and Steven V. Sam, Alternating trilinear forms on a nine-dimensional space and degenerations of (3,3) -polarized A belian surfaces , Proc. Lond. Math. Soc. (3) 110 (2015), no. 3, 755--785. 3342104

    2015

  14. [22]

    Sam, and Jerzy Weyman, Moduli of abelian varieties, V inberg -groups, and free resolutions , Commutative algebra, Springer, New York, 2013, pp

    Laurent Gruson, Steven V. Sam, and Jerzy Weyman, Moduli of abelian varieties, V inberg -groups, and free resolutions , Commutative algebra, Springer, New York, 2013, pp. 419--469. 3051381

    2013

  15. [23]

    Brendan Hassett, Special cubic fourfolds, Compos. Math. 120 (2000), no. 1, 1--23

    2000

  16. [24]

    Benjamin Howard, John Millson, Andrew Snowden, and Ravi Vakil, The geometry of eight points in projective space: representation theory, L ie theory and dualities , Proc. Lond. Math. Soc. (3) 105 (2012), no. 6, 1215--1244. 3004103

    2012

  17. [25]

    Tu, On symmetric and skew-symmetric determinantal varieties, Topology 23 (1984), no

    Joe Harris and Loring W. Tu, On symmetric and skew-symmetric determinantal varieties, Topology 23 (1984), no. 1, 71--84. 721453

    1984

  18. [26]

    Atanas Iliev, Grzegorz Kapustka, Micha Kapustka, and Kristian Ranestad, Hyper- K \"ahler fourfolds and K ummer surfaces , Proc. Lond. Math. Soc. (3) 115 (2017), no. 6, 1276--1316. 3741852

    2017

  19. [27]

    Reine Angew

    , EPW cubes , J. Reine Angew. Math. 748 (2019), 241--268

    2019

  20. [28]

    Atanas Iliev and Kristian Ranestad, \(K3\) surfaces of genus 8 and varieties of sums of powers of cubic fourfolds , Trans. Am. Math. Soc. 353 (2001), no. 4, 1455--1468

    2001

  21. [29]

    Algebraic Geom

    Andreas Krug, Extension groups of tautological sheaves on H ilbert schemes , J. Algebraic Geom. 23 (2014), no. 3, 571--598. 3205591

    2014

  22. [30]

    Yves Laszlo, Local structure of the moduli space of vector bundles over curves, Comment. Math. Helv. 71 (1996), no. 3, 373--401. 1418944

    1996

  23. [31]

    Algebraic Geom

    Radu Laza, The moduli space of cubic fourfolds, J. Algebraic Geom. 18 (2009), no. 3, 511--545. 2496456

    2009

  24. [32]

    , The moduli space of cubic fourfolds via the period map, Ann. Math. (2) 172 (2010), no. 1, 673--711

    2010

  25. [33]

    Reine Angew

    Christian Lehn, Manfred Lehn, Christoph Sorger, and Duco van Straten, Twisted cubics on cubic fourfolds, J. Reine Angew. Math. 731 (2017), 87--128

    2017

  26. [34]

    J. M. Landsberg and L. Manivel, The projective geometry of F reudenthal's magic square , J. Algebra 239 (2001), no. 2, 477--512. 1832903

    2001

  27. [35]

    Eduard Looijenga, The period map for cubic fourfolds, Invent. Math. 177 (2009), no. 1, 213--233

    2009

  28. [36]

    Luna, Adherences d'orbite et invariants, Invent

    D. Luna, Adherences d'orbite et invariants, Invent. Math. 29 (1975), 231--238

    1975

  29. [37]

    Conference held at Leibniz Universit\"at Hannover, Germany, September 14--18, 2009

    Eyal Markman, A survey of Torelli and monodromy results for holomorphic-symplectic varieties , Complex and differential geometry. Conference held at Leibniz Universit\"at Hannover, Germany, September 14--18, 2009. Proceedings, Berlin: Springer, 2011, pp. 257--322

    2009

  30. [38]

    Hideyuki Matsumura, Commutative ring theory. Transl . from the Japanese by M . Reid , Camb. Stud. Adv. Math., vol. 8, Cambridge University Press, Cambridge, 1986

    1986

  31. [39]

    Mumford, J

    D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory., 3rd enl. ed., Ergeb. Math. Grenzgeb., vol. 34, Berlin: Springer-Verlag, 1994

    1994

  32. [40]

    I , Kinokuniya, Tokyo, 1988, pp

    Shigeru Mukai, Curves, K3 surfaces and F ano 3 -folds of genus 10 , Algebraic geometry and commutative algebra, V ol. I , Kinokuniya, Tokyo, 1988, pp. 357--377. 977768

    1988

  33. [41]

    Quang Minh Nguyen, Vector bundles, dualities and classical geometry on a curve of genus two, Internat. J. Math. 18 (2007), no. 5, 535--558. 2331078

    2007

  34. [42]

    M. S. Narasimhan and S. Ramanan, 2 -linear systems on abelian varieties , Vector bundles on algebraic varieties ( B ombay, 1984), Tata Inst. Fund. Res. Stud. Math., vol. 11, Tata Inst. Fund. Res., Bombay, 1987, pp. 415--427. 893605

    1984

  35. [43]

    Sigma 10 (2022), 46, Id/No e21

    Georg Oberdieck, Gromov- Witten theory and Noether - Lefschetz theory for holomorphic-symplectic varieties , Forum Math. Sigma 10 (2022), 46, Id/No e21

    2022

  36. [44]

    O'Grady, Irreducible symplectic 4-folds and Eisenbud - Popescu - Walter sextics , Duke Math

    Kieran G. O'Grady, Irreducible symplectic 4-folds and Eisenbud - Popescu - Walter sextics , Duke Math. J. 134 (2006), no. 1, 99--137

    2006

  37. [45]

    , EPW -sextics: Taxonomy , Manuscr. Math. 138 (2012), no. 1-2, 221--272

    2012

  38. [46]

    , Moduli of double EPW -sextics , Mem. Am. Math. Soc., vol. 1136, Providence, RI: American Mathematical Society (AMS), 2016

    2016

  39. [47]

    Algebraic Geom

    Angela Ortega, On the moduli space of rank 3 vector bundles on a genus 2 curve and the C oble cubic , J. Algebraic Geom. 14 (2005), no. 2, 327--356. 2123233

    2005

  40. [48]

    INdAM, Aracne, Rome, 1995

    Giorgio Ottaviani, Varietà proiettive di codimensione piccola, Quad. INdAM, Aracne, Rome, 1995

    1995

  41. [49]

    Alexander Perry, Laura Pertusi, and Xiaolei Zhao, Stability conditions and moduli spaces for K uznetsov components of G ushel-- M ukai varieties , Geom. Topol. 26 (2022), no. 7, 3055--3121. 4540901

    2022

  42. [50]

    \'A ngel David R \' os Ortiz, Riemann- Roch polynomials of the known hyperk \"a hler manifolds , Bull. Soc. Math. Fr. 152 (2024), no. 2, 169--184

    2024

  43. [51]

    Ángel David Ríos Ortiz, Andrés Rojas, and Jieao Song, Projective models for H ilbert squares of K3 surfaces , eprint arXiv:2510.02065 https://arxiv.org/abs/2510.02065, 2025

    2025

  44. [52]

    Sam, Gus Schrader, and Bernd Sturmfels, The universal K ummer threefold , Exp

    Qingchun Ren, Steven V. Sam, Gus Schrader, and Bernd Sturmfels, The universal K ummer threefold , Exp. Math. 22 (2013), no. 3, 327--362. 3171096

    2013

  45. [53]

    , S age M athematics S oftware S ystem , Available at https://www.sagemath.org

  46. [54]

    Jieao Song, A special Debarre -- Voisin fourfold , Bull. Soc. Math. Fr. 151 (2023), no. 2, 305--330

    2023

  47. [55]

    Gerard van der Geer, Note on abelian schemes of level three, Math. Ann. 278 (1987), 401--408

    1987

  48. [56]

    Bert van Geemen and Grzegorz Kapustka, Contractions of hyper- K \"a hler fourfolds and the Brauer group , Adv. Math. 412 (2023), 52, Id/No 108814

    2023

  49. [57]

    Claire Voisin, Th \'e or \`e me de Torelli pour les cubiques de \( P ^ 5\) , Invent. Math. 86 (1986), 577--601

    1986

  50. [58]

    Wi \'s niewski, Small contractions of symplectic 4-folds, Duke Math

    Jan Wierzba and Jaros aw A. Wi \'s niewski, Small contractions of symplectic 4-folds, Duke Math. J. 120 (2003), no. 1, 65--95

    2003

  51. [59]

    F. L. Zak, Tangents and secants of algebraic varieties, Translations of mathematical monographs, vol. 127, American Mathematical Soc., 1993

    1993

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.