The Hochschild cohomology ring of a cyclic block (Q4942891)

The authors calculate the Hochschild cohomology of a cyclic block in a group algebra. More precisely, let \(G\) be a finite group and \(k\) an algebraically closed field of characteristic~\(p\). Let \(B\) be a block of \(kG\) with cyclic defect group \(D\). The main result of the paper describes the Hochschild cohomology ring \(H^*(B,B)\) in terms of generators and relations. The data going into this description are the order \(p^n\) of \(D\) and the inertial index~\(e\) of \(B\). If \(B\) is the principal block, then it is shown that the canonical map \(H^*(G,k)\to H^*(B,B)\) induces an isomorphism \(H^*(G,k)/\text{rad}(H^*(G,k))\to H^*(B,B)/\text{rad}(H^*(B,B))\). To obtain the presentation of \(H^*(B,B)\), the authors use consecutive isomorphisms \(H^*(B,B)\cong H^*(kT,kT)\cong H^*(T,kT)\), where \(T\) is a semidirect product with normal subgroup \(\mathbb{Z}_{p^n}\) and complement \(\mathbb{Z}_e\). These isomorphisms go back to \textit{J. Rickard} [J. Pure Appl. Algebra 61, No. 3, 303-317 (1989; Zbl 0685.16016)] and previous work by the authors. The largest part of the paper goes into the computation of \(H^*(T,kT)\). The paper is very clearly written and contains some interesting methods.