[論文レビュー] Counting lattice points in the moduli space of curves

Paul Norbury|ArXiv.org|Jan 30, 2008

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

ひとこと要約

本稿は、$g$ と $n$ をそれぞれ genus とラベル付き点の数とする曲線のモジュライ空間において、ラベル付きファットグラフの重み付き和を用いて、境界長さの二乗 $b_i^2$ の多項式 $N_{g,n}(b_1,\dots,b_n)$ を定義する格子点数え上げ枠組みを導入する。主な結果として、この多項式は $b_i = 0$ で評価した際に、オルビフォールドオイラー標数 $\chi(\mathcal{M}_{g,n})$ を、またコンパクト化されたモジュライ空間 $\overline{\mathcal{M}}_{g,n}$ 上のタウトロジカルな交点数をも記述しており、組合せ論、幾何学、数論の三つがモジュライ空間において結びつく。

ABSTRACT

We show how to define and count lattice points in the moduli space $\modm_{g,n}$ of genus g curves with n labeled points. This produces a polynomial with coefficients that include the Euler characteristic of the moduli space, and tautological intersection numbers on the compactified moduli space.

研究の動機と目的

• genus $g$ の曲線に $n$ 個のラベル付き点を持つモジュライ空間 $\mathcal{M}_{g,n}$ in における格子点を定義し、計算する。
• オルビフォールドオイラー標数 $\chi(\mathcal{M}_{g,n})$ のような位相的不変量と格子点数え上げの間の関係を確立する。
• コンパクト化されたモジュライ空間 $\overline{\mathcal{M}}_{g,n}$ 上のタウトロジカルな交点数を記述する格子点数え上げ多項式 $N_{g,n}(b_1,\dots,b_n)$ が、その性質を示す。
• $N_{g,n}$ に対して一意に多項式を決定する再帰関係を導出し、Witten–Kontsevich や Mirzakhani の再帰関係を回復する。

提案手法

• $N_{g,n}(b_1,\dots,b_n) = \sum_{\Gamma \in \mathcal{F}{\rm at}_{g,n}} \frac{1}{|{\rm Aut}\,\Gamma|} N_\Gamma(b_1,\dots,b_n)$ を定義する。ここで $N_\Gamma$ は、ラベル付きファットグラフ $\Gamma$ に関連する多面体 $P_\Gamma(b_1,\dots,b_n)$ 内の整数点を数える。
• Penner の $\mathcal{M}_{g,n} \times \mathbb{R}^n_+$ の凸多面体 $P_\Gamma(b_1,\dots,b_n)$ へのセル分解を用い、格子点数え上げを区分的多項式として実現し、重み付き和が $b_i^2$ のグローバル多項式であることを示す。
• Theorem 4 で示される $N_{g,n}$ の再帰関係を確立し、これは Mirzakhani のウェイル・ペトリソン体積再帰関係に類似しており、初期値 $N_{0,3}$ と $N_{1,1}$ から多項式を一意に決定する。
• $N_{g,n}$ の最高次同次部が、交点数 $\int_{\overline{\mathcal{M}}_{g,n}} c_1(L_1)^{d_1} \cdots c_1(L_n)^{d_n}$ を計算する Kontsevich の体積多項式 $V_{g,n}$ と一致することを証明する。
• 生成関数と無限大での評価を用い、$N_{g,n}(0,\dots,0) = \chi(\mathcal{M}_{g,n})$ を示し、格子点数え上げとオイラー標数を結びつける。
• $N_{g,n}$ を二項係数 $\binom{b_i/2 - 1}{k}$ の線形結合として表現し、ファットグラフの重み付き数え上げを計算し、位相的不変量を抽出する。

実験結果

リサーチクエスチョン

• RQ1 ファットグラフ分解と多面体幾何学を用いて、モジュライ空間 $\mathcal{M}_{g,n}$ 内の格子点を体系的に定義し、数える方法は何か？
• RQ2 格子点数え上げ多項式 $N_{g,n}(b_1,\dots,b_n)$ とオルビフォールドオイラー標数 $\chi(\mathcal{M}_{g,n})$ の関係は何か？
• RQ3 格子点数え上げは、Kontsevich の体積多項式および $\overline{\mathcal{M}}_{g,n}$ 上のタウトロジカルな交点数とどのように関係するか？
• RQ4 Witten–Kontsevich や Mirzakhani の再帰関係を回復できる、一意に $N_{g,n}$ を決定する再帰関係を導出できるか？
• RQ5 $b_i$ の偶奇に依存する多項式 $N_{g,n}$ の構造と、その同次成分の性質は何か？

主な発見

• 格子点数え上げ多項式 $N_{g,n}(b_1,\dots,b_n)$ は $b_i^2$ の $3g-3+n$ 次多項式であり、$\overline{\mathcal{M}}_{g,n}$ 上のタウトロジカルな交点数を係数として含み、$b_i$ が奇数の個数が奇数個のときは恒等的に $0$ に等しい。
• $N_{g,n}$ を $b_1 = \cdots = b_n = 0$ で評価すると、オルビフォールドオイラー標数が得られる：$N_{g,n}(0,\dots,0) = \chi(\mathcal{M}_{g,n})$。これは生成関数と無限大での評価により証明された。
• $N_{g,n}$ の最高次同次部は、交点数 $\int_{\overline{\mathcal{M}}_{g,n}} c_1(L_1)^{d_1} \cdots c_1(L_n)^{d_n}$ を計算する Kontsevich の体積多項式 $V_{g,n}$ と一致する。
• $g=2, n=1$ の場合、多項式は明示的に $N_{2,1}(b) = \frac{1}{2^{16}3^3 5}(b^2 - 4)(b^2 - 16)(b^2 - 36)(5b^2 - 32)$ と表され、$b=2,4,6$ で $0$ に等しくなる。これは位相的制約を確認する。
• ファットグラフの重み付き数 $c_k^{(g)}$ は $N_{g,1}(b)$ の二項係数展開から抽出され、$g=2$ のとき $c_9^{(2)} = \frac{35}{6}$ および $c_4^{(2)} = \frac{21}{8}$ が得られ、組合せ的不変量が得られる。
• 再帰関係（Theorem 4）により、$N_{0,3} = 1$ および $N_{1,1}(b) = \frac{1}{48}(b^2 - 4)$ から $N_{g,n}$ が一意に決定され、その最高次部は Kontsevich の理論を経由して Witten の再帰関係を回復する。