Construction of schemes over $F_1$, and over idempotent semirings: towards tropical geometry

Abstract

In this paper, we give some categorical description of the general spectrum functor, defining it as an adjoint of a global section functor. The general spectrum functor includes that of $F_1$ and of semirings.

36 pages, May 31 2011 revised (error corrected)