[论文解读] 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

一句话总结

本文提出了一种新颖的链路不变量，通过链路群中交子群与对称换位子群的商群构造，证明该商群在特定Brunnian型链路下同构于球面的同伦群。该构造产生的不变量可检测超出Milnor不变量的链路，并通过链路上的几何Massey积实现了所有球面的同伦群。

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.

研究动机与目标

• 通过链路群中交子群与对称换位子群的商群定义新的链路不变量。
• 通过几何构造建立链路不变量与球面同伦群之间的联系。
• 证明高阶同伦群不变量可检测出Milnor不变量无法检测的链路。
• 证明所有球面的同伦群均可通过链路上的几何Massey积实现。
• 通过n-角的余极限与映射锥，提供链路不变量的同伦理论解释。

提出的方法

• 将交子群 $ A(L, L') $ 定义为链路 $ L $ 的子链路 $ L' $ 中各分量经向线的正规包的交集。
• 将对称换位子群 $ A_S[L, L'] $ 定义为来自经向线正规包中元素的 $ t $-重迭代换位子生成的群。
• 构造商群 $ \mathcal{A}(L, L') = A(L, L') / A_S[L, L'] $，作为主要的链路不变量。
• 利用 $ n $-角与同伦余极限的理论，从链路补全中的环路构造映射 $ \theta(f) \colon S^n \to S^3 \setminus L_0 $。
• 当 $ L_0 = \emptyset $ 且 $ L' = L $ 时，建立同构 $ \mathcal{A}(L, L) \cong \pi_n(S^3) $；当 $ L_0 \neq \emptyset $ 时，建立涉及球面楔和与 smash 积的更复杂同构。
• 利用同伦余极限构造的自然性以及 $ n $-角的连通性，证明诱导映射 $ \theta(f) $ 通过映射 $ \rho_{\mathbf{M}(L)} $ 表示不变量。

实验结果

研究问题

• RQ1 商群 $ \mathcal{A}(L, L') $ 是否能为Brunnian型链路提供超越Milnor不变量的新不变量？
• RQ2 通过链路补全中的几何构造，球面同伦群如何被实现为链路不变量？
• RQ3 强不可分链路对在实现非平凡同伦不变量中起什么作用？
• RQ4 所有球面同伦群是否均可通过链路上的几何Massey积实现？
• 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 $ 且其可分，分裂亏格 $ \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) $，其可分解为球面楔和与迭代smash积的同伦群之和。
• 通过 $ 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) $ 构造的几何Massey积推广了经典Massey积，并在链路理论中提供了高阶同伦群的几何实现。