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
  • GLn^=GLn(C)\widehat{\operatorname{GL}_n}=\operatorname{GL}_n(\mathbb C).
  • SLn^=PGLn(C)\widehat{\operatorname{SL}_n}=\operatorname{PGL}_n(\mathbb C).
  • PGLn^=SLn(C)\widehat{\operatorname{PGL}_n}=\operatorname{SL}_n(\mathbb C).
  • Sp2n^=SO2n+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, PGL2\operatorname{PGL}_2 is also the of the . That action does not define Langlands duality: SL2^=PGL2\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.