Let $\xi$ be a complex line bundle over a CW-complex $B$. I want to prove that $\xi$ is trivial if and only if $c_1(\xi)=0$.

My attempt: Suppose $c_1(\xi)=0$. Then the Euler class $e(\xi)=0$. Since $e(\xi)=o_2(\xi)$, there exists a nonvanishing cross section of $\xi|_{sk^2 (B)}$, denoted as $X\in \Gamma(\xi|_{sk^2 (B)})$. $X,JX$ are linearly independent cross sections of $\xi|_{sk^2 (B)}$. Thus $\xi|_{sk^2 (B)}$ is a trivial bundle. How to prove that $\xi$ is trivial?

  • 2
    $\begingroup$ It suffices to show that the classifying space $\mathbb{CP}^{\infty}$ of line bundles is also the Eilenberg-MacLane space $B^2 \mathbb{Z}$ (by which I mean $K(\mathbb{Z}, 2)$); more precisely, the universal first Chern class $c_1 : \mathbb{CP}^{\infty} \to B^2 \mathbb{Z}$ is a homotopy equivalence. You can verify this by computing homotopy groups using the fact that $\mathbb{CP}^{\infty}$ can be written $BU(1)$. $\endgroup$ – Qiaochu Yuan Feb 6 '15 at 6:42
  • $\begingroup$ This does not only suffice, it gives you also a bijection $H^2(B) \leftrightarrow Vect^{\mathbb C}_1(B)$. $\endgroup$ – Daniel Valenzuela Feb 6 '15 at 6:53
  • 2
    $\begingroup$ I do not understand... could you explain more? Thanks! $\endgroup$ – Shiquan Feb 6 '15 at 7:11

Let $\xi:E \to B$ be a complex line bundle.

Edit: my first attempt was not true in that generality, although vanishing euler class is equivalent to nowhere vanishing section if the bundle has the same rank as the underlying complex which should be a closed orientable manifold.

To make up for it I will try to give a description to solve your problem correctly.

We know that every complex $n$-vector bundle $\xi$ over $B$ is given by the pullback along a map $B \to G_n(\mathbb C^\infty)=G_n$, where the latter is unique up to homotopy. For line bundles we get $G_1 = \mathbb CP^\infty$. We know that $G_1$ is a $K(\mathbb Z,2)$, so it has a natural identification $[B,G_1] = H^2(B;\mathbb Z)$, hence by the above comment: $\{\text{iso-classes of line bundles}\} = H^2(B;\mathbb Z)$. This gives you your result.

Further notice: you can equip the iso-classes of line bundles with the structure of an abelian group. Looking closer to the identifications above (especially the Eilenberg Maclane space property) you will notice that this is in fact an isomorphism of groups.

  • 1
    $\begingroup$ The implication "trivial Euler class $\Rightarrow$ exists real nowhere vanishing section" is non-trivial. If you don't know it yet, you might want to use the classifying space or get your hands really dirty. $\endgroup$ – Daniel Valenzuela Feb 6 '15 at 6:49
  • $\begingroup$ @Ren: write down the definition of a trivialization of a complex line bundle. $\endgroup$ – Qiaochu Yuan Feb 6 '15 at 7:09
  • $\begingroup$ Dear Prof. Dan, is ther any reference for "trivial Euler class ⇒ exists real nowhere vanishing section" ? $\endgroup$ – Shiquan Feb 6 '15 at 7:27
  • $\begingroup$ I'm so sorry Ren, this implication does not hold in generally. But if it holds (e.g. when having $n$-vector bundle over closed orientable $n$-manifold), it is still non-trivial. I edited my answer accordingly. $\endgroup$ – Daniel Valenzuela Feb 6 '15 at 19:01
  • $\begingroup$ However if you were interested in Riemannian surfaces, the old answer would do the job. But in this case you can just write down the euler class of a $\endgroup$ – Daniel Valenzuela Feb 6 '15 at 19:02

Let us approach the case of complex manifolds by means of sheaf cohomology.

On a complex manifold $M$, the homolorphic/$C^\infty$ line bundles may be identified with $H^1(M, \mathcal O^*)$ and $H^1(M, \mathcal A)$, respectively (the sheaf cohomology with coefficients in non-vanishing holomorphic/$C^\infty$ functions).

The holomorphic exponential exact sequence of sheaves $$0 \to \mathbb Z \stackrel{2\pi\cdot}\to \mathcal O \stackrel{\exp}{\to} \mathcal O^* \to 0 \hspace{2em} (1)$$ induces boundary homomorphism $$c_1: H^1(M, \mathcal O^*) \stackrel{\delta}{\to} H^2(M, \mathbb Z),$$ which may be taken as the definition of the first Chern class of a holomorphic line bundle.

Moreover, the inclusion of $(1)$ into the $C^\infty$ exponential exact sequence of sheaves $$0 \to \mathbb Z \stackrel{2\pi\cdot}\to \mathcal A \stackrel{\exp}{\to} \mathcal A^* \to 0, \hspace{3em}$$

by the functoriality of sheaf cohomology, induces the following commutative diagram: $$\begin{array}{ccl} H^1(M, \mathcal O)&\to&H^1(M,\mathcal O^*)&\to&H^2(M,\mathbb Z)\\ \downarrow&&\hspace{2em}\downarrow&&\hspace{2em}\|\\ H^1(M, \mathcal A)&\to&H^1(M,\mathcal A^*)&\to&H^2(M,\mathbb Z),\\ \end{array}$$ where $H^1(M, \mathcal A)=0$ holds from the existence of a (real) partition of unity, so $$H^1(M, \mathcal A^*) \hookrightarrow H^2(M, \mathbb Z)$$ is an inclusion, and the map $H^1(M, \mathcal O^*) \to H^1(M, \mathcal A^*)$ is the tautological forgetting map from holomorphic line bundles to $C^\infty$ line bundles.

Therefore, the first Chern class of a holomophic line bundle completely determines it as a $C^\infty$ bundle. For more details, see Griffiths, Harris, "Principles of Algebraic Geometry", section 1.1 or the following answer on ResearchGate.net.

By the way, the kernel $$\mathfrak P = \ker c_1: H^1(M, \mathcal O^*) \to H^2(M, \mathbb Z)$$ is called the Picard variety of a complex manifold $M$, or the Jacobi variety if $M$ is a curve, which is a complex torus of the dimension equal to the genus of the curve.

Moreover, the Torelli theorem states that a smooth complex projective curve is completely determined by its Jacobi variety with some additional structure, therefore there is a wide gap between holomorphic line bundles which are holomorhically and $C^\infty$ trivial.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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