Local Langlands conjectures

This gives the Langlands correspondence between homomorphisms of the Weil group to GL1(C) and irreducible smooth representations of GL1(K).

In addition the representation of the Weil group should have an open kernel, and should be (Frobenius) semisimple.

Bushnell & Kutzko (1993) described the irreducible admissible representations of general linear groups over local fields.

The local Langlands conjecture for GL2 of a local field says that there is a (unique) bijection π from 2-dimensional semisimple Weil-Deligne representations of the Weil group to irreducible smooth representations of GL2(F) that preserves L-functions, ε-factors, and commutes with twisting by characters of F*.

(For global Langlands conjectures, 2-dimensional representations can also be of icosahedral type, but this cannot happen in the local case as the Galois groups are solvable.)

The local Langlands conjectures for general linear groups state that there are unique bijections π ↔ ρπ from equivalence classes of irreducible admissible representations π of GLn(F) to equivalence classes of continuous Frobenius semisimple complex n-dimensional Weil–Deligne representations ρπ of the Weil group of F, that preserve L-functions and ε-factors of pairs of representations, and coincide with the Artin map for 1-dimensional representations.

In other words, Laumon, Rapoport & Stuhler (1993) proved the local Langlands conjectures for the general linear group GLn(K) for positive characteristic local fields K. Carayol (1992) gave an exposition of their work.

Gan & Takeda (2011) proved the local Langlands conjectures for the symplectic similitude group GSp(4) and used that in Gan & Takeda (2010) to deduce it for the symplectic group Sp(4).