{"id":"09d33cb5-9465-4021-82eb-da5c1fae43dd","arxiv_id":"2508.18938","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"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.","lead":"This paper proves that, for a smooth degree-d hypersurface X in sufficiently high-dimensional projective space, the moduli space of degree-e morphisms from the projective plane to X is irreducible and has the expected dimension, using function-field analytic number theory. If correct, it is the first such result for rational surfaces and gives a bound linear in e, improving on earlier polynomial bounds.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The mean-value bound in §5 is applied with hypotheses that fail: Proposition 4.8's P1 condition is not met for quadrics (d=2), Lemma 5.1 verifies a different inequality, and the stated n-threshold is also too weak for d≥3.","rationale":"The reader's weakest-assumption analysis and my independent check converge on the same two load-bearing gaps: the mean-value estimate in Proposition 4.8 is applied outside its stated hypotheses, and the dimension threshold n > 2d(d−1)(de+1) is insufficient for the stated σG lower bound when d≥3. The P1 failure is especially salient because it already occurs for d=2, so the issue is not confined to a minor asymptotic regime. These are proof gaps rather than demonstrated falsehoods of the theorem; the strategy is coherent and likely patchable by strengthening the threshold and either removing or correctly verifying the P1 condition in Proposition 4.8. Therefore I do not change the reader's CONDITIONAL verdict.","tokens_in":20631,"tokens_out":13013,"duration_ms":115075,"concrete_test":"Recompute the application of Proposition 4.8 for d=2, e=1, j=1 (ℓ=1, r=1, d1=d2=1, P1=1, P2=2). The required P1 inequality is 1 ≥ (1+2+2−1)/2 = 2, which fails. This single substitution settles that Lemma 5.1 does not verify the P1 hypothesis used in §5. Separately, substitute d=3 into σGjϱ > 2(d−1) with ϱ=1/((de+1)2^{d−1}) to confirm the threshold requires n > 2^d(d−1)(de+1) rather than n > 2d(d−1)(de+1).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 4.8 requires P1 ≥ (d1P1+d2P2+d−1)/(2(d−1)). In §5 this is applied with d1=d−r, d2=r, P1=ℓ, P2=ℓ+1 for j=(ℓ−1)d+r (and with d1=0, P1=P2=ℓ+1 when r=d). For d=2, r=1, ℓ=1, this condition reads 1 ≥ (1·1+1·2+1)/2 = 2, which is false. Indeed, for d=2 the inequality becomes 0 ≥ r+1, impossible for every j. For d≥3 it also fails for sufficiently small ℓ. Lemma 5.1 does not repair this: its second displayed inequality has −d+1 in the numerator instead of +d−1, so it proves only the trivial bound ℓ ≥ (j+1)/(2(d−1)), not the required ℓ ≥ (j+2d−1)/(2(d−1)). Since the estimate of every factor Ej(αj) in (5.4) depends on applying Proposition 4.8, the proof of Theorem 3.1 as written does not establish the claimed asymptotic. Separately, even after correcting this sign, the condition σGjϱ > 2(d−1) with Lemma 4.5's σGj ≥ n forces n > 2^d(d−1)(de+1), whereas Theorem 1.2 and Theorem 3.1 assume only n > 2d(d−1)(de+1). Both gaps concern hypotheses that are load-bearing for the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a theorem in algebraic geometry: for any smooth hypersurface X of degree d in P^{n-1} over an algebraically closed field of characteristic 0 or > d, with n > 2d(d-1)(de+1), the moduli space Mor_e(P^2, X) of degree-e morphisms is irreducible and has the expected dimension μ(e). The proof spreads out to finite fields, reduces the geometric statement to an asymptotic count of F_q[u]-polynomial tuples via Lang–Weil, and then applies a function-field circle method with a new Weyl-differencing mean value estimate for bihomogeneous forms. The counting estimate (Theorem 3.1) is the technical heart of the paper.","tokens_in":21065,"tokens_out":8191,"duration_ms":78947,"significance":"If the main theorem were established, it would be a substantial step: it gives the first general irreducibility/dimension statement for the moduli space of rational surfaces in arbitrary smooth low-degree hypersurfaces, with the dimension bound linear in e, in contrast to earlier results of Starr for Veronese surfaces. The strategy is promising and the paper contains useful ingredients: the reduction to counting is clean, the role of the singular locus is made explicit, and the function-field circle-method machinery is sophisticated. The paper also honestly identifies regimes where the statement fails in small characteristic (Proposition 3.2). However, the proof of the key counting estimate contains load-bearing errors in Lemma 5.1 and its application, so the central claim is not currently established.","major_comments":[{"comment":"The first assertion of Lemma 5.1 is not implied by the stated hypothesis. The proof uses Lemma 4.5 to get σ_Gj ≥ n and then says the first statement follows from n > 2d(d-1)(de+1). But the required inequality is σ_Gj/((de+1)2^{d-1}) > 2(d-1), i.e. σ_Gj > 2^d(d-1)(de+1). Since σ_Gj is only bounded below by n, the hypothesis supplies n > 2d(d-1)(de+1), which is weaker for d ≥ 3 by a factor 2^d/(2d). For example, d=3, e=1, n=50 satisfies the stated hypothesis but not the needed inequality. Thus the first hypothesis of Proposition 4.8 is not verified for d ≥ 3.","section":"§5, Lemma 5.1"},{"comment":"The second assertion of Lemma 5.1 verifies the wrong inequality. For j=(ℓ-1)d+r with r<d, Proposition 4.8 requires P1=ℓ ≥ ((d-r)ℓ+r(ℓ+1)+d-1)/(2(d-1)), equivalently (d-2)ℓ ≥ r+d-1. Lemma 5.1 proves instead ℓ ≥ ((d-r)ℓ+r(ℓ+1)-d+1)/(2(d-1)), equivalently (d-2)ℓ ≥ r-d+1, which is trivial and does not imply the required bound. For d=2, r=1 the required inequality reads ℓ ≥ ((ℓ)+(ℓ+1)+1)/2 = ℓ+1, which is false for every ℓ; likewise the case r=d, d=2 requires ℓ+1 ≥ (2(ℓ+1)+1)/2 = ℓ+3/2, also false. Hence Proposition 4.8 cannot be applied to all factors in the product (5.4). Since every factor E_j(α_j) enters the final estimate, this invalidates the proof of the asymptotic formula and therefore of Theorems 3.1 and 1.2 as written.","section":"§5, Lemma 5.1 and final application of Prop. 4.8"}],"minor_comments":[{"comment":"There is a duplicated word: 'taking taking out a common factor' should read 'taking out a common factor'.","section":"§4, proof of Lemma 4.6"},{"comment":"The range '0 ≤ (ℓ-1)d+r ≤ de with 0 ≤ ℓ ≤ e and 1 ≤ r ≤ d' deserves a clarification: for ℓ=0 only r=d occurs; this is implicit but could be confusing.","section":"§5, Lemma 5.1 statement"},{"comment":"The notation Mor_e(P^2, X) is occasionally typeset as 'Mor e(P2, X)' in the text; this is a formatting issue only.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The two gaps in Lemma 5.1 are not cosmetic. The first is an algebraic mismatch in the dimension threshold; the second is a sign error that makes the P1-hypothesis of Proposition 4.8 impossible for quadrics and unproved in general. Both are at the centre of the proof of Theorem 3.1. I am not recommending rejection because the overall strategy may be salvageable with a sharper analysis or a modified statement, but the present manuscript does not establish the advertised theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Take a look at this one. It has a new idea and a likely true theorem, but the written proof has two load-bearing gaps.\n\nThe new thing: instead of applying Birch's circle method to the whole system F_0,...,F_de, the authors decouple the integral so each α_j appears in its own factor, then use Weyl differencing to reduce each factor to a mean value estimate for a bihomogeneous form. That is a real technical innovation, and it explains the linear-in-e bound, which improves on Starr's polynomial-in-e results for Veronese surfaces. The main theorem—Mor_e(P^2,X) irreducible of expected dimension for n > 2d(d−1)(de+1)—would be the first for arbitrary smooth hypersurfaces. Prop 3.2, showing small characteristic can fail, is a nice complement. The exposition is clear and the reduction to the counting problem is standard.\n\nThe soft spots are in Section 5. The argument needs Prop 4.8's hypotheses for each factor E_j, and Lemma 5.1 is supposed to supply them. It doesn't. First, with σ_G ≥ n, the inequality σ_G ρ > 2(d−1) for ρ = 1/((de+1)2^{d−1}) forces n > 2^d(d−1)(de+1), not the stated n > 2d(d−1)(de+1). For d≥3 the factor d/2^{d−1} is strictly less than 1, so the stated threshold is genuinely too weak. Second, the P1 condition in Lemma 5.1 has a sign error: it proves ℓ ≥ ((d−r)ℓ+r(ℓ+1)−d+1)/(2(d−1)), but Prop 4.8 requires +d−1 in the numerator. For d=2 the required inequality is impossible for every j; for d≥3 it fails for small ℓ. Both hypotheses are load-bearing for the mean value estimate (5.4), hence for Theorem 3.1. I don't think these are fatal to the approach—the decoupling idea is sound—but the proof as written does not establish the claimed asymptotic.\n\nThis is a paper worth refereeing, not desk-rejecting; the referee should send it back for a serious revision. I'd be surprised if the gaps can't be patched, but they need actual work. I wouldn't cite it in current form.","headline":"A genuinely new circle-method decoupling for rational surfaces with a plausible theorem, but two load-bearing gaps in the mean value estimate.","tokens_in":21519,"tokens_out":9581,"would_cite":false,"duration_ms":72235,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H10","11P55","14G05","14J26","14J70"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for smooth degree-d hypersurfaces X in P^{n−1} with n > 2d(d−1)(de+1), the moduli space of degree-e morphisms P^2 → X is irreducible and has the expected dimension µ(e).","keywords":["rational surfaces","moduli of morphisms","hypersurfaces","function field analytic number theory","circle method","Weyl differencing","irreducibility","expected dimension"],"falsifier":"Inspect Lemma 5.1 against Proposition 4.8 at the parameter choice d=2, e=1, j=1 (so ℓ=1, r=1): the required P1 inequality is 1 ≥ ((1·1)+(1·2)+1)/2 = 2, which is false, while Lemma 5.1 merely asserts 1 ≥ 1. This single numerical check shows the stated hypotheses of the mean-value estimate are not satisfied, so the asymptotic formula (3.5) is not established as written.","tokens_in":20543,"feed_emoji":"📐","tokens_out":10024,"duration_ms":95510,"temperature":0.7,"pith_summary":"This paper attempts to establish that, for any smooth hypersurface X of degree d over an algebraically closed field of characteristic 0 or greater than d, the moduli space Mor_e(P^2, X) of degree-e morphisms from the projective plane to X is irreducible and has exactly the dimension predicted by counting equations, provided the ambient dimension n exceeds 2d(d−1)(de+1). A sympathetic reader would care because this is the first such statement for arbitrary smooth hypersurfaces, not merely very general ones, and the required dimension grows only linearly in the degree e, unlike earlier results for Veronese surfaces where the constraints grow polynomially in e. The proof imports the function-field circle method into the study of rational surfaces, reducing the geometric problem to counting polynomial solutions of a system of equations and then applying Weyl differencing to a decoupled exponential-sum estimate. If correct, the theorem extends the well-developed theory of rational curves on hypersurfaces to rational surfaces in a natural regime.","feed_headline":"Rational-surface maps are irreducible under a linear bound","feed_subtitle":"The expected dimension of Mor_e(P^2,X) is forced once n exceeds 2d(d−1)(de+1), a first for arbitrary smooth hypersurfaces.","key_machinery":"The key machinery is a decoupling identity for the exponential sum S(α) attached to the system of equations F_j(g)=0: writing |S(α)|^{2^d−1} as a product over j=0,...,de, each factor is bounded by a one-variable exponential sum |T_j(α_j)| whose phase is a bihomogeneous form of bidegree (d−r, r) in two groups of coefficient variables. This reduces a high-dimensional counting problem to a product of mean-value estimates for a single bihomogeneous form G(x;y), using Weyl differencing adapted from Schindler's work and the function-field machinery of Browning–Sawin. The crucial estimate is Proposition 4.8, which bounds ∫|E(α)|^ϱ dα with a power saving q^{−δ} provided two hypotheses hold: σ_G ϱ >","core_discovery":"The central claim is Theorem 1.2: for integers d ≥ 2 and e ≥ 1, let K be an algebraically closed field of characteristic 0 or exceeding d, and let X ⊂ P^{n−1} be a smooth hypersurface of degree d with n > 2d(d−1)(de+1). Then Mor_e(P^2, X) is irreducible and has dimension µ(e) = n·binom(e+2,2) − binom(de+2,2) − 1. The proof works over a finite field F_q. A degree-e morphism P^2 → X is given by n ternary forms of degree e satisfying f(g_1,...,g_n)=0; after dehomogenizing in one variable, the condition becomes a system of de+1 polynomial equations F_j(g)=0 in n(e+1) coefficient variables, with box constraints |g_s| < q^{s+1}. The expected dimension comes from the difference between the number o","pith_inferences":["Going beyond the paper, the same decoupling trick—splitting the exponential sum into factors depending on one equation coefficient at a time—should transfer to Mor_e(P^r, X) for r > 2, where the coefficient boxes have r+1 different side lengths; the authors only hint at this possibility.","Going beyond the paper, the proof's constants suggest a testable sharpening: if the missing side-length condition for the off-diagonal pieces can be repaired by a different grouping of variables, the stated linear bound n > 2d(d−1)(de+1) may still be the right threshold, but the current argument as written does not reach it.","Going beyond the paper, since the counting problem counts polynomial tuples over F_q, the same machinery may yield upper bounds of the correct order for integral points on complete intersections in settings where the circle method does not directly apply, a direction the authors explicitly flag at the end of the introduction."],"forward_implications":["For e = 1, the theorem specializes to Corollary 1.3: the Fano variety of planes F_2(X) in a smooth degree-d hypersurface is irreducible of dimension 3n − binom(d+2,2) − 9 whenever n > 2d(d^2−1).","The ambient-dimension requirement grows linearly in e, in contrast to the polynomial dependence in Starr's Veronese-surface result, so the theorem covers a much wider range of degrees e.","The statement holds for every smooth hypersurface of degree d in the range, not just very general ones, so the existence and dimension of these moduli spaces are not phenomena of generic choice.","The counting estimate behind the theorem, N(e) = q^{µ̂(e)} + O(q^{µ̂(e)−δ}), provides a quantitative description of all coefficient tuples satisfying f(g)=0 that is strong enough to force irreducibility via Lang–Weil."],"supporting_citations":[{"why":"Provides the reduction of the moduli problem to estimating N(e) over finite fields and the Lang–Weil passage that turns the counting estimate into irreducibility and dimension statements.","marker":"[7]"},{"why":"Establishes the function-field circle method for low-degree hypersurfaces in the rational-curves case, supplying the template and the required-n thresholds that the present paper adapts to rational surfaces.","marker":"[6]"},{"why":"Supplies the geometric point-counting lemma and the function-field version of Davenport's shrinking lemma (Lemma 4.2) on which the mean-value estimate rests.","marker":"[5]"},{"why":"Gives the Weyl differencing treatment for bihomogeneous forms in many variables that Section 4 extends to the function-field setting with an extra differencing step.","marker":"[20]"},{"why":"Provides the function-field analogue of Birch's circle-method theorem that underlies the counting formulation for forms in many variables.","marker":"[18]"},{"why":"Shows an asymptotic formula remains possible when the dimension surplus grows only linearly in the number of equations, the regime needed here since R = de+1 grows with e.","marker":"[8]"},{"why":"Gives the prior moduli-space result for degree-e Veronese surfaces in sufficiently general hypersurfaces; the theorem improves its constraint from polynomial to linear in e.","marker":"[22]"}],"fun_headline_variants":["Low-degree hypersurfaces: rational surface maps are irreducible","n > 2d(d−1)(de+1) forces irreducibility of rational surface maps","Rational surface maps on low-degree hypersurfaces: expected dimension","First proof: maps from P^2 to smooth hypersurfaces are irreducible"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proof's load-bearing premise is that the mean-value estimate (Proposition 4.8) applies to each piece of the decoupled exponential sum, but the side-length condition for the off-diagonal pieces fails (with d=2, e=1, r=1 it would require 1 ≥ 2) and the exponent condition demands the stronger bound n > 2^d(d−1)(de+1) than the stated n > 2d(d−1)(de+1).","fun_headline_variants_meta":{"raw":{"variants":["Low-degree hypersurfaces: rational surface maps are irreducible","n > 2d(d−1)(de+1) forces irreducibility of rational surface maps","Rational surface maps on low-degree hypersurfaces: expected dimension","First proof: maps from P^2 to smooth hypersurfaces are irreducible"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000278,"raw_usage":{"total_tokens":1430,"prompt_tokens":620,"completion_tokens":810,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":364,"completion_tokens_details":{"reasoning_tokens":728}},"tokens_in":364,"tokens_out":810,"duration_ms":7820,"temperature":1.0,"reasoning_tokens":728,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T16:05:57.556267+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Inspect Lemma 5.1 against Proposition 4.8 at the parameter choice d=2, e=1, j=1 (so ℓ=1, r=1): the required P1 inequality is 1 ≥ ((1·1)+(1·2)+1)/2 = 2, which is false, while Lemma 5.1 merely asserts 1 ≥ 1. This single numerical check shows the stated hypotheses of the mean-value estimate are not satisfied, so the asymptotic formula (3.5) is not established as written.","supporting_citations":[{"cited_title":"Browning and P","cited_arxiv_id":null,"evidence_quote":"Provides the reduction of the moduli problem to estimating N(e) over finite fields and the Lang–Weil passage that turns the counting estimate into irreducibility and dimension statements."},{"cited_title":"Browning and W","cited_arxiv_id":null,"evidence_quote":"Establishes the function-field circle method for low-degree hypersurfaces in the rational-curves case, supplying the template and the required-n thresholds that the present paper adapts to rational surfaces."},{"cited_title":"Browning and W","cited_arxiv_id":null,"evidence_quote":"Supplies the geometric point-counting lemma and the function-field version of Davenport's shrinking lemma (Lemma 4.2) on which the mean-value estimate rests."},{"cited_title":"Schindler, Bihomogeneous forms in many variables","cited_arxiv_id":null,"evidence_quote":"Gives the Weyl differencing treatment for bihomogeneous forms in many variables that Section 4 extends to the function-field setting with an extra differencing step."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the function-field analogue of Birch's circle-method theorem that underlies the counting formulation for forms in many variables."},{"cited_title":"Rational curves on complete intersections and the circle method","cited_arxiv_id":"2404.11123","evidence_quote":"Shows an asymptotic formula remains possible when the dimension surplus grows only linearly in the number of equations, the regime needed here since R = de+1 grows with e."},{"cited_title":"Veronese varieties contained in hypersurfaces","cited_arxiv_id":"1703.03294","evidence_quote":"Gives the prior moduli-space result for degree-e Veronese surfaces in sufficiently general hypersurfaces; the theorem improves its constraint from polynomial to linear in e."}],"review_version":1}