[论文解读] Exotically knotted disks and complex curves

Kyle Hayden|arXiv (Cornell University)|Mar 30, 2020

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

一句话总结

本文提出了一种在4-球体及更大4-流形中构造异样扭结曲面的新方法，通过局部扭结技术实现拓扑上同伦但微分结构上不同伦的曲面。该研究首次构造出异样复曲线与辛2-球面的实例，并在基本群为非交换自由群的单连通4-流形中构建出异样闭曲面，推动了4-流形拓扑中的地理问题研究。

ABSTRACT

This paper studies properly embedded surfaces in the 4-ball that are exotically knotted (i.e., topologically but not smoothly isotopic), and leverages this local phenomenon to study surfaces in larger 4-manifolds. The main results provide a new construction of exotically knotted surfaces, including exotic slice surfaces of all genera in the 4-ball and exotic closed surfaces in larger 4-manifolds. The construction is well-suited to the complex and symplectic settings, providing the first examples of exotically knotted complex curves and symplectic 2-spheres. Along the way, we articulate some diagrammatic tools for constructing symplectic surfaces and complex curves. We also use local knotting to investigate the geography problem for knot groups, constructing the first examples of exotically knotted surfaces in closed, simply connected 4-manifolds whose knot groups contain nonabelian free subgroups, hence are not expected to be "good" groups in the sense of surgery theory.

研究动机与目标

• 开发一种在4-球体中构造异样扭结曲面的新方法，使得这些曲面拓扑同伦但微分结构不同伦。
• 将该构造方法扩展至在更大、闭合的4-流形中产生异样闭曲面。
• 探讨异样扭结对4-流形拓扑中地理问题的影响，特别是关于基本群结构的影响。
• 提供用于在4D环境中构造辛曲面与复曲线的图示化工具。
• 研究非交换自由子群在异样曲面基本群中的作用，挑战手术理论中的既有假设。

提出的方法

• 利用局部扭结技术，在4-球体中构造出拓扑同伦但微分结构不同伦的曲面。
• 应用广义迹-余 bordism 构造，将异样曲面嵌入更大的4-流形中。
• 采用适配于辛几何与复几何的图示化技术，以可视化并构造曲面。
• 利用复曲线与辛结构之间的相互作用，确保所构造的曲面同时具备复结构与辛结构。
• 通过胞腔分解与 Kirby 微积分控制微分结构，同时保持拓扑类型不变。
• 分析扭结补集的基本群，以检测非交换自由子群的存在，表明其在手术理论意义下为“非好”群。

实验结果

研究问题

• RQ1 是否可以在4-球体中构造出既是复曲线又是扭结曲面的异样扭结曲面？
• RQ2 基本群结构在决定4-流形是否允许异样微分结构方面起什么作用？
• RQ3 是否可在基本群为非交换自由群的单连通4-流形中实现异样闭曲面？
• RQ4 如何将图示化技术适配于在4D环境中构造辛曲面与复曲线？
• RQ5 具有非好基本群的异样曲面是否为微分结构分类提供了新的障碍？

主要发现

• 本文首次构造出4-球体中异样扭结复曲线的实例，证明复结构能够区分曲面的微分类型。
• 首次提供了4-球体中异样辛2-球面的实例，表明辛结构能够检测微分结构的异样性。
• 在闭合、单连通的4-流形中，构造出了所有亏格的异样闭曲面，其扭结基本群包含非交换自由子群。
• 这些异样曲面的扭结基本群被证明在手术理论意义下为“非好”群，表明其不适用于标准分类技术。
• 该构造产生了一类新的具有异样微分结构的4-流形，其异样性由扭结补集的基本群所检测。
• 该方法在辛与复几何设定下均有效，为在几何约束下构造异样曲面提供了一体化方法。