SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy

技术摘要：Hirzebruch 曲面 $F_k$ 的 SYZ 镜像与 Morse 同伦

问题陈述
本文致力于建立 Hirzebruch 曲面 $F_k$ 作为复流形的同调镜像对称（HMS）。虽然 Futaki、Kajiura 和作者此前已利用 Morse 同伦确立了环面 Fano 曲面（特别是 $F_1$）的 HMS，但将其推广到非 Fano 情形（$k \geq 2$ 的 $F_k$）带来了显著挑战。与 $F_1$ 情形不同，$F_k$ 的 Strominger-Yau-Zaslow (SYZ) 纤维化的对偶坐标无法以允许利用矩图坐标直接计算拉格朗日截面交点的方式显式表达。此外，Morse 同伦范畴的行为在 Fano 情形（$k=1$）与非 Fano 情形（$k \geq 2$）之间存在差异，特别是关于该范畴的极小性。

方法论
作者通过双环面纤维化采用镜像对的 SYZ 构造，并利用矩图上的 Morse 同伦框架，遵循 Futaki 和 Kajiura [9, 10, 16] 的方法。

1. SYZ 设置：本文将 Hirzebruch 曲面 $F_k$ 视为配备凯勒度量的环面流形。它在矩图 $P$ 的内部上构造了双环面纤维化 $M \to B$。镜像流形 $\check{M}$ 被识别为 $B$ 上的环面丛。
2. 复侧（DG 范畴）：复侧由相干层导出范畴 $Db(\text{Coh}(F_k))$ 建模。作者关注一个全强例外线丛序列，记为 $Ec = (\mathcal{O}, \mathcal{O}(1,0), \mathcal{O}(c,1), \mathcal{O}(c+1,1))$，该序列生成导出范畴。定义了一个 DG 范畴 $DG(F_k)$，由具有特定联络的这些全纯线丛组成。
3. 辛侧（Morse 同伦）：辛侧由加权 Morse 同伦范畴 $Mo(P)$建模。该范畴中的对象是双环面纤维化$M \to B$的拉格朗日截面。作者构造了对应于例外序列中各线丛的拉格朗日截面$L(a,b)$。
4. 交点分析：一个关键的技术步骤涉及计算这些拉格朗日截面的交点。由于一般 $k$ 值的显式对偶坐标难以处理，作者参照先前的工作 [16]，针对对偶坐标计算交点，并研究这些交点在矩图 $P$ 内的连通分支。
5. 态射与微分：$Mo(P)$中的态射空间由满足特定稳定性流形条件（M1 和 M2）的拉格朗日截面交点的连通分支张成。微分$m_1$和复合$m_2$ 通过梯度树及其辛面积定义。

主要贡献与结果

• 推广至非 Fano 情形：主要结果是证明了对于任意正整数 $k$，同调镜像对称在 Hirzebruch 曲面 $F_k$ 上成立。这将此前关于 $F_1$ 的结果推广到了非 Fano 区域（其中 $k=2$ 时 $F_k$ 为弱 Fano，而 $k \geq 3$ 时甚至不是弱 Fano）。
• 范畴等价性：本文建立了 Morse 同伦范畴的全子范畴 $Mo_{Ec}(P)$ 与全纯线丛 DG 范畴的全子范畴 $V'_{Ec}$（其拟同构于 $DGEc(F_k)$）之间的 DG-拟同构。
  $$Mo_{Ec}(P) \simeq V'_{Ec} \simeq DGEc(F_k)$$
  因此，由这些 DG-范畴诱导的三角范畴是等价的：
  $$Tr(Mo_{Ec}(P)) \simeq Db(\text{Coh}(F_k))$$
• 极小性分析：本文研究了 Morse 同伦范畴的极小性。
  • 对于全强例外序列 $Ec$，子范畴$Mo_{Ec}(P)$是极小的（对于$k \geq 3$的高阶乘积$m_k$ 消失，且微分在该特定子序列的生成元上是平凡的）。
  • 然而，对于 $k \geq 2$，全范畴 $Mo(P)$**不是**极小的。作者为$F_2$提供了一个具体的反例（具体涉及$L(0,0)$与$L(-7,3)$之间的态射空间）。在这种情况下，拉格朗日截面的交点是不连通的，且在不同连通分支之间存在梯度轨迹，导致非平凡的微分$m_1$。这与$F_1$情形形成对比，在$F_1$中$Mo(P)$ 是极小的。
• 显式对应：作者构造了 Morse 同伦范畴的生成元（交点的连通分支）与复侧上同调的基元素（全纯截面）之间的显式对应 $\iota$，并展示了其与复合运算的相容性。

意义
本文声称其意义在于将 SYZ-Morse 同伦方法推广到 Fano 情形之外更广泛的环面曲面类。通过证明利用环面流形自身的矩图（而非如 Abouzaid 方法 [1] 中源自热带阿梅巴的矩图）即可确立 $F_k$ ($k \geq 2$) 的 HMS，该工作验证了 Futaki-Kajiura 框架的稳健性。它强调，尽管全 Morse 同伦范畴在非 Fano 情形下可能表现出非极小行为，但限制在全强例外序列上即可恢复与相干层导出范畴的等价性。这为非 Fano 环面曲面的同调镜像对称提供了一个具体实例。