Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Terminal singularities of the moduli space of curves on low degree hypersurfaces and the circle method

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read The moduli space of degree-e genus-g curves on any smooth low-degree hypersurface has at worst terminal singularities when the ambient dimension is large and e is large.

desk verdict Strong paper: real terminality results for M_{g,0}(X,e) via a genuinely new jet-scheme circle method; main risk is load-bearing reliance on the second author's unpublished [14]. read the letter →

arxiv 2412.14923 v1 pith:3AOAAZAS submitted 2024-12-19 math.AG math.NT

Jakob Glas , Matthew Hase-Liu This is my paper · ORCID
classification math.AGmath.NT MSC 14B0514H1014J7011P55
keywords terminalsingularitiesjetschemescirclemethodmoduliofcurveslow-degreehypersurfacescanonicalFanovarietylinesfunctionfields
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

This paper proves that the moduli space of degree-e maps from smooth genus-g curves to a smooth degree-d hypersurface has at worst terminal singularities, provided the ambient dimension n is large compared to d and e is large compared to d and g. Terminal is the mildest kind of singularity permitted by the minimal model program, so the space is as well-behaved as a singular moduli space can be. The proof works by counting points on the jet schemes of the fixed-curve morphism spaces using a newly adapted form of the circle method over function fields, then feeding the count through the jet-scheme criterion for local complete intersections. A companion result establishes the weaker canonical-singularity property under slightly weaker numerical hypotheses. If correct, the theorem says these moduli spaces are normal, complete intersections with rational singularities in a broad range of degrees and genera.

What carries the argument

The load-bearing objects are the jet schemes of the morphism space Mor(C,X,L), whose points are maps from C tensored with the truncated polynomial ring F_q[t]/($t^{{m+1}}$) to X, together with the one-step iterated jet schemes obtained by taking tangent directions of the m-jet space. The paper develops a circle method over this truncated polynomial ring in which the circle is the dual space of the degree-de line-bundle sections, characters are summed over linear functionals, and the arcs are divided into major arcs indexed by effective divisors of small degree on C and minor arcs handled by Weyl differencing and a shrinking lemma adapted to the jet level. The key gain is that the equations for jet schemes are treated as a single equation over F_q[t]/($t^{{m+1}}$) rather than as a system of equations over F_q(t), so the number of variables grows linearly rather than quadratically in the number of equations; this is what makes a proof for all m at once possible. The counting results feed into the jet-scheme criterion: for a local complete intersection, irreducibility of all jet schemes is canonicity, and normality of all jet schemes is terminality.

What would settle it

Compute, for a single smooth hypersurface X of degree d with n+1 above the Theorem 1 bound and with e above the Table 1 threshold, the number of F_q-points on some jet scheme J_m(Mor(C,X,L)) or on J_1(J_m(Mor(C,X,L))) and show that its limit as q tends to infinity divided by $q^{{(m+1)dim Mor}}$ exceeds 1, or that the scheme is reducible; equivalently, find a parameter tuple inside the theorem's range for which inequality (2.3) or (2.4) fails.

Watch

Extended reading notes

Core claim

On its own terms, the central claim is Theorem 1: for a smooth hypersurface X in P^n of degree d at least 2 and every genus g, the stack of degree-e genus-g curves on X has at worst terminal singularities whenever n+1 exceeds an explicit exponential function of d, with different expressions depending on the range of e and g, and whenever e exceeds the threshold listed in Table 1. The same methods prove Theorem 2, the analogous canonical-singularity statement under a weaker inequality on n and its own threshold for e. The proof first reduces from the global moduli stack to the spaces of maps from a fixed smooth genus-g curve C to X with a fixed line bundle L; the reduction is flat with regular base, so singularities of the fibers pass to the total stack. It then establishes that all jet schemes of these fixed-curve morphism spaces, and also the one-step iterated jet schemes, are irreducible of the expected dimension, which by the jet-scheme criterion is exactly terminality, respectively canonicity.

Load-bearing premise

