[论文解读] Calculating isotopy classes of Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|Apr 26, 2010

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

一句话总结

本文提出一种算法，用于在具有边界的3-流形 $M$ 中计算所有同胚类的Heegaard分裂，利用部分平坦角度理想三角剖分。通过构建一个2维复形 $\mathcal{D}^2(M,\mathcal{T}^1)$ 来编码有界亏格的曲面，该方法可判断两个近乎正规曲面是否代表同胚的Heegaard分裂，并计算任意两个此类分裂的最小亏格公共稳定化。

ABSTRACT

We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each isotopy class appears exactly once. In particular, this algorithm determines precisely when two almost normal surfaces represent Heegaard splittings that are isotopic in the ambient 3-manifold. A closely related algorithm determines the smallest genus common stabilization of any two Heegaard splittings on the list. The methods, in fact, characterize isotopies between Heegaard surfaces in any triangulation, but the existence of infinitely many normal surfaces of the same genus prevents this characterization from being algorithmic in general.

研究动机与目标

• 开发一种算法，列出具有边界的3-流形 $M$ 中所有亏格至多为 $g$ 的Heegaard分裂的同胚类。
• 确定在环境3-流形中，两个近乎正规曲面何时代表同胚的Heegaard分裂。
• 计算列表中任意两个Heegaard分裂的最小亏格公共稳定化。
• 在三角剖分的3-流形中，以算法方式表征Heegaard曲面之间的同胚。
• 通过在与1-骨架横截的曲面上使用胞腔复形结构，提供同胚类的有限算法表征。

提出的方法

• 从 $M$ 的部分平坦角度理想三角剖分的1-骨架 $\mathcal{T}^1$ 构建2维复形 $\mathcal{D}^2(M,\mathcal{T}^1)$。
• 将 $\mathcal{D}^2$ 的顶点定义为相对于 $\mathcal{T}^1$ 的指数为0、1或2的正规和近乎正规曲面，并为每个顶点分配亏格。
• 将边定义为顶点之间的压缩体，将面定义为复形中路径之间的面滑动序列。
• 使用线性规划技术计算所有指数为0、-1和-2的正规和近乎正规曲面，其亏格 $\leq g$。
• 为每个边权向量构建弯折曲面图，以枚举所有低于指数-1和指数-2顶点的可能压缩路径。
• 通过在具有不同指数的边环路处附加三角形，形成 $\mathcal{D}^2(M,\mathcal{T}^1)$ 中的所有面，确保捕捉所有同胚数据。

实验结果

研究问题

• RQ1 给定一个具有部分平坦角度理想三角剖分的3-流形 $M$，能否算法性地列出所有亏格至多为 $g$ 的Heegaard分裂的同胚类？
• RQ2 如何算法性地确定两个近乎正规曲面在 $M$ 中是否代表同胚的Heegaard分裂？
• RQ3 在 $M$ 中，任意两个Heegaard分裂的最小亏格公共稳定化是什么？
• RQ4 能否通过具有受控复杂度的有限曲面复形来表征Heegaard分裂的同胚类？
• RQ5 在 $\mathcal{D}(M,\mathcal{T}^1)$ 中，何种路径代表不可约的Heegaard分裂？

主要发现

• 给定 $M$ 的部分平坦角度理想三角剖分，存在一个有限算法，可计算 $\mathcal{D}^2(M,\mathcal{T}^1)$ 中对应于亏格至多为 $g$ 的曲面的所有顶点。
• 在 $\mathcal{D}^1(M,\mathcal{T}^1)$ 中，从 $v_-$ 到 $v_+$ 的两条路径代表同胚的Heegaard分裂，当且仅当它们之间存在一个常亏格的面滑动序列。
• 一条路径代表不可约的Heegaard分裂，当且仅当从该路径出发的任何面滑动序列都不会产生亏格更低且亏格非增的路径。
• $\mathcal{D}^2(M,\mathcal{T}^1)$ 完全编码了 $M$ 中Heegaard分裂的同胚类，同胚关系通过常亏格面滑动序列检测。
• 该算法通过在弯折曲面图上的有限计算，构造出由亏格 $\leq g$ 的顶点生成的整个子复形 $\mathcal{D}^2(M,\mathcal{T}^1)$，包括所有边和面。
• 在部分平坦角度三角剖分中，正规和近乎正规曲面的亏格有界，保证了该算法的终止性和有效性。