[论文解读] On the quantum cohomology of Fano bundles over projective spaces

Vincenzo Ancona, Marco Maggesi|ArXiv.org|Dec 7, 2000

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

一句话总结

本文证明了在 Fano 项目化丛 $\mathbb{P}(V)$ 上的量子上同调环中，Batyrev 的量子 Chern-Leray 方程公式，其中 $V = \mathcal{O}(1) \oplus \bigoplus_{i=2}^r \mathcal{O}(m_i)$ 且 $m_i \geq 2$，$\mathbb{P}^n$ 上。通过直接使用 Gromov-Witten 理论和针对 $bA_2$ 类型曲线的消去引理，作者在量子环中建立了 $\prod_{i=1}^r (\xi - m_i h)^* = q_1$，将 Qin 和 Ruan 的结果扩展至其原始数值约束之外，并提供了一种可推广至非 торิก 情况的方法。

ABSTRACT

In their paper "Quantum cohomology of projective bundles over $P^n$" (Trans. Am. Math. Soc. (1998)350:9 3615-3638) Z.Qin and Y.Ruan introduce interesting techniques for the computation of the quantum ring of manifolds which are projectivized bundles over projective spaces; in particular, in the case of splitting bundles they prove under some restrictions the formula of Batyrev about the quantum ring of toric manifolds. Here we prove the formula of Batyrev on the quantum Chern-Leray equation for a large class of splitting bundles.

研究动机与目标

• 将 Qin 和 Ruan 原始工作中数值约束之外的 Fano 项目化丛的量子上同调环计算结果加以拓展。
• 在 $\mathbb{P}^n$ 上一大类分裂丛的情况下，建立量子 Chern-Leray 方程 $\prod_{i=1}^r (\xi - m_i h)^* = q_1$。
• 提供一种基于 Gromov-Witten 不变量的直接几何方法，该方法可推广至非 toric 的 Fano流形。
• 证明在与某些子簇相交时，$bA_2$ 类型曲线的量子修正项消失，从而在量子积中实现简化。

提出的方法

• 使用通过 genus-0 Gromov-Witten 不变量 $I_{aA_1 + bA_2}(\alpha, \beta, T_i)$ 定义的量子积，其中包含形式参数 $q_1$ 和 $q_2$。
• 固定两个极值 Mori 锥类：$A_1 = (\xi^{r-2}h^n)_*$（纤维直线）和 $A_2 = (\xi^{r-1}h^{n-1} + (1 - c_1)\xi^{r-2}h^n)_*$（在 $\mathbb{P}^n$ 上的直线上的曲线）。
• 应用消去结果：由于与子丛 $Z = \mathbb{P}(\bigoplus_{i=2}^r \mathcal{O}(m_i))$ 的交集理论，有 $I_{bA_2}((\xi - h)\gamma_1, \gamma_2, \gamma_3) = 0$ 对所有 $b \geq 1$ 成立。
• 使用一个关键引理：$\xi^{*(r-i)}*h^{*i} \equiv \xi^{r-i}h^i + \delta_{i0} q_1 \pmod{q_2}$，该引理将量子修正项分离出来。
• 利用恒等式 $\sum_{i=0}^r (-1)^i \bar{c}_i = 0$，其中 $\bar{c}_i$ 是 $\prod_{i=1}^r (1 - m_i t)$ 的系数，将量子积坍缩为 $q_1$。
• 在商环 $QH^*(\mathbb{P}(V))/(q_1)$ 中工作，以简化计算并分离出 $q_1$-修正项。

实验结果

研究问题

• RQ1 Batyrev 公式 $\prod_{i=1}^r (\xi - m_i h)^* = q_1$ 是否在 $V = \mathcal{O}(1) \oplus \bigoplus_{i=2}^r \mathcal{O}(m_i)$ 且 $m_i \geq 2$ 的 Fano 项目化丛 $\mathbb{P}(V)$ 上成立，且超出 Qin 和 Ruan 的原始数值约束？
• RQ2 能否仅通过直接 Gromov-Witten 理论和几何消去引理证明量子 Chern-Leray 方程，而无需依赖 toric 对称性？
• RQ3 子丛 $Z = \mathbb{P}(\bigoplus_{i=2}^r \mathcal{O}(m_i))$ 在控制 $bA_2$ 类型曲线的量子修正中起什么作用？
• RQ4 量子积 $\xi^{*(r-i)}*h^{*i}$ 模 $q_1$ 和 $q_2$ 的行为如何？其与经典上同调类的关系是什么？
• RQ5 该方法能否推广至非 Fano 或非分裂丛，特别是低秩情形？

主要发现

• 在 Fano 条件 $c_1 \leq n + r$ 下，对于 $V = \mathcal{O}(1) \oplus \bigoplus_{i=2}^r \mathcal{O}(m_i)$ 且 $m_i \geq 2$ 的情形，量子 Chern-Leray 方程 $\prod_{i=1}^r (\xi - m_i h)^* = q_1$ 在 $\mathbb{P}(V)$ 的量子上同调环中成立。
• 量子修正项 $\xi^{*(r-i)}*h^{*i} - \xi^{r-i}h^i$ 仅在 $i = 0$ 时非零，此时其模 $q_2$ 等于 $q_1$，而对于 $1 \leq i \leq r$ 则为零。
• Gromov-Witten 不变量 $I_{bA_2}((\xi - h)\gamma_1, \gamma_2, \gamma_3)$ 对所有 $b \geq 1$ 恒为零，这是由于 $bA_2$ 类型曲线与子丛 $Z$ 不相交所致。
• 恒等式 $\sum_{i=0}^r (-1)^i \bar{c}_i = 0$ 成立，因为 $m_1 = 1$，这一性质对将量子积坍缩为 $q_1$ 至关重要。
• 该方法成功地将乘积 $\prod_{i=1}^r (\xi - m_i h)^*$ 的量子修正项分离出来，证明其等于 $q_1$，且无需假设完整的 Batyrev 公式。
• 该方法在商环 $QH^*(\mathbb{P}(V))/(q_1)$ 中表现稳健，使作者能够仅关注 $q_2$-修正项，从而完成证明。