Math 2.0

Several complex variables and analytic spaces Definition

Holomorphic fiber bundle

Builds on Fiber bundleComplex manifoldHolomorphic mapBiholomorphism

Definition

Let EE, BB and FF be complex manifolds. A holomorphic fiber bundle over BB with fibre FF and total space EE is a surjective holomorphic map π ⁣:E→B\pi \colon E \to B with the following property. Each point of BB has an open neighbourhood UU and a biholomorphism φ ⁣:π−1(U)→U×F\varphi \colon \pi^{-1}(U) \to U \times F with pr1∘φ=π\mathrm{pr}_1 \circ \varphi = \pi on π−1(U)\pi^{-1}(U).

Remarks

The underlying smooth map is a fiber bundle in the usual sense. On overlaps the trivializations differ by maps (b,f)↦(b,gij(b)(f))(b, f) \mapsto (b, g_{ij}(b)(f)), where each gij(b)g_{ij}(b) is a biholomorphism of FF that depends holomorphically on bb. When F=ℂrF = \C^r and each gij(b)g_{ij}(b) is linear, the bundle is a holomorphic vector bundle.

Example: the map π ⁣:ℂ2∖{0}→ℙ1\pi \colon \C^2 \setminus \set{0} \to \mathbb{P}^1, (z0,z1)↦[z0:z1](z_0, z_1) \mapsto [z_0 : z_1], with fibre F=ℂ∗F = \C^*. Over U0={z0≠0}U_0 = \set{z_0 \ne 0} the map (z0,z1)↦([z0:z1],z0)(z_0, z_1) \mapsto ([z_0 : z_1], z_0) is a biholomorphism π−1(U0)→U0×ℂ∗\pi^{-1}(U_0) \to U_0 \times \C^*, with inverse ([1:w],c)↦(c,cw)([1 : w], c) \mapsto (c, c w), and similarly over U1U_1.

Non-example: π ⁣:ℂ2→ℂ\pi \colon \C^2 \to \C, (z,w)↦zw(z, w) \mapsto zw. Each fibre over t≠0t \ne 0 is biholomorphic to ℂ∗\C^*, but the fibre over 00 is the union of the two axes, which is not a manifold. So no neighbourhood of 00 has a trivialization.

By a theorem of Fischer and Grauert, a proper holomorphic submersion between connected complex manifolds whose fibres are all biholomorphic to one another is a holomorphic fiber bundle.

Reading path

To understand this page from the ground up, read these 5 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. Biholomorphism concept
  2. Complex manifold concept
  3. Fiber bundle concept
  4. Holomorphic map concept
  5. Holomorphic fiber bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Fiber_bundle
About this page
TagPZZNV9SEF1
URIm2://PZZNV9SEF1
Kinddefinition
WritingW0 stub
MSC32L05, 55R10
DefinesHolomorphic fiber bundle
UsesFiber bundle, Complex manifold, Holomorphic map, Biholomorphism

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.