Tropische Varietät

Ein polyedrales, stückweise-lineares gewichtetes Komplex (häufig ein Fächer oder polyedrischer Komplex), das als Bild einer algebraischen Varietät unter einer koordinatenweisen nichtarchimedischen Valuation entsteht oder als die kombinatorische Menge, in der Anfangsformen der definierenden Polynome gemeinsame Nullstellen haben; es ist die Tropicalisierung, die kombinatorische und valuations-theore