Intrinsic mirror symmetry for orbifold cubic surfaces and the $A_1$ spherical DAHA

技术摘要：轨道型三次曲面的内在镜像对称性与 $A_1$ 球面 DAHA

问题陈述
本文研究了针对特定类别的对数卡拉比–丘（log Calabi–Yau）对 $(Y, D)$ 构建内在镜像代数的方法，其中 $Y$ 是一个轨道型（即光滑 Deligne–Mumford 栈）而非光滑簇。具体而言，作者考虑 $Y$ 为具有三个节点（$A_1$ 型奇异性）的射影三次曲面，而 $D$ 是与这些节点不相交的三条直线组成的三角形。虽然 Gross–Hacking–Keel 和 Gross–Siebert 已通过对数 Gromov–Witten 不变量建立了光滑极大对数卡拉比–丘曲面的内在镜像构造，但由于缺乏完全发展的轨道型对数 Gromov–Witten 理论，向轨道型的推广仍不完整。作者旨在为上述情况填补这一空白，即当轨道点位于 $Y \setminus D$ 时，可以独立处理轨道结构与对数结构。

方法论
作者利用散射图（scattering diagrams）和破碎线（broken lines）的框架来构建镜像代数。该方法分为两个主要阶段：经典（交换）情况和量子（非交换）情况。

1. 几何设置与热带化： 通过对 $\mathbb{P}^2$ 进行一系列吹胀并随后收缩特定的 $(-2)$-曲线，实现对曲面 $Y$ 的实现。对 $(Y, D)$ 的热带化 $(B, \Sigma)$ 被识别为在由对合 $(x, y) \mapsto (-x, -y)$ 定义的 $\mathbb{R}^2$ 商空间中的一个锥复形，这与光滑三次曲面的热带化相同。
2. 轨道型对数 Gromov–Witten 不变量： 核心计算任务是计算零亏格及高亏格的轨道型对数 Gromov–Witten 不变量。由于轨道点与边界除子 $D$ 不相交，作者结合利用现有的轨道稳定映射理论与对数稳定映射理论。他们显式地计算了对贡献于规范散射图的曲线类的不变性，识别出通过节点或与边界相切的特定曲线类（直线与二次曲线）。
3. 散射图构造：
   • 经典： 利用零亏格不变性，作者构造了规范散射图 $\mathcal{D}_{\text{can}}$。他们确定了附着在图射线上的函数，其方法是累加相关曲线类的贡献。
   • 量子： 利用带有顶 $\lambda$-类插入的高亏格不变性，他们构造了量子规范散射图 $\widehat{\mathcal{D}}_{\text{can}}$。这涉及 $q$-形变，其中 $q = e^{i\hbar}$。
4. 代数构造： 内在镜像代数 $R(Y, D)$ 及其量子形变 $\widehat{R}(Y, D)$ 被定义为与一致散射图相关的 $\theta$ 函数生成的代数。其结构常数通过计数具有特定电荷和端点的破碎线对（经典或量子）来计算。

主要贡献与结果

• 内在镜像代数（定理 1.1）： 作者确定了交换型内在镜像代数 $R(Y, D)$ 的显式展示。它由三个元素 $\vartheta_{v_1}, \vartheta_{v_2}, \vartheta_{v_3}$ 生成，并受限于一个涉及单项式在单项式代数 $k[\text{NE}(Y)]$ 中的特定三次关系。该关系为：
  $$\vartheta_{v_1}\vartheta_{v_2}\vartheta_{v_3} = t_{D_1}\vartheta_{v_1}^2 + t_{D_2}\vartheta_{v_2}^2 + t_{D_3}\vartheta_{v_3}^2 + t_H + t_{2D-H} - 2t_D$$
  其中 $t_C$ 表示对应于曲线类 $C$ 的单项式。

• 特征簇的镜像对称性（推论 1.4）： 通过将镜像族限制到由类 $D$ 定义的一参数子族，作者证明了所得方程与一次穿孔环面的相对特征簇 $\text{Ch}_{\tau}^{1,1}(\text{SL}(2))$ 的方程相匹配。这证实了对于对 $(G, G^\vee) = (\text{PGL}(2), \text{SL}(2))$ 和曲面 $(g, n) = (1, 1)$ 的 Langlands 对偶猜想 1.3。具体而言，轨道型三次曲面 $Y$（去掉 $D$ 后）是相对特征簇 $\text{Ch}_{\tau}^{1,1}(\text{PGL}(2))$ 的紧化，其内在镜像族同构于相对 $\text{SL}(2)$ 特征簇族。

• 量子镜像代数与 DAHA（定理 1.2 和推论 1.5）： 作者构造了量子内在镜像代数 $\widehat{R}(Y, D)$，这是一个在 $k_q[\text{NE}(Y)]$ 上的非交换结合代数。其生成元满足类似于 $A_1$ 球面双仿射 Hecke 代数（DAHA）的 $q$-形变交换关系。在特定的基变换下，量子镜像代数被证明同构于 $A_1$ 球面 DAHA，$SH_{q, t}$。这通过内在镜像构造为 DAHA 提供了一个几何实现。

• 不变性的显式计算： 论文提供了针对特定曲线类的轨道型对数 Gromov–Witten 不变量的详细计算，展示了轨道点（节点）的存在如何通过经过节点的直线双覆盖的贡献，修改了与光滑情况相比的曲线计数。

意义

本文声称在三个主要领域具有重要意义：

1. 推进轨道型镜像对称性： 它首次确定了对于 $(Y, D)$（其中 $Y$ 是带有奇异性的轨道型）的内在镜像代数的显式形式，证明了当轨道点与边界不相交时，该构造可以自然地推广。
2. 特征簇镜像对称性： 它为一次穿孔环面的 Langlands 对偶群的特征簇之间的镜像对称性猜想提供了一个具体的验证，将 $\text{PGL}(2)$ 特征簇的几何（通过轨道型三次紧化）与 $\text{SL}(2)$ 特征簇联系起来。
3. DAHA 的几何起源： 它建立了轨道型三次曲面的量子内在镜像与 $A_1$ 球面双仿型 Hecke 代数之间的直接联系。这从高亏格 Gromov–Witten 理论中恢复了 DAHA，符合物理学中的预期，即 DAHA 描述了 $N=2^*$ 规范理论中的线算符。

这项工作依赖于具有三个节点的三次曲面的特定几何以及已建立的对数 Gromov–Witten 不变量理论，通过将这些工具扩展到轨道型环境来导出这些代数结构。