[論文レビュー] Abelian Hurwitz-Hodge integrals

Paul D. Johnson, Rahul Pandharipande+1 more|arXiv (Cornell University)|Mar 4, 2008

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

ひとこと要約

本稿は、アーベル型モノドロミー群をもつ可換被覆のモジュライ空間上の線形ホッジ積分を、ワルフィング群代数における積の形で表現することで計算している。巡回群で忠実表現の場合、結果は二重ヒューリッツ数に帰着される。自明群の場合、エケダール＝ランド＝シャピロ＝ヴァインシュタインの公式が再現され、単一ヒューリッツ数が得られる。

ABSTRACT

Hodge classes on the moduli space of admissible covers with monodromy group G are associated to irreducible representations of G. We evaluate all linear Hodge integrals over moduli spaces of admissible covers with abelian monodromy in terms of multiplication in an associated wreath group algebra. In case G is cyclic and the representation is faithful, the evaluation is in terms of double Hurwitz numbers. In case G is trivial, the formula specializes to the well-known result of Ekedahl-Lando-Shapiro-Vainshtein for linear Hodge integrals over the moduli space of curves in terms of single Hurwitz numbers.

研究の動機と目的

• アーベル型モノドロミー群をもつ可換被覆のモジュライ空間上の線形ホッジ積分を評価すること。
• 表現論と安定写像論を用いてホッジ積分とヒューリッツ数の間の関係を確立すること。
• 曲線のモジュライ空間上の線形ホッジ積分に対するエケダール＝ランド＝シャピロ＝ヴァインシュタインの公式を、アーベル被覆の状況に一般化すること。
• ワルフィング群代数構造を用いた一様なフレームワークを提供し、ホッジ積分を計算すること。
• 不安定な場合への計算を拡張し、次数および偶奇条件による整合性を検証すること。

提案手法

• 安定写像の視点から可換被覆のモジュライ空間を扱い、それらを分類スタック $\mathcal{B}G$ への安定写像のモジュライと同定する。
• アーベル群 $G$ の既約表現 $R$ にホッジ類 $\lambda_i^R$ を対応させ、$\overline{\mathcal{M}}_{g,\gamma}(\mathcal{B}G)$ 上のベクトル bundle $\mathbb{E}^R$ を形成する。
• 局所化技術を用いて、モジュライスタック上の $\lambda_i^R$ および $\bar{\psi}_j$ 類の高次交差数を計算する。
• $K$-被覆から $\Sigma_d$-被覆への忘却写像を用い、自己同型群の補正を加えることで、計算をヒューリッツ数に還元する。
• $G \wr \Sigma_d$ のワルフィング積構造を用いて、積分を $G \wr \Sigma_d$ の群代数内の積として表現する。
• 定理3の証明において、写像 $\rho$ と $\rho'$ 間の次数および偶奇条件の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 アーベル型可換被覆のモジュライ空間上の線形ホッジ積分は、どのように群代数構造を用いて表現できるか？
• RQ2 モノドロミー群が巡回群で、表現が忠実である場合、ホッジ積分と二重ヒューリッツ数の正確な関係は何か？
• RQ3 自明群の場合、公式はエケダール＝ランド＝シャピロ＝ヴァインシュタインの結果にどのように帰着されるか？
• RQ4 追加のラベルデータを含む・含まないヒューリッツ数を結びつける際、自己同型群の補正は果たす役割は何か？
• RQ5 不安定なホッジ積分はどのような条件下で現れ、公式内で一貫して定義されるか？

主な発見

• アーベル群 $G$ に対して、$\overline{\mathcal{M}}_{g,\gamma}(\mathcal{B}G)$ 上の線形ホッジ積分は、ワルフィング群代数 $G \wr \Sigma_d$ 内の積により評価される。
• $G = \mathbb{Z}_a$ で忠実表現の場合、ホッジ積分は重み付き二重ヒューリッツ数 $H_{g,K}(\overline{\nu},\overline{\mu})$ の和に帰着される。
• $G$ が自明な場合、公式はエケダール＝ランド＝シャピロ＝ヴァインシュタインの結果に特異化され、単一ヒューリッツ数が回復される。
• 忘却写像 $\rho^\prime$ から $\overline{\mathcal{M}}_{g,\iota \cup \kappa}(\mathcal{B}K)$ から $\overline{\mathcal{M}}_{g,d/a + \ell(\mu)}$ への次数は $\rho$ の次数と一致し、計算の整合性が保証される。
• 両方の写像 $\rho$ と $\rho^\prime$ に対して、$\sum \kappa_j - dx = 0$ の偶奇条件が同値であり、定理3における還元が正当化される。
• 不安定積分、たとえば $\int_{\overline{\mathcal{M}}_{0,(0)}(\mathcal{B}G)} \frac{\sum (-a)^i \lambda_i^R}{1 - x\bar{\psi}_1} = \frac{1}{|G|} \cdot \frac{1}{x^2}$ は一貫して定義され、公式に含まれている。