[論文レビュー] Embeddings of k-connected n-manifolds into R^{2n-k-1}

A. Skopenkov|arXiv (Cornell University)|Dec 1, 2008

Topological and Geometric Data Analysis参考文献 11被引用数 4

ひとこと要約

この論文は、$n \geq 2k+6$ および $k \geq 1$ の条件下で、閉じた $k$-連結 $n$-多様体の $\mathbb{R}^{2n-k-1}$ への埋め込みの同相型の幾何的分類を、ホイットニー不変量と $H_{k+1}(N;\mathbb{Z}_2)$ の明示的作用を含む完全系列を用いて行う。主な結果として、$n-k = 4s+1$ のとき、埋め込み型と $H_{k+2}(N;\mathbb{Z}_2)$ の間に1対1対応があることが示されている。この手法は、埋め込みとホモロジー不変量を直接構成することで、古典的な絡みつき理論を一般化し、従来の代数的分類を拡張する。

ABSTRACT

We obtain estimations for isotopy classes of embeddings of closed k-connected n-manifolds into R^{2n-k-1} for n>2k+5 and k\ge0. This is done in terms of an exact sequence involving the Whitney invariants and an explicitly constructed action of H_{k+1}(N;Z_2) on the set of embeddings. (For k e1 classification results were obtained by algebraic methods without direct construction of embeddings or homology invariants.) The proof involves reduction to classification of embeddings of punctured manifold and uses parametric connected sum of embeddings.

研究の動機と目的

• 閉じた $k$-連結 $n$-多様体の $\mathbb{R}^{2n-k-1}$ への埋め込みの同相型の幾何的かつ明示的な分類を、$n \geq 2k+6$ および $k \geq 1$ の条件下で提供すること。
• 埋め込みを分類する明示的な幾何的不変量（ホイットニー不変量と $H_{k+1}(N;\mathbb{Z}_2)$ の作用）を構成し、従来の代数的手法を越えること。
• ハーフラー＝ヒューズ分類を、ホイットニー不変量が単独では十分でない次の安定範囲 $m = 2n-k-1$ に拡張すること。
• ほぼ平行化可能多様体において、$n-k = 4s+1$ の条件下で、埋め込みの同相型と $H_{k+2}(N;\mathbb{Z}_2)$ の間に1対1対応を確立すること。
• $k=0$ および $k \geq 2$ の場合の先行結果を統一・一般化し、$k=1$ に対しても同様の一様な枠組みを提供すること。

提案手法

• 埋め込みの分類は、$N_0 = N \setminus \text{int}(B^n)$（穿孔された多様体）の埋め込みの分類への還元により達成され、埋め込みのパrametric連結和が利用される。
• ホイットニー不変量 $W$、2次不変量 $W'$、および $H_{k+1}(N;\mathbb{Z}_2)$ の $E^{2n-k-1}(N)$ 上への作用 $b$ を含む完全系列が構成される。
• 証明にはハーフラー＝ウー不変量と削除積構成が用いられ、主な道具は $n \geq 4$ の場合のバウズムの定理および削除積の補題である。
• 作用 $b$ は明示的に定義され、ホイットニー不変量写像の纤维上に自由かつ推移的に作用することが示され、完全系列の構造が可能になる。
• $n-k$ が偶数のとき、系列は $H_{k+2}(N) \times H_{k+1}(N;\mathbb{Z}_2) \to 0$ で終わるが、$n-k$ が奇数のとき、$W: E^{2n-k-1}(N) \to H_{k+2}(N;\mathbb{Z}_2) \to 0$ に簡略化され、 torsion の役割が顕在化する。
• 同変ホモトピー論に依存することなく、幾何的代表元と不変量を直接構成することで、分類がアルゴリズム的かつ明示的になる。

実験結果

リサーチクエスチョン

• RQ1 $k$-連結 $n$-多様体の $\mathbb{R}^{2n-k-1}$ への埋め込みの分類を、純粋な代数的アプローチから離れて、幾何的かつ明示的に行うことは可能か？
• RQ2 条件 $n \geq 2k+6$ および $k \geq 1$ の下で、集合 $E^{2n-k-1}(N)$ の正確な構造は何か？
• RQ3 ホイットニー不変量と $H_{k+1}(N;\mathbb{Z}_2)$ の作用が、$2n-k-1$ 範囲の埋め込みをどのように組み合わせて分類するか？
• RQ4 ホイットニー不変量 $W$ が $H_{k+2}(N;\mathbb{Z}_2)$ と1対1対応を生じる条件は何か？
• RQ5 分類を $k=1$ にまで拡張でき、$k=0$ および $k \geq 2$ の場合と同様の幾何的明確さを保てるか？

主な発見

• $n-k = 4s+1$ のとき、$N \to \mathbb{R}^{2n-k-1}$ の埋め込みの同相型と $H_{k+2}(N;\mathbb{Z}_2)$ の間に1対1対応がある。これは補題1.2.aで述べられている。
• $n-k$ が偶数であり、かつ $H_{k+2}(N)$ が無限大であるときかつそのときに限り、集合 $E^{2n-k-1}(N)$ は無限大である。これは補題1.2.bによる。
• 作用 $b: H_{k+1}(N;\mathbb{Z}_2) \to E^{2n-k-1}(N)$ と写像 $W$、$W'$ を含む完全系列が構成され、$n \geq 2k+6$、$k \geq 1$、$N$ が $\mathbb{R}^{2n-k-1}$ に埋め込めるという条件下で分類が得られる。
• $n-k$ が奇数のとき、ホイットニー不変量 $W$ は全射であることが示され、$n-k$ が偶数のとき、$W \times W'$ の像はボクシュタイン準同型の関係によって制約を受ける。
• この構成は $k=1$ に対しても変更なしに有効であり、従来の代数的分類におけるギャップを解消する。
• 削除積の補題により、$E^{2n-1}(N_0)$ と $H^{2n-2}(N_0^*; \mathbb{Z}_{tw})$ の間に1対1対応が確立され、これが不変量の幾何的実現に用いられる。