[論文レビュー] Quantum Riemann - Roch, Lefschetz and Serre

Tom Coates, Alexander Givental|ArXiv.org|Oct 13, 2001

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

ひとこと要約

本稿は、仮想バンドル $ H^0(f^*E) \ominus H^1(f^*E) $ の乗法的特徴類を介して定義される、ねじれたグロモフ＝ウィッテン不変量を、振動積分の停留位相漸近展開から得られる線形変換を用いて、ねじれていない不変量に表現する、量子リーマン–ローチ定理を確立する。主な結果は、量子レフシェッツ超平面切断原理および非線形セルレ双対性を一般化し、完遂交差、特に5次3次元超曲面のミラー公式の導出を可能にする。

ABSTRACT

Given a holomorphic vector bundle $E:EX X$ over a compact Kähler manifold, one introduces twisted GW-invariants of $X$ replacing virtual fundamental cycles of moduli spaces of stable maps $f: Σ o X$ by their cap-product with a chosen multiplicative characteristic class of $H^0(Σ, f^* E) - H^1(Σ, f^*E)$. Using the formalism of quantized quadratic hamiltonians, we express the descendent potential for the twisted theory in terms of that for $X$. The result (Theorem 1) is a consequence of Mumford's Riemann -- Roch -- Grothendieck formula applied to the universal stable map. When $E$ is concave, and the inverse $\CC^{ imes}$-equivariant Euler class is chosen, the twisted theory yields GW-invariants of $EX$. The ``non-linear Serre duality principle'' expresses GW-invariants of $EX$ via those of the supermanifold $ΠE^*X$, where the Euler class and $E^*$ replace the inverse Euler class and $E$. We derive from Theorem 1 the nonlinear Serre duality in a very general form (Corollary 2). When the bundle $E$ is convex, and a submanifold $Y\subset X$ is defined by a global section, the genus 0 GW-invariants of $ΠE X$ coincide with those of $Y$. We prove a ``quantum Lefschetz hyperplane section principle'' (Theorem 2) expressing genus 0 GW-invariants of a complete intersection $Y$ via those of $X$. This extends earlier results of Y.-P. Lee and A. Gathmann and yields most of the known mirror formulas for toric complete intersections.

研究の動機と目的

• 第一 Chern 類やパrameter空間に制限のない任意の凸バンドルに対して、量子レフシェッツ超平面切断原理を一般化すること。
• 停留位相漸近展開から得られるシンプレクティック変換を用いて、ねじれたとねじれていないグロモフ＝ウィッテン不変量を関連付ける量子リーマン–ローチ定理を確立すること。
• スーパーマニフォールド $ \Pi E^*X $ に対して、$ EX $ の不変量と $ \Pi E^*X $ の不変量を逆エラー類を介して関連付ける非線形セルレ双対性原理を導出すること。
• 普遍安定写像にグローテンディーク–リーマン–ローチ定理を適用することで、5次3次元超曲面のキャンデラス–クリーファー–ストロミンジャー–ヤウのミラー公式を、新たかつ統一的な証明を与えること。
• ローラン級数係数をもつコホモロジーにおける量子化ハミルトニアン形式およびラグランジュアン・コーンを用いて、生成関数のジェネリック0次デセントポテンシャル形式をねじれた理論へ拡張すること。

提案手法

