Tate-Hochschild cohomology of radical square zero algebras (Q2301672)

A radical square zero algebra is such that the square of its Jacobson radical is zero. A radical square zero \(K\)-algebra is Morita equivalent to a path algebra \(KQ\) over the field \(K\) generated from a finite quiver \(Q\) modulo the ideal generated by the set of all paths of length \(2\). The Hochschild cohomology ring of radical square zero algebras were first studied by \textit{C. Cibils} [Algebras and Modules II (Geiranger, 1996), CMS Conference Proceedings, 24, 93--101 (1998)]. It was proved therein that if \(Q\) is not a \textit{crown} (a special type of quiver), the dimension of each Hochschild cohomology vector space \(\text{HH}^n(A,A)\) of a radical square zero algebra \(A\) is the difference between the number of \textit{special pairs} composed of a path of length \(n\) and an arrow sharing the same starting and ending vertices, and the number of oriented cycles of length \(n-1\). This gives the following presentation: \[ \text{HH}^n(A,A) \cong K(Q_n// Q_1)\oplus K(Q_{n-1}// Q_0)\tag{1} \] where \(K(Q_n // Q_p)\) is the space generated by the set \((Q_n // Q_p)\) of special pairs \((a,b)\) of paths of length \(n\), i.e. \(a\) and length \(p\) i.e. \(b\), such that the origin vertices of \(a\) and \(b\) are the same and the terminal vertices of \(a\) and \(b\) are also the same. For example \((Q_n//Q_0)\) is the set of all oriented circles of length \(n\). Tate-cohomology came to the fore after R. Buchweitz showed that it has connections with Maximal Cohen-Macaulay modules in [\textit{R. Buchweitz}, Manuscript, Universit\(\ddot{a}\)t Hannoover (1996)]. The singularity category \(\mathcal{D}_{sg}(A)\) of a finitely algebra \(A\) can be thought of as the full subcategory of complexes quasi-isomorphic to bounded complexes of finitely generated projective \(A\)-modules. Tate-Hochschild cohomology of \(A\) is given by \(\text{HH}^{n}_{sg}(A,A):= \text{Hom}_{\mathcal{D}_{sg}(A^e)}(A,A[n])\) where \(A^e\) is the enveloping algebra of \(A\) and \(A[n]\) is the shift functor. The paper under review studies the Tate-Hochschild cohomology of radical square zero algebras: presenting it using combinatorial descriptions like those used in Equation (1) above. Tate-Hochschild cohomology is a Gerstenhaber algebra with the cup product being the Yoneda product in \(\mathcal{D}_{sg}(A^e)\). The author presented explicit description of the Gerstenhaber bracket on Tate-Hochschild cohomology of radical square zero algebras associated to \(c\)-crown quivers and radical square zero algebras associated to \(r\)-multiple loops quivers.