[論文レビュー] Gromov-Witten theory, Hurwitz numbers, and Matrix models, I

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Jan 17, 2001

Algebraic Geometry and Number Theory参考文献 57被引用数 187

ひとこと要約

この論文は、仮想局在と可積分階層を用いて、$\mathbb{P}^1$ のグロモフ＝ミートン不変量、分岐被覆を数えるハーツィュ数、および行列モデルの間の深い関係を確立する。ハーツィュ数が再帰的に計算できる退化公式を証明し、その母関数がKdV階層に従うことを示し、行列モデルの手法を用いてウィッテンの予想を$\mathbb{P}^1$ の場合に拡張する。

ABSTRACT

The main goal of the paper is to present a new approach via Hurwitz numbers to Kontsevich's combinatorial/matrix model for the intersection theory of the moduli space of curves. A secondary goal is to present an exposition of the circle of ideas involved: Hurwitz numbers, Gromov-Witten theory of the projective line, matrix integrals, and the theory of random trees. Further topics will be treated in a sequel.

研究の動機と目的

• $\mathbb{P}^1$ のグロモフ＝ミートン不変量、ハーツィュ数、行列モデルの間の明確な関係を確立すること。
• $\overline{M}_{g,n}$ におけるウィッテンの予想を、安定写像の空間 $\overline{M}_{g,n}(\mathbb{P}^1)$ に拡張すること。
• 幾何学的および組合せ的技法を用いて、ハーツィュ数の再帰的退化公式を導出すること。
• ハーツィュ数の母関数がKdV階層に従うことを示し、コンツェビッチの行列モデルの手法を一般化すること。
• 仮想局在を用いて、グロモフ＝ミートン理論における行列モデル形式的体系の幾何的基盤を提供すること。

提案手法

• $\mathbb{C}^*$-作用の下で、$\overline{M}_{g}(\mathbb{P}^1, d)$ のモジュライ空間に仮想局在を適用し、固定点成分に仮想クラスを分解する。
• 完全な障害理論と区別三角形を用いて仮想クラスを構成し、頂点およびエッジの寄与を計算する。
• 局在化を用いてハーツィュ数とホッジ積分を関連させ、$\mu$-グラフおよび3価グラフの和として表現する。
• $\mu$-グラフにおけるエッジの除去を分析することで、$H_{g,\mu}$ の退化公式を導出する。3つの場合に分ける：分離エッジ、非分離ループ、分離を引き起こすループ。
• ハーツィュ数の漸近的挙動をスペクトルの縁における行列モデルおよびランダム木の列挙と関連付ける。
• ウィックの定理と行列積分の漸近的解析を用いて、分配関数とKdV階層を結びつける。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^1$ のグロモフ＝ミートン不変量は、分岐被覆を数えるハーツィュ数とどのように関係しているか？
• RQ2 ハーツィュ数の母関数がKdV階層に従うことを示せるか。ウィッテンの予想を一般化できるか？
• RQ3 $\mu$-グラフとエッジの除去に関して、ハーツィュ数の退化公式の幾何的起源は何か？
• RQ4 仮想幾何学的構造 $\overline{M}_{g,n}(\mathbb{P}^1)$ からどのように行列モデルと可積分系が出現するか？
• RQ5 ハーツィュ数の漸近的構造は何か。ランダム木モデルおよびスペクトルの縁における行列モデルとどのように関係するか？

主な発見

• ハーツィュ数 $H_{g,\mu}$ の退化公式は、$\mu$-グラフにおけるエッジの除去を分析することで導出され、3つの異なるケースに分かれる：分離エッジ、非分離ループ、分離を引き起こすループ。
• その公式は、$m_i$, $a_1$, $a_2$, および二項係数を含む組合せ的係数で重み付けされた、低 genus および低次数のハーツィュ数の積の和として $H_{g,\mu}$ を表す。
• $g=0$ の場合、$H_{0,(1)} = 1$ であり、最初の非自明な値は $H_{0,(2)} = 1/2$, $H_{0,(3)} = 1$, および $H_{0,(4)} = 4$ である。
• $\mathbb{P}^1$ におけるハーツィュ数の母関数はKdV階層に従う。これはコンツェビッチの結果を $\overline{M}_{g,n}$ からグロモフ＝ミートン理論へ拡張する。
• ハーツィュ数の漸近的解析は、スペクトルの縁における行列モデルと関連し、分配関数は3価グラフ上のフェ Feynman 図展開から生じる。
• $g \leq 2$ について、原始的ホッジ積分およびハーツィュ数の明示的表を提供しており、$\langle\tau_1\rangle_1 = 1/24$, $\langle\lambda_1\rangle_1 = 1/24$, および $H_{1,(2,1)} = 40$ を含む。