[Paper Review] First steps in tropical geometry

Jürgen Richter-Gebert, Bernd Sturmfels+1 more|ArXiv.org|Jun 25, 2003

Mathematics and Applications6 citations

TL;DR

This paper introduces foundational concepts in tropical geometry using the min-plus semiring $(\mathbb{R}, \min, +)$, establishing a geometric framework for polyhedral cell complexes that mirror complex algebraic varieties. It proposes a stable, degeneracy-free definition of tropical linear spaces and lines via tropical linear algebra and the tropical cross product, demonstrating that classical incidence theorems like Pappus’ do not universally hold in the tropical setting, with a concrete counterexample provided.

ABSTRACT

Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus' Theorem.

Motivation & Objective

• To establish a rigorous geometric foundation for tropical algebraic geometry using the min-plus semiring $(\mathbb{R}, \min, +)$.
• To resolve ambiguities in defining tropical linear spaces by proposing a stable, geometrically consistent definition that avoids degeneracies.
• To demonstrate that classical incidence theorems such as Pappus’ Theorem do not generally hold in tropical geometry.
• To provide algorithmic tools for computing stable joins (lines through two points) and meets (intersections of lines) in the tropical projective plane.

Proposed method

• Defining tropical linear spaces via solutions to tropical linear equations, ensuring one-dimensionality and stability.
• Introducing the tropical cross product $a \otimes b$ to compute the stable line through two points in $\mathbb{TP}^2$.
• Using the tropical Cramer’s rule to compute stable solutions of tropical linear systems.
• Constructing tropical curves and varieties via polyhedral cell complexes derived from tropical polynomials.
• Employing combinatorial types of lines and triangles to classify geometric configurations in the tropical projective plane.
• Validating results through explicit counterexamples, particularly for Pappus’ Theorem, using concrete coordinate matrices.

Experimental results

Research questions

• RQ1 What is the correct geometric definition of a tropical line or linear space that satisfies basic incidence axioms?
• RQ2 Can stable intersections be defined even in degenerate cases, such as when two points coincide or infinitely many lines pass through them?
• RQ3 Does Pappus’ Theorem, a cornerstone of classical projective geometry, hold in the tropical projective plane?
• RQ4 How can tropical linear systems and their solutions be systematically computed using tropical algebra?
• RQ5 What are the complete combinatorial types of tropical lines and conics in the tropical projective plane?

Key findings

• A counterexample is constructed showing that the incidence version of Pappus’ Theorem does not hold in tropical geometry, disproving a natural generalization.
• The stable join of two points in $\mathbb{TP}^2$ is uniquely defined via the tropical cross product $a \otimes b$, even when classical geometry fails.
• The stable meet of two tropical lines is given by the tropical cross product of their coefficients, ensuring a unique intersection point.
• There exist exactly twelve combinatorial types of tropical lines in $\mathbb{TP}^2$, as opposed to the two types in classical geometry.
• The family of tropical quadrics through four points in $\mathbb{TP}^2$ is completely classified, revealing a rich structure of possible configurations.
• Tropical geometry admits no degeneracies in basic operations like line joining or intersection, due to the existence of stable solutions.