Geometric Satake Correspondence

A categorical equivalence that upgrades the Satake isomorphism: it identifies the tensor category of G(O)-equivariant perverse sheaves (or suitably defined Satake category) on the affine Grassmannian of a reductive group G with the tensor category of algebraic representations of the Langlands dual group G^∨, realizing the dual group and its representations geometrically.