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 a vector space V isomorphic to Cn considered as real vector space; then the quotient group

For n = 1 this is the classical period lattice construction of elliptic curves.

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).

By Chow's theorem, no complex torus other than the abelian varieties can 'fit' into projective space.

This has a number of consequences, such as every homomorphism induces a map of their covering spaces

induces a group homomorphism, it must restrict to a morphism of the lattices

which are called the analytic and rational representations of the space of homomorphisms.

The class of homomorphic maps between complex tori have a very simple structure.

showing the holomorphic maps are not much larger than the set of homomorphisms of complex tori.

One distinct class of homomorphisms of complex tori are called isogenies.

This gives the set of isomorphism classes of complex tori of dimension

, in particular complex tori, there is a construction[2]: 571  relating the holomorphic line bundles

which is useful for computing invariants related to the associated line bundle.

Since this action is free and properly discontinuous, the quotient bundle

representing line bundles on complex tori as 1-cocyles in the associated group cohomology.

Then, evaluated on global sections, this is the set of holomorphic functions

Conversely, this process can be done backwards where the automorphic factor in the theta function is in fact the factor of automorphy defining a line bundle on a complex torus.

satisfying the following conditions is the extension of some first Chern class

by looking at a generic alternating matrix and finding the correct compatibility conditions for it to behave as expected.

The set of all pairs of semi-characters and their associated Hermitian form

This group structure comes from applying the previous commutation law for semi-characters to the new semicharacter

This surjection can be constructed through associating to every semi-character pair a line bundle

Note this action can be used to show the sections of the line bundle

of complex antilinear maps, is isomorphic to the real dual vector space

Moreover, from the discussion above, we can identify the dual complex torus with the Picard group of

There are other constructions of the dual complex torus using techniques from the theory of Abelian varieties.

From the construction of the dual complex torus, it is suggested that there should exist a line bundle

and its dual which can be used to present all isomorphism classes of degree 0 line bundles on

Showing this data constructs a line bundle with the desired properties follows from looking at the associated canonical factor of