Beilinson-Bernstein localization

The Beilinson-Bernstein theory of localization will serve as motivation for the localization pattern in the affine case.

A possible source is these notes.