Loop Groups

Let G be a compact connected Lie (or linear reductive complex algebraic) group. I will present a sketch of a proof that the category of some sheaves (namely invariant perverse sheaves) on the loop group \Omega G is equivalent to the category of representations of the Langlands dual group. This theorem is due to Ginzburg and Mirkovich-Vilonen (and probably others).