MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

we know that a complex torus,which is algebraic,is called abelian variety.Recently i see another definition.Let $\mathbb{C}^n/\Lambda$ be a complex torus,where $\Lambda$ is a lattice of $\mathbb{C}^n$.$\mathbb{C}^n/\Lambda$ is abelian variety when there is a real skew-symmetric bilinear $E$ form on $\mathbb{C}^n$,satisfying

1)$E(iX,Y)=E(iY,X)$ for $X,Y\in\mathbb{C}^n$

2)$E(iX,X)>0$ for nonzero $X\in\mathbb{C}^n$

3)$E(X,Y)\in\mathbb{Z}$ for $X,Y\in\Lambda$

How can i see the equivalence?

share|cite|improve this question
These conditions are called the Riemann conditions, and the equivalence is a big theorem to which many famous mathematicians of the 19th century contributed. You should look at Mumford's book an abelian varieties, for example. – François Brunault Jan 13 '11 at 12:35
Thank you for you comments. – Quanting Zhao Jan 15 '11 at 2:18
up vote 4 down vote accepted

In a complex torus it is (in principle) simple to relate Dolbeaut and deRham (with values in $\Z$ ) cohomologies. Therefore, under your assumptions, one can write down explicitly a holomorphic bundle (the theta bundle) which is postive. This bundle can be written down if only condition 1) and 3) are satisfies, but, it (and its powers) has holomorphic sections only under condition 2). In fact, the third power of the theta bundle gives an projective embedding (Lefschetz theorem), and by CHow it is algebraic. A nice reference for that is Griffiths and Harris

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.