Closed points on cubic hypersurfaces

Qixiao Ma

REVIEW 2 major objections 5 minor 20 references

Closed points on cubic hypersurfaces

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read A closed point whose degree is prime to 3 on a regular cubic surface forces a closed point of degree 1, 4, or 10, even over imperfect fields.

desk verdict A genuinely new generalization of Coray's theorem plus appealing stable birationality results, but Proposition 6.2 has a real indexing/dimension error that needs fixing before the paper is accepted. read the letter →

arxiv 1908.03139 v1 pith:6P4XVJQ4 submitted 2019-08-08 math.AG

Qixiao Ma This is my paper · ORCID

classification math.AG MSC 14J7014E0814G0514C05

keywords closedpointscubicsurfacesthreefoldsfourfoldsrationalnormalcurvessymmetricproductsstablebirationalityimperfectfields

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 on a regular cubic surface over any field, a closed point whose residue-field degree is not divisible by 3 forces a closed point of degree 1, 4, or 10. That removes the perfect-field assumption from a theorem known before only in that setting, and it does so by lifting the surface to a discrete valuation ring and using smoothness of the Hilbert scheme to descend degree steps. For cubic threefolds and fourfolds, the paper shows that degree-7 and degree-8 closed points can be lowered to points of degree at most 5 or 7 by cutting the hypersurface with the unique rational normal curve through the geometric points of the original point. The same construction yields birational equivalences between symmetric products: for a smooth cubic threefold, $\operatorname{Sym}^7(X)$ and $\operatorname{Sym}^5(X)$ are stably birational, and for a smooth cubic fourfold, $\operatorname{Sym}^8(X)$ and $\operatorname{Sym}^7(X)$ are.

What carries the argument

The load-bearing object is the rational normal curve through a closed point of degree $n+3$ in $\mathbb{P}^n$. When the geometric points are in linearly general position, a Cremona transformation centered at a subset of them identifies such curves with lines avoiding certain planes, which proves there is exactly one such curve. When the geometric points are not in linear general position, the paper perturbs the point to general position over the generic point, obtains the unique curve there, and specializes it; the special fiber is a reduced curve of degree at most 5, and its intersection with the cubic produces a residual zero-cycle of lower degree. For the birationality results, the same curve is used to define a rational map $\operatorname{Sym}^{n+4}(X) \to \operatorname{Sym}^{2n-1}(X)$ by sending a subscheme $P$ to the residual intersection $(C_P \cap X) \setminus P$; the rationality of the generic fiber is analyzed through the varieties $F_{P,n}$ parameterizing genus-zero curves through a fixed subscheme.

What would settle it

Find a smooth cubic fourfold over a field with a degree-8 closed point such that the specialized rational normal curve has a degree-3 component that is a nodal union of three Galois-conjugate rational curves and the residual intersection produces no point of degree 1, 2, 4, 5, or 7; equivalently, exhibit eight Galois-conjugate points on such a curve whose orbit sizes are not all multiples of 3.

Watch

Extended reading notes

Core claim

On its own terms, the central claim is Theorem 2.6: if a regular cubic surface over a field $k$ contains a closed point $P$ whose degree is prime to 3, then it contains a closed point of degree 1, 4, or 10. The proof keeps the overall shape of the perfect-field descent but replaces separability arguments with a lift to a complete discrete valuation ring with residue field $k$; the point $P$ lifts to the generic fiber, the known theorem over perfect fields applies there, and the resulting lower-degree point specializes back. The paper's second main claim is Proposition 6.2: for a smooth cubic $n$-fold with $n=3$ or $4$, the symmetric product $\operatorname{Sym}^{n+4}(X)$ is birational to $\operatorname{Sym}^{2n-1}(X)$ times an affine space, so the two symmetric powers are stably birational.

Load-bearing premise

The descent for degree-8 points on cubic fourfolds depends on an unproved orbit-counting step: if the specialized curve has a degree-3 component that is a nodal union of three Galois-conjugate rational curves, the proof assumes the eight geometric points must form orbits whose sizes are multiples of 3, and this assertion is made without a full proof.

Editorial extensions

If this is right

