[論文レビュー] Generating functions for intersection numbers on moduli spaces of curves

Andreĭ Okounkov|ArXiv.org|Jan 24, 2001

Random Matrices and Applications参考文献 17被引用数 15

ひとこと要約

この論文は、GUE行列モデルの端効果に接続することで、曲線のモジュライ空間における交差理論における $n$-点関数の閉形式積分表現を確立する。高次の Fay 恒等式を用いて Witten の KdV 方程式を導出し、$n$-点関数が Gelfand-Kapranov-Zelevinsky の意味で多変数誤差関数および超幾何関数であることを示す。

ABSTRACT

Using the connection between intersection theory on the Deligne-Mumford spaces and the edge scaling of the GUE matrix model (see math.CO/9903176, math.AG/0101147), we express the n-point functions for the intersection numbers as n-dimensional error-function-type integrals and also give a derivation of Witten's KdV equations using the higher Fay identities of Adler, Shiota, and van Moerbeke.

研究の動機と目的

• ランダム行列理論を用いて $π_{g,n}$ 上の交差理論における $n$-点関数の閉形式表現を導出すること。
• GUE エンsembles の端効果を通じて、行列モデルの平均の漸近挙動と交差数を結びつけること。
• Adler, Shiota, van Moerbeke の Fay 恒等式を用いて、Witten の KdV 方程式を代替的に導出すること。
• $n$-点関数を多変数誤差関数型積分として表現し、超幾何関数と関連付けること。

提案手法

• GUE 行列モデルの端効果極限を用いて、$N \to \infty$ の下で $\langle \prod \operatorname{tr} H^{2[x_k N^{2/3}]} \rangle_N$ の漸近挙動と $n$-点関数を関連付ける。
• Wick の公式を適用して、行列モデルの平均を大円周の曲面上の組み合わせ的マップ数え上げに翻訳する。
• $\mathcal{F}(x_1,\dots,x_n)$ としての $n$-点関数を、誤差関数と指数関数項を含む $n$ 次元積分として導出する。
• 指数部に二次および一次項を含む $s_i \geq 0$ における積分としての主要関数 $\mathcal{E}(x_1,\dots,x_n)$ を導入する。
• Adler, Shiota, van Moerbeke の高次 Fay 恒等式を用いて、行列モデル構造から KdV 階層を導出する。
• $\tau$-関数展開に微分作用素 $\nabla_i$ と $\boldsymbol{\delta}_i$ を適用し、漸近的寄与を抽出し、連結部分を分離する。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間 $\overline{\mathcal{M}}_{g,n}$ 上の交差数に対する $n$-点関数は、ランダム行列理論を用いて閉形式で表現可能か？
• RQ2 GUE 行列モデルの端効果極限は、大円周の曲面上のマップ数え上げの漸近挙動をどのように符号化するか？
• RQ3 Fay 恒等式を用いた行列モデル枠組みから、生成関数 $\mathbf{F}$ に対する Witten の KdV 方程式を導出可能か？
• RQ4 $n$-点関数の正確な構造は多変数特殊関数としてどのように記述され、超幾何関数と関係するか？
• RQ5 $\tau$-関数およびその再スケーリングは、行列モデルの漸近挙動と交差数を結ぶ上で果たす役割は何か？

主な発見

• $n$-点関数 $\mathcal{F}(x_1,\dots,x_n)$ は、$\mathcal{E}(x_1,\dots,x_n)$ を通じて明示的に表現される誤差関数型の閉形式 $n$ 次元積分として与えられる。
• $n$-点関数は、Gelfand, Kapranov, Zelevinsky の意味で多変数超幾何関数であり、行列モデルとの接続から生じる。
• 高次 Fay 恒等式を用いた行列モデルからの KdV 方程式の導出により、Kontsevich の結果に対する代替的証明が得られる。
• 行列モデルの行列式 $\det[\mathsf{K}(-x_i, -x_j)]$ の漸近展開は、部分集合が奇数部を持つ分割に対応する係数 $\tau_\mu$ を持つ $\tau$-関数展開をもたらす。
• 再スケーリング $\widetilde{\tau}_\mu = (-i)^{|\mu|} 2^{|μ|/3} \tau_\mu$ により、行列モデルの結果が KdV 階層の標準的 $\tau$-関数と結びつく。
• 極 $x_i = x_j$ または $x_i$ の負の次数をもつ項が漸近展開において無視可能であることが示され、連結部分が支配的であることが確認された。