The load-bearing premise is the m=0 base case: for every smooth genus-g curve C and every degree-e line bundle L, the morphism space Mor(C,X,L) is non-empty, irreducible, a local complete intersection, and of the expected dimension; for g at least 1 this is imported from an unpublished preprint, and if that statement fails in the required parameter range the jet-scheme induction has no starting point.

Editorial extensions

If this is right

  • Under the stated bounds on n and e, M_{g,0}(X,e) is a local complete intersection Deligne-Mumford stack with at worst terminal, hence rational, singularities in the expected-dimension range.
  • For a smooth hypersurface of degree d at least 4 with n+1 exceeding the stated exponential bound, the Fano variety of lines F_1(X) is terminal, and the paper derives Hodge-diamond symmetries h^{0,q}=h^{q,0}=h^{N,N-q}=h^{N-q,N} together with h^{1,1}=1.
  • The same jet-scheme counts prove that every jet scheme J_m(Mor(C,X,L)) and every one-step iterated jet scheme is irreducible of exactly the expected dimension, so the spaces are as close to smooth as the dimension predictions allow.
  • For rational curves, the results upgrade earlier canonical-singularity statements to terminal-singularity statements that hold for every smooth hypersurface in the stated range, not only for a general hypersurface.
  • The circle method developed here works uniformly for all m in the jet hierarchy, whereas a naive system-of-equations approach would require the number of variables to grow quadratically in m.

Reading between the lines

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

  • The same counting strategy should extend to moduli spaces of rational curves on smooth complete intersections of low degree, where the analogous circle method with a linear number of variables is already available; the paper itself notes this extension as plausible.
  • A natural test of the method is whether the exponential dependence of n on d can be lowered to a linear dependence by incorporating refinements of the circle method that exploit the singular set of the hypersurface, as has been done in special cases.
  • If the imported base-case irreducibility for genus g at least 1 fails in some parameter range, the induction could be restarted at the first level where the base case is known, suggesting that the terminality conclusion is controlled by the jet schemes at every level independently rather than by a single fragile base step.
  • The explicit thresholds for e in Table 1 are chosen to make the displayed inequalities work; one could test computationally whether substantially smaller thresholds still satisfy the same circle-method estimates.
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, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies the singularities of the moduli space M_{g,0}(X,e) of degree-e maps from smooth genus-g curves to an arbitrary smooth hypersurface X ⊂ P^n_C of degree d. The main theorems give explicit, exponential-in-d lower bounds on n and explicit thresholds e0 such that M_{g,0}(X,e) has at worst terminal singularities (Theorem 1) or at worst canonical singularities (Theorem 2). The proof scheme is: reduce from M_{g,0}(X,e) to the fibered spaces Mor(C,X,L) for fixed C and [L] ∈ Pic^e(C); apply Mustaţă's jet-scheme criteria to reduce terminality/canonicity to irreducibility of J_m(Mor(C,X,L)) and J_1(J_m(Mor(C,X,L))); spread out to finite fields; count F_q-points of the corresponding jet schemes by a geometric form of the circle method. Major-arc contributions are evaluated via a vanishing lemma, and minor-arc contributions are bounded by Weyl differencing and a shrinking lemma. The thresholds n+1 > ... and e > e0 are chosen to make the resulting inequalities close. A corollary derives Hodge-number symmetries and h^{1,1}=1 for Fano varieties of lines under the terminality hypothesis.

Significance. If the proof is correct, this is a substantial and natural advance: previous singularity results for these moduli spaces were essentially limited to Starr's canonical-singularity theorem for rational curves and generic X, while this paper treats arbitrary smooth hypersurfaces and higher genus. The idea of applying the circle method directly to jet schemes, rather than to the underlying moduli space, is original and is carried out with explicit, parameter-free thresholds. The paper also gives a concrete geometric payoff in Corollary 3. The counting argument is coherent and the major-arc computation is transparent. The main weakness is that several load-bearing inputs, including the m=0 base case and the shrinking lemma, are imported from the unpublished preprint [14] by the second author; this makes the proof not self-contained and creates a verification gap that must be closed before the theorems can be accepted.

