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.

Principle

Tannakian convolution principle: convolution of equivariant perverse sheaves corresponds to tensor product of representations, and the Satake category is neutral Tannakian so that its fiber functor (e.g., global cohomology) recovers the dual group as the Tannakian group, producing a geometric incarnation of the dual group's representation category.

Demonstration

For a reductive group G over C, the intersection cohomology sheaf of the closure of a G(O)-orbit in the affine Grassmannian corresponds to an irreducible highest-weight representation of G^∨; convolution of such IC-sheaves models the tensor product of the corresponding irreducible representations, giving an explicit geometric example.

Misapplication

Using non-equivariant complexes, derived objects without perverse t-structure normalization, or working in small characteristic without correcting for l-adic or parity issues; treating the equivalence as a simple isomorphism of algebras rather than a tensor-equivalence of categories loses essential structural content.

Consequence

Reconstructs the Langlands dual group and its category of representations geometrically, provides purity and weight-theoretic information for representations, and serves as a bridge between geometric objects (sheaves, cycles) and representation-theoretic invariants (weights, tensor products, canonical bases).

Reversal

The inverse perspective would try to produce the affine Grassmannian and its convolution geometry from the abstract category of representations alone without realizing the geometric origin of tensor structures; while reconstruction is possible Tannakianly, geometric gradings, perverse structures and filtrations are not automatic from the abstract category.

Boundary

Holds under appropriate coefficient choices (e.g., complex or l-adic coefficients with good characteristic hypotheses) and for reductive groups and their affine Grassmannians; extensions to modular coefficients or derived enhancements require refined statements and additional hypotheses.

Semantic Tension

Tension exists between the geometric Satake (categorical, sheaf-theoretic) and the classical Satake isomorphism (algebraic); one upgrades functions to sheaves and algebras to tensor categories, and practical usage must distinguish between these layers and their respective technical conditions.

Synthesis

The geometric Satake correspondence elevates the Satake isomorphism to a tensor-equivalence of categories: convolution of equivariant perverse sheaves on the affine Grassmannian realizes the tensor category of representations of the Langlands dual group, thereby geometrically constructing the dual group and its representation theory.