[論文レビュー] Algebraic methods in random matrices and enumerative geometry

Bertrand Eynard, Nicolas Orantin|ArXiv.org|Nov 21, 2008

Advanced Algebra and Geometry参考文献 102被引用数 77

ひとこと要約

本稿では、行列模型のループ方程式を解くための普遍的な代数的枠組みとして、スペクトル曲線のシンプレクティック不変量を導入する。この方法は、数え上げ幾何、トポロジカル弦理論、可積分系へと拡張可能であり、曲線から再帰的微分形式および自由エネルギー $F_g$ を構成する。これらの量はシンプレクティック変換に対して不変であり、量子不変量を記述する。主な結果として、モジュラー性、可積分性、およびグロモフ＝ウィッテン不変量やウェイリ＝ペトリュスン体積への応用が得られる。

ABSTRACT

We review the method of symplectic invariants recently introduced to solve matrix models loop equations, and further extended beyond the context of matrix models. For any given spectral curve, one defined a sequence of differential forms, and a sequence of complex numbers Fg . We recall the definition of the invariants Fg, and we explain their main properties, in particular symplectic invariance, integrability, modularity,... Then, we give several example of applications, in particular matrix models, enumeration of discrete surfaces (maps), algebraic geometry and topological strings, non-intersecting brownian motions,...

研究の動機と目的

• 行列模型のループ方程式を摂動展開を超えて解くための普遍的な代数的手法の開発。
• 行列模型でない問題、特に数え上げ幾何および数理物理学における問題へ、行列模型のループ方程式の解法を一般化すること。
• 元の行列模型の文脈とは独立して、スペクトル曲線に関連するシンプレクティック不変量 $F_g$ を定義し、それらを研究すること。
• ミラー対称性およびコーディア＝スペンサーサイエンス理論を通じて、シンプレクティック不変量、可積分系、トポロジカル弦理論との関係を確立すること。
• 自由エネルギー $F_g$ および相関形式 $\omega_n^{(g)}$ がスペクトル曲線に内在的であり、深いつながりを持つ幾何的・代数的性質を有することを示すこと。

提案手法

• スペクトル曲線 $\mathcal{E} = \{y(x)\}$ から、ベルグマン核および再帰核の再帰的統合を用いてシンプレクティック不変量 $F_g$ を定義する。
• 分岐点における留数とシッファー核を含む再帰関係を用いて、対称な正則微分形式 $\omega_n^{(g)}$ を構成する。
• ループ作用素とその逆作用素を用いて、相関関数と自由エネルギーの間の微分方程式および関係式を導出する。
• 行列模型への適用では、ループ方程式からスペクトル曲線を特定し、トポロジカル展開により $F_g$ を計算する。
• スケーリング挙動およびシンプレクティック写像による変換を分析することで、モジュラー性および背景独立性を確立する。
• スペクトル曲線をミラー曲線と特定し、$F_g$ をBモデルにおける振幅と特定することで、形式的枠組みをトポロジカル弦理論と接続する。

実験結果

リサーチクエスチョン

• RQ1 行列模型のループ方程式は、スペクトル曲線の代数的幾何的データを用いて普遍的に解けるか？
• RQ2 スペクトル曲線から定義された自由エネルギー $F_g$ および相関形式 $\omega_n^{(g)}$ の内在的な幾何的・代数的性質は何か？
• RQ3 シンプレクティック不変量は、グロモフ＝ウィッテン不変量やウェイリ＝ペトリュスン体積といった数え上げ不変量とどのように関係するか？
• RQ4 この形式的枠組みは、シンプレクティック変換および曲線のモジュラー変換に対して、どの程度不変か？
• RQ5 シンプレクティック不変量形式は、トポロジカル弦理論や可積分系といった行列模型でない系へと拡張可能か？

主な発見

• 自由エネルギー $F_g$ はシンプレクティック不変量である： $dx \wedge dy = d\tilde{x} \wedge d\tilde{y}$ の下で不変である。
• スケーリング $y \to \lambda y$ の下で $F_g$ は $\lambda^{2-2g}$ に比例し、$F_1$ は対数的であるため、$F_g$ は次数 $2-2g$ の斉次性を有することが確認される。
• 相関形式 $\omega_n^{(g)}$ は分岐点における留数に基づく再帰的構造に従い、$\omega_1^{(g)}$ は $F_g = \frac{1}{2-2g} \sum_i \oint_{a_i} \Phi(z) \omega_1^{(g)}(z)$ を通じて $F_g$ と関連づけられる。
• 本形式的枠組みは、コンツェビッチの交点数およびウェイリ＝ペトリュスン体積を、コンツェビッチのスペクトル曲線に適用することで再現する。
• ラグランジュ部分多様体 $\mathcal{L}$ 上のコーディア＝スペンサーサイエンス理論において、分配関数はシンプレクティック不変量 $F_g$ から構成されるタウ関数 $\tau_N$ と特定される。
• 本手法は、古典的スペクトル曲線から可積分系の量子再構成を可能とし、$F_g$ がSatoの公式およびヒロタ双線形方程式を通じて量子補正を記述する。