[论文解读] FJRW-Rings and Landau-Ginzburg Mirror Symmetry in Two Dimensions

Pedro Acosta|ArXiv.org|Jun 4, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 9

一句话总结

该论文通过在A模型的FJRW环（由非退化、准齐次的环型势能$W$及其最大对角对称群$G_W$构建）与对偶奇点$W^T$的未受群作用的Milnor环之间构造一个显式的、保持次数的同构，证明了二维环型奇点的Landau-Ginzburg镜像对称猜想。该同构通过显式计算FJRW相关函数并验证对偶关系得以确立，从而在二维情况下完成了该猜想的证明。

ABSTRACT

For any non-degenerate, quasi-homogeneous hypersurface singularity W and an admissible group of diagonal symmetries G, Fan, Jarvis, and Ruan have constructed a cohomological field theory which is a candidate for the mathematical structure behind the Landau-Ginzburg A-model. When using the orbifold Milnor ring of a singularity W as a B-model, and the Frobenius algebra H_{W,G} constructed by Fan, Jarvis, and Ruan, as an A-model, the following conjecture is obtained: For a quasi-homogeneous singularity W and a group G of symmetries of W, there is a dual singularity W^T such that the orbifold A-model of W/G is isomorphic to the B-model of W^T. I will show that this conjecture holds for a two-dimensional invertible loop potential $W$ with its maximal group of diagonal symmetries $G_{W}$.

研究动机与目标

• 证明二维环型奇点的Landau-Ginzburg镜像对称猜想。
• 在FJRW环$\mathscr{H}_{W,G_W}$与对偶奇点的Milnor环$\mathscr{Q}_{W^T}$之间建立显式同构。
• 通过验证环型势能的情况，完成二维情况下该猜想的分类，继先前对链型和简单奇点的证明之后。
• 将FJRW理论框架扩展至包含可逆、非退化奇点及其最大对称群下的对偶性。

提出的方法

• 从二维变量的环型势能$W = X_1^{a_1}X_2 + X_2^{a_2}X_1$及其最大对角对称群$G_W$构造FJRW环$\mathscr{H}_{W,G_W}$。
• 定义对偶奇点$W^T = \overline{X}_1^{a_2} + \overline{X}_2^{a_1}$，对应于原始环型奇点的扩展Dynkin图的转置。
• 通过将单项式$\overline{X}_1^\alpha \overline{X}_2^\beta$映射为$\mathbf{e}_{Jg_1^\alpha g_2^\beta}$，定义映射$\varphi: \mathscr{Q}_{W^T} \to \mathscr{H}_{W,G_W}$，并对$X_1^{a_2-1}$和$X_2^{a_1-1}$作特殊映射。
• 通过使用FJRW相关函数验证$\mathscr{Q}_{W^T}$中的关系在$\mathscr{H}_{W,G_W}$中被映射为零，从而确认$\varphi$是良好定义的、保持次数的代数同态。
• 利用线丛次数条件及FJRW理论的公理3–5计算四点相关函数$\Lambda_{0,4}^W$，推导出关键关系如$\mathbf{e}_{h_2}^{a_1} + a_2 \mathbf{e}_{h_2} \star \mathbf{e}_{h_1}^{a_2-1} = 0$。
• 通过证明其满射性及$\dim \mathscr{Q}_{W^T} = \dim \mathscr{H}_{W,G_W}$，确认$\varphi$是双射，因此是Frobenius代数的同构。

实验结果

研究问题

• RQ1 对于具有最大对称群的二维环型奇点，Landau-Ginzburg镜像对称猜想是否成立？
• RQ2 能否在环型奇点的FJRW环与对偶奇点的Milnor环之间构造显式同构？
• RQ3 FJRW理论中的相关函数如何反映二维中环型与链型奇点之间的对偶性？
• RQ4 线丛次数$l_1$和$l_2$在FJRW框架中计算非零四点函数时起什么作用？
• RQ5 环型势能的FJRW环是否同构于其对偶奇点的未受群作用的B模型？

主要发现

• 通过证明FJRW环$\mathscr{H}_{W,G_W}$与对偶奇点$W^T$的Milnor环$\mathscr{Q}_{W^T}$之间的同构，该研究完全验证了所有二维可逆奇点（包括环型势能）的Landau-Ginzburg镜像对称猜想。
• 显式构造了同构$\varphi: \mathscr{Q}_{W^T} \to \mathscr{H}_{W,G_W}$，并证明其为双射，且满足$\dim \mathscr{Q}_{W^T} = \dim \mathscr{H}_{W,G_W} = \mu = (a_1 - 1)(a_2 - 1) + 1$。
• 通过相关函数计算推导出FJRW环中的关键关系：$\mathbf{e}_{h_2}^{a_1} + a_2 \mathbf{e}_{h_2} \star \mathbf{e}_{h_1}^{a_2-1} = 0$与$\mathbf{e}_{h_1}^{a_2} + a_1 \mathbf{e}_{h_1} \star \mathbf{e}_{h_2}^{a_1-1} = 0$，这些关系与$W^T$的Jacobian关系一致。
• 四点函数$\Lambda_{0,4}^W(\mathbf{e}_{Jg_2^{a_1-2}}, \mathbf{e}_{Jg_2}, \mathbf{e}_{Jg_2}, \mathbf{e}_{Jg_2^{a_1-2}})$的计算结果为$-a_2$，通过公理5确认了对偶结构。
• $\varphi$保持Frobenius代数结构，因其保持配对和单位元，并将生成元$\overline{X}_i$映射为$\mathbf{e}_{Jg_i}$。
• 该结果与先前对链型势能（Fan和Shen）及简单奇点（FJR）的证明相结合，完成了二维情况下Landau-Ginzburg镜像对称猜想的完整证明。