Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X$ be a CW complex. The (isomorphism classes of) complex line bundles on $X$ are classified by the homotopy classes of maps $X \to \mathbb{CP}^\infty$, that is by the elements of $H^2(X, \mathbb{Z})$. It is also true that the tensor product of line bundles corresponds to adding cohomology classes. It follows that if $n \in \mathbb{N}$, then the line bundles of $\mathbb{CP}^n$ are generated by the tensor powers of the tautological line bundle, or, equivalently, by the tensor powers of the sheaf typically denoted $\mathcal{O}(1)$ in algebraic geometry (because the dual of $\mathcal{O}(1)$ is the tautological bundle).

It is also true that the isomorphism classes of algebraic line bundles on $\mathbb{CP}^n$ forms a group isomorphic to $\mathbb{Z}$, given by the powers of $\mathcal{O}(1)$, as one can see by studying the Weil class group. It follows that the isomorphism classes of line bundles are the same in both the algebraic and the topological category.

The above observation is also true for affine $n$-space, because the topological line bundles are trivial ($\mathbb{C}^n$ being contractible), and the algebraic ones are as well (the polynomial ring being a UFD).

To what extent is this true in general?

share|improve this question
    
You should note that the fact that the chern class of a tensor product is the sum of the chern classes is specific to $H\mathbb{Z}$. This is the fact that the formal group law for ordinary cohomology is the additive formal group law. (by you should note, i mean for yourself, there is nothing wrong with what you have above, i just thought you would want to know.) –  Sean Tilson Dec 19 '10 at 3:41
2  
This question is equivalent to asking when $H^1(X;\mathcal{O}_{cts}^\times) \simeq H^1(X;\mathcal{O}_{alg}^\times)$ where $\mathcal{O}_{cts}^\times$ is the sheaf of nonvanishing continuous functions into $C$ and $\mathcal{O}_{alg}^\times$ is the sheaf of nonvanishing algebraic functions into $C$. –  Eric O. Korman Dec 19 '10 at 4:15
    
@Sean: This is only true for line bundles, right? –  Akhil Mathew Dec 19 '10 at 20:59
    
My main point was that this is where fgl's enter the picture, and that the above is true only over $H\mathbb{Z}$. I am not sure what exactly you are asking about being true for in terms of things being true for higher dimensional line bundles. I dont think it will be exactly true, but all you need is to know something about line bundles because the splitting principle and the whitney sum fmla. send me an email, or maybe we should chat about it. first name.last name @gmail.com –  Sean Tilson Dec 19 '10 at 22:19
    
@Sean: OK, just checking. Thanks. I've heard about the isomorphism between complex cobordism and universal formal group laws but am nowhere near understanding that yet! –  Akhil Mathew Dec 19 '10 at 22:22

2 Answers 2

up vote 8 down vote accepted

Let $X$ be a complex analytic space. There is an exact sequence, the exponential exact sequence, which is of fundamental importance for analyzing this (and related) questions:

$$ 0 \to 2 \pi i \mathbb Z \to \mathcal O_X \buildrel \exp \over \longrightarrow \mathcal O^{\times}_X \to 1 .$$

Assume now that $X$ is proper and connected. When we pass to cohomology, the sequence of $H^0$s is then short exact, but we obtain the following crucial long exact sequence: $$H^1(X, 2 \pi i \mathbb Z) \to H^1(X,\mathcal O_X) \to Pic(X) \to H^2(X,2 \pi i \mathbb Z) \to H^2(X,\mathcal O_X).$$ Here I am writing (as is usual) $Pic(X)$ to denote $H^1(X,\mathcal O_X^{\times})$, the group of isomorphism classes of analytic line bundles on $X$. If $X$ is algebraic, then by GAGA this is the same as the group of algebraic line bundles on $X$.

The boundary map $Pic(X) \to H^2(X,2 \pi i \mathbb Z)$ is the Chern class map (with a $2\pi i$ twist, or Tate twist; this is natural in the algebraic context, and to get the topological Chern class you just divide through by $2 \pi i$).

So that we see that the kernel of the Chern class map can be identified with $H^1(X,\mathcal O_X)/H^1(X,2 \pi i\mathbb Z)$, and vanishes when $H^1(X,\mathcal O_X) = 0$.

