An Octanomial Model for Cubic Surfaces

Bernd Sturmfels; Emre Can Sert\"oz; Marta Panizzut

REVIEW 1 major objections 3 minor 21 references

An Octanomial Model for Cubic Surfaces

T0 review · 1 major / 3 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 This paper proves that, for its new eight-term normal form, tropical smoothness of a cubic surface over $\mathbb{Q}_p$ makes the 27 lines distinct and forces all of them to be defined over $\mathbb{Q}_p$.

desk verdict Strong computational contribution with a real gap in the proof of the p-adic theorem; the one-coordinate check in Theorem 3.5 doesn't establish distinct tropicalizations. read the letter →

arxiv 1908.06106 v3 pith:5XPTLKA7 submitted 2019-08-16 math.AG

Marta Panizzut , Emre Can Sertöz , Bernd Sturmfels This is my paper · ORCID

classification math.AG MSC 14J2614T05

keywords cubicsurfacestropicalgeometryp-adicfieldsdelPezzo27linesE6hyperplanearrangementNewtonpolytopesmoothness

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

Every smooth cubic surface in projective 3-space contains exactly 27 lines over an algebraically closed field, but over a p-adic field some of those lines may require a field extension to exist. This paper introduces a new eight-term normal form for cubic surfaces, written in moduli coming from the $E_6$ hyperplane arrangement, and proves that if such a surface is tropically smooth then its 27 lines have distinct tropicalizations in $\mathbb{TP}^3$ and are all defined over $\mathbb{Q}_p$. The normal form is chosen so that the Newton polytope's unimodular triangulations, the factorization of the discriminant, and the minimal primes of the universal Fano scheme turn this arithmetic rigidity into explicit valuation inequalities. The paper also gives algorithms for converting an arbitrary cubic into this normal form and conjectures that the same rigidity holds for dense cubics.

What carries the argument

The load-bearing object is the octanomial polynomial $axyz+bxyw+cxzw+dyzw+ex^2y+fxy^2+gz^2w+hzw^2$, whose support is the vertex set $A$ of a 3-dimensional lattice polytope of normalized volume 7; the eight coefficients are quintics in the six $E_6$ moduli $d_1,\ldots,d_6$. The discriminant of this cubic factors as $2^{16}3^5 e^2f^2g^2h^2(ac-eg)^2(ad-fg)^2(bc-eh)^2(bd-fh)^2\Delta_A$, so the secondary fan of $A$ controls both smoothness and the 70 regular triangulations, 53 of them unimodular in 10 symmetry classes. Tropical smoothness means the valuation vector lies in a Gröbner cone of one of these unimodular triangulations. The universal Fano scheme over $\mathbb{P}^5\times\mathbb{P}^7$ has 15 minimal primes that group the 27 lines into clusters; the proof of the main theorem tests, on each cluster, cubic minimal polynomials for Plücker coordinates and derives the needed root-valuation inequalities from the cone inequalities.

What would settle it

Run the posted formulas for a tropically smooth octanomial over $\mathbb{Q}_5$ in each of the 10 triangulation classes, compute all six normalized Plücker coordinates of all 27 lines, and test whether every pair of valuation vectors is distinct modulo the diagonal; a single collision between two lines in the same triplet would disprove Theorem 3.5. Alternatively, exhibit two lines in one triplet whose full valuation vectors agree while the single checked coordinate has distinct root valuations, which would show the proof's criterion is insufficient.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.5: for a prime $p\geq 5$, an octanomial cubic surface $S\subset\mathbb{P}^3$ over $\mathbb{Q}_p$ that is tropically smooth — the valuation vector of its eight coefficients lies in a Gröbner cone of one of the 53 unimodular triangulations of the Newton polytope $\operatorname{conv}(A)$ — has 27 lines with pairwise distinct tropicalizations in $\mathbb{TP}^3$. By the paper's valuation argument, distinct tropicalizations imply that all 27 lines are defined over $\mathbb{Q}_p$, so no algebraic closure is needed. The proof encodes each line by its normalized Plücker coordinates, uses the 15 minimal primes of the universal Fano scheme to group the lines into three coordinate lines, four plane lines, one disjoint line, and six triplets, and then shows, for every triangulation class and every triplet, that some univariate cubic has roots with distinct valuations, as forced by the Gröbner cone inequalities. The same section establishes that tropical smoothness implies classical smoothness for this sparse model, gives Naruki-general moduli vectors realizing five of the ten combinatorial types, and reports non-stable tree arrangements that fall outside the earlier census.

