Namespaces
Variants
Actions

Maximal torus

From Encyclopedia of Mathematics
Jump to: navigation, search

A maximal torus of a linear algebraic group $ G $ is an algebraic subgroup of $ G $ which is an algebraic torus and which is not contained in any larger subgroup of that type. Now let $ G $ be connected. The union of all maximal tori of $ G $ coincides with the set of all semi-simple elements of $ G $ ( see Jordan decomposition) and their intersection coincides with the set of all semi-simple elements of the centre of $ G $ . Every maximal torus is contained in some Borel subgroup of $ G $ . The centralizer of a maximal torus is a Cartan subgroup of $ G $ ; it is always connected. Any two maximal tori of $ G $ are conjugate in $ G $ . If $ G $ is defined over a field $ k $ , then there is a maximal torus in $ G $ also defined over $ k $ ; its centralizer is also defined over $ k $ .


Let $ G $ be a reductive group defined over a field $ k $ . Consider the maximal subgroups among all algebraic subgroups of $ G $ which are $ k $ - split algebraic tori. The maximal $ k $ - split tori thus obtained are conjugate over $ k $ . The common dimension of these tori is called the $ k $ - rank of $ G $ and is denoted by $ \mathop{\rm rk}\nolimits _{k} \ G $ . A maximal $ k $ - split torus need not, in general, be a maximal torus, that is, $ \mathop{\rm rk}\nolimits _{k} \ G $ is in general less than the rank of $ G $ ( which is equal to the dimension of a maximal torus in $ G $ ). If $ \mathop{\rm rk}\nolimits _{k} \ G = 0 $ , then $ G $ is called an anisotropic group over $ k $ , and if $ \mathop{\rm rk}\nolimits _{k} \ G $ coincides with the rank of $ G $ , then $ G $ is called a split group over $ k $ . If $ k $ is algebraically closed, then $ G $ is always split over $ k $ . In general, $ G $ is split over the separable closure of $ k $ .


Examples. Let $ k $ be a field and let $ \overline{k} $ be an algebraic closure. The group $ G = \mathop{\rm GL}\nolimits _{n} ( \overline{k} ) $ of non-singular matrices of order $ n $ with coefficients in $ \overline{k} $ ( see Classical group; General linear group) is defined and split over the prime subfield of $ k $ . The subgroup of all diagonal matrices is a maximal torus in $ G $ .


Let the characteristic of $ k $ be different from 2. Let $ V $ be an $ n $ - dimensional vector space over $ \overline{k} $ and $ F $ a non-degenerate quadratic form on $ V $ defined over $ k $ ( the latter means that in some basis $ e _{1} \dots e _{n} $ of $ V $ , the form $ F ( x _{1} e _{1} + {} \dots + x _{n} e _{n} ) $ is a polynomial in $ x _{1} \dots x _{n} $ with coefficients in $ k $ ). Let $ G $ be the group of all non-singular linear transformations of $ V $ with determinant 1 and preserving $ F $ . It is defined over $ k $ . Let $ V _{k} $ be the linear hull over $ k $ of $ e _{1} \dots e _{n} $ ; it is a $ k $ - form of $ V $ . In $ V $ there always exists a basis $ f _{1} \dots f _{n} $ such that $$ F ( x _{1} f _{1} + \dots + x _{n} f _{n} ) = x _{1} x _{n} + x _{2} x _{n-1} + \dots + x _{p} x _{n-p+1} , $$ where $ p = n / 2 $ if $ n $ is even and $ p = ( n + 1 ) / 2 $ if $ n $ is odd. The subgroup of $ G $ consisting of the elements whose matrix in this basis takes the form $ \| a _{ij} \| $ , where $ a _{ij} = 0 $ for $ i \neq j $ and $ a _{ii} a _{n-i+1},n-i+1 = 1 $ for $ i = 1 \dots p $ , is a maximal torus in $ G $ ( thus the rank of $ G $ is equal to the integer part of $ n / 2 $ ). In general, this basis does not belong to $ V _{k} $ . However, there always is a basis $ h _{1} \dots h _{n} $ in $ V _{k} $ in which the quadratic form can be written as $$ F ( x _{1} h _{1} + \dots + x _{n} h _{n} ) = $$ $$ = x _{1} x _{n} + \dots + x _{q} x _{n-q+1} + F _{0} ( x _{q+1} \dots x _{n-q} ) , q > p , $$ where $ F _{0} $ is a quadratic form which is anisotropic over $ k $ ( that is, the equation $ F _{0} = 0 $ only has the zero solution in $ k $ , see Witt decomposition). The subgroup of $ G $ consisting of the elements whose matrix in the basis $ h _{1} \dots h _{n} $ takes the form $ \| a _{ij} \| $ , where $ a _{ij} = 0 $ for $ i \neq j $ , $ a _{ii} a _{n-i+1},n-i+1 = 1 $ for $ i = 1 \dots q $ and $ a _{ii} = 1 $ for $ i = q + 1 \dots n - q $ , is a maximal $ k $ - split torus in $ G $ ( so $ \mathop{\rm rk}\nolimits _{k} \ G = q $ and $ G $ is split if and only if $ q $ is the integer part of $ n / 2 $ ).


