Math 2.0

Several complex variables and analytic spaces Compact complex manifolds Example

Hopf manifold

Builds on Properly discontinuous actionQuotient spaceKähler manifoldBetti number

Example

Let n≥2n \ge 2 and let λ∈ℂ\lambda \in \C with 0<∣λ∣<10 < \abs{\lambda} < 1. Let W=ℂn∖{0}W = \C^n \setminus \set{0} and let Γ\Gamma be the group of maps gk(z)=λkzg_k(z) = \lambda^k z, k∈ℤk \in \Z. The quotient X=W/ΓX = W / \Gamma is a (classical) Hopf manifold, a compact complex manifold of dimension nn.

Check that XX is a complex manifold. The action is free: if λkz=z\lambda^k z = z with z≠0z \ne 0, then λk=1\lambda^k = 1, so k=0k = 0. It is properly discontinuous: a compact K⊂WK \subset W lies in a shell {r≤∣z∣≤R}\set{r \le \abs{z} \le R} with r>0r > 0. The set gk(K)g_k(K) lies in {∣λ∣kr≤∣z∣≤∣λ∣kR}\set{\abs{\lambda}^k r \le \abs{z} \le \abs{\lambda}^k R}, which meets KK for only finitely many kk. The maps gkg_k are holomorphic, so the quotient inherits a complex structure. It is compact: it is the image of the compact shell {∣λ∣≤∣z∣≤1}\set{\abs{\lambda} \le \abs{z} \le 1}.

For λ\lambda real, the map z↦(∣z∣,z/∣z∣)z \mapsto (\abs{z}, z/\abs{z}) identifies WW with (0,∞)×S2n−1(0, \infty) \times S^{2n-1}, and Γ\Gamma acts only on the first factor. So XX is diffeomorphic to S1×S2n−1S^1 \times S^{2n-1}; the same holds for all λ\lambda.

Remarks

XX is not Kähler. On a compact Kähler manifold of dimension nn the class of the Kähler form ω\omega in H2(X;ℝ)H^2(X; \R) is nonzero, since ∫Xωn>0\int_X \omega^n > 0. But by the Künneth formula H2(S1×S2n−1;ℝ)=0H^2(S^1 \times S^{2n-1}; \R) = 0 for n≥2n \ge 2, because 2n−1≥32n - 1 \ge 3. Also the first Betti number of XX is 11, an odd number, which is impossible for a compact Kähler manifold.

For n=1n = 1 the same construction gives ℂ∗/λℤ\C^* / \lambda^\Z, an elliptic curve, which is Kähler. For n=2n = 2 one gets the primary Hopf surfaces of diagonal type.

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. Kähler manifold concept
  3. Properly discontinuous action concept
  4. Quotient space concept
  5. Hopf manifold example

Further reading

  1. Web https://en.wikipedia.org/wiki/Hopf_manifold
About this page
TagZ8R2D33WSM
URIm2://Z8R2D33WSM
Kindexample
WritingW0 stub
MSC32J18, 32Q55
Instance ofComplex manifold
UsesProperly discontinuous action, Quotient space, Kähler manifold, 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.