major comments (3)
  1. [Section 2.3 and Section 3.1] The induction proving Propositions 4 and 5 starts at m=0 with the assertion that Mor(C,X,L) is non-empty, irreducible, lci, and of expected dimension for every smooth genus-g curve C and every [L] ∈ Pic^e(C). For g=0 this is quoted from [5], but for g≥1 it is quoted from the unpublished preprint [14]. The manuscript explicitly states that this base case holds under the assumptions of Theorems 1 and 2, and the entire jet-scheme induction has no other starting point. If [14]'s result covers only generic C or generic L, or if its parameter range is narrower than claimed here, then Propositions 4 and 5, hence Theorems 1 and 2, have no proof as written. This is not an observed contradiction, but it is a load-bearing external verification gap. The authors should either include a complete proof of the base case in this paper or make the dependence precise and verifiable, e.g., by giving the exact theorem and parameter range in [14] and ensuring it is publicly available in final form.
  2. [Section 5.3, Lemma 24] Lemma 24, the shrinking lemma, is stated as a 'slightly more general' version of Proposition 22 of [14], and its proof is only sketched: the vector-bundle construction is said to work 'identically' and the rest of the argument 'goes through identically.' This lemma is then used to prove Lemmas 25 and 26, which in turn feed directly into the exponential-sum estimates of Propositions 31 and 32 and hence into the minor-arc bounds that prove Propositions 15 and 17. The shrinking lemma is therefore load-bearing for all of Section 6. A sketch that refers to an unpublished preprint is not sufficient for a journal proof of the main theorem. The authors should provide a complete, self-contained proof of Lemma 24, or at minimum a fully detailed reduction to a statement in [14] with all hypotheses verified, including the exact ranges of g, s, ℓ, and the role of the minimal factorization condition.
  3. [Section 3] The geometric interpretation of harmonic analysis over (F_q[s]/(s^{m+1}))((t^{-1})) that identifies the 'circle' with P^∨_{de,C,m} is imported from [14, Section 6]. This identification is foundational: it justifies the definition of the exponential sums S(α) and S(α,β) and therefore the entire counting identity. The manuscript does not reproduce or even state the precise theorem from [14] that gives this identification, nor does it discuss any hypotheses on C, L, or characteristic. Since the rest of the circle-method setup depends on this identification, this is another instance of an external dependence that must be made explicit and verifiable before the proof is complete.
minor comments (5)
  1. [Section 4.1] The sentence 'Let us first deal with the proof of Proposition 16' at the start of Section 4.1 is a typo; the subsection proves Proposition 14, not Proposition 16.
  2. [Section 3.2, proof of Theorem 1] In the proof of Theorem 1, the statement 'By Proposition 15 the contribution from the minor (α,β)' should refer to Proposition 17, which is the minor-arc estimate for the two-variable sums S(α,β).
  3. [Section 6.2] There is a stray bracket in 'Recall the definitions of sα and sβ in Proposition 32]'; this should be a clean reference to Proposition 32.
  4. [Sections 6.1 and 6.2] Several threshold inequalities are justified only by 'a computer algebra system' or 'computer verification' (e.g., the inequalities just before the end of Section 6.1.2 and in Cases I.1, I.2.2, II, III.1, III.2.1, III.2.2 of Section 6.2). These checks are load-bearing for the claimed numerical thresholds, so the authors should provide reproducible code or explicit algebraic estimates so that the referee and readers can verify them without rerunning an unspecified computation.
  5. [Introduction, equation (1.1)] The displayed dimension heuristic, equation (1.1), is typeset in a way that is very hard to parse; the braces and annotations are visually scrambled. Please reformat it in a standard aligned display.

Circularity Check

2 steps flagged · score 4.0 of 10

