Cech Cohomology of Semiring Schemes

Abstract

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective space over a totally ordered idempotent semifield $M$, we show that \v{C}ech cohomology theory is in agreement with the classical computation. Finally, we classify all invertible sheaves on $X=\mathbb{P}^n_M$ by computing the Picard group of $X$ explicitly.