[论文解读] Semisimple quantum cohomology of some Fano varieties

Nicolas Perrin|arXiv (Cornell University)|May 22, 2014

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

一句话总结

本文通过在量子上同调上引入二次型 $ Q_X $，建立了 Fano 代数簇（Picard 秩为 1）的小量子上同调环半单性的充分条件。证明了若 $ Q_X $ 为正定且反 canonical 类 $ h $ 在 $ \mathrm{QH}(X) $ 中可逆，则 $ \mathrm{QH}(X) $ 为半单。关键贡献在于，对多种齐次空间及其超平面截面，给出了统一的半单性证明，包括对 $ \mathrm{IG}(2,2n) $ 和 $ F_4/P_4 $ 的新结果：小量子上同调不半单，但大量子上同调是半单的。

ABSTRACT

We give sufficient conditions for the semisimplicity of quantum cohomology of Fano varieties of Picard rank 1. We apply these techniques to prove new semisimplicity results for some Fano varieties of Picard rank 1 and large index. We also give examples of Fano varieties having a non semisimple small quantum cohomology but a semisimple big quantum cohomology.

研究动机与目标

• 建立 Fano 代数簇（Picard 秩为 1）的小量子上同调环半单性的充分条件。
• 分析定义为小量子积中 $ q^k $ 系数之和的二次型 $ Q_X $ 在决定半单性中的作用。
• 证明若 $ Q_X $ 为正定且反 canonical 类 $ h $ 在 $ \mathrm{QH}(X) $ 中可逆，则 $ \mathrm{QH}(X) $ 为半单。
• 将这些结果推广至齐次空间及其满足 $ 2c_1(Y) > \dim Y $ 的超平面截面，证明其量子上同调的半单性。
• 展示某些 Fano 代数簇的小量子上同调不半单，但大量子上同调是半单的，从而提供小量子半单性非必要性的反例。

提出的方法

• 将二次型 $ Q_X(a,b) $ 定义为小量子积 $ a \star_0 b $ 中 $ q^k $ 系数之和，其作用于 $ \mathrm{QH}(X) $。
• 证明若 $ Q_X $ 为正定，则 $ \mathrm{QH}(X) $ 的根 $ R(X) $ 包含于所有满足 $ h^k \star_0 a = 0 $ 的元素集合中，其中 $ h $ 为 Picard 群的生成元。
• 利用 $ h $ 在 $ \mathrm{QH}(X) $ 中的可逆性，得出当 $ Q_X $ 为正定时，$ \mathrm{QH}(X) $ 为半单。
• 应用量子 D-模理论及 $ h \star_0 - $ 的作用，分析大量子上同调 $ \mathrm{BQH}_\tau(Y) $ 中的幂零元，利用 $ E_h^Y $ 在上同调度上的满射性。
• 在 $ \mathrm{QH}(Y) $ 中构造显式元素，如 $ C_0 = \sigma_{-\theta} - q\sigma_\alpha + q\sigma_\beta $，通过次数与系数分析检验幂零性并导出矛盾。
• 利用 Gromov-Witten 不变量 $ I_d(\mathrm{pt}, \mathrm{pt}, \mathrm{pt}, \sigma_{-\zeta}) $ 计算 $ \mathrm{pt} \star_1 \mathrm{pt} $，表明非零不变量仅在 $ d=4 $ 时出现，当 $ 9I_4(\mathrm{pt},\mathrm{pt},\mathrm{pt},\mathrm{pt}) = 6 $ 时产生矛盾，而这对非负整数不可能成立。

实验结果

研究问题

• RQ1 在何种条件下，Fano 代数簇 $ X $（Picard 秩为 1）的小量子上同调环 $ \mathrm{QH}(X) $ 为半单？
• RQ2 能否将作为小量子积中 $ q^k $ 系数之和的二次型 $ Q_X $ 用作 $ \mathrm{QH}(X) $ 半单性的充分条件？
• RQ3 对于哪些齐次空间及其超平面截面，$ Q_X $ 为正定，且此条件是否蕴含 $ \mathrm{QH}(X) $ 的半单性？
• RQ4 是否存在小量子上同调不半单但大量子上同调半单的 Fano 代数簇？
• RQ5 能否通过量子积结构与幂零元分析，对 $ \mathrm{Gr}(2,2n+1) $、$ \mathrm{OG}(5,10) $、$ F_4/P_1 $ 等 Fano 代数簇族，统一证明其大量子上同调的半单性？

主要发现

• 所有 Fano 代数簇 $ X $ 在列表 $ \mathbb{P}^n, Q_n, \mathrm{OG}(5,10), E_6/P_6, \mathrm{Gr}(2,n), \mathrm{LG}(3,6), \mathrm{OG}(6,12), E_7/P_7 $ 及其一般线性截面 $ Y $（余维数 $ k $ 满足 $ 2c_1(Y) > \dim Y $）中，小量子上同调环 $ \mathrm{QH}(X) $ 均为半单。
• 当 $ Y $ 为 $ X = \mathrm{Gr}(2,2n+1) $、$ \mathrm{OG}(5,10) $、$ \mathrm{LG}(3,6) $、$ F_4/P_1 $ 或 $ G_2/P_1 $ 的一般超平面截面时，其量子上同调 $ \mathrm{QH}(Y) $ 为半单，从而恢复并推广了先前结果。
• 对于所列齐次空间的一般线性截面 $ Y $（余维数 $ k $），若满足 $ 2c_1(Y) > \dim Y $，则二次型 $ Q_X $ 为正定。
• 对于 $ X = \mathrm{IG}(2,2n) $ 或 $ X = F_4/P_4 $，小量子上同调 $ \mathrm{QH}(X) $ 不半单，但大量子上同调 $ \mathrm{BQH}(X) $ 为半单。
• 计算中 $ 9I_4(\mathrm{pt},\mathrm{pt},\mathrm{pt},\mathrm{pt}) = 6 $ 的矛盾（对非负整数不可能成立）证明了 $ \mathrm{BQH}_\tau(Y) $ 中不存在非零幂零元，因此 $ \mathrm{BQH}_\tau(Y) $ 为半单。
• 对 $ Y = \mathrm{IG}(2,2n+1) $（即 $ \mathrm{Gr}(2,2n+1) $ 的超平面截面）的大量子上同调 $ \mathrm{BQH}(Y) $ 的半单性被统一恢复，确认了该情形下 Dubrovin 猜想成立。