Sheaves and \(K\)-theory for \(\mathbb F_1\)-schemes (Q765649)

In this paper a theory of sheaves and \(K\)-theory of \({\mathbb F}_1\) s in the sense of \textit{A. Connes} and \textit{C. Consani} [Compos. Math. 146, No. 6, 1383--1415 (2010; Zbl 1201.14001)] is developed. This extends the corresponding notions for monoid schemes as given in \textit{A. Deitmar} [Proc. Japan Acad., Ser. A 82, No. 8, 141--146 (2006; Zbl 1173.14004)]. Special attention is paid to normal morphisms and locally projective sheaves, which occur when Quillen's Q-construction is adopted to a definition of \(G\)-theory and \(K\)-theory of \({\mathbb F}_1\)-schemes. A comparison with Waldhausen's \(S_\bullet\)-construction yields the ring structure of \(K\)-theory. The paper finishes with some explicit computations of the groups \(K_0\) and \(G_0\).