{"id":"37ceb59d-fc05-4c9d-810c-6f6d17005cb9","arxiv_id":"2412.14923","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For large ambient dimension n and curve degree e, the moduli space of genus g degree e maps into a smooth degree d hypersurface has at worst terminal singularities.","lead":"This paper proves that the moduli spaces of degree e curves on smooth low-degree hypersurfaces have terminal singularities, the mildest kind allowed in birational geometry, when the ambient dimension n and the degree e are large enough. The proof works by counting points on jet schemes of these moduli spaces with a new function-field version of the circle method.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Propositions 4 and 5 rest on the m=0 base case and the higher-genus shrinking lemma imported from the unpublished preprint [14]; if either is not valid in the full all-C, all-L range, the jet-scheme induction has no starting point.","rationale":"The reader's weakest-assumption analysis correctly identifies the m=0 base case as critical. A stress-test pass confirms that the entire jet-scheme induction depends on the unpublished preprint [14] not only for the base case but also for the higher-genus shrinking lemma (Lemma 24), so the concern is even slightly broader than the single base case. I found no internal contradiction that would independently invalidate the main argument: the major-arc manipulations in Section 4 are consistent, the Weyl-differencing setup in Section 5 follows the cited pattern, and the induction structure for terminal versus canonical singularities is coherent once the base case and shrinking lemma are granted. The large number of 'computer algebra system' verifications in Section 6 is a secondary concern because the thresholds e0 appear engineered to make those inequalities true, and no counterexample was found in the visible ranges. However, an unpublished foundational reference is a genuine correctness risk: if [14] proves its theorem under narrower hypotheses, the main theorems collapse. The appropriate disposition remains CONDITIONAL: the argument is plausible and structurally sound, but it should be verified against [14] before acceptance. Since the reader already issued a conditional verdict, no change is needed.","tokens_in":47677,"tokens_out":14813,"duration_ms":135557,"concrete_test":"Extract the precise hypotheses of Theorem 1 and Proposition 22 of arXiv:2402.10498 and check them against the ranges in Theorems 1–2: (a) all smooth genus-g curves C and all [L] in Pic^e(C) with e>e0 are covered; (b) the shrinking-lemma inequality in Lemma 24 here, especially the g≥2, ℓ=1 branch, follows from [14, Prop. 22] without extra hypotheses; (c) the claimed lci presentation via [15, Prop. 3] holds for the same ranges. If (a)–(c) hold, the concern is resolved; otherwise Propositions 4 and 5 lack a base case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main induction proving Propositions 4 and 5 has no self-contained starting point. In the proof of Theorem 2 (Section 3.1), the case m=0 is justified by '[5] for g=0 and by [14] for g≥1', and Section 2.3 repeats that [14] establishes nonempty, irreducible, lci, expected dimension for Mor(C,X,L) for every [L] in Pic^e(C). The same preprint also supplies Lemma 24, the higher-genus shrinking lemma used repeatedly in Lemmas 25–26. Thus every induction step and every minor-arc bound for g≥1 imports a nontrivial theorem from [14]. If [14]'s parameter range is narrower than claimed—for example, if it covers only generic C or generic L, or if its e0 is larger than Table 1—then the m=0 base case and the shrinking-lemma bounds fail and Theorems 1 and 2 have no proof as written. This is not an observed contradiction; it is an external verification gap, but it is load-bearing because Propositions 4/5 cannot be started or advanced without it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":47885,"tokens_out":8575,"duration_ms":67273,"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":[{"comment":"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.","section":"Section 2.3 and Section 3.1"},{"comment":"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.","section":"Section 5.3, Lemma 24"},{"comment":"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.","section":"Section 3"}],"minor_comments":[{"comment":"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.","section":"Section 4.1"},{"comment":"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(α,β).","section":"Section 3.2, proof of Theorem 1"},{"comment":"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.","section":"Section 6.2"},{"comment":"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.","section":"Sections 6.1 and 6.2"},{"comment":"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.","section":"Introduction, equation (1.1)"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically ambitious and, modulo the external inputs, the main argument appears coherent. The decisive issue is the unresolved dependence on the unpublished preprint [14] for three load-bearing pieces: the m=0 base case, the shrinking lemma, and the geometric interpretation of the circle. I recommend major revision rather than rejection because these gaps are verification gaps rather than observed contradictions, and they could be fixed by incorporating the needed results or by making [14] available with precise hypotheses. I would also suggest that the authors supply the computer-algebra verifications mentioned in Section 6 as a supplementary file. If [14] is itself under review, the editorial process should be coordinated so that the present paper does not rely on an unavailable reference."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. This is a genuine advance: the first terminality results for these moduli spaces, including g≥1, and it does what Browning-Sawin suggested the circle method couldn't. The key idea—running the circle method on jet schemes rather than on Mor directly—is clever and the execution is careful. Major arcs check out; the Weyl differencing and shrinking lemma estimates follow the expected pattern. Corollary 3 on Hodge numbers of F1(X) is a nice bonus.\n\nThe real soft spot is the dependence on [14]. The m=0 base case and the higher-genus shrinking lemma (Lemma 24) are both quoted from that unpublished preprint. Everything in Propositions 4/5 for g≥1 rests on it. This is not an observed contradiction; it's an external verification gap. But it's load-bearing, and the paper would be easier to trust if it either proved those base cases or at least stated exactly which statements from [14] are needed. The authors cite [14] as arXiv:2402.10498, so it exists; a referee should read it carefully.\n\nSecond, Section 6 has several steps left to 'computer algebra system' verification, with no code or detailed derivation. Some are simple rational function inequalities; others are messier. Common practice, but the reader can't independently check the arithmetic. Third, there are proofreading errors: a confused monotonicity claim in 6.1.1 and wrong cross-references (Prop 15 in the proof of Theorem 1 where Prop 17 is meant). Minor, but worth cleaning up.\n\nOverall: the core strategy is coherent, the new results are real, and the reliance on [14] is the main risk. A serious referee can evaluate that. I'd send it to peer review.","headline":"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].","tokens_in":48463,"tokens_out":2001,"would_cite":true,"duration_ms":18733,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14B05","14H10","14J70","11P55"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["terminal singularities","jet schemes","circle method","moduli of curves","low-degree hypersurfaces","canonical singularities","Fano variety of lines","function fields"],"falsifier":"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.","tokens_in":47380,"feed_emoji":"🧮","tokens_out":7006,"duration_ms":63772,"temperature":0.7,"pith_summary":"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.","feed_headline":"Curve moduli spaces reach terminal singularities","feed_subtitle":"For large ambient dimension and curve degree, the singularities are as mild as the minimal model program allows.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the function-field circle method and the spreading-out setup that the paper adapts to counting points on jet schemes.","marker":"[6]"},{"why":"Provides the m=0 base case for genus zero, namely that the morphism space is non-empty, irreducible, and of the expected dimension, and supplies the circle-method bounds the induction extends.","marker":"[5]"},{"why":"Provides the m=0 base case for genus at least one and the geometric reinterpretation of harmonic analysis over function fields used throughout the paper.","marker":"[14]"},{"why":"Gives the jet-scheme criterion for local complete intersections: irreducibility of all jet schemes is canonicity, and normality of all jet schemes is terminality.","marker":"[22]"},{"why":"Gives the companion jet-scheme result on inversion of adjunction used in the criterion's expected-dimension statement.","marker":"[10]"}],"fun_headline_variants":["Circle method proves terminal singularities in curve moduli","Curve moduli spaces get terminal singularities via circle method","Terminal singularities in moduli of curves from circle method","Low-degree hypersurfaces yield terminal curve moduli spaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Circle method proves terminal singularities in curve moduli","Curve moduli spaces get terminal singularities via circle method","Terminal singularities in moduli of curves from circle method","Low-degree hypersurfaces yield terminal curve moduli spaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000749,"raw_usage":{"total_tokens":3271,"prompt_tokens":814,"completion_tokens":2457,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":430,"completion_tokens_details":{"reasoning_tokens":2389}},"tokens_in":430,"tokens_out":2457,"duration_ms":14074,"temperature":1.0,"reasoning_tokens":2389,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:50:30.942062+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Browning and P","cited_arxiv_id":null,"evidence_quote":"Supplies the function-field circle method and the spreading-out setup that the paper adapts to counting points on jet schemes."},{"cited_title":"Browning and W","cited_arxiv_id":null,"evidence_quote":"Provides the m=0 base case for genus zero, namely that the morphism space is non-empty, irreducible, and of the expected dimension, and supplies the circle-method bounds the induction extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the jet-scheme criterion for local complete intersections: irreducibility of all jet schemes is canonicity, and normality of all jet schemes is terminality."},{"cited_title":"Ein and M","cited_arxiv_id":null,"evidence_quote":"Gives the companion jet-scheme result on inversion of adjunction used in the criterion's expected-dimension statement."}],"review_version":1}