Tropical geometry and scheme theory

Motived by the desire to study geometry over the 'field with one element', in the past decade several authors have constructed extensions of scheme theory to geometries locally modelled on algebraic objects more general than rings. Semi-ring schemes exist in all of these theories, and it has been suggested that schemes over the semi-ring T of tropical numbers should describe the polyhedral objects of tropical geometry. We show that this is indeed the case by lifting Payne's tropicalization functor for subvarieties of toric varieties to the category of T-schemes. There are many applications such as tropical Hilbert schemes, tropical sheaf theory, and group actions and quotients in tropical geometry. This project is joint work with N. Giansiracusa (Berkeley).