[论文解读] On Vassiliev invariants of braid groups of the sphere

N. Kaabi, V. V. Vershinin|arXiv (Cornell University)|Feb 16, 2012

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

一句话总结

本文通过降链系列、群环与李代数技术，为具有 $n$ 个穿孔的球面的辫群与映射类群构造了一个通用的 Vassiliev 不变量。与经典情形不同，球面的 2-挠性要求在整数而非有理数上工作，且该不变量是非乘法的；它能检测出有理 Vassiliev 不变量无法区分的元素，例如平凡辫与 $\tau = (\sigma_1\cdots\sigma_{n-1})^n$，这是由于其相关graded 李代数中存在 $\mathbb{Z}/2^k$-挠性成分所致。

ABSTRACT

We construct a universal Vassiliev invariant for braid groups of the sphere and the mapping class groups of the sphere with $n$ punctures. The case of a sphere is different from the classical braid groups or braids of oriented surfaces of genus strictly greater than zero, since Vassiliev invariants in a group without 2-torsion do not distinguish elements of braid group of a sphere.

研究动机与目标

• 为具有 $n$ 个穿孔的球面的辫群 $B_n(S^2)$ 与映射类群 $\mathcal{M}_n$ 构造一个通用 Vassiliev 不变量。
• 解决由于群结构中存在 2-挠性，导致有理 Vassiliev 不变量无法区分 $B_n(S^2)$ 中元素的问题。
• 在 $\mathbb{Z}$ 上构造不变量，避免在球面情形下有理系数的局限性。
• 通过降链系列建立相关graded 李代数与群环之间的代数同构，以实现该不变量。

提出的方法

• 利用 $\mathcal{M}_n$ 与 $B_n(S^2)$ 的降链系列，定义其相关graded 李代数 $\widehat{\mathcal{M}_n}$。
• 将通用 Vassiliev 不变量构造为映射 $\mu: \mathbb{Z}[B_n(S^2)] \to \mathbb{Z}\langle\langle x_1, \dots, x_k \rangle\rangle \widehat{\otimes} \widehat{\mathcal{A}}$，其中 $\widehat{\mathcal{A}} = \mathbb{Z} \oplus \mathbb{Z}_2$。
• 利用 Fadell-Neuwirth 纤维丛与 Garside 元素 $\Delta$ 分析 $P_n(S^2)$ 与 $\mathcal{M}_n$ 的结构，特别是球面关系 $\sigma_1\cdots\sigma_{n-1}^2\cdots\sigma_1 = 1$。
• 对纯映射类群 $\mathcal{PM}_n$ 应用 Magnus 展开，并通过与 $\widehat{\mathcal{A}}$ 的张量积将其扩展至全群，以捕捉挠性。
• 利用同构关系 $\widehat{\mathcal{M}_n}/\Phi^m(\widehat{\mathcal{M}_n}) \cong \mathbb{Z}\langle\langle x_1, \dots, x_k \rangle\rangle \otimes \mathbb{Z}/2^k$ 建模不变量的取值。
• 验证不变量的非乘法性及其通过 $\mathbb{Z}/2^k$-挠性成分检测元素的能力，例如 $\widehat{\mathcal{A}}$ 中的 $1$ 与 $1+x$。

实验结果

研究问题

• RQ1 能否在 $\mathbb{Z}$ 上为辫群 $B_n(S^2)$ 构造一个通用 Vassiliev 不变量，以应对因 2-挠性导致有理不变量失效的问题？
• RQ2 为何在无 2-挠性的阿贝尔群上定义的 Vassiliev 不变量无法区分 $B_n(S^2)$ 中的元素（如平凡辫与 $\tau = (\sigma_1\cdots\sigma_{n-1})^n$）？
• RQ3 映射类群 $\mathcal{M}_n$ 的相关graded 李代数结构如何反映 $B_n(S^2)$ 中的 2-挠性？
• RQ4 群环 $\mathbb{Z}[B_n(S^2)]$ 及其商 $\Phi^m(\mathbb{Z}[B_n(S^2)])$ 在实现通用不变量中起什么作用？
• RQ5 通用不变量能否检测出在有理 Vassiliev 不变量下无法区分的元素？其代数实现机制是什么？

主要发现

• 为 $B_n(S^2)$ 与 $\mathcal{M}_n$ 构造的通用 Vassiliev 不变量是在 $\mathbb{Z}$ 上而非 $\mathbb{Q}$ 上定义的，以捕捉有理不变量所遗漏的 2-挠性效应。
• 该不变量是非乘法的，与高亏格曲面情形下不存在乘法通用不变量的结论一致，但球面情形因存在挠性而具有特殊性。
• 平凡辫与 $\tau = (\sigma_1\cdots\sigma_{n-1})^n$ 无法被任何系数在无挠阿贝尔群上的 Vassiliev 不变量所区分，因为它们的差在 $\widehat{\mathcal{A}} \cong \mathbb{Z} \oplus \mathbb{Z}_2$ 中映射为 $x$，而在无挠目标中该元素为零。
• 当 $n=4$ 时，$P_4(S^2) \cong F_2 \times C_2$，其相关graded 李代数为 $\mathfrak{L} \oplus \mathbb{Z}/2$，通用不变量为 $\mu_{\text{univ}} = \mu_e \otimes \alpha$。
• 当 $n=5$ 时，$\mathcal{PM}_5 \cong F_3 \rtimes F_2$，不变量通过半直积 Markov 标准型定义，且 $\mu(f_3f_2) = \mu_3(f_3)\mu_2(f_2)$，其中 $\mu_i$ 为类似 Magnus 展开的形式。
• 该不变量通过 $\mathbb{Z}/2^k$-挠性成分检测元素：例如，$x \in \widehat{\mathcal{A}}$ 在 $\mathbb{Z}[B_n(S^2)]/\Phi^{m+1}(\mathbb{Z}[B_n(S^2)])$ 中映射为 $\mathbb{Z}/2^k$ 的生成元，从而实现对原本无法区分元素的区分。