View source for User:Maximilian Janisch/latexlist/Algebraic Groups/Torus

{{TEX|done}}<div class="Vorlage_Achtung" style="border: 0.18em solid #FF6666; border-left:1em solid #FF6666; margin:0.5em 0em; overflow:hidden; padding:0.5em; text-align: left;">
This page is a copy of the article [[Torus]] in order to test [[User:Maximilian_Janisch/latexlist|automatic LaTeXification]]. This article is not my work.
</div>


A body obtained from the rotation of a closed circle around an axis lying in the plane of this circle and not intersecting it. The centre of the circle describes a circle, called the axial circle of the torus, its centre is called the centre of the torus. The plane of the axial circle is called the equatorial plane of the torus, and the boundaries of the circles lying on the torus and obtained by its rotation from the given circle are said to be meridians of the torus.

The surface of the torus with as radius vector, in the Cartesian coordinates of the Euclidean space $E ^ { 3 }$,

\begin{equation} r = \alpha \operatorname { sin } u k + l ( 1 + \epsilon \operatorname { cos } u ) ( i \operatorname { cos } v + j \operatorname { sin } v ) \end{equation}

(here $( u , v )$ are the intrinsic coordinates, $12$ is the radius of the rotating circle, $1$ is the radius of the axial circle, and $\epsilon = \alpha / l$ is the eccentricity), is often also called a torus. Its line element is

\begin{equation} d s ^ { 2 } = \alpha ^ { 2 } d u ^ { 2 } + l ^ { 2 } ( 1 + \epsilon \operatorname { cos } u ) ^ { 2 } d v ^ { 2 } \end{equation}

and its curvature is $K = ( \operatorname { cos } u ) / a l ( 1 + \epsilon \operatorname { cos } u )$. A torus is a special case of a [[Surface of revolution|surface of revolution]] and of a [[Canal surface|canal surface]].

From the topological point of view, a torus is the product of two circles, and therefore a torus is a two-dimensional closed manifold of genus one. If this product is metrizable, then it can be realized in $E ^ { 4 }$ or in the elliptic space $E P$ as a Clifford surface; its equation in $E ^ { 4 }$, for example, is

\begin{equation} x _ { 1 } ^ { 2 } + x _ { 2 } ^ { 2 } = a ^ { 2 } , \quad x _ { 3 } ^ { 2 } + x _ { 4 } ^ { 2 } = b ^ { 2 } \end{equation}

A natural generalization of a torus is a multi-dimensional torus, i.e. the topological product of several copies of the circle $5$, i.e. of the manifold of all complex numbers equal to one in modulus. The natural smoothness on $5$ determines on the torus the structure of a smooth manifold, and the natural multiplicative structure induces on the torus the structure of a connected compact commutative real Lie group. These latter groups play an important part in the theory of Lie groups and they are also called tori (see [[Lie group, compact|Lie group, compact]]; [[Maximal torus|Maximal torus]]; [[Cartan subgroup|Cartan subgroup]]). An even-dimensional torus admits a complex structure; when certain conditions are satisfied such a structure transforms the torus into an [[Abelian variety|Abelian variety]] (see also [[Complex torus|Complex torus]]). In the structure theory of algebraic groups, a torus, like a real Lie group, has an important analogue, an [[Algebraic torus|algebraic torus]] (see also [[Algebraic group|Algebraic group]]; [[Linear algebraic group|Linear algebraic group]]). An algebraic torus is not a torus itself (if the ground field is that of the complex numbers), but presents a subgroup that is a torus and onto which it can be contracted (as a topological space). More accurately, an algebraic torus, as a Lie group, is isomorphic to the product of a certain torus and several copies of the multiplicative group of positive real numbers.



====Comments====


====References====
<table><tr><td valign="top">[a1]</td> <td valign="top"> M. Berger, "Geometry" , '''1–2''' , Springer (1987) (Translated from French) {{MR|0903026}} {{MR|0895392}} {{MR|0882916}} {{MR|0882541}} {{ZBL|0619.53001}} {{ZBL|0606.51001}} {{ZBL|0606.00020}} </td></tr><tr><td valign="top">[a2]</td> <td valign="top"> M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer (1988) (Translated from French) {{MR|0917479}} {{ZBL|0629.53001}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> H.S.M. Coxeter, "Introduction to geometry" , Wiley (1969) pp. 132; 356; 374 {{MR|0346644}} {{ZBL|0181.48101}} </td></tr></table>