Ein polyedrales, stückweise-lineares gewichtetes Komplex (häufig ein Fächer oder polyedrischer Komplex), das als Bild einer algebraischen Varietät unter einer koordinatenweisen nichtarchimedischen Valuation entsteht oder als die kombinatorische Menge, in der Anfangsformen der definierenden Polynome gemeinsame Nullstellen haben; es ist die Tropicalisierung, die kombinatorische und valuations-theoretische Schatten der algebraischen Geometrie erfasst.

Prinzip

Tropicalisierung ersetzt algebraische Operationen durch Min-Plus-(oder Max-Plus-)Arithmetik und zeichnet das führende Valuationsverhalten der Koordinaten auf; tropische Varietäten erfüllen Ausgleichsbedingungen auf gewichteten Polyedern und spiegeln Anfangsdegenerationen der ursprünglichen Varietät wider.

Demonstration

Die Tropicalisierung einer ebenen Geraden ist drei Strahlen, die sich in einem Scheitelpunkt treffen und ein Dreibein bilden; die Tropicalisierung einer ebenen kubischen Kurve ergibt einen metrischen Graphen, dual zu einer Unterteilung des Newton-Polygons, dessen Genus dem Genus einer generischen glatten Hebung entspricht, und Multiplikitäten codieren Kreuzungszahlen.

Fehlanwendung

Jeden polyedralen Komplex als tropische Varietät zu behandeln, ohne Ausgleichs- und Gewichtbedingungen zu prüfen, oder anzunehmen, Tropicalisierung bestimme eindeutig eine algebraische Hebung (viele Varietäten tropicalisieren zur selben tropischen Varietät und Hebungen können obstruiert sein).

Konsequenz

Richtig eingesetzt liefern tropische Varietäten kombinatorische Invarianten zur Berechnung von Schnittzahlen, leiten Degenerationsargumente, ermöglichen die Berechnung von Gromov–Witten- und enumerativen Invarianten in kombinatorischen Begriffen und reduzieren komplexe geometrische Probleme auf polyedrische Kombinatorik.

Umkehrung

Die Umkehrperspektive ist die klassische algebraische Varietät über einem valuativen Körper: Tropicalisierung vergisst nichtlineare algebraische Daten, daher ist der Rückweg von tropisch zu algebraisch nicht kanonisch und erfordert das Lösen von Hebungsproblemen und die Analyse von Obstruktionen.

Abgrenzung

Definition hauptsächlich für Varietäten über valuativen Körpern (nichtarchimedisch oder mit Puiseux-Reihen); nicht jeder ausgeglichene polyedrale Komplex stammt von einer algebraischen Varietät, und tropische Varietäten schließen rein topologische polyedrische Mengen ohne notwendige Gewichte, Ausgleichsbedingungen oder Bewertungsursprung aus.

Semantische Spannung

Spannung zwischen tropischen Varietäten und Amoeben (Bilder durch log|·| über C) oder zwischen rein kombinatorischen polyedralen Komplexen und valuations-theoretischen Tropicalisierungen; beide repräsentieren Grenzobjekte der algebraischen Geometrie, unterscheiden sich jedoch in ihrem analytischen gegenüber nichtarchimedischen Ursprung.

Synthese

Eine tropische Varietät ist das gewichtete polyedrale kombinatorische Skelett, das entsteht, indem man Valuationen der Koordinaten oder führende Terme von Polynomen erfasst, Ausgleichsbedingungen erfüllt, die algebraische Schnitttheorie codieren, und als handhabbarer kombinatorischer Ersatz für Degenerationen und enumerative Invarianten algebraischer Varietäten dient.