Tropical Geometry¶
Job: combinatorial shadow of algebraic geometry over the tropical semiring — polyhedral “varieties,” degeneration limits, and correspondence theorems linking tropical counts to classical enumerative geometry.
Core¶
Tropical geometry replaces \((\mathbb{C},+,\times)\) by the tropical semiring \((\mathbb{R}\cup\{\infty\},\min,+)\) (or \(\max\) convention), turning algebraic hypersurfaces into polyhedral complexes. It packages non-Archimedean skeletons, degenerations, and a calculus of balancing weights used in enumerative geometry and mirror symmetry.
| Layer | Content |
|---|---|
| Semiring | \(\mathbb{T}=(\mathbb{R}\cup\{\infty\},\oplus,\odot)\) |
| Tropical varieties | \(\operatorname{trop}(I)\subset\mathbb{R}^n\); balancing |
| Kapranov | amoebas / non-Archimedean amoebas \(\to\) tropical hypersurfaces |
| Correspondence | tropical curve counts \(\leftrightarrow\) algebraic GW / Severi |
| Applications | mirror SYZ bases; optimization; phylogenetics pointers |
Reading map¶
| Page | Focus |
|---|---|
| Foundations | semiring, tropical varieties, Kapranov, correspondence theorems, applications |
| Berkovich & Skeletons | Berkovich analytification; skeleton / dual complex; essential skeleton / K-stability; Berkovich vs tropicalization |
| Matroids & Linear Spaces | valuated matroids; tropical Grassmannian / Speyer–Sturmfels; Dressian vs realizable; tropical Stiefel / Plücker; tree space |
| Moduli & Enumerative | \(\mathcal{M}_{g,n}^{\mathrm{trop}}\); tropical DM / Abramchenko–Caporaso–Payne–Melo; Mikhalkin / Siebert–Nishinou; floor diagrams; tropical Severi |
| Scattering & Mirror | scattering diagrams / consistency; broken lines / theta functions / GHK; log CY / Gross–Siebert mirror theorem; intrinsic mirror / cluster |
Dependency order¶
- Classical algebraic geometry of toric varieties / hypersurfaces — AG.
- Polyhedral combinatorics; valuations / Puiseux series.
- Enumerative goals optionally via mirror symmetry and complex geometry.
Interfaces¶
| Area | Contact |
|---|---|
| Algebraic geometry | initial degenerations, Gröbner, toric charts |
| Mirror symmetry | SYZ base, Gross–Siebert, scattering |
| Complex geometry | amoebas of complex hypersurfaces |
| Symplectic geometry | Lagrangian torus fibrations; phase tropicalization |
| Combinatorics / discrete | polyhedral complexes, matroids (tropical linear spaces) |
Notation (paper-standard)¶
- \(\oplus=\min\), \(\odot=+\); \(\operatorname{trop}(V)\), \(\operatorname{Val}:K^\times\to\mathbb{R}\)
- Balanced weighted polyhedral complexes; multiplicity \(m_\sigma\)
- Amoeba \(\mathcal{A}(V)=\operatorname{Log}|V|\subset\mathbb{R}^n\)
See it¶
Tropical line in \(\mathbb{R}^2\). The tropical polynomial \(“x\oplus y\oplus 0”=\min(x,y,0)\) has corner locus three rays from the origin along the directions \((-1,0)\), \((0,-1)\), \((1,1)\), balanced with weight 1 — the combinatorial type of a linear \(\mathbb{P}^1\) in the toric surface. Through two general points in \(\mathbb{R}^2\) there is a unique tropical line; three general lines meet in one point — classical Bézout shadows.
Check¶
Why does the balancing condition appear for \(\operatorname{trop}(V(f))\) of a hypersurface?
Around a codimension-1 cell, the primitive outgoing directions of adjacent top-dimensional faces, weighted by lattice lengths / multiplicities from initial forms, sum to zero — a consequence of the fact that the initial ideal / face polynomials define equidimensional cycles of degree matching, or equivalently Stokes / residue cancellation for the defining equation’s leading terms.
What fails if one ignores multiplicities in a tropical enumerative count?
Unweighted ray counts need not equal algebraic curve counts; Mikhalkin correspondence requires lattice lengths and vertex multiplicities (and often a complex/real phase structure) to match GW or Severi degrees.
Pitfalls¶
- Min vs max conventions flip signs and dualize polyhedra — always state the convention.
- Set-theoretic tropicalization vs scheme-theoretic / multiplicity-weighted structure.
- Embedded vs abstract tropical curves: abstract metric graphs with legs vs balanced images in \(\mathbb{R}^n\).
Refs¶
- Maclagan–Sturmfels, Introduction to Tropical Geometry
- Mikhalkin–Rau, Tropical Geometry (draft monograph)
- Gathmann, tropical geometry survey notes
- Speyer–Sturmfels, “The tropical Grassmannian”
Next¶
Foundations · Berkovich & Skeletons · Matroids & Linear Spaces · Moduli & Enumerative · Scattering & Mirror · Algebraic geometry · Mirror symmetry · SYZ & Gross–Siebert — the tropical / log skeleton as the SYZ base; scattering diagrams · Complex geometry · Symplectic geometry