[論文レビュー] Higher-order linking forms for 3-manifolds

Constance Leidy|arXiv (Cornell University)|Apr 23, 2012

Geometric and Algebraic Topology参考文献 9被引用数 4

ひとこと要約

本稿では、多項式的ねじれ自由アーベル群（PTFA）およびオア環を係数系として用い、閉じて向き付けられ、連結な3次元多様体に対する高次アレクサンダー加群上の高次リンク形式を導入する。これは古典的およびねじれに基づくリンク形式を一般化し、感染曲線がホモロジーで非自明である場合、感染によって得られる多様体上のリンク形式が、元の形式と感染するねじれの古典的ブラニューリング形式の直和に分解されることを示している。

ABSTRACT

Given a closed, oriented, connected 3-manifold, M, we define higher-order linking forms on the higher-order Alexander modules of M. These higher-order linking forms generalize similar linking forms for knots previously studied by the author, which were themselves generalizations of the classical Blanchfield linking form for a knot. We also investigate the effect of the construction known as "infection by a knot" on these linking forms.

研究の動機と目的

• 一般のオア環とPTFA係数系を用いて、3次元多様体の高次アレクサンダー加群上に高次リンク形式を定義すること。
• 古典的およびねじれに基づくリンク形式（ブラニューリング形式を含む）を、一般の3次元多様体の設定に一般化すること。
• ねじれによる感染がこれらの高次リンク形式に与える影響を調査すること。
• 感染曲線が非自明である場合、感染された多様体上のリンク形式が、元の形式と感染するねじれの古典的ブラニューリング形式の直和に分解されることを示すこと。

提案手法

• ZΓ ⊆ R ⊆ KΓ かつ Γ がPTFA群であるようなオア環 R を用い、H_1(M; R) のねじれ部分加群として高次アレクサンダー加群を定義する。
• ボクシュタイン系列とポアンカレ双対性を用いて、TH_1(M; R) からその双対 (TH_1(M; R))# への写像として高次リンク形式 Bℓ_R を構成する。
• 係数系として ZΓ の右分数環 KΓ を用い、平坦性を保証し、双対性の議論を可能にする。
• 3次元多様体にねじれ J を曲線 η に沿って埋め込むことで感染構成を適用し、新たな多様体 M(η,J) を得る。
• 感染に起因するホモロジーの短完全系列の分解を用いて、ホモロジーおよびリンク形式への誘導写像を分析する。
• 双対性および写像の可換図式を用いて、φ(η) ≠ 1 のとき、M(η,J) 上のリンク形式が M と J のリンク形式の直和に同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非局所化された一般のオア環係数を用いて、3次元多様体上の高次リンク形式をどのように定義できるか？
• RQ2 3次元多様体における感染操作によって、高次リンク形式はどのように変化するか？
• RQ3 感染された3次元多様体上のリンク形式は、元の多様体と感染するねじれのリンク形式とどのように関係するか？
• RQ4 感染された多様体上のリンク形式が、元の形式と古典的ブラニューリング形式の直和に分解する条件は何か？
• RQ5 ホモロジーにおける感染曲線の非自明性が、得られるリンク形式の構造に果たす役割は何か？

主な発見

• 任意のオア環 R に対して、ZΓ ⊆ R ⊆ KΓ かつ Γ がPTFA群であるとき、H_1(M; R) のねじれ部分加群上に高次リンク形式 Bℓ_R は適切に定義される。
• リンク形式は古典的ブラニューリング形式および以前のねじれに基づく高次形式を一般の3次元多様体の設定に一般化する。
• 感染曲線 η が φ(η) ≠ 1 を満たすとき、感染多様体 M(η,J) のホモロジーは、H_1(E(J); R) と TH_1(M; R) を含む分解可能な短完全系列をもつ。
• M(η,J) 上のリンク形式は、M と感染ねじれ J のリンク形式の直和に同型であり、すなわち Bℓ_R(M(η,J)) ≅ Bℓ_R(M) ⊕ Bℓ_R(J) が成り立つ。
• M(η,J) 上のリンク形式は、M と J のリンク形式によって完全に決定され、J の古典的ブラニューリング形式は標準的写像 ψ_* を通じて現れる。
• この分解結果は、ホモロジー系列の分解とリンク形式における交差項の消滅により、感染曲線が係数系において非自明である場合にのみ成立する。