Okay, let's make sure I'm on the same page with those who know homological algebra. What is Koszul duality in general? What does it mean that categories are Koszul dual (I guess …

For geometric representation theorists down here. Consider the Beilinson-Bernstein theorem: Functor of global sections establishes the correspondence between twisted D-mo …