Rational surfaces on low degree hypersurfaces

Shuntaro Yamagishi; Tim Browning

REVIEW 2 major objections 3 minor 22 references

Rational surfaces on low degree hypersurfaces

T0 review · 2 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read 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).

desk verdict A genuinely new circle-method decoupling for rational surfaces with a plausible theorem, but two load-bearing gaps in the mean value estimate. read the letter →

arxiv 2508.18938 v1 pith:IAXJY2OC submitted 2025-08-26 math.AG math.NT

Tim Browning , Shuntaro Yamagishi This is my paper · ORCID

classification math.AGmath.NT MSC 14H1011P5514G0514J2614J70

keywords rationalsurfacesmoduliofmorphismshypersurfacesfunctionfieldanalyticnumbertheorycirclemethodWeyldifferencingirreducibilityexpecteddimension

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 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.

What carries the argument

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 ϱ >

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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).

Editorial extensions

If this is right

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.

Reading between the lines

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

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.

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.

Desk Editor's Note

read the 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.

The 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.

The 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.

This 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.

Referee Report

2 major / 3 minor

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.

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 (2)

[§5, Lemma 5.1] 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.
[§5, Lemma 5.1 and final application of Prop. 4.8] 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.

minor comments (3)

[§4, proof of Lemma 4.6] There is a duplicated word: 'taking taking out a common factor' should read 'taking out a common factor'.
[§5, Lemma 5.1 statement] 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.
[General] The notation Mor_e(P^2, X) is occasionally typeset as 'Mor e(P2, X)' in the text; this is a formatting issue only.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the circle-method derivation is self-contained and no central claim reduces to its inputs.

full rationale

The paper's derivation of Theorem 1.2 is self-contained modulo standard, independently established tools. The counting function N(e) is defined directly from the moduli problem; the circle-method identity is exact; the Weyl differencing (Lemma 4.1) and mean-value estimates (Lemmas 4.6–4.7, Proposition 4.8) are proved in the text from Schmidt's differencing and a Browning–Sawin shrinking lemma, neither of which encodes the target irreducibility/dimension statement. Hypothesis 4.3 is satisfied by construction from the original hypersurface form f, and Lemma 4.5's lower bound σ_G ≥ n is derived from smoothness of f, not assumed. The final bound is compared with Lang–Weil to conclude irreducibility and dimension; no fitted parameter is relabelled as a prediction, and no uniqueness theorem is imported to force the conclusion. The authors cite their earlier work for auxiliary lemmas (e.g., [5, Lemma 6.4] in Lemma 4.2, [8, Lemma 2.1] in Lemma 2.1), but these are independent results with proofs or standard finite-field facts, and none assumes the theorem being proved. Separately, a referee might question whether the inequalities in Lemma 5.1 match Proposition 4.8's hypothesis; that would be a correctness gap, not a circularity, since the proof does not assume its conclusion.

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

No ad hoc parameters or entities are introduced. The proof uses standard background: Lang-Weil estimate, function field orthogonality and Dirichlet approximation, Davenport shrinking lemma, and prior lemmas from Browning-Vishe and Browning-Sawin. The main hidden assumption is the sufficiency of the n-threshold for the mean value estimate, which is exactly the gap flagged.

assumptions (5)

standard math Lang-Weil estimate translates point counts to irreducibility and dimension.
Invoked in Section 3 to deduce Theorem 1.2 from the counting bound (3.5).
standard math Function field circle method orthogonality (2.1),(2.2) and Dirichlet approximation.
Used in Sections 2 and 5 to express N(e) as an integral and to cover major arcs.
standard math Davenport shrinking lemma (Lemma 4.2).
Proved in [5] and stated here for F_q[u]; used in Lemma 4.4.
standard math Weyl differencing lemmas (Lemma 2.2) from Schmidt.
Used throughout Section 4.
domain assumption Spreading out to finite fields and characteristic p > d.
Reduces geometry over an algebraically closed field to counting over F_q; requires p > d for the factorial and binomial arguments.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Rational surfaces on low degree hypersurfaces." pith.science (2026). https://pith.science/paper/IAXJY2OC

@misc{pith2026250818938,
  author       = {Pith},
  title        = {Pith review of: Rational surfaces on low degree hypersurfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IAXJY2OC}},
  note         = {Machine review of arXiv:2508.18938}
}

abstract

We use function field analytic number theory to establish the irreducibility and dimension of the moduli space that parameterises morphisms of fixed degree from $\mathbb{P}^2$ to an arbitrary smooth hypersurface of sufficiently small degree.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

[1]

Beheshti and E

R. Beheshti and E. Riedl, Positivity results for spaces of rational curves. Algebra & Number Theory 14 (2020), 485–500

work page 2020
[2]

Birch, Forms in many variables

