The rigid dualizing complex of a universal enveloping algebra (Q1574428)

A dualizing complex \(R\) over a noncommutative Noetherian algebra \(A\) is an object in the bounded category of bimodules, of finite injective dimension on both sides, such that the functors \(\text{RHom}_A(-,R)\) and \(\text{RHom}_{A^\circ}(-,R)\) induce a duality between the bounded derived categories of (left) modules over \(A\) and its opposite algebra \(A^\circ\). \textit{M. Van den Bergh} defined [in J. Algebra 195, No. 2, 662-679 (1997; Zbl 0894.16020)] rigid dualizing complexes by requiring in addition the existence of an rigidifying isomorphism \(\rho\colon R\cong\text{RHom}_{A^e}(A,R\otimes R)\), where \(A^e=A\otimes A^\circ\). Such a complex is, if it exists, unique up to isomorphism. The existence of rigid dualizing complexes was shown for algebras having a connected filtration such that the associated graded algebra has a balanced dualizing complex in the sense of \textit{A. Yekutieli} [J. Algebra 153, No. 1, 41-84 (1992; Zbl 0790.18005)]. In particular, the existence of rigid dualizing complexes was then known for the enveloping algebra \(U({\mathfrak g})\) of any Lie algebra \(\mathfrak g\) of finite dimension \(n\). The main result of the paper states that the rigid dualizing complex of \(U({\mathfrak g})\) is \((U({\mathfrak g})\otimes\bigwedge^n{\mathfrak g})[n]\); this structure was already known by \textit{M. Van den Bergh} in the semisimple case [Proc. Am. Math. Soc. 126, No. 5, 1345-1348 (1998; Zbl 0894.16005); erratum ibid. 130, No. 9, 2809-2810 (2002)]. Some consequences of this theorem are derived. Thus, for a finite dimensional \(U({\mathfrak g})\)-bimodule \(M\), one has \(\text{Ext}^n_{U({\mathfrak g})}(M,U({\mathfrak g}))\cong M^*\otimes\bigwedge^n{\mathfrak g}^*\), and for Hochschild cohomology, it is proved that \(\text{H}^q(U({\mathfrak g}),U({\mathfrak g})^e)\cong U({\mathfrak g})\otimes\bigwedge^n{\mathfrak g}^*\) for \(q=n\) and is zero otherwise. The paper contains analogous results for the ring \({\mathcal D}(C)\) of differential operators over a smooth commutative algebra \(C\) in characteristic \(0\).