[論文レビュー] On Certain 5-manifolds with Fundamental Group of Order 2

Ian Hambleton, Yang Su|arXiv (Cornell University)|Mar 30, 2009

Geometric and Algebraic Topology参考文献 19被引用数 3

ひとこと要約

本稿では、基本群が ℤ/2 で、2次ホモロジーが torsion-free である滑らかでなく、閉じており、向き付け可能な5次元多様体を、ファイバー型条件の下で完全に分類する。Pin^†- bordism 不変量と H₂ のランクを用いて、2つのこのような多様体が微分同相（または位相同相）であるための必要十分条件は、同じ w₂-型、H₂ ランク、および特徴的部分多様体の Ω₄^Pin^†/± 内の bordism 種別を共有することである。

ABSTRACT

In this paper, an explicit classification result for certain 5-manifolds with fundamental group Z/2 is obtained. These manifolds include total spaces of circle bundles over simply-connected 4-manifolds.

研究の動機と目的

• 基本群が ℤ/2 で、2次ホモロジーが torsion-free である滑らかでなく、閉じており、向き付け可能な5次元多様体を、ファイバー型条件の下で分類すること。
• このような多様体の微分同相型と位相同相型を完全に決定する不変量の集合を同定すること。
• 単連結4次元多様体上への円被覆の明示的幾何的モデルを提供すること。
• このような5次元多様体が滑らかに可能（smoothable）または非滑らかに可能（non-smoothable）であるための条件を確立すること。
• 分類結果を、接触構造、Sasakian 構造、または Einstein 度量などの幾何的構造の存在と関連付けること。

提案手法

• Kreck が開発した修正された手術理論を適用し、与えられたホモトピー型の多様体を分類する。
• 手術完全列と安定ベクトル束への Pin^†-構造を用いて不変量を定義する。
• 5次元多様体 M の特徴的部分多様体 P を用いて、[P] ∈ Ω₄^Pin^†/± の bordism 種別を定義する。
• 特に Ω₄^Pin^c ≅ ℤ/8 ⊕ ℤ/2 および Ω₄^Top ≅ ℤ ⊕ ℤ/2 である Pin^†-bordism 群の分類に依存する。
• w₂-型分類（I, II, III）を用いて、スピン構造と非スピン構造を区別する。
• c₁(ξ)² と w₂(X)² の mod 2 および mod 8 不変量を用いて、bordism 種別と滑らか性を特定する。

実験結果

リサーチクエスチョン

• RQ1 基本群が ℤ/2 で、2次ホモロジーが torsion-free である滑らかでなく、閉じており、向き付け可能な5次元多様体が、ファイバー型条件の下で完全に分類されるための不変量は何か？
• RQ2 特徴的部分多様体の Pin^†-bordism 種別が、このような5次元多様体の微分同相型にどのように寄与するか？
• RQ3 c₁(ξ) = 2·(原始的) である単連結4次元多様体上への円被覆が、どのような条件下で滑らかに可能または非滑らかに可能か？
• RQ4 w₂-型、H₂ ランク、および特徴的部分多様体の bordism 種別は、分類においてどのように関係するか？
• RQ5 特に基本群が ℤ/2 である4次元多様体上への円被覆に対して、明示的な幾何的モデルを構成できるか？

主な発見

• 基本群が ℤ/2 で、2次ホモロジーが torsion-free である滑らかでなく、閉じており、向き付け可能なファイバー型5次元多様体2つが微分同相であるための必要十分条件は、同じ w₂-型、H₂ ランク、および特徴的部分多様体の Pin^†-bordism 種別を共有することである。
• タイプ II 円被覆（単連結スピン4次元多様体上）で、c₁(ξ) = 2·(原始的) の場合、KS(X) = 0 ならば M は (S²×ℝP³)♯_{S¹}((#_k S²×S²)×S¹) に微分同相であり、KS(X) = 1 ならば同じ構造に位相同相だが、非滑らかに可能な S²×ℝP³ を含む。
• タイプ I 円被覆（非スピン4次元多様体上）では、w₂(X)² と c₁(ξ)² の mod 2 奇偶性に依存し、X⁵(q)♯_{S¹}(S²×ℝP³) または X⁵(q)♯_{S¹}(ℂP²×S¹) の異なるモデルが現れる。
• 連結和分解における整数 k は、S²×ℝP³ の場合 k = ½(rank H₂(X) − ½(7 + (−1)^q)) であり、ℂP²×S¹ の場合 k = ½(rank H₂(X) − ½(5 + (−1)^q)) で与えられる。
• 分類により、すべての提示された多様体が W₃ = 0 を満たすことが保証され、これは接触構造の存在に必要な条件である。
• Geiges と Stipsicz は、この結果を応用して、5次元多様体上への接触構造の存在に関する新しい存在定理を証明した。