A simple proof of Bernstein-Lunts equivalence (Q2571056): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0401105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4274265 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3320507 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant sheaves and functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Localization for Derived Categories of (, K)-Modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4935949 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomologie a supports propres / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4889850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999005 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3775700 / rank | |||
Normal rank |
Latest revision as of 09:06, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A simple proof of Bernstein-Lunts equivalence |
scientific article |
Statements
A simple proof of Bernstein-Lunts equivalence (English)
0 references
2 November 2005
0 references
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.
0 references
category of Harish-Chandra modules
0 references
category of complexes
0 references
homotopic category
0 references
derived category
0 references
equivariant derived category
0 references
K-projective complex
0 references