[論文レビュー] Quasi-Polynomiality of Monotone Orbifold Hurwitz Numbers and Grothendieck's Dessins d'Enfants

Reinier Kramer, Danilo Lewański+1 more|arXiv (Cornell University)|Oct 26, 2016

Advanced Combinatorial Mathematics参考文献 22被引用数 12

ひとこと要約

本稿は、半無限楔形式およびA作用素技法を用いて、単調および厳密単調なオーロラード・ハーウィッツ数の準多項式性を証明し、Do-KarevおよびDo-Manescuの予想を裏付ける。これらの数が分割パラメータに関する多項式に組み合わせ的係数を乗じた形で表されることを確立し、この性質がChekhov-Eynard-Orantinトポロジカル再帰の背後にあるスペクトル曲線表現と同値であることを示し、(g,n) = (0,1)および(0,2)の場合について明示的な検証を実施する。

ABSTRACT

We prove quasi-polynomiality for monotone and strictly monotone orbifold Hurwitz numbers. The second enumerative problem is also known as enumeration of a special kind of Grothendieck's dessins d'enfants or $r$-hypermaps. These statements answer positively two conjectures proposed by Do-Karev and Do-Manescu. We also apply the same method to the usual orbifold Hurwitz numbers and obtain a new proof of the quasi-polynomiality in this case. In the second part of the paper we show that the property of quasi-polynomiality is equivalent in all these three cases to the property that the $n$-point generating function has a natural representation on the $n$-th cartesian powers of a certain algebraic curve. These representations are necessary conditions for the Chekhov-Eynard-Orantin topological recursion.

研究の動機と目的

• 単調および厳密単調なオーロラード・ハーウィッツ数の準多項式性が、以前未解決であった予想であることを証明すること。
• 準多項式性とChekhov-Eynard-Orantinトポロジカル再帰との間の関係を、スペクトル曲線表現を通じて確立すること。
• 半無限楔形式におけるA作用素を用いた新しい組合せ的証明を、通常のオーロラード・ハーウィッツ数の準多項式性に適用すること。
• 単調ケースの不安定な場合、(g,n) = (0,1)および(0,2)についての検証を実施し、トポロジカル再帰に必要なスペクトル曲線データを完成させること。

提案手法

• ハーウィッツ数を真空期待値として定義する半無限楔形式を用い、すべての計算の基盤を築く。
• Okounkov-Pandharipandeのものに類似したA作用素を導入・操作し、単調および厳密単調ケースに適応する。
• 分割パラメータに関する多項式的依存性を抽出できる形に、作用素を変換するための共役技法を適用する。
• z座標におけるオイラー作用素を用いて相関関数の微分方程式を導出し、その後x変数に展開する。
• 生成関数および包含除法則を用いて、(g,n) = (0,1)および(0,2)について明示的な組合せ的計算を実施する。
• 生成関数が(0,1)および(0,2)の場合にそれぞれydxおよびB(z1,z2)−B(x1,x2)の展開と一致することを検証し、スペクトル曲線の整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 DoとKarevが予想したように、単調なオーロラード・ハーウィッツ数の系列は準多項式的であるか？
• RQ2 単調なオーロラード・ハーウィッツ数の背後にはスペクトル曲線およびトポロジカル再帰構造が存在するか？ そして、その構造は準多項式性とどのように関係するか？
• RQ3 Grothendieckのdessins d’enfantsと同値であるという点を踏まえ、厳密単調なオーロラード・ハーウィッツ数の準多項式性を厳密に証明できるか？
• RQ4 (0,1)および(0,2)相関関数の生成関数と、トポロジカル再帰に必要なスペクトル曲線データとの間の明確な関係は何か？
• RQ5 これらのハーウィッツ数の準多項式性は、スペクトル曲線上に非自明なn次微分形式の存在を意味するか？ 逆に、そのような微分形式の存在は準多項式性を意味するか？

主な発見

• 本稿は、単調なオーロラード・ハーウィッツ数が準多項式的であることを証明した：h◦,r,≤g;⃗µ = P⟨⃗µ⟩≤(μ1,…,μn) · ∏i (μi + [μi] choose μi) であり、DoとKarevの予想を裏付ける。
• 厳密単調なオーロラード・ハーウィッツ数に対しても、同様の準多項式的構造が成り立つ：h◦,r,<g;⃗µ = P⟨⃗µ⟩<(μ1,…,μn) · ∏i (μi−1 choose [μi]) であり、DoとManescuの予想を解決する。
• 著者らは、A作用素と共役技法を用いた、通常のオーロラード・ハーウィッツ数の準多項式性に関する新しい組合せ的証明を提供する。
• 単調ハーウィッツ数の(0,1)生成関数が、スペクトル曲線x = z(1−zr)上でのydxの展開と等しいことが示され、スペクトルデータが完全に完成する。
• 単調ハーウィッツ数の(0,2)生成関数が、B(z1,z2)−B(x1,x2)の展開と一致することが証明され、不安定ケースにおけるスペクトル曲線構造が確認される。
• 本稿は、準多項式性がスペクトル曲線x = z(1−zr)上に非自明なn次微分形式が存在することと同値であることを確立し、Chekhov-Eynard-Orantinトポロジカル再帰と直接的に結びつける。