[论文解读] Covering moves and Kirby calculus

Ivelina Bobtcheva, Riccardo Piergallini|ArXiv.org|Jul 2, 2004

Geometric and Algebraic Topology参考文献 33被引用 9

一句话总结

本文建立了四维4-球面沿带状曲面分支的简单覆盖与四维2-胞胎复形之间在局部带状移动和稳定化下的双射对应关系，以及在2-等价关系（2-胞胎滑动与消去）下的双射对应。该研究将Kirby微积分推广至分支覆盖，证明带状移动R1与R2恰好对应于2-胞胎滑动与消去移动，为任意度数的S³沿链分支的覆盖提供了完整的局部移动集。

ABSTRACT

We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over links, in terms of local moves. This result generalizes to coverings of any degree results by the second author and Apostolakis, concerning respectively the case of degree 3 and 4. We also provide an extension of our equivalence theorem to possibly non-simple coverings of S^3 branched over embedded graphs. This work represents the first part of our study of 4-dimensional 2-handlebodies. In the second part (arXiv:math.GT/0612806), we factor such bijective correspondence between simple coverings of B^4 branched over ribbon surfaces and orientable 4-dimensional 2-handlebodies through a map onto the closed morphisms in a universal braided category freely generated by a Hopf algebra object.

研究动机与目标

• 建立一个完整的局部移动集，用于在四维2-胞胎复形的2-等价关系下对B⁴沿带状曲面的简单覆盖进行分类。
• 通过带状移动将先前关于S³上三重与四重分支覆盖的结果推广至任意度数的覆盖。
• 将等价关系扩展至沿S³中嵌入图的非简单覆盖。
• 在论文第二部分中，通过普遍辫状范畴结构，为4-流形的代数不变量提供基础框架。

提出的方法

• 在B⁴中的带状曲面上定义二维1-胞胎复形结构与覆盖空间中四维2-胞胎复形结构之间的对应关系。
• 证明在带状曲面上的胞胎滑动与消去可诱导覆盖空间中的相应移动，且保持2-等价性。
• 引入局部带状移动R1与R2（带有不同的标签i,j,k,l）作为关联分支覆盖的基本移动。
• 证明将度数稳定至≥4，结合带标签的1-同伦与R1/R2移动，可对四维流形在2-等价关系下进行分类。
• 使用从Kirby图构造分支带状曲面的典范方法，保持图的结构，从而实现对Kirby微积分的直接解释。
• 利用该对应关系，将带状曲面的同伦关系与2-形变及微分同胚联系起来，为区分四维流形中2-等价与微分同胚提供可能路径。

实验结果

研究问题

• RQ1 能否通过一组完整的局部移动，对B⁴沿带状曲面的简单覆盖在四维2-胞胎复形的2-等价关系下进行分类？
• RQ2 带状移动R1与R2，连同稳定化，是否足以关联同一四维2-胞胎复形的任意两个分支覆盖表示？
• RQ3 该分支覆盖与四维流形之间的等价关系能否从简单覆盖推广至沿S³中嵌入图的非简单覆盖？
• RQ4 带状曲面的同伦与四维流形的微分同胚之间是否存在结构性联系，特别是与2-形变和3-胞胎移动的关系？
• RQ5 四维流形的Kirby微积分能否被完整编码为分支覆盖的分支数据上的移动？

主要发现

• 两个连通的B⁴沿带状曲面的简单覆盖表示四维2-胞胎复形，当且仅当在稳定至相同度数≥4后，其带标签的分支曲面通过带标签的1-同伦与有限次带状移动R1和R2相互关联。
• 带状移动R1与R2在带标签同伦下可生成其逆移动，且足以实现覆盖空间中所有2-等价移动。
• 从Kirby图构造分支带状曲面的方法是典范的，仅在带状移动下等价，且保持图的结构，从而可直接将Kirby微积分解释为分支数据。
• 该结果推广了先前关于三度与四度覆盖的工作，为所有度数提供了统一的框架。
• 覆盖移动与Kirby微积分之间的对应关系，为第二部分中通过霍普夫代数对象的普遍辫状范畴结构建立四维流形的代数不变量奠定了基础。
• 本文表明，四维流形中2-等价与微分同胚的差异，可能由带状曲面的1-同伦与同伦之间的区别所捕捉，后者允许非带状相交与胞胎对消去。