Wu manifold

From testwiki
Jump to navigation Jump to search

In mathematics, the Wu manifold is a 5-manifold defined as a quotient space of Lie groups appearing in the mathematical area of Lie theory. Due to its special properties it is of interest in algebraic topology, cobordism theory and spin geometry. The manifold was first studied and named after Wu Wenjun.

Definition

The special orthogonal group SO⁡(n) embeds canonically in the special unitary group SU⁡(n). The orbit space:

W:=SU⁡(3)/SO⁡(3)

is the Wu manifold.[1][2]

Properties

  • W is a simply connected rational homology sphere (with non-trivial homology groups H0(W)≅ℤ, H2(W)≅ℤ2[3] and H5(W)≅ℤ), which is not a sphere. Since in four or lower dimensions, every simply connected rational homology sphere is in fact a sphere, W provides a counterexample of lowest possible dimension.[4][5]
  • W has the cohomology groups:[1]
    H0(W;ℤ2)=ℤ2
    H1(W;ℤ2)=1
    H2(W;ℤ2)=ℤ2
    H3(W;ℤ2)=ℤ2
    H4(W;ℤ2)=1
    H5(W;ℤ2)=ℤ2
  • W is a generator of the oriented cobordism group Ω5SO≅ℤ2.[1][2] This can be detected using the de Rham invariant, a particular Stiefel–Whitney number, which describes an isomorphism w2w3:Ω5SO→ℤ2. Since the first Stiefel-Whitney class vanishes due to orientability, all other Stiefel-Whitney numbers automatically vanish. As a consequence, any orientable 5-manifold with non-vanishing de Rham invariant is orientable bordant to W, which for example includes the Dold manifold P(2,1)=(S1×ℂP2)/ℤ2. Both yield to each other under surgery for embeddings S2×D3↪W and S1×D4↪P(2,1) with common boundary S2×S3. An oriented bordism is then given by the cartesian product of one manifold with the unit interval and then the corresponding surgery on one end.
  • W has a non-vanishing second and third Stiefel–Whitney class as well as a non-vanishing third integral Stiefel–Whitney class:[6]
    w2(W)≠0;
    w3(W)≠0;
    W3(W)≠0.
  • W can be immersed in ℝ8, but not in ℝ7. This is because all simply connected 5-manifolds can be immersed in ℝ8 with the third integral Stiefel-Whitney class vanishing if and only if it can be reduced to ℝ7 and the second Stiefel-Whitney class vanishing if and only if it can be further reduced to ℝ6. Both isn't the case due to the previous property.[7]
  • W is a spinh manifold which doesn't allow a spinc structure. The latter property comes from the fact that a spinc structure implies a vanishing third Stiefel-Whitney class, which isn't the case here.

Literature

References

  1. ↑ 1.0 1.1 1.2 Template:Cite web
  2. ↑ 2.0 2.1 Template:Cite web
  3. ↑ Barden 1965, Lemma 1.1. (ii)
  4. ↑ Template:Cite journal
  5. ↑ Template:Cite web
  6. ↑ Barden 1965, Lemma 1.1.(v) and Lemma 1.2.
  7. ↑ Barden 1965, Lemma 2.4.