[論文レビュー] On Brunnian-type links and the link invariants given by homotopy groups of spheres

Jie Wu|ArXiv.org|Sep 27, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用数 4

ひとこと要約

本稿では、リンク群における交差部分群と対称コンmutator部分群の商を用いた新しいリンク不変量を導入し、特定のブルーニアン型リンクに対してこの商が球面のホモトピー群と同型であることを示している。この構成により、ミルナー不変量では検出できないリンクを検出可能な不変量が得られ、幾何的マッセイ積を通じて球面のすべてのホモトピー群がリンクから実現される。

ABSTRACT

We introduce the (general) homotopy groups of spheres as link invariants for Brunnian-type links through the investigations on the intersection subgroup of the normal closures of the meridians of strongly nonsplittable links. The homotopy groups measure the difference between the intersection subgroup and symmetric commutator subgroup of the normal closures of the meridians and give the invariants of the links obtained in this way. Moreover the higher homotopy-group invariants can produce some links that could not be detected by the Milnor invariants. Furthermore all homotopy groups of spheres can be obtained from the geometric Massey products on links.

研究の動機と目的

• リンク群における交差部分群と対称コンマタタ部分群の商を用いて新しいリンク不変量を定義すること。
• 幾何的構成を通じてリンク不変量と球面のホモトピー群との間の関係を確立すること。
• ミルナー不変量では検出できない高次のホモトピー群不変量がリンクを検出できることを示すこと。
• すべての球面のホモトピー群がリンク上の幾何的マッセイ積から得られることを示すこと。
• n-コーナーと写像コーンのコロイミットを用いたホモトピー論的解釈を通じてリンク不変量を定式化すること。

提案手法

• リンク $ L $ の部分リンク $ L' $ の成分のミリディアンの正規閉包の交わりとして定義される交差部分群 $ A(L, L') $ を定義する。
• ミリディアンの正規閉包の元の $ t $ 重反復コンマタタ生成する部分群として対称コンマタタ部分群 $ A_S[L, L'] $ を定義する。
• 商群 $ \mathcal{A}(L, L') = A(L, L') / A_S[L, L'] $ を構成し、これが主なリンク不変量となる。
• $ n $-コーナーとホモトピーコロイミットの理論を用いて、リンク補空間内のループから $ S^n \to S^3 \setminus L_0 $ への写像 $ \theta(f) $ を構成する。
• $ L_0 = \emptyset $ かつ $ L' = L $ のとき $ \mathcal{A}(L, L) \cong \pi_n(S^3) $ である同型を確立し、$ L_0 \neq \emptyset $ の場合にはワジード和とスモッシュ積を含むより複雑な同型を示す。
• $ n $-コーナーの連結性とホモトピーコロイミット構成の自然性を用いて、誘導写像 $ \theta(f) $ が写像 $ \rho_{\mathbf{M}(L)} $ を通じて不変量を表すことを示す。

実験結果

リサーチクエスチョン

• RQ1 商 $ \mathcal{A}(L, L') $ は、ミルナー不変量を超えるブルーニアン型リンクの新しい不変量を提供できるか？
• RQ2 リンク補空間内の幾何的構成を通じて、球面のホモトピー群はどのようにリンク不変量として実現されるか？
• RQ3 強く分離不能なリンク対の役割は、非自明なホモトピー不変量を実現するために果たすか？
• RQ4 すべての球面のホモトピー群がリンク上の幾何的マッセイ積によって得られるか？
• RQ5 $ L $ と $ L' $ の異なる配置に対して $ \mathcal{A}(L, L') $ の正確な代数的位相的構造は何か？

主な発見

• $ L_0 = \emptyset $ かつ $ L' = L $ の強い分離不能なペア $ (L, L_0) $ に対して、不変量 $ \mathcal{A}(L, L) $ は $ \pi_n(S^3) $ と同型であり、リンク不変量と球面のホモトピー群との直接的な関係を示している。
• $ L_0 \neq \emptyset $ で、分裂性 genus $ \nu \geq 1 $ を持つ場合、$ \mathcal{A}(L, L \setminus L_0) \cong \pi_n\left( \bigvee_{j=1}^\nu G(L_0) \ltimes S^2 \right) $ であり、これは球面のワジード和と反復スモッシュ積の和に分解される。
• $ n $-コーナーのホモトピーコロイミットによる $ \theta(f) $ の構成は、$ S^n \to S^3 \setminus L_0 $ への一意に定まる写像を生じ、そのホモトピー型は不変量 $ \rho_{\mathbf{M}(L)}(\alpha) $ に対応する。これにより、幾何的構成と代数的不変量が結びつけられる。
• $ \mathcal{A}(L, L') $ は、$ L_0 = \emptyset $ かつ $ L' = L $、または $ L' = L \setminus L_0 $ で $ L_0 $ が非空かつ分離可能な場合にのみ消えることが示され、明確な構造的制約が得られる。
• $ \pi_*(S^3) $ のすべての元が、この構成によって $ (n+1) $-リンクの不変量として実現可能であり、この方法が球面のホモトピー群の全範囲を実現していることが示された。
• 写像 $ \theta(f) $ を通じた幾何的マッセイ積構成は、古典的マッセイ積を一般化し、リンク理論における高次ホモトピー群の幾何的実現を提供する。