B.J. Birch, Forms in many variables. Proc. Roy. Soc. Ser. A 265 (1961/62), 245–263

work page 1961
[3]

Brandes, Forms representing forms and linear spaces on hypersurfaces

J. Brandes, Forms representing forms and linear spaces on hypersurfaces. Proc. London Math. Soc. 108 (2014), 809–835

work page 2014
[4]

Bilu and T.D

M. Bilu and T.D. Browning, A motivic circle method. Ann. Sci. ´Ecole Norm. Sup. , to appear

work page
[5]

Browning and W

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

work page 2020
[6]

Browning and W

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

work page 2023
[7]

Browning and P

T.D. Browning and P. Vishe, Rational curves on smooth hypersurfaces of low degree. Algebra & Number Theory 11 (2017), 1657–1675. RATIONAL SURF ACES 25

work page 2017
[8]

Rational curves on complete intersections and the circle method

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

work page Pith review arXiv 2024

Show all 22 references

[9]

Coskun and J

I. Coskun and J. Starr, Rational curves on smooth cubic hypersurfaces. Int. Math. Res. Not. 24 (2009), 4626–4641

2009
[10]

Eisenbud and J

D. Eisenbud and J. Harris, 3264 and all that . Cambridge University Press, 2016

2016
[11]

Glas and M

J. Glas and M. Hase-Liu, Terminal singularities of the moduli space of curves on low degree hypersurfaces and the circle method. Preprint, 2024. (arXiv:2412.14923)

2024 arXiv
[12]

Harris, Algebraic geometry

J. Harris, Algebraic geometry. A first course . Springer-Verlag, 1992

1992
[13]

Hase-Liu, A higher genus circle method and an application to geometric Manin’s conjecture

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

2024
[14]

Hochster and D

M. Hochster and D. Laksov, The linear syzygies of generic forms. Comm. Algebra 15 (1987), 227–239

1987
[15]

Kim and R

B. Kim and R. Pandharipande, The connectedness of the moduli space of maps to homogeneous spaces. Symplectic geometry and mirror symmetry , Chapter 5, World Scientific, 2001

2001
[16]

R. M. Kubota, Waring’s Problem for Fq[x]. Dissertationes Math. (Rozprawy Mat.) 117 (1974), 60 pp

1974
[17]

Lang, On quasi algebraic closure

S. Lang, On quasi algebraic closure. Ann. of Math. 55 (1952), 373–390

1952
[18]

S. A. Lee, On the applications of the circle method to function fields, and related topics. Ph.D. thesis, University of Bristol, 2013

2013
[19]

Riedl and D

E. Riedl and D. Yang, Kontsevich spaces of rational curves on Fano hypersurfaces. J. reine angew. Math. 748 (2019), 207–225

2019
[20]

Schindler, Bihomogeneous forms in many variables

D. Schindler, Bihomogeneous forms in many variables. J. Th´ eorie Nombres Bordeaux26 (2014), 483–506

2014
[21]

Schmidt, The density of integer points on homogeneous varieties

W. Schmidt, The density of integer points on homogeneous varieties. Acta Math. 154 (1985), 243–296

1985
[22]

Starr, Veronese varieties contained in hypersurfaces

J. Starr, Veronese varieties contained in hypersurfaces. Preprint, 2017. (arXiv:1703.03294) IST Austria, Am Campus 1, 3400 Klosterneuburg, Austria Email address : tdb@ist.ac.at IST Austria, Am Campus 1, 3400 Klosterneuburg, Austria Email address : shuntaro.yamagishi@ist.ac.at

2017 arXiv

Pith tools

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

[1] [1]

Beheshti and E

R. Beheshti and E. Riedl, Positivity results for spaces of rational curves. Algebra & Number Theory 14 (2020), 485–500

work page 2020

[2] [2]

Birch, Forms in many variables

B.J. Birch, Forms in many variables. Proc. Roy. Soc. Ser. A 265 (1961/62), 245–263

work page 1961

[3] [3]

Brandes, Forms representing forms and linear spaces on hypersurfaces

J. Brandes, Forms representing forms and linear spaces on hypersurfaces. Proc. London Math. Soc. 108 (2014), 809–835

work page 2014

[4] [4]

Bilu and T.D

M. Bilu and T.D. Browning, A motivic circle method. Ann. Sci. ´Ecole Norm. Sup. , to appear

work page

[5] [5]

Browning and W

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

work page 2020

[6] [6]

Browning and W

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

work page 2023

[7] [7]

Browning and P

T.D. Browning and P. Vishe, Rational curves on smooth hypersurfaces of low degree. Algebra & Number Theory 11 (2017), 1657–1675. RATIONAL SURF ACES 25

work page 2017

[8] [8]

Rational curves on complete intersections and the circle method

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

work page Pith review arXiv 2024