[论文解读] Genus two Heegaard splittings of exteriors of 1-genus 1-bridge knots II

Hiroshi Goda, Chuichiro Hayashi|arXiv (Cornell University)|Sep 13, 2010

Geometric and Algebraic Topology参考文献 23被引用 5

一句话总结

本文通过分析两个分裂曲面恰好相交于两条 $K$-本质圈的情形，完成了对三维球面和环面空间中单 genus 1-桥结的余集的亏格二 Heegaard 分裂的分类。利用分支覆盖技巧和胞胎体分解，证明了六个结构条件（从弱 $K$-可约性到卫星图或特定的圆盘/弧配置）中至少有一个必须成立，从而最终完成了作者先前工作中关键定理的证明。

ABSTRACT

A knot K is called a 1-genus 1-bridge knot in a 3-manifold M if (M,K) has a Heegaard splitting (V_1,t_1)\cup (V_2,t_2) where V_i is a solid torus and t_i is a boundary parallel arc properly embedded in V_i. If the exterior of a knot has a genus 2 Heegaard splitting, we say that the knot has an unknotting tunnel. Naturally the exterior of a 1-genus 1-bridge knot K allows a genus 2 Heegaard splitting, i.e., K has an unknotting tunnel. But, in general, there are unknotting tunnels which are not derived form this procedure. Some of them may be levelled with the torus \partial V_1=\partial V_2, whose case was studied in our previous paper. In this paper, we consider the remaining case.

研究动机与目标

• 通过解决分裂曲面恰好相交于两条 $K$-本质圈的剩余情形，完成对 $S^3$ 和环面空间中 1-亏格 1-桥结余集的亏格二 Heegaard 分裂的分类。
• 证明在此情形下，六个结构条件——弱 $K$-可约性、环面/卫星结类型、卫星图或特定圆盘-弧配置——中至少有一个必须成立。
• 确立最小交线数中 $\ extbackslash{}ell = 2$ 的情形导致有限个拓扑构型，从而最终完成作者先前工作中定理 1.3 的证明。

提出的方法

• 分析两个分裂曲面的交线：一个 $(1,1)$-分裂环面 $H_1$ 和一个 $(2,0)$-分裂曲面 $H_2$，假设其恰好有两条 $K$-本质圈的交线。
• 在 $H_1$ 和 $H_2$ 中分别对 $H_1 \cap H_2$ 的拓扑类型进行分类，区分分离与非分离圈模式。
• 应用文献 [7] 中的命题 2.1（关于双覆盖）来推导当 $W_2$ 或 $W_1$ 中存在与 $H_1$ 不相交的压缩圆盘时的含义。
• 利用 $K$-压缩、$\partial$-压缩和同伦变换分析环面和圆盘，表明某些构型意味着弱 $K$-可约性或特定几何结构。
• 使用同伦论证将 $H_1$ 和 $H_2$ 移动以简化交线模式，特别利用环面之间的平行性以及压缩圆盘的存在性。
• 应用先前工作中引理 6.11 和命题 4.7，表明经由经线稳定化意味着弱 $K$-可约性，从而完成结构分类。

实验结果

研究问题

• RQ1 当 1-亏格 1-桥结余集的 $(1,1)$-分裂环面与 $(2,0)$-分裂曲面恰好相交于两条 $K$-本质圈时，会产生哪些拓扑构型？
• RQ2 在何种条件下，此类交线模式意味着 $(2,0)$-分裂的弱 $K$-可约性？
• RQ3 若存在一个与另一分裂曲面不相交的 $K$-压缩圆盘或 $\partial$-压缩圆盘，是否能导致对结类型或分裂结构的分类？
• RQ4 若存在一个分支集为 $K$ 的双覆盖，是否强制定理 1.2 中的六个结构条件之一成立？
• RQ5 是否可对分裂曲面进行同伦变换以减少交线圈的数量？若可，需满足何种几何约束？

主要发现

• 当 $H_1$ 与 $H_2$ 恰好相交于两条 $K$-本质圈时，六个条件——弱 $K$-可约性、环面结、卫星结、卫星图或特定圆盘-弧构型——中至少一个必须成立。
• $(2,0)$-分裂 $H_2$ 是弱 $K$-可约的，若在 $W_1$ 中存在一个与 $H_1$ 不相交的 $K$-压缩圆盘，此结论通过压缩和同伦论证得以证明。
• 若在 $H_1$ 中的环面内存在一个 $K$-压缩圆盘 $R$，且 $R$ 在 $H_1$ 中张成一个圆盘，则该环面存在卫星图，满足条件 (e)。
• 若 $W_1$ 中环面的 $\partial$-压缩圆盘 $C$ 与 $H_2$ 在 $H_2'$ 中的交线为一条本质弧，则条件 (iv) 成立，表明存在特定几何构型。
• 沿 $\partial$-压缩圆盘 $C$ 对 $H_1$ 进行同伦变换，可得到一个新环面 $H$，其同伦于 $W_1$ 中的实心环面 $U_1$，且引理 6.11 表明存在经线稳定化，从而推出弱 $K$-可约性。
• 在情形 (i)(B) 中，环面 $A_{12}$ 与 $Z'$ 在 $W_2$ 中被证明是平行的，这使得可删除引理中的条件 (2)，从而简化分类。