[論文レビュー] A short proof of the lambda_g-conjecture without Gromov-Witten theory: Hurwitz theory and the moduli of curves

I. P. Goulden, D. M. Jackson+1 more|ArXiv.org|Apr 12, 2006

Algebraic Geometry and Number Theory参考文献 20被引用数 6

ひとこと要約

本稿は、ホイットニー理論とエケダール＝ランドー＝シャピロ＝ヴァインシュタインの多項式定理を用いて、グロモフ＝ミラーティー理論を避ける形で、$\lambda_g$-予想の短く直接的な証明を提示する。この研究では、予想に現れるホッジ積分を、多項式ホイットニー数の最低次の項の係数として特定し、$\sum b_i = 2g-3+n$ を満たすとき、$\int_{\overline{\mathcal{M}}_{g,n}}\psi_1^{b_1}\cdots\psi_n^{b_n}\lambda_g = \binom{2g-3+n}{b_1,\dots,b_n}c_g$ という公式を確立する。ここで $c_g$ は genus に依存する定数である。

ABSTRACT

We give a short and direct proof of the $λ_g$-Conjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the ``polynomiality'' of Hurwitz numbers, from which we pick off the lowest degree terms. The proof is independent of Gromov-Witten theory. We briefly describe the philosophy behind our general approach to intersection numbers and how it may be extended to other intersection number conjectures.

研究の動機と目的

• グロモフ＝ミラーティー理論に依存せずに、$\\lambda_g$-予想の直接的かつ短い証明を提供すること。
• ホッジ積分と多項式ホイットニー数の最低次の項との間の関係を確立すること。
• エケダール＝ランドー＝シャピロ＝ヴァインシュタインのホイットニー数多項式性定理が、$\lambda_g$-予想を導出するのに十分であることを示すこと。
• モジュライ空間幾何学における他の交差数予想への応用の基盤を築くこと。

提案手法

• ホイットニー数の多項式性を保証するエケダール＝ランドー＝シャピロ＝ヴァインシュタインの定理を用いる。
• 生成関数のホイットニー数の最低次の項における係数として、ホッジ積分 $\\int_{\\overline{\\mathcal{M}}_{g,n}}\\psi_1^{b_1}\cdots\\psi_n^{b_n}\\lambda_g$ を同定する。
• 接続・切断方程式を用いて分岐被覆の組合せ的構造をモデル化し、交差数の生成関数を導出する。
• 対称関数とプレチズム代入を用いて、生成関数 $\\Lambda^{g}_{n,1}$ を単項対称関数の形で表現する。
• 生成関数 $\\Lambda^{g}_{n,k}$ に対して偏微分方程式を用い、交差数を再帰的に計算する。
• ホイットニー数をサイクル型と正則因数分解を用いて記録する $H_n^g$ を含む genus 級数 $H = \sum_{g\geq 0,n\geq 1} H_n^g x^g$ に依存する。

実験結果

リサーチクエスチョン

• RQ1 グロモフ＝ミラーティー不変量や量子コホモロジーの不変量を用いずに、$\lambda_g$-予想を証明できるか？
• RQ2 多項式ホイットニー数の最低次の項は、モジュライ空間 $\overline{\mathcal{M}}_{g,n}$ 上のホッジ積分とどのように関係するか？
• RQ3 エケダール＝ランドー＝シャピロ＝ヴァインシュタインのホイットニー数多項式性定理を、モジュライ空間幾何学における交差数公式の導出にどの程度まで応用できるか？
• RQ4 この手法を、ファーバーの交差数予想のような他の予想の証明に一般化できるか？
• RQ5 $\langle \tau_{\beta_1} \cdots \tau_{\beta_n} \lambda_{g-1} \rangle_g$ を符号化する生成関数 $\Lambda^{g}_{n,1}$ の正確な組合せ的構造は何か？

主な発見

• グロモフ＝ミラーティー理論や量子不変量に依存せず、ホイットニー理論を用いて $\lambda_g$-予想を直接的に証明した。
• ホッジ積分 $\int_{\overline{\mathcal{M}}_{g,n}}\psi_1^{b_1}\cdots\psi_n^{b_n}\lambda_g$ が $\binom{2g-3+n}{b_1,\dots,b_n}c_g$ に等しいことが示された。ここで $c_g = \int_{\overline{\mathcal{M}}_{g,1}}\psi_1^{2g-2}\lambda_g$ である。
• genus $g=1$ の場合、生成関数 $24\Lambda^1_{n,1}$ が明示的に計算され、単項対称関数の形で表現され、$24 = c_1^{-1}$ である。
• $g=2$ の場合、$c_2^{-1}\Lambda^2_{n,1}$ は $n=1$ のとき $37m_4$ に等しく、$n=2$ のとき $-106m_{51}-111m_{42}-116m_{3^2}$ に等しくなり、低 genus での予想が確認された。
• この手法は高 genus にまで拡張可能である：$c_3^{-1}\Lambda^3_{1,1} = -3426m_6$、$c_4^{-1}\Lambda^4_{1,1} = 61164m_8$、$c_5^{-1}\Lambda^5_{1,1} = -180519696m_{10}$ であり、いずれも予想された形と一致する。
• 本手法は、3点までに制限したファーバーの交差数予想の証明に応用可能であり、モジュライ空間コホモロジーにおけるゴレンシュタイン型の予想への広範な適用可能性を示唆する。