[论文解读] Trisections and spun 4-manifolds

Jeffrey Meier|arXiv (Cornell University)|Aug 3, 2017

Geometric and Algebraic Topology参考文献 22被引用 8

一句话总结

本文提出了一种系统化方法，用于构造通过旋转变换或扭旋变换3-流形及3-流形/纽结对所得到的4-流形的三折图。通过在Heegaard图上应用局部修改——特别是那些具有标准嵌入的处理体的图——该方法为旋转变换4-流形构造了显式的三折图，并为旋转变换2-纽结构造了双点三折图。其关键贡献在于一种构造性、图解性的程序，使得能够以最小三折图亏格研究复杂的4-流形，包括那些被猜想为唯一具有三折图亏格三的不可约4-流形。

ABSTRACT

We study trisections of 4-manifolds obtained by spinning and twist-spinning 3-manifolds, and we show that, given a (suitable) Heegaard diagram for the 3-manifold, one can perform simple local modifications to obtain a trisection diagram for the 4-manifold. We also show that this local modification can be used to convert a (suitable) doubly-pointed Heegaard diagram for a 3-manifold/knot pair into a doubly-pointed trisection diagram for the 4-manifold/2-knot pair resulting from the twist-spinning operation. This technique offers a rich list of new manifolds that admit trisection diagrams that are amenable to study. We formulate a conjecture about 4-manifolds with trisection genus three and provide some supporting evidence.

研究动机与目标

• 开发一种构造性方法，用于生成通过旋转变换或扭旋变换3-流形所得到的4-流形的三折图。
• 将该方法扩展至3-流形/纽结对，从而为旋转变换2-纽结生成双点三折图。
• 提供显式、图解性的工具，用于研究低三折图亏格的4-流形，特别是那些被猜想具有亏格三的4-流形。
• 统一并推广现有对同调4-球面和透镜空间旋转变换的三折图构造。
• 支持关于不可约4-流形中三折图亏格为三的分类猜想。

提出的方法

• 给定一个3-流形M的亏格g Heegaard图(S, δ, ε)，其中H_ε在S^3中标准嵌入，对ε中的每条曲线应用局部修改，以构造旋转变换4-流形S(M)的三折图。
• 局部修改涉及在通过延拓Heegaard曲面形成的环形区域上添加新曲线和弧，具体规则由图6和图7图示说明。
• 对于3-流形/纽结对(M,K)，该方法扩展至双点图(S, δ, ε, z, w)，生成该对的扭旋变换的双点三折图。
• 该构造通过奇点理论和几何论证得到证明，表明其与三折图理论及Dehn手术操作相容。
• 该方法被应用于生成同调4-球面的最小三折图，例如当pq + qr + rp = ±1时的S(Σ(p,q,r))。
• 该技术允许去稳定化和图解简化，如在S^1 × S^3和旋转变换2-纽结上的Gluck扭转中的应用所示。

实验结果

研究问题

• RQ1 能否仅通过Heegaard图的局部修改，系统地构造旋转变换4-流形的三折图？
• RQ2 对(M,K)的双点Heegaard图进行局部修改，如何产生(M,K)的扭旋变换的双点三折图？
• RQ3 通过旋转变换同调球面（如Brieskorn球面）所得到的4-流形的三折图具有何种结构？
• RQ4 所有具有三折图亏格三的不可约4-流形是否都源于透镜空间的旋转变换或特定2-纽结上的Gluck扭转？
• RQ5 所提出的图解构造能否用于分类或枚举具有最小三折图亏格的4-流形？

主要发现

• 通过旋变或扭旋变一个具有k亏格Heegaard分解的3-流形所得到的每个4-流形，均具有(3k,k)-三折图。
• 该构造通过Heegaard图的局部修改（其中H_ε标准嵌入）提供了S(M)和S*(M)的显式三折图。
• 对于任意具有亏格g Heegaard图且H_ε标准嵌入的3-流形M，所得到的三折图均为最小且适合图解分析。
• 该方法为S(M)和S*(M)中的旋转变换2-纽结生成了双点三折图，从而支持对这些4-流形中纽结曲面的研究。
• 该技术为任意g ≥ 3和1 ≤ k ≤ g−2，生成了无穷多个不同的具有最小(g,k)-三折图的4-流形。
• 在S(L(p,q))中旋转变换2-纽结上的Gluck扭转的图解与已知的拓扑不变量一致，支持该猜想：这些是唯一具有三折图亏格三的不可约4-流形。