[論文レビュー] Contractible n-Manifolds and the Double n-Space Property

Pete Sparks|arXiv (Cornell University)|Feb 11, 2015

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

ひとこと要約

この論文は、3つの収縮可能部品に分解できる収縮可能スパインを持つ4次元多様体「ジャイストのハット」を構成する。これにより、閉じた4次元球体への分解が可能となり、それらを用いて可算無限個の異なる4次元多様体の族が得られる。これらの多様体を無限遠での連結和により合成することで、$ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解する非可算無限個の開4次元多様体の族が得られ、非$ℝ^4$ 4次元多様体が二重$n$次元空間性質を満たすことが示された。

ABSTRACT

We are interested in contractible n-manifolds M which "split" as M = A union B where A,B, and A intersect B are all homeomorphic to Euclidean n-space (such M are called open n-splitters) or A,B, and A intersect B are all homeomorphic to the n-dimensional unit ball (such M are called closed n-splitters). We introduce a closed 4-splitter M from which we construct an infinite collection of distinct closed 4-splitters and an uncountable set of open 4-splitters.

研究の動機と目的

• 収縮可能$n$次元多様体で、$A \cup_C B$ に分解され、$A, B, C \approx \mathbb{R}^n$ または $\mathbb{B}^n$ となるものを探ること。
• スパインが3つの収縮可能部品に分解できる4次元多様体を構成し、閉じた4次元球体への分解を可能にする。
• 互いに異なる、可算無限個の4次元多様体の族を、閉じたスプリッターとして生成すること。
• これらの閉じたスプリッターの内部における無限遠での連結和を用いて、$ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解する非可算無限個の開4次元多様体の族を構成すること。
• 非$\mathbb{R}^4$ 4次元多様体が二重$n$次元空間性質を満たすことを示し、ガバイのスプリッティングに関する結果を拡張すること。

提案手法

• ジャイストのハットと呼ばれる、スパインが3つの収縮可能部分複体に分解できる4次元多様体を導入する。
• 組み合わせ的位相幾何学と収縮可能性を用いて、ジャイストのハットが $ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解できることを示し、これにより閉じたスプリッターであることを証明する。
• トポロジー的変形を用いて、ジャイストのハットから、互いに異なる4次元多様体の可算無限族を構成し、そのすべてが $ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解可能であることを保証する。
• これらの多様体の内部における無限遠での連結和を適用し、開4次元多様体の非可算族を形成する。
• レイトレースに基づく構成法と正規近傍を用いて、和成分における適切性と位相型の保存を保証する。
• 組合せ的群論と半安定性の結果を適用し、得られた開多様体が二重$n$次元空間性質を保持することを検証する。

実験結果

リサーチクエスチョン

• RQ1 スパインが3つの収縮可能部品に分解できるような、$ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解する収縮可能4次元多様体を構成できるか？
• RQ2 このような4次元多様体の存在が、可算無限個の異なる閉じたスプリッターの族を導くか？
• RQ3 これらの閉じたスプリッターの内部における無限遠での連結和が、$ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解する非可算無限個の開4次元多様体を生成できるか？
• RQ4 非$\mathbb{R}^4$ 4次元多様体が二重$n$次元空間性質を満たすものは存在するか？
• RQ5 無限遠での連結和が分解構造を保つために、無限遠での基本群と半安定性条件を用いることができるか？

主な発見

• スパインが3つの収縮可能部品に分解できる4次元多様体「ジャイストのハット」が構成され、これにより $ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解可能であることが示され、閉じたスプリッターであることが判明した。
• ジャイストのハットから、互いに異なる4次元多様体の可算無限族が生成され、それぞれが $ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解可能である。
• この族に属する多様体の内部における無限遠での連結和により、$ℝ^4 \cup_{ℝ^4} ℝ^4$ に分解する非可算無限個の開4次元多様体の集合が得られた。
• この構成により、非$ℝ^4$ 4次元多様体が二重$n$次元空間性質を満たすことが証明され、4次元におけるエキゾチックなスプリッティングに関する疑問に答えが得られた。
• 無限遠での連結和が分解構造を保つために、分割部品の共通部分における適切なレイトレースと正規近傍を用いることで、構成の根拠が得られた。
• ガバイのホワイトヘッド多様体に関する定理を拡張し、二重$n$次元空間性質が$ℝ^4$ に限定されないことが示された。