Math 2.0

Several complex variables and analytic spaces Compact complex manifolds Example

Hopf surface

Builds on Complex manifoldUniversal coverKodaira dimensionBetti number

Example

A Hopf surface is a compact complex surface whose universal cover is biholomorphic to ℂ2∖{0}\C^2 \setminus \set{0}. It is primary if its fundamental group is infinite cyclic.

Example: let 0<∣λ∣<10 < \abs{\lambda} < 1 and X=(ℂ2∖{0})/⟨g⟩X = (\C^2 \setminus \set{0}) / \langle g \rangle with g(z,w)=(λz,λw)g(z, w) = (\lambda z, \lambda w), the Hopf manifold of dimension 22. Since ℂ2∖{0}\C^2 \setminus \set{0} is homotopy equivalent to S3S^3, it is simply connected, so it is the universal cover of XX, and π1(X)≅ℤ\pi_1(X) \cong \Z.

Check that XX is a class VII surface. Its first Betti number is 11, since XX is diffeomorphic to S1×S3S^1 \times S^3. Its Kodaira dimension is −∞-\infty. A section of KX⊗mK_X^{\otimes m} with m≥1m \ge 1 pulls back to h(z,w) (dz∧dw)⊗mh(z, w)\,(dz \wedge dw)^{\otimes m} with hh holomorphic on ℂ2∖{0}\C^2 \setminus \set{0}, hence, by Hartogs's extension theorem, on ℂ2\C^2. Invariance under gg gives h(λz,λw) λ2m=h(z,w)h(\lambda z, \lambda w)\, \lambda^{2m} = h(z, w), so each Taylor coefficient cjkc_{jk} of hh satisfies cjkλj+k+2m=cjkc_{jk} \lambda^{j + k + 2m} = c_{jk}; since ∣λ∣<1\abs{\lambda} < 1, all cjkc_{jk} vanish and h=0h = 0.

Remarks

Kodaira showed that every primary Hopf surface is the quotient of ℂ2∖{0}\C^2 \setminus \set{0} by the infinite cyclic group generated by a holomorphic contraction that fixes 00. Every Hopf surface has b1=1b_1 = 1 and b2=0b_2 = 0, so it is not Kähler. The function z/wz/w on the example above is invariant under gg, so it gives a nonconstant meromorphic function on XX. It also gives a map to ℂℙ1\mathbb{CP}^1 whose fibres are elliptic curves, and this XX has algebraic dimension 11.

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. Betti number concept
  2. Complex manifold concept
  3. Kodaira dimension concept
  4. Universal cover concept
  5. Hopf surface example

Further reading

  1. Web https://en.wikipedia.org/wiki/Hopf_surface
About this page
TagPNFNGBXRM3
URIm2://PNFNGBXRM3
Kindexample
WritingW0 stub
MSC32J15
Instance ofClass VII surface
UsesComplex manifold, Universal cover, Kodaira dimension, Betti number
Same as

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.