[論文レビュー] $\mathbb{S}ol^3 imes\mathbb{E}^1$-manifolds

Jonathan A. Hillman|arXiv (Cornell University)|Apr 8, 2013

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

ひとこと要約

本稿では、閉じた Sol³ × E¹多様体が、7つの平坦な2-軌道空間（T, Kb, A, Mb, S(2,2,2,2), P(2,2), D(2,2)）のうちの1つを底空間とするトーラスを fibre とする Seifert フibrated であり、そのファイブレーションが正規で一意的であることを確立している。また、分類の枠組みを提示し、底空間軌道空間、ファイバーの基本群へのモノドロミー作用、および群コホモロジーにおけるオイラー類 H²(β; Nα) を用いる。これにより、このような4次元多様体の完全な位相的分類の基盤が築かれる。

ABSTRACT

We show that $\mathbb{S}ol^3 imes\mathbb{E}^1$-manifolds are Seifert fibred, with general fibre the torus, and base one of the seven flat 2-orbifolds $T, Kb, \mathbb{A}, \mathbb{M}b, S(2,2,2,2), P(2,2)$ or $\mathbb{D}(2,2)$, and outline a classification of such 4-manifolds.

研究の動機と目的

• 閉じた Sol³ × E¹ 多様体に Seifert ファイブレーションが存在し、それが一意的であることを確立すること。
• そのようなファイブレーションの可能な底空間軌道空間を、T, Kb, A, Mb, S(2,2,2,2), P(2,2), D(2,2) の7つの平坦な2-軌道空間として特定すること。
• 底空間軌道空間、ファイバーの基本群へのモノドロミー作用、および H²(β; Nα) 内のオイラー類を用いて、これらの4次元多様体を分類する枠組みを提供すること。
• このような多様体の基本群が、ねじれを持たず、Hirsch 次元4の仮想多Z群であり、幾何構造が群構造によって決定されることを示すこと。

提案手法

• Lie 群 Sol³ × R の交換子部分群 R³ による標準的foliation を用いて、商多様体 M 上に Seifert ファイブレーションを誘導する。
• Isom(Sol³ × E¹) 内の格子としての π₁(M) を分析し、N ≅ Z² である正規部分群を持ち、商群 β = π₁^orb(B) が平坦な2-軌道空間群であることを示す。
• Hirsch 次元、交換子部分群、中心化子、および Hirsch-Plotkin の半径を用いた群論的道具を用いて π₁(M) の構造を分析する。
• LHSスペクトル系列を用いて H²(β; Nα) の上界を評価し、固定された β と α に対して有限個の拡張しか存在しないことを証明する。
• 作用 α: β → Out(N) ≅ GL(2, Z) を用い、特に2階の部分群への制限によりねじれの有無を確認する。
• D∞ または eD∞ を生成する行列の共轭類を分析することで、可能な作用を分類する。

実験結果

リサーチクエスチョン

• RQ1 閉じた Sol³ × E¹ 多様体は Seifert ファイブレーションを持つのか？ もし持つならば、ファイバーと底空間の型は何か？
• RQ2 このような多様体に於ける Seifert ファイブレーションは、底空間の自己同型を除いて一意的か？
• RQ3 Sol³ × E¹ 多様体の分類は、底空間軌道空間、ファイバーへのモノドロミー作用、および H²(β; Nα) 内のオイラー類に還元可能か？
• RQ4 基本群にどのような条件を課すと、多様体が幾何構造 Sol³ × E¹ を持つようになるか？
• RQ5 与えられた底空間軌道空間と作用に対して、何種類の異なる Sol³ × E¹ 多様体が存在するか？

主な発見

• 任意の閉じた Sol³ × E¹ 多様体は、一般ファイバーがトーラスで、底空間が T, Kb, A, Mb, S(2,2,2,2), P(2,2), D(2,2) の7つの平坦な2-軌道空間のうちの1つである、正規で本質的に一意な Seifert ファイブレーションを持つ。
• このような多様体の1次ベッチ数 β₁(M) は、β₁(M) ≤ 2 を満たす。
• 基本群 π₁(M) はねじれを持たず、Hirsch 次元4の仮想多Z群であり、幾何構造は群構造によって決定される。
• 固定された底空間軌道空間 β と作用 α: β → GL(2, Z) に対して、このような4次元多様体の同型類は有限個に限られる。これは、制約下で H²(β; Nα) が有限であるためである。
• π₁(M) のねじれの有無は、β の各2階部分群に対して、H²(Z/2Z; (Z²)α) 内の制限 cohomology class e(ξ|Z/2Z) が消えないことと同値である。
• 分類は、D∞ または eD∞ に同型な像を持つ作用 α の共轭類によるパラメータ化と、H²(β; Nα) 内のコホモロジー類による拡張の分類に還元される。