[论文解读] Mirror symmetry between orbifold curves and cusp singularities with group action

Wolfgang Ebeling, Atsushi Takahashi|arXiv (Cornell University)|Mar 28, 2011

Algebraic structures and combinatorial models参考文献 16被引用 3

一句话总结

本论文在具有有限对称群的可逆多项式所定义的轨道曲线与具有群作用的尖点奇点之间建立了镜像对称对应关系，表明轨道曲线的多尔加切夫数与镜像尖点奇点的加夫里洛夫数相等，且曲线的弦理论欧拉示性数等于镜像奇点的等变米尔诺数。

ABSTRACT

We consider an orbifold Landau-Ginzburg model $(f,G)$, where $f$ is an invertible polynomial in three variables and $G$ a finite group of symmetries of $f$ containing the exponential grading operator, and its Berglund-Hübsch transpose $(f^T, G^T)$. We show that this defines a mirror symmetry between orbifold curves and cusp singularities with group action. We define Dolgachev numbers for the orbifold curves and Gabrielov numbers for the cusp singularities with group action. We show that these numbers are the same and that the stringy Euler number of the orbifold curve coincides with the $G^T$-equivariant Milnor number of the mirror cusp singularity.

研究动机与目标

• 将同调镜像对称推广至轨道曲线与具有群作用的尖点奇点的设定。
• 在镜像对称下定义并计算不变量——轨道曲线的多尔加切夫数与具有群作用的尖点奇点的加夫里洛夫数。
• 验证轨道曲线的弦理论欧拉示性数是否等于镜像尖点奇点的 G^T-等变米尔诺数。
• 将阿诺德的奇异对偶性和塞德尔的例子作为所提出镜像对称的特例加以恢复。
• 证明 (f, G₀) 的 Poincaré 系数可表示为对偶对 (f^T, G₀^T) 与 (F, G₀^T) 的特征多项式的商。

提出的方法

• 将轨道曲线 C_{(f,G)} 定义为可逆多项式 f 的零点集关于扩张群 G̃ = ℂ^* ⋊ G 的商。
• 构造镜像尖点奇点 F(x,y,z) = x^{γ′₁} + y^{γ′₂} + z^{γ′₃} - xyz，其与 f^T - xyz 右等价。
• 利用伯格斯滕-许布施转置 (f^T, G^T) 定义镜像对偶对。
• 将多尔加切夫数定义为轨道曲线奇异点的各向同性阶数。
• 通过 G^T 在 F 的米尔诺纤维上的作用定义加夫里洛夫数，以捕捉奇点的等变拓扑结构。
• 应用半正交分解与轨道范畴构造，关联层的有理同调范畴与 Fukaya 范畴。

实验结果

研究问题

• RQ1 轨道曲线的多尔加切夫数与镜像尖点奇点（具有群作用）的加夫里洛夫数之间有何关系？
• RQ2 轨道曲线的弦理论欧拉示性数是否等于镜像尖点奇点的 G^T-等变米尔诺数？
• RQ3 阿诺德的奇异对偶性和塞德尔的例子能否作为该镜像对称框架下的特例被恢复？
• RQ4 在何种条件下，(f, G₀) 的 Poincaré 系数可表示为对偶对的特征多项式的商？
• RQ5 轨道曲线的亏格与 G^T 的年龄 1 固定点结构之间存在何种几何与拓扑对应关系？

主要发现

• 轨道曲线 C_{(f,G)} 的多尔加切夫数与镜像尖点奇点 (F, G^T) 的加夫里洛夫数完全一致。
• 轨道曲线 C_{(f,G)} 的弦理论欧拉示性数等于由 F 定义的尖点奇点的 G^T-等变米尔诺数。
• 轨道曲线 C_{(f,G)} 的亏格等于在 G^T 中年龄为 1 且仅固定原点的元素个数。
• 当 G = G₀ 时，(f, G₀) 的 Poincaré 系数可表示为 (f^T, G₀^T) 与 (F, G₀^T) 的特征多项式的商。
• 当 G = G_f^{fin}（最大对称群）时，镜像为具有平凡群作用的尖点奇点 T_{2,3,6}，从而恢复了 Ebeling-Takahashi 的结果。
• 当 f(x,y,z) = x^5 + y^5 + z^5 且 G₀ = ℤ/5ℤ 时，得到一个亏格为 2 的曲线，其多尔加切夫数为 (5,5,5)，与尖点奇点 x^5 + y^5 + z^5 - xyz 对偶，从而恢复了塞德尔的例子。