Higher-genus base case and shrinking lemma are imported from the second author's unpublished [14]; the main proof chain is load-bearing on self-citation, though the jet-scheme induction itself is independent content.

  1. self citation load bearing [Section 2.3; Proof of Theorem 2, Section 3.1]
    "As established in the proof of Theorem 1 of [14] for g ≥ 1 and Theorem 1.1 of [5], the space of morphisms Mor(C,X,L) for any [L] ∈ Pic^e(C) is irreducible and of the expected dimension ... The case m = 0 holds by [5] for g = 0 and by [14] for g ≥ 1 under even weaker assumptions on n and e."

    Propositions 4 and 5 are proved by induction on m. For g ≥ 1, the m = 0 base case is not proved in this paper; it is exactly the statement imported from [14], the second author's preprint. Every higher jet-scheme statement is then reduced via the major-arc identities to this base case. Hence the higher-genus singularities claim rests on an unproved-in-this-paper theorem from the authors' own prior work: if [14] covers only generic C or generic L, or if its parameter range is narrower than Table 1, the induction has no starting point and Theorems 1 and 2 collapse. This is a load-bearing self-citation, not an independently established base case.

  2. self citation load bearing [Section 5.3, Lemma 24 and its proof]
    "We recall the following (slightly more general) result from Proposition 22 of [14]: ... The proof is essentially the same as that of Proposition 22 in [14], which in turn is a geometric reinterpretation of the classical shrinking lemma. ... the rest of the argument in Section 7 (and Proposition 22) of [14] goes through identically."

    Lemma 24 is the shrinking lemma on which Lemmas 25 and 26, and hence Propositions 31 and 32, depend for the minor-arc exponential-sum bounds; Lemma 27 additionally invokes Lemma 23 of [14]. The paper does not give a self-contained proof, instead asserting that the proof of Proposition 22 of [14] 'goes through identically.' Thus a second load-bearing point in the g ≥ 1 argument reduces to the same unpublished preprint by the second author. This is not an equation-level identity, but it is a reliance on a self-cited result that is required for the main induction to advance.

full rationale

The proof chain is not circular in the definitional or fitted-input sense: the e0 thresholds are explicitly chosen to close inequalities, not fitted to data, and no theorem is defined in terms of its own conclusion. The new major/minor-arc jet-scheme argument is substantial independent content. However, two load-bearing steps are imported from [14], an unpublished preprint by the second author. The m = 0 base case for g ≥ 1 is exactly the statement of [14], and the higher-genus shrinking lemma is Proposition 22 of [14] with its proof deferred to that preprint. Because Proposition 14 reduces every higher m to this base case, and Propositions 31 and 32 reduce the minor-arc bounds to the shrinking lemma, the higher-genus theorems are, at those nodes, justified only by the same author's prior work. If [14] is valid in the full all-C, all-L range, the proof goes through; if not, it collapses. This is a verification dependency and self-citation load-bearing issue, not a definitional circularity, so the score is moderate.

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

The paper's central claim rests on standard jet-scheme criteria, on prior irreducibility/lci results for the fixed-curve moduli spaces ([5], [14]), on the lci presentation of M_{g,0}(X,e) ([15]), and on the geometric circle-method setup of [14]. The genuinely new work is the point counting on jet schemes and iterated jet schemes. No free constants are fitted to data; the thresholds e0 are constructed to close the inequalities.

free parameters (2)
  • degree threshold e0_terminal(g,d) = Table 1, three cases (d=2, d≥3 g=0, d≥3 g≥1)
    Lower bound on the curve degree e in Theorem 1. It is chosen so that the inequalities A < n+1 and A' < n+1 in Section 6 close. Any larger e works, so it is a threshold, not a fitted constant.
  • degree threshold e0_canonical(g,d) = Table 2, three cases (d=2, d≥3 g=0, d≥3 g≥1)
    Lower bound on the curve degree e in Theorem 2. Chosen to close the inequalities in Sections 6.1.1-6.1.3; not fitted to data.
