[论文解读] Trisecting Smooth 4-dimensional Cobordisms

Nickolas A. Castro|arXiv (Cornell University)|Mar 16, 2017

Advanced Algebra and Logic参考文献 2被引用 6

一句话总结

本文将4-流形的相对三重分解推广至具有多个边界分量的情形，建立了沿兼容边界开书进行三重分解4-流形粘合的条件，并引入了一种类似于开书Hopf稳定化的相对稳定化操作。其主要贡献是构建了一个范畴Tri，其对象为带有开书分解的闭3-流形，态射为相对三重分解，从而为4-维拓扑提供了范畴框架。

ABSTRACT

We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide sufficient conditions under which relatively trisected $4$-manifolds can be glued to one another along diffeomorphic boundary components so as to induce a trisected manifold. These two results allow us to define a category $ extrm{Tri}$ whose objects are smooth, closed, oriented $3$-manifolds equipped with open book decompositions, and morphisms are relatively trisected cobordisms. Additionally, we extend the Hopf stabilization of open book decompositions to a relative stabilization of relative trisections.

研究动机与目标

• 将相对三重分解推广至任意数量边界分量的4-流形，而不仅限于连通的情形。
• 建立两个相对三重分解4-流形沿微分同胚边界分量粘合为三重分解4-流形的充分条件。
• 定义一种相对稳定化操作，作用于相对三重分解，使其在边界开书分解上诱导出Hopf稳定化。
• 构建一个范畴Tri，其对象为带有开书分解的闭3-流形，态射为相对三重分解4-钴边的同伦类。
• 通过同时引入内部稳定化与相对稳定化，强化相对三重分解的唯一性结果。

提出的方法

• 将相对三重分解的定义扩展至具有 m > 1 个边界分量的4-流形，确保每个边界分量均继承一个开书分解。
• 证明相对三重分解的存在性，并证明其在每个边界分量上诱导出指定的开书分解，且在内部稳定化下唯一。
• 建立粘合定理：若两个相对三重分解的边界分量具有兼容的诱导开书，则可通过微分同胚将其粘合，形成一个三重分解的4-流形。
• 引入一种相对稳定化操作，通过Hopf稳定化修改选定边界分量的开书，类似于Lefschetz纤维化中的稳定化。
• 利用相对稳定化与粘合的相容性，确保稳定化后的三重分解在兼容边界分量上仍可粘合。
• 通过将对象取为带有开书分解的闭3-流形，态射取为相对三重分解4-钴边的同伦类，构造范畴Tri，其复合运算由粘合给出。

实验结果

研究问题

• RQ1 能否为具有多个边界分量的光滑、紧致、定向4-流形一致定义相对三重分解，使得每个边界分量均继承一个开书分解？
• RQ2 在何种条件下，两个相对三重分解的4-流形可沿微分同胚的边界分量粘合，生成一个三重分解的4-流形？
• RQ3 是否存在一种作用于相对三重分解的相对稳定化操作，使其在选定边界分量的开书结构上诱导出Hopf稳定化？
• RQ4 能否严格定义三重分解的范畴，其对象为带有开书分解的3-流形，态射为相对三重分解，且在粘合下复合封闭？
• RQ5 在考虑开书上的移动（如双扭转变换）时，相对三重分解在稳定等价意义下对4-流形的分类能力有多强？

主要发现

• 每个具有 m > 1 个边界分量的光滑、紧致、定向4-流形均存在一个相对三重分解，且在每个边界分量上诱导出指定的开书分解。
• 对于边界上任意一组开书分解，均存在一个相对三重分解，使其在边界上诱导出这些开书，且在内部稳定化下唯一。
• 若两个相对三重分解的4-流形在边界分量上具有兼容的诱导开书，则可通过尊重开书结构的粘合映射将其粘合，生成一个三重分解的4-流形。
• 相对稳定化存在，且作为范畴上的稳定化操作，其在边界开书上诱导出Hopf稳定化，且在粘合下保持兼容性。
• 范畴Tri定义良好，其复合由粘合给出，粘合定理保证了结合律，恒等态射由同一边界上稳定等价的三重分解给出。
• 相对三重分解的唯一性得到加强：若两个三重分解在边界上诱导出稳定等价的开书，则经过有限次内部与相对稳定化后，它们将同伦。