REVIEW 3 major objections 4 minor 20 references
Effective reconstruction of generic genus 5 curves from their theta hyperplanes
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For a generic genus 5 curve, the theta hyperplanes determine the enveloping quadrics, and those quadrics cut out the curve.
desk verdict Solid new effective reconstruction theorem for generic genus 5 curves; the degeneration and Steiner-system analysis are coherent, and the numerical certification is the one genuinely soft spot. 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 load-bearing object is the Steiner system $\Sigma_{C,\alpha}$: for a nonzero 2-torsion point $\alpha$ on the Jacobian, the set of 240 odd $\theta$ characteristics $\theta$ for which both $\theta$ and $\theta+\alpha$ have odd $h^0$. The argument also rests on the quadrics $q_{\theta,\theta+\alpha}$, the images of pairs of $\theta$ hyperplanes in the symmetric square of the canonical system; Theorem 1.1 says the intersection of their spans over all $\alpha$ is exactly $I_2(C)$. The proof machinery then specializes to the Wiman curve $W_{160}$, uses its automorphism group to decompose $\operatorname{Sym}^2 H^0(K_W)$ into irreducible representations, and certifies numerically—with singular values separated into $[0,10^{-14}]$ and $[10^{-2},10]$ ranges and with propagation bounds from Section 7.2—that the relevant spans have dimension 13 and that their intersection is $I_2(W)$.
What would settle it
Run the supplied program's verification steps with exact rational arithmetic (for example using the Chinese-remainder approach mentioned in Remark 7.10) on the Wiman curve, and check whether the 510 equivalence classes of pairs of the 160 theta characteristics match the claimed Steiner-system intersections; any mismatch would invalidate Theorem 7.6 and hence Theorem 1.1.
Extended reading notes
Core claim
The central claim, Theorem 1.1, is that for a generic genus 5 curve $C$, with $q_{\theta,\theta+\alpha}$ denoting the quadric obtained from the pair of $\theta$ hyperplanes $l_\theta, l_{\theta+\alpha}$ (for an odd $\theta$ characteristic $\theta$, the unique hyperplane whose intersection with the canonical curve is everywhere double), the ideal of quadrics containing $C$ satisfies $$I_2(C)=\bigcap_{\$\alpha$\in J_C[2]\setminus\{0\}} \operatorname{span}(\{q_{\$\theta$,\$\theta$+\$\alpha$}\}_{\$\theta$\in\Sigma_{C,\$\alpha$}}),$$ where $\Sigma_{C,\alpha}$ is the Steiner system of the pair $(C,\alpha)$, i.e. the 240 odd $\theta$ characteristics $\theta$ for which both $\theta$ and $\theta+\alpha$ are odd. The author establishes this by proving the analogous statement for the Wiman curve and then extending to the generic curve by a semi-continuity specialization argument. Once $I_2(C)$ is known, Enriques–Babbage gives that the canonical curve is the intersection of these quadrics, so $C$ is effectively reconstructed; in addition, interpreting the right-hand side for any principally polarized abelian variety defines a $\theta$-hyperplane condition for the Schottky locus in genus 5.
Load-bearing premise
The theorem stands on the premise that the supplied program's singular value decompositions really have the claimed accuracy, at error levels near $10^{-14}$ and $3\cdot 10^{-14}$, since that numerical output, rather than a machine-checked certificate, is what verifies the dimension computations.
Editorial extensions
If this is right
- For a generic genus 5 curve, the curve can be algorithmically reconstructed from its theta hyperplanes alone; no ordering or additional level structure on the characteristics is required.
- The Schottky locus in genus 5 is characterized as the locus of principally polarized abelian varieties for which the intersection of the theta-hyperplane quadrics is a curve of arithmetic genus 5 with the same moduli point.
- The proof supplies a finite, exact-checkable witness for the numerical part—a spanning tree of pairs of theta characteristics—so the computational claim can be verified without rerunning floating-point code.
- Because the statement is verified on one curve and extended by semicontinuity, any future check on a different genus 5 curve would only need to reproduce the dimension counts on that single curve.
Reading between the lines
- Beyond the paper, the certified-numerical template—separated singular values plus an exact witness—should transfer to other effective-reconstruction problems; genus 6 is a natural test case because the general curve is not a complete intersection there.
- One could test the author's conjecture that the statement generalizes to higher genera numerically, by running the same protocol on the natural symmetric candidate curves for genus 6 and 7 and checking whether the corresponding intersection of Steiner-system quadrics has the predicted dimension.
- Because the right-hand side of Theorem 1.1 is defined for any principally polarized abelian variety via the Gauss map, the result suggests a numerical Jacobian-recognition test: compute the intersection of theta-hyperplane quadrics and check whether it is a curve of arithmetic genus 5.
- The exception noted in Remark 6.10—four theta characteristics sharing a common point can fool the triple-point test—indicates that a purely algebraic proof would need a sharper multiplicity analysis; searching for such exceptional configurations on other curves could reveal where the numerical certificate is genuinely essential.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper gives an effective reconstruction procedure for a generic genus 5 curve from its theta hyperplanes. The main theorem (Theorem 1.1) identifies the ideal of quadrics I2(C) of a generic genus 5 curve C with the intersection, over all nonzero 2-torsion points α of the Jacobian, of the span of the quadrics q{θ,θ+α} associated to pairs of theta hyperplanes, as θ ranges over the Steiner system Σ_{C,α}. The proof specializes to the Wiman curve W, computes the 160 relevant odd theta characteristics explicitly, proves combinatorial facts about their intersections with Steiner systems (Proposition 4.2), and then uses a certified numerical argument to verify the remaining finite checks. Corollary 1.2 gives the actual curve by Enriques–Babbage, and Corollary 1.3 gives a description of the Schottky locus in genus 5.
Significance. If fully established, the theorem is a natural and nontrivial extension of the author's earlier genus 4 reconstruction result, and it would give an effective, theta-hyperplane-based characterization of the genus 5 Schottky locus. The algebro-geometric reductions in Sections 2–5 are elegant: the specialization to the Wiman curve, the explicit coordinates for the 160 theta characteristics, and the representation-theoretic decomposition of Sym^2 H^0(K_W) are convincing and well motivated. Proposition 6.4 also provides explicit and usable error bounds. The paper is honest about its limitations, including Remark 6.10 on the insufficiency of the multiplicity tests. However, the claimed ``certified numerical proof'' is not yet a fully rigorous mathematical proof, because the key numerical certification in Section 7 rests on empirical assertions about floating-point SVD accuracy rather than on machine-checked certificates or interval/ball arithmetic. This gap is load-bearing for Theorem 1.1.
major comments (3)
- [§7.2, Theorem 7.6] The numerical certification is not a proven bound. The proof of Theorem 7.6 depends on the assertion that the computed singular values of the matrices from Corollaries 5.5, 6.7, and 6.9 lie in the disjoint intervals [0, 10^{-14}] and [10^{-2}, 10^3] (and analogous assertions in later steps), and on the claim in §7.2 that all SVD outputs satisfy entrywise residuals near 10^{-14} and 3·10^{-14}. These claims are based on running the supplied program, not on a rigorous error analysis of the SVD, no condition-number estimates are provided, and no machine-checkable certificate of the singular value classification is supplied. A single misclassification of a true zero singular value as nonzero, or of a small nonzero value as zero, would change the set A in Proposition 4.2 and could destroy the transitivity or the count of 510 equivalence classes, thereby invalidating Theorem 7.6 and with it Theorem 1.1.
- [Remark 6.10, proof of Theorem 7.6] The paper concedes in Remark 6.10 that the multiplicity tests of Section 6 can pass incorrectly when the four theta characteristics share a common point, and that the only protection is Proposition 4.2. But the verification of the hypotheses of Proposition 4.2 in Theorem 7.6 uses the same numerically classified singular values that come from the tests. Thus the exclusion of the problematic quadruples is not an independent check; it is the same numerical output that is being certified. This circularity needs to be broken, for example by verifying the bad cases with exact arithmetic over finite fields (as sketched in Remark 7.10) or with rigorous interval enclosures that are checked independently of the floating-point SVD output.
- [Corollary 7.8, Proposition 7.7] The proof of Corollary 7.8 is compressed on a load-bearing point. Proposition 7.7 verifies the dimension and the representation-theoretic projections of the orthogonal complement for 6 of the 12 orbits of Steiner systems, and Corollary 7.8 then obtains the intersection statement for all Steiner systems by ``applying the symmetry group.'' Please spell out the action of the full automorphism group on the 12 orbits and on the irreducible decomposition, and state explicitly how the remaining 6 orbits (and hence all 510 Steiner systems) are covered. As written, the reader cannot check that the dimension-3 conclusion for the full intersection follows from the data in Proposition 7.7 alone.
minor comments (4)
- [Proposition 4.2] The definition of the relation R is ill-typed: A is a subset of 4-element subsets, but the condition ``θ1∪θ2∈A'' treats θ1 and θ2 as individual theta characteristics even though R is said to be a relation on (O160 choose 2). Please rewrite the definition, presumably to say that two pairs P1,P2 ∈ (O160 choose 2) are related when P1∪P2 lies in A.
- [Theorem 7.6] The proof reuses the letter A for two different sets: first ``Let A be the set of a's...'' and later ``A := (O160 choose 4) \ A.'' Use distinct names for the certified set and for the set entering Proposition 4.2 to avoid confusion.
- [Remark 7.10] The sentence ``By Corollary 7.8 this witness proves the theorem'' is an overclaim: the supplied spanning tree is a witness for one partial Steiner system only. To serve as a traditional proof certificate, the paper needs witnesses for representatives of all 18 G0-orbits, or an explicit explanation of how a single tree plus the group action covers all Steiner systems.
- [§7.1] The statement that IEEE-754 ``guarantees at most half a bit error for each multiplication, addition, or subtraction'' is imprecise; the standard formulation is that each of these operations is correctly rounded to within 1/2 ulp. Please rephrase, and specify which operations and rounding modes are assumed.
Circularity Check
No significant circularity: Theorem 1.1 is established by specialization to the Wiman curve with independent algebraic lemmas and certified numerical verification; no fitted input is renamed as a prediction.
full rationale
The paper's derivation chain is self-contained rather than circular. Theorem 1.1 is reduced by Proposition 2.4 to finitely many dimension statements on the Wiman curve. This reduction uses Lemma 2.3, cited from the author's prior paper [L2], but that lemma is a standard, parameter-free semicontinuity statement about vector bundles and does not assume or encode the target equality; it is not a load-bearing self-citation in the sense of circularity. The algebraic core of Sections 3–5 constructs the 160 theta characteristics, computes their differences through elementary symplectic linear algebra, and decomposes Sym^2 H0(K_W) into explicit irreducible representations, giving I2(W) independently by Corollary 5.5. Section 6 provides rigorous a priori error bounds in Proposition 6.4, so that if the numerical SVD of Section 7 satisfies the stated residual bounds, then the true matrices have the claimed zero/nonzero singular-value pattern; this is a numerical certificate, not a fitted parameter. The program in Section 7 verifies the two hypotheses of Proposition 4.2 and the 13-dimensional span condition needed by Proposition 2.4, and Remark 7.10 supplies a finite witness for one Steiner system. None of these steps defines the predicted object in terms of itself. The paper explicitly flags its own limitations: Remark 6.10 concedes that the triple-point test can pass incorrectly when four theta characteristics share a common point, 7.2 asserts SVD accuracy by running the code rather than by a machine-checked certificate, and 7.9 honestly labels the in-code tests as heuristic affirmation. These are correctness or rigor concerns, not circularity: they concern whether the numerical bridge is fully rigorous, not whether the algebraic claim reduces to its inputs. No equation of the paper makes I2(C), the reconstruction of C, or the Schottky-locus description equivalent by construction to the data from which they are computed.
Assumptions & free parameters
assumptions (5)
- domain assumption A generic genus 5 curve is non-hyperelliptic, non-trigonal, and all odd theta characteristics are one-dimensional.
- standard math Classical facts about W_4^1(C), Humbert curves, the Enriques-Babbage theorem, and theta characteristics, cited from ACGH and Dolgachev.
- standard math Lemma 2.3 on lower and upper semi-continuity of spans and intersections is valid as stated.
- domain assumption IEEE-754 double precision arithmetic and the SVD routines satisfy the error bounds stated in Sections 7.1 and 7.2.
- standard math The Wiman curve W160 has the stated quadratic equations and automorphism group, as quoted from Wiman and Edge.
Cite this review
Pith. "Pith review of Effective reconstruction of generic genus 5 curves from their theta hyperplanes." pith.science (2026). https://pith.science/paper/ZM5KZGHA
@misc{pith2026190802355,
author = {Pith},
title = {Pith review of: Effective reconstruction of generic genus 5 curves from their theta hyperplanes},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZM5KZGHA}},
note = {Machine review of arXiv:1908.02355}
}
read the original abstract
We effectively reconstruct the set of enveloping quadrics of a generic curve C of genus 5 from its theta hyperplanes; for a generic genus 5 curve C this data suffices to effectively reconstruct C. As a consequence we get a complete description of the Schottky locus in genus 5 in terms of theta hyperplanes. The computational part of the proof is a certified numerical argument.
Reference graph
Works this paper leans on
-
[1]
S. Aronhold, \"Uber den gegenseitigen Zusamemmenhang der 28 Doppeltangenten einer allgemeiner Curve 4ten Grades , Monatberichter der Akademie der Wissenschaften zu Berlin, (1864), 499--523
-
[2]
E. Arbarello, M. Cornalba, P. A. Griffiths, J. Harris, Geometry of algebraic curves. Vol. I , Grundlehren der Mathematischen Wisse nschaften, 267. Springer-Verlag, (1985)
work page 1985
-
[3]
P. Breiding, B. Sturmfels, S. Timme, 3264 Conics in a Second , Notices of the AMS, Vol. 67, No. 1 (2020) 30--37
work page 2020
-
[4]
T. O. Celik, A. Kulkarni, A, Y. Ren, M. S. Namin, Tritangents and their space sextics , J. of Alg. Vol. 538, (2019), 290-311
work page 2019
-
[5]
L. Caporaso, E. Sernesi, Recovering plane curves from their bitangents , J. Algebraic Geom., Vol. 12, No 2., (2003), No. 2, 225--244
work page 2003
-
[6]
L. Caporaso, E. Sernesi, Characterizing curves by their odd theta-characteristics , J. Reine Angew. Math. 562, (2003), 101--135
work page 2003
-
[7]
Coble, Algebraic geometry and Theta functions , revised printing, Amer
A. Coble, Algebraic geometry and Theta functions , revised printing, Amer. Math. Soc. Coll. Pub., Vol. X Amer. Math. Soc., (1961)
work page 1961
-
[8]
Dolgachev, Classical algebraic geometry: a modern view , Cambridge Univ
I. Dolgachev, Classical algebraic geometry: a modern view , Cambridge Univ. Press. (2012)
work page 2012
Show all 20 references
-
[9]
Dolgachev, B
I. Dolgachev, B. Farb, E. Looijenga, Geometry of the Wiman Pencil, I: Algebro-Geometric Aspects , European J. of Math., Vol. 4, (2018), 879–-930
2018
-
[10]
Edge, Three plane sextics and their automorphisms , Canad
W. Edge, Three plane sextics and their automorphisms , Canad. J. Math., Vol. 21 (1969), 1263–-1278
1969
-
[11]
Grushevsky, R
S. Grushevsky, R. Salvati-Mani, On the gradient of odd theta functions , J. Reine. Angew. Math., Issue 573, (2004), 45--59
2004
-
[12]
Grushevsky, R
S. Grushevsky, R. Salvati-Mani, Theta functions of arbitrary order and their derivatives , J. Reine, Angew. Math., Issue 590, (2006), 31--43
2006
-
[13]
Humbert, Sur un complex remarguable de coniques et sur la surface du troisi\'eme ordre , J
G. Humbert, Sur un complex remarguable de coniques et sur la surface du troisi\'eme ordre , J. Ecole Polytechnique 64, (1894), 123--149
-
[14]
J. D. Hauenstein, F. Sottile, alphaCertified: certifying solutions to polynomial systems , ACM Transactions on Mathematical Software, Vol. 38, Issue 4, Article No. 28, (2012)
2012
-
[15]
Lehavi, Any smooth plane quartic can be reconstructed from its bitangents , Israel J
D. Lehavi, Any smooth plane quartic can be reconstructed from its bitangents , Israel J. of Math. Vol. 146, No. 1, (2005), 371--379
2005
-
[16]
Lehavi, Effective reconstruction of generic genus 4 curves from their theta hyperplanes , Int
D. Lehavi, Effective reconstruction of generic genus 4 curves from their theta hyperplanes , Int. Math. Research Notices, Vol. 2, Issue 19, (2015), 9472--9485
2015
-
[17]
Macbeath, On a curve of genus 7 , Proceedings of the London Math
A. Macbeath, On a curve of genus 7 , Proceedings of the London Math. Soc. 15, (1965), 527–542
1965
-
[18]
A. M. Odlyzko, A. Sch\"onhage Fast algorithms for multiple evaluations of the Riemann zeta function , Trans. of the AMS, Vol. 309, No. 2, (1988), 797--809
1988
-
[19]
Varley, Weddle’s surfaces, Humbert’s curves, and a certain 4-dimensional abelian variety , Amer
R. Varley, Weddle’s surfaces, Humbert’s curves, and a certain 4-dimensional abelian variety , Amer. J. Math., 108, (1986), 931–-952
1986
-
[20]
A. Wiman, \"Uber die algebraischen Curven von den Geschlechtern p = 4, 5 und 6, welche eindeutige Transformationen in sich besitsen , Svenska Vet.-Akad Handlingar Bihang till Handlingar 21 (1895) afd 1, No. 3
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.