REVIEW 4 major objections 5 minor 14 references
G\"opel Varieties
T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper claims that the classical Coble cubic and Coble quartic belong to a single family of Coble type hypersurfaces, parametrized by Göpel varieties that are birational to moduli spaces of curves and vector bundles.
desk verdict A substantive Lie-theoretic framework with many explicit computations, but the flagship Spin16 modular interpretation rests on conjectures and several key facts are verified only through attached Macaulay2 scripts. 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
The central object is the Göpel variety, defined as the image of the Wc-equivariant rational map γ:P(c)⇒P(Θm) obtained by restricting a G0-equivariant construction to a Cartan subspace c of a theta-representation. Here c is the analogue of diagonal matrices in Jordan–Vinberg theory: a maximal abelian subspace of semisimple elements in the graded piece g1, equipped with a complex reflection group Wc, whose invariant theory describes the GIT quotient of the whole representation. The centralizer of c acts as a Heisenberg group, and Θm is an irreducible Macdonald representation, generated by products of equations of reflection hyperplanes. Orbital degeneracy loci turn a vector in the representation into sections of equivariant vector bundles on auxiliary homogeneous spaces, and the Coble type hypersurface is the codimension-one locus in this construction. The argument is carried by explicit restriction of these equivariant maps to the Cartan subspace, where the geometry becomes computable and the image is the Göpel variety.
What would settle it
Compute the Hilbert function of the orbital degeneracy locus DY5(v) for a general Spin16 half-spin element beyond the ten values checked in Proposition 9.9 and compare it with the Verlinde formula for SU_C(2,O_C); a mismatch at any degree would falsify Conjecture 9.8. A direct alternative is to calculate the singular locus of a generic quadric section of OG(2,16) produced by Γ2 and check whether it equals the expected moduli space SU_C(2,O_C(p)).
Extended reading notes
Core claim
The authors establish that for each $\theta$-representation in the paper's first table, there exists a Coble type hypersurface: a codimension-one orbital degeneracy locus in an auxiliary homogeneous space, stratified by singular loci that include the relevant abelian variety or moduli space. The construction is uniform: a cyclic grading of a simple Lie algebra yields a Cartan subspace c, acted on by a complex reflection group Wc with a Heisenberg centralizer, and a G0-equivariant morphism restricts to a Wc-equivariant rational map γ:P(c)⇒P(Θm), whose image is the Göpel variety. The paper computes several of these maps explicitly: the image is a conic in the toy case, a projection of v4(P2) for the 3×3×3 tensor case, the GIT quotient (P1)^{2k}//PGL2 for hyperelliptic curves, birational to (P2)^7//PGL3 for the genus-three Coble quartic, birational for the genus-three Coble quadric, the Burkhardt quartic and a projection of the fourth Veronese for genus two, an isomorphic projection of the second Veronese of the Igusa quartic in the spinor-tenfold case, and seven-dimensional birational images in the Spin16 cases. In the Spin16 setting, the identification of the singular strata with the moduli spaces SU_C(2,O_C) and SU_C(2,O_C(p)) for a special genus four curve is supported by Hilbert polynomial coincidences and is left as a conjecture.
Load-bearing premise
The load-bearing premise is that the orbital degeneracy loci constructed from the special representations have exactly the expected abelian varieties and moduli spaces as their singular strata; in the Spin16 case this is conjectural and supported only by matching Hilbert polynomials, so the modular interpretation stands or falls with that identification.
Editorial extensions
If this is right
- The classical Coble cubic and Coble quartic are unified with new examples: the same Lie-theoretic construction produces Coble type hypersurfaces in products of projective spaces, Grassmannians, orthogonal Grassmannians, flag varieties, and quadrics.
- In several cases the Göpel variety is a known moduli space: the GIT quotient (P1)^{2k}//PGL2 for hyperelliptic curves, (P2)^7//PGL3 for the genus-three Coble quartic, and the Burkhardt quartic for genus-two curves, giving new modular interpretations of these varieties.
- The Coble quadric maps for genus three and genus two are birational, meaning the hypersurface remembers extra data, such as a flex point or a Weierstrass point, that the classical Coble quartics forget.
- If the Spin16 conjectures hold, the moduli spaces of rank-two bundles of even and odd determinant on a special genus four curve appear as singular strata of a quartic section of Q14 and a quadric section of OG(2,16), with Göpel varieties spanning Macdonald representations of dimensions 84 and 50.
- The explicit equations obtained, including the 36 quadrics for the tensor case and the 300 quadrics for the genus-two Coble quadric, make the Göpel varieties objects that can be manipulated computationally.
Reading between the lines
- An implicit extension beyond the paper is that every theta-representation whose little Weyl group admits a relevant Macdonald representation could plausibly yield a Göpel variety, so the table in the paper reads as the beginning of a longer list rather than an exhaustive classification.
- If the Spin16 conjectures are correct, the degenerate genus-four case, with vanishing theta-null and triple ramification, completes the genus-four analogue of the Coble phenomenon by placing the even and odd rank-two moduli spaces as singular strata of a quartic and a quadric hypersurface.
- The explicit equations also invite a testable cross-check: the 300-quadric description of the genus-two Göpel variety could be compared with known equations of the relevant moduli spaces to sharpen the modular interpretation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a unified framework, based on Vinberg's theory of theta-representations, for constructing Coble-type hypersurfaces in various homogeneous spaces and for parametrizing them by 'Gopel type varieties.' The authors show that, for a list of cyclic gradings of simple Lie algebras, an equivariant map from a representation to the space of sections defining a hypersurface restricts to a map from a Cartan subspace to a Heisenberg-invariant linear system; the image is a Gopel variety. Several cases are worked out in detail: the toy case of quintuples of skew-symmetric matrices, 3x3x3 Rubik's cubes, hyperelliptic curves and orthogonal Grassmannians, genus two and genus three curves via e8/sl9 and e7/sl8, spinors in ten dimensions, and the half-spin representation of Spin16. For the latter, two Coble-type hypersurfaces are constructed and their Gopel varieties are computed; the identification of their singular strata with moduli spaces of rank two bundles on a special genus four curve is formulated as a conjecture supported by Hilbert-polynomial computations.
Significance. If the results hold, the paper provides a striking unifying picture: classical Coble hypersurfaces, Coble quadrics, and new hypersurfaces in homogeneous spaces are all controlled by the same Jordan-Vinberg mechanism, and their parameter spaces are images of Weyl-group-equivariant maps into Macdonald representations. The explicit equations and birational identifications (e.g., the genus three Gopel variety in P20, the genus two Gopel variety cut out by 300 quadrics, and the two seven-dimensional Gopel varieties in the Spin16 case) are valuable contributions. The paper is honest about its conjectural parts, but a few load-bearing statements are either verified only by external Macaulay2 scripts or by Hilbert-polynomial coincidences, which is proportionately weaker than the advertised modular interpretations.
major comments (4)
- [§9, Conjectures 9.8 and 9.11] The central claim that the Spin16 Coble-type hypersurfaces are stratified by the moduli spaces SU_C(2,O_C) and SU_C(2,O_C(p)) for a special genus four curve is not proved. The only evidence offered in Proposition 9.9 is equality of Hilbert polynomials (computed for DY5 and DY10) together with unpublished remarks of Sam and Rains. Equality of Hilbert polynomials is strictly weaker than isomorphism: many non-isomorphic fourfolds share a Hilbert polynomial. Consequently, the row 'special genus four curves' in the introductory table is not an established result. The hypersurfaces and their Gopel varieties are still constructed, so this is a framing issue, but it must be corrected: either the table and abstract should distinguish proved from conjectural modular interpretations, or the authors should prove at least that the strata are irreducible, reduced, and have the expected dimension and tangent behavior.
- [Prop. 4.4, Thm. 6.11, Thm. 7.1, Thms. 9.18 and 9.23] Several load-bearing facts are verified only with Macaulay2 scripts that are referenced as attached files (gopel rubik, gopel e7, construction gamma w3C9, gopel e8) and are not included in the manuscript. These include: the ideal and syzygies of the Rubik Gopel variety (Prop. 4.4), the degree-one and base-locus claims for the genus-three Gopel map (Thm. 6.11), the immersive birationality and 300-quadric ideal for the genus-two case (Thm. 7.1), and the birationality statements for the Spin16 Gopel varieties (Thms. 9.18 and 9.23). Because these statements are central to the paper's claims, the scripts should be made permanently available in a form that allows a reader to recompute all stated invariants, and the text should state the exact command sequence needed. As written, the reproducibility of these theorems is not guaranteed.
- [§9.7] The description of the Spin16 Coble quartic map contains an unresolved discrepancy: the ideal of the base locus contains I_l^2, whose degree is 7 along each A2-line, while the expected degree is 8. The authors write 'This point remains to be elucidated.' This is not a minor typo; it means the base locus of the quartic Gopel map is not fully understood. Since Theorem 9.23 depends on the program's computation of this map, the reader cannot tell whether the discrepancy affects the claimed birationality or whether it is an artifact of the program's coordinate model. The authors should either resolve the discrepancy or explain why the proof of Theorem 9.23 is independent of it.
- [Remark after Prop. 4.3] The uniqueness of the Rubik's cube Coble hypersurface as a quadric singular along the abelian surface is only 'expected' (the singular locus 'should be strictly bigger'). This is another instance where the paper's abstract statement that Coble hypersurfaces are 'uniquely characterized' by their singular loci is stronger than what is proved. The text should clearly separate the classical cases (Coble cubic, Coble quartic, and the hyperelliptic quadrics of Prop. 5.9) where uniqueness is established from the cases where it is conjectural.
minor comments (5)
- [Intro, abstract] The abstract and the introductory table do not distinguish between Coble-type hypersurfaces whose singular strata have been rigorously identified with moduli spaces and those for which the identification is conjectural (notably the Spin16 row). Please add a marker such as '(conjectural)' in the table and qualify the abstract accordingly.
- [§5.3, Lemma 5.3] The proof of Lemma 5.3 is dismissed as 'easy and left to the reader.' Since this lemma describes the base locus of the hyperelliptic Gopel map and is used in later sections, a short proof would improve the paper's self-containedness.
- [§4.4, equations (1)] The three relations Q_{3,1,0}=Q_{0,1,3}, etc., are stated without explanation of their origin. It would be helpful to note that they come from the explicit expression of the hyperdeterminant, or to give the three quadrics explicitly.
- [§3.4] In the toy case, the map γ is defined as P(c) to P(Theta_3) but the text immediately works with the coordinates v1,v2 on c without stating the projective convention; for consistency with later sections, the domain should be explicitly P(c) and the output should be a line in P(Theta_3), not a pair of numbers.
- [§9, Remark 9.10] The remark cites '[BGSW14]' as 'unpublished' and quotes unpublished remarks of Sam and Rains. For a published paper, the authors should either provide a publicly available reference or state more explicitly the content of these private communications so that the reader can judge the strength of the evidence.
Circularity Check
No significant circularity: the Göpel varieties are images of explicitly computed equivariant maps, uniqueness results are proved in-text or rest on refereed prior work, and the Spin16 strata identifications are openly conjectural rather than disguised inputs.
full rationale
The derivation chain is self-contained and does not reduce to its inputs. For each theta-representation, the Göpel variety is the image of the explicit rational map γ: P(c) → P(Θm) obtained by restricting a unique (by Schur's lemma) equivariant morphism to the Cartan subspace; its birationality, degree, base locus, and ideal generators are checked with Macaulay2, independently of the paper's own claims (Theorems 6.11, 7.1, 9.18, 9.23; Propositions 4.4, 6.9, 9.16). No parameter is fitted to a subset of data and then re-labeled as a prediction: the spaces Θm are spans of the image, computed from explicit polynomial formulas (Proposition 6.7, Proposition 9.15, Lemma 8.2), and their identifications as Macdonald representations are verified computationally against the Weyl group action. Self-citations [BBFM24, BBFM23] are refereed publications used for identifications already established there (e.g., the Coble quadric singular along SUC(2,OC(p)) in Section 6.3); the new claims — the Göpel equations, the 300 quadrics of Theorem 7.1, the 84- and 50-dimensional Macdonald representations — are proved here. Uniqueness statements are proved in the text (Propositions 3.4, 5.9, 8.1) or attributed to Coble, Beauville, and Oxbury–Pauly, not imported from the authors' own work. No ansatz is smuggled in via citation: Cartan subspaces, Heisenberg groups, and reflection groups come directly from Vinberg's theory. Two limitations are flagged and weighed, and neither constitutes circularity. First, the Spin16 modular interpretation rests on Conjectures 9.8 and 9.11, supported only by Hilbert-polynomial coincidences (Proposition 9.9, via the Verlinde formula) and unpublished remarks of Sam and Rains; if these fail, the advertised genus-four modular interpretation is lost, but the hypersurface constructions and the birational Göpel maps (Theorems 9.18, 9.23) survive. Second, Section 9.7 openly records an unresolved base-locus degree discrepancy ('we should get a subscheme of degree 8, rather than 7... This point remains to be elucidated'), an admitted computational gap rather than a hidden premise. Finally, the term 'Coble type hypersurface' is defined by the target property of being stratified by singular loci that include the relevant abelian variety, but in every established case that property is verified separately by geometry (e.g., Proposition 4.3 proves Σ ≃ C × C is an abelian surface), so the definition is a labeling convention, not the proof.
Assumptions & free parameters
assumptions (6)
- standard math Vinberg's structure theory of theta-representations: existence of Cartan subspaces c contained in g1, conjugacy under G_theta, Chevalley restriction theorem C[g1]^{G_theta} is isomorphic to C[c]^{W_c}, and W_c being a finite reflection group.
- domain assumption The list of special representations in the first table is complete enough for the claimed family; this list is taken from [GSW13] and [BH16].
- standard math Bott-Borel-Weil theorem and standard cohomology computations for homogeneous bundles on Grassmannians, quadrics, and flag varieties.
- domain assumption The moduli-space identifications in the Spin16 cases: singular strata of the Coble quartic and Coble quadric equal SU_C(2,O_C) and SU_C(2,O_C(p)) for a special genus four curve (Conjectures 9.8 and 9.11).
- ad hoc to paper Uniqueness of the Rubik's cube Coble type hypersurface H as the quadric singular along the abelian surface Sigma.
- domain assumption The resolution of orbit closures for the Spin16 half-spin representation, used to compute Hilbert polynomials, follows [KW11], which is cited as unpublished; this resolution is assumed correct.
invented entities (1)
-
Gopel type variety
independent evidence
Cite this review
Pith. "Pith review of G\"opel Varieties." pith.science (2026). https://pith.science/paper/GUFHT5AR
@misc{pith2026250622030,
author = {Pith},
title = {Pith review of: G\"opel Varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/GUFHT5AR}},
note = {Machine review of arXiv:2506.22030}
}
read the original abstract
We show that the Coble hypersurfaces, uniquely characterized by the remarkable property that their singular loci are an abelian surface and a Kummer threefold, respectively, belong to a family of hypersurfaces exhibiting similar behavior, but defined in various types of homogeneous spaces. With the help of Jordan-Vinberg theory, we show how these hypersurfaces can be parametrized by G{\"o}pel type varieties inside projectivized representations of complex reflection groups.
Reference graph
Works this paper leans on
-
[1]
[AD09] Michela Artebani and Igor Dolgachev, The Hesse pencil of plane cubic curves , Enseign. Math. (2) 55 (2009), no. 3-4, 235–273. [BBFM23] Vladimiro Benedetti, Michele Bolognesi, Daniele Faenzi, and Laurent Manivel, Hecke cycles on moduli of vector bundles and orbital degeneracy loci , arXiv e-print math.AG/2310.06482, to appear in J. Algebra ic Geom.,
work page Pith review arXiv 2009
-
[2]
Vector bundles. II , Topology 32 (1993), no. 3, 599–609. [Car85] Roger W. Carter, Finite groups of lie type : conjugacy classes and complex cha racters, Wiley,
work page 1993
-
[3]
Trigonal curves and Galois Spin(8)-bundles
trilinear forms , J. Reine Angew. Math. 468 (1995), 49–75. [NR69] Mudumbai S. Narasimhan and Sundararaman Ramanan, Moduli of vector bundles on a compact Riemann surface, Ann. of Math. (2) 89 (1969), 14–51. [OP99] William Oxbury and Christian Pauly, Heisenberg invariant quartics and SUC (2) for a curve of genus four , Math. Proc. Cambridge Philos. Soc. 125...
work page Pith review arXiv 1995
-
[9]
[HMSV09] Benjamin Howard, John Millson, Andrew Snowden, an d Ravi Vakil, The equations for the moduli space of n points on the line , Duke Math. J. 146 (2009), no. 2, 175–226. [HMSV12] , The geometry of eight points in projective space: represent ation theory, Lie theory and dualities , Proc. Lond. Math. Soc. (3) 105 (2012), no. 6, 1215–1244. [Kan99] Vass...
work page 2009
-
[10]
Kuznetsov, On linear sections of the spinor tenfold
[Kuz18] Alexander G. Kuznetsov, On linear sections of the spinor tenfold. I , Izv. Ross. Akad. Nauk Ser. Mat. 82 (2018), no. 4, 53–114. 48 V. BENEDETTI, M. BOLOGNESI, D. F AENZI, L. MANIVEL [KW11] Witold Kraskeiwicz and Jerzy W eyman, Geometry of orbit closures for the representations associa ted to gradings of lie algebras of type e8, unpublished,
work page 2018
-
[11]
[LO13] Joseph M. Landsberg and Giorgio Ottaviani, Equations for secant varieties of Veronese and other variet ies, Ann. Mat. Pura Appl. (4) 192 (2013), no. 4, 569–606. [Mac72] Ian G. Macdonald, Some irreducible representations of Weyl groups , Bull. London Math. Soc. 4 (1972), 148–150. [Man06] Laurent Manivel, Configurations of lines and models of Lie alge...
work page 2013
-
[25]
[Bea03] Arnaud Beauville, The Coble hypersurfaces , C. R. Math. Acad. Sci. Paris 337 (2003), no. 3, 189–194. [BFMT20a] Vladimiro Benedetti, Sara Angela Filippini, Lau rent Manivel, and Fabio Tanturri, Orbital degeneracy loci and applications, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 21 (2020), 169–206. [BFMT20b] , Orbital degeneracy loci II: Gorenstein orb...
work page 2003
-
[1991]
[New68] Peter E. Newstead, Stable bundles of rank 2 and odd degree over a curve of genus 2, Topology 7 (1968), 205–215. [Ng95] Kok Onn Ng, The classification of (3, 3,
work page 1968
Show all 14 references
-
[1999]
[Osh06] Toshio Oshima, A classification of subsystems of a root system , arXiv e-print math/0611904,
-
[2004]
[BM24] Vladimiro Benedetti and Laurent Manivel, Discriminants of theta-representations , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 25 (2024), no. 4, 2125–2148. MR 4873513 [BMT21] Vladimiro Benedetti, Laurent Manivel, and Fabio Ta nturri, The geometry of the Coble cubic and orbit...
2024
-
[2006]
[Pas09] Boris Pasquier, On some smooth projective two-orbit varieties with Picard n umber 1 , Math. Ann. 344 (2009), no. 4, 963–987. [Ram81] Sundararaman Ramanan, Orthogonal and spin bundles over hyperelliptic curves , Proc. Indian Acad. Sci. Math. Sci. 90 (1981), no. 2, 151–1...
2009
-
[2014]
[BH16] Manjul Bhargava and W ei Ho, Coregular spaces and genus one curves , Camb. J. Math. 4 (2016), no. 1, 1–119. [Bho84] Usha N. Bhosle, Moduli of orthogonal and spin bundles over hyperelliptic cu rves, Compositio Math. 51 (1984), no. 1, 15–40. MR 734782 [BL04] Christina Bir...
2016
-
[2023]
Sigma 12 (2024), Paper No
[BBFM24] , The Coble quadric , Forum Math. Sigma 12 (2024), Paper No. e63,
2024
-
[2025]
Dolgachev and David Ortland, Point sets in projective spaces and theta functions , Ast´ erisque (1988), no
[DO88] Igor V. Dolgachev and David Ortland, Point sets in projective spaces and theta functions , Ast´ erisque (1988), no. 165, 210 pp. (1989). [Dol12] Igor V. Dolgachev, Classical algebraic geometry , Cambridge University Press, Cambridge, 2012, A modern vie w. [DPvG09] Franc...
1988
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.