Introduction Preliminaries The category ${\mathcal T}$ Two equivalences of categories The category $D^b_{G_0}({\mathcal D}_X)$ Descended structures The category $D^b_{G_0}({\mathcal U}_0(\mathfrak g))$ Localization Our main equivalence of categories Equivalence for any regular w…