[論文レビュー] Quantum curves for the enumeration of ribbon graphs and hypermaps

Norman Do, David Manescu|arXiv (Cornell University)|Dec 24, 2013

Advanced Combinatorial Mathematics参考文献 26被引用数 11

ひとこと要約

本稿は、リボン図の一般化である$a$-ハイパーマップの数え上げに対して、量子曲線を確立する。具体的には、その分配関数がシュレーディンガー型方程式$\widehat{y}^a - \widehat{x}\widehat{y} + 1 = 0$を満たすことを証明する。ここで$\widehat{x} = x$、$\widehat{y} = -\hbar \partial/\partial x$である。この結果は、位相的再帰とハイパーマップ数え上げの間の予想を裏付けるものであり、$a$をパrameterとする無限族にまで拡張された既知の量子曲線例を提供する。古典的極限としてのスペクトル曲線$y^a - x y + 1 = 0$が出現し、分配関数が生成関数を介して重み付き$a$-ハイパーマップの数を符号化することが示された。

ABSTRACT

The topological recursion of Eynard and Orantin governs a variety of problems in enumerative geometry and mathematical physics. The recursion uses the data of a spectral curve to define an infinite family of multidifferentials. It has been conjectured that, under certain conditions, the spectral curve possesses a non-commutative quantisation whose associated differential operator annihilates the partition function for the spectral curve. In this paper, we determine the quantum curves and partition functions for an infinite sequence of enumerative problems involving generalisations of ribbon graphs known as hypermaps. These results give rise to an explicit conjecture relating hypermap enumeration to the topological recursion and we provide evidence to support this conjecture.

研究の動機と目的

• $a$-ハイパーマップの数え上げのための量子曲線を確立すること。これは、リボン図をより高い分岐構造へ一般化するものである。
• 分配関数がスペクトル曲線から導かれる非可換微分作用素方程式を満たすことを検証すること。
• 有理スペクトル曲線$x(z) = z^{a-1} + 1/z$、$y(z) = z$に対して位相的再帰を適用すると、$a$-ハイパーマップの数を符号化する相関微分形式が得られるという予想を裏付ける証拠を提供すること。
• $a \in \mathbb{Z}_{>0}$によって添え字づけられる無限族を含む、数え上げ幾何学における既知の量子曲線のリストを拡張すること。

提案手法

• 著者らは、指定された分岐プロファイルを持つ重み付き$a$-ハイパーマップの数え上げの生成関数として、自由エネルギー$F_{g,n}^{[a]}$を定義する。
• トポロジー的再帰の重み$\hbar^{2g-2+n}/n!$を用いて、すべての$g,n$についての指数的生成関数として分配関数$Z^{[a]}(x,\hbar)$を構成する。
• 対称群内の因数分解としての$a$-ハイパーマップの組み合わせ的解釈を用いて、係数$M_{0,1}^{[a]}(b)$（1つのマークされた角を持つハイパーマップの数と解釈される）の再帰的関係を導出する。
• 生成関数$Y = \sum_{b=0}^\infty N_b x^{-b-1}$（$N_b = b M_{0,1}^{[a]}(b)$）が$Y^a - X Y + 1 = 0$を満たすことを証明し、古典的スペクトル曲線を確認する。
• 量子曲線$\widehat{y}^a - \widehat{x}\widehat{y} + 1 = 0$が分配関数$Z^{[a]}(x,\hbar)$を消滅させることを証明し、シュレーディンガー型方程式を確立する。
• 位相的再帰からのストリング方程式およびディラトン方程式を用いて、$M_{g,n}^{[a]}$係数間の関係を導出し、予想を支持する。

実験結果

リサーチクエスチョン

• RQ1 有理スペクトル曲線$x(z) = z^{a-1} + 1/z$、$y(z) = z$に対して位相的再帰を適用すると、$a$-ハイパーマップの数え上げの生成関数が再現されるか？
• RQ2 $a$-ハイパーマップの分配関数が形式$\widehat{y}^a - \widehat{x}\widehat{y} + 1 = 0$の量子曲線方程式を満たすことが示せるか？
• RQ3 係数$M_{0,1}^{[a]}(b)$の組み合わせ的解釈は、生成関数$Y$に対して代数的関係$Y^a - X Y + 1 = 0$を導くか？
• RQ4 位相的再帰のストリング方程式およびディラトン方程式は、$a$-ハイパーマップの数$M_{g,n}^{[a]}(b_1,\dots,b_n)$の間で非自明な関係を生じるか？
• RQ5 このスペクトル曲線のシンプレクティック不変量$F_g = \omega_{g,0}$は計算可能であり、既知の幾何的不変量$\chi(\mathcal{M}_g)$と関連づけられるか？

主な発見

• 分配関数$Z^{[a]}(x,\hbar)$は、$\widehat{x} = x$、$\widehat{y} = -\hbar \partial/\partial x$を用いて、量子曲線方程式$\left(\widehat{y}^a - \widehat{x}\widehat{y} + 1\right) Z^{[a]}(x,\hbar) = 0$を満たす。これは主定理の証明である。
• 古典的スペクトル曲線は$y^a - x y + 1 = 0$であり、これは量子曲線の半古典的極限として現れる。
• $M_{0,1}^{[a]}(b)$は、$b \equiv 0 \pmod{a}$のときのみ非ゼロであり、その値は$b M_{0,1}^{[a]}(b) = \frac{a}{ab + a - b} \binom{b}{b/a}$で与えられる。これはカタラン数の一般化である。
• 生成関数$Y = \sum_{b=0}^\infty N_b x^{-b-1}$（$N_b = b M_{0,1}^{[a]}(b)$）は$Y^a - X Y + 1 = 0$を満たす。これにより、スペクトル曲線との整合性が確認された。
• 位相的再帰のストリング方程式およびディラトン方程式が、相関微分形式$\omega_{g,n}$に対して成立することが示され、$M_{g,n}^{[a]}$係数間に非自明な線形関係が存在することが示された。
• このスペクトル曲線のシンプレクティック不変量$F_g = \omega_{g,0}$は、幾何的意味を持つと予想され、$a=2$の場合と同様に$\chi(\mathcal{M}_g)$と関連づけられる可能性がある。