Skip to main content
QUICK REVIEW

[论文解读] Global mirror symmetry for invertible simple elliptic singularities

Todor Milanov, Yefeng Shen|arXiv (Cornell University)|Oct 25, 2012
Algebraic Geometry and Number Theory参考文献 13被引用 9
一句话总结

本文通过在 Landau-Ginzburg 模型的 FJRW 理论与 Calabi-Yau 超曲面的 Saito-Givental 理论之间构造镜像映射,建立了可逆简单椭圆奇点的全局镜像对称性,证明了在无穷远处的 FJRW 拉格朗日势函数与大复结构极限下 Saito-Givental 的祖先势函数相匹配,通过超几何解与周期积分显式确定了相关函数与平坦坐标。

ABSTRACT

A simple elliptic singularity of type $E_N^{(1,1)}$ ($N=6,7,8$) can be described in terms of a marginal deformation of an invertible polynomial $W$. In the papers \cite{KS} and \cite{MR} the authors proved a mirror symmetry statement for some particular choices of $W$ and used it to prove quasi-modularity of Gromov-Witten invariants for certain elliptic orbifold $\mathbb{P}^1$s. However, the choice of the polynomial $W$ and its marginal deformation $ϕ_μ$ are not unique. In this paper, we investigate the global mirror symmetry phenomenon for the one-parameter family $W+σϕ_μ$. In each case the mirror symmetry is governed by a certain system of hypergeometric equations. We conjecture that the Saito-Givental theory of $W+σϕ_μ$ at any special limit $σ$ is mirror to either the Gromov-Witten theory of an elliptic orbifold $\mathbb{P}^1$ or the Fan-Jarvis-Ruan-Witten theory of an invertible simple elliptic singularity with diagonal symmetries, and the limits are classified by the Milnor number of the singularity and the $j$-invariant at the special limit. We prove the conjecture when $W$ is a Fermat polynomial. We also prove that the conjecture is true at the Gepner point $σ=0$ in all other cases.

研究动机与目标

  • 通过引入复模空间的全局结构(包括大复结构极限与 Gepner 点等特殊极限),将 LG/CY 对应关系从局部镜像对称推广至全局镜像对称。
  • 为可逆简单椭圆奇点建立一个统一的全局镜像对称框架,整合 FJRW 理论(Landau-Ginzburg A 模型)与 Gromov-Witten 理论(Calabi-Yau B 模型)。
  • 在大复结构极限下,构造镜多项式 FJRW 状态空间与原始奇点雅可比代数之间的镜像映射。
  • 通过显式计算亏格 0 相关函数与平坦坐标,证明 FJRW 理论的总祖先势函数在极限 σ→∞ 时与 Saito-Givental 祖先势函数一致。
  • 验证雅可比代数在 σ=∞ 处可延拓,并通过涉及超几何周期与单值性变换的特定镜像映射与 FJRW 环结构相联系。

提出的方法

  • 构造简单椭圆奇点的极小全域形变,并应用 Saito 理论定义原初形式与 Picard-Fuchs 方程。
  • 利用 Givental 的量化形式化方法在 B 模型中定义总祖先势函数,借助 GKZ 系统与超几何解。
  • 将 FJRW 理论应用于可逆多项式,通过生成元与关系计算 FJRW 环结构,并从亏格 0 的四点函数重构全亏格不变量。
  • 从形式为 $ \pi_{A_\infty} \sim x^{-1/12} \, _2F_1(\frac{1}{12}, \frac{5}{12}; \frac{1}{2}; x^{-1}) $ 的周期积分推导平坦坐标,其中 $ t_{-1} \approx \lambda x^{-1/2} $ 为一个零次平坦坐标。
  • 利用 $ x=\infty $ 附近的单值性与平坦截面解计算亏格 0 相关函数,系数 $ c_{\mathbf{r}} $ 由超几何恒等式导出,且常数满足 $ \lambda_1^6 = 24C_0^2 $,$ C_0^3 = -27/4 $。
  • 构造镜像映射 $ (\rho_1, \rho_2) \mapsto ((-1)^{5/6}\delta_{01}, (-1)^{2/3}\delta_{10}) $,将 FJRW 环与扩展的雅可比代数 $ \mathscr{Q}_{W^\infty} = \mathbb{C}[\delta_{10}, \delta_{01}]/(4\delta_{10}^3\delta_{01}, \delta_{10}^4 + 3\delta_{01}^2) $ 相关联。

实验结果

研究问题

  • RQ1如何在超越局部镜像对称的基础上,为可逆简单椭圆奇点建立全局镜像对称?
  • RQ2Landau-Ginzburg 模型的 FJRW 理论与镜像 Calabi-Yau 超曲面的 Saito-Givental 理论之间存在何种精确对应关系?
  • RQ3FJRW 理论中的亏格 0 相关函数如何与 σ=∞ 时 Saito-Givental 极限下的相关函数相匹配?
  • RQ4超几何解与周期积分在构建两理论之间镜像映射的过程中起到何种作用?
  • RQ5雅可比代数能否在 σ=∞ 处延拓?若能,其与 FJRW 环结构的关系如何?

主要发现

  • 对于 $ W' = X_1^4X_2 + X_2^3 + X_3^2 $ 且 $ G_{W'} $,其 FJRW 拉格朗日势函数与 $ W_\sigma = X_1^6 + X_2^3 + X_3^2 + \sigma X_1^4X_2 $ 在极限 $ \sigma \to \infty $ 下的 Saito-Givental 祖先势函数一致,即 $ \mathscr{A}_{W'}^{\rm FJRW} = \lim_{\sigma \to \infty} \mathscr{A}_{W}^{\rm SG}(\sigma) $。
  • 在 $ \sigma = \infty $ 处的三点头亏格 0 相关函数非零且有限:$ \langle \delta_{10}, \delta_{10}, \delta_{40} \rangle = \langle \delta_{10}, \delta_{01}, \delta_{11} \rangle = \langle \delta_{01}, \delta_{01}, \delta_{20} \rangle = 1 $,且 $ \langle \delta_{10}, \delta_{20}, \delta_{30} \rangle = \langle \delta_{20}, \delta_{20}, \delta_{20} \rangle = -3 $,证实了雅可比代数的延拓。
  • 四点亏格 0 相关函数满足 $ \langle \delta_{01}, \delta_{01}, \delta_{01}, \delta_{-1} \rangle_{0,4} = -\frac{1}{4} $ 与 $ \langle \delta_{10}, \delta_{10}, \delta_{10}^2\delta_{01}, \delta_{-1} \rangle_{0,4} = -\frac{1}{4} $,通过超几何级数的导数计算得出。
  • 镜像映射 $ (\rho_1, \rho_2) \mapsto ((-1)^{5/6}\delta_{01}, (-1)^{2/3}\delta_{10}) $ 将 FJRW 环与扩展的雅可比代数 $ \mathscr{Q}_{W^\infty} $ 关联,证实了全局镜像对称性。
  • 常数 $ \lambda = \frac{\lambda_1^4 \lambda_2}{54} $ 被固定以确保镜像映射与相关函数匹配的一致性。
  • 平坦坐标 $ t_{-1} \approx \lambda x^{-1/2} $ 为零次,由配对的留数为常数确认,其来源于超几何周期比 $ \pi_{A_\infty}/\pi_{B_\infty} $。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。