Given a topological group acting on a topological space, Bernstein and Lunts construct the equivariant derived category, which looks like the derived category of the quotient would, if action was free ("derived category of the quotient stack").
What are applications of this formalism to representation theory or other subjects?
In their book Bernstein and Lunts give a beautiful description of the equivariant derived category of a point (for a reasonable Lie group). Are there applications of this specific result?
