A family of conjectural and proven links between representations of Galois groups or Weil groups and automorphic representations of reductive groups, organizing deep relationships between number theory, harmonic analysis, and arithmetic geometry through L-parameters and functoriality principles.

Principle

The organizing principles are reciprocity (matching arithmetic Galois or L-parameters with analytic automorphic data), functoriality (transfer of automorphic representations along maps of L-groups), and the existence of compatible L- and epsilon-factors that encode local–global compatibility.

Demonstration

Basic, established example: class field theory is the abelian Langlands correspondence for GL1, relating characters of the idele class group to one-dimensional Galois characters; non-abelian instances include the local and global correspondences proven for GLn in many cases, and modularity results linking elliptic curves to modular forms.

Misapplication

Assuming a simple bijection of isomorphism classes across all groups and fields without attention to local factors, L-packets, or the distinction between parameters and irreducible representations; using the correspondence as a black-box without checking hypotheses like reductiveness or the correct notion of parameter.

Consequence

Correctly applied, the Langlands correspondence provides a dictionary between arithmetic and spectral objects that yields reciprocity laws, analytic tools for studying L-functions, and pathways to proving deep arithmetic theorems such as modularity and potential automorphy.

Reversal

A conceptual reversal exchanges the spectral (automorphic) and arithmetic (Galois) sides: one may start with automorphic forms and infer arithmetic consequences (e.g., Galois representations), rather than starting with Galois data and seeking automorphic realizations.

Boundary

Scope includes reductive algebraic groups over local and global fields and their admissible representations; many cases remain conjectural, and the correspondence does not naively extend to non-reductive groups, arbitrary coefficient rings, or contexts lacking a well-defined L-group.

Semantic Tension

The tension lies between calling it a 'correspondence' (suggesting explicit bijections) and a vast 'program' of interrelated conjectures and theorems; near meanings compete over whether one emphasizes explicit parameterization of representations, functorial transfer, or analytic properties of L-functions.

Synthesis

The Langlands Correspondence is the organizing framework positing that representations of arithmetic fundamental groups (Galois/Weil) correspond, via L-parameters and functoriality, to automorphic representations of reductive groups, connecting arithmetic and spectral data across local and global settings.