[论文解读] Quantum cohomology of projective bundles over P^n

Zhenbo Qin, Yongbin Ruan|ArXiv.org|Jul 2, 1996

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

一句话总结

该论文利用过剩交理论计算了 $\mathbb{P}^n$ 上的射影丛的量子上同调环，克服了有理曲线模空间维度非预期的难题。研究结果表明，对于满足特定数值条件的正线丛 $V$，量子上同调环由超平面类与典范类生成，且关系式经由量子参数变形，通过格罗莫夫-威滕不变量与莫里锥分析，明确确定了环结构。

ABSTRACT

In this paper, we attempt to determine the quantum cohomology of projective bundles over the projective space P^n. In contrast to the previous examples, the relevant moduli spaces in our case frequently do not have expected dimensions. It makes the calculation more difficult. We overcome this difficulty by using excessive intersection theory.

研究动机与目标

• 计算射影丛 $P(V)$ 在 $\mathbb{P}^n$ 上的量子上同调环，此类空间中，有理曲线的模空间常出现维度非预期的情况。
• 通过使用过剩交理论，克服模空间维度非预期的困难。
• 确定哪些同调类对量子积产生非平凡的量子修正，重点聚焦于莫里极小射线的类。
• 在向量丛 $V$ 满足特定数值条件时，建立射影丛量子上同调环的完整表示。
• 验证量子修正仅来自莫里锥的两个极小射线，并通过显式计算格罗莫夫-威滕不变量予以确认。

提出的方法

• 利用西伯特与田定理，通过量子形变将经典上同调关系提升至量子上同调环中。
• 应用过剩交理论，在模空间非预期维度时计算格罗莫夫-威滕不变量。
• 识别莫里锥的两个极小射线 $R_1$ 与 $R_2$，分别对应于纤维中直线与 $\mathbb{P}^n$ 中直线的投影。
• 计算当 $A$ 属于极小射线时的量子不变量 $\langle h, h^n, h^{n-1}\gamma^{r-1} \rangle_{0,A}$ 与 $\langle \gamma, h^n, h^{n-1}\gamma^{r-1} \rangle_{0,A}$。
• 利用 $\mathbb{P}^n$ 中的关联几何时空与切丛 $T_{\mathbb{P}^n}$ 计算与一般子簇相交的曲线数量。
• 使用正合列 $0 \to \mathcal{O}_{\mathbb{P}^n} \to \mathcal{O}_{\mathbb{P}^n}(1)^{\oplus(n+1)} \to T_{\mathbb{P}^n} \to 0$ 将 $\gamma$ 与 $\mathbb{P}^n \times \mathbb{P}^n$ 上的 $(1,1)$-类联系起来。

实验结果

研究问题

• RQ1 在 $P(V)$ 中，哪些同调类对量子积的量子修正有非平凡贡献？
• RQ2 当有理曲线的模空间维度非预期时，如何计算量子上同调？
• RQ3 在向量丛 $V$ 满足数值条件时，$\mathbb{P}^n$ 上射影丛的量子上同调环的完整表示是什么？
• RQ4 量子修正是否仅来自 $P(V)$ 中莫里锥的两个极小射线？
• RQ5 能否通过格罗莫夫-威滕不变量与过剩交理论显式计算 $P(T_{\mathbb{P}^n})$ 的量子上同调？

主要发现

• 量子上同调环 $H^*_!(P(V); \mathbb{Z})$ 由 $h$ 与 $\gamma$ 生成，关系式为 $f_1!$ 与 $f_2!$。
• 第一个量子关系为 $h^{n+1} = \gamma^r e^{-tn}$，其中 $t$ 为量子参数。
• 第二个量子关系为 $\sum_{i=0}^n (-1)^i c_i h^i \gamma^{n-i} = (1 + (-1)^n) e^{-tn}$，其中 $c_i = \binom{n+1}{i}$ 对应于切丛。
• 对于 $P(T_{\mathbb{P}^n})$，量子修正完全由两个极小射线决定，无其他贡献。
• 通过 $\mathbb{P}^n$ 中的关联几何时空计算得到格罗莫夫-威滕不变量 $\langle h, h^n, h^{n-1}\gamma^{n-1} \rangle_{0,A_2} = 1$。
• 计算结果确认，除两个极小射线 $R_1$ 与 $R_2$ 外，所有其他类的量子修正均为零。