[論文レビュー] 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

ひとこと要約

この論文は、$m_i \geq 2$ である $V = \mathcal{O}(1) \oplus \bigoplus_{i=2}^r \mathcal{O}(m_i)$ に対する $\mathbb{P}^n$ 上のファノ射影バンドル $\mathbb{P}(V)$ の量子コhomology環におけるバチレフの量子チェーン＝レーラー方程式を証明する。直接的なグロモフ＝ウィッテン理論とクラス $bA_2$ の曲線に対する消去補題を用いて、量子環において $\prod_{i=1}^r (\xi - m_i h)^* = q_1$ を確立し、チンとルアンの結果を元の数値的制約を超えて拡張し、非トーリックな場合にも適用可能な手法を提供する。

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.

研究の動機と目的

• チンとルアンの元々の研究における数値的制約を超えて、ファノ射影バンドルの量子コhomology環の計算を拡張すること。
• $\mathbb{P}^n$ 上のスプリットバンドルの広いクラスに対して、量子チェーン＝レーラー方程式 $\prod_{i=1}^r (\xi - m_i h)^* = q_1$ を確立すること。
• トーリックでないファノ多様体へ一般化可能な、グロモフ＝ウィッテン不変量に基づく直接的で幾何的な手法を提供すること。
• 特定の部分多様体と交わる際、クラス $bA_2$ の曲線からの量子補正が消えることを示し、量子積における簡略化を可能にすること。

提案手法

• 生成関数 0 次のグロモフ＝ウィッテン不変量 $I_{aA_1 + bA_2}(\alpha, \beta, T_i)$ を用いて定義される量子積を用いる。形式的パラメータ $q_1$ と $q_2$ を含む。
• 2つの極端なモーリ・コン回路クラスを固定する：$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$ 内の直線上への曲線）。
• 消去結果を適用する：$I_{bA_2}((\xi - h)\gamma_1, \gamma_2, \gamma_3) = 0$（$b \geq 1$）は、超曲面 $Z = \mathbb{P}(\bigoplus_{i=2}^r \mathcal{O}(m_i))$ との交線理論による。
• 鍵となる補題を用いる：$\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$ に収束する。
• 計算を簡略化し、$q_1$-補正を分離するために、商環 $QH^*(\mathbb{P}(V))/(q_1)$ の中で作業する。

実験結果

リサーチクエスチョン

• RQ1 ファノ条件 $c_1 \leq n + r$ を満たす $V = \mathcal{O}(1) \oplus \bigoplus_{i=2}^r \mathcal{O}(m_i)$ に対して、$m_i \geq 2$ である $\mathbb{P}(V)$ のファノ射影バンドルにおいて、チンとルアンの数値的制約を超えてバチレフの公式 $\prod_{i=1}^r (\xi - m_i h)^* = q_1$ が成り立つかどうか。
• RQ2 トーリック対称性に依存せずに、直接的なグロモフ＝ウィッテン理論と幾何的消去補題を用いて、量子チェーン＝レーラー方程式を証明できるか。
• RQ3 超曲面 $Z = \mathbb{P}(\bigoplus_{i=2}^r \mathcal{O}(m_i))$ は、クラス $bA_2$ の曲線からの量子補正を制御する上で果たす役割は何か。
• RQ4 量子積 $\xi^{*(r-i)}*h^{*i}$ は $q_1$ および $q_2$ を法としてどのように振る舞い、古典的コhomology類と何の関係があるか。
• RQ5 この手法は、ファノでないか、スプリットでないバンドル、特に低ランクの場合に拡張可能か。

主な発見

• ファノ条件 $c_1 \leq n + r$ を満たす $V = \mathcal{O}(1) \oplus \bigoplus_{i=2}^r \mathcal{O}(m_i)$ に対して、$\mathbb{P}(V)$ の量子コhomology環において、量子チェーン＝レーラー方程式 $\prod_{i=1}^r (\xi - m_i h)^* = q_1$ が成り立つ。
• 量子補正 $\xi^{*(r-i)}*h^{*i} - \xi^{r-i}h^i$ は $i = 0$ のみで非ゼロであり、$q_2$ を法として $q_1$ に等しく、$1 \leq i \leq r$ では消える。
• グロモフ＝ウィッテン不変量 $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$ に等しいことを証明できた。
• 商環 $QH^*(\mathbb{P}(V))/(q_1)$ においてこのアプローチは頑健であり、著者らは $q_2$-補正にのみ注目することで結果を証明できた。