Un procédé combinatoire-géométrique qui associe à une variété algébrique un complexe polyédral linéaire par morceaux (sa variété tropicale) en appliquant une valuation coordonnée et en remplaçant les opérations algébriques par des opérations tropicales (min-plus ou max-plus), capturant le comportement d'ordre dominant de la valuation.

Principe

Passer à un corps valué (souvent non archimédien), prendre les valuations coordonnées des points ou des coefficients et considérer les lieux où le polynôme tropical correspondant atteint son minimum en au moins deux monômes ; les relations algébriques deviennent des conditions d'équilibre linéaire par morceaux sur un complexe polyédral.

Démonstration

La tropicalisation d'une courbe plane définie par f(x,y) = a x^i y^j + ... est le lieu anguleux de la fonction linéaire par morceaux obtenue en prenant les valuations des monômes. Pour f = x + y + 1 sur un corps valué, la courbe tropicale est la droite tropicale formée de trois rayons rencontrant un sommet dual au triangle de Newton.

Mauvaise application

Considérer la tropicalisation comme un substitut sans perte de la variété ignore les données schématiques et les multiplicités ; utiliser des conventions incohérentes (min versus max) ou oublier la valuation sous-jacente peut produire un diagramme combinatoire erroné.

Conséquence

La tropicalisation fournit un invariant combinatoire qui contrôle les dégénérescences, offre des modèles polyédraux explicites pour les calculs et réduit souvent des problèmes algébriques à des problèmes linéaires par morceaux (par exemple, comptage de solutions, compréhension des limites, obstructions combinatoires à la réalisabilité).

Inversion

La notion inverse consiste à reconstruire la variété algébrique à partir de sa tropicalisation (problème de relèvement) : les données tropicales sont linéaires par morceaux et sous-déterminent en général la structure schématique ou analytique, le relèvement n'est pas unique et requiert des données supplémentaires.

Limite

Dépend du choix de la valuation et du travail sur des corps muni de cette valuation ; la tropicalisation capture les données d'ordre dominant mais omet les informations sur les coefficients d'ordre supérieur et peut ne pas distinguer des composantes non réduites ou incorporées sans annotations de multiplicités.

Tension sémantique

Il existe une tension entre voir la tropicalisation comme une ombre combinatoire (perte d'information algébrique) et la considérer comme un modèle combinatoire fidèle (récupérant des invariants énumératifs si l'on suit les multiplicités) ; tension également entre différentes conventions tropicales et le choix de la valuation.

Synthèse

La tropicalisation est le passage systématique des équations algébriques à un complexe polyédral « tropical » linéaire par morceaux via les valuations et l'algèbre min-plus ; elle produit un squelette combinatoire maniable codant l'information d'ordre dominant sur les dégénérescences et le comportement énumératif.