Load-bearing premise

The load-bearing premise is a computer check, not reproduced in the paper: for each of the 10 triangulation classes and each of the six line triplets, some univariate cubic has roots with distinct valuations; the check as stated inspects only one Plücker coordinate per triplet, so it could miss two lines whose full valuation vectors coincide even when that single coordinate differs.

Editorial extensions

If this is right

Every tropically smooth octanomial is classically smooth in $\mathbb{P}^3$ (Theorem 3.3), so the sparse support does not introduce singularities.
For $p\geq 5$, the 27 lines on a tropically smooth octanomial over $\mathbb{Q}_p$ are pairwise distinct tropical objects and are defined over $\mathbb{Q}_p$; the 135 intersection points are therefore also defined over $\mathbb{Q}_p$ (Theorem 3.5).
At least five of the ten combinatorial triangulation types are realized by Naruki-general moduli vectors over $\mathbb{Q}$; the paper writes down such vectors for the $(aaaa)$ and $(aaab)$ stable tree arrangements (Proposition 3.6).
If Conjecture 4.1 holds, every tropically smooth dense cubic over $\mathbb{Q}_p$ can be approximated by a cubic built from six rational points in $\mathbb{P}^2$ and a rational basis of cubics, with the same tropicalization (Theorem 4.3); this answers a previously open question about constructing integer points for smooth tropical cubics.
The paper's closure algorithm converts any general cubic into the octanomial normal form by finding a cuspidal cubic through the six blown-down points, so the $E_6$ moduli $d_i$ can be read off explicitly.

Reading between the lines

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

The distinctness of the 27 tropical lines can be read as an arithmetic splitting statement for the Fano scheme: if the same mechanism extends to dense cubics, then tropical smoothness would force the Fano scheme to be defined over the ground field, so no ramified extension is ever needed to see the full line arrangement.
The proof strategy suggests a finite, automatable test for Conjecture 4.1: for each of the 14,373,645 combinatorial types of smooth tropical cubics, check whether the Gröbner cone inequalities force distinct valuations for the full Plücker vectors; the octanomial case is the special case where this test succeeds on 53 triangulations.
The non-stable trees in Example 3.8 indicate that p-adic cancellations in Cross functions, not just combinatorial cone data, control the realized tree statistics; a systematic valuation analysis of these cancellations might yield a full classification of realizable tree arrangements over $\mathbb{Q}_p$, which the paper leaves open.

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

Short version: this is a worthwhile computational paper that introduces a genuinely new octanomial model and proves a striking p-adic result about the 27 lines, but the proof of the main theorem (3.5) has a real gap that should be fixed before publication.

The new things are real: the octanomial normal form (4), the explicit quintic coefficient formulas, the discriminant factorization (6), the census of 70 regular triangulations with 53 unimodular, and the universal Fano variety description. The computations seem extensive and the supplementary material is posted. Section 4's algorithm and Conjecture 4.1 are honest and conditional; the authors clearly label what depends on what.

