Kazhdan-Lusztig conjectures about representation theory of Lie algebras over the field of complex  numbers

were simultaneously proved around 1980 by Brylinski-Kashiwara and Beilinson-Bernstein.

This result relies on a localization theorem of D-modules over flag varieties of semi-simple groups.

In this talk we will explain what D-modules are, and this localization theorem.