[論文レビュー] On the Browder-Levine-Novikov embedding theorems

Matija Cencelj, Dušan Repovš+1 more|arXiv (Cornell University)|Apr 5, 2021

Advanced Topics in Algebra参考文献 25被引用数 6

ひとこと要約

本調査は、補空間および近傍構造を用いて、余次元3以上の多様体の埋め込みおよび同倫型問題を代数的障害に還元する、Browder-Levine-Novikov定理の洗練された解説を提供する。この研究は、補空間とチューブ近傍の双対性を用いて正規系を実現するフレームワークを確立し、滑らかおよびPLカテゴリーにおける埋め込み可能性および同倫型分類の計算可能な基準を提示する。

ABSTRACT

In this survey we present applications of the ideas of complement and neighborhood in the theory embeddings of manifolds into Euclidean space (in codimension at least three). We describe how the combination of these ideas gives a reduction of embeddability and isotopy problems to algebraic problems. We present a more clarified exposition of the Browder-Levine theorem on realization of normal systems. Most of the survey is accessible to non-specialists in the theory of embeddings.

研究の動機と目的

• 埋め込み理論における正規系の実現に関するBrowder-Levine-Novikov定理を明確にし、再表現すること。
• 補空間とチューブ近傍構造の相乗作用が、幾何学的埋め込みおよび同倫型問題を代数的不変量に還元する仕組みを示すこと。
• 特に多様体埋め込み理論の専門外の研究者に対しても自立的かつ理解しやすい解説を提供すること。
• ホモトピー球面などの単純な多様体に対して、得られる障害の計算可能性を強調すること。
• 標準的な定理が明示的結果を導けない場合に、修正されたKreckの手術理論を用いたさらなる応用の基盤を築くこと。

提案手法

• 球面上の埋め込みに対する位相的障害を導出するために、Alexander双対性とMayer-Vietoris系列を用いる。
• ホモロジー群のねじれ構造を、埋め込まれた多様体の補空間で分析するために、Lefschetz双対性と切除同型を適用する。
• 埋め込みの正規バンドルへの写像のホモトピー $ G $ を介して、$ N $ と $ N' $ の間のコボルディズム $ M $ を構成する。
• 正規不変量の概念と、それらをThom複体 $ T u(F) $ への写像を通じて実現する方法を用い、多様体の基本類と結びつける。
• 手術理論を用いて、写像 $ R: X_1 \to C $ をホモトピー同値に修正し、手術障害は誘導されたホモロジー写像の核を分析することで評価する。
• Novikovの手術定理を適用し、安定正規バンドルが自明でかつコボルディズムがゼロである多様体がホモトピー球面であることを示し、$ S^{n+k} $ を逆ホモトピー球面との連結和によって構成可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 多様体 $ N $ 上の正規系が、$ S^m $ への埋め込みの正規バンドルとして実現可能となる条件は何か？
• RQ2 補空間とチューブ近傍構造の相互作用は、埋め込み問題を代数的条件に還元する仕組みとしてどのように機能するか？
• RQ3 写像 $ R(X_1) $ の手術障害 $ \sigma(R(X_1)) $ は、与えられた正規系を実現するホモトピー同値の存在を決定づける上で果たす役割は何か？
• RQ4 どの次元において、手術障害が存在しないことで正規系がホモトピー同値を介して実現可能となるか？
• RQ5 ホモトピー $ G $ を介して構成された $ N $ と $ N' $ の間のコボルディズムは、正規不変量の自明性を保証し、ホモトピー球面を導く仕組みは何か？

主な発見

• Browder-Levine-Novikov定理6および8は、多様体 $ N $ が $ S^m $ に埋め込まれる問題を、正規系の代数的実現問題に還元する。
• 閉じた $ 2l $-次元多様体 $ N $ が $ S^{2l+1} $ に埋め込まれる場合、$ l $-番目のベッチ数 $ b_l(N) $ は偶数でなければならず、$ N $ は可縮でなければならない。
• 閉じた $ (2l+1) $-次元多様体 $ N $ が $ S^{2l+2} $ に埋め込まれる場合、$ H_l(N; \mathbb{Z}) $ のねじれ部分群は、ある有限アーベル群 $ G $ に対して $ G \oplus G $ に同型である。これはMayer-Vietoris系列および双対性同型を用いて示される。
• ホモトピー $ G $ を介して誘導されるコボルディズム $ M $ は、$ G|_M $ が $ N $ 上の恒等写像を被覆するバンドル同型を保証するため、正規構造が保存される。
• $ W_1 $ がコボルディズムがゼロでかつ $ R(W_1) $ がホモトピー同値を誘導する場合、手術障害 $ \sigma(R(X_1)) $ は消滅し、修正された $ X $ 上でホモトピー同値 $ R' $ を構成可能である。
• 得られる多様体 $ W \# \Sigma $ は $ S^{n+k} $ と微分同相であり、正規系 $ (\nu, C, a) $ が滑らかな埋め込みにより $ S^{n+k} $ に実現可能であることが確認される。