The soft spot is Theorem 3.5. The proof checks, for each triplet of lines, that the roots of one univariate cubic—i.e., the valuations of a single Plücker coordinate—are distinct. That does not establish that the three full Plücker valuation vectors are distinct in the tropical Grassmannian. After normalizing by the first nonzero entry, two lines with raw valuations differing by a constant shift across all coordinates will tropicalize identically, and a one-coordinate comparison cannot rule that out. The text doesn't say whether the chosen coordinate is the one used for normalization; if it isn't, even the raw distinctness can disappear after subtracting each line's minimum. So the check reported in Section 3 is necessary but not sufficient. The theorem is plausible and probably true—the authors have code that might verify the full vectors—but as written the proof has a gap. The missing certificate or an argument handling the shift ambiguity needs to be supplied.

Minor things: there's a typo in the cubic (c1 t^2 should be c1 t), and the p≥5 hypothesis is used for coefficient valuations, which is fine. The reliance on posted code is acceptable for a computational paper, but for Theorem 3.5 the burden is higher because the claim is arithmetic.

Who it's for: tropical geometers and people computing del Pezzo surfaces; the p-adic result is the hook. I'd send it to a serious referee. If the authors can close the Theorem 3.5 gap (or downgrade it to a conjecture with the check as evidence), the paper is solid.

Referee Report

1 major / 3 minor

Summary. The paper introduces an eight-term normal form for cubic surfaces, the 'octanomial' model, with coefficients expressed as explicit quintics in six moduli parameters d1,...,d6 coming from the E6 hyperplane arrangement. It gives a closed-form discriminant (Proposition 2.4), classifies the 70 regular triangulations of the Newton polytope into 14 symmetry classes with 53 unimodular ones in 10 classes (Theorem 2.5), and describes the universal Fano variety and the 27 lines explicitly (Propositions 2.8 and 3.1). The main theorem states that a tropically smooth octanomial over Qp is classically smooth and that its 27 lines have distinct tropicalizations in TP3, hence are all defined over Qp (Theorem 3.5). The paper also studies dense cubics, proposes Conjecture 4.1 generalizing Theorem 3.5, and gives algorithms for passing between a dense cubic and the octanomial form, including p-adic numerical examples.

Significance. If fully established, the main theorem provides a striking arithmetic rigidity statement: tropical smoothness of an octanomial cubic over Qp forces the classical 27 lines to be defined over the ground field, without passing to an algebraic closure. The paper is valuable for its explicit formulas, the E6 combinatorics of the normal form, the census of lines, and the computational infrastructure; the posted code and the explicit checks are a definite strength. However, the proof of Theorem 3.5 as written contains a gap in the criterion used to verify distinct tropicalizations, so the central arithmetic claim is not yet fully supported by the text.

major comments (1)

[Section 3, proof of Theorem 3.5] The verification described in the proof does not establish the claimed distinctness of the tropicalized lines. Two Plücker vectors in P^5 have the same tropicalization exactly when their valuation vectors differ by a common constant, which is exactly the equivalence that normalization removes. The proof checks, for each triplet of lines, that the three roots of a single univariate cubic P have distinct valuations; this only shows that one Plücker coordinate takes three distinct raw valuations across the triplet. Raw distinctness of a single coordinate is compatible with the three normalized valuation vectors being identical after subtracting each line's minimum; for example the valuation vectors (0,0,0,0,0,0), (1,1,1,1,1,1), and (2,2,2,2,2,2) have one coordinate with distinct values but define the same point in TP^5. The text also does not state that the chosen Plücker coordinate is the first nonzero entry in the normalized vector for all three lines in the triplet. Since the conclusion that the 27 lines are defined over Qp relies on distinct tropicalizations, this is a load-bearing gap. The fix is to verify, for each pair of lines within each triplet, that the full normalized valuation vectors differ in at least one Plücker coordinate, and to report that stronger criterion in the proof; the posted code may already contain such a check, but the manuscript should say so explicitly.

minor comments (3)

