[論文レビュー] Enumeration of ramified coverings of the sphere and 2-dimensional gravity

Dimitri Zvonkine|arXiv (Cornell University)|Jun 13, 2005

Advanced Combinatorial Mathematics参考文献 18被引用数 8

ひとこと要約

この論文は、数え上げ幾何学および2次元重力理論の根幹をなすリーマン球面の分岐被覆の母関数が、n^{n-1}およびn^nを含む2つのべき級数によって生成される特定の代数Aに属することを確立する。ELS伏公式と帰納法を用いて、これらの母関数がAに属することを証明し、漸近的解析を可能にした。その結果、Painlevé I方程式およびKdV階層のストリング解が回復され、被覆数え上げと2次元量子重力モデルの間の関係が明確にされた。

ABSTRACT

Let A be the algebra generated by the power series \sum n^{n-1} q^n/n! and \sum n^n q^n /n! . We prove that many natural generating functions lie in this algebra: those appearing in graph enumeration problems, in the intersection theory of moduli spaces M_{g,n} and in the enumeration of ramified coverings of the sphere. We argue that ramified coverings of the sphere with a large number of sheets provide a model of 2-dimensional gravity. Our results allow us to compute the asymptotic of the number of coverings as the number of sheets goes to infinity. The leading terms of such asymptotics are the values of certain observables in 2-dimensional gravity. We prove that they coincide with the values provided by other models. In particular, we recover a solution of the Painleve I equation and the string solution of the KdV hierarchy.

研究の動機と目的

• マーク付きの球面の分岐被覆の母関数が、∑n^{n-1}q^n/n!および∑n^n q^n/n!によって生成される特定の代数Aに属することを証明すること。
• Hurwitz数の漸近的挙動と2次元量子重力における観測可能量との間の関係を確立すること。
• これらの被覆の漸近的挙動が、Painlevé I方程式およびKdV階層の既知の解を再現することを示すこと。
• 球面被覆の代数的構造（代数A）とトーラス被覆の構造（準モジュラー形式）を比較し、成長率および幾何的解釈の相違を強調すること。

提案手法

• 代数Aを、∑n^{n-1}q^n/n!および∑n^n q^n/n!によって生成されるべき級数の部分代数として定義する。
• ELS伏公式を用いて、k=1の場合のHurwitz数をmoduli space M_{g,n} 上の積分として表現し、トートロジカルクラスと関連付ける。
• ELS伏公式および代数Aの性質を用いて、kに関する帰納法により、生成関数H_{g;μ₁,…,μ_k}(q)がAに属することを証明する。
• 代数Aの構造およびその基底要素の既知の漸近的挙動を用いて、H_{g;μ₁,…,μ_k}(q)の係数の漸近的展開を分析する。
• 主要な漸近的項が2次元重力における観測可能量に対応することを示し、Painlevé I方程式およびKdV階層の解と一致することを確認する。
• 球面被覆の代数的構造（代数A）とトーラス被覆の構造（準モジュラー形式）を比較し、成長率および幾何的解釈の相違を対比する。

実験結果

リサーチクエスチョン

• RQ1 指定された分岐型を持つマーク付き球面分岐被覆の母関数は、∑n^{n-1}q^n/n!および∑n^n q^n/n!によって生成される代数Aに属するか？
• RQ2 Hurwitz数h_{g,n;μ₁,…,μ_k}の漸近的挙動は、その属する代数Aのおかげで、最初の数個の係数から計算可能か？
• RQ3 これらのHurwitz数の主要な漸近的項は、Painlevé I方程式の解のような2次元重力における物理的観測可能量に対応するか？
• RQ4 球面被覆の数え上げ（代数A）とトーラス被覆の数え上げ（準モジュラー形式）の間には、構造的および漸近的類似性があるか？
• RQ5 大 genusまたは大次数の極限において、KdV階層のストリング解は、Hurwitz数の漸近的挙動から回復可能か？

主な発見

• すべてのg ≥ 0およびk ≥ 0（g = 1のときk ≥ 1）に対して、生成関数H_{g;μ₁,…,μ_k}(q) = ∑ h_{g,n;μ₁,…,μ_k}/c(n)! · q^n は代数Aに属する。
• n → ∞におけるH_{g;μ₁,…,μ_k}(q)の係数の漸近的展開は代数Aによって支配され、最初の数個の係数から主要項を計算可能である。
• これらの係数の主要な漸近的項は、2次元重力における観測可能量に対応しており、KdV階層のストリング解およびPainlevé I方程式の解が含まれる。
• 漸近的成長の指数n^γ−1 · e^nにおけるγは半整数であり、−γは2次元重力における重要な観測可能量であるストリング感受性として特定される。
• トーラスの分岐被覆の生成関数は、準モジュラー形式の代数に属し、球面の場合の代数Aとは対照的であり、最初のn個の係数の和は多項式的成長を示す。
• 種数gの曲線上のアーベル微分の空間の体積は、トーラス被覆の漸近的挙動に関係するが、球面の場合には、KdVとの関連は示されているものの、統一的な生成関数はまだ知られていない。