Namespaces
Variants
Actions

Difference between revisions of "Complex torus"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m
Line 1: Line 1:
 +
{{TEX|want}}
 +
 
A complex Abelian Lie group obtained from the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241901.png" />-dimensional complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241902.png" /> by factorizing with respect to a lattice <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241903.png" /> of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241904.png" />. Every connected compact complex Lie group is a complex torus [[#References|[1]]]. Every Hermitian scalar product in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241905.png" /> defines on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241906.png" /> a translation-invariant Kähler metric. Complex tori can also be characterized as the only compact parallelizable Kähler manifolds [[#References|[2]]]. The group of automorphisms of the complex manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241907.png" /> is the same as the holomorph of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241908.png" /> as a complex Lie group (cf. [[Holomorph of a group|Holomorph of a group]]).
 
A complex Abelian Lie group obtained from the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241901.png" />-dimensional complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241902.png" /> by factorizing with respect to a lattice <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241903.png" /> of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241904.png" />. Every connected compact complex Lie group is a complex torus [[#References|[1]]]. Every Hermitian scalar product in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241905.png" /> defines on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241906.png" /> a translation-invariant Kähler metric. Complex tori can also be characterized as the only compact parallelizable Kähler manifolds [[#References|[2]]]. The group of automorphisms of the complex manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241907.png" /> is the same as the holomorph of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024190/c0241908.png" /> as a complex Lie group (cf. [[Holomorph of a group|Holomorph of a group]]).
  

Revision as of 14:04, 29 January 2012


A complex Abelian Lie group obtained from the -dimensional complex space by factorizing with respect to a lattice of rank . Every connected compact complex Lie group is a complex torus [1]. Every Hermitian scalar product in defines on a translation-invariant Kähler metric. Complex tori can also be characterized as the only compact parallelizable Kähler manifolds [2]. The group of automorphisms of the complex manifold is the same as the holomorph of the group as a complex Lie group (cf. Holomorph of a group).

Holomorphic -forms on a complex torus have the form

where , are the coordinates in and the Dolbeault cohomology ring is naturally isomorphic to (see [1]).

As real Lie groups, all -dimensional complex tori are -dimensional tori and are isomorphic for fixed . From the point of view of their complex structure their behaviour is extremely complicated. A basis for a lattice can be given by a matrix of dimension , called the period matrix of the torus . Tori with period matrices are isomorphic (as complex Lie groups or as complex manifolds) if and only if there exist matrices and such that .

The period matrix of an -dimensional torus can be reduced to the form , where . Tori with matrices of this form generate a holomorphic family that gives an effectively-parametrized versal deformation of any -dimensional complex torus depending on parameters . In particular, for , the parameter space is the upper half-plane , and the set of isomorphism classes of one-dimensional complex tori can be identified with the quotient where is the modular group.

Complex tori that are algebraic varieties are called Abelian varieties (cf. Abelian variety). A complex torus is an Abelian variety if and only there exists in a Hermitian scalar product whose imaginary part is integer-valued on [1]. In terms of the period matrix this is the Riemann–Frobenius condition: There should exist a skew-symmetric matrix such that and is positive definite. When this condition always holds; the corresponding algebraic curves are elliptic (cf. Elliptic curve). The period matrix

provides an example of a two-dimensional complex torus that is not an algebraic variety. On this torus there are not even non-constant meromorphic functions [5]. A necessary and sufficient condition that an -dimensional complex torus be algebraic is the existence on it of algebraically-independent meromorphic functions.

Interest in complex tori originated in the 19th century in connection with the study of Abelian functions (cf. Abelian function) and Jacobi varieties of algebraic curves (cf. Jacobi variety). To any -dimensional compact Kähler manifold there is related a collection of complex tori, its intermediate Jacobi varieties [7].

References

[1] D. Mumford, "Abelian varieties" , Oxford Univ. Press (1974)
[2] H.C. Wang, "Complex parallisable manifolds" Proc. Amer. Math. Soc. , 5 (1954) pp. 771–776
[3a] K. Kodaira, D.C. Spencer, "On deformations of complex analytic structures I" Ann. of Math. , 67 (1958) pp. 328–400
[3b] K. Kodaira, D.C. Spencer, "On deformations of complex analytic structures II" Ann. of Math. , 67 (1958) pp. 403–466
[4] A. Weil, "Introduction à l'Aeetude des variétés kahlériennes" , Hermann (1958)
[5] C.L. Siegel, "Automorphe Funktionen in mehrerer Variablen" , Math. Inst. Göttingen (1955)
[6] R.O. Wells jr., "Differential analysis on complex manifolds" , Springer (1980)
[7] S.S. Chern, "Complex manifolds without potential theory" , Springer (1979)
How to Cite This Entry:
Complex torus. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Complex_torus&oldid=12640
This article was adapted from an original article by A.L. Onishchik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article