Variété Tropicale

Un complexe polyédral piècewise-linéaire pondéré (souvent un éventail ou un complexe polyédral) obtenu comme image d'une variété algébrique par une valuation non archimédienne coordonnée ou comme le lieu combinatoire où les formes initiales des polynômes définissants ont des racines communes ; c'est la tropicalisation qui capture l'ombre combinatoire et valuationnelle de la géométrie algébrique.