Intereting Posts

History of the theory of equations: John Colson
Prove: $D_{8n} \not\cong D_{4n} \times Z_2$.
Expectation of Ito integral
More on primes $p=u^2+27v^2$ and roots of unity
Showing hom-sets are disjoint in a morphism category
Why $(\mathbb Q\times\mathbb Q)/(\mathbb Z\times{=})$ is not homeomorphic to $(\mathbb Q/\mathbb Z)\times(\mathbb Q/{=})$?
A contest math integral: $\int_1^\infty \frac{\text{d}x}{\pi^{nx}-1}$
Field in $\mathbb{F}_3$
How to calculate the intersection of two planes?
Are $\mathbb{R}$ and $\mathbb{Q}$ the only nontrivial subfields of $\mathbb{R}$?
Prove that $\lim_{n\to\infty}a_n\le \lim_{n\to\infty}b_n$
Extensions of Ramanujan's Cos/Cosh Identity
Algebraic numbers that cannot be expressed using integers and elementary functions
What is the difference between the limit of a sequence and a limit point of a set?
If $n^c\in\mathbb N$ for every $n\in\mathbb N$, then $c$ is a non-negative integer?

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

- Does every non-empty topological space have an irreducible closed subset?
- Ideal of the pullback of a closed subscheme
- Cardinality and degrees of irreducible components of an affine variety
- Computing an integral basis of an algebraic function field, $y^4-2zy^2+z^2-z^4-z^3=0$.
- Does Hom commute with stalks for locally free sheaves?
- Number of points on an elliptic curve over $ \mathbb{F}_{q} $.

To what extent is this true in general?

- Some question of sheaf generated by sections
- Topological Conditions Equivalent to “Very Disconnected”
- About the definition of Cech Cohomology
- Proof that two spaces that are homotopic have the same de Rham cohomology
- Ideal of the pullback of a closed subscheme
- Getting the most general form of Mayer-Vietoris from the axioms of homology
- isomorphisms induced on $H_*$
- Homogeneous polynomials on a vector space $V$, $\operatorname{Sym}^d(V^*)$ and naturality
- Irreducible components of topological space
- Where to learn algebraic analysis

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

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

- The free abelian group monad
- Scratch work for delta-epsilon proof for $\lim_{x \to 13} \sqrt{x-4} = 3$
- How does a branch cut define a branch?
- If $a^3+b^3+c^3=3$ so $\frac{a^3}{a+b}+\frac{b^3}{b+c}+\frac{c^3}{c+a}\geq\frac{3}{2}$
- When do the Freshman's dream product and quotient rules for differentiation hold?
- Random Variable
- Meaning of holomorphic Euler characteristics?
- Orthogonality of projections on a Hilbert space
- Derivation of the formula for Ordinary Least Squares Linear Regression
- Show that $e^x > 1 + x + x^2/2! + \cdots + x^k/k!$ for $n \geq 0$, $x > 0$ by induction
- For what values does this method converge on the Lambert W function?
- $G$ is non abelian simple group of order $<100$ then $G\cong A_5$
- Is a Bijection From a Group to Itself Automatically an Isomorphism If It Maps the Identity to Itself?
- Does the empty set have a supremum or infimum?
- Let $G$ be a finite group with $|G|>2$. Prove that Aut($G$) contains at least two elements.