[Paper Review] Tropical Plane Geometric Constructions: a Transfer Technique in Tropical Geometry

Luis Felipe Tabera|ArXiv.org|Nov 29, 2005

Polynomial and algebraic computation15 references4 citations

TL;DR

This paper introduces a transfer technique in tropical geometry that enables the lifting of tropical geometric constructions to their algebraic counterparts via a constructible set of sufficient conditions over the residual field. It defines admissible geometric constructions ensuring that every tropical realization lifts algebraically, and applies this framework to prove tropical versions of classical incidence theorems such as Pascal’s, Fano, and Cayley-Bacharach theorems.

ABSTRACT

The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it computes sufficient conditions to have an algebraic counterpart related by tropicalization. We also provide sufficient conditions in a geometric construction to ensure that the algebraic counterpart always exists. Geometric constructions are applied to transfer classical theorems to the tropical framework, we provide a notion of incidence theorems and prove several tropical versions of classical theorems like converse Pascal, Fano plane or Cayley-Bacharach.

Motivation & Objective

• To establish a formal framework for comparing incidence configurations in algebraic and tropical planes via geometric constructions.
• To address the failure of classical incidence theorems (e.g., Pappus) in the tropical setting by identifying conditions under which they still hold.
• To develop an algorithm that computes sufficient conditions for a tropical geometric construction to lift to an algebraic one.
• To define 'admissible geometric constructions' as a combinatorial criterion ensuring that the set of algebraic preimages is non-empty and dense.
• To prove tropical analogues of classical incidence theorems using this lifting mechanism.

Proposed method

• Define geometric constructions as step-by-step procedures starting from input curves and points, using intersections and curve completions (e.g., conics through five points).
• Construct a constructible set 𝔛 over the residual field k that encodes sufficient conditions for the existence of an algebraic preimage under tropicalization.
• Use principal coefficients and valuation theory to track the behavior of algebraic elements under tropicalization, particularly through the map T: (K*)^n → ℝ^n.
• Introduce the notion of 'generic position' for point sets relative to curves to ensure lifting compatibility.
• Apply Theorem 38 and Theorem 44 to certify that certain tropical configurations can be lifted to algebraic ones when minimal path conditions are met.
• Use the admissibility condition on the associated graph of a construction to guarantee that the constructible set is non-empty and dense, ensuring universal liftability.

Experimental results

Research questions

• RQ1 Under what conditions can a tropical geometric construction be lifted to an algebraic geometric construction?
• RQ2 What combinatorial or geometric criteria ensure that every tropical realization of a construction admits an algebraic preimage?
• RQ3 Can classical incidence theorems such as Pascal’s or Cayley-Bacharach be proven in the tropical setting using a constructive lifting method?
• RQ4 How can one algorithmically determine whether a given tropical configuration is the tropicalization of an algebraic configuration?
• RQ5 What role does generic position of points with respect to curves play in the lifting process?

Key findings

• The paper provides an algorithm that computes a constructible set 𝔛 over the residual field k such that any tropical realization satisfying 𝔛 lifts to an algebraic configuration.
• The notion of 'admissible geometric construction' ensures that for every tropical realization, the set of algebraic preimages is non-empty and dense, thus guaranteeing universal liftability.
• The weak Pascal theorem holds tropically if the three point pairs {A,C′}, {B,A′}, {C,B′} are in generic position with respect to the conic Z, as confirmed by Theorem 38.
• The Cayley-Bacharach theorem holds in the tropical setting when the hypothesis is constructed via an admissible geometric construction, ensuring that a curve of degree d+e−3 passing through all but one of de intersection points of two curves of degrees d and e must pass through all points.
• The Fano plane configuration is shown to have a tropical version that holds under the admissibility condition, demonstrating the transferability of incidence theorems.
• An explicit counterexample shows that the standard Pappus configuration fails in the tropical setting, but the modified version using geometric construction lifts successfully when conditions are met.