[论文解读] Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves

Jonas Bergström, Carel Faber+1 more|arXiv (Cornell University)|Jun 15, 2022

Advanced Algebra and Geometry被引用 4

一句话总结

本文证明了稳定曲线模空间 $\overline{\mathcal{M}}_{g,n}$ 的有理奇异上同调在所有不超过 9 的奇数维中消失，从而证实了一个与朗兰兹纲领长期相关的猜想。作者基于 Hasse–Weil zeta 函数与有限域上的点计数，采用筛法，建立了 $\overline{\mathcal{M}}_{4,n}$（$n \leq 3$）的多项式点计数，进而通过 Behrend–Grothendieck–Lefschetz 跟踪公式推导出上同调消失的结果。

ABSTRACT

We compute the number of F_q-points on M_{4,n}, for n less than or equal to 3, and show that it is a polynomial in q, using a sieve based on Hasse-Weil zeta functions. As an application, we prove that the rational singular cohomology groups of moduli spaces of stable curves of genus g with n marked points vanish in all odd degrees less than or equal to 9, for all g and n. Both results confirm predictions of the Langlands program, via the conjectural correspondence with polarized algebraic cuspidal automorphic representations of conductor 1, which are classified in low weight. Our vanishing result for odd cohomology resolves a problem posed by Arbarello and Cornalba in the 1990s.

研究动机与目标

• 解决 Arbarello 与 Cornalba 在 1990 年代提出的关于稳定曲线模空间中奇数上同调消失的开放问题。
• 证实朗兰兹纲领的预测：不存在导子为 1 的奇数权自守形式，否则将导致上同调非零。
• 基于 Hasse–Weil zeta 函数的筛法，建立 $\overline{\mathcal{M}}_{4,n}$（$n \leq 3$）在有限域 $\mathbb{F}_q$ 上的多项式点计数。
• 利用这些点计数，通过 $\ell$-进上同调与点计数之间的对应关系，推导出上同调消失，特别是 $H^9(\overline{\mathcal{M}}_{4,n})$。
• 通过验证 genus 4 中少量标记点的新的基情形，完成 Arbarello 与 Cornalba 的归纳框架，覆盖至度数 9。

提出的方法

• 应用 Behrend–Grothendieck–Lefschetz 跟踪公式，将代数叠上 $\mathbb{F}_q$-点的数量与 $\ell$-进上同调上 Frobenius 的分次迹联系起来。
• 利用多项式点计数与奇数维 $\ell$-进上同调消失之间的等价性，特别适用于具有良好几何性质的 Deligne–Mumford 叠。
• 实施基于 Hasse–Weil zeta 函数的筛法，计算 $\#\overline{\mathcal{M}}_{4,n}(\mathbb{F}_q)$ 作为 $q$ 的多项式（$n \leq 3$）。
• 利用对称群作用与 Schur 函子，计算边界分层上的等变点计数，借助 Getzler–Kapranov 公式处理曲线模空间。
• 运用庞加莱对偶性与 $q=1$ 处的取值，确定点计数多项式中的未知系数，从而完全确定多项式表达式。
• 将局部系统 $\mathbb{V}_\lambda$ 上 Frobenius 的迹数据从 $\mathcal{M}_4$ 译为上同调不变量，将点计数与紧支集欧拉示性数联系起来。

实验结果

研究问题

• RQ1 对于所有奇数 $k \leq 9$，有理奇异上同调 $H^k(\overline{\mathcal{M}}_{g,n})$ 是否消失？
• RQ2 $\overline{\mathcal{M}}_{4,n}$（$n \leq 3$）在 $\mathbb{F}_q$ 上的点数是否可表示为 $q$ 的多项式？
• RQ3 $\overline{\mathcal{M}}_{4,n}$ 的多项式点计数是否意味着奇数维上同调的消失，特别是 $H^9(\overline{\mathcal{M}}_{4,n})$？
• RQ4 结果是否与朗兰兹猜想一致：即不存在导子为 1 的奇数权新形式，且其权重小于 11？
• RQ5 能否通过在 genus 4 中建立新的基情形，将 Arbarello 与 Cornalba 的归纳方法扩展至 $k=9$？

主要发现

• 有理奇异上同调 $H^k(\overline{\mathcal{M}}_{g,n})$ 对所有奇数 $k \leq 9$ 消失，解决了 Arbarello 与 Cornalba 在 1990 年代提出的问题。
• $\overline{\mathcal{M}}_{4,n}$（$n \leq 3$）在 $\mathbb{F}_q$ 上的点数是 $q$ 的多项式，通过基于 Hasse–Weil zeta 函数的筛法与分层上的点计数计算得出。
• $H^9(\overline{\mathcal{M}}_{4,n})$ 对 $n \leq 3$ 消失，由多项式点计数与 $\acute{e}$tale 上同调-点计数对应关系确认。
• $\overline{\mathcal{M}}_{4,3}$ 的点计数在度数 6 以内确定为：$s_3$-分量为 $q^{12} + 2q^{11} + 3q^{10} - 2q^9 - 4q^8 + 2q^7 - q^6 - q^3 + 2q^2$，$s_{2,1}$ 与 $s_{1^3}$ 分量有类似表达式。
• $\partial\mathcal{M}_{4,3}$ 的等变点计数被显式计算，系数为对称函数，并用于重构 $\overline{\mathcal{M}}_{4,3}$ 的完整点计数。
• 对若干 $\lambda$，计算了 $H^\bullet_c(\mathcal{M}_4, \mathbb{V}_\lambda)$ 上 Frobenius 的迹，包括 $\mathrm{Tr}(F_q, H^\bullet_c(\mathcal{M}_4, \mathbb{V}_1)) = q^7 + q^2$ 与 $\mathrm{Tr}(F_q, H^\bullet_c(\mathcal{M}_4, \mathbb{V}_{1,1})) = q^9 - q^8 - q^7 - q^2$，确认了上同调结构。