[论文解读] Cubic Extremal Transition and Gromov-Witten Theory

Rongxiao Mi|arXiv (Cornell University)|Nov 29, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 3

一句话总结

本文研究了在三次极值转移（即卡拉比-丘3-流形中一个三次曲面被收缩为一点，随后光滑化）下的零亏格格罗莫夫-威滕不变量，采用量子D-模和解析延拓的方法。研究建立了原始3-流形的解析延拓量子D-模与由奇点 $x^3 + y^3 + z^3 + u^3$ 定义的Landau-Ginzburg模型的FJRW D-模之间的精确对应关系，揭示了通过单值性（monodromy）与正则化（regularization）实现的极值转移与FJRW理论之间的深层联系。

ABSTRACT

In this article, we study the change of genus zero Gromov-Witten invariants under cubic extremal transitions, following Lee-Lin-Wang [arXiv:1705.04799]. We use the language of quantum $D$-modules.

研究动机与目标

• 理解零亏格格罗莫夫-威滕不变量在一种此前未被深入研究的II型极值转移——即三次曲面被收缩为点并随后光滑化——下的变化方式。
• 将李-阮（Li-Ruan）关于结点转移（conifold transitions）的框架推广至更一般的极值转移，特别是涉及将三次曲面收缩为一点的情形。
• 建立原始卡拉比-丘3-流形的解析延拓量子D-模与关联的Landau-Ginzburg模型的FJRW D-模之间的精确对应关系。
• 证明即使原始幂级数的收敛半径为零，量子D-模的解析延拓仍能捕捉到正确的格罗莫夫-威滕数据。

提出的方法

• 本研究使用量子D-模的语言来编码零亏格格罗莫夫-威滕理论，将其视为在扩展的卡拉比-丘模空间上的D-模。
• 对原始3-流形 $X$ 的环境量子D-模应用解析延拓，得到一个定义域更大的新D-模 $\bar{\mathcal{H}}(X)$。
• 该构造识别出两个子模：$\bar{\mathcal{H}}^E(X)$ 和 $\bar{\mathcal{H}}^F(X)$，分别具有在特定除子 $E$ 和 $F$ 周围的最大平凡单值性。
• 关键技术步骤是将解析延拓中产生的额外解 $I_5(x,y)$ 和 $I_6(x,y)$ 与奇点对 $(W,G)$ 的正则化FJRW I-函数联系起来，其中 $W = x^3 + y^3 + z^3 + u^3$ 且 $G = \langle J_W \rangle$。
• FJRW D-模 $\mathcal{L}(W)$ 定义为与正则化FJRW I-函数分量相关的D-模，该函数在 $\tau = 0$ 附近解析。
• 通过将正则化FJRW I-函数的分量与解析延拓后的解匹配，证明了商模 $\bar{\mathcal{H}}^F(X)/\bar{\mathcal{H}}^E(X)|_F$ 同构于 $\mathcal{L}(W)$，从而确立了对应关系。

实验结果

研究问题

• RQ1 在三次极值转移下，零亏格格罗莫夫-威滕不变量如何变换，即当一个三次曲面被收缩为一点并随后光滑化时？
• RQ2 原始卡拉比-丘3-流形的量子D-模能否通过解析延拓来捕捉光滑化后所得3-流形的格罗莫夫-威滕不变量？
• RQ3 在局部模型中，解析延拓后的量子D-模与已知理论（如FJRW理论）之间是否存在精确的数学对应关系？
• RQ4 在极值转移的背景下，单值性在区分物理不变量与形式解中起什么作用？
• RQ5 能否从原始3-流形的量子D-模的解析延拓中恢复出正则化FJRW I-函数？

主要发现

• 原始3-流形 $X$ 的环境量子D-模可在扩展的卡拉比-丘模空间中实现解析延拓，得到 $\bar{\mathcal{H}}(X)$。
• 构造了一个子模 $\bar{\mathcal{H}}^E(X) \subseteq \bar{\mathcal{H}}(X)$，其在除子 $E$ 周围具有最大平凡单值性，对应模空间中的 $x$-方向。
• 识别出另一个子模 $\bar{\mathcal{H}}^F(X) \subseteq \bar{\mathcal{H}}(X)$，其在除子 $F$ 周围具有最大平凡单值性，对应模空间中的 $y$-方向。
• 商模 $\bar{\mathcal{H}}^F(X)/\bar{\mathcal{H}}^E(X)|_F$ 同构于与奇点 $W = x^3 + y^3 + z^3 + u^3$ 和群 $G = \langle J_W \rangle$ 相关的FJRW D-模 $\mathcal{L}(W)$。
• $I_5(x,y)$ 和 $I_6(x,y)$ 这两个函数来自解析延拓，它们在 $y=0$ 附近关于 $y$ 解析，且在 $y=0$ 周围具有平凡单值性；当令 $x = \tau$ 且 $y \to 0$ 时，它们恢复了正则化FJRW I-函数中 $\phi_0$ 和 $\phi_1$ 的系数。
• 证明了正则化FJRW I-函数 $I_{FJRW}^{reg}(\tau)$ 与解析延拓后的解等价，确认了在正则化后，量子D-模能够捕捉到正确的FJRW数据。