[論文レビュー] The quantum cohomology of homogeneous varieties

Jun Li, Gang Tian|ArXiv.org|Apr 16, 1995

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

ひとこと要約

本稿は、退化技術と有理曲線のモジュライ空間を用いて、任意の代数閉体上での同次的多様体 $X = G/P$ の量子コホモロジー環の存在について、完全に代数幾何学的な証明を提供する。主な貢献は、交差スキーム間の自然同型を介して、Gromov-Witten不変量の量子合成法則を確立し、量子積を厳密に定義するとともに、その結合則の成立を示すことにある。

ABSTRACT

We established the associativity of the quantum cohomologies of homogeneous varieties by using degeneration method in algebraic geometry.

研究の動機と目的

• 任意の代数閉体上での同次的多様体 $X = G/P$ の量子コホモロジー環の存在について、完全に代数幾何学的な証明を提供すること。
• 種数 0 に制限し、$X$ の滑らかさと斉次性を用いることで、Gromov-Witten不変量を定義する際の技術的困難を克服すること。
• モジュライ空間 $\mathrm{Mor}(\Sigma_0, B)$ の退化を介して、不変量 $\varPhi_{(B,g)}$ の量子合成法則を確立し、適切な交差理論を保証すること。
• 量子積 $\times_\mathbb{Q}$ が $A^*X$ 上で結合的であることを証明し、整合的な量子環を定義すること。
• フェノ型およびトーリック多様体における数え上げ幾何の応用の基盤を、量子不変量の厳密な代数的枠組みとして提供すること。

提案手法

• $Z_0$ を退化した有理曲線とするとき、$Z_0 \times X$ 内の曲線族を用いて、モジュライ空間 $\mathrm{Mor}(\Sigma_0, B)$ の退化を構成する。
• 評価写像のファイバー積として定義される交差スキーム $\widetilde{\mathrm{Int}}^{n_1:n_2}_B$ は、0次元かつ Cohen-Macaulay 構造を持つことを保証する。
• 同型写像 $\widetilde{F}: \widetilde{\mathrm{Int}}^{n_1:n_2}_B \to \coprod \mathrm{Int}_B(B_1, n_1, m_1, \tau)$ を用いて、退化曲線上の不変量と成分上の不変量の積との関係を確立する。
• 対角の Kunneth 分解 $[\Delta]^\vee = \sum_l \zeta_l \times \tilde{\zeta}_l$ を適用し、量子積を $\alpha \times_\mathbb{Q} \beta = \sum_l \widetilde{\varPhi}(\alpha, \beta, \tilde{\zeta}_l) \zeta_l$ と表現することで、結合則を保証する。
• $\mathcal{H}_B$ の滑らかさおよび関連する点における射影 $\pi: \mathcal{H}_B \to V$ の滑らかさを活用し、同型写像 $\widetilde{F}$ が適切に定義されかつ全単射であることを保証する。
• 0次元スキーム $\widetilde{\mathrm{Int}}^{n_1:n_2}_B$ の次数を用いて、Gromov-Witten 不変量 $\varPhi_B(\alpha_1, \dots, \alpha_n \mid \beta_1, \dots, \beta_m)$ を計算し、合成法則と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 同次的多様体 $X = G/P$ の量子コホモロジー環は、任意の代数閉体上、完全に代数幾何学的手法を用いて厳密に定義可能か？
• RQ2 種数 0 の写像に関して、代数幾何的設定下で Gromov-Witten 不変量の合成法則が成立するか？
• RQ3 有理曲線のモジュライ空間の退化を用いて、$A^*X$ 上の量子積 $\times_\mathbb{Q}$ が結合的であることを示せるか？
• RQ4 交差スキーム $\widetilde{\mathrm{Int}}^{n_1:n_2}_B$ は 0次元かつ Cohen-Macaulay か？これにより、適切な次数計算が可能か？
• RQ5 不変量 $\varPhi_{(B,0)}$ は、分解 $B = B_1 + B_2$ および置換 $\tau$ に関する和として表現可能か？係数は低種数不変量の積で与えられるか？

主な発見

• 同次的多様体 $X = G/P$ の量子コホモロジー環は、任意の代数閉体上、代数幾何学的交差理論を用いて厳密に定義され、結合的代数として存在する。
• Gromov-Witten 不変量の合成法則は、退化した交差スキーム $\widetilde{\mathrm{Int}}^{n_1:n_2}_B$ と低次元不変量の積の直和との間の同型写像を介して、厳密に確立される。
• 0次元スキーム $\widetilde{\mathrm{Int}}^{n_1:n_2}_B$ の次数は、Gromov-Witten 不変量 $\varPhi_B(\alpha_1, \dots, \alpha_n \mid \beta_1, \dots, \beta_m)$ に一致し、明示的な代数幾何学的公式を提供する。
• 量子積 $\times_\mathbb{Q}$ は $\alpha \times_\mathbb{Q} \beta = \sum_l \widetilde{\varPhi}(\alpha, \beta, \tilde{\zeta}_l) \zeta_l$ と定義され、その結合則は合成法則から直接導かれる。
• 本構成は、$\mathcal{H}_B$ の滑らかさおよび射影 $\pi: \mathcal{H}_B \to V$ の関連点における滑らかさに依存しており、同型写像 $\widetilde{F}$ が有効であることを保証し、次数計算が意味を持つ。
• 解析的技法（例えば、ほぼ複素構造の摂動）を避けることで、[RT] における解析的アプローチの完全な代数的代替を提供する。