Ein kombinatorisch-geometrischer Vorgang, der einer algebraischen Varietät ein stückweise-lineares polyedrales Komplex (ihre tropische Varietät) zuweist, indem Koordinatenwertungen angewandt und algebraische Operationen durch tropische (Min-Plus- oder Max-Plus-)Operationen ersetzt werden und so führende Bewertungsverhalten erfasst werden.

Prinzip

Man wechselt zu einem bewerteten (oft nicht-archimedischen) Körper, nimmt koordinatenweise Bewertungen von Punkten oder Koeffizienten und betrachtet die Orte, an denen das entsprechende tropische Polynom sein Minimum mindestens zweimal annimmt; algebraische Relationen werden zu stückweise-linearen Gleichgewichtsbedingungen auf einem polyedralen Komplex.

Demonstration

Die Tropicalisierung einer ebenen Kurve f(x,y) = a x^i y^j + ... ist die Eckstellenmenge der stückweise-linearen Funktion, die man durch Bewertung der Monome erhält. Für f = x + y + 1 über einem bewerteten Körper ist die tropische Kurve die dreistrahlige tropische Gerade mit einem Scheitel, dual zum Newton-Dreieck.

Fehlanwendung

Die Tropicalisierung als verlustfreie Repräsentation der Varietät zu behandeln, ignoriert schematische Daten und Multiplizitäten; inkonsistente Konventionen (Min vs. Max) oder das Vergessen der zugrunde liegenden Wertung können zu falschen kombinatorischen Bildern führen.

Konsequenz

Tropicalisierung liefert ein kombinatorisches Invariant, das Degenerationen kontrolliert, explizite polyedrale Modelle für Rechnungen bietet und algebraische Probleme oft auf stückweise-lineare Fragen reduziert (z. B. Zählprobleme, Verständnis von Grenzen und kombinatorische Realisierbarkeitsbedingungen).

Umkehrung

Die Umkehroperation ist die Rekonstruktion der algebraischen Varietät aus ihrer Tropicalisierung (Hebungs- oder Realisierungsproblem): tropische Daten sind stückweise-linear und bestimmen üblicherweise nicht eindeutig die schematische oder analytische Struktur, der Hebevorgang ist nicht eindeutig und benötigt Zusatzdaten.

Abgrenzung

Hängt von der Wahl der Bewertung und dem Arbeiten über Körpern mit dieser Bewertung ab; Tropicalisierung erfasst führende Bewertungsdaten, lässt aber höherstufige Koeffizienteninformationen weg und kann nicht-reduzierte oder eingebettete Komponenten ohne Multiplizitätsmarkierung nicht unterscheiden.

Semantische Spannung

Es besteht Spannung zwischen der Betrachtung der Tropicalisierung als kombinatorischen Schatten (Informationsverlust) und als treuem kombinatorischen Modell (Wiedergewinnung enumerativer Invarianten bei Berücksichtigung von Multiplizitäten); außerdem Spannung zwischen verschiedenen tropischen Konventionen und der Wahl der Bewertung.

Synthese

Tropicalisierung ist der systematische Übergang von algebraischen Gleichungen zu einem stückweise-linearen «tropischen» polyedralen Komplex mittels Wertungen und Min-Plus-Algebra; sie liefert ein handliches kombinatorisches Skelett, das führende Informationen über Degenerationen und enumeratives Verhalten kodiert.