[論文レビュー] Codimension 2 embeddings, algebraic surgery and Seifert forms

Maciej Borodzik, András Némethi+1 more|arXiv (Cornell University)|Nov 26, 2012

Geometric and Algebraic Topology参考文献 3被引用数 6

ひとこと要約

この論文は代数的サーヴェイ理論を用いて、多様体のcodimension 2埋め込みを研究し、代数的ポアンカーペアコボルドゥイズムの分解定理を確立するとともに、同相型およびコボルドゥイズムの下でのセイベルト形式の性質を分析している。論文は、セイベルト形式の $S$-同値類が同相型の不変量であると主張しているが、後にその主張が誤りであることが判明している。一方で、コボルドントな埋め込みの符号の差を制限する一般化されたムラスギ--カワウチ不等式を証明している。

ABSTRACT

We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of algebraic Poincaré pairs, which is then applied to describe the behaviour on the chain level of Seifert surfaces of embeddings $M^{2n-1} \subset S^{2n+1}$ under isotopy and cobordism. The second main result (update: which is false) is that the $S$-equivalence class of a Seifert form is an isotopy invariant of the embedding, generalizing the Murasugi--Levine result for knots and links. The third main result is a generalized Murasugi--Kawauchi inequality giving an upper bound on the difference of the Levine--Tristram signatures of cobordant embeddings.

研究の動機と目的

• 代数的サーヴェイを用いて境界を持つ多様体のコボルドゥイズム理論を理解すること。
• 奇数次元多様体 $M^{2n-1} \subset S^{2n+1}$ の埋め込みにおけるセイベルト形式の、チェーンレベルでの同相型およびコボルドゥイズムの下での挙動を分析すること。
• セイベルト形式の同相型不変量に関するムラスギ--レヴィンの結果を高次元埋め込みに一般化すること。
• コボルドントな埋め込みの Levine--Tristram符号の差を関連付ける一般化された不等式を確立すること。
• 境界を持つ多様体から生じる代数的ポアンカーペアのコボルドゥイズムの代数的構造を調査すること。

提案手法

• 代数的ポアンカーペアのコボルドゥイズムに対して、分解定理を構築し、それらをより単純な代数的構成要素に分解する。
• 同相型およびコボルドゥイズムの下での変化を追跡するために、セイベルト面のチェーンレベルモデルを用いる。
• 代数的サーヴェイ理論を用いて、codimension 2埋め込みにおける境界および双対性データの構造を分析する。
• セイベルト形式から代数的不変量を構成し、$S$-同値関係の下でのその挙動を研究する。
• コボルドントな埋め込みを比較するために、Levine--Tristram符号を主要な不変量として用いる。
• 符号不変量と代数的コボルドゥイズム関係を用いて、一般化されたムラスギ--カワウチ不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 奇数次元多様体のcodimension 2埋め込みにおいて、セイベルト形式の $S$-同値類は同相型の不変量であるか？
• RQ2 codimension 2における埋め込みのコボルドゥイズムの下で、セイベルト形式はどのように変化するか？
• RQ3 コボルドントな埋め込みの符号の差を、Levine--Tristram符号を用いて制限できるか？
• RQ4 境界を持つ多様体から生じる代数的ポアンカーペアのコボルドゥイズムを支配する代数的構造は何か？
• RQ5 代数的サーヴェイフレームワークは、codimension 2におけるセイベルト面の幾何的挙動をどの程度正確に捉えているか？

主な発見

• 代数的ポアンカーペアのコボルドゥイズムに対して、分解定理が確立され、複雑なコボルドゥイズム構造の分解が可能になった。
• セイベルト形式の $S$-同値類が埋め込みの同相型不変量であると主張されているが、後にその主張が誤りであることが判明した。
• 論文は、コボルドントな埋め込みの Levine--Tristram符号の差を制限する一般化されたムラスギ--カワウチ不等式を導出した。
• 代数的サーヴェイ技法を用いて、チェーンレベルで同相型およびコボルドゥイズムの下でのセイベルト形式の挙動が記述された。
• 境界および双対性データの代数的構造が、埋め込みの同相型およびコボルドゥイズム不変量を支配することが明らかになった。
• 結果として、古典的なムラスギ--レヴィンの定理が高次元埋め込みへと拡張されたが、中心的な主張に重大な欠陥が存在した。