[論文レビュー] Classification of embeddings below the metastable dimension

A. Skopenkov|ArXiv.org|Jul 18, 2006

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

ひとこと要約

この論文は、メタ安定次元未満のユークリッド空間への多様体の埋め込みを分類するための新しいアプローチを開発した。これには、新しい埋め込み不変量である「ほぼ埋め込み」と滑らかさ理論が用いられる。特に、単純に連結でない4次元多様体 $S^1 \times S^3$ に対するPL埋め込みの完全な具体的な分類が得られ、同相型の集合が $ olimits\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$ に同型であり、明示的な幾何的群構造を持つことが示された。

ABSTRACT

We develop a new approach to the classical problem on isotopy classification of embeddings of manifolds into Euclidean spaces. This approach involves studying of a new embedding invariant, of almost-embeddings and of smoothing, as well as explicit constructions of embeddings. Using this approach we obtain complete concrete classification results below the metastable dimension range, i.e. where the configuration spaces invariant of Haefliger-Wu is incomplete. Note that all known complete concrete classification results, except for the Haefliger classification of links and smooth knots, can be obtained using the Haefliger-Wu invariant. More precisely, we classify embeddings S^p x S^{2l-1} -> R^{3l+p} for p1 and for the smooth category). A particular case states that the set of piecewise-linear isotopy classes of piecewise-linear embeddings (or, equivalently, the set of almost smooth isotopy classes of smooth embeddings) S^1 x S^3 -> R^7 has a geometrically defined group structure, and with this group structure is isomorphic to Z + Z + Z_2. We exhibit an example disproving the conjecture proposed by Viro and others on the completeness of the multiple Haefliger-Wu invariant for classification of PL embeddings of connected manifolds in codimension at least 3.

研究の動機と目的

• メタ安定次元範囲未満の $p < l$ に対して、$S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$ の埋め込みの完全な同相型分類を提供すること。
• この範囲でハーフリガー＝ウー不変量の不完全性を克服するため、新しい不変量と技術を導入すること。
• すべての同相型の埋め込みに対する明示的な代表元を構成し、幾何的および代数的理解を可能にすること。
• 3次元以上の余次元におけるPL埋め込みについて、ヴィロの複数のハーフリガー＝ウー不変量の完全性に関する予想を反証すること。
• $S^1 \times S^3 \to \mathbb{R}^7$ の同相型の集合に、幾何的に定義された群構造を確立し、それが $ olimits\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$ に同型であることを示すこと。

提案手法

• ハーフリガー＝ウー不変量の制限を避けるために、ほぼ埋め込みと滑らかさ理論に基づく新しい埋め込み不変量を導入すること。
• 特に $S^1 \times S^3 \to \mathbb{R}^7$ の場合に、すべての同相型を実現する明示的な幾何的構成を用いること。
• エドワーズのスライシング補題とファイバリング補題を用いて、PL埋め込みにおける周囲同相型とファイバー構造を制御すること。
• ストイフェル多様体のホモトピー群を用いて、滑らかおよびPLのカテゴリーにおける埋め込みを分類すること。
• ほぼ滑らかと滑らかのカテゴリーを結びつけるために、滑らかさ理論を発展・適用すること。
• リンク係数 $\lambda$ と $\beta$-不変量を用いて、分類を実現する長完全系列を構成すること。

実験結果

リサーチクエスチョン

• RQ1 メタ安定次元未満の $p < l$ に対して、$S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$ の埋め込みの完全な同相型分類が達成可能か？
• RQ2 3次元以上の余次元における連結多様体のPL埋め込みについて、複数のハーフリガー＝ウー不変量は完全か？
• RQ3 $S^1 \times S^3 \to \mathbb{R}^7$ の埋め込みの同相型の集合に、幾何的に定義された群構造が存在するか？
• RQ4 ハーフリガー＝ウー不変量を超える新しい不変量を用いて、埋め込みの分類が達成可能か？
• RQ5 $S^1 \times S^3 \to \mathbb{R}^7$ の埋め込みの同相型の集合の正確な代数的構造は何か？

主な発見

• $S^1 \times S^3 \to \mathbb{R}^7$ のPL同相型の集合は、幾何的に定義された群演算を備えた群として $ olimits\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$ に同型である。
• $p < l$ に対して $S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$ の埋め込みの分類は、ストイフェル多様体のホモトピー群を用いて達成され、$p > 1$ の場合にわずかな不確定性を除いて成立する。
• すべての同相型に対する代表元の明示的構成が提供され、分類の実用性および幾何的自然性が示された。
• ホワイトヘッドのトーラスを用いた反例により、ヴィロの複数のハーフリガー＝ウー不変量の完全性に関する予想が反証された。
• リンク係数 $\lambda$ と $\beta$-不変量を用いて、分類を実現する長完全系列が構成され、$l \geq 2$ に対して $ olimits\pi_{2l-1}(S^l) \oplus \mathbb{Z}_{(l)}$ の構造が確認された。