The image of $Pic(X)$ under the Chern class map is called the Neron--Severi group; its kernel is denoted $Pic^0(X)$ or $Pic^{\tau}(X)$. When $X$ is algebraic, $Pic(X)$ is naturally an algebraic group, $Pic^0(X)$ is the connected component of the identity, and $H^1(X,\mathcal O_X)$ is the tangent space to the identity.

If $X$ is a smooth projective curve, then $Pic^0(X)$ is usually called the Jacobian of $X$. You can look at the section of Hartshorne in Chapter IV to get some sense of it, although you may not realize from reading that how fundamental the role of the Jacobian is in the theory of algebraic curves. If you google Torrelli theorem, Abel--Jacobi theorem, and theta divisor (just to give some sample search terms) you will get some sense of it. Griffiths and Harris also has a detailed discussion, which gives a better sense of its significance.

If $X$ is algebraic but not proper, then you can compacitify it by adding a divisor at infinity. Let me write $\overline{X}$ for the compacification, and let me assume that $\overline{X}$ is in fact smooth, so then the divisor $D := \overline{X}\setminus X$ is a Cartier divisor, and gives rise to an associated line bundle $\mathcal O(D) \in Pic(\overline{X}).$ (This is denoted $\mathcal L(D)$ in Hartshorne, I think, and in some other texts, especially older ones, but $\mathcal O(D)$ is more common notation these days, and is better notation too.) If $D$ is reducible (as can happen; in general it can be taken to be a normal crossings divisor, but no better --- e.g. to compactify a curve to a smooth projective curve, we have to add in a finite number of points, but one point will not be enough, typically), write it as $D_1 \cup \cdots \cup D_n$.

