[論文レビュー] Gromov - Witten invariants and quantization of quadratic hamiltonians

Alexander Givental|ArXiv.org|Aug 14, 2001

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

ひとこと要約

本稿は、二次形式ハミルトニアンおよびシンプレクティックループ群作用の量子化形式を導入し、高(genus)におけるグロモフ＝ミラー不変量とフロベニウス構造を統一的かつ一般化する。この形式を用いて、半単純フロベニウス構造に対するバーラソロ代数の制約を確立し、量子コホノロジー枠組みにおける振動積分の漸近解析およびガンマ関数の恒等式を用いて、複素射影空間およびファノトーリック多様体に対するバーラソロ予想を証明する。

ABSTRACT

We describe a formalism based on quantization of quadratic hamiltonians and symplectic actions of loop groups which provides a convenient home for most of known general results and conjectures about Gromov-Witten invariants of compact symplectic manifolds and, more generally, Frobenius structures at higher genus. We state several results illustrating the formalism and its use. In particular, we establish Virasoro constraints for semisimple Frobenius structures and outline a proof of the Virasoro conjecture for Gromov -- Witten invariants of complex projective spaces and other Fano toric manifolds. Details will be published elsewhere.

研究の動機と目的

• 高(genus)におけるグロモフ＝ミラー不変量とフロベニウス構造を統一的に取り扱う、二次形式ハミルトニアンおよびシンプレクティックループ群作用の量子化に基づく形式的枠組みを構築すること。
• この形式を用いて、半単純フロベニウス構造に対するバーラソロ代数の制約を確立すること。
• 複素射影空間および他のファノトーリック多様体のグロモフ＝ミラー不変量に対するバーラソロ予想を証明すること。
• この形式を、等配量子コホノロジーにおける振動積分およびガンマ関数の漸近的性質に結びつけること。
• フォック空間の量子化に基づいて、重力的後代（gravitational descendants）およびその生成関数の概念的枠組みを提供すること。

提案手法

• 形式的枠組みは、シンプレクティック多様体のコホノロジーに係数をとるローレンツ多項式空間上の無限小シンプレクティック変換のフォック空間量子化を用いる。
• ディラトンシフトを適用して、後代生成関数をループ代数の正部分の座標に関連づけ、全後代生成関数をフォック空間内のベクトルとして特定する。
• 等配コホノロジーにおける振動積分を用いて、量子コホノロジー極限 Q=0 における R 行列の行列要素を計算する。
• 振動積分の停留相漸近展開を用いて、R 行列の対数的漸近的性質を抽出し、バーンズ G 関数およびガンマ関数展開を含む式を得る。
• フォック空間上の微分作用素によって定義されるバーラソロ作用素を形式的枠組みに組み込み、ファノトーリック多様体に対して全後代生成関数を零にする。
• ファノトーリック多様体の小量子コホノロジーの明示的記述とミラー双対性を活用し、全生成関数を発展作用素の積として得る。

実験結果

リサーチクエスチョン

• RQ1 グロモフ＝ミラー不変量およびその重力的後代は、どのように一様な量子化枠組みの下で統一的に取り扱えるか？
• RQ2 バーラソロ代数は、半単純フロベニウス多様体の全後代生成関数を制約するために果たす役割は何か？
• RQ3 等配コホノロジーにおける振動積分は、ファノトーリック多様体の量子コホノロジー構造をどのように符号化するか？
• RQ4 振動積分におけるガンマ関数の漸近的性質は、量子コホノロジーおよびミラー双対性の深い構造をどの程度反映しているか？
• RQ5 複素射影空間に対するバーラソロ予想は、シンプレクティック作用および量子化に基づく一般形式から導けるか？

主な発見

• トーリックファノ多様体の全後代生成関数は、定数を除いて $\mathcal{D}_{X} = e^{C(t)}\hat{S}_{t}\hat{\Psi}_{t}\hat{R}_{t}{\mathcal{T}}$ で与えられ、ここで $\mathcal{T}$ はウィッテン＝コンツェビッチのタウ関数である。
• 全後代生成関数は、$m = -1,0,1,2,\dots$ に対して、バーラソロ制約 $({\mathcal{L}}_{m} + N\delta_{m,0}/16)\mathcal{D}_{X} = 0$ を満たし、エグッチ、ホリ、ジンゼンジ、シュイォン、カッツらの予想を確認する。
• $Q=0$ において、R 行列の行列要素 $R^{00}$ は対数的漸近展開 $\ln R^{00} = \sum_{k=1}^{\infty} \frac{B_{2k}}{2k} \frac{z^{2k-1}}{2k-1} \sum_{\alpha \neq 0} (\lambda_{\alpha} - \lambda_0)^{1-2k}$ を持ち、量子コホノロジーの古典的極限と一致する。
• ファノトーリック多様体のミラー記述における振動積分の漸近的展開は、1次元積分への因子分解を導き、その漸近的性質はガンマ関数によって支配される。
• この形式的枠組みは、ゲッツラーとパンダリパンドの発見した $\lambda_g$-予想および他のホッジ積分恒等式を確認し、従来の証明よりも深い概念的基盤を提供する。
• 漸近的展開におけるガンマ関数の出現を通じて、$S^1$-等配フロイド理論とループ空間上の接続が示唆され、形式的枠組みが位相的場理論の根源に結びついている。