[論文レビュー] Cell decompositions of moduli space, lattice points and Hurwitz problems

Paul Norbury|arXiv (Cornell University)|Jun 7, 2010

Algebraic Geometry and Number Theory参考文献 34被引用数 4

ひとこと要約

本論文は、Eynard-Orantinトポロジカル再帰を介して、リーマン面のモジュライ空間の細分分割、凸多面体内の格子点の数え上げ、およびハーワイト問題の間に深い接続を確立する。特に、ファットグラフによって誘導される多面体内の格子点の数は、ベリーマップや分岐被覆に関連する準多項式不変量を生成し、特定のスペクトル曲線に対するEynard-Orantin不変量を生じさせ、ハーワイト理論とモジュライ空間幾何学を統一する。

ABSTRACT

In this article we describe cell decompositions of the moduli space of Riemann surfaces and their relationship to a Hurwitz problem. The cells possess natural linear structures and with respect to this they can be described as rational convex polytopes which come equipped with natural integer points and a volume form. We show how to effectively calculate the number of lattice points and the volumes over all the cells and that these calculations contain deep information about the moduli space.

研究の動機と目的

• リーマン面のモジュライ空間の構造を、ファットグラフに基づく細分分割を通じて理解すること。
• これらの細分領域における整数点（格子点）の数え上げを、分岐被覆に関するハーワイト型の数え上げ問題に関連させること。
• 格子点の数え上げ関数および体積の母関数のラプラス変換により、Eynard-Orantin不変量が得られることを示すこと。
• 単一のトポロジカル再帰フレームワークの下で、多様なハーワイト問題（単純ハーワイト数、ベリーマップ、グロモフ＝ウィッテン不変量）を統一すること。

提案手法

• 装飾付きモジュライ空間の細分分割は、平坦計量と角特異点、境界長を符号化するファットグラフを用いて構成される。
• 各細分領域は、自然な線形構造と体積形式を持つ有理数凸多面体であり、体積および格子点の数え上げが可能となる。
• 各細分領域内の格子点数 $N_{g,n}(b_1,\dots,b_n)$ は、境界長 $b_i$ に関する準多項式であることが示される。
• 体積および格子点数の母関数のラプラス変換を行い、その全微分がEynard-Orantin不変量 $\omega^{g}_n$ を与える。
• 不変量 $\omega^{g}_n$ は、ベルグマン核と再帰カーネル $K(z_0,z)$ を含む再帰的留数公式により計算される。
• 本フレームワークは、複数のハーワイト問題に適用可能である：コンツェビッチ体積のためのエアリー曲線、単純ハーワイト数のためのラメルト曲線、および $\mathbb{P}^1$ のグロモフ＝ウィッテン不変量のための $x=z+1/z$, $y=\ln z$ 曲線。

実験結果

リサーチクエスチョン

• RQ1 ファットグラフによるモジュライ空間 $\mathcal{M}_{g,n}$ の細分分割は、凸多面体内の格子点の数え上げとどのように関係するか？
• RQ2 これらの細分領域内の格子点数と、分岐被覆に関するハーワイト型の数え上げ問題との関係は何か？
• RQ3 体積および格子点数の母関数のラプラス変換が、どのようにEynard-Orantin不変量を生じさせるか？
• RQ4 異なるハーワイト問題が、単一のトポロジカル再帰フレームワークの下で統一可能か？

主な発見

• モジュライ空間の細分領域内の格子点数 $N_{g,n}(b_1,\dots,b_n)$ は、境界長 $b_i$ に関する準多項式であり、深いつながりを持つ算術的・幾何的構造を反映している。
• 関数 $N_{g,n}(b_1,\dots,b_n)$ のラプラス変換の全微分は、スペクトル曲線 $x=z+1/z$, $y=z$ のEynard-Orantin不変量 $\omega^{g}_n$ を与え、格子点数え上げとトポロジカル再帰を結びつける。
• コンツェビッチ体積 $V_{g,n}(b_1,\dots,b_n)$ は $b_i$ に関する多項式であり、エアリー曲線 $x=z^2$, $y=z$ のEynard-Orantin不変量を生成する。
• ベリーマップのハーワイト問題—$\mathbb{P}^1$ に対して3点で分岐する連結被覆の数え上げ—の母関数のラプラス変換は、$x=z+1/z$, $y=z$ の $\omega^{g}_n$ を与える。
• $\mathbb{P}^1$ のグロモフ＝ウィッテン不変量から生じるEynard-Orantin不変量 $\omega^{g}_n$ は、曲線 $x=z+1/z$, $y=\ln z$ に対して得られ、組み込み幾何学と再帰の深い関係を示している。
• 本フレームワークは、コンactifiedモジュライ空間上の交差数が、$\omega^{g}_n$ の極近傍における漸近展開の留数として現れる理由を説明している。