[论文解读] Twisted Alexander polynomials of hyperbolic knots

Nathan M. Dunfield, Stefan Friedl+1 more|arXiv (Cornell University)|Aug 15, 2011

Geometric and Algebraic Topology参考文献 22被引用 6

一句话总结

本文引入了双曲扭多项式（hyperbolic torsion polynomial），这是一种从单连通3-球中双曲扭结的单值表示提升至SL(2,C)后得到的扭曲亚历山大多项式。该多项式被证明是具有系数在扭结迹域中的对称洛朗多项式，并编码了诸如亏格、纤维化、手性及突变检测等拓扑不变量。对于所有不超过15个交叉的313,209个双曲扭结，该多项式精确地确定了亏格、纤维化与手性，表明其对所有双曲扭结而言是一个强大的不变量。

ABSTRACT

We study a twisted Alexander polynomial naturally associated to a hyperbolic knot in an integer homology 3-sphere via a lift of the holonomy representation to SL(2, C). It is an unambiguous symmetric Laurent polynomial whose coefficients lie in the trace field of the knot. It contains information about genus, fibering, and chirality, and moreover is powerful enough to sometimes detect mutation. We calculated this invariant numerically for all 313,209 hyperbolic knots in S^3 with at most 15 crossings, and found that in all cases it gave a sharp bound on the genus of the knot and determined both fibering and chirality. We also study how such twisted Alexander polynomials vary as one moves around in an irreducible component X_0 of the SL(2, C)-character variety of the knot group. We show how to understand all of these polynomials at once in terms of a polynomial whose coefficients lie in the function field of X_0. We use this to help explain some of the patterns observed for knots in S^3, and explore a potential relationship between this universal polynomial and the Culler-Shalen theory of surfaces associated to ideal points.

研究动机与目标

• 定义并研究一种新的扭曲亚历山大多项式——双曲扭多项式，其与双曲扭结的SL(2,C)-提升的单值表示相关。
• 确定该多项式是否捕捉了诸如亏格、纤维化、手性及突变不变性等拓扑不变量。
• 探讨该多项式在扭结群的SL(2,C)-表征簇的不可约分支上的行为。
• 通过理想点与表征簇中的旋转化面，将该多项式与Culler-Shalen理论联系起来。
• 推测一个在表征簇函数域上的通用多项式，以编码某一分支中所有扭曲扭多项式。

提出的方法

• 将双曲扭多项式T_K(t)定义为使用SL(2,C)-提升的单值表示的扭曲链复形的Reidemeister-Milnor扭量。
• 利用Fox微积分，从扭结群的表示中显式计算该多项式。
• 为SL(2,C)-提升固定惯例，以确保T_K(t)无歧义且对称：T_K(t) = T_K(t^{-1})。
• 分析T_K(t)的系数，证明其属于扭结的迹域，若迹为代数整数，则系数亦为代数整数。
• 通过在SL(2,C)-表征簇的不可约分支X_0上构造一个系数属于X_0函数域的通用多项式，研究T_K(t)在X_0上的变化。
• 通过迹函数的极点阶数，将T_K(t)在X_0的理想点处的行为与曲面联系起来，特别运用Culler-Shalen理论。

实验结果

研究问题

• RQ1 双曲扭多项式是否能检测双曲扭结的亏格？
• RQ2 双曲扭多项式能否判断双曲扭结是否为纤维化？
• RQ3 双曲扭多项式能否区分一个扭结与其镜像（即检测手性）？
• RQ4 双曲扭多项式能否检测双曲扭结的突变？
• RQ5 双曲扭多项式在SL(2,C)-表征簇的不可约分支X_0上如何变化？这种变化能否由一个通用多项式捕捉？

主要发现

• 对于S^3中所有不超过15个交叉的313,209个双曲扭结，双曲扭多项式T_K(t)对亏格给出了精确的上界。
• 该多项式可确定纤维化：当且仅当扭结为纤维化时，T_K(t)为首一多项式（至多相差一个常数）。
• 该多项式可检测手性：对于镜像扭结K*，有T_K*(t)为T_K(t)的复共轭。
• 该多项式可检测突变：对于Conway与Kinoshita–Terasaka扭结（互为突变对），其多项式不同。
• 在表征簇X_0的理想点处，通用多项式T_K^X_0(t)在某些参数（如m003的u=∞，m037的u=2）处的取值对应于最小亏格的Seifert曲面，暗示其与Culler-Shalen理论存在联系。
• 对于扭结m037，多项式在某一个理想点（u=-2）处为零，表明并非所有理想点都提供有用的亏格信息，但其他点处的行为仍能捕捉到拓扑数据。