assumptions (5)
  • standard math Mustaţă's jet scheme criteria (Theorem 10): for Y lci, Y terminal iff all J_m(Y) normal; Y canonical iff all J_m(Y) irreducible.
    Used in the proof of Theorems 1 and 2 to translate the jet-scheme point-counting results into singularity statements.
  • domain assumption The m=0 base case: Mor(C,X,L) is non-empty, irreducible, lci, and of expected dimension for all smooth genus-g C and all [L] (from [5] for g=0 and [14] for g≥1).
    Starting point of the induction in Propositions 4 and 5. [14] is an unpublished preprint by the second author; if it fails, the induction has no base.
  • domain assumption M_{g,0}(X,e) is an lci Deligne-Mumford stack cut out by de-g+1 equations in M_{g,0}(P^n,e) (Proposition 3 of [15]).
    Used in Corollary 8 to reduce the main theorems to fixed-curve spaces Mor(C,X,L). [15] is a preprint by the second author and Mattoo.
  • ad hoc to paper The geometric interpretation of harmonic analysis over (F_q[s]/(s^{m+1}))((t^{-1})) (from [14, Section 6]) identifies the circle with P∨_{de,C,m}.
    This is the bridge between character sums and the circle method in the geometric setting; the current paper builds all its exponential sums on this.
  • domain assumption Throughout, e ≥ 2g-1 so that L is non-special (Section 3).
    Needed for Riemann-Roch identities in the shrinking lemmas. The e0 thresholds in the theorems imply this, so it is not an extra restriction in practice.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Terminal singularities of the moduli space of curves on low degree hypersurfaces and the circle method." pith.science (2026). https://pith.science/paper/3AOAAZAS

@misc{pith2026241214923,
  author       = {Pith},
  title        = {Pith review of: Terminal singularities of the moduli space of curves on low degree hypersurfaces and the circle method},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3AOAAZAS}},
  note         = {Machine review of arXiv:2412.14923}
}
abstract

We study the singularities of the moduli space of degree $e$ maps from smooth genus $g$ curves to an arbitrary smooth hypersurface of low degree. For $e$ large compared to $g$, we show that these moduli spaces have at worst terminal singularities. Our main approach is to study the jet schemes of these moduli spaces by developing a suitable form of the circle method.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Rational surfaces on low degree hypersurfaces

    math.AG 2025-08 conditional novelty 8.0 of 10

    For smooth hypersurfaces X of degree d in P^{n-1} with n > 2d(d-1)(de+1), the moduli space of degree-e maps P^2 to X is irreducible of expected dimension.

Reference graph

Works this paper leans on

30 extracted references · 25 canonical work pages · cited by 1 Pith paper

  1. [14]

    Hase-Liu

    M. Hase-Liu. A higher genus circle method and an applicatio n to geometric Manin’s conjecture, Preprint (2024), arXiv: 2402.10498

    arXiv 2024

  2. [5]

    Browning and W

    T. Browning and W. Sawin. Free rational curves on low degree hypersurfaces and the circle method. Algebra Number Theory 17 (2023), pp. 719–748

    work page 2023

  3. [1]

    A. B. Altman and S. L. Kleiman. Foundations of the theory of Fan o schemes. Compositio Math. 34 (1977), pp. 3–47. 41

    work page 1977

  4. [2]

    A motivic circle method

    M. Bilu and T. Browning. A motivic circle method, Preprint (2023), arXiv: 2304.09645

    work page Pith review arXiv 2023

  5. [3]

    Browning

    T. Browning. Cubic forms and the circle method. Vol. 343. Progress in Mathematics. Birkhäuser, 2021

    work page 2021

  6. [4]

    Browning and W

    T. Browning and W. Sawin. A geometric version of the circle method. Ann. of Math. (2) 191 (2020), pp. 893–948

    work page 2020

  7. [6]

    Browning and P

    T. Browning and P. Vishe. Rational curves on smooth hyper surfaces of low degree. Algebra Number Theory 11 (2017), pp. 1657–1675

    work page 2017

  8. [7]

    Browning, P

    T. Browning, P. Vishe, and S. Yamagishi. Rational curves on complete intersections and the circle method, Preprint (2024), arXiv: 2404.11123

    arXiv 2024

