The Anick complex and the Hochschild cohomology of the Manturov \((2,3)\)-group (Q2191336)

Many problems about the structure and combinatorics of algebraic systems are tightly connected to homological invariants. In particular, the Hochschild cohomologies of associative algebras play an important role in structure and representation theory. Calculation of the Hochschild cohomology groups for a given algebra \(A\) with coefficients in a given \(A\)-bimodule \(M\) is often a difficult problem solved after finding a resolution of \(A\). The easiest construction of a resolution is the bar-resolution. Another construction was proposed by \textit{D. J. Anick} in [Trans. Am. Math. Soc. 296, 641--659 (1986; Zbl 0598.16028)], who built a free resolution for an associative algebra which is homotopy equivalent to the bar-resolution. Although the Anick resolution is more concise than the bar-resolution, the computation of the differentials is extremely hard. In order to simplify the computation, the authors use discrete algebraic Morse theory that is based on the concept of a Morse matching defined by \textit{M. Jöllenbeck} and \textit{V. Welker} [Minimal resolutions via algebraic discrete Morse theory. Providence, RI: American Mathematical Society (AMS) (2009; Zbl 1160.13007)]. On the other hand, \textit{V. O. Manturov} [Sb. Math. 201, No. 5, 693--733 (2010; Zbl 1210.57010), Russ. Math. Surv. 72, No. 2, 378--380 (2017; Zbl 1371.20039); translation from Usp. Mat. Nauk 72, No. 2, 193--194 (2017), J. Knot Theory Ramifications 26, No. 6, Article ID 1742004, 6 p. (2017; Zbl 1367.57005)] and \textit{V. O. Manturov} and \textit{J. Wu} [J. Knot Theory Ramifications 27, No. 13, Article ID 1842013, 5 p. (2018; Zbl 1435.20045)] introduced some series of groups indexed by two integers \(n > k > 1\) and denoted by \(G^k_n\). These groups appear as a tool in the study of braids, links, and Coxeter groups. The general principle states that if a dynamical system describing a motion of \(n\) particles admits a nice general position codimension \(1\) property governed precisely by \(k\) particles then this dynamical system has a topological invariant valued in \(G^k_n\). In this paper the authors consider the first nontrivial Manturov group \(G^2_3\); as a result, they obtain some word in the alphabet \(a_{jk}\) with \(j,k \in \{1, 2, 3\}\), \(j \neq k\), that may be considered as an element of a group with the three generators \(a = a_{12}, b = a_{13}\) and \(c = a_{23}\), and the following defining relations: \(a^2 = b^2 = c^2 = (abc)^2 = 1\). In this work, the authors apply Morse matching theory to find the differentials of the Anick resolution for \(G^2_3\) explicitly. As application, they calculate the \(n^{th}\) Hochschild cohomology groups of the group algebra of \(G^2_3\) for all \(n > 1\) with coefficients in all 1-dimensional \(\mathbb{K}G^2_3\)-bimodules over a field \(\mathbb{K}\) of characteristic zero.