A simple proof of Bernstein-Lunts equivalence (Q2571056)

Let \(G_0\) be a connected real semisimple Lie group with finite center, \(K_0\) one of its maximal compact subgroups, \(\mathfrak{g}\) and \(\mathfrak{k}\), respectively, the complexified Lie algebras of \(G_0\) and \(K_0\), and \(K\) the complexification of \(K_0\). Let \(\mathcal{M}(\mathfrak{g},K)\) be the category of Harish-Chandra \((\mathfrak{g},K)\)-modules and \(C(\mathcal{M}(\mathfrak{g},K))\) the category of complexes of these \((\mathfrak{g},K)\)-modules. One obtains, from this second category, the homotopic category \(K(\mathcal{M}(\mathfrak{g},K))\) and then its derived category \(D(\mathcal{M}(\mathfrak{g},K))\). The author proves the equivalence of \(D(\mathcal{M}(\mathfrak{g},K))\) to the equivariant derived category \(D(\mathfrak{g},K)\) of \((\mathfrak{g},K)\)-complexes [see also \textit{D. Miličić} and \textit{P. Pandžić}, Geometry and representation theory of real and \(p\)-adic groups. Papers from the 5th workshop on representation theory of Lie groups and its applications, Córdoba, Argentina, August 1995. Boston, MA: Birkhäuser. Prog. Math. 158, 209-242 (1996; Zbl 0907.22019)]. This equivalence was first proved by \textit{J. Bernstein} and \textit{V. Lunts} [J. Am. Math. Soc. 8, 819--856 (1995; Zbl 0852.22015)] for bounded derived categories, while the proof in this paper requires no boundedness assumptions. It uses K-projective resolutions of equivariant \((\mathfrak{g},K)\)-complexes, which are shown to exist and are explicitly constructed when the group \(K\) is reductive. The general case is obtained from the reductive one by applying techniques developed by the author and D. Miličić in the first reference quoted above.