[論文レビュー] Convergence of quantum cohomology by quantum Lefschetz

Hiroshi Iritani|ArXiv.org|Jun 13, 2005

Algebraic structures and combinatorial models参考文献 11被引用数 9

ひとこと要約

本稿では、元の量子コホモロジーが収束するという仮定の下で、量子レフシェッツ原理を用いて、滑らかで射影的な多様体におけるねじれた量子コホモロジーの収束を確立する。また、特大量子コホモロジーの収束性と半単純性を、射影的トーリック多様体に対して証明し、鏡映対称性と振動積分の漸近解析を用いて、バーラソロ予想とR予想を確認する。

ABSTRACT

Quantum Lefschetz theorem by Coates and Givental gives a relationship between the genus 0 Gromov-Witten theory of X and the twisted theory by a line bundle L on X. We prove the convergence of the twisted theory under the assumption that the genus 0 theory for original X converges. As a byproduct, we prove the semi-simplicity and the Virasoro conjecture for the Gromov-Witten theories of (not necessarily Fano) projective toric manifolds.

研究の動機と目的

• 元の量子コホモロジー $ QH^*(X) $ が収束するとき、ねじれた量子コホモロジー $ QH^*_{S^1}(X,\mathcal{L}) $ の収束を確立すること。
• 特に滑らかで射影的な多様体上のネフなラインバンドルに対して、収束の設定における量子レフシェッツ定理を拡張すること。
• Fanoでない可能性のある射影的トーリック多様体のGromov-Witten理論に対して、半単純性とバーラソロ予想を証明すること。
• 完成化された $ D $-加群と振動積分を用いて、一般のトーリック多様体に対する鏡映対称性の記述を提供すること。
• 等変量子コホモロジーのR予想を、バーラソロ制約と結びつけて、トーリック多様体の文脈で検証すること。

提案手法

• CoatesとGiventalの量子レフシェッツ定理を用いて、ラインバンドル $ \mathcal{L} $ を持つ $ X $ のねじれた量子コホモロジーを元の量子コホモロジーと関連付ける。
• 収束を制御するため、係数の推定を伴う形式的冪級数環を適用する。
• 形の振動積分 $ \mathcal{I}_\Gamma(q,\hbar) = \int_{\Gamma_q} e^{\sum \mathsf{w}_i / \hbar} \omega_q $ を用いて、鏡 $ D $-加群 $ M_{\rm mir} $ を定義する。
• $ (\mathbb{C}^r, 0) $ から $ (H^*(X), 0) $ への形式的埋め込み $ \mathfrak{emb} $ を構成し、量子 $ D $-加群の引き戻しと完成化された鏡 $ D $-加群 $ \widehat{M}_{\rm mir} $ が同型であるようにする。
• 振動積分の $ \hbar $ における漸近展開を分析して、量子 $ D $-加群の式の形式的解を抽出する。
• 帰納法と係数に関する解析的推定を用いて、R予想の枠組みにおける移行関数の正則性と収束性を証明する。

実験結果

リサーチクエスチョン

• RQ1 元の量子コホモロジー $ QH^*(X) $ が収束するとき、ねじれた量子コホモロジー $ QH^*_{S^1}(X,\mathcal{L}) $ が収束する条件は何か？
• RQ2 非Fanoなトーリック多様体に対し、量子レフシェッツ原理を用いて収束性を証明できるか？
• RQ3 滑らかで射影的なトーリック多様体の特大量子コホモロジーは、一般に半単純的で収束的か？
• RQ4 振動積分によって定義された鏡 $ D $-加群 $ \widehat{M}_{\rm mir} $ は、トーリック多様体の量子 $ D $-加群を同型に表現できるか？
• RQ5 等変量子コホモロジーのR予想は、トーリック設定においてバーラソロ制約を意味するか？

主な発見

• 定理 1.1：$ QH^*(X) $ が構造定数で収束し、$ \mathcal{L} $ がネフであるならば、$ QH^*_{S^1}(X,\mathcal{L}) $ に対しても構造定数は収束する。
• 定理 5.6：完成化された鏡 $ D $-加群 $ \widehat{M}_{\rm mir} $ は、形式的埋め込み $ \mathfrak{emb} $ を通じた量子 $ D $-加群 $ QDM^*(X) $ の引き戻しと同型である。
• 定理 5.7 および系 5.12：任意の滑らかで射影的なトーリック多様体の特大量子コホモロジーは収束的で、一般に半単純的である。
• 振動積分 $ \mathcal{I}_\Gamma(q,\hbar) $ の $ \hbar $ における漸近展開は、特別なサイクル $ \Gamma $ に対して、$ QDM^*(X) $ の形式的解を与える。
• 等変量子コホモロジーのR予想は、トーリック多様体において成立し、Givental理論によりバーラソロ制約を意味する。
• 命題 5.13 で示されるように、同型 $ \Phi_{\mathfrak{emb}} $ は、$ X $ がネフでない限り収束しない。これは、鏡映対称性における収束の微妙さを強調している。