[論文レビュー] Quantum cohomology via D-modules

Martin A. Guest|ArXiv.org|Jun 20, 2002

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

ひとこと要約

本稿では、量子コホモロジーのDモジュールに基づく新しい枠組みを提案し、量子コホモロジーDモジュールを副産物ではなく中心的対象として扱う。有理曲線の可換代数を量子化し、ゲージ変換によるバーキホフ分解を適用することで、量子積を再構築し、グレブナー基底とODEの解法を用いたGromov-Wittenインバリアントの計算の新しいアルゴリズムを提供する。同時に、ミラー変換が微分幾何的ゲージ過程として明確化される。

ABSTRACT

We propose a new point of view on quantum cohomology, strongly motivated by the work of Givental and Dubrovin, but closer to differential geometry than the existing approaches. The central object is the D-module which "quantizes" a commutative algebra associated to the (uncompactified) space of rational curves. A standard loop group factorization procedure converts the D-module to Givental's D-module and the commutative algebra to the quantum cohomology algebra. We apply this only to the small quantum cohomology of full flag manifolds and semi-positive toric manifolds, but even in these cases the method is effective. In particular it gives an algorithm (requiring construction of a Groebner basis and solution of a system of o.d.e.) for the quantum product.

研究の動機と目的

• Gromov-Wittenインバリアントの副産物としてではなく、Dモジュールを主対象とする形で、量子コホモロジーを再定式化すること。
• 従来の代数幾何的アプローチよりも微分幾何に近い、幾何的かつ計算的枠組みを提供すること。
• ゲージ理論的手法によるバーキホフ分解がミラー変換において果たす役割を明確化すること。
• グレブナー基底と四則演算を用いた手法で、量子コホモロジー代数の構造定数をアルゴリズム的に計算する新しい手法を開発すること。
• 一般化された超幾何Dモジュールと半正のトーリック多様体における量子コホモロジーとの直接的な関係を確立すること。

提案手法

• Kähler多様体 $M$ における有理曲線に関連する可換代数 $\mathcal{A}$ を出発点とし、これを非可換Dモジュール $M^h$ に量子化する。
• Dモジュール $M^h$ は平坦接続 $\nabla = d + \Omega^h$ を持ち、$\Omega^h$ は $h=0$ で単純極を持つ。これは量子接続を表す。
• ループ群値写像 $L$ のバーキホフ分解 $L = L_-L_+$ を用いたゲージ変換により、$\Omega^h$ を $\hat{\Omega}^h = L_-^{-1}dL_-$ に変換し、新たな平坦接続 $\hat{\nabla} = d + \hat{\Omega}^h$ を得る。
• 半古典的極限（$h \to 0$）において、$\hat{\nabla}$ は量子コホモロジー代数 $QH^*M$ を回復し、構造定数はゲージ行列 $Q_0 = L_+|_{h=0}$ から得られる。
• ファノ多様体の場合、得られる代数 $\hat{\mathcal{A}}$ は $\mathcal{A}$ と一致し、行列 $Q_0$ は量子積を明示的に符号化する。
• トーリックの場合、GKZが提供する一般化された超幾何Dモジュールが量子化 $M^h$ を与え、ミラー変換は $\Omega^h$ と $\hat{\Omega}^h$ 間のゲージ同値性から自然に現れる。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間の安定写像とは異なり、有理曲線の代数のDモジュール量子化から、量子コホモロジーをどのように再構築できるか？
• RQ2 バーキホフ分解がミラー変換において果たす正確な役割は何か？ そして、これをゲージ理論的視点から幾何学的に解釈できるか？
• RQ3 グレブナー基底とODEの解法を用いて、量子コホモロジー代数の構造定数をアルゴリズム的に計算できるか？
• RQ4 どのような場合に、元の代数 $\mathcal{A}$ とは異なる脱量子化代数 $\hat{\mathcal{A}}$ が得られるか？ これは量子コホモロジーにどのような意味を持つのか？
• RQ5 一般化された超幾何Dモジュールは、半正のトーリック多様体における量子コホモロジーとどのように関係するか？

主な発見

• 量子コホモロジー代数 $QH^*M$ は、脱量子化Dモジュール $\hat{M}^h$ の半古典的極限として回復され、構造定数はゲージ行列 $Q_0 = L_+|_{h=0}$ によって決定される。
• ファノ多様体の場合、有理曲線の代数 $\mathcal{A}$ は量子コホモロジー代数 $\hat{\mathcal{A}}$ と同型であり、量子化により直接正しい量子積が得られる。
• 量子積は行列 $Q_0$ を通じて明示的に計算可能であり、これは古典的積から量子的積への変形を符号化している。
• $\Sigma_2 = \mathbb{C}P^1 \times \mathbb{C}P^1$ の場合、本手法は既知の量子積を再現する：$\hat{b}_1 \circ_{\hat{t}} \hat{b}_1 = \hat{q}_1\hat{q}_2$、$\hat{b}_1 \circ_{\hat{t}} \hat{b}_2 = \hat{b}_1\hat{b}_2 + \hat{q}_1\hat{q}_2$、および $\hat{b}_2 \circ_{\hat{t}} \hat{b}_2 = \hat{b}_2^2 + \hat{q}_2(1 + \hat{q}_1)$。
• ミラー変換はバーキホフ分解に起因する自然なゲージ変換であることが示され、変換後の系の基本解 $\hat{J}$ は一般化された超幾何級数 $J_{\scriptscriptstyle GKZ}$ に等しい。これにより、ギヴァンタルのトーリックミラー定理の新しい形が確立される。