Introducción: La audaz transformación de la aritmética elemental
$$2 + 3 = 5, \quad 2 \times 3 = 6$$Estas operaciones sustentan la estructura de cuerpo sobre la cual florece la geometría algebraica clásica, con sus curvas suaves, elipses y variedades algebraicas.
Sin embargo, ¿qué sucedería si cambiáramos radicalmente las reglas operativas?
- Suma tropical ($\oplus$): Definida como el mínimo entre dos números: $$x \oplus y = \min(x, y)$$
- Multiplicación tropical ($\odot$): Definida como la suma aritmética habitual: $$x \odot y = x + y$$
Aparece la propiedad de idempotencia ($3 \oplus 3 = 3$) y la resta deja de existir por completo.
Esta estructura se denomina semianillo tropical (Tropical Semiring) o álgebra min-plus. Su nombre fue propuesto por matemáticos franceses en honor al informático brasileño Imre Simon (1943–2009), quien aplicó esta álgebra a la teoría de autómatas, procediendo del Brasil tropical.
El milagro matemático es rotundo: al formular ecuaciones sobre este semianillo, las curvas y superficies algebraicas complejas degeneran en nítidos grafos, poliedros y esqueletos lineales a trozos. A principios del siglo XXI, Grigory Mikhalkin demostró que problemas centenarios de geometría enumerativa podían resolverse como rompecabezas de líneas quebradas en cuadrículas.
flowchart TD
subgraph Classical ["Mundo Clásico (Geometría Compleja)"]
C["Curvas suaves f(z, w) = 0<br/>Curvatura y variedades complejas"]
end
subgraph Limit ["Límite logarítmico (Amebas de Maslov)"]
L["Base t → ∞ / Constante de Planck ħ → 0<br/>Proyección Log_t y extracción del esqueleto"]
end
subgraph Tropical ["Mundo Tropical"]
T["Poliedros y grafos lineales a trozos<br/>Semianillo min-plus: x ⊕ y = min(x, y)<br/>Combinatoria pura"]
end
Classical --> Limit --> Tropical
Tropical -.->|Teorema de Mikhalkin| Classical
1. Axiomas del semianillo tropical
Los números reales tropicales se definen como $\mathbb{T} = \mathbb{R} \cup \{+\infty\}$. Sus axiomas fundamentales son:
- Asociatividad y conmutatividad para $\oplus$ y $\odot$;
- Distributividad: $x + \min(y, z) = \min(x + y, x + z)$;
- Elementos neutros: el cero tropical es $+\infty$, y el uno tropical es $0$;
- Idempotencia: $x \oplus x = x$;
- Linealización de potencias: $x^{\odot n} = n \cdot x$.
2. Polinomios tropicales e hipersuperficies
$$F(\mathbf{x}) = \min_{\mathbf{a}} (c_{\mathbf{a}} + \langle \mathbf{a}, \mathbf{x} \rangle)$$Definición de la hipersuperficie tropical $V(F)$
Al no existir la resta, la hipersuperficie tropical $V(F)$ se define como el conjunto de puntos donde el mínimo se alcanza al menos por dos monomios distintos (los vértices y aristas donde la función no es diferenciable).
3. Rectas tropicales y la condición de equilibrio
Una recta tropical bidimensional $F(x, y) = \min(x, y, 0)$ tiene forma de trípode (Tripod) que emite tres rayos desde el origen en direcciones $(0, 1)$, $(1, 0)$ y $(-1, -1)$. La suma de estos vectores directores es estrictamente $(0, 0)$, cumpliendo la condición de equilibrio (Balancing Condition).
4. Amebas y desmantelamiento de Maslov
Al proyectar una curva compleja mediante la función logarítmica $\operatorname{Log}(z, w) = (\log |z|, \log |w|)$, se obtiene una región con tentáculos llamada ameba. Cuando el parámetro de escala $t \to \infty$ (límite semiclásico $\hbar \to 0$), la ameba colapsa sobre su esqueleto lineal a trozos: la curva tropical.
5. El teorema de correspondencia de Mikhalkin
$$N_{d, g} = \sum_{\Gamma} \operatorname{Mult}(\Gamma)$$se reduce a contar grafos tropicales $\Gamma$ en papel cuadriculado y ponderarlos con determinantes enteros locales.
6. Aplicaciones prácticas
- Algoritmos de rutas mínimas: El algoritmo de Floyd-Warshall es exactamente el cálculo de potencias de matrices tropicales $\mathbf{D}^{\odot n}$;
- Filogenia biológica: El espacio de todos los árboles filogenéticos es isomorfo a la grasmaniana tropical $\operatorname{Trop} \operatorname{Gr}(2, N)$;
- Programación dinámica y teoría de subastas: La optimización de carteras de bienes define hipersuperficies tropicales en el espacio de precios.
Conclusión
Al redefinir la suma como el mínimo y la multiplicación como la suma, la geometría tropical despoja a la matemática de su complejidad analítica, revelando la pureza cristalina y combinatoria del universo geométrico.