[論文レビュー] Pruned Hurwitz numbers

Norman Do, Paul Norbury|arXiv (Cornell University)|Dec 29, 2013

Advanced Combinatorial Mathematics参考文献 21被引用数 3

ひとこと要約

本稿では、置換の推移的因子分解における各ラベルが少なくとも2つの対換に現れるという条件を課した、単純Hurwitz数の洗練された版である「剪定済みHurwitz数」を導入する。この剪定条件により、より単純な多項式式、効果的な再帰関係、および元の単純Hurwitz数の直接的決定が可能となり、組み合わせ的・幾何的構造が明確にされる。この結果、数え上げ幾何学およびGromov-Witten理論の根幹をなすより整然とした枠組みが得られる。

ABSTRACT

We define a new Hurwitz problem which is essentially a small core of the simple Hurwitz problem. The corresponding Hurwitz numbers have simpler formulae, satisfy effective recursion relations and determine the simple Hurwitz numbers. We also apply this idea of finding a smaller simpler enumerative problem to orbifold Hurwitz numbers and Belyi Hurwitz numbers.

研究の動機と目的

• 置換の推移的因子分解における各ラベルが少なくとも2つの対換に現れるという条件を課すことにより、より単純化されたHurwitz問題を定義すること。
• 剪定済みHurwitz数が、標準的な単純Hurwitz数よりも単純で、より効果的な再帰関係を満たすことを示すこと。
• 剪定済みHurwitz数が元の単純Hurwitz数を決定し、逆にそれらによって決定されることを示すこと。
• 剪定構成をオビフォールドおよびBelyi Hurwitz数へ拡張し、より深い代数的・幾何的構造を明らかにすること。
• 剪定済みHurwitz多項式の最高次の係数とその再帰関係を用いて、Witten-Kontsevich定理の新たな証明を与えること。

提案手法

• 各ラベルが少なくとも2つの因子に現れるような、型 $ \bm{\nu} $ の置換の推移的因子分解として、剪定済み単純Hurwitz数 $ K_{g,n}(\bm{\nu}) $ を定義する。ここで、因子の数は $ m = 2g-2+n+|\bm{\nu}| $ である。
• 組合せ論的および対称群の技法を用いて、$ K_{g,n}(\bm{\nu}) / m! $ が $ \nu_i $ の多項式であることを確立する。
• カットアンドジョイント操作に対して剪定条件が不変でないため、標準的なカットアンドジョイント再帰とは異なる、効果的な $ K_{g,n}(\bm{\nu}) $ の再帰関係を導出する。
• $ K_{g,n}(\bm{\nu}) / m! $ の最高次の係数が、$ \overline{\mathcal{M}}_{g,n} $ 上のホッジ積分に一致することを証明し、交差理論と関連付ける。
• オビフォールドHurwitz数 $ K^{[a]}_{g,n}(\bm{\nu}) $ に対しても剪定構成を拡張し、型 $ (a,a,\dots,a) $ の色付き置換 $ \sigma_0 $ を含め、各色が少なくとも2つの対換に現れるようにする。
• 剪定済みサイクルHurwitz問題を用いて、Gromov-Witten不変量 $ N_{g,n} $ とサイクルHurwitz数 $ P_{g,n} $ を関連付け、三角不等式の条件下で genus 0 において両者が等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 各ラベルが少なくとも2つの対換に現れるという条件を課した、標準的な単純Hurwitz数よりも単純で、かつそれらを決定することができる、洗練されたHurwitz問題を定義できるか？
• RQ2 剪定済みHurwitz数は、標準Hurwitz数のそれよりも取り扱いやすい、より効果的な再帰関係を満たすか？
• RQ3 各ラベルが少なくとも2つの対換に現れるという条件の、幾何学的および数え上げ的意味は何か？
• RQ4 剪定構成をオビフォールドおよびBelyi Hurwitz数へ一般化することで、同様に良好な性質を有する不変量が得られるか？
• RQ5 Gromov-Witten不変量 $ N_{g,n} $ とサイクルHurwitz数 $ P_{g,n} $ が一致するのはどのような条件下か？また、これによりHurwitz数のコンパクト化にどのような意味が生じるか？

主な発見

• 剪定済み単純Hurwitz数 $ K_{0,3}(\nu_1, \nu_2, \nu_3) = (|\nu|+1)! \cdot \nu_1 \nu_2 \nu_3 $ は、対応する単純Hurwitz数 $ H_{0,3}(\nu_1, \nu_2, \nu_3) = (|\nu|+1)! \cdot \prod_{i=1}^3 \frac{\nu_i^{\nu_i+1}}{\nu_i!} $ よりも著しく単純である。
• 比 $ K_{g,n}(\bm{\nu}) / m! $ は $ \nu_i $ の多項式であり、その最高次の係数は $ \overline{\mathcal{M}}_{g,n} $ 上の交差数に等しく、これによりWitten-Kontsevich定理の新たな証明が得られる。
• 剪定済みHurwitz数 $ K_{g,n}(\bm{\nu}) $ と元の単純Hurwitz数 $ H_{g,n}(\bm{\nu}) $ は、明示的な式（式3.4）によって互いに決定可能であり、完全な代数的同値性が示される。
• Genus 0 において、サイクルHurwitz数 $ P_{0,3}(\nu_1, \nu_2, \nu_3) = 1 $ であり、$ \nu_i $ が三角不等式を満たすとき、これはGromov-Witten不変量 $ N_{0,3} $ と一致する。
• 剪定済みオビフォールドHurwitz数 $ K^{[a]}_{g,n}(\bm{\nu}) $ は、剪定済み単純Hurwitz数を一般化し、$ \sigma_0 $ からの各色が少なくとも2つの対換に現れるように定義される。
• Genus 0 のGromov-Witten不変量 $ N_{0,n} $ は、計算されたすべての例で整数である。これは、安定な定義域を伴う一般化されたサイクルHurwitz問題と関連する、より深い数え上げ的解釈を示唆している。