• モジュライ空間の仮想基本サイクルに、仮想バンドル $ H^0(f^*E) \ominus H^1(f^*E) $ の乗法的特徴類をカップすることで、ねじれたグロモフ＝ウィッテン不変量を導入する。
• 普遍安定写像にムムフォードのリーマン–ローチ–グローテンディークの公式を適用し、ねじれたとねじれていない生成関数を関連付ける量子リーマン–ローチ定理（定理1）を導出する。
• 量子化二次ハミルトニアンの形式を用いて、ねじれたデセントポテンシャルを、停留位相漸近展開 $ \int_0^\infty e^{(-x + (\lambda + \rho)\ln x)/z} dx $ から得られる変換行列による、ねじれていないものへの線形変換として表現する。
• コホモロジー代数 $ H^*(X; \mathbb{Q})[[z^{-1}]] $ 内にラグランジュアン・コーン $ \mathcal{L}_X $ と $ \mathcal{L}_E $ を定義し、ねじれたコーンが $ \prod_i a_{\rho_i}(z) $ を掛け合わせることでねじれていないコーンに変換されることを示す。ここで $ \rho_i $ はバンドル $ E $ のチャーン根である。
• バンドル $ E $ がラインバンドルで $ \mathbf{c} $ が全チャーン類である場合に特化することで、量子レフシェッツ定理（定理2）を導出し、コーン $ \mathcal{L}_E $ がミラー曲線 $ I_E(t) $ を含むことを示す。
• $ \lambda $-ねじれた理論において $ \lambda = 0 $ の極限に移行することで、$ I $-関数 $ I_Y(t) $ から5次ミラー公式を回復し、幾何的かつコホモロジー的機構を用いてミラー予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 仮想バンドル $ H^0(f^*E) \ominus H^1(f^*E) $ の特徴類を介して、ねじれたグロモフ＝ウィッテン不変量をねじれていない不変量とどのように系統的に関連付けることができるか？
• RQ2 ねじれた理論のデセントポテンシャルとねじれていないものとの関係を表す、量子リーマン–ローチ変換の明確な形態は何か？
• RQ3 Fano または低次数のケースに制限されない一般の凸バンドルに対して、量子レフシェッツ超平面切断原理はどのように拡張可能か？
• RQ4 非線形セルレ双対性原理は、一般の量子リーマン–ローチ定理から導出可能か？また、それはスーパーマニフォールド $ \Pi E^*X $ の幾何とどのように関係するか？
• RQ5 5次3次元超曲面のミラー対称性公式は、普遍的な幾何的原理（例えば、普遍写像にグローテンディーク–リーマン–ローチ定理を適用すること）から、恣意的な仮定なしに導出可能か？

主な発見

• 量子リーマン–ローチ定理（定理1）は、ラグランジュアン・コーン $ \mathcal{L}_X $ と $ \mathcal{L}_E $ 間の線形変換を確立し、変換行列は振動積分の停留位相漸近展開の積 $ \prod_i a_{\rho_i}(z) $ で与えられる。
• 全チャーン類のねじれの場合、変換はコホモロジー代数における $ \prod_i a_{\rho_i}(z) $ による乗法に相当し、文献に先行する結果を一般化する。
• 量子レフシェッツ超平面切断原理（定理2）は、$ c_1(E) $ やパラメータ空間に制限なしに成立し、以前のバージョンを拡張し、5次ミラー公式を特別な場合として回復する。
• バンドル $ E $ がラインバンドルで $ \mathbf{c} $ が全チャーン類である場合、ねじれたコーン $ \mathcal{L}_E $ はミラー曲線 $ I_E(t) = \sum_{d \geq 0} e^{(P+zd)t/z} \frac{(\lambda + 5P + z)\cdots(\lambda + 5P + 5dz)}{(P+z)^5 \cdots (P+dz)^5} $ を含み、$ \lambda = 0 $ に設定すると標準的な $ I $-関数に還元される。
• 非線形セルレ双対性原理（系2）は定理1の系として導出され、逆エラー類が用いられるとき、$ EX $ のGW不変量が $ \Pi E^*X $ のそれらに等しいことを示す。
• 生成関数のジェネリック0次アンセストル・ポテンシャル $ \bar{\mathcal{F}}^0 $ は、シンプレクティック変換 $ \bar{\mathcal{L}}_\tau = S_\tau \mathcal{L} $ を介してデセントポテンシャル $ \mathcal{F}^0 $ と関連付けられ、臨界点条件 $ \langle 1, \mathbf{q}(\psi), v \rangle_{0,3}(\tau) = 0 $ が $ \mathbf{q} = -z $ の近傍で一意な $ \tau(\mathbf{q}) $ の存在を保証し、形式的体系の妥当性を裏付ける。