Tropical compactification

In algebraic geometry, a tropical compactification is a compactification (projective completion) of a subvariety of an algebraic torus, introduced by Jenia Tevelev. Given an algebraic torus and a connected closed subvariety of that torus, a compatification of the subvariety is defined as a closure of it in a toric variety of the original torus. The concept of a tropical compatification arises when trying to make compactifications as "nice" as possible. For a torus formula_1, a toric variety formula_2, the compatification formula_3 is tropical when the map
is faithfully flat and formula_3 is proper.