Higher cohomologies of commutative monoids (Q1672021)

Let \(M\) be a commutative multiplicative monoid and let \(\mathbb{H}M\) be the category whose objects are the elements \(x\in M\) and an arrow \(z\colon x\to y\) is an element \(z\in M\) such that \(xz=y\). The category of functors from \(\mathbb{H}M\) into the category of abelian groups is denoted by \(\mathbb{H}M\)-Mod. Equipping an \(\mathbb{H}M\)-module \(\mathcal{X}\) with a suitable multiplication turns \(\mathcal{X}\) into an \(\mathbb{H}M\)-algebra. For an \(\mathbb{H}M\)-algebra \(\mathcal{X}\), an augmented differential graded commutative (ADGC) \(\mathbb{H}M\)-algebra \(\overline{B}\mathcal{X}\) is constructed. If \(\mathcal{X}\) is a ADGC \(\mathbb{H}M\)-algebra, then \(\overline{B}\mathcal{X}\) is also an ADGC \(\mathbb{H}M\)-algebra, so is \(\overline{B}^r\mathcal{X}\) for each integer \(r\geq 1\). This allows to define the \textit{rth-level cohomology groups of \(\mathcal{X}\) with coefficients in an \(\mathbb{H}M\)-module} \(\mathcal{A}\) by \(H^n(\mathcal{X},r;{\mathcal A})=H^n(\mathrm{Hom}_{\mathbb{H}M}(\overline{B}^r\mathcal{X}, \mathcal{A} ))\), \(n=0,1,\ldots\). A generalization of an Eilenberg-Mac Lane's theorem is proved: for any augmented simplicial commutative \(\mathbb{H}M\)-algebra \(\mathcal{X}\), and any integer \(r\geq 1\), there is a natural morphism of ADGC \(\mathbb{H}M\)-algebras \(\overline{B}^r(C_N \mathcal{X})\to C_N(\overline{W}^r \mathcal{X})\), which is the injection of a contraction. Here \(C_N \mathcal{X}\) is a certain normalized chain complex of \(\mathbb{H}M\)-modules associated with \(\mathcal{X}\) and \(\overline{W}^r \mathcal{X}\) is a certain augmented simplicial commutative \(\mathbb{H}M\)-algebra. The {\textit rth-level cohomology groups of \(M\) with coefficients in an \(\mathbb{H}M\)-module \(\mathcal{A}\)} are defined as \(H^n(M, r, \mathcal{A})=H^n({\mathcal Z}M, r;\mathcal{A})\), \({\mathcal Z}M -\) the free \(\mathbb{H}M\)-algebra with the trivial grading. It turns out that for any \(\mathbb{H}M\)-module \(\mathcal{A}\), there are natural isomorphisms \(H^n(M, r;\mathcal{A})\cong H^n(K(M, r), \mathcal{A}) \), for each \(r\geq 1, n=0,1,\ldots\) where \(K(M,r)=\overline{W}^rK(M,0)\) is the simplicial commutative monoid obtained by iterating the classifying \(\overline{W}\)-construction on the constant simplicial monoid given by \(M\) \(r\) times. A number of results on cohomology groups \(H^n(M, r;\mathcal{A})\) are obtained. For example, \(H^r(M,r;{\mathcal A})\cong H^1(M,1;{\mathcal A})\) and \(H^{r+1}(M,r;{\mathcal A})\cong H^3(M,2;{\mathcal A})\) for any \(r\geq 2\). A precise classification for symmetric monoidal abelian (small) groupoids by means of \(H^5(M, r;\mathcal{A})\) is given and cohomology groups \(H^n(M,r;{\mathcal A})\), \(n\leq r+2\), for any cyclic monoid \(M\) are computed.