[论文解读] Root Systems and the Quantum Cohomology of ADE resolutions

Jim Bryan, Amin Gholampour|ArXiv.org|Jul 9, 2007

Algebraic Geometry and Number Theory参考文献 6被引用 13

一句话总结

该论文计算了有限子群 $G \subset SU(2)$ 的 DuVal 奇点 ${\mathbb{C}}^2/G$ 的最小解析解 $Y$ 的 ${\mathbb{C}}^{*}$-等变量子上同调环，以与 $G$ 相关的 ADE 根系表达量子乘积。关键结果是利用根系结构给出了量子乘积的闭合公式，推广至非单连通根系，并通过截痕解析猜想预测了轨道丛的 Gromov-Witten 潜能函数。

ABSTRACT

We compute the C*-equivariant quantum cohomology ring of Y, the minimal resolution of the DuVal singularity C^2/G where G is a finite subgroup of SU(2). The quantum product is expressed in terms of an ADE root system canonically associated to G. We generalize the resulting Frobenius manifold to non-simply laced root systems to obtain an n parameter family of algebra structures on the affine root lattice of any root system. Using the Crepant Resolution Conjecture, we obtain a prediction for the orbifold Gromov-Witten potential of [C^2/G].

研究动机与目标

• 通过与 $G$ 相关的 ADE 根系描述 $Y$（即 ${\mathbb{C}}^2/G$ 的最小解析解）的量子上同调，建立经典 McKay 对应关系的量子推广。
• 利用亏格 0 Gromov-Witten 不变量和根系数据，计算 $Y$ 的 ${\mathbb{C}}^{*}$-等变量子上同调环。
• 将所得的 Frobenius 代数结构推广至非单连通根系，为仿射根格上的 $n$-参数族代数结构提供构造。
• 通过截痕解析猜想，基于解析解的不变量预测轨道丛 $[{\/mathbb{C}}^2/G]$ 的 orbifold Gromov-Witten 潜能函数。

提出的方法

• 量子乘积通过包含 Cartan 矩阵和量子参数 $q_i$ 的公式表达，结构常数为 $\left\langle v,\beta\right\rangle\left\langle w,\beta\right\rangle t\frac{1+q^{\beta}}{1-q^{\beta}}\beta$，其中 $\beta$ 取遍正根。
• 量子上同调上的配对被扩展为 ${\mathbb{Q}}[t,t^{-1}][[q_1,\ldots,q_n]]$-值配对，其中 $\left\langle 1,1\right\rangle = -1/(t^2|G|)$。
• 通过将 $Y$ 与一个三叉 $W$ 通过形变族关联，并应用 Bryan、Katz 和 Leung 的方法，实现了亏格 0 等变 Gromov-Witten 不变量的计算。
• 通过局部化技术计算零度不变量，并通过生成函数的三重导数推导出势函数。
• 证明了 Weyl 群作用保持 Frobenius 代数结构，且在非单连通情形通过约化至单连通情形证明了结合性。
• 通过将量子参数特殊化为单位根并利用 $H(u) = \frac{1}{2}\tan(-u/2)$ 关联三角函数，推导出 $[{\/mathbb{C}}^2/G]$ 的 orbifold Gromov-Witten 潜能函数的猜想公式。

实验结果

研究问题

• RQ1 如何用与 $G$ 相关的 ADE 根系表达 ${\mathbb{C}}^2/G$ 的最小解析解 $Y$ 的 ${\mathbb{C}}^{*}$-等变量子上同调？
• RQ2 量子上同调环的代数结构是什么？它如何推广至非单连通根系？
• RQ3 Weyl 群如何作用于量子上同调？它是否保持 Frobenius 代数结构？
• RQ4 是否可以利用截痕解析猜想，基于解析解的不变量预测 $[{\/mathbb{C}}^2/G]$ 的 orbifold Gromov-Witten 潜能函数？

主要发现

• 两个类 $v,w \in H^2(Y,\mathbb{Z})$ 的量子乘积为 $v \star w = -t^2|G|\left\langle v,w\right\rangle + \sum_{\beta \in R^+} \left\langle v,\beta\right\rangle\left\langle w,\beta\right\rangle t\frac{1+q^{\beta}}{1-q^{\beta}}\beta$，其中 $q^\beta = \prod q_i^{b_i}$，$\beta = \sum b_i \alpha_i$。
• 量子上同调环是 ${\mathbb{Q}}[t,t^{-1}][[q_1,\ldots,q_n]]$ 上的 Frobenius 代数，满足 $\left\langle v\star w,u\right\rangle = \left\langle v,w\star u\right\rangle$。
• 通过约化至单连通情形，将代数结构推广至非单连通根系，并在此设定下证明了结合性。
• Weyl 群作为自同态作用于 Frobenius 代数，保持量子乘积结构。
• 推导出 $[{\/mathbb{C}}^2/G]$ 的 orbifold Gromov-Witten 潜能函数的猜想公式为 $F_{\mathcal{X}} = 2t \sum_{\beta \in R^+} h(Q_\beta)$，其中 $h'''(u) = \frac{1}{2}\tan(-u/2)$，且 $Q_\beta = \pi + \sum_k \frac{b_k}{|G|}(2\pi n_k + \sum_g \sqrt{2 - \chi_V(g)} \bar{\chi}_k(g) x_{[g]})$。
• 该猜想在 $G = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4$ 时得到验证，并且最近在所有 $\mathbb{Z}_n$ 情形下也得到验证，且与单值性约束和子群约化关系一致。