Dualising complexes and twisted Hochschild (co)homology for Noetherian Hopf algebras. (Q950206): Difference between revisions

Let \(A\) be a Noetherian algebra over a field \(k\). A dualising complex over \(A\) is a complex \(R\) in the bounded derived category of left \(A\)-modules such that (a) \(R\) has finite injective dimension over \(A\) and over \(A^{op}\), (b) \(R\) is homologically finite over \(A\), i.e., the direct sum of all \(H^i(R)\) is a finitely-generated \(A\)-module, and similarly over \(A^{op}\), and (c) The canonical morphism from \(A\) to \(R\Hom_A(R,R)\) is an isomorphism, and similarly for \(A^{op}\). This definition for \(A\) noncommutative is due to \textit{A. Yekutieli} [J. Algebra 153, No. 1, 41-84 (1992; Zbl 0790.18005)]. Such an \(R\) is called rigid if \(R\) is isomorphic to \(R\Hom_{A^e}(A,R\otimes R^{op})\). The main result of the paper under review is that many Noetherian Hopf algebras \(A\) have a rigid dualising complex isomorphic to \(^tA^1[d]\), where \(d\) is the injective dimension of \(A\), and \(t\) is the Nakayama automorphism of \(A\), unique up to an inner automorphism. It turns out that \(t=(S^2)v\), \(S\) the antipode of \(A\), \(v\) the left winding automorphism of \(A\) determined by the left integral of \(A\), i.e., by a non-zero element of \(\text{Ext}^d_A({_Ak},{_AA})\), where \(k\) is a left \(A\)-module via the counit of \(A\). The left winding automorphism \(v\) of \(A\) sends an element \(a\) to \(p(a_1)a_2\) (Sweedler notation), where \(p\) is the algebra homomorphism of \(A\) onto \(k\) given by projecting \(A\) onto \(A\) modulo the right annihilator of the left integral of \(A\). The condition for the main theorem to hold is that \(A\) be AS-Gorenstein with \(S\) bijective. AS-Gorenstein means (1) \(\text{injdim}_A=d\) is finite, (2) the \(k\)-dimension of \(\text{Ext}^d_A({_Ak},{_AA})\) is one and \(\text{Ext}^i({_Ak},{_AA})=0\) for \(i\) not \(d\), and (3) the right \(A\)-module versions of (1) and (2) hold. In the main theorem \(^tA^1\) indicates that the left \(A\)-module structure of \(A\) is twisted by \(t\). In the situation of the main theorem, a description of \(S^4\) is given which generalizes \textit{D. E. Radford}'s description of \(S^4\) for \(A\) finite-dimensional [Am. J. Math. 98, 333-355 (1976; Zbl 0332.16007)]. Some remarks about Hochschild homology and cohomology are made when \(A\) is regular AS-Gorenstein, i.e., \(\text{gldim\,}A=d\). The results of the paper are applied in five situations: \(A\) affine satisfying a polynomial identity, \(A\) the enveloping algebra of a finite-dimensional Lie algebra, \(A\) a quantised enveloping algebra (\(k=\mathbb{C}\), the complex numbers), \(A\) a quantised function algebra of a semisimple group (\(k=\mathbb{C}\)) and \(A\) a group algebra.