The authors re-examine some topics in representation theory of Lie algebras and Springer theory in a more general context, viewing the universal enveloping algebra as an example of the section ring of a quantization of a conical symplectic resolution. Many familiar features from the classical theory survive, including analogues of Beilinson-Bernstein localization and Bernstein-Gelfand-Gelfand category $mathcal{{O}}$.