[论文解读] Longitudinal Mapping Knot Invariant for SU(2)

W. Edwin Clark, Masahico Saito|arXiv (Cornell University)|Feb 24, 2018

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

一句话总结

本文引入了使用 SU(2) 作为拓扑群的纽结的纵向映射不变量，将 Eisermann 的纽结着色多项式推广至无限群。它通过广义亚历山大拟群，建立了该不变量与 1-纽结着色之间的联系，并显式计算了扭结 T(2,n)、其镜像以及八字纽结的不变量，表明该不变量捕捉到了超越纽结群的非平凡拓扑信息。

ABSTRACT

The knot coloring polynomial defined by Eisermann for a finite pointed group is generalized to an infinite pointed group as the longitudinal mapping invariant of a knot. In turn this can be thought of as a generalization of the quandle 2-cocycle invariant for finite quandles. If the group is a topological group then this invariant can be thought of a topological generalization of the 2-cocycle invariant. The longitudinal mapping invariant is based on a meridian-longitude pair in the knot group. We also give an interpretation of the invariant in terms of quandle colorings of a 1-tangle for generalized Alexander quandles without use of a meridian-longitude pair in the knot group. The invariant values are concretely evaluated for the torus knots $T(2,n)$, their mirror images, and the figure eight knot for the group $SU(2)$.

研究动机与目标

• 将 Eisermann 的有限群纽结着色多项式推广至无限拓扑群，特别是 SU(2)，作为纵向映射不变量。
• 通过从纽结群到 SU(2) 的同态（固定 меридional 元素的像）构造拟群 2-上循环不变量的拓扑类比。
• 通过广义亚历山大拟群，建立纵向映射不变量与 1-纽结着色之间的等价关系，消除对经线-子午线对的依赖。
• 显式计算关键纽结的不变量：扭结 T(2,n)、其镜像以及八字纽结。

提出的方法

• 将纵向映射不变量 $\mathcal{L}_{G}^{x}(K)$ 定义为从满足 $\rho(m_K) = x$ 的群同态 $\rho: \pi_1(S^3 \setminus K) \to G$ 到中心化子 $C(x) \cap G'$ 的映射，其中 $G = \mathrm{SU}(2)$。
• 使用 Eisermann 拟群 $\mathrm{Eis}(G,x)$ 及其与广义亚历山大拟群 $\mathrm{GAlex}(G', f_x)$ 的同构关系（其中 $f_x(g) = x^{-1}gx$），将不变量重新表述为纽结着色的形式。
• 利用拟群覆叠的提升性质，将通过 $Q = x^G$ 的纽结着色与通过 $\tilde{Q} = \mathrm{Eis}(G,x)$ 的 1-纽结着色联系起来。
• 利用内表示和自同构群结构，确保不变量定义良好且与基点选择无关。
• 利用 $\mathrm{SU}(2)$ 是完备群（等于其换位子群）且非中心元素生成该群的性质，确保不变量非退化。
• 通过显式计算，利用纽结着色框架和关系 $\tilde{C}(n) = (x, \mathcal{L}(C))$，对 $T(2,n)$、$m(T(2,n))$ 和八字纽结评估不变量。

实验结果

研究问题

• RQ1 能否以有意义的方式将有限群纽结着色多项式扩展至 SU(2) 等无限拓扑群？
• RQ2 在无限群情形下，纵向映射不变量与拟群 2-上循环不变量有何关系？
• RQ3 是否可以不依赖于纽结群中的经线-子午线对来计算该不变量？
• RQ4 在 $\mathrm{SU}(2)$ 中，扭结 $T(2,n)$ 和八字纽结的纵向映射不变量的显式值是什么？
• RQ5 该不变量是否足够强大，能够区分那些仅通过纽结群或标准拟群不变量无法区分的纽结？

主要发现

• 对于 $K = T(2,n)$、$m(T(2,n))$ 和八字纽结，纵向映射不变量 $\mathcal{L}_{\mathrm{SU}(2)}^{x}(K)$ 在 $\mathrm{SU}(2)$ 中有良好定义。
• 对于奇数 $n \geq 3$ 的扭结 $T(2,n)$，该不变量取值于 $x$ 的共轭类，且当 $x \neq \pm 1$ 时图像非平凡。
• 当 $n$ 为奇数时，该不变量能区分 $T(2,n)$ 与其镜像 $m(T(2,n))$，表明其对手性敏感。
• 对于八字纽结 $4_1$，该不变量非平凡，且与扭结的不变量不同，表明其捕捉到了独特的拓扑数据。
• 该不变量等价于广义亚历山大拟群 $\mathrm{GAlex}(\mathrm{SU}(2)', f_x)$ 的拟群着色映射 $\Psi_Q^e(K)$，提供了独立于经线-子午线对的纽结基计算方法。
• 该构造证实，纵向映射不变量是 2-上循环不变量的拓扑推广，在群同态系数为无限时依然有效。