The nearby Lagrangian conjecture for pinwheels

技术摘要：针轮的近邻拉格朗日猜想

问题陈述
本文探讨了由 V. I. Arnol'd 提出的近邻拉格朗日猜想（NLC），该猜想断言：光滑闭流形 $Q$ 的余切丛 $T^*Q$ 中的任何恰当拉格朗日子流形，均哈密顿同痕于零截面。尽管利用伪全纯曲线技术，该猜想已在若干低维情形（如 $T^*S^2$、$T^*T^2$）中得到证实，但对于一般流形，尤其是奇异拉格朗日子流形，该猜想仍悬而未决。

作者聚焦于一类特定的奇异拉格朗日子流形，称为拉格朗日 $(p, q)$-针轮。$(p, q)$-针轮是一个拓扑 $p$-针轮（即通过 $p$ 对 $1$的覆盖将一个 2-胞腔附着在一个 1-胞腔上），其中 2-胞腔是拉格朗日的，并以由$q$决定的特定几何方式与核心圆相交。这些对象自然地作为**有理同调球**$B_{p,q}$的拉格朗日骨架（$L^{\text{st}}{p,q}$）出现，而$B{p,q}$是循环商奇点$\frac{1}{p^2}(1, pq-1)$ 的米尔诺纤维。

核心问题在于确定嵌入在 $B_{p,q}$ 中的任何拉格朗日 $(p, q)$-针轮是否哈密顿同痕于标准骨架 $L^{\text{st}}_{p,q}$。这是适应于 $B_{p,q}$ 奇异情形的"NLC1"子猜想。

方法论
证明分为两个大致独立的技术部分，结合了辛拓扑、代数几何和伪全纯曲线理论。

1. 辛唯一性（第一部分）：

   • 紧化： 作者构建了非紧流形 $B_{p,q}$ 的紧化 $X_{p,q}$。这是通过给 $B_{p,q}$ 的几乎环面底图加盖并解析由此产生的轨形奇点来实现的。所得空间 $X_{p,q}$ 双有理地源自于一个希策布鲁赫曲面。
   • 叶状结构与颈部拉伸： 他们利用了 $X_{p,q}$ 上“叶状结构”（由有理曲线构成的叶状结构）的概念。通过沿嵌入的针轮执行辛有理爆破，他们分析了伪全纯曲线在颈部拉伸下的行为。
   • 叶状结构的保持： 一个关键的技术结果是证明 $X_{p,q}$ 上的叶状结构（由平方为零的球面构成的叶状结构）在理性爆破后得以“保持”。具体而言，爆破后的流形 $\tilde{X}$ admitting 一个唯一的破碎叶状结构，由沃尔链（来自爆破的例外球面）和紧化除子组成，并通过单个例外球面连接。
   • 辛同胚构造： 利用这些叶状结构的唯一性以及针轮邻域补集的最小性，他们构造了一个紧支集辛同胚 $\psi$，将任意拉格朗日针轮 $L$ 映射到标准骨架 $L^{\text{st}}_{p,q}$。

2. 哈密顿同痕（第二部分）：

   • 辛同胚群： 为了将辛同胚 $\psi$ 提升为哈密顿同痕，作者计算了紧支集辛同胚群 $\text{Symp}_c(B_{p,q})$ 的弱同伦型。
   • 梳状图： 他们采用了“梳状图”（Comb diagrams），这是一种将流形的辛同胚群与其子流形及其补集的辛同胚群联系起来的工具。他们将 $\text{Symp}_c(B_{p,q})$ 与群 $\text{Symp}_c(W_{p,q})$ 联系起来，其中 $W_{p,q} = B_{p,q} \setminus K_{p,q}$（中心圆柱的补集）。
   • 刘维尔完备化： 他们将 $W_{p,q}$ 识别为惠特尼球面 $Wh$的余切丛$T^*Wh$中的星形区域。利用关于此类区域辛同胚群可缩性的结果，他们证明了$\text{Symp}c(W{p,q})$ 是弱可缩的。
   • 针轮扭转（Pintwist）： 他们证明了 $\text{Symp}_c(B_{p,q})$ 弱同伦等价于 $\mathbb{Z}$，由一个特定的辛同胚——针轮扭转 $\tau_{p,q}$ 生成。该映射是与底层奇点平滑化相关的辛单值变换。
   • 结论： 由于针轮扭转保持拉格朗日骨架至多相差一个哈密顿同痕（如通过 Banyaga 扩张定理和上同调消失所示），任何将 $L$ 映射到 $L^{\text{st}}_{p,q}$ 的辛同胚都可以与针轮扭转的幂复合，从而产生一个哈密顿同痕。

主要贡献与结果

• 主定理（定理 A）： $B_{p,q}$ 中的任何拉格朗日 $(p, q)$-针轮均哈密顿同痕于标准拉格朗日骨架 $L^{\text{st}}_{p,q}$。这确立了近邻拉格朗日猜想对于这一大类奇异拉格朗日子流形的成立。
• 辛分类（定理 B）： $B_{p,q}$ 中的任意两个拉格朗日 $(p, q)$-针轮通过一个紧支集辛同胚相关联。
• 辛同胚群结构（定理 C）： 群 $\text{Symp}_c(B_{p,q})$ 弱同伦等价于 $\mathbb{Z}$，由针轮扭转 $\tau_{p,q}$ 生成。这提供了 $p > 2$ 时该群的首次计算（之前的结果仅存在于 $p=1, 2$ 的情况）。
• 应用：
  1. 针球非挤压： 作者证明了“针球” $B_{p,q}(r)$ 的格罗莫夫非挤压定理，表明它们嵌入到针柱 $E_{p,q}(\alpha, \infty)$ 中当且仅当 $r \le \alpha$。障碍源于理性爆破中例外曲线的面积。
  2. 局部解结： 他们提供了艾利亚什伯格 - 波利特罗维奇关于 $\mathbb{R}^4$ 中拉格朗日平面局部解结定理的新证明，将 $(1,1)$-针轮（即拉格朗日圆盘）视为特例。
  3. 针轮类型的唯一性： 他们证明了嵌入在 $B_{p,q}$ 中的拉格朗日针轮仅有 $(p, q)$ 型（或 $(p, p-q)$ 型），扩展了关于这些球中不存在光滑恰当拉格朗日子流形的先前结果。

意义与主张
本文声称解决了近邻拉格朗日猜想，对象是作为有理同调球“零截面”的一类重要奇异拉格朗日子流形。作者强调，他们的方法利用了辛几何与曲面奇点（特别是沃尔奇点）代数几何之间的相互作用。

其意义在于：

• 扩展 NLC： 从光滑流形扩展到奇异拉格朗日子流形，后者是研究辛奇点和镜像对称的自然对象。
• 新技术： 在有理同调球背景下成功应用“叶状结构”和颈部拉伸，绕过了以往在 $T^*Q$ 研究中所需的对周围空间进行全局紧化的需求。
• 群计算： 提供了 $B_{p,q}$ 辛映射类群的完整描述，揭示了一个由自然几何操作（针轮扭转，类似于德恩扭转）生成的结构。
• 定量障碍： 证明了用于唯一性的方法也能产生定量嵌入障碍（非挤压），将针轮的拓扑与辛容量联系起来。

作者指出，他们的工作是更广泛的有理同调球嵌入 $\mathbb{CP}^2$ 定理的“前传”，为这些全局分类提供了必要的局部唯一性结果。他们明确表示，他们的方法依赖于 $B_{p,q}$ 的具体几何结构和几乎环面纤维化，若不进一步开发，并不能立即推广到所有维度或所有奇异拉格朗日子流形。