A simple proof of Bernstein-Lunts equivalence
arXiv:math/0401105
Abstract
We give an easy proof of the Bernstein-Lunts equivalence of ordinary and equivariant derived categories of Harish-Chandra modules. This proof requires no boundedness assumptions. In the appendix we collect some needed, but not completely standard facts from homological algebra.
25 pages; added reference