Introduction : La transmutation audacieuse de l’arithmétique élémentaire
$$2 + 3 = 5, \quad 2 \times 3 = 6$$Ces opérations définissent la structure parfaite d’un corps commutatif, sur lequel repose la géométrie algébrique classique avec ses courbes lisses et ses variétés complexes.
Pourtant, que se passe-t-il si nous modifions radicalement ces règles arithmétiques ancestrales ?
- L’addition tropicale ($\oplus$) : définie comme le minimum entre deux nombres : $$x \oplus y = \min(x, y)$$
- La multiplication tropicale ($\odot$) : définie comme l’addition classique ordinaire : $$x \odot y = x + y$$
L’addition est idempotente ($3 \oplus 3 = 3$), et la soustraction n’existe plus (l’équation $3 \oplus x = 5$ n’a aucune solution réelle).
Cette structure algébrique est appelée semi-anneau tropical (Tropical Semiring) ou algèbre min-plus. Le qualificatif « tropical » a été attribué par les mathématiciens français en hommage au mathématicien brésilien Imre Simon (1943–2009), pionnier de cette algèbre en informatique théorique, dont le pays natal, le Brésil, est situé sous les tropiques.
Le miracle géométrique survient lorsque l’on définit des polynômes sur ce semi-anneau : les variétés algébriques complexes, courbées et inextricables, dégénèrent en de magnifiques squelettes polygonaux, linéaires par morceaux et combinatoires ! Dans les années 2000, le mathématicien russe Grigory Mikhalkin a stupéfié la communauté scientifique en résolvant des énigmes séculaires de géométrie énumérative grâce à de simples puzzles de graphes tropicaux.
flowchart TD
subgraph Classical ["Monde Classique (Courbes Complexes)"]
C["Variétés lisses f(z, w) = 0<br/>Courbure et topologie complexe"]
end
subgraph Limit ["Déquantification logarithmique (Amibes)"]
L["Base t → ∞ / Constante de Planck ħ → 0<br/>Projection Log_t et extraction du squelette"]
end
subgraph Tropical ["Monde Tropical"]
T["Graphes linéaires par morceaux & Polyèdres<br/>Semi-anneau min-plus: x ⊕ y = min(x, y)<br/>Combinatoire pure"]
end
Classical --> Limit --> Tropical
Tropical -.->|Théorème de Mikhalkin| Classical
1. Axiomes du semi-anneau tropical
L’ensemble des réels tropicaux est $\mathbb{T} = \mathbb{R} \cup \{+\infty\}$. Les propriétés fondamentales sont :
- Associativité et commutativité pour $\oplus$ et $\odot$ ;
- Distributivité : $x + \min(y, z) = \min(x + y, x + z)$ ;
- Éléments neutres : le zéro tropical est $+\infty$, l’unité tropicale est $0$ ;
- Idempotence de l’addition : $x \oplus x = x$ ;
- Linéarisation des puissances : $x^{\odot n} = n \cdot x$.
2. Polynômes tropicaux et hypersurfaces
$$F(\mathbf{x}) = \min_{\mathbf{a}} (c_{\mathbf{a}} + \langle \mathbf{a}, \mathbf{x} \rangle)$$Définition de l’hypersurface tropicale $V(F)$
En l’absence de soustraction, l’hypersurface tropicale $V(F)$ est définie comme l’ensemble des points où le minimum est atteint par au moins deux monômes distincts (les arêtes de non-dérivabilité du graphe) !
Pour un polynôme du second degré $F(x) = \min(2 + 2x, 1 + x, 4)$, les racines correspondent aux deux points de transition $x = -1$ et $x = 3$.
3. Droites tropicales et condition d’équilibre
Une droite tropicale standard $F(x, y) = \min(x, y, 0)$ dans le plan forme un trépied (Tripod) issu de l’origine $(0, 0)$ selon trois directions :
- Vers le haut : $(0, 1)$ ;
- Vers la droite : $(1, 0)$ ;
- Vers le bas à gauche : $(-1, -1)$.
Les courbes tropicales se comportent rigoureusement comme des réseaux de câbles en équilibre de tension mécanique.
4. Amibes et déquantification de Maslov
L’image d’une courbe complexe sous la projection logarithmique $\operatorname{Log}(z, w) = (\log |z|, \log |w|)$ forme un domaine planaire doté de tentacules appelé amibe. Dans la limite $t \to \infty$ (la déquantification de Maslov, correspondant à la limite semi-classique $\hbar \to 0$), l’amibe s’amincit et se rétracte exactement sur son squelette linéaire par morceaux : la courbe tropicale.
5. Le théorème de correspondance de Mikhalkin
$$N_{d, g} = \sum_{\Gamma} \operatorname{Mult}(\Gamma)$$Il suffit de dénombrer les graphes tropicaux $\Gamma$ tracés sur un réseau quadrillé et de multiplier chacun par sa multiplicité déterminantale entière.
6. Applications réelles
- Algorithmes de plus court chemin : l’algorithme de Floyd-Warshall équivaut exactement au calcul de puissances de matrices tropicales $\mathbf{D}^{\odot n}$ ;
- Arbres phylogénétiques : l’espace de tous les arbres de parenté biologique coïncide rigoureusement avec la grassmannienne tropicale $\operatorname{Trop} \operatorname{Gr}(2, N)$ ;
- Programmation dynamique : l’algorithme de Viterbi dans les modèles de Markov cachés s’exprime naturellement dans l’algèbre max-plus.
Conclusion
En troquant l’addition pour le minimum et la multiplication pour l’addition, la géométrie tropicale dissipe la complexité non linéaire pour révéler la beauté cristalline de l’univers combinatoire.