[论文解读] 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}$ 中新的挠性同调类。通过将经典的庞特里亚金-托姆构造推广至微分流形堆栈，并分析至无限环空间 $QBN(2)^V$ 的映射，作者证明了在特定度数范围内同调的满射性，揭示了与光滑开集上已知类无关的丰富挠性结构。

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}$ 的模 $p$ 同调，特别是不来自光滑开集 $\mathfrak{M}_{g,n}$ 的挠性类。
• 将庞特里亚金-托姆构造推广至微分流形堆栈，特别是 $\overline{\mathfrak{M}}_{g,n}$ 中的边界浸入。
• 证明 $\overline{\mathfrak{M}}_{g,n}$ 的同调映满至与不可约边界分量相关的某些无限环空间。
• 通过这些映射在正特征下识别 $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ 中新的挠性类家族。
• 厘清这些映射所检测的上同调类与有理上同调中典型代数之间的关系。

提出的方法

• 对参数化结点曲线（通过粘合标记点）的恰当浸入 $\xi_{\text{irr}}$ 和 $\xi_{h,P}$ 应用庞特里亚金-托姆构造。
• 构造至与这些浸入的法丛相关的无限环空间的映射 $\Phi_{\text{irr}}: \operatorname{Ho}(\overline{\mathfrak{M}}_{g,n}) \to QBN(2)^V$ 以及 $\Phi^{1}_{h,P}, \Phi^{0}_{h,P}$。
• 通过法丛的结构群约化至 $N(2)$ 和 $T(2)$，利用 Thom 空间与普遍丛，定义至 $QBT(2)^V$ 和 $QBU(1)^V$ 的映射。
• 利用堆栈 $\mathfrak{X}$ 的同伦类型 $\operatorname{Ho}(\mathfrak{X})$，通过庞特里亚金-托姆映射将堆栈同调与空间同调联系起来。
• 利用 $H_*(QX;\mathbb{F})$ 上的 Dyer-Lashof 代数结构，分析目标空间的丰富模 $p$ 同调。
• 通过庞特里亚金-托姆构造应用 umkehr 映射（Gysin 映射），将上同调中的上推映射与典型类联系起来。

实验结果

研究问题

• RQ1 庞特里亚金-托姆构造能否推广至微分流形堆栈，以检测 $\overline{\mathfrak{M}}_{g,n}$ 同调中新的挠性类？
• RQ2 映射 $\Phi_{\text{irr}}$、$\Phi^{1}_{h,P}$ 和 $\Phi^{0}_{h,P}$ 在正特征域 $\mathbb{F}$ 下，对 $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ 的挠性检测程度如何？
• RQ3 当 $\mathbb{F} = \mathbb{Q}$ 时，这些映射所检测的上同调类是否包含在典型代数中？
• RQ4 庞特里亚金-托姆映射在同调上具有满射性的度数范围是什么？
• RQ5 边界层的自交如何贡献于不来自 $\mathfrak{M}_{g,n}$ 的新挠性类？

主要发现

• 当 $\mathbb{F}$ 为任意域时，映射 $\Phi_{\text{irr}}$ 在 $H_i(-,\mathbb{F})$ 上对 $i \leq (g-2)/4$ 是满射。
• 映射 $\Phi^{1}_{h,\emptyset}$ 在 $H_i(-,\mathbb{F})$ 上对 $i \leq h/2 - 1$ 和 $i \leq (g-2)/(2h+2)$ 是满射。
• 映射 $\Phi^{0}_{h,\emptyset}$ 在 $H_i(-,\mathbb{F})$ 上对 $i \leq (g-2)/(2h+2)$ 是满射。
• 当 $\mathbb{F} = \mathbb{Q}$ 时，$\Phi_{\text{irr}}^*$ 的上同调像位于典型代数 $\mathcal{R}^*(\overline{\mathfrak{M}}_{g,n})$ 中，但目标空间的模 $p$ 同调要大得多，表明存在新的挠性。
• 这些映射检测到 $H_*(\overline{\mathfrak{M}}_{g,n};\mathbb{F})$ 中大量与 $\mathfrak{M}_{g,n}$ 上检测到的挠性类无关的新挠性类家族，这些类由 Galatius 在稳定范围内检测到。
• 由于 $H_*(QBN(2)^V;\mathbb{F})$ 作为 Dyer-Lashof 代数上的自由分次交换代数，确保了在正特征下存在丰富的新型同调类来源。