Namespaces
Variants
Actions

Difference between revisions of "Algebraic torus"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
Line 1: Line 1:
An [[Algebraic group|algebraic group]] that is isomorphic over some extension of the ground field to the direct product of a finite number of multiplicative groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117101.png" />. The group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117102.png" /> of all algebraic homomorphisms of an algebraic torus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117103.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117104.png" /> is known as the character group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117105.png" />; it is a free Abelian group of a rank equal to the dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117106.png" />. If the algebraic torus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117107.png" /> is defined over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117108.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a0117109.png" /> has a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171010.png" />-module structure, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171011.png" /> is the Galois group of the separable closure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171012.png" />. The functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171013.png" /> defines a duality between the category of algebraic tori over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171014.png" /> and the category of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171015.png" />-free <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171016.png" />-modules of finite rank. An algebraic torus over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171017.png" /> that is isomorphic to a product of groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171018.png" /> over its ground field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171019.png" /> is called split over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171020.png" />; any algebraic torus over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171021.png" /> splits over a finite separable extension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011710/a01171022.png" />. The role played by algebraic tori in the theory of algebraic groups greatly resembles the role played by tori in the theory of Lie groups. The study of algebraic tori defined over algebraic number fields and other fields, such as finite fields, occupies an important place in problems of arithmetic and in the classification of algebraic groups. Cf. [[Linear algebraic group|Linear algebraic group]]; [[Tamagawa number|Tamagawa number]].
+
An [[Algebraic group|algebraic group]] that is isomorphic over some extension of the ground field to the direct product of a finite number of multiplicative groups <math>
 +
G_m
 +
</math>. The group <math>
 +
\hat T
 +
</math> of all algebraic homomorphisms of an algebraic torus <math>
 +
T
 +
</math> in <math>
 +
G_m
 +
</math> is known as the character group of <math>
 +
T
 +
</math>; it is a free Abelian group of a rank equal to the dimension of <math>
 +
T
 +
</math>. If the algebraic torus <math>
 +
T
 +
</math> is defined over a field <math>
 +
k
 +
</math>, then <math>
 +
\hat T
 +
</math> has a <math>
 +
G
 +
</math>-module structure, where <math>
 +
G
 +
</math> is the Galois group of the separable closure of <math>
 +
k
 +
</math>. The functor <math>
 +
T \to \hat T
 +
</math> defines a duality between the category of algebraic tori over <math>
 +
k
 +
</math> and the category of <math>
 +
\Bbb Z
 +
</math>-free <math>
 +
G
 +
</math>-modules of finite rank. An algebraic torus over <math>
 +
k
 +
</math> that is isomorphic to a product of groups <math>
 +
G_m
 +
</math> over its ground field <math>
 +
k
 +
</math> is called split over <math>
 +
k
 +
</math>; any algebraic torus over <math>
 +
k
 +
</math> splits over a finite separable extension of <math>
 +
k
 +
</math>. The role played by algebraic tori in the theory of algebraic groups greatly resembles the role played by tori in the theory of Lie groups. The study of algebraic tori defined over algebraic number fields and other fields, such as finite fields, occupies an important place in problems of arithmetic and in the classification of algebraic groups. Cf. [[Linear algebraic group|Linear algebraic group]]; [[Tamagawa number|Tamagawa number]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A. Borel,  "Linear algebraic groups" , Benjamin  (1969)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  T. Ono,  "Arithmetic of algebraic tori"  ''Ann. of Math. (2)'' , '''74''' :  1  (1961)  pp. 101–139</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  T. Ono,  "On the Tamagawa number of algebraic tori"  ''Ann. of Math. (2)'' , '''78''' :  1  (1963)  pp. 47–73</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A. Borel,  "Linear algebraic groups" , Benjamin  (1969)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  T. Ono,  "Arithmetic of algebraic tori"  ''Ann. of Math. (2)'' , '''74''' :  1  (1961)  pp. 101 139</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  T. Ono,  "On the Tamagawa number of algebraic tori"  ''Ann. of Math. (2)'' , '''78''' :  1  (1963)  pp. 47 73</TD></TR></table>

Revision as of 20:16, 21 June 2011

An algebraic group that is isomorphic over some extension of the ground field to the direct product of a finite number of multiplicative groups \( G_m \). The group \( \hat T \) of all algebraic homomorphisms of an algebraic torus \( T \) in \( G_m \) is known as the character group of \( T \); it is a free Abelian group of a rank equal to the dimension of \( T \). If the algebraic torus \( T \) is defined over a field \( k \), then \( \hat T \) has a \( G \)-module structure, where \( G \) is the Galois group of the separable closure of \( k \). The functor \( T \to \hat T \) defines a duality between the category of algebraic tori over \( k \) and the category of \( \Bbb Z \)-free \( G \)-modules of finite rank. An algebraic torus over \( k \) that is isomorphic to a product of groups \( G_m \) over its ground field \( k \) is called split over \( k \); any algebraic torus over \( k \) splits over a finite separable extension of \( k \). The role played by algebraic tori in the theory of algebraic groups greatly resembles the role played by tori in the theory of Lie groups. The study of algebraic tori defined over algebraic number fields and other fields, such as finite fields, occupies an important place in problems of arithmetic and in the classification of algebraic groups. Cf. Linear algebraic group; Tamagawa number.

References

[1] A. Borel, "Linear algebraic groups" , Benjamin (1969)
[2] T. Ono, "Arithmetic of algebraic tori" Ann. of Math. (2) , 74 : 1 (1961) pp. 101 139
[3] T. Ono, "On the Tamagawa number of algebraic tori" Ann. of Math. (2) , 78 : 1 (1963) pp. 47 73
How to Cite This Entry:
Algebraic torus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_torus&oldid=13418
This article was adapted from an original article by V.E. Voskresenskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article