On a regular cubic surface over any field, the question of whether a point of degree prime to 3 exists is settled exactly by looking for points of degrees 1, 4, and 10.
Smooth cubic threefolds with a degree-7 point and smooth cubic fourfolds with a degree-8 point automatically contain a point of one of the listed lower degrees.
The symmetric powers $\operatorname{Sym}^7(X)$ and $\operatorname{Sym}^5(X)$ are stably birational for a cubic threefold, and $\operatorname{Sym}^8(X)$ and $\operatorname{Sym}^7(X)$ for a cubic fourfold.
The rational map from $\operatorname{Sym}^d(X)$ to $\operatorname{Sym}^e(X)$ turns a length-$d$ subscheme of $X$ into a $k$-point of $\operatorname{Sym}^e(X)$, so the existence statements for closed points can be read as statements about points on symmetric powers.

Reading between the lines

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

The parity condition in the stable-birationality statements may be an artifact of the rationality proof for $F_{P,n}$; if the even-even case of Question 5.9 has a positive answer, the birationality would hold without the parity restriction.
The same residual-intersection construction should produce stable birationalities for smooth hypersurfaces of degree $m$, along the lines of the paper's remark that $\operatorname{Sym}^l(X)$ and $\operatorname{Sym}^{m(n+3)-l}(X)$ are stably birational when $l$ or $n$ is odd; removing the parity assumption is a natural next step.
The unproved orbit-counting assertion could be checked exhaustively by computer for small fields: list the possible Galois orbit structures of eight points on a degree-3 nodal rational curve; any orbit structure not consisting of multiples of 3 would show the current justification needs repair, even if the theorem remains true.

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

Dear colleague,

Quick take on Ma's "Closed points on cubic hypersurfaces." The paper is worth reading and refereeing, but Section 6.2 as written is internally inconsistent.

The main result, Theorem 2.6, removes the perfectness assumption in Coray's theorem for regular cubic surfaces. The lifting-to-characteristic-0 trick is genuinely new, and the proof is convincing, modulo a small point about lifting the Hilbert point. The use of Lemma 2.3 to extract a closed point of degree prime to 3 is fine. I think that theorem is correct.

The stable birationality results for symmetric products of cubic 3-folds and 4-folds are new and interesting. The strategy is nice: dominant maps between symmetric products via intersection with rational normal curves, then study the rationality of the generic fiber. The generic fiber is the moduli space of rational normal curves through a fixed zero-cycle, denoted F_{P,n}. Propositions 5.3 and 5.4 give rationality in the needed degrees.

But Proposition 6.2 has a real error. For X in P^{n+1}, rational normal curves have degree n+1, not degree 2n-1. The generic fiber of f_n should be F_{R,n+1}, not F_{R,2n-1}. For n=3 that means F_{R,4}; for n=4, F_{R,5}. The printed proof applies Proposition 5.3 to F_{R,5} and Proposition 5.4 to F_{R,7}, which are the wrong objects. With the corrected indexing the cited propositions do apply: Proposition 5.3 (deg = n+1) for the first, Proposition 5.4 (deg = n+2, odd ambient dimension) for the second. Also the affine factor dimension is wrong: the complement dimension for n=4 is 4, not 3, so it should be P^4, not P^{15-3n} (which gives P^3). The conclusion is salvageable, but the statement and proof need rewriting.

The other weak spot is Theorem 3.6. The argument that a degree-3 component cannot be a nodal union of three Galois-conjugate rational curves is asserted in a few lines and not proved. The orbit counting is plausible, but it is essential for the descent, so it needs a real proof.

There are also several typos: Proposition 5.1 writes P^3 instead of P^n in the Hilbert scheme, and Proposition 5.2 calls the curve a conic. None of these affect the main ideas.

Proposition 5.4 overlaps with Florence–Reichstein (as noted in Remark 5.8.1), but the proof here is independent and explicit. The citation handling is honest.

In sum: a solid contribution to arithmetic and birational geometry, with one clear flaw in a key proposition that is repairable and one sketchy argument that needs expansion. It deserves a serious referee, and I'd send it to one, asking for a revision.

Best,

[your name]

Referee Report

2 major / 5 minor

