[論文レビュー] Semisimple quantum cohomology of some Fano varieties

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

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

ひとこと要約

本稿では、Fano多様体のPicard数1の場合に、小量子コホモロジー環の半単純性の十分条件を確立する。そのために、量子コホモロジーに作用する二次形式 $ Q_X $ を導入し、$ Q_X $ が正定値であり、かつ反 canonical 級 $ h $ が $ \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.

研究の動機と目的

• Picard数1のFano多様体の小量子コホモロジー環の半単純性の十分条件を確立すること。
• 小量子積における $ q^k $ の係数の和として定義される二次形式 $ Q_X $ が、半単純性を決定する役割を分析すること。
• もし $ Q_X $ が正定値であり、かつ反 canonical 級 $ h $ が $ \mathrm{QH}(X) $ で可逆であるならば、$ \mathrm{QH}(X) $ が半単純であることを証明すること。
• これらの結果を、同調的空間およびその超平面切断 $ Y $ に対して $ 2c_1(Y) > \dim Y $ を満たす条件下で拡張し、それらの量子コホモロジーの半単純性を証明すること。
• 特定のFano多様体において、小量子コホモロジーは半単純でないが、大量子コホモロジーは半単純であるという事例を提示し、小量子半単純性の必要性に対する反例を提供すること。

提案手法

• 小量子積 $ a \star_0 b $ における $ q^k $ の係数の和として、量子コホモロジー $ \mathrm{QH}(X) $ に作用する二次形式 $ Q_X(a,b) $ を定義する。
• $ Q_X $ が正定値であるならば、$ \mathrm{QH}(X) $ の根基 $ R(X) $ が、Picard群の生成子 $ h $ に対して $ h^k \star_0 a $ で消えるような元の集合に含まれることを証明する。
• $ h $ が $ \mathrm{QH}(X) $ で可逆であることを用いて、$ Q_X $ が正定値ならば $ \mathrm{QH}(X) $ が半単純であると結論づける。
• 大量子コホモロジー $ \mathrm{BQH}_\tau(Y) $ の零元を分析するために、量子D加群理論および $ h \star_0 - $ の作用を用いる。コホモロジー次数における $ E_h^Y $ の全射性を用いる。
• 例えば $ C_0 = \sigma_{-\theta} - q\sigma_\alpha + q\sigma_\beta $ のような $ \mathrm{QH}(Y) $ 内の明示的要素を構成し、次数および係数解析を用いて零元性の矛盾を導く。
• 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 Picard数1のFano多様体 $ X $ の小量子コホモロジー環 $ \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多様体 $ 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 $ で、$ 2c_1(Y) > \dim Y $ を満たすものに対して、小量子コホモロジー環 $ \mathrm{QH}(X) $ は半単純である。
• $ X = \mathrm{Gr}(2,2n+1) $、$ \mathrm{OG}(5,10) $、$ \mathrm{LG}(3,6) $、$ F_4/P_1 $、$ G_2/P_1 $ の一般超平面切断 $ Y $ に対して、量子コホモロジー $ \mathrm{QH}(Y) $ は半単純であり、既存の結果を回復し、拡張した。
• リストされた同調的空間の一般線形切断 $ Y $ で、$ 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) $ は半単純であることを証明する。
• $ \mathrm{IG}(2,2n+1) $ は $ \mathrm{Gr}(2,2n+1) $ の超平面切断であるが、その大量子コホモロジー $ \mathrm{BQH}(Y) $ の半単純性は一様に回復され、この場合にドゥブロヴィンの予想が成立することが確認された。