Math 2.0

Several complex variables and analytic spaces Definition

Holomorphic line bundle

Builds on Holomorphic vector bundleComplex manifoldTautological line bundle

Definition

Let XX be a complex manifold. A holomorphic line bundle on XX is a holomorphic vector bundle π ⁣:L→X\pi \colon L \to X of rank 11.

Remarks

Equivalently, LL is given by an open cover (Ui)(U_i) of XX and nowhere vanishing holomorphic functions gij ⁣:Ui∩Uj→ℂ∗g_{ij} \colon U_i \cap U_j \to \C^* with gijgjk=gikg_{ij} g_{jk} = g_{ik} on Ui∩Uj∩UkU_i \cap U_j \cap U_k.

Example: the tautological line bundle 𝒪(−1)\mathcal{O}(-1) on ℙn\mathbb{P}^n is {(ℓ,v)∈ℙn×ℂn+1:v∈ℓ}\set{(\ell, v) \in \mathbb{P}^n \times \C^{n+1} : v \in \ell} with the projection to ℙn\mathbb{P}^n. On Ui={zi≠0}U_i = \set{z_i \ne 0} the point (ℓ,v)(\ell, v) goes to (ℓ,vi)(\ell, v_i). The fibre coordinates satisfy vi=(zi/zj)vjv_i = (z_i / z_j) v_j, and zi/zjz_i / z_j is holomorphic and nonzero on Ui∩UjU_i \cap U_j. Its dual is 𝒪(1)\mathcal{O}(1), and 𝒪(k)\mathcal{O}(k) is the kk-th tensor power of 𝒪(1)\mathcal{O}(1).

Non-example: the holomorphic tangent bundle of ℙ2\mathbb{P}^2 is a holomorphic vector bundle of rank 22, so it is not a line bundle. Its top exterior power is a line bundle, the anticanonical bundle 𝒪(3)\mathcal{O}(3).

The tensor product of two line bundles with transition functions gijg_{ij} and hijh_{ij} has transition functions gijhijg_{ij} h_{ij}, and the dual of the first has gij−1g_{ij}^{-1}.

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 vector bundle concept
  3. Tautological line bundle concept
  4. Holomorphic line bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Holomorphic_vector_bundle
About this page
TagF5R676980R
URIm2://F5R676980R
Kinddefinition
WritingW0 stub
MSC32L05, 14C22
DefinesHolomorphic line bundle
UsesHolomorphic vector bundle, Complex manifold, Tautological line bundle

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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.