Basic local Langlands correspondence
The finite-to-one parameterization of irreducible admissible representations by relevant local L-parameters.
Let be a local field and a connected reductive -group. Write for the equivalence classes of irreducible admissible representations of , where admissibility has its nonarchimedean or archimedean meaning according to , and write for the -conjugacy classes of relevant local L-parameters. The basic local Langlands correspondence predicts a surjective finite-to-one map
from those representations to local -parameters. For a nonarchimedean , “admissible” means smooth admissible. The finite fiber
is the -packet of .
Status
This is a theorem for archimedean reductive groups, tori, and , and it is established with refined structures for many classical groups and numerous other families. For a general reductive group over a nonarchimedean field, the full basic and refined statements remain partly conjectural.
General constructions due to Genestier–Lafforgue and Fargues–Scholze attach semisimplified parameters in broad settings. Questions such as surjectivity, packet finiteness, recovery of monodromy, and all expected character identities must still be distinguished from the existence of that semisimplified map.
Structural requirements
A correspondence is not characterized by cardinality alone. It is expected to respect unramified Satake parameters, central characters, twists, contragredients, temperedness, parabolic induction, local - and epsilon factors where defined, and endoscopic character identities. The refined correspondence supplies the internal structure of each packet.
Basic examples
For a torus, packets are singletons and the correspondence is local class field theory in dual-group form. For , packets are also singletons, but the parameter is an -dimensional Weil–Deligne representation.