[论文解读] Reflections on trisection genus

Michelle Chu, Stephan Tillmann|arXiv (Cornell University)|Sep 13, 2018

Geometric and Algebraic Topology参考文献 2被引用 4

一句话总结

本文利用拓扑不变量与几何构造，为光滑、定向的4-流形（特别是双曲情形）的三等分亏格建立了新的上下界。研究证明三等分亏格在有限覆盖下随度数线性增长，并为戴维斯流形提供了7,201的精细上界与96的下界，显著优于以往通过三色三角剖分与贝斯泰勒移动得到的估计。

ABSTRACT

The Heegaard genus of a 3-manifold, as well as the growth of Heegaard genus in its finite sheeted cover spaces, has extensively been studied in terms of algebraic, geometric and topological properties of the 3-manifold. This note shows that analogous results concerning the trisection genus of a smooth, orientable 4-manifold have more general answers than their counterparts for 3-manifolds. In the case of hyperbolic 4-manifolds, upper and lower bounds are given in terms of volume and a trisection of the Davis manifold is described.

研究动机与目标

• 为光滑、定向的4-流形（尤其是双曲情形）建立更紧致的三等分亏格上下界。
• 研究三等分亏格在有限叶覆盖下的行为，特别是与度数和欧拉示性数的关系。
• 利用Coxeter型流形上的几何与组合技术，改进现有的三等分亏格界。
• 探讨双曲4-流形的几何不变量是否能给出强于仅依赖代数或拓扑不变量的三等分亏格下界。

提出的方法

• 通过欧拉示性数与亏格关系，推导出当 $ M \not\simeq S^4 $ 时三等分亏格的一般下界 $ \frac{1}{3}|\chi(M)| $。
• 应用上界 $ g(M) \leq 60\sigma(M) $，其中 $ \sigma(M) $ 为三角剖分复杂度，以估计三等分亏格。
• 利用120-cell三角剖分的三色顶点划分，定义到4-单形的分片线性映射，从而实现三等分构造。
• 对三角剖分中的双4-单形应用2–4贝斯泰勒移动，将分解精细调整为三等分结构。
• 通过计数三等分中正方形与三角形的数量，计算中心曲面的亏格，得出戴维斯流形的 $ g(\Sigma) = 7,201 $。
• 利用Coxeter群在120-cell上的作用，定义规范图 $ \Gamma_k $，其确定三等分中1-胞胎的拓扑结构。

实验结果

研究问题

• RQ1 对任意有限表示的群 $ G $，是否存在一个4-流形 $ M $ 满足 $ \pi_1(M) = G $ 且 $ g(M) = \chi(M) - 2 + 3\operatorname{rk}(G) $？
• RQ2 三等分亏格在4-流形的有限叶覆盖中如何增长，特别是当 $ \chi(M) \neq 0 $ 时？
• RQ3 双曲4-流形的几何不变量是否能提供强于仅依赖代数或拓扑不变量的三等分亏格更强下界？
• RQ4 戴维斯流形的最小可能三等分亏格是多少？能否通过优化三角剖分进一步降低？

主要发现

• 戴维斯流形的三等分亏格满足 $ 96 \leq g(M_D) \leq 7,201 $，显著优于初始估计的 $ 60 \cdot (120)^2 = 864,000 $。
• 通过三色三角剖分与2–4贝斯泰勒移动的精细构造，将上界降至7,201，中心曲面亏格计算为 $ g(\Sigma) = 7,201 $。
• 对任意有限覆盖 $ N \to M $（度数为 $ d $），当 $ \chi(M) \neq 0 $ 时，三等分亏格满足 $ g(N) = \Theta(d) $，且 $ g(N) \geq \frac{1}{3}|\chi(M)|d $。
• 对所有不微分同胚于 $ S^4 $ 的光滑、定向4-流形，下界 $ g(M) \geq \frac{1}{3}|\chi(M)| $ 成立。
• 该构造可推广至其他Coxeter型双曲4-流形，表明通过优化三角剖分有望实现进一步改进。
• 结果证实三等分亏格随覆盖度数线性增长，且三角剖分复杂度可作为三等分亏格的有用代理。