Langlands dual group (original) (raw)

From Wikipedia, the free encyclopedia

Group controlling representation theory

In representation theory, a branch of mathematics, the Langlands dual L G of a reductive algebraic group G (also called the _L_-group of G) is a group that controls the representation theory of G. If G is defined over a field k, then L G is an extension of the absolute Galois group of k by a complex Lie group. There is also a variation called the Weil form of the _L_-group, where the Galois group is replaced by a Weil group. Here, the letter L in the name also indicates the connection with the theory of L-functions, particularly the automorphic L-functions. The Langlands dual was introduced by Langlands (1967) in a letter to A. Weil.

The _L_-group is used heavily in the Langlands conjectures of Robert Langlands. It is used to make precise statements from ideas that automorphic forms are in a sense functorial in the group G, when k is a global field. It is not exactly G with respect to which automorphic forms and representations are functorial, but L G. This makes sense of numerous phenomena, such as 'lifting' of forms from one group to another larger one, and the general fact that certain groups that become isomorphic after field extensions have related automorphic representations.

Definition for separably closed fields

[edit]

From a reductive algebraic group over a separably closed field K we can construct its root datum (X*, Δ,X*, Δv), where X* is the lattice of characters of a maximal torus, X* the dual lattice (given by the 1-parameter subgroups), Δ the roots, and Δv the coroots. A connected reductive algebraic group over K is uniquely determined (up to isomorphism) by its root datum. A root datum contains slightly more information than the Dynkin diagram, because it also determines the center of the group.

For any root datum (X*, Δ,X*, Δv), we can define a dual root datum (X*, Δv,X*, Δ) by switching the characters with the 1-parameter subgroups, and switching the roots with the coroots.

If G is a connected reductive algebraic group over the algebraically closed field K, then its Langlands dual group L G is the complex connected reductive group whose root datum is dual to that of G.

Examples: The Langlands dual group L G has the same Dynkin diagram as G, except that components of type B n are changed to components of type C n and vice versa. If G has trivial center then L G is simply connected, and if G is simply connected then L G has trivial center. The Langlands dual of GL n(K) is GL n(C).

Definition for groups over more general fields

[edit]

Now suppose that G is a reductive group over some field k with separable closure K. Over K, G has a root datum, and this comes with an action of the Galois group Gal(K/k). The identity component L_G_o of the _L_-group is the connected complex reductive group of the dual root datum; this has an induced action of the Galois group Gal(K/k). The full L_-group L_G is the semidirect product

L_G_ = L_G_o×Gal(K/k)

of the connected component with the Galois group.

There are some variations of the definition of the _L_-group, as follows:

The Langlands conjectures imply, very roughly, that if G is a reductive algebraic group over a local or global field, then there is a correspondence between "good" representations of G and homomorphisms of a Galois group (or Weil group or Langlands group) into the Langlands dual group of G. A more general formulation of the conjectures is Langlands functoriality, which says (roughly) that given a (well behaved) homomorphism between Langlands dual groups, there should be an induced map between "good" representations of the corresponding groups.

To make this theory explicit, there must be defined the concept of _L_-homomorphism of an _L_-group into another. That is, _L_-groups must be made into a category, so that 'functoriality' has meaning. The definition on the complex Lie groups is as expected, but _L_-homomorphisms must be 'over' the Weil group.