[论文解读] Landau-Ginzburg Mirror Symmetry for Orbifolded Frobenius Algebras

Tyler J. Jarvis|arXiv (Cornell University)|Jan 1, 2014

Advanced Algebra and Geometry参考文献 2被引用 13

一句话总结

该论文证明了在广义可逆奇点（包括任意环的和与任意对称群的 Fermat 型奇点）的 Frobenius 代数层面上的 Landau-Ginzburg 镜像对称猜想。它建立了 [W/G] 的 FJRW Frobenius 代数与对偶对 [W^T/G^T] 的轨道化 Milnor 环之间的同构，从而在该代数框架下证实了镜像对称性。

ABSTRACT

We prove the Landau-Ginzburg Mirror Symmetry Conjecture at the level of (orbifolded) Frobenius algebras for a large class of invertible singularities, including arbitrary sums of loops and Fermats with arbitrary symmetry groups. Specifically, we show that for a quasi-homogeneous polynomial W and an admissible group G within the class, the Frobenius algebra arising in the FJRW theory of [W/G] is isomorphic (as a Frobenius algebra) to the orbifolded Milnor ring of [W^T/G^T], associated to the dual polynomial W^T and dual group G^T.

研究动机与目标

• 将 Landau-Ginzburg 镜像对称性推广至一大类可逆奇点的 Frobenius 代数层面。
• 在代数框架下，严格建立 [W/G] 的 FJRW 理论 Frobenius 代数与对偶对 [W^T/G^T] 的轨道化 Milnor 环之间的同构关系。
• 在 Frobenius 代数的背景下，验证原始多项式与对偶多项式及其相应对称群之间的对偶性猜想。
• 为具有可接受对称群的准齐次多项式提供镜像对称性的完整代数证明。

提出的方法

• 利用 FJRW 理论，从准齐次可逆多项式 W 与可接受群 G 的商 [W/G] 构造 Frobenius 代数。
• 应用对偶构造方法，获得保持准齐次结构的对偶多项式 W^T 与对偶群 G^T。
• 将轨道化 Milnor 环构造为与对偶对 [W^T/G^T] 相关联的 Frobenius 代数。
• 通过代数不变量与对偶性质，建立 [W/G] 的 FJRW Frobenius 代数与 [W^T/G^T] 的轨道化 Milnor 环之间的同构。
• 利用可逆奇点的结构，确保对偶性保持必要的代数与对称性质。
• 依赖于可逆多项式及其对称群的分类，将结果推广至任意环的和与 Fermat 型奇点。

实验结果

研究问题

• RQ1 对于具有任意对称群的可逆奇点，Landau-Ginzburg 镜像对称性是否在 Frobenius 代数层面上成立？
• RQ2 是否存在 [W/G] 的 FJRW Frobenius 代数与对偶对 [W^T/G^T] 的轨道化 Milnor 环之间的典范同构？
• RQ3 多项式与群之间的对偶性是否可扩展至轨道化设置下的完整 Frobenius 代数结构？
• RQ4 在相同的对偶框架下，镜像对称同构是否对任意环的和与 Fermat 型奇点均成立？
• RQ5 哪些代数不变量确保了 [W/G] 与 [W^T/G^T] 在 Frobenius 代数层面上的对偶性一致性？

主要发现

• 对于所有准齐次可逆多项式 W 与可接受群 G，[W/G] 的 FJRW Frobenius 代数同构于 [W^T/G^T] 的轨道化 Milnor 环。
• W 与 W^T 之间、G 与 G^T 之间的对偶性，在轨道化设置中保持了 Frobenius 代数结构。
• 该同构在包括任意环的和与 Fermat 型多项式在内的整个可逆奇点类中普遍成立。
• 该证明在广义可逆奇点类中，于 Frobenius 代数层面上确认了 Landau-Ginzburg 镜像对称猜想。
• 该结果在 Frobenius 代数不变量的意义上，建立了 A 模型 [W/G] 与 B 模型 [W^T/G^T] 之间的完整代数对应关系。