Un complexe polyédral piècewise-linéaire pondéré (souvent un éventail ou un complexe polyédral) obtenu comme image d'une variété algébrique par une valuation non archimédienne coordonnée ou comme le lieu combinatoire où les formes initiales des polynômes définissants ont des racines communes ; c'est la tropicalisation qui capture l'ombre combinatoire et valuationnelle de la géométrie algébrique.

Principe

La tropicalisation remplace les opérations algébriques par l'arithmétique min-plus (ou max-plus) et enregistre le comportement de valuation principal des coordonnées ; les variétés tropicales satisfont des conditions d'équilibre sur des polyèdres pondérés et reflètent les dégénérescences initiales de la variété d'origine.

Démonstration

La tropicalisation d'une droite plane est constituée de trois rayons rencontrant en un sommet formant un trépied ; tropicaliser une cubique plane donne un graphe métrique dual à une subdivision du polygone de Newton dont le genre coïncide avec le genre d'un relèvement lisse générique, et les multiplicités codent les nombres d'intersection.

Mauvaise application

Considérer tout complexe polyédral comme une variété tropicale sans vérifier les conditions d'équilibre et de poids, ou supposer que la tropicalisation détermine de manière unique un relèvement algébrique (plusieurs variétés peuvent tropicaliser vers la même variété tropicale et le relèvement peut être obstructé).

Conséquence

Bien utilisée, la variété tropicale fournit des invariants combinatoires qui calculent des nombres d'intersection, guident des arguments de dégénérescence, permettent le calcul d'invariants de Gromov–Witten et d'énumération en termes combinatoires, et réduisent des problèmes géométriques complexes à de la combinatoire polyédrique.

Inversion

La perspective inverse est la variété algébrique classique sur un corps valué : la tropicalisation oublie des données algébriques non linéaires, donc revenir de tropical à algébrique n'est pas canonique et implique de résoudre des problèmes de relèvement et d'analyser des obstructions.

Limite

Définie principalement pour des variétés sur des corps valués (non archimédiens ou à séries de Puiseux) ; tout complexe polyédral équilibré ne provient pas nécessairement d'une variété algébrique, et les variétés tropicales excluent des ensembles polyédraux purement topologiques dépourvus des poids, de l'équilibre ou d'une origine valuationnelle.

Tension sémantique

Tension entre variétés tropicales et amoebas (images par log|·| sur C) ou entre complexes polyédraux purement combinatoires et tropicalisations valuationnelles ; les deux reflètent des limites de la géométrie algébrique mais diffèrent par leurs origines analytiques versus non archimédiennes.

Synthèse

Une variété tropicale est le squelette combinatoire polyédral pondéré obtenu en enregistrant les valuations des coordonnées ou les termes dominants des polynômes, satisfaisant des conditions d'équilibre qui encodent la théorie d'intersection algébrique et servant de proxy combinatoire maniable pour les dégénérescences et invariants énumératifs des variétés algébriques.