Hochschild cohomology of the integral group ring of a cyclic group and related algebras (Q2365004): Difference between revisions

Let \(k\) be a commutative ring with unity and let \(f\in k[X]\) be a monic polynomial. We consider the \(k\)-algebra \(A_f=k[X]/(f)\) and study the structure of the corresponding Hochschild cohomology ring \(HH^*(A_f)\). This relies on the construction of a periodic resolution for these algebras given by The Buenos Aires Cyclic Homology Group [in \(K\)-Theory 5, No. 1, 51-69 (1991; Zbl 0743.13008)]. The main result is a description of the subring of elements of even degree \[ HH^{\text{ev}}(A_f) \cong k[x,z]/(f(x),f'(x)z) \] where \(x\) has degree 0, \(z\) has degree 2 and \(f'\) is the derivative of \(f\). If \(C_n\) is a cyclic group of order \(n\) and \(k\) is an integral domain whose characteristic does not divide \(n\) then the above result already describes the structure of the whole Hochschild cohomology ring. Applied to the integral case this gives \[ HH^*(\mathbb{Z} C_n)\cong\mathbb{Z}[x,z]/(x^n-1,nx^{n-1}z). \]