[论文解读] Fixed-point-free pseudo-Anosov homeomorphisms, knot Floer homology and the cinquefoil

Ethan Farber, Braeden Reinoso+1 more|arXiv (Cornell University)|Mar 2, 2022

Geometric and Algebraic Topology被引用 5

一句话总结

本文证明了在 $S^3$ 中，每个具有非零分数德恩扭转系数的双曲型、纤维化、亏格二纽结都具有一个带有不动点的伪阿诺索夫代表，从而确立了纽结弗洛尔同调能检测到五瓣花纽结 $T(2,5)$，且它是 $S^3$ 中唯一的亏格二 L-空间纽结。证明依赖于轨道轨动力系统，并提出一种新颖的轨道轨紧密分裂算法，以分析无不动点的伪阿诺索夫映射。

ABSTRACT

Given any genus-two, hyperbolic, fibered knot in $S^3$ with nonzero fractional Dehn twist coefficient, we show that its pseudo-Anosov representative has a fixed point. Combined with recent work of Baldwin--Hu--Sivek, this proves that knot Floer homology detects the cinquefoil knot $T(2,5)$, and that the cinquefoil is the only genus-two L-space knot in $S^3$. Our results have applications to Floer homology of cyclic branched covers over knots in $S^3$, to $\mathit{SU}(2)$-abelian Dehn surgeries, and to Khovanov and annular Khovanov homology. Along the way to proving our fixed point result, we describe a small list of train tracks carrying all pseudo-Anosov homeomorphisms in most strata on the punctured disk. As a consequence, we find a canonical track $τ$ carrying all pseudo-Anosov homeomorphisms in a particular stratum $\mathcal{Q}_0$ on the genus-two surface, and describe every fixed-point-free pseudo-Anosov homeomorphism in $\mathcal{Q}_0$.

研究动机与目标

• 为解决纽结弗洛尔同调是否能检测到扭结 $T(2,5)$（即五瓣花纽结）这一开放问题。
• 证明每个在 $S^3$ 中具有非零分数德恩扭转系数的亏格二、双曲型、纤维化纽结，都具有一个带有不动点的伪阿诺索夫代表。
• 开发一种系统化方法，利用轨道轨分析亏格二中伪阿诺索夫映射的拉伸系数。
• 将这些结果应用于检测 L-空间纽结，并理解其分支覆盖与 $ ext{SU}(2)$-阿贝尔手术的结构。

提出的方法

• 使用轨道轨理论对伪阿诺索夫映射进行建模，重点关注亏格二曲面上的 stratum $\mathcal{Q}_0$ 中的规范轨道轨 $\tau$。
• 提出一种紧密分裂算法，通过迭代地在最大价数的非刚性环路开关处进行分裂，以减少轨道轨中的接合点数量。
• 应用 Perron-Frobenius 理论于与轨道轨相关的转移矩阵，以确保分裂过程在有限步内终止。
• 利用双椭圆对合将带洞曲面上的伪阿诺索夫映射商化为辫子，从而可通过标准轨道轨（如孔雀轨与蜗牛轨）进行分析。
• 采用联合约化算法，追踪转移矩阵与特征向量，以保证所有枝干最终都被分裂，从而确保过程终止。
• 利用如下事实：所有位于 stratum $(4;\emptyset;3^2)$ 中的伪阿诺索夫映射都共轭于由特定轨道轨所携带的映射，从而将问题简化为有限的组合搜索。

实验结果

研究问题

• RQ1 在 $S^3$ 的亏格二纽结中，纽结弗洛尔同调是否能检测到五瓣花纽结 $T(2,5)$？
• RQ2 一个在 $S^3$ 中的亏格二、双曲型、纤维化纽结，若其分数德恩扭转系数非零，是否可能具有无不动点的伪阿诺索夫代表？
• RQ3 在亏格二曲面的一个给定 stratum 中，哪些轨道轨能携带所有伪阿诺索夫映射？
• RQ4 如何利用轨道轨动力系统系统地研究亏格二中伪阿诺索夫映射的拉伸系数谱？
• RQ5 能否利用其单值群的动力性质，对 $S^3$ 中纽结的分支覆盖结构施加约束？

主要发现

• 任何在 $S^3$ 中具有非零分数德恩扭转系数的亏格二、双曲型、纤维化纽结，其单值群必须在纤维曲面内部具有不动点的伪阿诺索夫映射。
• 五瓣花纽结 $T(2,5)$ 是 $S^3$ 中唯一的亏格二 L-空间纽结，该结论通过将不动点结果与 Baldwin–Hu–Sivek 的前期工作相结合而确立。
• 在具有一个边界分量的亏格二曲面的 stratum $(4;\emptyset;3^2)$ 中的所有伪阿诺索夫映射，都共轭于由特定轨道轨所携带的映射，该轨道轨是穿孔圆盘上孔雀轨的提升。
• 具有接合点的轨道轨的紧密分裂算法在有限步内终止，将接合点数减少至零，并确保所有实边最终都被分裂。
• 任何在穿孔圆盘上具有 $k$ 重奇点（$k \geq 2$）且不在边界上的伪阿诺索夫映射，都可由一个无接合点的标准嵌入轨道轨所携带。
• 与轨道轨及伪阿诺索夫映射相关的转移矩阵具有唯一的、正的、单重的 Perron-Frobenius 特征值，其值等于该映射的拉伸系数。