{"id":"1d7d4530-c1e9-4a32-af2f-3af4e8a9279e","arxiv_id":"1908.06106","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new sparse octanomial normal form for cubic surfaces is defined, and p-adic tropical smoothness in this family forces the 27 lines to be distinct and defined over Q_p.","lead":"The paper introduces a new eight-term ('octanomial') normal form for cubic surfaces, tied to the E6 hyperplane arrangement, and proves that tropically smooth octanomial cubics over p-adic fields have 27 distinct tropical lines, so the lines are defined over the ground field. A generalist might read it because it supplies an explicit computational bridge between tropical geometry, p-adic arithmetic, and the classical 27-line geometry of cubic surfaces.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof of Theorem 3.5 checks only one Plücker coordinate per triplet, which does not by itself rule out equal tropicalizations from full-vector shifts.","rationale":"The reader's weakest assumption identifies a genuine logical gap in the proof of the paper's central arithmetic claim. The step from 'one Plücker coordinate has three distinctly valued roots' to 'the three lines have distinct tropicalizations' is invalid without comparing the full normalized valuation vectors, because projective equivalence of valuated matroids allows a global shift of all six coordinates. This is load-bearing: if the gap cannot be filled, Theorem 3.5 is unsupported. The paper has independent strengths: the octanomial normal form, the explicit combinatorial classification in Theorem 2.5, and the computational evidence in Proposition 3.6 are valuable, and the authors are transparent about what is conjectural. But Theorem 3.5 is presented as a theorem, not a conjecture, and its proof relies on an under-specified finite computation. Since the reader already recommended CONDITIONAL on exactly this point, my stress-test does not change the verdict; it sharpens the requested condition to a full-vector check rather than a single-coordinate check.","tokens_in":18012,"tokens_out":12511,"duration_ms":132957,"concrete_test":"Use the explicit Plücker formulas for all 27 lines posted at the supplementary website. For each of the 10 representative Gröbner cones in Theorem 2.5 and each of the six triplets in the proof of Theorem 3.5, compute the three normalized valuation vectors v(L) = val(p(L)) - min val(p(L)) in R^6. Verify that for the three lines in each triplet these vectors are pairwise distinct. If a collision occurs for some cone, Theorem 3.5 is false; if no collision occurs, the missing certificate can be appended to the proof. Also record which Plücker coordinate P is used in each existing root-distinctness check.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3.5 does not establish the conclusion it needs. After fixing normalized Plücker coordinates, two lines have the same tropicalization iff their full 6-vectors of Plücker valuations are equal up to adding a common constant, and the normalization removes that constant. The proof checks, for each triplet of lines, that the roots of one univariate cubic P have distinct valuations, i.e. that a single Plücker coordinate has three distinct raw valuations. Distinct raw valuations of one coordinate are compatible with the three full valuation vectors still being equal up to a common shift: if every coordinate of line B has valuation exactly c more than the corresponding coordinate of line A, the two tropical lines coincide. A single-coordinate comparison cannot detect this. The text also does not specify whether the chosen P is the first nonzero coordinate; if it is not, even a raw difference may disappear after subtracting the line's minimum. Thus the finite check reported in Section 3 is necessary but not sufficient for distinct tropicalizations. The theorem may still be true, but the proof as written has a gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":18189,"tokens_out":9136,"duration_ms":89445,"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":[{"comment":"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.","section":"Section 3, proof of Theorem 3.5"}],"minor_comments":[{"comment":"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":"Section 3, proof of Theorem 3.5"},{"comment":"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":"Section 2, Proposition 2.4"},{"comment":"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.","section":"Section 1, after equation (5)"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its computational basis and posts code and data, which is a strength. The main obstruction is the proof of Theorem 3.5: the stated one-coordinate criterion is insufficient, and the theorem's arithmetic conclusion depends on it. I believe this is fixable, either by supplying the stronger full-vector check or by adjusting the statement, and I would not reject on the current evidence."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThe 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.\n\nMinor 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.\n\nWho 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.","headline":"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.","tokens_in":18738,"tokens_out":5221,"would_cite":true,"duration_ms":50600,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J26","14T05"],"pacs":[],"model":"deepseek-v4-flash","headline":"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$.","keywords":["cubic surfaces","tropical geometry","p-adic fields","del Pezzo surfaces","27 lines","E6 hyperplane arrangement","Newton polytope","tropical smoothness"],"falsifier":"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.","tokens_in":17791,"feed_emoji":"🌴","tokens_out":12612,"duration_ms":111473,"temperature":0.7,"pith_summary":"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.","feed_headline":"Tropical smoothness forces a cubic's 27 lines to be p-adic","feed_subtitle":"A new octanomial model reveals p-adic tropical lines are distinct, so no algebraic closure is needed.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the 27-tree arrangement and the Naruki-fan census that the octanomial model is designed to reproduce.","marker":"[18]"},{"why":"Motivates the projection by embedding cubics into $\\mathbb{P}^{44}$ via tritangent planes and explains non-stable trees through Cross-function valuations.","marker":"[5]"},{"why":"Provides the $A$-discriminant, principal $A$-determinant, and secondary-fan machinery used for the discriminant and the triangulation classification.","marker":"[6]"},{"why":"Gives the tropical smoothness and Gröbner-cone valuation background used in the proofs of the main theorems.","marker":"[13]"},{"why":"Sets up Gröbner cones and initial ideals, the language in which tropical smoothness becomes valuation inequalities.","marker":"[20]"},{"why":"Supplies the Schläfli fan and the database of smooth tropical cubics used for sampling and the worked Example 4.4.","marker":"[12]"},{"why":"Defines the Naruki fan as the tropical moduli space of cubic surfaces in which the tree arrangements are classified.","marker":"[9]"},{"why":"Provides the resultant formula used to compute the degree-32 discriminant of the octanomial.","marker":"[16]"}],"fun_headline_variants":["Octanomial model: tropical smoothness makes 27 lines p-adic","Tropic smooth cubics: 27 lines distinct over Q_p","New normal form: tropical smoothness gives 27 p-adic lines","Tropic smooth octanomial surfaces: 27 lines p-adic","Octanomial cubics: tropical smoothness implies 27 distinct lines"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Octanomial model: tropical smoothness makes 27 lines p-adic","Tropic smooth cubics: 27 lines distinct over Q_p","New normal form: tropical smoothness gives 27 p-adic lines","Tropic smooth octanomial surfaces: 27 lines p-adic","Octanomial cubics: tropical smoothness implies 27 distinct lines"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00092,"raw_usage":{"total_tokens":3906,"prompt_tokens":865,"completion_tokens":3041,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":481,"completion_tokens_details":{"reasoning_tokens":2945}},"tokens_in":481,"tokens_out":3041,"duration_ms":21543,"temperature":1.0,"reasoning_tokens":2945,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:59:00.436907+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the 27-tree arrangement and the Naruki-fan census that the octanomial model is designed to reproduce."},{"cited_title":"Anticanonical tropical cubic del Pezzos contain exactly 27 lines","cited_arxiv_id":"1906.08196","evidence_quote":"Motivates the projection by embedding cubics into $\\mathbb{P}^{44}$ via tritangent planes and explains non-stable trees through Cross-function valuations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the $A$-discriminant, principal $A$-determinant, and secondary-fan machinery used for the discriminant and the triangulation classification."},{"cited_title":"Maclagan and B","cited_arxiv_id":null,"evidence_quote":"Gives the tropical smoothness and Gröbner-cone valuation background used in the proofs of the main theorems."},{"cited_title":"Sturmfels: Gr¨obner Bases and Convex Polytopes, American Mathematical So- ciety, University Lectures Series, No 8, Providence, Rhode Island, 1996","cited_arxiv_id":null,"evidence_quote":"Sets up Gröbner cones and initial ideals, the language in which tropical smoothness becomes valuation inequalities."},{"cited_title":"The Schl\\\"afli Fan","cited_arxiv_id":"1905.11951","evidence_quote":"Supplies the Schläfli fan and the database of smooth tropical cubics used for sampling and the worked Example 4.4."},{"cited_title":"Hacking, S","cited_arxiv_id":null,"evidence_quote":"Defines the Naruki fan as the tropical moduli space of cubic surfaces in which the tree arrangements are classified."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the resultant formula used to compute the degree-32 discriminant of the octanomial."}],"review_version":1}