An algebra isomorphism in the representation theory of reductive p-adic groups identifying the spherical Hecke algebra of bi-K-invariant compactly supported functions (or its convolution algebra) with the coordinate ring (or representation ring) of the complex torus attached to the Langlands dual group restricted to W-invariants, thereby linking harmonic analysis on the p-adic side to algebraic functions on the dual side.

Principle

Spherical transform principle: unramified (K-spherical) convolution operators correspond under the Satake transform to multiplication by symmetric functions of semisimple conjugacy classes in the Langlands dual torus; convolution becomes pointwise multiplication after passing to the dual-side algebra.

Demonstration

For G = GL_n over a non-archimedean local field with hyperspecial K, the spherical Hecke algebra is isomorphic to a polynomial algebra in n variables symmetric under the Weyl group, and the eigenvalues of Hecke operators on unramified principal series are encoded by semisimple conjugacy classes (Satake parameters) in the dual GL_n(C).

Misapplication

Applying the Satake isomorphism when representations are ramified (no K-fixed vectors) or to non-hyperspecial compact subgroups, or conflating the classical Satake algebraic isomorphism with categorical or geometric enhancements that require extra hypotheses.

Consequence

Provides the local unramified Langlands dictionary: unramified representations correspond to semisimple conjugacy classes (Langlands parameters) of the dual group, and Hecke eigenvalues are read via the isomorphism, forming a cornerstone for local-global compatibility in the Langlands program.

Reversal

A naive reversal would try to recover convolution structures on the p-adic side from the coordinate ring on the dual torus without respecting measure, topology, or normalization of Haar measure; such a reversal omits the analytic content encoded in the original convolution algebra.

Boundary

Valid for reductive groups over non-archimedean local fields, for spherical Hecke algebras associated to hyperspecial maximal compact subgroups and in the unramified setting; it does not directly apply to ramified Hecke algebras, non-reductive groups, or archimedean places without modification.

Semantic Tension

Tension exists between the classical (algebraic) Satake isomorphism and the geometric Satake correspondence, which upgrades the isomorphism to an equivalence of tensor categories; practical treatments must distinguish between algebraic, geometric and categorical versions and their hypotheses.

Synthesis

The Satake Isomorphism translates the convolution algebra of K-biinvariant compactly supported functions on a reductive p-adic group into an algebra of symmetric functions on the dual torus, encoding unramified representation-theoretic data as algebraic functions on Langlands dual parameters.