[論文レビュー] Counting ramified coverings and intersection theory on Hurwitz spaces II (Local structure of Hurwitz spaces and combinatorial results)

Dimitri Zvonkine|ArXiv.org|Apr 18, 2003

Commutative Algebra and Its Applications参考文献 5被引用数 5

ひとこと要約

本稿は、Hurwitz空間上の交線論を用いて、リーマン球面への分岐被覆を数えるHurwitz数の再帰的関係を確立し、これらの数の母関数が、ラベル付き木およびラベル付き森の指数型母関数によって生成される形式的べき級数の特別な部分代数に属することを明らかにする。主な貢献は、Hurwitz空間の境界付近におけるストラタの幾何的分解であり、これにより、組合せ的因数分解規則と、特定のケース（$ h_{\alpha,\alpha} $、$ h_{\alpha,\beta} $、$ h_{\beta,\beta} $）に対する明示的公式を通じて、Hurwitz数の再帰的計算が可能になる。

ABSTRACT

The Hurwitz space is a compactification of the space of rational functions of a given degree. We study the intersection of various strata of this space with its boundary. A study of the cohomology ring of the Hurwitz space then allows us to obtain recurrence relations for certain numbers of ramified coverings of a sphere by a sphere with prescribed ramifications. Generating functions for these numbers belong to a very particular subalgebra of the algebra of power series.

研究の動機と目的

• 球面への指定された分岐型をもつ分岐被覆を数えるHurwitz数の再帰的関係を導出すること。
• ストラタと境界の交線を分析することにより、Hurwitz空間の境界付近における局所的幾何構造を理解すること。
• Hurwitz数の母関数が形式的べき級数の特定の部分代数に属することを確立すること。
• 導出された再帰的関係を用いて、特定のHurwitz数（$ h_{\alpha,\alpha} $、$ h_{\alpha,\beta} $、$ h_{\beta,\beta} $）に対する明示的閉形式公式を提供すること。
• 推移的因子分解と巡回型分解に基づいた、Hurwitz数を計算する組合せ的アルゴリズムを開発すること。

提案手法

• 射影的Hurwitz空間 $ \mathbb{P} \mathcal{H}_n $ 上での交線論を用い、コホロロジー類 $ \Psi_n $ とストラタの閉包とのペアリングに注目する。
• Lyashko-Looijenga写像を適用して、Hurwitz数と交線数を関連づける：$ \frac{h_{\kappa_1,\dots,\kappa_c}}{|\mathrm{Aut}|} = \frac{1}{n!} \left\langle \Psi_n^d, \mathbb{P}\Sigma_{\kappa_1,\dots,\kappa_c} \right\rangle $。
• 境界交線の局所的構造を分析し、$ \Sigma \cap \partial \mathcal{H}_n $ の近傍がより小さいHurwitz空間に同型であることを示す（定理5）。
• 推移的因子分解を $ k $ 個の推移的成分に分解し、巡回型と特別なシングルトンを成分に分配することにより、再帰的関係を導出する。
• 生成関数 $ f_{\kappa_1,\dots,\kappa_c}(t) = \sum \frac{h_{\kappa_1,\dots,\kappa_c}(n)}{d(n)!} t^n $ を構成し、これが $ \sum \frac{n^{n-1}}{n!} t^n $ および $ \sum \frac{n^n}{n!} t^n $ によって生成される代数に属することを証明する。
• 多項係数および置換の因子分解数を用いて、制約条件のもとで $ \sigma_{c-1} $ と $ \sigma_c $ をその積から再構成する。

実験結果

リサーチクエスチョン

• RQ1 球面への分岐被覆のHurwitz数は、Hurwitz空間の幾何を用いてどのように再帰的に計算できるか？
• RQ2 Hurwitz空間の境界付近における局所的構造は何か？ そして、より小さいHurwitz空間とどのように関係するか？
• RQ3 固定された分岐型をもつHurwitz数の母関数を含む形式的べき級数のどの部分代数か？
• RQ4 特定のHurwitz数（$ h_{\alpha,\alpha} $、$ h_{\alpha,\beta} $、$ h_{\beta,\beta} $）に対して導出可能な明示的公式は何か？
• RQ5 置換の組合せ的因子分解は、再帰的関係における成分間の推移的因子分解の分解とどのように関係するか？

主な発見

• Hurwitz数の母関数 $ f_{\kappa_1,\dots,\kappa_c}(t) $ は、$ \sum_{n\geq1} \frac{n^{n-1}}{n!} t^n $ および $ \sum_{n\geq1} \frac{n^n}{n!} t^n $ によって生成される形式的べき級数の部分代数に属しており、深い代数的構造を示している。
• $ h_{\alpha,\alpha} = \frac{3}{4}(27n^2 - 137n + 180) \frac{n^{n-6} (2n-6)!}{(n-3)!} $ に対して明示的公式が導出され、$ \alpha $ は二重臨界点に対応する。
• $ h_{\alpha,\beta} $ については $ 8(6n^2 - 37n + 60) \frac{n^{n-7} (2n-7)!}{(n-4)!} $ が得られ、$ \beta $ は三重臨界点を表す。
• $ h_{\beta,\beta} $ は $ \frac{4}{9}(256n^3 - 2787n^2 + 10448n - 13440) \frac{n^{n-8} (2n-8)!}{(n-4)!} $ で与えられ、再帰的パターンが確認される。
• $ h_{\alpha,\alpha,\alpha} $ の公式は $ \frac{1}{8}(729n^3 - 6723n^2 + 21026n - 22680) \frac{n^{n-7} (2n-8)!}{(n-4)!} $ であり、再帰的構造が明確に示される。
• 他の分岐型に対しても同様の公式を計算するためのアルゴリズムが提供され、一般形に関する予想が提示される。