Let FF be a and GG a connected . Write Irr(G(F))\operatorname{Irr}(G(F)) for the of irreducible admissible representations of G(F)G(F), where admissibility has its or meaning according to FF, and write Φ(G)\Phi(G) for the G^\widehat G-conjugacy classes of relevant local L-parameters. The basic local Langlands correspondence predicts a surjective finite-to-one map

Irr(G(F))Φ(G),πφπ,\operatorname{Irr}(G(F)) \longrightarrow \Phi(G), \qquad \pi\longmapsto\varphi_\pi,

from those representations to . For a nonarchimedean FF, “admissible” means . The finite fiber

Πφ(G)={πIrr(G(F)):φπ=φ}\Pi_\varphi(G)= \{\pi\in\operatorname{Irr}(G(F)):\varphi_\pi=\varphi\}

is the of φ\varphi.

Status

This is a theorem for archimedean , tori, and GLn\operatorname{GL}_n, 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 , , twists, , , , local LL- and where defined, and endoscopic character identities. The supplies the internal structure of each packet.

Basic examples

For a torus, packets are singletons and the correspondence is in dual-group form. For GLn\operatorname{GL}_n, packets are also singletons, but the parameter is an nn-dimensional .

References
  1. Tasho Kaletha, “Representations of reductive groups over local fields,” §§2.1–2.3, 2022. arXiv.
  2. Michael Harris, “On the local Langlands correspondence,” 2003. arXiv.
  3. Laurent Fargues and Peter Scholze, “Geometrization of the local Langlands correspondence,” 2021. arXiv.