pith. sign in

arxiv: 1906.08196 · v1 · pith:KZ5AZ6V4new · submitted 2019-06-19 · 🧮 math.AG

Anticanonical tropical cubic del Pezzos contain exactly 27 lines

Maria Angelica Cueto , Anand Deopurkar This is my paper

Pith reviewed 2026-05-25 20:11 UTC · model grok-4.3

classification 🧮 math.AG
keywords tropical geometrycubic surfacesdel Pezzo surfacestropical linesEckardt pointsWeyl group E6anticanonical embeddingmetric trees
0
0 comments X

The pith

Tropical cubic del Pezzo surfaces contain exactly 27 lines when embedded using Eckardt triangles under mild genericity assumptions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The classical theorem that every smooth cubic surface in projective 3-space contains exactly 27 lines fails to tropicalize directly, since generic tropical cubics in tropical projective space contain infinitely many tropical lines. The paper establishes that a specific choice of embedding recovers the count of 27. When the surface is realized as an anticanonical tropical cubic del Pezzo via its Eckardt triangles, and under stated genericity assumptions, the surface contains precisely 27 tropical lines. The authors also describe the four-dimensional moduli space of such surfaces as a fan in 40-dimensional space carrying a Weyl group action, and they classify the extra lines that appear when genericity fails.

Core claim

Under mild genericity assumptions, when embedded using the Eckardt triangles in the anticanonical system, tropical cubic del Pezzo surfaces contain exactly 27 tropical lines. In the non-generic case the authors identify explicitly, up to 27 extra lines appear, none of which lift to a curve on the cubic surface. The moduli space of stable anticanonical tropical cubics is realized as a four-dimensional fan in R^40 with an action of the Weyl group W(E_6). In the absence of Eckardt points the combinatorial types of these tropical surfaces are determined by the boundary arrangement of 27 metric trees corresponding to the tropicalization of the classical 27 lines.

What carries the argument

The anticanonical embedding of the tropical cubic del Pezzo surface via its Eckardt triangles, which selects a discrete set of 27 lines whose combinatorics is governed by the E_6 root system and tropical convexity.

If this is right

  • The 27 tropical lines correspond exactly to the classical 27 lines on the algebraic cubic surface.
  • In non-generic cases the surface carries at most 27 additional tropical lines, none of which lift.
  • The combinatorial type of the surface is completely determined by the boundary arrangement of 27 metric trees.
  • The moduli space carries a natural action of the Weyl group W(E_6) and is realized as a four-dimensional fan in R^40.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same Eckardt-triangle technique may produce finite, classical-style counts for other families of tropical del Pezzo surfaces.
  • The explicit description of the moduli fan supplies a concrete computational model for studying deformations of tropical cubic surfaces.
  • The correspondence between metric trees and lines suggests a dictionary that could be used to enumerate lines on higher-degree tropical surfaces.

Load-bearing premise

The embedding must be performed using Eckardt triangles in the anticanonical system and the stated mild genericity assumptions must hold.

What would settle it

An explicit generic anticanonical tropical cubic del Pezzo surface, constructed via Eckardt triangles, whose number of tropical lines differs from 27.

Figures

Figures reproduced from arXiv: 1906.08196 by Anand Deopurkar, Maria Angelica Cueto.

