[论文解读] Left-orderable fundamental group and Dehn surgery on the knot $5_2$

Ryoto Hakamata, Masakazu Teragaito|arXiv (Cornell University)|Aug 10, 2012

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

一句话总结

本文证明了对 $5_2$ 系数进行斜率 $r$ 在区间 $[0, 4]$ 内的德恩手术，会得到一个具有左序基本群的三维流形。通过构造该系基本群的一族 $SL_2(\mathbb{R})$-表示，并将其提升至普遍覆盖 $\widetilde{SL_2(\mathbb{R})}$，作者表明该流形的基本群可嵌入一个左序群中，从而在不可约性条件下推出其左序性。关键结果在较广范围的斜率下证实了该系的布耶尔-戈登-沃森猜想。

ABSTRACT

We show that the resulting manifold by $r$-surgery on the knot $5_2$, which is the two-bridge knot corresponding to the rational number 3/7, has left-orderable fundamental group if the slope $r$ satisfies $0\le r\le 4$.

研究动机与目标

• 研究通过对 $5_2$ 系数进行德恩手术所得到的三维流形基本群的左序性。
• 检验布耶尔-戈登-沃森猜想：即一个不可约的有理同调球面是 $L$-空间当且仅当其基本群不是左序的。
• 扩展关于德恩手术后左序性的已知结果，特别是超越双曲八字符号系。
• 确定 $r$-手术在 $5_2$ 系数上产生左序基本群的完整斜率范围。
• 提供一种基于 $SL_2(\mathbb{R})$-表示及其到 $\widetilde{SL_2(\mathbb{R})}$ 的提升的构造性方法，以验证左序性。

提出的方法

• 通过参数 $s>0$ 和满足特定多项式方程 $\phi=0$ 的导出变量 $t$，构造 $5_2$ 系数基本群的一族非交换 $SL_2(\mathbb{R})$-表示 $\rho_s$。
• 将每个 $\rho_s$ 提升为到普遍覆盖 $\widetilde{SL_2(\mathbb{R})}$ 的表示 $\tilde{\rho}_s$，该覆盖已知为左序的。
• 通过同态 $h: G \to \ker \Phi \cong \mathbb{Z}$ 调整提升，使得边界面子群 $\pi_1(\partial M)$ 映射到子群 $(-1,1) \times \{0\} \subset \widetilde{SL_2(\mathbb{R})}$。
• 对每个斜率 $r = p/q \in (0,4)$，选择 $s$ 使得 $g(s) = r$，确保在 $\rho_s$ 的像中满足手术关系 $x^p \lambda^q = 1$，从而使提升将手术曲线映射到 $\widetilde{SL_2(\mathbb{R})}$ 中的单位元。
• 利用 $\widetilde{SL_2(\mathbb{R})}$ 是左序的，且所得流形不可约的事实，推断手术流形的基本群是左序的。
• 应用文献 [4, 定理 1.1] 的结果：任何不可约三维流形若存在非交换表示进入 $\widetilde{SL_2(\mathbb{R})}$，则其基本群是左序的。

实验结果

研究问题

• RQ1 在 $[0, 4]$ 范围内的斜率下，$5_2$ 系数的 $r$-手术是否会产生具有左序基本群的三维流形？
• RQ2 是否可将用于双曲八字符号系的方法调整以证明非纤维化的 $5_2$ 系数的左序性？
• RQ3 是否存在 $5_2$ 系数基本群的连续 $SL_2(\mathbb{R})$-表示族，可被提升至 $\widetilde{SL_2(\mathbb{R})}$ 且其边界面像受控？
• RQ4 $5_2$ 系数在 $0 \leq r \leq 4$ 范围内是否满足布耶尔-戈登-沃森猜想？
• RQ5 参数 $s$ 在构造通过普遍覆盖检测左序性的表示中起什么作用？

主要发现

• 对于所有满足 $0 \leq r \leq 4$ 的斜率 $r$，$5_2$ 系数的 $r$-手术会产生一个具有左序基本群的三维流形。
• $0$-手术和 $4$-手术的情形由一般结果覆盖：$0$-手术产生一个第一贝蒂数为 1 的素流形，而 $4$-手术对扭结类已知产生左序群。
• 对于 $0 < r < 4$，作者构造了一族连续的非交换 $SL_2(\mathbb{R})$-表示 $\rho_s$，参数为 $s>0$，其中 $t$ 满足 $\phi=0$，并证明对每个 $r \in (0,4)$，方程 $g(s) = r$ 可解。
• 将 $\rho_s$ 提升为 $\tilde{\rho}$ 后，可通过调整使边界面子群映射到 $(-1,1) \times \{0\}$，从而确保在覆盖中满足手术关系。
• 手术流形基本群在提升表示下的像是非交换的，并且映射到左序的 $\widetilde{SL_2(\mathbb{R})}$。
• 由于所得流形不可约，根据文献 [4, 定理 1.1] 的结果，其基本群是左序的，从而完成了对所有 $r \in [0,4]$ 的证明。