Let GG be a connected with split TT and

Ψ(G)=(X∗(T),Δ,X∗(T),Δ∨).\Psi(G)= \bigl( X^*(T),\Delta, X_*(T),\Delta^\vee \bigr).

The Langlands dual group G^\widehat G is the connected complex reductive group with dual based root datum

Ψ(G^)=(X∗(T),Δ∨,X∗(T),Δ).\Psi(\widehat G)= \bigl( X_*(T),\Delta^\vee, X^*(T),\Delta \bigr).

A makes G^\widehat G and automorphisms of its based root datum usable coherently, although the unpinned group is intrinsically determined only up to inner isomorphism.

Nonsplit groups

For a nonsplit G/FG/F, the or acts on the based root datum and hence by pinned automorphisms on G^\widehat G. The combines these data as an extension or . The dual group alone does not record the FF-form.

Examples
  • GL⁡n^=GL⁡n(C)\widehat{\operatorname{GL}_n}=\operatorname{GL}_n(\mathbb C).
  • SL⁡n^=PGL⁡n(C)\widehat{\operatorname{SL}_n}=\operatorname{PGL}_n(\mathbb C).
  • PGL⁡n^=SL⁡n(C)\widehat{\operatorname{PGL}_n}=\operatorname{SL}_n(\mathbb C).
  • Sp⁡2n^=SO⁡2n+1(C)\widehat{\operatorname{Sp}_{2n}}=\operatorname{SO}_{2n+1}(\mathbb C).

Duality exchanges and .

Relation to the letter

The letter writes G^\widehat G as cGcG and uses cLcL for the dual lattice, now represented by the . Its construction is the root-datum origin of the modern dual group; the later LL-group adds the Galois action needed for nonsplit groups and local parameters.

Rank-one scope warning

Over C\mathbb C, PGL⁡2\operatorname{PGL}_2 is also the of the . That action does not define Langlands duality: SL⁡2^=PGL⁡2\widehat{\operatorname{SL}_2}=\operatorname{PGL}_2 because roots and coroots, with their character and cocharacter lattices, are exchanged.

References
  1. A. Borel, “Automorphic LL-functions,” Proc. Sympos. Pure Math. 33, part 2, 1979.
  2. Robert P. Langlands, “Problems in the theory of automorphic forms,” 1970. DOI.