A simple proof of Bernstein-Lunts equivalence
We give a new proof of the Bernstein-Lunts equivalence of ordinary and equivariant derived categories of Harish-Chandra modules. This proof requires no boundedness assumptions. It uses K-projective resolutions of equivariant complexes, which are shown to exist and constructed explicitly when the group under consideration is reductive. The general case can be obtained from the reductive case by techniques of [MP].