Introdução: A audaciosa transformação da aritmética elementar

Essas operações formam a estrutura axiomática de um corpo, alicerce sobre o qual se edifica a geometria algébrica clássica e suas elegantes curvas suaves.

Porém, o que acontece se alterarmos deliberadamente essas regras operatórias?

• Adição tropical ($\oplus$): Definida como a escolha do menor valor entre dois números: $$x \oplus y = \min(x, y)$$
• Multiplicação tropical ($\odot$): Definida como a adição ordinária usual: $$x \odot y = x + y$$

A adição é idempotente ($3 \oplus 3 = 3$), e a subtração não existe.

Essa estrutura é o semianel tropical (Tropical Semiring) ou álgebra min-plus. O nome «tropical» foi cunhado por matemáticos franceses em homenagem ao matemático brasileiro Imre Simon (1943–2009), pioneiro dessa teoria em ciência da computação e oriundo do Brasil tropical.

O fenômeno central reside no fato de que: ao construirmos variedades algébricas sobre o semianel tropical, curvas complexas e superfícies curvas degeneram em poliedros, grafos e esqueletos lineares por partes! O matemático Grigory Mikhalkin revolucionou a geometria enumerativa ao solucionar o cálculo de curvas algébricas por meio da contagem de grafos tropicais combinatórios.

  flowchart TD
    subgraph Classical ["Mundo Clássico (Geometria Complexa)"]
        C["Curvas suaves f(z, w) = 0<br/>Variedades e superfícies de Riemann"]
    end
    subgraph Limit ["Limite Logarítmico (Amebas de Maslov)"]
        L["Base t → ∞ / Constante de Planck ħ → 0<br/>Projeção Log_t e colapso do esqueleto"]
    end
    subgraph Tropical ["Mundo Tropical"]
        T["Grafos lineares por partes & Poliedros<br/>Semianel min-plus: x ⊕ y = min(x, y)<br/>Combinatória pura"]
    end
    Classical --> Limit --> Tropical
    Tropical -.->|Teorema de Mikhalkin| Classical

1. Axiomas do semianel tropical

Os números reais tropicais formam $\mathbb{T} = \mathbb{R} \cup \{+\infty\}$. Seus axiomas fundamentais:

1. Associatividade e comutatividade para $\oplus$ e $\odot$;
2. Distributividade: $x + \min(y, z) = \min(x + y, x + z)$;
3. Elementos neutros: o zero tropical é $+\infty$, e o um tropical é $0$;
4. Idempotência: $x \oplus x = x$;
5. Linearização de potências: $x^{\odot n} = n \cdot x$.

2. Polinômios tropicais e hipersuperfícies

Definição da hipersuperfície tropical $V(F)$

Como não há subtração, a hipersuperfície tropical $V(F)$ é o conjunto de pontos onde o valor mínimo é atingido simultaneamente por pelo menos dois monômios distintos (os vincos onde a função não é diferenciável)!

3. Retas tropicais e a condição de equilíbrio

Uma reta tropical no plano $F(x, y) = \min(x, y, 0)$ é um tripé (Tripod) centrado na origem, irradiando em $(0, 1)$, $(1, 0)$ e $(-1, -1)$. A soma desses vetores é zero, satisfazendo a condição de equilíbrio (Balancing Condition).

4. Amebas e a desquantização de Maslov

Ao projetar uma curva algébrica através do mapa logarítmico $\operatorname{Log}(z, w) = (\log |z|, \log |w|)$, obtém-se uma figura plana chamada ameba. No limite assintótico $t \to \infty$ (desquantização de Maslov, equivalente ao limite semiclássico $\hbar \to 0$), a ameba colapsa sobre seu esqueleto linear por partes: a curva tropical.

5. O teorema da correspondência de Mikhalkin

torna-se uma simples soma ponderada de grafos tropicais planares $\Gamma$, multiplicados por suas respectivas multiplicidades inteiras.

6. Aplicações práticas

• Caminhos mínimos em redes: O algoritmo de Floyd-Warshall corresponde a potências de matrizes tropicais $\mathbf{D}^{\odot n}$;
• Filogenética evolutiva: O espaço de árvores biológicas é isomorfo à grassmanniana tropical $\operatorname{Trop} \operatorname{Gr}(2, N)$;
• Programação dinâmica e leilões: As fronteiras de preferência do consumidor formam hipersuperfícies tropicais no espaço de preços.

Conclusão

Ao converter a soma no mínimo e o produto na soma, a geometria tropical descarta as complexidades analíticas e revela a beleza translúcida, límpida e combinatória da geometria do universo.