Fibrations by Lagrangian tori for maximal Calabi-Yau degenerations and beyond

技术摘要：极大 Calabi–Yau 退化的拉格朗日环面纤维化及其延伸

问题陈述
本文探讨了 Strominger–Yau–Zaslow (SYZ) 猜想，该猜想认为 Calabi–Yau 流形的镜对称起源于由特殊拉格朗日环面构成的对偶纤维化。具体而言，作者关注的是“大复结构极限”，这对应于一个极大 Calabi–Yau 退化。在这种设定下，Kontsevich 和 Soibelman 就此类退化纤维上存在特殊拉格朗日环面纤维化，且该纤维化收敛至一个满足实 Monge–Ampère 方程的度量空间（本质骨架/essential skeleton），提出了精确的猜想。尽管在特定族（例如 Fermat 族或超曲面）中已存在部分结果，但对于任意极大 Calabi–Yau 退化，构建通用的构造方法仍然是一个难题。本文旨在提供一种通用的技术来构造此类纤维化，并证明其渐近性质，即当退化参数趋于零时，这些纤维化如何变为特殊拉格朗日且体积最小化。

方法论
作者引入了一个以 A'Campo 空间为核心的新颖几何框架，这是一个“混合”空间，通过结合总空间的实定向吹胀（real oriented blowup）与中心纤维的对偶复形来紧化该退化。该方法论通过以下步骤进行：

1. 构造 A'Campo 空间 ($A$)：
   作者利用与具有简单正交交（snc）中心纤维的全纯映射 $f: X \to \mathbb{C}$ 相关的 A'Campo 空间 $A$。该空间被构造用于解决在“半径为零”（中心纤维）处退化的不确定性。它配备了光滑结构（具体为 $C^\infty$ 仿射图）以及提升自中心纤维层级的分层结构。

2. 纤维化 Kähler 形式：
   一个关键的技术创新是构造了一族给定 Kähler 形式 $\omega_X$ 在 A'Campo 空间上的精确修正。这些形式记作 $\omega^\varepsilon_q$，其中参数 $q \in [0, 1]$ 且 $\varepsilon > 0$ 极小。

   • 该形式构造为 $\omega^\varepsilon_q = \pi^*\omega_X + \varepsilon \cdot (q \cdot \omega^\sharp + (1-q) \cdot \omega^\flat)$。
   • $\omega^\sharp$ 被设计为在正半径处与复结构（Kähler）相容。
   • $\omega^\flat$ 受“半平坦”（semi-flat）模型启发，旨在退化为半径为零时对偶复形上的欧几里得度量。
   • 作者证明，对于足够小的 $\varepsilon$，这些形式在正半径处是纤维化 Kähler 的，且在半径为零时（特别是在骨架的“泛型”区域）是纤维化辛的。

3. 半径为零处的拉格朗日纤维化：
   首先在 A'Campo 空间的边界（半径为零）上进行纤维化的构造。

   • 纤维化的基底是一个扩张骨架 ($ES$)，这是一个光滑流形（在一般情况下为“常春藤状”流形），通过扩张本质骨架$\Delta_S$ 的面来构造。
   • 在“半径为零”的纤维上，作者显式地构造了一个拉格朗日环面纤维化。对于骨架的最大面，纤维是环面与单纯形的乘积。对于次最大面，他们利用层级上的 Morse 函数来定义纤维化。
   • 在极大 Calabi–Yau 退化的特定情况下，作者选择了一种层级同构于 $\mathbb{C}^*$ 的模型，从而允许使用规范的 Morse 函数（坐标的绝对值）来消除纤维化中的奇异性。

4. 向正半径传输：
   利用与该系列形式相关的辛连接（symplectic connection），作者将拉格朗日环面从半径为零的纤维传输到原始退化的附近纤维 $X_z$。这种传输保持了拉格朗日性质。

5. 渐近分析：
   作者分析了这些传输后的纤维化在沿着 $(z, q)$ 平面中的特定路径趋向 $z \to 0$ 时的行为。他们研究了重标度度量的 Gromov–Hausdorff 极限以及体积形式的收敛性。

主要贡献与结果

• 通用构造 (定理 6.14)： 本文建立了一种通用的技术，为任何具有 snc 中心纤维的 Kähler 退化构造拉格朗日环面纤维化，前提是选择了一个子集分量来定义“本质骨架”。
• 极大 Calabi–Yau 退化 (定理 1.1)： 对于任何允许半稳定模型的极大 Calabi–Yau 退化，作者证明了存在一族 Kähler 形式 $\omega_q$ 以及定义了在泛型区域上拉格朗日环面纤维化的光滑映射族 $l_{z,q}$。
  • 该纤维化的基底是扩张骨架 $ES$。
  • 重标度纤维的 Gromov–Hausdorff 极限是配备了欧几里得度量的本质骨架 $\Delta_S$。
• 渐近特殊性 (定理 1.2)： 对于趋向退化的“温和”路径，作者证明了泛型区域中的拉格朗中环面是渐近特殊的。
  • 体积填充： 泛型区域（由环面纤维化）的体积收敛于纤维的总体积。
  • 渐近 Ricci 平坦性： 构造的形式 $\omega_q$ 在体积形式与全纯体积形式之比收敛于常数这一意义上近似于 Ricci 平坦度量。
  • 特殊条件： 限制在环面上的全纯体积形式的虚部渐近消失（在相位差意义下），这意味着环面是渐近特殊拉格朗日的。
  • Maslov 类： 纤维具有平凡的 Maslov 类。
• 基底奇异性的解决： 作者构造了一个基底 $ES$，它是一个光滑流形（在 Calabi–Yau 情况中），避免了其他构造中常见的与判别集（discriminant locus）相关的奇异性。判别集被推向了“非泛型”区域，该区域在极限下体积为零。

意义与主张

作者声称其工作为一般情况下的极大 Calab–Yau 退化提供了 Kontsevich–Soibelman 预测的渐近版本。

• 存在性： 他们证明了具有预期渐近性质（特殊性、体积最小化、向本质骨架的 Gromov–Hausdorff 收敛）的拉格朗日环面纤维化的存在性，而无需局限于像 Fermat 超曲面这样的特定族。
• 阿基米德类比： 该构造被呈现为 Nicaise, Xu, 和 Yu 所构造的非阿基米德仿射环面纤维化的阿基米德类比。$ES$ 被证明同胚于非阿基米德基底的内部。
• 技术新颖性： 论文强调了结合了特定的 Kähler 形式变形（$\omega^\varepsilon_q$）的 A'Campo 混合空间构造的新颖性，这种构造允许在纤维的复几何与骨架的热带几何之间进行光滑过渡。
• 谦逊态度： 作者明确指出其结果是“渐近的”。他们并不声称为每个正半径下的纤维构造了精确的 Ricci 平坦度量，也不声称构造的形式正是 Ricci 平坦度量；相反，他们展示了所构造的形式和纤维化在退化参数趋于零时如何逼近推测的 SYZ 行为。他们注意到，相对于他们构造的形式，非泛型区域的体积并不会消失，这区别于精确的 Ricci 平坦度量（在后者中，体积完全集中在泛型区域）。

总而言之，本文提供了一个稳健且通用的框架，用于在极大 Calabi–Yau 退化的背景下实现 SYZ 图景，通过精心设计的辛变形，在纤维的复几何与对偶复体的热带几何之间架起了桥梁。