Show all 30 references
  1. [8]

    P. Deligne. La conjecture de Weil. I. Inst. Hautes Études Sci. Publ. Math. (1974), pp. 273–307

    1974

  2. [9]

    P. Deligne. La conjecture de Weil. II. Inst. Hautes Études Sci. Publ. Math. (1980), pp. 137–252

    1980

  3. [10]

    Ein and M

    L. Ein and M. Mustaţă. Inversion of adjunction for local comp lete intersection varieties. Amer. J. Math. 126 (2004), pp. 1355–1365

    2004

  4. [11]

    L. Ein, M. Mustaţă, and T. Yasuda. Jet schemes, log discrepan cies and inversion of adjunction. Invent. Math. 153 (2003), pp. 519–535

    2003

  5. [12]

    Grothendieck and M

    A. Grothendieck and M. Raynaud. Cohomologie locale des faisce aux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2), Preprint (2005), arXiv: math/0511279

    2005 arXiv

  6. [13]

    Harris, M

    J. Harris, M. Roth, and J. Starr. Rational curves on hype rsurfaces of low degree. J. Reine Angew. Math. 571 (2004), pp. 73–106

    2004

  7. [15]

    Hase-Liu and A

    M. Hase-Liu and A. Mattoo. Non-smoothness of Moduli Spaces of Higher Genus Curves on Low Degree Hypersurfaces, Preprint (2024), arXiv: 2412.04618

    2024 arXiv

  8. [16]

    J. Kollár. Rational curves on algebraic varieties . Vol. 32. Springer-Verlag, Berlin, 1996, pp. viii+320

    1996

  9. [17]

    J. Kollár. Singularities of the Minimal Model Program . Cambridge Tracts in Mathematics. Cambridge University Press, 2013

    2013

  10. [18]

    Kontsevich

    M. Kontsevich. Enumeration of rational curves via toru s actions. In: The moduli space of curves (Texel Island, 1994). 129. Progr. Math. Birkhäuser Boston, Boston, MA, 1995, pp. 335– 368

    1994

  11. [19]

    Lehmann, E

    B. Lehmann, E. Riedl, and S. Tanimoto. Codimension of jumpin g loci, Preprint (2024), arXiv: 2408.08759

    2024 arXiv

  12. [20]

    Murayama

    T. Murayama. A uniform treatment of Grothendieck’s locali zation problem. Compos. Math. 158 (2022), pp. 57–88

    2022

  13. [21]

    Murayama

    T. Murayama. Terminal singularities of fibers vs total space. 2024. /u.sc/r.sc/l.sc: https://mathoverflow.net/q/471644

    2024

  14. [22]

    M. Mustaţă. Jet schemes of locally complete intersection ca nonical singularities. Invent. Math. 145 (2001). With an appendix by David Eisenbud and Edward Frenkel, p p. 397–424

    2001

  15. [23]

    M. Mustaţă. The dimension of jet schemes of singular varie ties. In: Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II . Kyung Moon Sa, Seoul, 2014, pp. 673–693

    2014

  16. [24]

    S. G. Park and M. Popa. Lefschetz theorems, Q-factorialit y, and Hodge symmetry for singular vari- eties, Preprint (2024), arXiv: 2410.15638

    2024 arXiv

  17. [25]

    Riedl and D

    E. Riedl and D. Yang. Kontsevich spaces of rational curve s on Fano hypersurfaces. J. Reine Angew. Math. 748 (2019), pp. 207–225

    2019

  18. [26]

    S. L. Rydin Myerson. Quadratic forms and systems of forms in many variables. Invent. Math. 213 (2018), pp. 205–235

    2018

  19. [27]

    S. L. Rydin Myerson. Systems of cubic forms in many variable s. J. Reine Angew. Math. 757 (2019), pp. 309–328

    2019

  20. [28]

    W. Sawin. The asymptotic in Waring’s problem over functi on fields via singular sets in the circle method, Preprint (2024), arXiv: 2412.14053. 42

    2024 arXiv

  21. [29]

    C. M. Skinner. Forms over number fields and weak approximat ion. Compositio Math. 106 (1997), pp. 11–29

    1997

  22. [30]

    J. Starr. The Kodaira dimension of spaces of rational curv es on low degree hypersurfaces, Preprint (2003), arXiv: math/0305432. 43

    2003 arXiv

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.