[論文レビュー] The Quantum Lefschetz Principle for Vector Bundles as a Map Between Givental Cones

Tom Coates|arXiv (Cornell University)|May 12, 2014

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

ひとこと要約

この論文は、$Y \subset X$ が凸ベクトルバンドルの零点集合であるとき、$X$ の genus-zero Gromov–Witten 不変量のEuler-twisted版と、$Y$ の Givental のラグランジュ・コーンの間の明確な関係を確立する。包含写像 $i: Y \to X$ による twisted $\mathbf{J}$-関数の引き戻しは、$i_*$ を通じて量子パラメータを写像した $Y$ の $\mathbf{J}$-関数に一致することを示し、Quantum Lefschetz Hyperplane Principle の洗練された版を提供する。

ABSTRACT

Givental has defined a Lagrangian cone in a symplectic vector space which encodes all genus-zero Gromov-Witten invariants of a smooth projective variety X. Let Y be the subvariety in X given by the zero locus of a regular section of a convex vector bundle. We review arguments of Iritani, Kim-Kresch-Pantev, and Graber, which give a very simple relationship between the Givental cone for Y and the Givental cone for Euler-twisted Gromov-Witten invariants of X. When the convex vector bundle is the direct sum of nef line bundles, this gives a sharper version of the Quantum Lefschetz Hyperplane Principle.

研究の動機と目的

• 部分多様体 $Y$ の Givental ラグランジュ・コーンと、環境多様体 $X$ のEuler-twisted Givental コーンとの間の明確な幾何的対応を確立すること。
• シンプレクティック幾何学と仮想サイクルを用いて、凸ベクトルバンドルの設定において Quantum Lefschetz Hyperplane Principle を一般化すること。
• 非等配分極限における $\mathbf{J}$-関数を通じて、$Y$ の genus-zero Gromov–Witten 不変量が、$X$ からのtwisted不変量の引き戻しとしてどのように生じるかを明確にすること。
• 環境空間の不変量を用いて完全交差の量子不変量を計算するための概念的かつ計算的枠組みを提供すること。

提案手法

• すべての genus-zero Gromov–Witten 不変量を $\mathbf{J}$-関数によって符号化する Givental のラグランジュ・コーン $\mathcal{L}_X \subset \mathcal{H}_X$ の形式的枠組みを用いる。
• $S^1$-等配分エULER類 $\boldsymbol{e}(E)$ をねじれクラスとして用いて、Euler-twisted $\mathbf{J}$-関数 $\mathbf{J}_{\boldsymbol{e}}(\mathbf{t})$ を導入する。
• 仮想基本クラスのファンクター性およびGysin写像を適用し、凸バンドル $E$ の正則セクションを通じて、$X_{g,n,d}$ と $Y_{g,n,\delta}$ の仮想サイクルを関連付ける。
• 代数幾何における投影公式と基本変換を用いて、包含写像 $i: Y \to X$ と写像 $f: Z \to X_{0,n+1,d}$ 沿いのコホモロジー類のプッシュフォワードを関連付ける。
• 非等配分極限 $\lambda \to 0$ を用いて、twisted $\mathbf{J}$-関数から標準的な Gromov–Witten 不変量を抽出する。
• 主結果を導出する際、$i^*\mathbf{J}_{\boldsymbol{e}}|_{\lambda=0} = \mathbf{J}_Y(i^*\mathbf{t})|_{Q^\delta \mapsto Q^{i_*\delta}}$ を示し、量子パラメータ変換を通じてコーンを結びつける。

実験結果

リサーチクエスチョン

• RQ1 部分多様体 $Y \subset X$ が凸ベクトルバンドルの正則セクションによって定義されるとき、$Y$ の genus-zero Gromov–Witten 不変量は、環境空間 $X$ の不変量とどのように関係するか？
• RQ2 Quantum Lefschetz Hyperplane Principle を、生成関数の恒等式を超えて、Givental コーン間の明確な写像として洗練させることは可能か？
• RQ3 Euler-twisted 不変量は、環境空間からの引き戻しを通じて、部分多様体の量子コホモロジーをどのように符号化するか？
• RQ4 twisted $\mathbf{J}$-関数の非等配分極限は、部分多様体の標準的 $\mathbf{J}$-関数をどのように回復するか？
• RQ5 ベクトルバンドルの凸性が、コーンレベルの対応の有効性を保証する程度はどの程度か？

主な発見

• 環境空間 $X$ のEuler-twisted $\mathbf{J}$-関数の非等配分極限は、well-defined であり、包含写像 $i^*$ と量子パラメータ写像 $Q^\delta \mapsto Q^{i_*\delta}$ を通じて $Y$ の $\mathbf{J}$-関数に一致する。
• $\lambda = 0$ における twisted $\mathbf{J}$-関数 $\mathbf{J}_{\boldsymbol{e}}(\mathbf{t})$ の引き戻しは、$i_*$ を通じて $H_2(Y) \to H_2(X)$ にパラメータ変換された標準的 $\mathbf{J}$-関数 $\mathbf{J}_Y(i^*\mathbf{t})$ と一致する。
• 包含写像 $i: Y \to X$ と $E$ の正則セクションに沿った仮想クラスのプッシュフォワードによって誘導されるシンプレクティック同型を通じて、$Y$ と $X$ の Givental コーンの関係が確立される。
• 証明は仮想サイクルのファンクター性と投影公式に依拠しており、仮想サイクル $X_{0,n+1,d}$ がゼロ集合構成により $Y_{0,n+1,\delta}$ の仮想サイクルにプッシュフォワードされることを示している。
• 結果は任意の凸ベクトルバンドルに対して成り立ち、特にネフラインバンドルの直和に対しても成り立ち、Quantum Lefschetz Hyperplane Principle の鋭い版をもたらす。
• この枠組みは、凸バンドルでかつゼロ集合が正則である限り、射影的でコarse moduli space を持つ Deligne–Mumford スタックに対しても拡張可能である。