{"id":"2ba0b1ce-c085-444d-bdff-074001a1038c","arxiv_id":"2506.22030","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs a wide family of Coble-type hypersurfaces and their Gopel parametrizations from Vinberg theta-representations, with explicit new examples in genus two, three, and four.","lead":"This paper shows that the classical Coble cubic and quartic, whose singular loci are an abelian surface and a Kummer threefold, are part of a broad family of hypersurfaces in homogeneous spaces, parametrized by Gopel type varieties attached to complex reflection groups. It unifies many moduli spaces of curves and vector bundles through a common Lie-theoretic construction.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The genus-four extension of the Coble phenomenon depends on Conjectures 9.8 and 9.11, where the singular strata of the Spin16 hypersurfaces are identified with moduli spaces only by Hilbert-polynomial coincidences; a failure of these identifications would remove the advertised modular…","rationale":"The reader's weakest assumption identifies Conjectures 9.8 and 9.11 as the least secure point, and I agree. The paper's central claim, as summarized in the strongest_claim, includes the statement that the Spin16 Coble-type hypersurfaces are stratified by singular loci containing relevant moduli spaces; this is precisely what the conjectures assert, and without them the genus-four extension loses its advertised modular interpretation. The alternative concern—reliance on Macaulay2 computations—is also present, but the attached scripts provide a form of reproducible evidence, and the paper explicitly labels the Spin16 identifications as conjectural rather than proven. A wrong Gopel-variety computation would invalidate Theorems 9.18 and 9.23, but the conjectural modular identification is a direct gap in the central claim as stated, and the authors themselves flag it. The base-locus degree discrepancy in Section 9.7 is a real unresolved point, but it does not by itself contradict the proven birationality or the existence of the Gopel variety; it mostly concerns the scheme structure of the base locus. Therefore the most load-bearing concern is the uncertain identification of the Spin16 singular strata with moduli spaces of vector bundles on a genus four curve. A concrete test—a degeneration to a hyperelliptic curve, where the moduli spaces are explicitly known from Section 5.6—can falsify the conjecture if the flat limits do not agree. Since this concern is already the reader's weakest assumption and the verdict of CONDITIONAL is appropriate, I recommend no change to the verdict.","tokens_in":60715,"tokens_out":20606,"duration_ms":216918,"concrete_test":"Degeneration test: choose a one-parameter family of special genus four curves C_t with vanishing theta-null and triple ramification, degenerating to a hyperelliptic curve C_0. For a generic Cartan subspace element v_t, compute the flat limit of the orbital degeneracy locus DZ16(v_t) inside OG(2,16) (or DY5(v_t) inside Q14) using Thorne's explicit curve equations and the formulas of Proposition 9.15. Compare this limit with the known degeneration of SU_{C_t}(2,O_{C_t}(p)) (resp. SU_{C_t}(2,O_{C_t})) described in Section 5.6. If the limits are not isomorphic, Conjecture 9.11 (or 9.8) is false and the Spin16 modular interpretation collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's first table includes the Spin16 θ-representation, and the central claim asserts that each representation yields a Coble-type hypersurface stratified by singular loci that include an abelian variety or relevant moduli space. For Spin16, however, the identification of the strata is explicitly conjectural: Conjecture 9.8 identifies DY10(v) with the Kummer fourfold of a special genus four curve, DY5(v) with SU_C(2,O_C), and DY14(v) with the 256 two-torsion points; Conjecture 9.11 identifies DZ16(v) with SU_C(2,O_C(p)). The only evidence offered is Proposition 9.9, which verifies equality of Hilbert polynomials (using the Verlinde formula) plus unpublished remarks of Sam and Rains. Hilbert polynomial equality is substantially weaker than isomorphism: many non-isomorphic fourfolds share a Hilbert polynomial. Thus the assertion that the Spin16 hypersurfaces include the relevant moduli spaces in their singular loci is unproven. If these conjectures fail, the hypersurfaces still exist as orbital degeneracy loci and the Gopel varieties of Theorems 9.18 and 9.23 remain computed, but the modular interpretation that distinguishes the genus-four case is lost. The unresolved base-locus degree discrepancy in Section 9.7 (degree 7 vs. expected degree 8 along each A2-line) further indicates that the description of the Spin16 quartic map is incomplete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":61034,"tokens_out":5846,"duration_ms":64532,"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":[{"comment":"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.","section":"§9, Conjectures 9.8 and 9.11"},{"comment":"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.","section":"Prop. 4.4, Thm. 6.11, Thm. 7.1, Thms. 9.18 and 9.23"},{"comment":"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.","section":"§9.7"},{"comment":"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.","section":"Remark after Prop. 4.3"}],"minor_comments":[{"comment":"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.","section":"Intro, abstract"},{"comment":"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.","section":"§5.3, Lemma 5.3"},{"comment":"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.","section":"§4.4, equations (1)"},{"comment":"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.","section":"§3.4"},{"comment":"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.","section":"§9, Remark 9.10"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and contains many genuine computations, but its central genus-four modular interpretation rests on conjectures and the proofs of the main theorems depend on external Macaulay2 scripts. I would encourage the editors to ask the authors to submit the scripts as supplementary material and to mark clearly in the main text and table which statements are proved, which are computational, and which are conjectural. The Hilbert-polynomial evidence for Conjectures 9.8 and 9.11 is suggestive but not conclusive; the paper would be stronger if at least one stratum were identified by a rigorous argument (e.g., by constructing an explicit morphism from the stratum to the moduli space and proving it is birational)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper delivers most of what it promises and is a genuine step forward. The Gopel-variety framework is new and organizes a lot of material: the table of theta-representations, the explicit maps from Cartan subspaces to Macdonald representations, and the computations of the images (Rubik's cube Gopel variety with its ideal and pinch points, hyperelliptic GIT quotient, genus-three and genus-two Coble quadrics, Spin10 and Spin16 cases). The birationality theorems 6.11, 7.1, 9.18, and 9.23 are concrete and, as far as I can tell from the text, checkable. The paper is honest: it labels Conjectures 9.8 and 9.11 as conjectures and does not overclaim the evidence for them.\n\nThe soft spots are real but localized. The Spin16 modular interpretation is load-bearing for the paper's broadest claim that the Coble phenomenon extends to genus-four moduli spaces. That interpretation rests on equality of Hilbert polynomials plus unpublished remarks of Sam and Rains. Hilbert-polynomial equality is genuinely weak evidence for isomorphism; many non-isomorphic fourfolds share a Hilbert polynomial. If those identifications fail, the hypersurfaces and their Gopel varieties survive, but the advertised modular meaning of the singular strata is lost. The unresolved base-locus degree discrepancy in Section 9.7 (degree 7 vs expected degree 8 along each A2-line) is a small but real warning that the description of the Spin16 quartic map is incomplete. Also, several central computations (Proposition 4.4, Theorems 6.11, 7.1, 9.18, 9.23) are verified by attached Macaulay2 scripts rather than written proof. That is not fatal—the scripts provide a form of reproducibility—but the referee should run them.\n\nThe paper will be useful to algebraic geometers and representation theorists working on orbital degeneracy loci, moduli of vector bundles, and Vinberg theta-groups. It deserves a serious referee, not a desk reject. The referee should have the Macaulay2 files and should press on the Spin16 conjectures and the base-locus discrepancy.","headline":"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.","tokens_in":61590,"tokens_out":2608,"would_cite":true,"duration_ms":28617,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H60","22E46"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Coble hypersurfaces","Göpel varieties","orbital degeneracy loci","theta-representations","Cartan subspaces","complex reflection groups","Macdonald representations","Heisenberg groups"],"falsifier":"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)).","tokens_in":2087,"feed_emoji":"📐","tokens_out":2101,"duration_ms":118486,"temperature":0.7,"pith_summary":"The paper claims that the two classical Coble hypersurfaces—the Coble cubic, whose singular locus is an abelian surface, and the Coble quartic, whose singular locus is a Kummer threefold—are just the first two members of a larger family. Starting from a cyclic grading of a simple Lie algebra, the authors build, in several homogeneous spaces, a hypersurface whose successive singular strata include a relevant abelian variety or moduli space. They then introduce the Göpel variety as the image of a rational map from the Cartan subspace to the projectivization of an irreducible Macdonald representation of the little Weyl group, and in several cases prove that this image is birational to a known moduli space. The result is a uniform explanation of where Coble type hypersurfaces come from and why moduli spaces of curves and vector bundles appear as their singular loci.","feed_headline":"Göpel varieties unify Coble hypersurfaces across Lie spaces","feed_subtitle":"A Lie-theoretic recipe builds each such hypersurface and names its singular moduli strata.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Establishes the uniqueness characterization of the classical Coble cubic and quartic that the paper generalizes.","marker":"[Bea03]"},{"why":"Computes the genus-three Göpel map and defines the original Göpel variety for Coble quartics.","marker":"[RSSS13]"},{"why":"Defines the Coble quadric and proves its uniqueness, a central prior case for the genus-three quadric construction.","marker":"[BBFM24]"},{"why":"Constructs Hecke cycles and moduli spaces via orbital degeneracy loci, used for the genus-two Coble quadric.","marker":"[BBFM23]"},{"why":"Provides the family of special genus four curves parametrized by P(c)/W, which underpins the Spin16 conjectures.","marker":"[Tho13]"},{"why":"Supplies the Shephard–Todd classification of complex reflection groups used to identify the little Weyl groups and their representations.","marker":"[ST54]"},{"why":"Supplies the theta-representation theory, Cartan subspaces, little Weyl groups, and the restriction theorem that carries the whole construction.","marker":"[Vin76]"},{"why":"Identifies the special representations and connects them to abelian varieties and Coble hypersurfaces in moduli problems.","marker":"[GSW13]"},{"why":"Provides the coregular-space viewpoint and genus-one curve constructions used in the toy case and the 3×3×3 tensor case.","marker":"[BH16]"},{"why":"Introduces orbital degeneracy loci, the mechanism by which vectors in the representations define the hypersurfaces in this paper.","marker":"[BFMT20a]"}],"fun_headline_variants":["Coble hypersurfaces meet Göpel varieties in Lie spaces","Göpel varieties: a uniform recipe for Coble-type hypersurfaces","From abelian avatars to Coble hypersurfaces via Göpel varieties","Göpel varieties decode Coble hypersurfaces in homogeneous spaces","Coble hypersurfaces unified: Göpel varieties in Lie actions"],"cache_read_input_tokens":63616,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Coble hypersurfaces meet Göpel varieties in Lie spaces","Göpel varieties: a uniform recipe for Coble-type hypersurfaces","From abelian avatars to Coble hypersurfaces via Göpel varieties","Göpel varieties decode Coble hypersurfaces in homogeneous spaces","Coble hypersurfaces unified: Göpel varieties in Lie actions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000207,"raw_usage":{"total_tokens":1388,"prompt_tokens":919,"completion_tokens":469,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":535,"completion_tokens_details":{"reasoning_tokens":375}},"tokens_in":535,"tokens_out":469,"duration_ms":5080,"temperature":1.0,"reasoning_tokens":375,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T22:13:59.127044+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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)).","supporting_citations":[],"review_version":1}