[论文解读] Orbifold Jacobian algebras for invertible polynomials

Alexey Basalaev, Atsushi Takahashi+1 more|arXiv (Cornell University)|Aug 31, 2016

Nonlinear Waves and Solitons参考文献 12被引用 8

一句话总结

本文为配对 $(f,G)$ 引入并公理化了一种 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次的轨道Jacobian代数，其中 $f$ 是一个可逆多项式，$G$ 是一个有限的对角对称群。通过使用 $G$-扭的全纯体积形式与留数配对，建立了该代数的存在性与唯一性，并证明在 ADE 型奇点情形下，轨道Jacobian代数同构于镜像 Landau-Ginzburg 模型的Jacobian代数。

ABSTRACT

An important invariant of a polynomial $f$ is its Jacobian algebra defined by its partial derivatives. Let $f$ be invariant with respect to the action of a finite group of diagonal symmetries $G$. We axiomatically define an orbifold Jacobian $\mathbb{Z}/2\mathbb{Z}$-graded algebra for the pair $(f,G)$ and show its existence and uniqueness in the case, when $f$ is an invertible polynomial. In case when $f$ defines an ADE singularity, we illustrate its geometric meaning.

研究动机与目标

• 为 Landau-Ginzburg 轨道对 $(f,G)$ 定义一个规范的、$G$-不变的类Jacobian代数的推广，其中 $f$ 是可逆多项式，$G$ 是一个有限的阿贝尔对角对称群。
• 通过引入一个公理化定义的代数（不预先设定乘积），克服先前由 Kaufmann 和 Krawitz 构造的局限性，后者依赖于任意选择（如上链）或假设加权齐次性。
• 为轨道Jacobian代数赋予一个自然的 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次结构和一个非退化的轨道留数配对，以反映Hodge理论结构。
• 在 ADE 奇点情形下，建立轨道Jacobian代数的几何解释，证明其同构于镜像模型的Jacobian代数。
• 通过确保与原形式和典范双线性配对的相容性，为Frobenius流形层面的镜像对称提供基础结构。

提出的方法

• 定义全纯 $N$-形式模 $df \wedge \Omega^{N-1}$ 的 $G$-扭空间 $\Omega'_{f,G}$，配备 $G$-分次和非退化的轨道留数配对。
• 将轨道Jacobian代数 $\mathrm{Jac}'(f,G)$ 公理化为一个 $G$-分次、${\mathbb{Z}}/2{\mathbb{Z}}$-分次的代数，配备非退化双线性形式，且与 $\Omega'_{f,G}$ 同构，但不预先固定乘积。
• 将轨道Jacobian代数 $\mathrm{Jac}(f,G)$ 构造为 $\mathrm{Jac}'(f,G)$ 的 $G$-不变子代数，以确保与对 $(f,G)$ 的自同构相容。
• 利用 $\Omega'_{f,G}$ 上的留数配对，诱导出 $\mathrm{Jac}(f,G)$ 上的Frobenius代数结构，并通过围道积分显式计算配对值。
• 对特定的可逆多项式 $f$ 和群 $G$，显式计算 $\mathrm{Jac}(f,G)$，并与镜像多项式 $\overline{f}$ 的Jacobian代数进行比较，证明其作为Frobenius代数的同构性。
• 通过验证基元素对应下的配对值匹配，确认同构保持Frobenius代数结构。

实验结果

研究问题

• RQ1 能否为一个可逆多项式 $f$ 和对角对称群 $G$ 的 Landau-Ginzburg 轨道对 $(f,G)$，在不引入任意选择的前提下，定义一个规范的、$G$-不变的、${\mathbb{Z}}/2{\mathbb{Z}}$-分次的代数？
• RQ2 该代数是否能从 $\Omega'_{f,G}$ 的Hodge理论结构中自然继承一个非退化的双线性形式（即轨道留数配对）？
• RQ3 在 ADE 情形下，所得的轨道Jacobian代数是否同构于镜像 Landau-Ginzburg 模型的Jacobian代数？
• RQ4 该构造能否推广至加权齐次多项式之外的情形，如尖点奇点，以支持Frobenius流形层面的镜像对称？
• RQ5 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次结构如何从底层几何中自然产生，其在镜像对称背景下的意义是什么？

主要发现

• 对于任意可逆多项式 $f$ 和有限阿贝尔对角对称群 $G$，轨道Jacobian代数 $\mathrm{Jac}(f,G)$ 存在且由公理唯一确定。
• 对于 $D_k$-型奇点，$f = z_1^2 + z_2^{k-1} + z_2 z_3^2$，$G = \langle g \rangle$，$g = \frac{1}{2}(1,0,1)$，代数 $\mathrm{Jac}(f,G)$ 的维数为 $2k-3$，且满足 $[z_2]^{k-2} \circ e_g = 0$，$e_g^2 = -[z_2]$。
• 轨道Jacobian代数 $\mathrm{Jac}(f,G)$ 同构于镜像多项式 $\overline{f} = y_1^{k-1} + y_1 y_2 + y_2 y_3^2$ 的Jacobian代数，同构映射为 $[y_1] \mapsto [z_2]$，$[y_2] \mapsto -(k-1)[z_2]^{k-2}$，$[y_3] \mapsto e_g$，且配对值 $J_{\overline{f},\{1\}}([dy_1 \wedge dy_2 \wedge dy_3], [y_1^{k-2} dy_1 \wedge dy_2 \wedge dy_3]) = \frac{1}{2(k-1)}$。
• 对于 $E_6$-型奇点，$f = z_1^2 + z_2^3 + z_2 z_3^2$，$G = \langle g \rangle$，$g = \frac{1}{2}(1,0,1)$，代数 $\mathrm{Jac}(f,G)$ 的维数为 9，且满足 $2[z_2 z_3] + [z_3^2]^2 = 0$，$[z_3^2] \circ e_g = 0$，$e_g^2 = -\frac{3}{2}[z_2 z_3][z_3^2]$。
• 同构 $\mathrm{Jac}(f,G) \cong \mathrm{Jac}(\overline{f},\{1\})$ 是Frobenius代数的同构，通过匹配留数配对值验证：$J_{\overline{f},\{1\}}([dy_1 \wedge dy_2 \wedge dy_3], [y_2 y_3^2 dy_1 \wedge dy_2 \wedge dy_3]) = \frac{1}{6}$。
• 该构造可推广至加权齐次多项式之外的情形，如尖点奇点，且提供一个与Saito理论中原形式存在性相容的规范框架，从而在Frobenius流形层面实现镜像对称。