[論文レビュー] Grothendieck's Dessins d'Enfants in a Web of Dualities. II

Jian Zhou|arXiv (Cornell University)|Jun 30, 2019

Advanced Combinatorial Mathematics参考文献 48被引用数 5

ひとこと要約

本稿は、グロテンディークのデッサン・デンファンの数え上げにおけるエイナールド＝オラントインのトポロジカル・ループクレーショングのスペクトル曲線が、A型ナラヤナ数によって支配されることを確立し、デッサン数え上げをコクセター群、非交差分割、自由確率論、およびクラスタ代数の組み合わせ論と結びつける。デッサンのτ関数の種数0の1点関数は、その構造が一般化ナラヤナ数および可積分系における出現幾何学と深い関係を示すスペクトル曲線を生成する。

ABSTRACT

We show that the spectral curve for Eynard-Orantin topological recursions satisfied by counting Grothendieck's dessins d'enfants are related to Narayana numbers. This suggests a connection of dessins to combinatorics of Coxeter groups, noncrossing partitions, free probability theory, and cluster algebras.

研究の動機と目的

• KP階層およびトポロジカル・ループクレーショングの枠組みの中で、グロテンディークのデッサン・デンファンの出現幾何学を調査すること。
• 種数0の相関関数を用いて、デッサン数え上げのためのスペクトル曲線およびベルグマン核を特定すること。
• デッサン数え上げとナラヤナ数、カタラン数、およびそれらの一般化といった組み合わせ的不変量との関係を明らかにすること。
• Gromov-Witten理論、行列モデル、およびトポロジカル・ループクレーショングの間の双対性の網の中で、デッサン数え上げを統合的フレームワークとして位置づけること。
• 一般化ナラヤナ数の母関数に基づいて、タイプB/CおよびDの一般化デッサン型のスペクトル曲線を予想すること。

提案手法

• 代数的幾何学を用いて、デッサンτ関数の種数0の1点関数を導出し、これによりスペクトル曲線が決定されることを示す。
• 種数0の2点関数を計算し、Eynard-Orantin再帰の主要な構成要素たるベルグマン核 $ B(z_1,z_2) = \frac{dz_1 dz_2}{(z_1 - z_2)^2} $ を特定する。
• Kac-Schwarz作用素とSatoのグラスマン多様体基底を用いて、量子スペクトル曲線を構成し、それを超幾何型微分方程式と関連付ける。
• 出現幾何学フレームワークを適用し、スペクトル曲線がKP階層のビッグ位相空間から自然に生じることを示す。
• デッサン理論の種数0の1点関数をウィッテン＝コンツェビッチ理論および行列モデル理論のそれと比較し、カタラン数からナラヤナ数へのシフトが明らかになる。
• 一般化ナラヤナ数の母関数およびその有理関数的パラメータ表示を用いて、タイプB/CおよびDのデッサンのスペクトル曲線を予想する。

実験結果

リサーチクエスチョン

• RQ1 Eynard-Orantinトポロジカル・ループクレーショングのデッサン数え上げにおけるスペクトル曲線は、ナラヤナ数のような組み合わせ的不変量とどのように関係するか？
• RQ2 種数0の1点関数がデッサン数え上げのスペクトル曲線を決定する役割は何か？
• RQ3 一般化ナラヤナ数（タイプA、B/C、D）の母関数は、それぞれのデッサンの種類とそのスペクトル曲線とどのように対応するか？
• RQ4 KP階層の出現幾何学は、どのようにしてデッサン数え上げを他のGromov-Witten型理論と統一するか？
• RQ5 タイプB/CおよびDの『クリーン』デッサンの明示的スペクトル曲線は何か？ そして、一般化ナラヤナ母関数からどのように導出されるか？

主な発見

• デッサンτ関数の種数0の1点関数は $ G_{0,1}(x) = \frac{1}{2s}\left(1 - \frac{s(u+v)}{x} - \sqrt{1 - \frac{2s(u+v)}{x} + \frac{s^2(u-v)^2}{x^2}}\right) $ と与えられ、これはA型ナラヤナ数を符号化している。
• デッサン数え上げのスペクトル曲線は $ y^2 = \frac{1}{4s^2}\left(1 - \frac{2(u+v)s}{x} + \frac{(u-v)^2 s^2}{x^2}\right) $ であり、種数0の1点関数から導出される。
• 再帰のためのベルグマン核は $ B(z_1,z_2) = \frac{dz_1 dz_2}{(z_1 - z_2)^2} $ で、$ z_j $ は $ x_j $, $ u $, $ v $, および $ s $ の有理関数として定義される。
• タイプB/Cのデッサンの母関数は $ \sum_{n=0}^\infty \frac{s^n}{x^{n+1}} \sum_{k=0}^n \binom{n}{k}^2 u^{n-k} v^k = \frac{1}{\sqrt{x^2 - 2s(u+v)x + s^2(u-v)^2}} $ であり、これにより予想されるスペクトル曲線が得られる。
• タイプDのデッサンでは、ナラヤナ型母関数の導関数に関連する補正項が含まれており、これにより異なるスペクトル曲線構造が示唆される。
• 本稿では、タイプDのデッサンのスペクトル曲線が、$ \frac{s(u+v)}{2x^2} + \frac{2 - \frac{s(u+v)}{x} + \frac{s^2(u-v)^2}{x^2}}{2x\sqrt{1 - \frac{2s(u+v)}{x} + \frac{s^2(u-v)^2}{x^2}}} $ を含む修正された母関数と関連していると予想しており、より豊かな代数的構造を示唆している。