[论文解读] Non-uniqueness of high distance Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|Aug 21, 2013

Geometric and Algebraic Topology参考文献 12被引用 6

一句话总结

该论文构造了具有高距离 Heegaard 拆分的 3-流形，这些流形同时包含亏格恰好为 d/2 的不可压缩曲面以及亏格为 d/2 + g - 1 的非稳定 Heegaard 拆分，证明了 Hartshorn 对不可压缩曲面亏格的下界是精确的，且 Scharlemann-Tomova 的稳定化界限几乎是最优的，尽管未必是紧致的。该构造依赖于曲线复形中的控制测地线以及胞腔体集合的投影。

ABSTRACT

Kevin Hartshorn showed that if a three-dimensional manifold $M$ admits a Heegaard surface $Σ$ with Hempel distance $d$ then every incompressible surface in $M$ has genus at least $\frac{d}{2}$. Scharlemann-Tomova generalized this, proving that in such a manifold, every other Heegaard surface for $M$ of genus $g' < \frac{d}{2}$ is a stabilization of $Σ$. In the present paper, we show that Hartshorn's bound is sharp and Scharlemann-Tomova's bound is very close to sharp. In particular, for every pair of integers $g \geq 2, d \geq 2$, we construct a three-manifold $M$ with a genus $g$, distance $d$ Heegaard splitting and an incompressible surface of genus $\frac{d}{2}$. We also construct, for every $d \geq 4$, a three-manifold with a genus $g$, distance $d$ Heegaard surface $Σ$ and a second Heegaard surface with genus $g' = \frac{1}{2} d + g - 1$ that is not a stabilization of $Σ$.

研究动机与目标

• 确定对于具有亏格 g、距离 d 的 Heegaard 拆分的 3-流形，Hartshorn 对不可压缩曲面亏格的下界 d/2 是否是精确的。
• 研究 Scharlemann-Tomova 的稳定化定理（即任意低亏格 Heegaard 曲面均为稳定化）是否可加强为唯一性。
• 构造显式 3-流形，其具有高距离 Heegaard 拆分，并包含多个非稳定、非同伦等价的 Heegaard 曲面。
• 探讨高距离情形下不可压缩曲面与其它 Heegaard 拆分之间的关系。

提出的方法

• 在曲线复形中构造一条曲线路径，具体为长度为 d 的几乎严格柔韧路径，且具有受控的子流形投影。
• 利用曲线复形路径通过边界分量粘合构造路径流形 M'，然后进行填充以生成具有高距离 Heegaard 拆分的闭 3-流形 M。
• 从该路径定义一个亏格为一的平坦曲面 S，该曲面通过将胞腔体分解为被 S 有界的分量，从而诱导出 M 的 Heegaard 拆分。
• 通过分析边界曲线的交点模式并利用曲线复形的 delta-双曲性，证明曲面 S 是强不可约的。
• 通过在粘合分量上应用亏格可加性，计算出另一 Heegaard 曲面的亏格，结果为 d/2 + g - 1。
• 通过比较亏格和不可约性，验证该附加曲面 S 并非原始拆分的稳定化。

实验结果

研究问题

• RQ1 对于具有亏格 g、距离 d 的 Heegaard 拆分的 3-流形，Hartshorn 对不可压缩曲面亏格的下界 d/2 是否是精确的？
• RQ2 Scharlemann-Tomova 的结果能否加强为：高距离 Heegaard 拆分是流形的唯一不可约 Heegaard 拆分？
• RQ3 具有高距离 Heegaard 拆分的 3-流形是否必然包含亏格严格大于 d/2 的非稳定、非同伦等价 Heegaard 拆分？
• RQ4 包含低亏格不可压缩曲面的流形与包含低亏格其它 Heegaard 拆分的流形之间是否存在结构差异？
• RQ5 在曲线复形中，从胞腔体集合出发的多条测地线是否可产生非同伦等价的其它 Heegaard 拆分？

主要发现

• 对于每个偶数 d ≥ 2 和 g ≥ 2，存在一个闭的、可定向的 3-流形 M，其具有亏格 g、距离 d 的 Heegaard 拆分，并包含一个亏格恰好为 d/2 的不可压缩曲面，从而证明 Hartshorn 的边界是精确的。
• 对于每个偶数 d ≥ 4 和 g ≥ 2，存在一个 3-流形 M，其具有亏格 g、距离 d 的 Heegaard 拆分，并存在第二个亏格为 d/2 + g - 1 的 Heegaard 曲面，该曲面并非第一个拆分的稳定化，表明 Scharlemann-Tomova 的边界非常接近最优。
• 所构造的附加 Heegaard 曲面是强不可约的，因此未被稳定化，且其亏格仅比 Scharlemann-Tomova 的边界略高。
• 该构造依赖于长度为 d 的曲线复形中几乎严格柔韧路径，该路径确保了受控的子流形投影，从而实现了精确的亏格计算。
• 通过将由曲面诱导的胞腔体分解的各分量的亏格相加，计算出附加 Heegaard 曲面的亏格为 d/2 + g - 1。
• 结果表明，低亏格不可压缩曲面的存在与非稳定附加 Heegaard 拆分的存在可能出现在不同类别的流形中，因此尚不清楚是否存在同时具备两者的流形。