Holomorphic vector bundle

Intuition [Beginner]

A vector bundle assigns a vector space to each point of a manifold. A holomorphic vector bundle does the same on a complex manifold, but the assignment varies holomorphically: the fibres are complex vector spaces and the way they change from point to point respects complex analysis.

The simplest example is the holomorphic tangent bundle of ${\mathbb{C}}^n$. At each point the tangent space is ${\mathbb{C}}^n$, and the coordinate basis vectors depend holomorphically on position. More interesting examples include the tautological line bundle over ${\mathbb{CP}}^n$, where the fibre over a point is the complex line that point represents.

Holomorphic bundles are much more rigid than smooth bundles. A smooth vector bundle can be deformed continuously, but a holomorphic bundle has discrete invariants (Chern classes) that constrain its shape.

Visual [Beginner]

A complex manifold with a complex line attached to each point, varying smoothly as you move across the manifold. The line is drawn as a copy of the complex plane, and the transition between overlapping charts preserves the holomorphic structure.

A holomorphic vector bundle: complex fibres glued by holomorphic transitions.

Worked example [Beginner]

The tautological line bundle $\mathcal{O}(-1)$ over ${\mathbb{CP}}^1$ assigns to each point $[z_0:z_1]$ of the projective line the complex line $\{(z_0,z_1)\cdot t:t\in \mathbb{C}\}$ in ${\mathbb{C}}^2$.

On the chart $U_0=\{z_0\ne 0\}$ with coordinate $w=z_1/z_0$, the fibre is spanned by $(1,w)$. On $U_1=\{z_1\ne 0\}$ with coordinate $w^{\prime }=z_0/z_1$, the fibre is spanned by $(w^{\prime },1)$. The transition function $g_{01}(w)=w$ is holomorphic. The dual bundle $\mathcal{O}(1)$ has transition $1/w$, also holomorphic.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition. A holomorphic vector bundle of rank $r$ over a complex manifold $X$ is a complex manifold $E$ with a holomorphic surjection $\pi :E\to X$ such that:

1. Each fibre $E_x={\pi }^{-1}(x)$ has the structure of an $r$-dimensional complex vector space.
2. There exists an open cover $\{U_{\alpha }\}$ of $X$ and biholomorphisms ${\phi }_{\alpha }:{\pi }^{-1}(U_{\alpha })\to U_{\alpha }\times {\mathbb{C}}^r$ that are linear on each fibre.
3. The transition functions $g_{\alpha \beta }:U_{\alpha }\cap U_{\beta }\to GL(r,\mathbb{C})$ are holomorphic.

Sheaf-theoretic formulation. Holomorphic vector bundles of rank $r$ over $X$ correspond to locally free coherent sheaves $\mathcal{E}$ of ${\mathcal{O}}_X$-modules of rank $r$. The sections of $\mathcal{E}$ over $U$ are the holomorphic sections of $E$ over $U$.

Key invariants. The Chern classes $c_i(E)\in H^{2i}(X,\mathbb{Z})$ are the topological invariants of a holomorphic vector bundle. For line bundles, $c_1(L)\in H^2(X,\mathbb{Z})$ classifies the topological type completely.

Key theorem with proof [Intermediate+]

Theorem (Birkhoff-Grothendieck). Every holomorphic vector bundle on ${\mathbb{CP}}^1$ decomposes as a direct sum of line bundles: $E\cong \mathcal{O}(k_1)\oplus \cdots \oplus \mathcal{O}(k_r)$ for unique integers $k_1\ge k_2\ge \cdots \ge k_r$.

Proof sketch. Cover ${\mathbb{CP}}^1$ by two charts $U_0,U_1$ with coordinate overlap ${\mathbb{C}}^{\times }$. The transition function is a holomorphic map $g:{\mathbb{C}}^{\times }\to GL(r,\mathbb{C})$. By Laurent expansion, $g$ can be factored (via diagonalisation of the principal part) into upper-triangular form, then further into diagonal form $\mathrm{diag}(z^{k_1},\dots ,z^{k_r})$. Uniqueness follows from the splitting type being invariant under holomorphic gauge transformations. $\square$

Bridge. The Birkhoff-Grothendieck theorem extends the fibre-bundle reconstruction principle 03.05.00 — where bundles are built from transition functions — to the holomorphic category on ${\mathbb{CP}}^1$, where the rigidity of holomorphic functions forces a complete classification. This mirrors the way holomorphic functions are more constrained than smooth functions, a pattern that recurs throughout complex geometry. The theorem also previews the role of Chern classes, since the integers $k_i$ encode the first Chern class of each summand.

Exercises [Intermediate+]

Advanced results [Master]

Narasimhan-Seshadri theorem (1965). On a compact Riemann surface of genus $g\ge 2$, stable holomorphic vector bundles of degree 0 correspond bijectively to irreducible unitary representations of the fundamental group. This links holomorphic bundle theory to representation theory and is the prototype for the Hitchin-Kobayashi correspondence.

