[论文解读] Construction of spines of two-bridge link complements and upper bounds of their Matveev complexities

Masaharu Ishikawa, Keisuke Nemoto|arXiv (Cornell University)|Mar 12, 2015

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

一句话总结

该论文为三维球面中的双桥链补集构造了显式的几乎简单胞腔复形，给出了其马特维耶夫复杂度的紧致上界。通过利用双桥链的连分数表示并分析枕形胞腔复形，作者推导出一个精确的上界公式，并确定了形如 $[2,1,\ldots,1,2]$ 的无限链族的精确复杂度，证明其等于 $2n-2$。该方法还为这些链的 мерidian-循环覆叠提供了改进的上界。

ABSTRACT

We give upper bounds of the Matveev complexities of two-bridge link complements by constructing their spines explicitly. In particular, we determine the complexities for an infinite sequence of two-bridge links corresponding to the continued fractions of the form [2,1,...,1,2]. We also give upper bounds for the 3-manifolds obtained as meridian-cyclic branched coverings of the 3-sphere along two-bridge links.

研究动机与目标

• 使用构造性胞腔复形理论，建立双桥链补集马特维耶夫复杂度的显式上界。
• 确定具有连分数 $[2,1,\ldots,1,2]$ 的无限序列双桥链的精确复杂度。
• 改进双桥链的 мерidian-循环覆叠复杂度的现有上界。
• 基于连分数分解，提供一种系统化构造双桥链补集胞腔复形的方法。

提出的方法

• 作者通过将链分解为扭结段并为每个扭结段构建枕形胞腔复形，为双桥链补集构造几乎简单胞腔复形。
• 每个具有 $a_i$ 个扭结的扭结段用一个胞腔复形 $A_i$ 表示 —— 即带有四个孔和一个内盘的球面，称为枕形复形，其可将扭结形变收缩为多面体。
• 通过沿边界分量粘合这些枕形复形，形成链补集的完整胞腔复形，同时保持几乎简单的结构。
• 计算所得胞腔复形中真实顶点的数量为 $\sum_{i=1}^{n}a_i + 2(n-3) - \sharp\{a_i=1\}$，该值作为复杂度的上界。
• 对于长度为 $n$ 的无限族 $[2,1,\ldots,1,2]$，该上界简化为 $2n-2$，并通过体积和理想三角剖分论证证明该值为精确值。
• 该方法被扩展至覆叠情形，通过提升胞腔复形并添加 мерidian 圆盘，校正项取决于 $p$ 的奇偶性。

实验结果

研究问题

• RQ1 具有连分数 $[2,1,\ldots,1,2]$ 的双桥链补集的马特维耶夫复杂度是多少？
• RQ2 显式胞腔复形构造能否为双桥链提供比现有方法更紧致的马特维耶夫复杂度上界？
• RQ3 双桥链的 $d$-重 мерidian-循环覆叠的复杂度如何随覆叠度 $d$ 变化？
• RQ4 所构造的胞腔复形在双桥链补集的理想三角剖分中，能在多大程度上达到理想单形的最小数量？
• RQ5 对于双曲双桥链，该胞腔复形构造所得的上界是否为精确值？

主要发现

• 具有连分数 $[a_1,\ldots,a_n]$（其中 $a_i > 0$ 且 $a_1,a_n > 1$）的双桥链补集的马特维耶夫复杂度上界为 $\sum_{i=1}^{n}a_i + 2(n-3) - \sharp\{a_i=1\}$。
• 对于长度为 $n$ 的无限链族 $[2,1,\ldots,1,2]$，其精确复杂度为 $2n-2$，与上界一致。
• 双桥链的 $d$-重 meridian-循环覆叠的复杂度上界为 $d\left(\sum_{i=1}^{n}a_i + 2(n-3) - \sharp\{a_i=1\}\right) + rd$，其中若 $p$ 为奇数则 $r=1$，若 $p$ 为偶数则 $r=3$。
• 所构造的胞腔复形产生拓扑理想三角剖分，其理想单形数量至多等于真实顶点数，且该上界优于以往通过标准分解得到的结果。
• 对于 $[2,1,\ldots,1,2]$ 家族，该构造所得的上界与 Sakuma 和 Weeks 的标准三角剖分结果一致，证实了该情形下的最优性。
• 与 Petronio 和 Vesnin 的结果相比，该方法在覆叠复杂度上界方面实现了改进。