Summary. The paper studies closed points and zero-cycles on cubic hypersurfaces over arbitrary fields. Its main results are: (i) Theorem 2.6, extending Coray's theorem to regular cubic surfaces over arbitrary fields by a lifting argument to mixed characteristic; (ii) Theorem 3.6, using rational normal curves to descend the degree of certain closed points on smooth cubic 3-folds and 4-folds; and (iii) Section 6, proving stable birationality statements for symmetric products, in particular Sym^7(X) and Sym^5(X) for cubic 3-folds and Sym^8(X) and Sym^7(X) for cubic 4-folds. The paper also develops auxiliary results on the rationality of moduli spaces F_{P,n} of rational normal curves through a fixed zero-cycle P.

Significance. If corrected, these are solid contributions. Theorem 2.6 is a genuine extension of Coray's theorem with a clean lifting-to-mixed-characteristic proof, and Theorem 3.6 offers a plausible new descent mechanism for cubic 3-folds and 4-folds. The symmetric-product results are interesting in the context of the Cassels--Swinnerton-Dyer circle of questions, and the explicit parametrizations in Proposition 5.4 are a useful addition. The paper relies on standard, well-documented machinery (Hilbert schemes, symmetric products, Galois descent, Rydh's cycle theory), and the main methods are transparent and reproducible from the text.

major comments (2)

[§6.2, Proposition 6.2] The displayed birationality has a dimension error for n=4, and the proof identifies the wrong generic fiber. For a smooth cubic n-fold X⊂P^{n+1}_k, a rational normal curve through a length-(n+4) point has degree n+1 in P^{n+1}, so the generic fiber of f_n is F_{R,n+1}, not F_{R,2n-1}. Consequently, for n=3 one should apply Proposition 5.3 to F_{R,4}, and for n=4 one should apply Proposition 5.4 to F_{R,5}. Also, dim Sym^8(X)=32 and dim Sym^7(X)=28, so the affine factor for n=4 must have dimension 4, whereas 15-3n gives 3; the correct dimension is n(5-n), namely 6 for n=3 and 4 for n=4. The stable birationality conclusion appears repairable with these corrections, but the statement and proof as printed are internally inconsistent.
[§3.3, proof of Theorem 3.6] The last paragraph of the proof asserts that a degree-3 component C2 which is a nodal union of three Galois-conjugate rational curves cannot contain the degree-8 point, because the number of geometric points would be a multiple of 3. This assertion is essential for the descent in the non-general-position case and is only sketched. A complete argument can be given: if P is a smooth geometric point on one component and H is the stabilizer (index 3) of that component, then the H-orbit of P has size [k(P):k]/[L∩k(P):k]=8, so all eight conjugates would lie on that component; applying a Galois element moving the component gives a further disjoint H-orbit, contradicting the total of eight points. For nodes, the Galois group permutes the three pairwise intersections transitively, so any Galois-invariant subset of nodes has cardinality divisible by 3. The paragraph should include this reasoning.

minor comments (5)

[§5.1, Proposition 5.1] The Hilbert polynomial of a rational normal curve of degree n in P^n is h(t)=nt+1, not t+n+1; accordingly the Hilbert scheme should be Hilb^{nt+1,°}_{P^n_k/k}, and the curves in the definition of F_{P,n} have degree n, not n+1.
[§5.2, proof of Proposition 5.2] In the sentence 'If n or deg(P) is odd, then C_K is a conic with a closed point of odd degree', the word 'conic' should be replaced by 'curve of genus 0'; the logic is otherwise sound because, when n is odd, the line bundle O_C(1) has odd degree and forces C_K to be split.
[§5.4, Lemma 5.8] In the proof of Lemma 5.8, the coordinates {X_t} should be coordinates of P^{2d-1}_k, not P^{2d+1}_k, and the displayed sum defining f^* X_t should run to 2d-1 rather than 2d+1.
[§6.2, Proposition 6.2] The subscript in F_{P,n} denotes the ambient projective dimension, but in the proof of Proposition 6.2 the expressions F_{R,5} and F_{R,7} are used as though the subscript were a degree; after correcting the generic fiber to F_{R,n+1}, this notation should be made explicit to avoid confusion.
[§2.2, proof of Theorem 2.6] The application of Lemma 2.5 to the relative Hilbert scheme Hilb^d_{X/R} over R deserves a brief justification: since X/R is flat and the special fiber is regular at P, the point [P] is a smooth point of the relative Hilbert scheme over R, so Hensel lifting applies.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the paper derives its claims from stated hypotheses and external theorems; the apparent flaw in Proposition 6.2 is an indexing error, not a circular reduction.