Figure 1
Figure 1. Figure 1: The labeled Dynkin diagram of the root system E6. Each label i corre￾sponds to the simple root αi . Let h6 be the dual of h ∗ 6 . We have a map h6 → (P 2 ) 6 given by p 7→ [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: All W(E6)-representatives of flats and their associated root subsystems (following the labeling of [PITH_FULL_IMAGE:figures/full_fig_p017_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A generic tropical line in TP3 and a non-generic one associated to the partition {0, 3} ⊔ {1} ⊔ {2} of {0, 1, 2, 3}. Classically, collinearity of r ≥ 3 distinct points in P n−1 has a simple characterization: the associated r×n-matrix must have rank two. Equivalently, all its 3×3 minors vanish. Foundational work on tropical linear algebra [12] yields the analogous statement for deciding tropical collinearit… view at source ↗
Figure 4
Figure 4. Figure 4: The two combinatorial types of trees for the Naruki cone (aa2a3a4). The four edge lengths and the labeling of all ten leaves are provided in [PITH_FULL_IMAGE:figures/full_fig_p042_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The three combinatorial types of trees for the Naruki cone (aa2a3b). The four edge lengths and the labeling of all ten leaves are given in [PITH_FULL_IMAGE:figures/full_fig_p042_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The boundary metric tree T E1 in T X. In the stable case, all bounded edges have length zero and T E1 becomes a star tree with ten leaves. 11. Boundary tree arrangements from planar configurations Section 10 discusses how to label the leaves of the 27 boundary metric trees on all anticanonical stable tropical cubic surfaces in TP44. In this section we present an alternative way to determine this data for (… view at source ↗
Figure 7
Figure 7. Figure 7: Newton polytopes and tropical curves F1i , F2i , F3i , Gi and Fij (3 ≤ i < j ≤ 6). . The genericity conditions on P1, . . . , P6 ensure that the associated tropical cubic surface T X in TP44 is either an (aa2a3a4) or an (aa2a3b) surface. By analogy we refer to the configurations yielding each type as (aa2a3a4) or (aa2a3b) configurations, accordingly. Our goal is to determine the type from location of P4, P… view at source ↗
Figure 8
Figure 8. Figure 8: From left to right and top to bottom: the induced labelings for dashed tropical plane curves build from E1, F45, F13, G2, F35 and G5 for the (aa2a3b) configuration {(−10 : 10 : 0),(2 : 5 : 0),(0 : 0 : 0)} in TP2 . involution swaps this pair with G2 and G6, we know the branch must have a cherry with its two leaves labeled by the later pair. Finally, since the points labeled G4, F15 and F13 will be swapped w… view at source ↗
read the original abstract

The classical statement of Cayley-Salmon that there are 27 lines on every smooth cubic surface in P^3 fails to hold under tropicalization: a tropical cubic surface in TP^3 often contains infinitely many tropical lines. Under mild genericity assumptions, we show that when embedded using the Eckardt triangles in the anticanonical system, tropical cubic del Pezzo surfaces contain exactly 27 tropical lines. In the non-generic case, which we identify explicitly, we find up to 27 extra lines, no multiple of which lifts to a curve on the cubic surface. We realize the moduli space of stable anticanonical tropical cubics as a four-dimensional fan in R^40 with an action of the Weyl group W(E_6). In the absence of Eckardt points, we show the combinatorial types of these tropical surfaces are determined by the boundary arrangement of 27 metric trees corresponding to the tropicalization of the classical 27 lines on the smooth algebraic cubic surfaces. Tropical convexity and the combinatorics of the root system E_6 play a central role in our analysis.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper claims that under mild genericity assumptions, when embedded using the Eckardt triangles in the anticanonical system, tropical cubic del Pezzo surfaces contain exactly 27 tropical lines. It realizes the moduli space of stable anticanonical tropical cubics as a four-dimensional fan in R^40 with an action of the Weyl group W(E_6). In the absence of Eckardt points, the combinatorial types of these tropical surfaces are determined by the boundary arrangement of 27 metric trees corresponding to the tropicalization of the classical 27 lines. In non-generic cases, which are identified explicitly, up to 27 extra lines appear, none of which lift to a curve on the cubic surface. Tropical convexity and the combinatorics of the root system E_6 play a central role.

Significance. If the result holds, the work resolves the failure of the classical Cayley-Salmon 27-lines theorem under tropicalization by isolating precise conditions (genericity plus the Eckardt-triangle anticanonical embedding) under which the count is exactly 27. The explicit 4-dimensional fan moduli space with W(E_6) action and the correspondence to 27 metric trees supply a concrete combinatorial model for the degeneration of lines on cubic surfaces. These features strengthen the link between classical algebraic geometry and tropical convexity.

minor comments (1)
  1. [Abstract] Abstract: the phrase 'mild genericity assumptions' is used without a one-sentence gloss of their content; adding a brief parenthetical description would improve readability for readers outside tropical geometry.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work, as well as the recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on external structures: tropical convexity, the E6 root system combinatorics, and the explicit construction of a 4-dimensional fan in R^40 with W(E6) action whose combinatorial types are determined by an arrangement of 27 metric trees. These are independent of the target count of 27 lines. The result is stated as conditional on mild genericity assumptions and the specific anticanonical embedding via Eckardt triangles, with the non-generic locus identified explicitly; no self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided claims.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides insufficient detail to list specific free parameters, axioms or invented entities. The work appears to rest on standard background in tropical geometry and the E6 root system.

pith-pipeline@v0.9.0 · 5721 in / 1161 out tokens · 30530 ms · 2026-05-25T20:11:42.732636+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 1 internal anchor

  1. [1]

    Ardila and C

    F. Ardila and C. J. Klivans. The Bergman complex of a matro id and phylogenetic trees. J. Combin. Theory Ser. B, 96(1):38–49, 2006

    work page 2006

  2. [2]

    Ardila, V

    F. Ardila, V. Reiner, and L. Williams. Bergman complexes , Coxeter arrangements, and graph associahedra. S´ em. Lothar. Combin. , 54A:Art. B54Aj, 25, 2005/07

    work page 2005

  3. [3]

    Barcelo and E

    H. Barcelo and E. Ihrig. Lattices of parabolic subgroups in connection with hyperplane arrangements. J. Algebraic Combin., 9(1):5–24, 1999

    work page 1999

  4. [4]

    Bogart and E

    T. Bogart and E. Katz. Obstructions to lifting tropical c urves in surfaces in 3-space. SIAM J. Discrete Math. , 26(3):1050–1067, 2012

    work page 2012

  5. [5]

    Brugall´ e and K

    E. Brugall´ e and K. Shaw. Obstructions to approximating tropical curves in surfaces via intersection theory. Canad. J. Math. , 67(3):527–572, 2015

    work page 2015

  6. [6]

    A. Cayley. On the triple tangent planes of surfaces of the third order. Cambridge and Dublin Math. J. , 4:118–138, 1849

    work page

  7. [7]

    A. Clebsch. Zur Theorie der algebraischen Fl¨ achen. J. Reine Angew. Math. , 58:93–108, 1861

    work page

  8. [8]

    A. Clebsch. Die Geometrie auf den Fl¨ achen dritter Ordnu ng. J. Reine Angew. Math. , 65:359–380, 1866

    work page

  9. [9]

    A. B. Coble. Algebraic geometry and theta functions . Revised printing. American Mathematical Society Collo- quium Publication, vol. X. American Mathematical Society, Providence, R.I., 1961

    work page 1961

  10. [10]

    Colombo, B

    E. Colombo, B. Van Geemen, and E. Looijenga. Del Pezzo mo duli via root systems. In Algebra, Arithmetic, and Geometry, pages 291–337. Springer, 2009

    work page 2009

  11. [11]

    H. S. M. Coxeter. The polytope 2 21, whose twenty-seven vertices correspond to the lines on the general cubic surface. Amer. J. Math. , 62:457–486, 1940

    work page 1940

  12. [12]

    Develin, F

    M. Develin, F. Santos, and B. Sturmfels. On the rank of a t ropical matrix. In Combinatorial and computational geometry, volume 52 of Math. Sci. Res. Inst. Publ. , pages 213–242. Cambridge Univ. Press, Cambridge, 2005

    work page 2005

  13. [13]

    Dickenstein, E

    A. Dickenstein, E. M. Feichtner, and B. Sturmfels. Trop ical discriminants. J. Amer. Math. Soc. , 20(4):1111–1133, 2007

    work page 2007

  14. [14]

    I. V. Dolgachev. Classical algebraic geometry . Cambridge University Press, Cambridge, 2012. A modern vie w

    work page 2012

  15. [15]

    F. E. Eckardt. Ueber diejenigen Fl¨ achen dritten Grade s, auf denen sich drei gerade Linien in einem Punkte schneiden. Math. Ann. , 10(2):227–272, 1876

    work page

  16. [16]

    E. M. Feichtner and B. Sturmfels. Matroid polytopes, ne sted sets and Bergman fans. Port. Math. (N.S.) , 62(4):437–468, 2005

    work page 2005

  17. [17]

    Hacking, S

    P. Hacking, S. Keel, and J. Tevelev. Stable pair, tropic al, and log canonical compactifications of moduli spaces of del Pezzo surfaces. Invent. Math. , 178(1):173–227, 2009

    work page 2009

  18. [18]

    Hampe and M

    S. Hampe and M. Joswig. Tropical computations in polymake. In Algorithmic and experimental methods in algebra, geometry, and number theory , pages 361–385. Springer, Cham, 2017

    work page 2017

  19. [19]

    Itenberg, G

    I. Itenberg, G. Mikhalkin, and E. Shustin. Tropical algebraic geometry , volume 35 of Oberwolfach Seminars . Birkh¨ auser Verlag, Basel, second edition, 2009

    work page 2009

  20. [20]

    Kass and K

    J. Kass and K. Wickelgren. An arithmetic count of the lin es on a smooth cubic surface. arXiv:1708.01175, 2017

    work page arXiv 2017

  21. [21]

    Luxton and Z

    M. Luxton and Z. Qu. Some results on tropical compactific ations. Trans. Amer. Math. Soc. , 363(9):4853–4876, 2011

    work page 2011

  22. [22]

    Maclagan and B

    D. Maclagan and B. Sturmfels. Introduction to tropical geometry, volume 161 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2015

    work page 2015

  23. [23]

    C. Y. Mak and R. Helge. Tropically constructed lagrangi ans in mirror quintic threefolds. arXiv:1904.11780

    work page arXiv 1904

  24. [24]

    Mikhalkin

    G. Mikhalkin. Enumerative tropical algebraic geometr y in R2. J. Amer. Math. Soc. , 18(2):313–377, 2005. ANTICANONICAL TROPICAL CUBIC DEL PEZZOS CONTAIN EXACTLY 27 LINES 61

    work page 2005

  25. [25]

    Mikhalkin

    G. Mikhalkin. Tropical geometry and its applications. In International Congress of Mathematicians. Vol. II , pages 827–852. Eur. Math. Soc., Z¨ urich, 2006

    work page 2006

  26. [26]

    Tropical Lines on Cubic Surfaces

    M. Pannizut and M. Vigeland. Tropical lines on cubic sur faces. arXiv:0708.3847, 2019

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  27. [27]

    Q. Ren, S. V. Sam, and B. Sturmfels. Tropicalization of c lassical moduli spaces. Math. Comput. Sci. , 8(2):119– 145, 2014

    work page 2014

  28. [28]

    Q. Ren, K. Shaw, and B. Sturmfels. Tropicalization of de l Pezzo surfaces. Adv. Math. , 300:156–189, 2016

    work page 2016

  29. [29]

    G. Salmon. On the triple tangent planes of surfaces of th e third order. Cambridge and Dublin Math. J. , 4:252–260, 1849

    work page

  30. [30]

    P. H. Schoute. On the relation between the vertices of a d efinite six-dimensional polytope and the lines of a cubic surface. Proc. Roy. Acad. Amsterdam , 13:375–383, 1910

    work page 1910

  31. [31]

    Speyer and B

    D. Speyer and B. Sturmfels. The tropical Grassmannian. Adv. Geom., 4(3):389–411, 2004

    work page 2004

  32. [32]

    D. E. Speyer. Tropical linear spaces. SIAM J. Discrete Math. , 22(4):1527–1558, 2008

    work page 2008

  33. [33]

    J. Steiner. ¨Uber die Fl¨ achen dritten Grades. J. Reine Angew. Math. , 53:133–141, 1857

    work page

  34. [34]

    SageMath, the Sage Mathematics Software System (Version 6

    The Sage Developers. SageMath, the Sage Mathematics Software System (Version 6. 7), 2015. http://www.sagemath.org

    work page 2015

  35. [35]

    M. D. Vigeland. Smooth tropical surfaces with infinitel y many tropical lines. Ark. Mat. , 48(1):177–206, 2010. Authors’ addresses: M.A. Cueto, Mathematics Department, The Ohio State University, 2 31 W 18th Ave, Columbus, OH 43210, USA. Email address: cueto.5@osu.edu A. Deopurkar, Mathematical Sciences Institute, Australian Natio nal University, John Dedma...

    work page 2010