[Section 3, proof of Theorem 3.5] In the displayed definition of the cubic, 'P = c3t3 + c2t2 + c1t2 + c0' appears to contain a typo: the term 'c1t2' should presumably be 'c1t', consistent with the indexing in the Newton-polygon inequalities (13).
[Section 2, Proposition 2.4] The constant factor in the displayed discriminant is written as '21635'; this should be typeset as 2^16·3^5 (or explained) to avoid ambiguity about the numerical factor.
[Section 1, after equation (5)] The sentence stating that the symmetry group of the Newton polytope conv(A) is isomorphic to (Z/2Z)^3 would benefit from a short explanation or reference for the claimed action, since the eight vertices with weights (1,1,1,0), etc., do not make the full symmetry group immediately evident.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is supported by explicit formulas, finite computational checks, and external benchmarks; self-citations are used as benchmarks or analogy, not as load-bearing premises.

full rationale

The claimed results do not reduce to their inputs. The octanomial coefficients in Proposition 2.1 are explicit rational formulas in the moduli d_i, obtained by a Hilbert-Burch computation over K = Q(d1,...,d6), and the 27 lines and their Plücker coordinates are either written down explicitly (Remark 2.9, Example 2.10) or obtained from the minimal primes of an explicitly computed universal Fano ideal. The triangulation census in Theorem 2.5 is a computation from the principal A-determinant, with representative weights and Stanley-Reisner ideals reported; it is not presupposed by Theorem 3.5. Theorem 3.3 uses the external GKZ theorem that the secondary fan equals the normal fan of the principal A-determinant, together with the paper's own computed factorization of the discriminant; no target conclusion is assumed. Theorem 3.5 is a finite verification: for each of the 10 representative initial ideals and each of the six line triplets, the paper finds a univariate cubic whose coefficient valuations imply distinct root valuations via inequality (13). That check is reported as a computation supported by posted code; it is not a fitted parameter renamed as a prediction. The self-citations to [12] and [18] are used for benchmarks, notation, or analogy, not as the logical premise that tropical smoothness forces the 27 lines to be defined over Q_p. Conditional statements, such as Conjecture 4.1 and Theorem 4.3, are explicitly labeled conditional and are therefore not disguised assumptions. A potential objection that checking one Plücker coordinate per triplet may not fully separate the tropicalized lines is a completeness or correctness issue in the proof as written, not a circularity: no quantity is defined in terms of the conclusion, and no external result is imported that already contains Theorem 3.5. Hence the circularity score is 0.

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

The central theorems rest on standard background in toric geometry, tropical geometry, and computational algebra, plus the paper's own computer calculations. No free parameters are fitted; the moduli d_i are variables and the example witnesses are existence proofs. The most fragile input is the trust that the Macaulay2/Magma computations (Props 2.1 and 2.4, Theorem 2.5, and the finite check in Theorem 3.5) are correct, since they are not fully demonstrated in the text.

assumptions (8)

domain assumption Any configuration of six distinct points in P^2 lies on a cuspidal cubic, and the coordinates can be put in the 3x6 form (1).
Section 1, eq. (1). This is the classical cuspidal model on which the octanomial construction is based.
domain assumption The four ternary cubics x,y,z,w in (2) span the 4-dimensional space of cubics vanishing at the six points.
Section 1, eq. (2). The paper states this basis without proof; it is checkable by direct computation and is the support set A of the octanomial.
standard math Hilbert-Burch theorem gives a 3x4 matrix whose maximal minors are the cubics (2), leading to the determinantal representation and Prop 2.1.
Used in the proof-and-discussion of Proposition 2.1; the actual computation was done in Macaulay2.
standard math GKZ theory: the A-discriminant, principal A-determinant, secondary polytope, and the identification of the secondary fan with the normal fan of the principal A-determinant.
Invoked in Prop 2.4 and Theorem 3.3, from [6].
standard math Nanson's resultant formula for four quaternary quadrics computes the discriminant (6).
Used in the proof of Prop 2.4.
domain assumption For p>=5 the integer coefficients {±1,±2} in the minimal polynomials have p-adic valuation 0.
Theorem 3.5 proof; this is why the valuation analysis of univariate cubics is clean.
ad hoc to paper Theorem 2.5's classification of the 70 regular triangulations (53 unimodular, in 10 symmetry classes) is exhaustive and correct.
Load-bearing for Theorem 3.5: the finite check covers only the 10 representatives, so exhaustiveness under the (Z/2)^3 symmetry is essential.
standard math The blow-down map formulas in Theorem 4.2 correctly describe the del Pezzo quadratic map.
Used in Section 4 for the algorithm that converts dense cubics to octanomial form.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An Octanomial Model for Cubic Surfaces." pith.science (2026). https://pith.science/paper/5XPTLKA7

