Open FJRW Theory and Mirror Symmetry

“开放式 FJRW 理论与镜像对称性”技术摘要

问题陈述
本文旨在构建针对 Landau-Ginzburg (LG) 模型 $(W, G) = (x^r + y^s, \mu_r \times \mu_s)$ 的开放枚举理论。虽然闭合 FJRW 理论（Fan-Jarvis-Ruan-Witten）为 LG 理论的 A 模型提供了稳健的枚举框架，但相应的开放理论（涉及边界）在秩 $a \geq 2$ 时研究较少。此前，Buryak、Clader 和 Tessler 建立了开放 $r$-spin 理论（即 $a=1$ 的情况），但将此扩展到更高秩面临着显著的几何与组合挑战。具体而言，作者旨在定义满足镜像对称定理（将开放 A 模型与 B 模型——Saito-Givental 理论联系起来）的开放不变量，并理解这些不变量对边界条件的依赖性，这导致了墙越行为（wall-crossing phenomena）。

方法论
作者采用基于稳定 W-spin 圆盘模空间（moduli spaces of stable W-spin disks）的几何方法，推广了开放 $r$-spin 不变量的构造。

1. 模空间与结构：

   • 他们定义了分级 W-spin 圆盘（graded W-spin disks），即带有反全纯自同构、spin 丛 $S_i$ 以及在标记点和节点处具有特定扭转数据的亏格为零的带边界轨道 Riemann 曲面。
   • 模空间 $\mathcal{M}^W_\Gamma$ 被构造为带有角（corners）的实轨道（real orbifolds），其中 $\Gamma$ 代表编码圆盘退化（节点、边界节点、收缩边界节点）的对偶图。
   • 一个关键的技术步骤是定义分级（gradings，即 spin 丛的提升）以施加必要的边界条件。这包括区分“交替”与“非交替”边界点，以及处理“收缩边界节点”。

2. Witten 丛与不变量：

   • 不变量被定义为在模空间上对下降式 Witten 丛 $E_\Gamma(d)$ 的多截面（multisections）进行积分。该丛是 Witten 丛 $W_i$（与 $H^1(C, S_i)^\vee$ 相关）及下降线丛 $L_i$ 的直和。
   • 由于模空间具有角，不变量并非简单的欧拉类。相反，它们被定义为满足特定边界条件的多截面零点的带符号计数。
   • 作者引入了多截面沿某些边界层（特别是对应于“正向”边界节点的层）的正性（positivity）概念。这确保了多截面在这些层上是非零的，从而允许定义一个相对欧拉类。

3. 归纳结构与规范族：

   • 为了定义跨所有模空间的连贯系统的不变量，作者构造了规范多截面族（families of canonical multisections）。这些是归纳定义的：对应于退化为两个圆盘的层上的边界条件由从归一化分量的模空间中拉回的多截面决定。
   • 这种归纳结构对于建立不变量之间的关系（如拓扑递归）至关重要。

4. 墙越与 LG 墙越群：

   • 作者指出，边界条件的选择并非唯一。不同的选择会导致不同的不变量系统。
   • 他们定义了一个Landau-Ginzburg 墙越群（$G_{r,s}^{AI,sym}$），它是势函数参数空间的自同构子群。该群作用于所有可能的开放不变量系统集合上。
   • 该作用被证明是忠实的且传递的，这意味着任何两个有效的系统都通过该群的元素相关联。该群由与模空间维度相对于丛秩减少 1 的“临界”边界层相关的变换所生成。

5. 镜像对称与拓扑递归：

   • 利用一套开放不变量，作者构造了势函数 $W = x^r + y^s$ 的扰动 $W^{\nu, sym}$。
   • 他们证明了 $e^{W^{\nu, sym}/\hbar}$ 的振荡积分产生闭合扩展 FJRW 不变量的生成函数。
   • 至关重要的是，他们建立了开放拓扑递归。与闭合情况或 $r$-spin 情况不同，递归并不适用于单个开放不变量，而是适用于特定的不变量多项式组合（记作 $A(I, d)$）。这是由于墙越现象的存在，这种现象使得多项式递归成为必要。

主要贡献与结果

• 构造开放 FJRW 不变量： 本文成功地为秩为 2 的 Fermat LG 模型 $(x^r + y^s, \mu_r \times \mu_s)$ 构造了开放 FJRW 不变量。这些不变量被定义为在带角的实轨道上的多截面积分。
• 规范族的存在性： 定理 0.1 确立了规范横截多截面族及其对称版本的存在性，证明了开放不变量的存在。
• 墙越群： 本文识别并表征了 LG 墙越群。它证明了该群在所有可能的开放不变量系统集合上是传递作用的（定理 0.7）。这为开放不变量定义的歧义性提供了完整的分类。
• 开放镜像对称定理： 定理 0.3 证明了一个 LG/LG 开放镜像对称定理。它指出，如果使用开放不变量来构造变形后的势函数 $W^{\nu, sym}$，则所得的振荡积分会生成带有下降式的闭合扩展 FJRW 不变量。这建立了一个直接的联系，将开放 A 模型与闭合 B 模型联系起来，而无需依赖于像 Berglend-Hübsch 对偶这样的组合构造。
• 开放拓扑递归： 定理 0.5 建立了一种新形式的拓扑递归。由于墙越现象，递归关系联系的是不变量的多项式而非单个不变量。这种递归是证明镜像对称定理的关键工具。
• 开放-闭合对应： 推论 0.6 提供了一个精确的对应关系，将开放不变量的多项式与闭合扩展不变量联系起来。

意义与主张

作者声称这项工作提供了第一个针对二维（秩 $a=2$）Landau-Gendberg 模型且包含所有下降式的开放枚举理论。

• 几何自然性： 构造依赖于几何边界条件（正性）而非权宜的选择，从而实现了 A 模型与 B 模型在“字面上”（on the nose）的匹配。
• 解决歧义性： 通过引入墙越群，论文阐明了开放不变量的非唯一性是一个受特定群作用支配的结构性特征，而非理论本身的缺陷。
• 推广前人工作： 该理论将 Buryak、Clader 和 Tessler 的开放 $r$-spin 理论推广到了 W-spin 情况，同时强调了在高秩情况下出现的新特征（例如多项式递归的必要性）。
• 镜像对称： 论文展示了开放式 Gromov-Witten 型不变量（在 LG 背景下）如何自然地生成镜像势函数，扩展了 Cho-Oh、Gross 以及 Fukaya-Oh-Ohta-Ono 的哲学到 Landau-Ginzburg 模型中。

本文并未声称立即解决任意势函数或更高秩的问题，而是为特定的二元 Fermat 多项式建立了框架并证明了结果。文中指出，对于不含下降式的简单奇点（特定的 $r, s$ 情况），不变量是定义良好的（无墙越），但当包含下降式时，墙越是不可避免的。