Hitchin-Kobayashi correspondence. A holomorphic vector bundle $E$ over a compact Kahler manifold admits a Hermitian-Einstein metric if and only if $E$ is polystable (a direct sum of stable bundles of the same slope). This generalises Narasimhan-Seshadri to higher dimensions and was proved independently by Donaldson and Uhlenbeck-Yau.

Kodaira vanishing and Serre duality. For an ample line bundle $L$ on a compact Kahler manifold, $H^i(X,K_X\otimes L)=0$ for $i>0$. Combined with Serre duality, this provides powerful tools for computing cohomology of holomorphic bundles.

Synthesis. Holomorphic vector bundles sit at the intersection of complex analysis, algebraic geometry, and differential geometry. Extending the fibre-bundle framework 03.05.00 to the holomorphic category introduces rigidity that enables classification results like Birkhoff-Grothendieck. The sheaf-theoretic formulation connects bundles to algebraic geometry via the locally-free-sheaf correspondence, while stability conditions and the Hitchin-Kobayashi correspondence bridge to gauge theory and Hermitian metrics 03.05.20. This web of equivalences — holomorphic, sheaf-theoretic, and metric — is a paradigmatic example of how different mathematical languages describe the same underlying objects.

Full proof set [Master]

Proposition. A holomorphic line bundle $L$ on a complex manifold $X$ is determined up to isomorphism by its transition functions $\{g_{\alpha \beta }:U_{\alpha }\cap U_{\beta }\to {\mathbb{C}}^{\times }\}$, which satisfy the cocycle condition $g_{\alpha \beta }{g}_{\beta \gamma }=g_{\alpha \gamma }$ on triple overlaps. Isomorphism classes of holomorphic line bundles form a group $\mathrm{Pic}(X)\cong H^1(X,{\mathcal{O}}_X^{\times })$ under tensor product.

Proof. The cocycle condition ensures the gluing is consistent, by the same argument as for smooth bundles 03.05.00. Two sets of transitions $\{g_{\alpha \beta }\}$ and $\{g_{\alpha \beta }^{\prime }\}$ define isomorphic line bundles if and only if there exist holomorphic maps ${\lambda }_{\alpha }:U_{\alpha }\to {\mathbb{C}}^{\times }$ with $g_{\alpha \beta }^{\prime }={\lambda }_{\alpha }{g}_{\alpha \beta }{\lambda }_{\beta }^{-1}$. This is precisely the cohomological relation defining $H^1(X,{\mathcal{O}}_X^{\times })$. $\square$

Connections [Master]

General fibre bundles 03.05.00 provide the topological and smooth framework; holomorphic vector bundles add the requirement that transition functions be holomorphic, introducing the rigidity characteristic of complex geometry.

The holonomy group 03.05.16 and holonomy reduction 03.05.18 constrain the type of holomorphic bundle that can admit a compatible metric; a holomorphic bundle with a Hermitian-Einstein connection has reduced holonomy.

Hermitian metrics and the Chern connection 03.05.20 provide the differential-geometric tools for studying holomorphic bundles, linking the holomorphic category to curvature, stability, and gauge theory.

Bibliography [Master]

@book{huybrechts,
  author = {Huybrechts, Daniel},
  title = {Complex Geometry: An Introduction},
  publisher = {Springer},
  year = {2005}
}

@book{kobayashi-cvb,
  author = {Kobayashi, Shoshichi},
  title = {Differential Geometry of Complex Vector Bundles},
  publisher = {Princeton Univ. Press},
  year = {1987}
}

@book{griffiths-harris,
  author = {Griffiths, Phillip and Harris, Joseph},
  title = {Principles of Algebraic Geometry},
  publisher = {Wiley},
  year = {1978}
}

Historical & philosophical context [Master]

Holomorphic vector bundles were studied systematically from the 1950s onward, motivated by the desire to apply sheaf-theoretic methods to geometric problems. The Serre-Swan analogy — between projective modules over a ring and vector bundles over a space — was extended to the holomorphic setting by Grauert (1958), who proved that holomorphic vector bundles correspond to locally free sheaves.

The Birkhoff-Grothendieck theorem for ${\mathbb{CP}}^1$ illustrates a philosophical divide between smooth and holomorphic categories. Smooth vector bundles on $S^2$ are classified by ${\pi }_1(GL(r,\mathbb{R}))$, a subtle homotopy invariant. Holomorphic bundles on ${\mathbb{CP}}^1$ are classified by a finite tuple of integers, a much finer classification enabled by the rigidity of holomorphic functions. This rigidity-versus-flexibility dialectic pervades complex geometry.

The Narasimhan-Seshadri theorem (1965) opened the door to a deep interaction between algebraic geometry and gauge theory, culminating in the Hitchin-Kobayashi correspondence and Donaldson's work on four-manifold topology, where holomorphic bundle moduli spaces became powerful tools for studying smooth structures.