@misc{pith2026190806106,
  author       = {Pith},
  title        = {Pith review of: An Octanomial Model for Cubic Surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5XPTLKA7}},
  note         = {Machine review of arXiv:1908.06106}
}

read the original abstract

We present a new normal form for cubic surfaces that is well suited for p-adic geometry, as it reveals the intrinsic del Pezzo combinatorics of the 27 trees in the tropicalization. The new normal form is a polynomial with eight terms, written in moduli from the E6 hyperplane arrangement. If such a surface is tropically smooth then its 27 tropical lines are distinct. We focus on explicit computations, both symbolic and p-adic numerical.

Figures

Figures reproduced from arXiv: 1908.06106 by the authors.

**Figure 1.** The Newton polytope conv(A) of the octanomial model. We propose the octanomial (4) as a new normal form for cubic surfaces. Our study was inspired by the recent work of Cueto and Deopurkar [5]. They map cubic surfaces from P 3 into P 44 by the linear forms of the 45 tritangent planes. They prove that this embedding reveals the arrangement of 27 trees determined in [18]. This raises the following question: Which of t… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[1]

Ardila, V

F. Ardila, V . Reiner and L. Williams:Bergman complexes, Coxeter arrangements, and graph associahedra, S´eminaire Lothar. de Combinatoire, 54A (2006) B54Aj

work page 2006
[2]

Bosma, J

W. Bosma, J. Cannon and C. Playoust: The Magma algebra system. I. The user language, Journal of Symbolic Computation 24 (1997) 235–265

work page 1997
[3]

Bryant and M

D. Bryant and M. Steel: Constructing optimal trees from quartets , Journal of Algorithms 38 (2001) 237–259

work page 2001
[4]

Colombo, B

E. Colombo, B. van Geemen and E. Looijenga: Del Pezzo moduli via root systems, Algebra, Arithmetic and Geometry, Springer, 291-337, 2009

work page 2009
[5]

M. A. Cueto and A. Deopurkar: Anticanonical tropical cubic del Pezzos contain exactly 27 lines, arXiv:1906.08196

work page Pith review arXiv 1906
[6]

I. M. Gel’fand, M. Kapranov and A. Zelevinsky: Discriminants, Resultants, and Multidimensional Determinants, Birkh¨auser, Boston, MA, 1994

work page 1994
[7]

Computing zero-dimensional tropical varieties via projections

P. G ¨orlach, Y . Ren and L. Zhang:Computing zero-dimensional tropical varieties via projections, arxiv:1908.03486

work page Pith review arXiv 1908
[8]

D. R. Grayson, and M. E. Stillman: Macaulay2, a software system for research in algebraic geometry, http://www.math.uiuc.edu/Macaulay2/

work page

Show all 21 references

[9]

Hacking, S

P. Hacking, S. Keel and J. Tevelev: Stable pair, tropical, and log canonical com- pactiﬁcations of moduli spaces of del Pezzo surfaces , Inventiones Mathematicae 178 (2009) 173–227

2009
[10]

Inoue, and K

H. Inoue, and K. Naito: The shortest vector problems in p-adic lattices and si- multaneous approximation problems of p-adic numbers , Linear and Nonlinear Analysis 3 (2017) 213–224

2017
[11]

Itenberg, L

I. Itenberg, L. Katzarkov, G. Mikhalkin and I. Zharkov: Tropical homology, Math- ematische Annalen 374 (2019) 963–1006

