Deformation Theory of Monoid Schemes II: Precartesian Coextensions of Commutative Monoids

Abstract

This paper is a continuation of arXiv:2606.17088, where I studied precartesian coextensions of commutative monoids by systems of abelian groups. In this paper, we generalise it to study coextensions by systems of commutative monoids. Among other things, we showcase that this version is able to simultaneously generalise Leech's version of coextensions and Redei's version, also called Schreier coextensions. We show that what going from systems of abelian groups to systems of commutative monoids costs us is quasi-inverses in $\mathsf{Pcoex}(M, \mathcal{L})$. Specifically, instead of a symmetric categorical group, they now only become symmetric monoidal groupoids. Moreover, though not explicitly stated in the body of the paper, another core difference is that for a monoid scheme $X$, regarded as a monoid functor, a precartesian coextension no longer need to be a monoid scheme. Thus, $\mathsf{Pcoex}(X, \mathcal{L})$ is, as stated, ineffective at studying monoid scheme coextensions. The rest of the theory goes through, but requires developing a new cohomological approach.