jump to navigation

Complex Manifolds which are not Algebraic February 14, 2008

Posted by David Speyer in Algebraic Geometry.
trackback

When you start studying algebraic geometry, you are told that we study algebraic varieties because they are the complex manifolds which we can write down expliclity, and that all of the interesting behavior of a complex manifold can be seen in the algebraic structure. There are even theorems which make this precise in various ways, such as Chow’s Theorem or GAGA.  You are also (I hope!) cautioned that this is not actually true. There are many complex manifolds, even compact ones, which are not algebraic, and you may be shown one or two examples.

However, you probably aren’t told why these manifolds are not algebraic. In this post, I want to take two of these standard examples and sketch the proofs. These examples are: the quotient of \mathbb{C}^2 \setminus \{ (0,0) \} by powers of the matrix \left( \begin{smallmatrix} a & 0 \\ 0 & a \end{smallmatrix} \right), where a is a real number greater than 1, and the quotient of \mathbb{C}^2 under translations by a generic lattice of rank 4.

In the course of the argument, I’ll get you to the point where you are ready to understand, and be interested in, the Hodge Conjecture and the classification of K_3 surfaces. I might write some posts on those topics, if I can think of anything to say which is more interesting or more informative than the sources I’ve linked.

In both examples I want to discuss, the obstacle is that the complex manifold in question does not have enough hypersurfaces. More specifically, we are going to use the following lemma:

Lemma: If X is a compact smooth algebraic variety, then X has a complex subvariety of (complex) codimension 1 whose homology class is nontrivial.

Sketch of proof: The best way to prove a homology class is nontrivial is to exhibit another homology class with which it has nontrivial intersection product. (Intersection product is the product on homology obtained by Poincare dualizing cup product.) The great fact is this: if X is a smooth compact complex manifold of dimension n and A and B are complex subvarieties of dimensions d and n-d, such that A \cap B is a nonempty finite set of points, then the homology classes of A and B have nonzero intersection product. (In fact, their product is always at least \# (A \cap B).)

So our strategy is to write down a hypersurface and a curve in X, so that the hypersurface meets but does not intersect the curve. If X is algebraic, then it contains an affine open U, which can be written as a closed subvariety of \mathbb{C}^N. Pick a point u of U, and pick a generic hyperplane H through u and a generic N-n+1 plane L through u. Then U \cap H and U \cap L are a hypersruface and a curve in U respectively. Take their closures in X to get a codimension one subvariety and a dimension one subvariety which meet in a nonempty, zero dimensional set. (Note that these closures may not be smooth, so we need to have intersection theory for arbitrary complex subvarieties in a smooth variety.)

It is also true, by a very similar proof, that any irreducible algebraic subvariety of a compact smooth algebraic variety has nontrivial cohomology class.Now, let’s look at our first example: the quotient of \mathbb{C}^2 \setminus \{ 0 \} by powers of the matrix \left( \begin{smallmatrix} a & 0 \\ 0 & a \end{smallmatrix} \right). Topologically, this is the product of the three-sphere and the one-sphere. So by Künneth’s theorem, H^2(X) is trivial. Immediately, we see that no hypersurface can have nontrivial cohomology class.

The second example, X=\mathbb{C}^2/\Lambda for a rank four lattice \Lambda, is more interesting. Here X is topologically (S^1)^4, so H^2(X)=\mathbb{Z}^6. However, it is not easy for a homology class to be the class of a complex subvariety. Write the complex coordinates on \mathbb{C}^2 as (z,w). Then dz is a complex-valued one form on \mathbb{C}^2. This notation scared me when I first saw it, so let me assure you that it does not mean anything complicated. The function z is a smooth, complex valued function on \mathbb{C}^2, so we can take its differential and get the one-form dz. Apart from taking complex values, it is no worse than any ordinary one form. The one form dz is invariant under translation by \Lambda, so it descends to the quotient X. Sinilarly, dw descends to a one form on X, so \omega:=dz \wedge dw is a two form. Now, suppose that Y is a complex curve in X. The restriction of \omega to Y is identically zero (exercise!). So \int_Y \omega=0. Thus, if \beta is the homology class of Y, then \beta \cap \omega=0.

Now, here comes the computational bit. Let (\alpha_1, \alpha_2), (\beta_1, \beta_2), (\gamma_1, \gamma_2) and (\delta_1, \delta_2) be a basis of the lattice \Lambda. Take a basis of H_2(X, \mathbb{Z}) and pair it against \omega. If you chose the same basis that I did, you should get the six maximal minors of the matrix \left( \begin{smallmatrix} \alpha_1 & \beta_1 & \gamma_1 & \delta_1 \\  \alpha_2 & \beta_2 & \gamma_2 & \delta_2  \end{smallmatrix} \right). If \Lambda is chosen generically, there is no reason for any integral combination of these minors to be zero. So there is no integral homology class, and hence no homology class at all, which can be the class of a holomorphic currve in X.

This has some odd consequences for trying to create a moduli space of algebraic complex structures on (S^1)^4. We can specify a complex structre on (S^1)^4 by just specifying the 2 by 4 matrix of complex numbers \left( \begin{smallmatrix} \alpha_1 & \beta_1 & \gamma_1 & \delta_1 \\  \alpha_2 & \beta_2 & \gamma_2 & \delta_2  \end{smallmatrix} \right). We have to impose that the columns this matrix span a discrete lattice, which removes a set of measure 0. Also, changing bases in \mathbb{C}^2 doesn’t effect the complex structure that we get, so we only want to consider 2 by 4 matrices up to the action of \mathrm{GL}_2(\mathbb{C}). In other words, complex structures on (S^1)^4 (up to diffeomorphisms homotopic to the identity) are parameterized by the grassmannian G(2,4)(\mathbb{C}), minus a set of measure zero. (If we want to just look at isomorphism classes of complex manifolds, and not specify a homotopy class of isomorphism to (S^1)^4, we need to take a further quotient by the discrete group \mathrm{SL}_4(\mathbb{Z}), but we will not consider this issue here.)

However, if we then which to consider which of these structures are algebraic, life becomes interesting. Every single element of H_2((S^1)^4, \mathbb{Z} ) might be the homology class of a holomorphic curve. The set of points in G(2,4)(\mathbb{C}) where that class is holomorphic form a complex subvariety of dimension 3. Inside this three-dimensional variety, the actual algebraic locus is an open subset. (There is a positivity condition, which I find a little hard to justify from the perspective I’ve taken here just figured out how to explain nicely. See the comments below.) So, in order to describe all of the algebraic complex structures on (S^1)^4, we need an infinite (though countable) list of complex varieties.

About these ads

Comments

1. davidspeyer - February 14, 2008

For those who are curious about that positivity condition: Consider any complex linear projection of \mathbb{C}^2 to \mathbb{C}. Let A be the pullback of the area form. Then A descends to a (real-valued) two form on the quotient X. We must have \langle \beta, A \rangle \geq 0 for every such projection. Exercise: why?


Sorry comments are closed for this entry

Follow

Get every new post delivered to your Inbox.

Join 611 other followers

%d bloggers like this: