Complex torus


Complex torus

In mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number N circles). Here N must be the even number 2n, where n is the complex dimension of M.

All such complex structures can be obtained as follows: take a lattice Λ in Cn considered as real vector space; then the quotient group

Cn

is a compact complex manifold. All complex tori, up to isomorphism, are obtained in this way. For n = 1 this is the classical period lattice construction of elliptic curves. For n > 1 Bernhard Riemann found necessary and sufficient conditions for a complex torus to be an algebraic variety; those that are varieties can be embedded into complex projective space, and are the abelian varieties.

The actual projective embeddings are complicated (see equations defining abelian varieties) when n > 1, and are really coextensive with the theory of theta-functions of several complex variables (with fixed modulus). There is nothing as simple as the cubic curve description for n = 1. Computer algebra can handle cases for small n reasonably well. By Chow's theorem, no complex torus other than the abelian varieties can 'fit' into projective space.

References

  • Birkenhake, Christina; Lange, Herbert (1999), Complex tori, Progress in Mathematics, 177, Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-4103-0, MR1713785 

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Torus — Not to be confused with Taurus (disambiguation). This article is about the surface and mathematical concept of a torus. For other uses, see Torus (disambiguation). A torus As the distance to th …   Wikipedia

  • Complex multiplication — This article is about certain endomorphism rings. For information about multiplication of complex numbers, see complex numbers. In mathematics, complex multiplication is the theory of elliptic curves E that have an endomorphism ring larger than… …   Wikipedia

  • Algebraic torus — In mathematics, an algebraic torus is a type of commutative affine algebraic group. These groups were named by analogy with the theory of tori in Lie group theory (see maximal torus). The theory of tori is in some sense opposite to that of… …   Wikipedia

  • Maximal torus — In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups. A torus in a Lie group G is a compact, connected, abelian Lie subgroup of G (and therefore isomorphic to… …   Wikipedia

  • Presentation complex — In geometric group theory, a presentation complex is a 2 dimensional cell complex associated to any presentation of a group G . The complex has a single vertex, and one loop at the vertex for each generator of G . There is one 2 cell for each… …   Wikipedia

  • Loewner's torus inequality — In differential geometry, Loewner s torus inequality is an inequality due to Charles Loewner for the systole of an arbitrary Riemannian metric on the 2 torus.tatementIn 1949 Charles Loewner proved that every metric on the 2 torus mathbb T^2… …   Wikipedia

  • Orbital Piloted Assembly and Experiment Complex — CG rendering of OPSEK The Orbital Piloted Assembly and Experiment Complex (Orbitalniy Pilotiruemyi Eksperimentalniy Kompleks[1]) (OPSEK) is the planned Russian successor to the International Space Station, with the main goal of supporting deep… …   Wikipedia

  • Gromov's inequality for complex projective space — In Riemannian geometry, Gromov s optimal stable 2 systolic inequality is the inequality: mathrm{stsys} 2{}^n leq n!;mathrm{vol} {2n}(mathbb{CP}^n),valid for an arbitrary Riemannian metric on the complex projective space, where the optimal bound… …   Wikipedia

  • Nilmanifold — In mathematics, a nilmanifold is a differentiable manifold which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic to the quotient space N / H, the… …   Wikipedia

  • Abelian variety — In mathematics, particularly in algebraic geometry, complex analysis and number theory, an Abelian variety is a projective algebraic variety that is at the same time an algebraic group, i.e., has a group law that can be defined by regular… …   Wikipedia