Math 2.0

Several complex variables and analytic spaces Definition

Holomorphic vector bundle

Builds on Complex manifoldVector bundleHolomorphic map

Definition

Let XX be a complex manifold and let r≥0r \ge 0 be an integer. A holomorphic vector bundle of rank rr over XX is a complex manifold EE with a holomorphic map π ⁣:E→X\pi \colon E \to X such that:

  1. Each fibre Ex=π−1(x)E_x = \pi^{-1}(x) has the structure of a complex vector space of dimension rr.
  2. Each point of XX has an open neighbourhood UU and a biholomorphic map φ ⁣:π−1(U)→U×ℂr\varphi \colon \pi^{-1}(U) \to U \times \C^r with pr1∘φ=π\mathrm{pr}_1 \circ \varphi = \pi.
  3. For each x∈Ux \in U, the restriction φ ⁣:Ex→{x}×ℂr\varphi \colon E_x \to \set{x} \times \C^r is ℂ\C-linear.

Remarks

Given two such trivializations φi\varphi_i over UiU_i and φj\varphi_j over UjU_j, one has φi∘φj−1(x,v)=(x,gij(x)v)\varphi_i \circ \varphi_j^{-1}(x, v) = (x, g_{ij}(x) v) with gij ⁣:Ui∩Uj→GLr(ℂ)g_{ij} \colon U_i \cap U_j \to GL_r(\C) holomorphic. Conversely, holomorphic maps gijg_{ij} with gijgjk=gikg_{ij} g_{jk} = g_{ik} on triple overlaps glue the products Ui×ℂrU_i \times \C^r to a holomorphic vector bundle. A holomorphic vector bundle is in particular a smooth complex vector bundle.

Example: the holomorphic tangent bundle TXT X of a complex manifold of dimension nn has rank nn. A holomorphic chart z=(z1,…,zn)z = (z_1, \dots, z_n) trivializes it by the frame ∂/∂z1,…,∂/∂zn\partial/\partial z_1, \dots, \partial/\partial z_n. The transition functions are the complex Jacobian matrices of the coordinate changes, which are holomorphic.

Non-example: cover the Riemann sphere by U0=ℂU_0 = \C and U1=ℙ1∖{0}U_1 = \mathbb{P}^1 \setminus \set{0}, and glue U0×ℂU_0 \times \C and U1×ℂU_1 \times \C over ℂ∗\C^* with g01(z)=zˉg_{01}(z) = \bar z. This gives a smooth complex line bundle, but g01g_{01} is not holomorphic. So the trivializations of this atlas are not biholomorphic for any complex structure on the glued space, and clause 2 fails for them.

The sheaf of holomorphic sections of EE is a locally free sheaf of 𝒪X\mathcal{O}_X-modules of rank rr, and every such sheaf arises in this way.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complex manifold concept
  2. Holomorphic map concept
  3. Vector bundle concept
  4. Holomorphic vector bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Holomorphic_vector_bundle
About this page
TagFGP202VKXW
URIm2://FGP202VKXW
Kinddefinition
WritingW0 stub
MSC32L05, 32L10
DefinesHolomorphic vector bundle
UsesComplex manifold, Vector bundle, Holomorphic map

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.