[論文レビュー] Models of discretized moduli spaces, cohomological field theories, and Gaussian means

Jørgen Ellegaard Andersen, Leonid Chekhov+2 more|arXiv (Cornell University)|Jan 23, 2015

Topological and Geometric Data Analysis参考文献 54被引用数 14

ひとこと要約

本稿は、ガウス型行列モデルの種数フィルタードモーメントとコンツェビッチ–ペナー行列モデル（KPMM）の間の組合せ的関係を確立する。KPMMは離散的モジュライ空間 $\mathcal{M}_{g,s}^{\mathrm{disc}}$ の体積を生成する。Givental型分解とトポロジカル再帰を用いて、離散的体積の準多項式性を証明し、$\mathcal{M}_{g,1}$ の種数 $g$ ポテンシャルに対する最初の補正項を2通りの独立した方法で計算することで、精緻化されたハラール–ザイジャー再帰とGivental変換の整合性を確認する。

ABSTRACT

We prove combinatorially the explicit relation between genus filtrated $s$-loop means of the Gaussian matrix model and terms of the genus expansion of the Kontsevich--Penner matrix model (KPMM). The latter is the generating function for volumes of discretized (open) moduli spaces $M_{g,s}^{\\mathrm{disc}}$ given by $N_{g,s}(P_1,\\dots,P_s)$ for $(P_1,\\dots,P_s)\\in{\\mathbb Z}_+^s$. This generating function therefore enjoys the topological recursion, and we prove that it is simultaneously the generating function for ancestor invariants of a cohomological field theory thus enjoying the Givental decomposition. We use another Givental-type decomposition obtained for this model by the second authors in 1995 in terms of special times related to the discretisation of moduli spaces thus representing its asymptotic expansion terms (and therefore those of the Gaussian means) as finite sums over graphs weighted by lower-order monomials in times thus giving another proof of (quasi)polynomiality of the discrete volumes. As an application, we find the coefficients in the first subleading order for ${\\mathcal M}_{g,1}$ in two ways: using the refined Harer--Zagier recursion and by exploiting the above Givental-type transformation. We put forward the conjecture that the above graph expansions can be used for probing the reduction structure of the Delgne--Mumford compactification $\\overline{\\mathcal M}_{g,s}$ of moduli spaces of punctured Riemann surfaces.

研究の動機と目的

• ガウス型行列モデルの種数フィルタードモーメントとコンツェビッチ–ペナー行列モデル（KPMM）の間の直接的な組合せ的関係を確立すること。
• KPMMの自由エネルギーが、トポロジカル再帰を用いて、モジュライ空間 $\mathcal{M}_{g,s}^{\mathrm{disc}}$ の離散的体積 $N_{g,s}(P_1,\dots,P_s)$ を生成することを示すこと。
• Givental型分解から得られるグラフ展開を用いて、$N_{g,s}(P_1,\dots,P_s)$ の準多項式性を証明すること。
• 精緻化されたハラール–ザイジャー再帰とGivental変換の両方を用いて、$\mathcal{M}_{g,1}$ の種数 $g$ ポテンシャルに対する最初の補正項を計算し、両者の整合性を確認すること。

提案手法

• KPMMを離散的体積 $N_{g,s}(P_1,\dots,P_s)$ の生成関数として用い、$P_i$ に関して準多項式であることを示す。
• KPMMのスペクトル曲線にトポロジカル再帰を適用し、主相関関数 $\chi(\mathcal{M}_{g,s})$ を持つ量子コhomological場の理論の祖先不変量を生成することを示す。
• KPMMを、ボゴリューボフ正準変換で結ばれる2つのコンツェビッチモデルに分解するGivental型分解を用い、自由エネルギーの項をグラフ上の有限和として表現する。
• 種数展開の項を、頂点（コンツェビッチモデルの項）、内部辺（正準変換の二次項）、外部半辺／通常の辺（$T^{\pm}_{2n}$ に比例）を持つ重み付きグラフの和として表現する。
• Virasoro制約とストリング／拡散方程式を用いて、1次補正に必要な交差数 $\langle\tau_{3g-3}\tau_2\rangle_g$ と $\langle\tau_{3g-5}\rangle_{g-1}$ を計算する。
• 精緻化されたハラール–ザイジャー再帰を適用し、Givental変換の結果と照合することで、$T^{+}_{6g-6}$ の係数を検証する。

実験結果

リサーチクエスチョン

• RQ1 ガウス型行列モデルの種数フィルタードモーメントは、コンツェビッチ–ペナー行列モデルの種数展開とどのように関係しているか？
• RQ2 Givental型分解から得られるグラフ展開を用いて、離散的体積 $N_{g,s}(P_1,\dots,P_s)$ が準多項式であることを証明できるか？
• RQ3 $\mathcal{M}_{g,1}$ の種数 $g$ ポテンシャルに対する最初の補正項は何か？ そして2通りの独立した方法で得られる結果は一致するか？
• RQ4 KPMM自由エネルギーのグラフベース展開は、デリーニュ–マウムフォードコンパクト化 $\overline{\mathcal{M}}_{g,s}$ の還元構造を反映しているか？
• RQ5 KPMMのトポロジカル再帰は、コhomological場の理論および量子曲線構造とどのように関係しているか？

主な発見

• KPMMの自由エネルギーは、ガウス型行列モデルのリゾルベントの原始関数であり、スペクトル曲線および量子曲線と結びつく。
• KPMMは、トポロジカル再帰を用いて、$P_i$ に関して準多項式である離散的体積 $N_{g,s}(P_1,\dots,P_s)$ を生成する。$P_i$ の偶数次の項のみに依存する。
• $\mathcal{M}_{g,1}$ の種数 $g$ ポテンシャルに対する最初の補正項は、$\frac{1}{5}[12g^2 - 7g + 5]$ 倍の $T^{+}_{6g-6}$ である。この結果は2通りの異なる方法から得られた。
• $T^{+}_{6g-6}$ の係数は、精緻化されたハラール–ザイジャー再帰とGivental型変換の両方で確認され、両者の整合性が示された。
• KPMM自由エネルギーの項のグラフ展開は、ラベル付き頂点および辺を持つ有限グラフの和として表現され、$N_{g,s}(P_1,\dots,P_s)$ の準多項式性の新たな証明を提供する。
• 交差数 $\langle\tau_{3g-3}\tau_2\rangle_g$ は $\frac{1}{5}[12g(g-1)+5]\langle\tau_{3g-2}\rangle_g$ として計算され、補正項の計算に不可欠である。