Algebraic \(K\)-theory and Grothendieck-Witt theory of monoid schemes (Q2137855)

The authors define and determine the algebraic \(K\)-theory and Grothendieck-Witt spaces of certain monoid schemes. After some preliminaries about proto-exact categories, they first consider the affine case. The algebraic \(K\)-theory of a pointed monoid \(A\) is defined in terms of the proto-exact category of finitely generated projective \(A\)-modules. For right partially cancellative pointed monoids \(A\), the algebraic \(K\)-theory of \(A\) is then identified as the stable homotopy of the classifying space of the group of units \(A^\times\). The authors proceed to show that the subcategory of normal morphisms between finitely generated projective \(A\)-modules carries an exact duality. This enables them to consider not only the direct sum Grothendieck-Witt theory of \(A\), but also the version of Grothendieck-Witt theory defined in terms of the hermitian Q-construction. Under additional assumptions on \(A\), they describe both versions of Grothendieck-Witt theory in terms of the Picard group of \(A\) and the group of units \(A^\times\). These results are subsequently generalised to monoid schemes, and the authors additionally prove projective bundle formulas for both algebraic \(K\)-theory and Grothendieck-Witt theory.