Then we also have associated line bundles $\mathcal O(D_i)$ for each $i$, whose product is $\mathcal O(D)$, and note that each of these is trivial when restricted to $X$ (because $X = \overline{X} \setminus D$). One now sees that $Pic(X) = Pic(\overline{X})/\langle \mathcal O(D_1),\ldots,\mathcal O(D_n) \rangle,$ and so if $Pic^0(\overline{X})$ is non-trivial, then $Pic(X)$ will also have a non-discrete part (because we can't kill a connected algebraic group by quotienting out a finitely generated subgroup).

So the answer to your question is, at least for smooth $X$, is: compactify $X$ to $\overline{X}$, and then compute $H^1(\overline{X}, \mathcal O)$; if this is non-trivial, then the Chern class map has a (huge!) kernel.

[Added later: As an example, if $X$ is a hypersurface in $\mathbb P^n$ for $n > 2$ (so $X$ has dimension $> 1$), then $H^1(X,\mathcal O_X) = 0$ (exercise!), and so hypersurfaces give interesting examples.

For a surfaces, the dimension $H^1(X,\mathcal O_X)$ was classically (i.e. by the Italians) known as the irregularity of the surface $X$. (The reason being that they knew formulas, like Riemann--Roch, for surfaces in space, which when they tried to extend to more general surfaces became false unless the extra quantity $\dim H^1(X,\mathcal O_X)$ was introduced --- although of course they didn't describe it this way.) See my comment here, as well as the notes of Kleiman linked to by Jason Starr, which will tell you a lot about Picard varieties and much more.]

share|improve this answer
    
Thank you for the detailed answer! –  Akhil Mathew Dec 19 '10 at 21:52
    
Regarding the exercise, can one argue as follows? Let $X$ be a hypersurface in $\mathbb{P}^n, n > 2$, cut out by some $f \in \mathbb{C}[x_0, \dots, x_n]$. I claim that $H^1( X, \mathcal{O}(m)) = 0$ for all $m$. Indeed, this is the same thing as $H^1( \mathbb{P}^n, i_*\mathcal{O}_X(m))$. To compute the cohomology, we may take the direct sum $H^1(\mathbb{P}^n, \bigoplus i_*(\mathcal{O}_X)(m))$. As in EGA III.2, this sum is the second cohomology of the module $\mathbb{C}[x_0, \dots, x_n]/f$ tensored with the Koszul complex $K_*(x_0, \dots, x_n)$. –  Akhil Mathew Dec 19 '10 at 21:58
    
Since $n > 2$, it should be true that at least the depth of the ideal $(x_0, \dots, x_n)$ on $\mathbb{C}[x_0, \dots, x_n]/f$ is at least two, which would imply that the Koszul complex is acyclic up to that point. Anyway, this is true if the hypersurface is smooth (in which case it is Cohen-Maculay and the depth is the dimension $n-1$). Let me see if I can find an argument when the hypersurface is not smooth. –  Akhil Mathew Dec 19 '10 at 22:03
    
(Never mind, nothing that fancy is necessary. Namely, we can just argue directly that the depth is at least two. Pick some $g \in (x_0, \dots, x_n)$ which acts by a nonzerodivisor on $\mathbb{C}[x_0, \dots, x_n]/f$ (e.g. something having no common factors with $f$), and then the claim is that there is an element in $\mathbb{C}[x_0,\dots, x_n]$ acting by a nonzerodivisor on $\mathbb{C}[x_0,\dots, x_n]/(f,g)$. But if not, then $(x_0, \dots, x_n)$ would be an associated prime, so $\mathbb{C}[x_0, \dots, x_n]/(f,g)$ would contain a submodule isomorphic to $\mathbb{C}$. This can't happen... –  Akhil Mathew Dec 19 '10 at 22:09
    
...by considerations of degree, if we took $g$ homogeneous. (Most probably a direct computation via Cech complexes, one making no reference to Koszul complexes, could work as well.) Is something like this true more generally (if the above argument is correct) in higher dimensions (e.g. if $n>3$, then $H^1$ and $H^2$ both vanish)? (Sorry for all the comments!) –  Akhil Mathew Dec 19 '10 at 22:13

Deat Akhil, I have nothing to add to Matt E's masterful survey on the algebraic/analytic comparison. However since you ask about topological line bundles, you have to modify his answer in the following way.

You must replace everywhere $\mathcal O$ by $\mathcal C$, the sheaf of continuous functions. Now things are very easy: since $\mathcal C$ is soft (fine if you prefer), it is acyclic and so the map $Pic^{top}(X) \to H^2(X, \mathbb Z)$ is an isomorphism: a topological line bundle is classified by its Chern class, which lives in the second cohomology group of the space. To put it dramatically: the continuous jacobian is trivial !

For example topological line bundles on a compact Riemann surface are classified by $\mathbb Z$ in stark contrast to the huge Picard variety classifying its algebraic= analytic line bundles. So to answer your question "To what extent is this true in general?" [natural bijection between algebraic and topological line bundles] I would answer, just for the pleasure of using the anglicism : "once in a blue moon".

share|improve this answer
    
Thanks! By the way, is there an easy way to see that the coboundary map $H^1(X, \mathcal{O}_X^*) \to H^2(X, 2 \pi i \mathbb{Z})$ is (up to a constant) the same as the usually defined Chern classes? –  Akhil Mathew Dec 19 '10 at 22:15
    
I mean, it's probably checkable that the coboundary map satisfies the usual axioms for Chern classes (extended to vector bundles by the splitting principle?). Everything should be explicitly computable (e.g. via Cech cohomology) for projective space so I don't doubt that. And naturality should follow from the naturality of sheaf cohomology (i.e. a map $G \to f_*(F)$ induces a map $H^*(G) \to H^*(F)$, etc.). Is this reasonable? (I guess this requires local contractibility though for sheaf-theoretic $H^2(\mathbb{Z})$ to match with the singular one...) –  Akhil Mathew Dec 19 '10 at 22:19
1  
I think what you want is included in the reunion of a) Wells's book Differentiable Analysis on Complex Manifolds, chapter III, section 4 and b) Appendix C of Milnor-Stasheff's book Characteristic classes. Roughly speaking, a) identifies definitions from topology with those of differential geometry and the latter are related to sheaf cohomology in a). –  Georges Elencwajg Dec 20 '10 at 1:58
    
Thanks for the references! –  Akhil Mathew Dec 20 '10 at 3:03

Your Answer

 
discard

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.