[論文レビュー] Pontrjagin-Thom maps and the homology of the moduli stack of stable curves

Johannes Ebert, Jeffrey Giansiracusa|ArXiv.org|Dec 5, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 5

ひとこと要約

この論文は、安定曲線のモジュライスタックの境界ストラタに関連するポントリャーギン＝トム写像を用いて、$χ_{g,n}$ における新しい torsion homology class を検出する。微分可能スタックへの古典的ポントリャーギン＝トム構成の拡張と、$QBN(2)^V$ のような無限ループ空間への写像の解析により、特定の次数までホモロジーにおける全射性が示され、滑らかでない部分に由来しない豊かな torsion 構造が明らかになる。

ABSTRACT

We study the singular homology (with field coefficients) of the moduli stack of stable n-pointed complex curves of genus g (the Deligne-Mumford compactification). Each of its irreducible boundary components determines via the Pontrjagin-Thom construction a map to a certain infinite loop space whose homology is well understood. We show that these maps are surjective on homology in a range of degrees proportional to the genus. This implies the existence of many new torsion classes in the homology of the moduli stack.

研究の動機と目的

• コンパクト化されたモジュライスタック $\overline{\mathfrak{M}}_{g,n}$ の mod $p$ ホモロジーを理解すること、特に滑らかでない部分 $\mathfrak{M}_{g,n}$ に由来しない torsion class を特定すること。
• 特に $\overline{\mathfrak{M}}_{g,n}$ の境界埋め込みに対して、微分可能スタックへのポントリャーギン＝トム構成を拡張すること。
• 特定の無限ループ空間に付随する、帰納的境界成分に関連するホモロジーに、$\overline{\mathfrak{M}}_{g,n}$ のホモロジーが全射であることを示すこと。
• 特に正標数において、これらの写像を通じて $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ における新しい torsion クラスの族を同定すること。
• これらの写像によって検出されるコホモロジー類と、有理コホモロジーにおけるトーラス的代数との関係を明確にすること。

提案手法

• ノード曲線をマークドポイントの接合によってパラメトライズする、固有埋め込み $\xi_{\text{irr}}$ および $\xi_{h,P}$ にポントリャーギン＝トム構成を適用する。
• $\operatorname{Ho}(\overline{\mathfrak{M}}_{g,n}) \to QBN(2)^V$ および $\Phi^{1}_{h,P}, \Phi^{0}_{h,P}$ のような、これらの埋め込みの正規バンドルに関連する無限ループ空間への写像 $\Phi_{\text{irr}}$ を構成する。
• 正規バンドルの構造群を $N(2)$ および $T(2)$ に還元することで、トム空間および普遍バンドルを介して $QBT(2)^V$ および $QBU(1)^V$ への写像を定義する。
• スタック $\mathfrak{X}$ のホモトピー型 $\operatorname{Ho}(\mathfrak{X})$ を用いて、スタックホモロジーと空間ホモロジーとの関係をポントリャーギン＝トム写像を通じて結びつける。
• $H_*(QX;\mathbb{F})$ におけるダイヤー＝ラシフ代数の構造を活用し、ターゲット空間の豊かな mod $p$ ホモロジーを分析する。
• ポントリャーギン＝トム構成による umkehr 写像（ギジン写像）を用いて、コホモロジーにおけるプッシュフォワードをトーラス的クラスに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ポントリャーギン＝トム構成は、微分可能スタックへ拡張可能であり、$\overline{\mathfrak{M}}_{g,n}$ のホモロジーにおける新しい torsion クラスを検出できるか？
• RQ2 正標数の体 $\mathbb{F}$ に対して、写像 $\Phi_{\text{irr}}$、$\Phi^{1}_{h,P}$、$\Phi^{0}_{h,P}$ が $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ の torsion をどの程度検出できるか？
• RQ3 $\mathbb{F} = \mathbb{Q}$ のとき、これらの写像によって検出されるコホモロジー類は、トーラス的代数に含まれるか？
• RQ4 ポントリャーギン＝トム写像がホモロジーに全射となる次数の範囲は何か？
• RQ5 境界ストラタの自己交差は、$\mathfrak{M}_{g,n}$ に由来しない新しい torsion クラスにどのように寄与するか？

主な発見

• 任意の体 $\mathbb{F}$ に対して、写像 $\Phi_{\text{irr}}$ は $i \leq (g-2)/4$ の $H_i(-,\mathbb{F})$ で全射である。
• 写像 $\Phi^{1}_{h,\emptyset}$ は $i \leq h/2 - 1$ および $i \leq (g-2)/(2h+2)$ の $H_i(-,\mathbb{F})$ で全射である。
• 写像 $\Phi^{0}_{h,\emptyset}$ は $i \leq (g-2)/(2h+2)$ の $H_i(-,\mathbb{F})$ で全射である。
• $\mathbb{F} = \mathbb{Q}$ のとき、$\Phi_{\text{irr}}^*$ のコホモロジー像は、$\mathcal{R}^*(\overline{\mathfrak{M}}_{g,n})$ に含まれるが、ターゲット空間の mod $p$ ホモロジーははるかに大きく、新規の torsion を示唆している。
• これらの写像は、$\mathfrak{M}_{g,n}$ に由来する torsion クラスとは無関係な、$H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ における大きな torsion クラスの族を検出する。
• $H_*(QBN(2)^V;\mathbb{F})$ がダイヤー＝ラシフ代数上での自由な可換性を有するため、正標数における新しいホモロジー類の豊富な源が保証される。