Hochschild (co)homology of differential operator rings (Q5949398)

Let \(k\) be a field, \(A\) be an associative \(k\)-algebra with 1 and \(H\) be a Hopf algebra acting on \(A\) (as an augmented algebra, an element acting on a product via the comultiplication). Then the vector space \(A\otimes H\) can be given a product \[ (a\otimes h)\cdot(b\otimes k)=\sum_{(h)(k)}ab^{h^{(1)}}f(h^{(2)},k^{(1)})\otimes h^{(3)}k^{(2)} \] (in Sweedler's notation), using a \(k\)-bilinear map \(f\colon H\otimes H\to A\). In case \(f\) is a cocycle compatible with the action, this product is associative and unital, and \((A\otimes H,\cdot)\) is called the `crossed product' of \(A\) and \(H\), denoted \(A\#_fH\). In the present article, the authors consider the special case where \(H=U{\mathfrak g}\) the enveloping algebra of a Lie algebra \(\mathfrak g\) which acts by derivations on \(A\). In this case, the data of a crossed product are equivalent to that of a differential operator ring [\textit{S. Montgomery}, Perspectives in ring theory, Proc. NATO Adv. Res. Workshop, Antwerp/Belg. 1987, NATO ASI Ser., Ser. C 233, 253-268 (1988; Zbl 0684.16003)]. For example, Ore extensions and filtered algebras whose associated graded is a polynomial algebra enter this class. Drawing on their previous work, the authors construct a projective resolution for \(E=A\#_fH\) which is smaller than the standard resolution for Hochschild homology by mixing the normalized bar resolution of \(A\) and the Chevalley Eilenberg resolution of \(\mathfrak g\). When \(A=k\), this complex reduces to the one obtained by \textit{C. Kassel} [Invent. Math. 91, No. 2, 221-251 (1988; Zbl 0653.17007)]. Then they filter the so constructed complex in order to get \textit{D. Ştefan}'s spectral sequence [Commun. Algebra 24, No. 5, 1695-1706 (1996; Zbl 0857.16038)] \[ E_{rs}^2=H_s({\mathfrak g},H_r(A,M))\Rightarrow H_{r+s}(E,M), \] where \(M\) is an \(E\)-bimodule. From this spectral sequence, the authors show how to obtain a generalization of Hochschild-Kostant-Rosenberg's theorem [\textit{G. Hochschild, B. Kostant}, and \textit{A. Rosenberg}, Trans. Am. Math. Soc. 102, 383-408 (1962; Zbl 0102.27701)] to differential operator rings, assuming that \(\mathbb{Q}\subset k\), that \(A\) is smooth commutative and that the \(A\)-bimodule \(M\) is symmetric. Namely, they construct a complex mixing the complex of Kähler differentials of \(A/k\) and that of Chevalley Eilenberg which calculates Hochschild homology of \(E\) with values in \(M\). Amazingly, no assumption on \(\mathfrak g\) is necessary. In the last section, they treat the cohomological version of their results.