2019
[12]

Joswig, M

M. Joswig, M. Panizzut and B. Sturmfels: The Schl¨aﬂi fan, arXiv:1905.11951

1905 arXiv
[13]

Maclagan and B

D. Maclagan and B. Sturmfels: Introduction to Tropical Geometry , Graduate Studies in Mathematics, V ol 161, American Mathematical Society, 2015

2015
[14]

Mikhalkin and J

G. Mikhalkin and J. Rau: Tropical Geometry, book manuscript, November 2018

2018
[15]

M. B. Monagan et al.: Maple 10 Programming Guide, Maplesoft, Waterloo, 2005

2005
[16]

E. J. Nanson: On the eliminant of a set of quadrics, ternary or quaternary , Pro- ceedings of the Royal Society of Edinburgh 22 (1899) 353–358. AN OCTANOMIAL MODEL FOR CUBIC SURFACES 19
[17]

Ranestad, B

K. Ranestad, B. Sturmfels: Twenty-seven Questions about the Cubic Surface, this volume
[18]

Q. Ren, K. Shaw and B. Sturmfels: Tropicalization of del Pezzo surfaces , Ad- vances in Mathematics 300 (2016) 156–189

2016
[19]

Shaw: A tropical intersection product in matroidal fans , SIAM Journal on Discrete Mathematics 27 (2013) 459–491

K. Shaw: A tropical intersection product in matroidal fans , SIAM Journal on Discrete Mathematics 27 (2013) 459–491

2013
[20]

Sturmfels: Gr¨obner Bases and Convex Polytopes, American Mathematical So- ciety, University Lectures Series, No 8, Providence, Rhode Island, 1996

B. Sturmfels: Gr¨obner Bases and Convex Polytopes, American Mathematical So- ciety, University Lectures Series, No 8, Providence, Rhode Island, 1996

1996
[21]

Usher and J

M. Usher and J. Zhang: Persistent homology and Floer–Novikov theory, Geome- try and Topology 20 (2016) 3333-3430. MARTA PANIZZUT Institut f¨ur Mathematik, TU Berlin e-mail: panizzut@math.tu-berlin.de EMRE CAN SERT ¨OZ MPI for Mathematics in the Sciences, Leipzig e-mail: emrese...

2016

Pith tools

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

[1] [1]

Ardila, V

F. Ardila, V . Reiner and L. Williams:Bergman complexes, Coxeter arrangements, and graph associahedra, S´eminaire Lothar. de Combinatoire, 54A (2006) B54Aj

work page 2006

[2] [2]

Bosma, J

W. Bosma, J. Cannon and C. Playoust: The Magma algebra system. I. The user language, Journal of Symbolic Computation 24 (1997) 235–265

work page 1997

[3] [3]

Bryant and M

D. Bryant and M. Steel: Constructing optimal trees from quartets , Journal of Algorithms 38 (2001) 237–259

work page 2001

[4] [4]

Colombo, B

E. Colombo, B. van Geemen and E. Looijenga: Del Pezzo moduli via root systems, Algebra, Arithmetic and Geometry, Springer, 291-337, 2009

work page 2009

[5] [5]

M. A. Cueto and A. Deopurkar: Anticanonical tropical cubic del Pezzos contain exactly 27 lines, arXiv:1906.08196

work page Pith review arXiv 1906

[6] [6]

I. M. Gel’fand, M. Kapranov and A. Zelevinsky: Discriminants, Resultants, and Multidimensional Determinants, Birkh¨auser, Boston, MA, 1994

work page 1994

[7] [7]

Computing zero-dimensional tropical varieties via projections

P. G ¨orlach, Y . Ren and L. Zhang:Computing zero-dimensional tropical varieties via projections, arxiv:1908.03486

work page Pith review arXiv 1908

[8] [8]

D. R. Grayson, and M. E. Stillman: Macaulay2, a software system for research in algebraic geometry, http://www.math.uiuc.edu/Macaulay2/

work page