full rationale

The derivation chain is self-contained against external benchmarks. Theorem 2.6 invokes Coray's theorem, which is an external result, after lifting to characteristic zero; it does not assume the target statement over the original field k. The descent back to k uses standard facts about Hilbert schemes (smoothness, properness, specialization maps) from the Stacks Project and Grothendieck, so the argument is not circular. Section 3 similarly relies on geometric lemmas about Cremona maps, rational normal curves, and specialization; the one flagged gap, the Galois-orbit counting claim in the proof of Theorem 3.6, is an unproved subclaim rather than an assumed version of the conclusion. Section 6's Proposition 6.2 contains an apparent internal inconsistency: it identifies the generic fiber of f_n as F_{R,2n-1}, whereas the universal zero-cycle R lies in P^{n+1}, so the correct object would be F_{R,n+1}; correcting this restores the intended dimensional count. That is a mathematical correctness issue, not circularity. There are no fitted parameters, no predictions forced by construction, no load-bearing self-citations, and no uniqueness claims imported from the author's own prior work. Accordingly, the paper earns a circularity score of 0.

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

No free parameters or invented entities appear. The proofs rely on standard theorems from algebraic geometry as listed. The arguments are not circular; external results are used as black boxes.

assumptions (6)

standard math Coray's theorem for smooth cubic surfaces over perfect fields
Invoked in the proof of Theorem 2.6 after lifting to characteristic 0.
standard math Smoothness of the Hilbert scheme of lci subschemes on a regular scheme
Lemma 2.5 uses this to lift points in the Hilbert scheme; cited from Stacks 06D9.
standard math Existence of Hilbert-Chow morphism for symmetric products of smooth surfaces
Used in Proposition 4.1; cited from Nakajima 1.5.
standard math Rydh's theory of quasi-integral zero-cycles on symmetric products
Proposition 4.5 relies on Rydh's results on cycles and the Chow scheme.
standard math Lüroth's theorem and resolution of indeterminacy for rational maps from P^1
Used in Lemma 3.5 to show special fibers are dominated by rational curves.
standard math Mattuck's theorem that Sym^m(P^n) is rational
Used in Proposition 5.2 to conclude stable rationality of the moduli space.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Closed points on cubic hypersurfaces." pith.science (2026). https://pith.science/paper/6P4XVJQ4

@misc{pith2026190803139,
  author       = {Pith},
  title        = {Pith review of: Closed points on cubic hypersurfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6P4XVJQ4}},
  note         = {Machine review of arXiv:1908.03139}
}

read the original abstract

We generalize some results of Coray on closed points on cubic hypersurfaces. We show certain symmetric products of cubic hypersurfaces are stably birational.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 18 canonical work pages

[1]

Zero cycles of degree one on principal homogeneous spaces

Jodi Black. Zero cycles of degree one on principal homogeneous spaces. J. Algebra , 334:232--246, 2011

work page 2011
[2]

D. Coray. Algebraic points on cubic hypersurfaces. Acta Arithmetica , 30(3):267--296, 1976

work page 1976
[3]

L'\'equivalence rationnelle sur les points ferm\'es des surfaces rationnelles fibr\'ees en coniques

Jean-Louis Colliot-Th\'el\`ene and Daniel Coray. L'\'equivalence rationnelle sur les points ferm\'es des surfaces rationnelles fibr\'ees en coniques. Compositio Math. , 39(3):301--332, 1979

work page 1979
[4]

The rationality problem for forms of M_ 0,n

Mathieu Florence and Zinovy Reichstein. The rationality problem for forms of M_ 0,n . Bull. Lond. Math. Soc. , 50(1):148--158, 2018

work page 2018
[5]

Grothendieck

A. Grothendieck. \'el\'ements de g\'eom\'etrie alg\'ebrique. IV . \'etude locale des sch\'emas et des morphismes de sch\'emas IV . Inst. Hautes \'Etudes Sci. Publ. Math. , page 361, 1967

work page 1967
[6]

Central simple algebras and Galois cohomology , volume 165

Philippe Gille and Tam \'a s Szamuely. Central simple algebras and Galois cohomology , volume 165. Cambridge University Press, 2017

2017
[7]

Gordon-Sarney and V

