So what does it mean for a variety to be projective? Well, that’s easy: A variety is projective if you can embed it in projective space.

That’s easy, but that’s not particularly helpful.

What are the benefits of being projective? Why is it something that we should care about?

The way I see it, the main advantage of projectivity is that any analytic projective variety is in fact algebraic i.e. it can be described in terms of zero sets of polynomials, and not just analytic functions. This is essentially a loose paraphrase of Chow’s theorem.

So this explains why projectivity is a good thing, but it doesn’t tell us how to detect it. To help with this, let’s consider what we do get if a variety (we will only really care about tori, but for now we will be more general) is projective.

On , we have the line bundle . Thus, given a morphism , we can pull this line bundle back to obtain a line bundle . This is an *ample* bundle; that is, if we take a sufficiently high power , then sections of this new bundle will in fact yield an *embedding* into projective space of some dimension. More specifically, choose a basis for . Then as this line bundle is base-point free (it comes from a map into projective space), we can consider the map

then this map will be an embedding.

Given such a pair consisting of a complex manifold together with an ample line bundle , then we can see that it must be projective. Such a pair is called a *polarized* variety*.

Now, many manifolds come with natural choices of polarizations; for example, all non-elliptic curves have either their canonical or anti-canonical bundle which are ample, and so they are just naturally polarized. Elliptic curves are as well, but you can’t use their canonical bundle, since it is trivial.

The same is of course true with complex tori; their canonical bundles are trivial, and so these do not provide us with a projective embedding. So let’s see what else a polarization gives us.

Let’s consider the first chern class of our line bundle. We have (since we are working with the complex numbers) the exponential sequence of sheaves

which yields the long exact sequence some of whose low degree terms are

where is the Picard group of (denoted ); that is, the group of line bundles on . The map to is the map which takes a line bundle to its first chern class . It is this that we use to understand what makes a manifold projective.

In the case of tori, we know very well what (henceforth we will omit the coefficient ring if it is the integers) is. In fact, due to the Künneth theorem and the fact that topologically, a complex torus is simply a product of circles, we have the isomorphisms

**Exercise**: Check these!

That is, an element of can be though of as an alternating bilinear form on the underlying lattice . In particular, the first chern class of a polarization on a complex torus is an alternating form on its underlying lattice .

Now, it is not too hard to see (and you should check this) that there is a bijective correspondence between alternating bilinear forms on a lattice which satisfy

and hermitian forms on which satisfy ; this is given by the bijection

Another way to say this is that alternating bilinear forms on *which are compatible with the complex structure on* are (essentially) the same as hermitian forms on whose imaginary parts take integer values on .

And the magic about this is that an element is the first chern class of an ample line bundle if and only if this latter condition is satisfied.

*Well, that’s not exactly correct. It isn’t the line bundle that is the polarization, but the class of the line bundle in the Neron-Severi group of . But it’s close enough.

A nice post. You characterize ample line bundles by Hermitian forms satisfying the condition. As to the second last paragraph, do you need any positivity condition on E (or Hermitian form)? I think otherwise E associated to L^{-1} also satisfies the condition above.