Variedad Tropical
Definición
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.