R. Gordon-Sarney and V. Suresh. Totaro's question on zero-cycles on torsors. Duke Math. J. , 167(2):385--395, 2018

work page 2018
[8]

Algebraic geometry

Robin Hartshorne. Algebraic geometry . Springer Science+Business Media, Inc, New York, 2010

work page 2010

Show all 20 references

[9]

M. M. Kapranov. Veronese curves and G rothendieck- K nudsen moduli space M_ 0,n . J. Algebraic Geom. , 2(2):239--262, 1993

1993
[10]

Rational curves on algebraic varieties

Janos Kollar. Rational curves on algebraic varieties . Springer, Berlin New York, 1996

1996
[11]

Algebraic geometry and arithmetic curves

Qing Liu. Algebraic geometry and arithmetic curves . Oxford University Press, Oxford New York, 2006

2006
[12]

Principal homogeneous spaces over abelian varieties

Serge Lang and John Tate. Principal homogeneous spaces over abelian varieties. American Journal of Mathematics , 80(3):659--684, 1958

1958
[13]

The field of multisymmetric functions

Arthur Mattuck. The field of multisymmetric functions. Proc. Amer. Math. Soc. , 19:764--765, 1968

1968
[14]

Lectures on Hilbert schemes of points on surfaces

Hiraku Nakajima. Lectures on Hilbert schemes of points on surfaces . American Mathematical Society, Providence, R.I, 1999

1999
[15]

Parimala

R. Parimala. Homogeneous varieties---zero-cycles of degree one versus rational points. Asian J. Math. , 9(2):251--256, 2005

2005
[16]

Rational points on varieties

Bjorn Poonen. Rational points on varieties . American Mathematical Society, Providence, Rhode Island, 2017

2017
[17]

Families of cycles and the Chow scheme

David Rydh. Families of cycles and the Chow scheme . Matematik, Mathematics, Kungliga Tekniska hogskolan, Stockholm, 2008

2008
[18]

A course in arithmetic

Jean-Pierre Serre. A course in arithmetic . Springer-Verlag, New York, 1973

1973
[19]

Cohomologie galoisienne: progr\`es et probl\`emes

Jean-Pierre Serre. Cohomologie galoisienne: progr\`es et probl\`emes. Ast\'erisque , pages Exp. No. 783, 4, 229--257, 1995. S\'eminaire Bourbaki, 1993/94

1995
[20]

Stacks Project

The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu , 2019

2019

Pith tools

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

[1] [1]

Zero cycles of degree one on principal homogeneous spaces

Jodi Black. Zero cycles of degree one on principal homogeneous spaces. J. Algebra , 334:232--246, 2011

work page 2011

[2] [2]

D. Coray. Algebraic points on cubic hypersurfaces. Acta Arithmetica , 30(3):267--296, 1976

work page 1976

[3] [3]

L'\'equivalence rationnelle sur les points ferm\'es des surfaces rationnelles fibr\'ees en coniques

Jean-Louis Colliot-Th\'el\`ene and Daniel Coray. L'\'equivalence rationnelle sur les points ferm\'es des surfaces rationnelles fibr\'ees en coniques. Compositio Math. , 39(3):301--332, 1979

work page 1979

[4] [4]

The rationality problem for forms of M_ 0,n

Mathieu Florence and Zinovy Reichstein. The rationality problem for forms of M_ 0,n . Bull. Lond. Math. Soc. , 50(1):148--158, 2018

work page 2018

[5] [5]

Grothendieck

A. Grothendieck. \'el\'ements de g\'eom\'etrie alg\'ebrique. IV . \'etude locale des sch\'emas et des morphismes de sch\'emas IV . Inst. Hautes \'Etudes Sci. Publ. Math. , page 361, 1967

work page 1967

[6] [6]

Central simple algebras and Galois cohomology , volume 165

Philippe Gille and Tam \'a s Szamuely. Central simple algebras and Galois cohomology , volume 165. Cambridge University Press, 2017

2017

[7] [7]

Gordon-Sarney and V

R. Gordon-Sarney and V. Suresh. Totaro's question on zero-cycles on torsors. Duke Math. J. , 167(2):385--395, 2018

work page 2018

[8] [8]

Algebraic geometry

Robin Hartshorne. Algebraic geometry . Springer Science+Business Media, Inc, New York, 2010

work page 2010