[论文解读] Geometric obstructions for $ξ$-fillings of 3-manifolds

Daniel Galvin, Peter Teichner+1 more|arXiv (Cornell University)|Jan 14, 2026

Geometric and Algebraic Topology被引用 0

一句话总结

这篇论文为在封闭3-流形上实现给定ξ-结构以作为具有相同ξ类型的4-流形边界的过程，提出一个几何三阶阻塞（tertiary obstruction），通过Wall的二次自相交形式表达，并将其与James谱序列联系起来。

ABSTRACT

We consider the realisation problem for normal 1-types of 4-manifolds with a given boundary. More precisely, given a normal 1-type $ξ$ and closed 3-dimensional $ξ$-manifold $Y$, does there exist a compact 4-dimensional $ξ$-manifold with boundary $Y$? We describe a three stage obstruction theory for the existence of such a 4-manifold, with our main contribution being a `tertiary' obstruction that we describe geometrically via Wall's quadratic self-intersection form.

研究动机与目标

• 在Kreck框架中为带边界的4-流形的法线1型的实现问题提供动机。
• 建立一个三阶段阻塞理论，以判断是否存在ξ填充。
• 使用Wall的二次自相交形式引入几何三阶阻塞。
• 将阻塞与James谱序列联系起来并推导具体判据。
• 讨论通过ξ填充实现对稳定微分同胚分类的影响。

提出的方法

• 描述法线1型ξ及其在Y上的相关ξ结构以及潜在的4-流形填充。
• 定义扩展ξ结构穿过填充的一级、二级和三级阻塞。
• 引入Wall自相交形式的修改并投影到H1(π; Z/2)以定义J型不变量。
• 构造几何微分δ，以映射James谱序列的微分。
• 证明三级不变量在填充数据下是良定义且可计算的。
• 建立阻塞为零与存在ξ填充之间的等价关系。

Figure 1. A Kirby diagram for the manifold $X=((\mathbb{RP}^{2}\times S^{2})\#(\mathbb{RP}^{2}\times S^{2}))_{*}$ . The notation for the non-orientable 1-handles is due to Akbulut [ 1 , Sections 1.1, 1.5]

实验结果

研究问题

• RQ1 在给定具有ξ结构的3-流形何种条件下它能界出携带相容ξ结构的4-流形？
• RQ2 在这个ξ设定中，如何将阻塞理论组织成一级、二级和三级阶段？
• RQ3 是否可以利用Wall的二次自相交形式来定义支配可填充性的几何三级阻塞？
• RQ4 几何阻塞与James谱序列的微分之间有什么关系？
• RQ5 这些阻塞是否给出ξ填充存在性的完整判据，从而影响稳定微分同胚分类？

主要发现

• 为Y的ξ填充存在性建立了三阶段阻塞框架，包含三级阻塞。
• 通过Wall的二次自相交形式及其J修改给出三级阻塞的几何解释。
• 论文定义了与James谱序列微分相映射的几何微分，并在关键情形下证明其一致性。
• 一级和二级阻塞与在潜在4-流形填充上扩展ξ结构以及球形代表元之间的联系。
• 给出在阻塞消失时存在ξ填充的条件，并导出二级Wu型公式。
• 结果提供了从3-流形数据到Kreck框架中4-流形ξ填充问题的具体路径。

Figure 2. The annulus $A_{t}$ described using a regular homotopy of $\gamma$ , shown in sporadically dashed green, whereas the relevant parts of the Kirby diagram are shown in solid black. The guide for the single intersection point is shown in dashed purple. The handle slides are guided by the blue