Root datum: Difference between revisions

Revision as of 14:10, 31 January 2016

Latest revision as of 14:42, 26 August 2020

(4 intermediate revisions by 4 users not shown)

Line 5:

:<math>(X^\ast, \Phi, X_\ast, \Phi^\vee)</math>,

where

* <math>X^\ast</math> and <math>X_\ast</math> are free abelian groups of finite [[Rank (linear algebra)|rank]] together with a [[perfect pairing]] between them with values in <math>\mathbb{Z}</math> which we denote by ( , ) (in other words, each is identified with the [[dual lattice]] of the other).

* <math>\Phi</math> is a finite subset of <math>X^\ast</math> and <math>\Phi^\vee</math> is a finite subset of <math>X_\ast</math> and there is a bijection from <math>\Phi</math> onto <math>\Phi^\vee</math>, denoted by <math>\alpha\mapsto\alpha^\vee</math>.

* For each <math>\alpha</math>, <math>(\alpha, \alpha^\vee)=2</math>.

Line 15:

==The root datum of an algebraic group==

If ''<math>G''</math> is a reductive algebraic group over an [[algebraically closed field]] ''<math>K''</math> with a split maximal torus ''<math>T''</math> then its '''root datum''' is a quadruple

:<math>(''X''^{^*}, &\Phi;, ''X''_{X_*}, &\Phi;<sup>v^{\vee})</supmath>),

where

*''X''<supmath>X^*</supmath> is the lattice of characters of the maximal torus,

*''X''<submath>X_*</submath> is the dual lattice (given by the 1-parameter subgroups),

*&<math>\Phi;</math> is a set of roots,

*&Phi;<supmath>v\Phi^{\vee}</supmath> is the corresponding set of coroots.

A connected split reductive algebraic group over ''<math>K''</math> is uniquely determined (up to isomorphism) by its root datum, which is always reduced. Conversely for any root datum there is a reductive algebraic group. A root datum contains slightly more information than the [[Dynkin diagram]], because it also determines the center of the group.

For any root datum <math>(''X''^{^*}, &\Phi;,''X''_{X_*}, &\Phi;<sup>v^{\vee})</supmath>), we can define a '''dual root datum''' (''X''<submath>(X_*</sub>, &\Phi;^v^{\vee},''X''^{^*}, &\Phi;)</math> by switching the characters with the 1-parameter subgroups, and switching the roots with the coroots.

If ''<math>G''</math> is a connected reductive algebraic group over the algebraically closed field ''<math>K''</math>, then its [[Langlands dual group]] <supmath>''{}^L'' G</supmath>''G'' is the complex connected reductive group whose root datum is dual to that of ''<math>G''</math>.

==References==

*[[Michel Demazure]], Exp. XXI in [https://web.archive.org/web/20011126072304/http://modular.fas.harvard.edu/sga/sga/3-3/index.html SGA 3 vol 3]

*[[T. A. Springer]], [http://www.ams.org/online_bks/pspum331/pspum331-ptI-1.pdf ''Reductive groups''], in [http://www.ams.org/online_bks/pspum331/ ''Automorphic forms, representations, and L-functions'' vol 1] ISBN {{isbn|0-8218-3347-2}}

[[Category:Representation theory]]