Using maximal tori one associates to a reductive group $ G $ a root system, which is a basic ingredient for the classification of reductive groups. Namely, let $ \mathfrak g $ be the Lie algebra of $ G $ and let $ T $ be a fixed maximal torus in $ G $ . The adjoint representation of $ T $ in $ \mathfrak g $ is rational and diagonalizable, so $ \mathfrak g $ decomposes into a direct sum of weight spaces for this representation. The set of non-zero weights of this representation (considered as a subset of its linear hull in the vector space $ X (T) \otimes _{\mathbf Z} \mathbf R $ , where $ X (T) $ is the group of rational characters of $ T $ ) turns out to be a (reduced) root system. The relative root system is defined in a similar way: If $ G $ is defined over $ k $ and $ S $ is a maximal $ k $ - split torus in $ G $ , then the set of non-zero weights of the adjoint representation of $ S $ in $ \mathfrak g $ forms a root system (which need not be reduced) in some subspace of $ X (S) \otimes _{\mathbf Z} \mathbf R $ . See also Weyl group; Semi-simple group.

References

[1] A. Borel, "Linear algebraic groups" , Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[2] A. Borel (ed.) G.D. Mostow (ed.) , Algebraic groups and discontinuous subgroups , Proc. Symp. Pure Math. , 9 , Amer. Math. Soc. (1966) MR0202512 Zbl 0171.24105

Comments

For $ k $ - forms see Form of an (algebraic) structure.

See especially the article by A. Borel in [2].

A maximal torus of a connected real Lie group $ G $ is a connected compact commutative Lie subgroup $ T $ of $ G $ not contained in any larger subgroup of the same type. As a Lie group $ T $ is isomorphic to a direct product of copies of the multiplicative group of complex numbers of absolute value 1. Every maximal torus of $ G $ is contained in a maximal compact subgroup of $ G $ ; any two maximal tori of $ G $ ( as any two maximal compact subgroups) are conjugate in $ G $ . This, in a well-known sense, reduces the study of maximal tori to the case when $ G $ is compact.

Now let $ G $ be a compact group. The union of all maximal tori of $ G $ is $ G $ and their intersection is the centre of $ G $ . The Lie algebra of a maximal torus $ T $ is a maximal commutative subalgebra in the Lie algebra $ \mathfrak g $ of $ G $ , and each maximal commutative subalgebra in $ \mathfrak g $ can be obtained in this way. The centralizer of a maximal torus $ T $ in $ G $ coincides with $ T $ . The adjoint representation of $ T $ in $ \mathfrak g $ is diagonalizable and all non-zero weights of this representation form a root system in $ X (T) \otimes _{\mathbf Z} \mathbf R $ , where $ X (T) $ is the group of characters of $ T $ . This is a basic ingredient for the classification of compact Lie groups.

References

[1] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104
[2] D.P. Zhelobenko, "Compact Lie groups and their representations" , Amer. Math. Soc. (1973) (Translated from Russian) MR0473097 MR0473098 Zbl 0228.22013
[3] S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) MR0514561 Zbl 0451.53038


Comments

References

[a1] N. Bourbaki, "Groupes et algèbres de Lie" , Eléments de mathématiques , Masson (1982) pp. Chapt. 9. Groupes de Lie réels compacts MR0682756 Zbl 0505.22006
[a2] Th. Bröcker, T. Tom Dieck, "Representations of compact Lie groups" , Springer (1985) MR0781344 Zbl 0581.22009
How to Cite This Entry:
Maximal torus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Maximal_torus&oldid=44278
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article