[论文解读] Quantum Cohomology Rings of Toric Manifolds

Victor V. Batyrev|ArXiv.org|Oct 5, 1993

Algebraic Geometry and Number Theory参考文献 10被引用 149

一句话总结

本文通过依赖于一个基林类 φ 的参数化乘法结构，计算了任意光滑射影 toric 流形的量子上同调环。它确立了量子上同调环同构于一个多项式环模以涉及度积分指数的二项式关系所生成的理想，且证明当 φ 按比例趋于无穷时，该环会形变为经典上同调环，并在 codimension 1 同构的 flops 型双有理变换下保持不变。

ABSTRACT

We compute the quantum cohomology ring $H^*_φ({\bf P}, {\bf C})$ of an arbitrary $d$-dimensional smooth projective toric manifold ${\bf P}_Σ$ associated with a fan $Σ$. The multiplicative structure of $H^*_φ({\bf P}_Σ, {\bf C})$ depends on the choice of an element $avarphi$ in the ordinary cohomology group $H^2({\bf P}_Σ, {\bf C})$. There are many properties of the quantum cohomology rings $H^*_φ({\bf P}_Σ, {\bf C})$ which are supposed to be valid for quantum cohomology rings of Kähler manifolds

研究动机与目标

• 计算任意光滑射影 toric 流形 $ {f P}_{\rho} $ 的量子上同调环 $ H^{*}_{\rho}({\bf P}_{\rho},{\bf C}) $，其中参数为 $ \varphi \in H^{2}({\bf P}_{\rho},{\bf C}) $。
• 确立当基林类 $ \varphi $ 按比例趋于无穷时，量子上同调环收敛于经典上同调环。
• 证明当流形在 codimension 1 上同构时，量子上同调环在 flops 型双有理变换下保持不变。
• 表明当第一陈类位于闭基林锥内时，量子上同调环同构于定义镜像 Calabi-Yau 超曲面的洛朗多项式的约化环。

提出的方法

• 利用全纯映射 $ f: \mathbb{C}P^1 \to {\bf P}_{\Sigma} $ 的模空间 $ \mathcal{I}_{\lambda} $ 来定义量子交积数。
• 引入当 $ t \to \infty $ 时量子上同调代数的极限过程，其中结构常数按 $ t\varphi $ 缩放，从而导出经典上同调环。
• 将量子上同调环定义为商环 $ \mathbb{C}[z]/(P(\Sigma) + B_{\varphi}(\Sigma)) $，其中 $ B_{\varphi}(\Sigma) $ 是由所有 $ \lambda \in R(\Sigma)_{\geq 0} $ 生成的二项式 $ z^{\lambda} - \exp(-{\rm deg}_{\varphi}\lambda) $ 所生成的理想。
• 应用如下原则：交积的非零贡献仅在虚拟维数与插入项总度数匹配时出现。
• 利用当 $ \lambda = \lambda^0 $ 时，度数为 $ \lambda $ 的有理曲线才贡献，且其权重为 $ \exp(-{\rm deg}_{\varphi}\lambda) $ 的事实。
• 通过证明量子环中所有关系均由这些二项式关系生成，从而建立量子上同调环与商环之间的同构。

实验结果

研究问题

• RQ1 量子上同调环如何依赖于 $ \varphi \in H^2({\bf P}_{\Sigma},{\bf C}) $ 的选择？
• RQ2 当 $ \varphi $ 按比例 $ t $ 缩放且 $ t \to \infty $ 时，量子上同调环会发生什么变化？是否能恢复经典上同调环？
• RQ3 在 codimension 1 上同构的 toric 流形之间，量子上同调环是否在 flops 型双有理变换下保持不变？
• RQ4 量子上同调环能否通过多项式关系代数描述？当 $ c_1({\bf P}_{\Sigma}) \in \overline{K}({\bf P}_{\Sigma}) $ 时，它是否同构于镜像 Calabi-Yau 超曲面的约化环？

主要发现

• 量子上同调环 $ QH^{*}_{\varphi}({\bf P}_{\Sigma},{\bf C}) $ 同构于商环 $ \mathbb{C}[z]/(P(\Sigma) + B_{\varphi}(\Sigma)) $，其中 $ B_{\varphi}(\Sigma) $ 由所有 $ \lambda \in R(\Sigma)_{\geq 0} $ 生成的二项式 $ z_1^{\lambda_1} \cdots z_n^{\lambda_n} - \exp(-{\rm deg}_{\varphi}\lambda) $ 生成。
• 当 $ t \to \infty $ 时，量子上同调环 $ QH^{*}_{t\varphi}({\bf P}_{\Sigma},{\bf C}) $ 收敛于经典上同调环 $ H^{*}({\bf P}_{\Sigma},{\bf C}) $，前提是 $ \varphi $ 属于基林锥的内部。
• 若两个光滑射影 toric 流形 $ {\bf P}_{\Sigma_1} $ 与 $ {\bf P}_{\Sigma_2} $ 在 codimension 1 上同构，则 $ QH^{*}_{\varphi}({\bf P}_{\Sigma_1},{\bf C}) \cong QH^{*}_{\varphi}({\bf P}_{\Sigma_2},{\bf C}) $，即使它们的经典上同调环不彼此同构。
• 当第一陈类 $ c_1({\bf P}_{\Sigma}) $ 位于闭基林锥内时，量子上同调环同构于洛朗多项式 $ f_{\varphi}(X) $ 的约化环，其零点集在 $ (\mathbb{C}^*)^d $ 中定义了一个镜像 Calabi-Yau 超曲面。
• 交积数 $ (W_{\Omega} \cdot W_{z_1}^{\lambda_1^0} \cdots W_{z_n}^{\lambda_n^0})_{\mathcal{I}} $ 仅在 $ \lambda = \lambda^0 $ 时非零，其值为 $ \exp(-{\rm deg}_{\varphi}\lambda^0) $。
• 量子算子乘积满足 $ \mathcal{Z}_1^{\lambda_1} \circ \cdots \circ \mathcal{Z}_n^{\lambda_n} = \exp(-{\rm deg}_{\varphi}\lambda) \cdot \text{id} $，从而确认二项式关系足以定义该环。