[論文レビュー] Generating Functions for Hurwitz-Hodge Integrals

Renzo Cavalieri|ArXiv.org|Aug 23, 2006

Algebraic Geometry and Number Theory参考文献 13被引用数 7

ひとこと要約

この論文は、アティヤ＝ボット局所化を用いて、有理曲線への分岐指定付きの可逆被覆のモジュライ空間上のHurwitz-Hodge積分の明示的生成関数を導出する。対角的生成関数 $\pi_i(u)$ が指数的生成関数系列によって $\pi_1(u)$ から得られることを確立し、全生成関数 $\mathcal{T}_g(u)$ が $\frac{d^{d-1}\sin^d(u/2)}{\sin^d(du/2)}$ の次数 $2g$ 項として閉形式で与えられることを示している。垂直生成関数 $\mathcal{V}_i(u)$ は、$i$ の整数分割によってインデックス付けられた指数的生成関数系列として表現される。これらの結果は、Hodge積分計算における組合せ的構造と幾何的構造を統一する。

ABSTRACT

In this paper we describe explicit generating functions for a large class of Hurwitz-Hodge integrals. These are integrals of tautological classes on moduli spaces of admissible covers, a (stackily) smooth compactification of the Hurwitz schemes. Admissible covers and their tautological classes are interesting mathematical objects on their own, but recently they have proved to be a useful tool for the study of the tautological ring of the moduli space of curves, and the orbifold Gromov-Witten theory of DM stacks. Our main tool is Atiyah-Bott localization: its underlying philosophy is to translate an interesting geometric problem into a purely combinatorial one.

研究の動機と目的

• 有理曲線への分岐指定付きの可逆被覆のモジュライ空間上でのHurwitz-Hodge積分の明示的生成関数を計算すること。
• アティヤ＝ボット局所化と分割に基づく生成関数系列を用いて、これらの積分の背後にある組合せ的構造を確立すること。
• 可逆被覆のモジュライ空間上のタウトロジカル交差数を、既知のHodge積分生成関数と結びつけること。
• 生成関数 $\mathcal{D}_i(u)$, $\mathcal{V}_i(u)$, $\mathcal{T}_g(u)$ の完全な代数的記述を提供し、明示的公式を提示すること。

提案手法

• アティヤ＝ボット局所化を用いて、可逆被覆のモジュライ空間上の幾何的積分を固定点上の組合せ的和への還元する。
• 3種類の生成関数を定義する：対角的（$\mathcal{D}_i(u)$）、垂直的（$\mathcal{V}_i(u)$）、全（$\mathcal{T}_g(u)$）、それぞれが $j$ と $g$ の異なるインデックスパターンの積分を符号化する。
• $\mathcal{D}_i(u)$ を $\frac{1}{d}e^{d\mathcal{D}_1(u)}$ の展開における $i$ 番目の項として導出し、指数的生成関数関係によって対角系列を関連付ける。
• $\mathcal{V}_i(u)$ を指数的生成関数系列として表現する：$u^{2i}e^{d\Upsilon_0 u^2} \sum_{\eta \vdash i} u^{2\ell(\eta)} d^{\ell(\eta)-1} \frac{\Upsilon^\eta}{\text{Aut}(\eta)}$、$i$ の整数分割によってインデックス付けられる。
• $\mathcal{T}_g(u)$ が $\frac{d^{d-1} \sin^d(u/2)}{\sin^d(du/2)}$ の次数 $2g$ 項であることを証明し、全生成関数の閉形式表現を提供する。
• 分割された和と符号付き積を含む組合せ的恒等式を用いて、$\mathcal{V}_i(u)$ が満たす関数方程式を検証し、特に整数分割上での対称和の零化補題を含む。

実験結果

リサーチクエスチョン

• RQ1 局所化技法を用いて、可逆被覆のモジュライ空間上でのHurwitz-Hodge積分の生成関数を体系的に構成する方法は何か？
• RQ2 対角的生成関数 $\mathcal{D}_i(u)$ と $\mathcal{D}_1(u)$ の間の関数的関係は何か？
• RQ3 垂直生成関数 $\mathcal{V}_i(u)$ は、明示的な組合せ的係数を持つ分割インデックス生成関数として表現可能か？
• RQ4 固定された $g$ に対してすべての $j$ インデックス積分を符号化する全生成関数 $\mathcal{T}_g(u)$ に閉形式表現があるか？
• RQ5 $\mathcal{V}_i(u)$ が満たす関数方程式の背後にある組合せ的恒等式は何か？そして、それらは幾何的制約と整合的であるか？

主な発見

• 対角的生成関数 $\mathcal{D}_i(u)$ は、$\frac{1}{d}e^{d\mathcal{D}_1(u)}$ の展開における $i$ 番目の項として与えられ、$i$ にわたる再帰的構造を確立する。
• 全生成関数 $\mathcal{T}_g(u)$ は、$\frac{d^{d-1} \sin^d(u/2)}{\sin^d(du/2)}$ の次数 $2g$ 項として与えられ、コンパクトな閉形式表現を提供する。
• 垂直生成関数 $\mathcal{V}_i(u)$ は、$u^{2i}e^{d\Upsilon_0 u^2} \sum_{\eta \vdash i} u^{2\ell(\eta)} d^{\ell(\eta)-1} \frac{\Upsilon^\eta}{\text{Aut}(\eta)}$ として与えられ、$i$ の整数分割によって係数がインデックス付けされる。
• 関数方程式 $\sum_{k=0}^i (-1)^{i-k} \left(\frac{d}{du}\mathcal{V}_k(u)\right) \mathcal{V}_{i-k}(\sqrt{-1}u) = \frac{2i+2}{d} V_i^{i+1} u^{2i+1}$ が成り立ち、$\mathcal{V}_i(u)$ シリーズの整合性が確認される。
• 組合せ的補題により、特定の符号付き和が分割が単一の部品である場合にのみ非ゼロとなることが示され、これにより $\mathcal{V}_i(u)$ の構造が裏付けられ、関数方程式の正当性が裏付けられる。
• 証明は分割に基づく生成関数系列と二項型恒等式に依拠し、$\eta_1 \coprod \eta_2 = \eta$ 上での対称和の零化性が再帰的構造の正しさを保証する。