[論文レビュー] Gromov-Witten theory, Hurwitz theory, and completed cycles

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Apr 24, 2002

Algebraic Geometry and Number Theory被引用数 23

ひとこと要約

本稿は、Gromov-Witten理論の定常的領域と標的曲線上のHurwitz理論の間の正確な対応関係を確立し、Gromov-Witten理論における降下不変量が、対称群の特徴関数に対する普遍的な組合せ的補正である完成済みサイクルで重み付けられたHurwitz数に対応することを示している。主な結果は、楕円曲線のGromov-Witten不変量の母関数が、クェーシーモジュラー形式およびシータ関数を用いて閉形式で与えられることであり、これにより、数え上げ幾何学、対称関数、可積分系の間の深い関係が明らかになった。

ABSTRACT

We establish an explicit equivalence between the stationary sector of the Gromov-Witten theory of a target curve X and the enumeration of Hurwitz coverings of X in the basis of completed cycles. The stationary sector is formed, by definition, by the descendents of the point class. Completed cycles arise naturally in the theory of shifted symmetric functions. Using this equivalence, we give a complete description of the stationary Gromov-Witten theory of the projective line and elliptic curve. Toda equations for the relative stationary theory of the projective line are derived.

研究の動機と目的

• 標的曲線におけるGromov-Witten理論の定常的領域とHurwitz理論の間の正確な対応関係を確立すること。
• Gromov-Witten理論における降下挿入τk(ω)が、Hurwitz理論における分岐条件の普遍的線形結合に対応することを示すこと。
• 完成済みサイクル—対称群代数における通常のk-サイクルに対する補正—が、両理論の間の組合せ的ブリッジを提供することを示すこと。
• 作用素形式主義とクェーシーモジュラー性を用いて、P¹および楕円曲線のGromov-Witten不変量の閉形式母関数を導出すること。
• 楕円曲線の不変量の母関数がクェーシーモジュラー形式であることを明らかにし、モジュラー変換を介して大規模および小規模次数の漸近的挙動を結びつけること。

提案手法

• GW/H対応は、分岐化技術および相対Gromov-Witten理論を用いて確立され、楕円曲線上の不変量がP¹上の相対不変量と関連付けられる。
• 無限楔表現Λ^{∞/2}Vにおける作用素形式主義を用いて、母関数を表現し、生成演算子α₋μおよびE₀(z)を含むトレースを計算する。
• P¹のGromov-Witten不変量の母関数は、Toda階層およびτ関数形式主義を用いて導出され、ストリング方程式およびToda方程式が流れを支配する。
• 楕円曲線の場合、分岐化公式により不変量は、各部分集合μに重み1/z(μ)を乗じた和として表され、電荷ゼロ部分空間におけるトレースが母関数を与える。
• 鍵となる式(5.2)は、q^Hおよび頂点演算子を含むトレースとして母関数を表現しており、[1]および[10]の既知の結果を用いて評価される。
• 最終的な閉形式式(5.3)は、種数1のシータ関数ϑ(z)およびその微分を用いて導出され、行列式構造がn点相関関数を符号化する。

実験結果

リサーチクエスチョン

• RQ1 標的曲線Xの定常的Gromov-Witten不変量は、特定の分岐データを持つHurwitz数とどのように関係しているか？
• RQ2 Gromov-Witten理論における各降下τk(ω)に対応する、対称群代数内の正確な組合せ的対象は何か？
• RQ3 P¹および楕円曲線のGromov-Witten不変量の母関数は、作用素形式主義および特殊関数を用いて閉形式で表現可能か？
• RQ4 楕円曲線不変量の母関数のモジュラー性は何か？また、クェーシーモジュラー性とどのように関係しているか？
• RQ5 モジュライ空間M̄g,n(X,d)の境界ストラトムは、完成済みサイクルにおける補正項にどのように寄与するか？

主な発見

• 標的曲線Xの定常的Gromov-Witten不変量は、各τk(ω)をその関連する完成済みサイクルに置き換えたHurwitz数の和に等しい。これは、対称群代数におけるk-サイクルに対する普遍的補正である。
• P¹のGromov-Witten不変量の母関数は、Toda階層を満たすτ関数として与えられ、無限楔表現から明示的な作用素式が導出される。
• 楕円曲線の場合、n点母関数FE(z₁,…,zn;q)は、頂点演算子およびエネルギー演算子Hを含むトレースとして表現され、種数1のシータ関数ϑ(z)を用いた閉形式が得られる。
• 母関数(5.3)は、ϑ(z)の微分の行列式の有理関数であり、ϑ値の積で正規化されており、qに関してクェーシーモジュラーである。
• FEのq^d係数に(q)∞を乗じた系列は、Eisenstein級数E₂, E₄, E₆で生成される環において、重み∑(ki+2)のクェーシーモジュラー形式であり、強い算術的制約を示す。
• クェーシーモジュラー性は、q→0（小規模次数）とq→1（大規模次数）の漸近的挙動の間の深いモジュラー関係を示しており、低Genusと高Genusの挙動を結びつける。