Un complejo poliédrico piezawise-lineal ponderado (a menudo un fan o complejo poliédrico) obtenido como la imagen de una variedad algebraica bajo una valoración no arquimediana coordenada o como el lugar combinatorio donde las formas iniciales de los polinomios definidores tienen raíces comunes; es la tropicalización que captura la sombra combinatoria y valorativa de la geometría algebraica.

Principio

La tropicalización reemplaza operaciones algebraicas por aritmética min-plus (o max-plus) y registra el comportamiento principal de las valoraciones de las coordenadas; las variedades tropicales satisfacen condiciones de balanceo en poliédros ponderados y reflejan degeneraciones iniciales de la variedad original.

Demostración

La tropicalización de una recta plana son tres rayos que se encuentran en un vértice formando un trípode; tropicalizar una cúbica plana produce un grafo métrico dual a una subdivisión del polígono de Newton cuyo género iguala al de un levantamiento liso genérico, y las multiplicidades codifican números de intersección.

Aplicación incorrecta

Tratar cualquier complejo poliédrico como una variedad tropical sin verificar las condiciones de balanceo y pesos, o asumir que la tropicalización determina de forma única un levantamiento algebraico (muchas variedades tropicalizan a la misma variedad tropical y los levantamientos pueden estar obstruidos).

Consecuencia

Correctamente utilizadas, las variedades tropicales proporcionan invariantes combinatorios que calculan números de intersección, guían argumentos de degeneración, permiten el cálculo de invariantes de Gromov–Witten y enumerativos en términos combinatorios y reducen problemas geométricos complejos a combinatoria poliédrica.

Inversión

La perspectiva inversa es la variedad algebraica clásica sobre un cuerpo valorado: la tropicalización olvida datos algebraicos no lineales, por lo que volver de tropical a algebraico no es canónico y requiere resolver problemas de levantamiento y analizar obstrucciones.

Límite

Definida principalmente para variedades sobre cuerpos valuados (no arquimedianos o con series de Puiseux); no todo complejo poliédrico balanceado proviene de una variedad algebraica, y las variedades tropicales excluyen conjuntos poliédricos puramente topológicos sin los pesos, el balanceo o el origen en teoría de valoraciones.

Tensión semántica

Hay tensión entre las variedades tropicales y las amebas (imágenes por log|·| sobre C) o entre complejos poliédricos puramente combinatorios y tropicalizaciones valorativas; ambos reflejan límites de la geometría algebraica pero difieren en sus orígenes analítico frente a no arquimediano.

Síntesis

Una variedad tropical es el esqueleto poliédrico combinatorio ponderado obtenido registrando las valoraciones de las coordenadas o los términos dominantes de los polinomios, satisfaciendo condiciones de balanceo que codifican la teoría de intersección algebraica y sirviendo como un proxy combinatorio manejable para degeneraciones e invariantes enumerativos de variedades algebraicas.