[論文レビュー] Suspensions of homology spheres

Robert D. Edwards|ArXiv.org|Oct 18, 2006

Topological and Geometric Data Analysis参考文献 65被引用数 34

ひとこと要約

この論文は、任意のホモロジー3次元球面の二重ホモトピーが5次元球面に位相的に同相であることを確立し、マズールのホモロジー3次元球面に対する二重ホモトピー予想の最初の証明を提供する。高次元位相幾何学におけるセル型分解と飲み込み技術を用いて、エドワーズは、単純に連結でない多様体がホモトピーによって球面に変換され得ることを示し、幾何位相幾何学における長年の未解決問題を解決し、キャンンによる一般予想の後の証明に基礎を築いた。

ABSTRACT

This article is one of three highly influential articles on the topology of manifolds written by Robert D. Edwards in the 1970's but never published. It presents the initial solutions of the fabled Double Suspension Conjecture. (The other two articles are: 'Approximating certain cell-like maps by homeomorphisms' and 'Topological regular neighborhoods') The manuscripts of these three articles have circulated privately since their creation. The organizers of the Workshops in Geometric Topology (http://www.math.oregonstate.edu/~topology/workshop.htm) with the support of the National Science Foundation have facilitated the preparation of electronic versions of these articles to make them publicly available. The second and third articles are still in preparation. The current article contains four major theorems: I. The double suspension of Mazur's homology 3-sphere is a 5-sphere, II. The double suspension of any homology n-sphere that bounds a contractible (n+1)-manifold is an (n+2)-sphere, III. The double suspension of any homology 3-sphere is the cell-like image of a 5-sphere. IV. The triple suspension of any homology 3-sphere is a 6-sphere. Edwards' proof of I. was the first evidence that the suspension process could transform a non-simply connected manifold into a sphere, thereby answering a question that had puzzled topologists since the mid-1950's if not earlier. Results II, III and IV represent significant advances toward resolving the general double suspension conjecture: the double suspension of every homology n-sphere is an (n+2)-sphere. [That conjecture was subsequently proved by J. W. Cannon (Annals of Math. 110 (1979), 83-112).]

研究の動機と目的

• 特定のクラスのホモロジー球面、特にマズールのホモロジー3次元球面に対して二重ホモトピー予想を解決すること。
• 元の空間が単純に連結でない場合でも、ホモロジー球面をホモトピー化することで位相的球面が得られることを示すこと。
• セル型写像に関する基礎的結果を確立し、一般化されたホモロジー多様体の中での多様体認識におけるその役割を明らかにすること。
• 高次元位相幾何学における野生的埋め込みと多面体的構造を理解するための枠組みを提供すること。

提案手法

• 空間を錐と積構造に分解することにより、ホモロジー3次元球面の二重ホモトピーへの5次元球面からのセル型写像を構成する。
• 6次元多様体における飲み込み技術を適用し、セル型写像の非自明な点の逆像を収縮させるホメオモルフィズムを生成する。
• ほぼ被覆再帰原理を用いて、ホメオモルフィズム下での像集合の直径を制御し、点への収束を保証する。
• セル型写像の写像上昇性質を活用し、特に $ H^3 * S^2 $ の文脈で、被覆空間から定義域へ構成を逆転して移す。
• 内部コラーや錐上の一様構造を用いて、近傍の閉包上での恒等写像に $ \delta $-近い近似の存在を保証する。
• ホモトピー下での非自明な点の逆像の振る舞いを分析し、高余次元における制御されたアイソトピーを用いて収縮可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 元の空間が単純に連結でないにもかかわらず、ホモロジー3次元球面の二重ホモトピーが球面に位相的に同相である可能性はあるか？
• RQ2 ホモロジー $ n $-次元球面の二重ホモトピーが $ (n+2) $-次元球面となる条件は何か？
• RQ3 セル型写像を用いて、一般化されたホモロジー多様体の中での多様体認識が、点の逆像の制御された収縮によって可能になるか？
• RQ4 ホモロジー3次元球面の三重ホモトピーは常に6次元球面か？
• RQ5 高次元空間における飲み込み技術を用いて、セル型写像をホメオモルフィズムに近似できるか？

主な発見

• マズールのホモロジー3次元球面の二重ホモトピーは5次元球面に位相的に同相であり、二重ホモトピー予想の有効性を示す最初の具体的な例を提供する。
• 可縮な $ (n+1) $-次元多様体を境界とする任意のホモロジー $ n $-次元球面の二重ホモトピーは $ (n+2) $-次元球面である。
• 任意のホモロジー3次元球面の二重ホモトピーは、5次元球面のセル型像として得られ、セル型写像と多様体認識との間の重要な関係を確立する。
• 任意のホモロジー3次元球面の三重ホモトピーは6次元球面に位相的に同相であり、この場合における複数ホモトピー予想を確認する。
• セル型写像 $ f: S^5 \to \Sigma^2 H^3 $ の非自明な点の逆像は、次元5では同じ飲み込み法では完全に収縮できないことから、次元的障害が存在することが示唆される。
• 証明は、被覆領域の閉包上での恒等写像に $ \delta $-近い近似の存在に依存しており、これは被覆空間における内部コラーと一様構造によって保証される。