[论文解读] On the cusp form motives in genus 1 and level 1

Caterina Consani, Carel Faber|ArXiv.org|Apr 20, 2005

Advanced Algebra and Geometry参考文献 6被引用 4

一句话总结

本文提出了一种关于 $ \mathrm{SL}(2,\mathbb{Z})$ 在亏格 1 且水平为 1 的尖形式（cusp forms）的权 $n+1$ 的 Chow 动力学的替代构造，使用稳定 $n$-点椭圆曲线的模空间 $ \overline{M}_{1,n}$ 以及对称群 $ \Sigma_n$ 的交错表示。关键结果表明，$ \overline{M}_{1,n}$ 的上同调的交错部分实现了抛物上同调 $H^1_!(M_{1,1}, \mathrm{Sym}^{n-1}R^1\pi_*\mathbb{Q})$，从而为 Scholl 的 Kuga-Sato 构造提供了一个水平为 1 的替代方案。

ABSTRACT

We prove that the moduli space of stable n-pointed curves of genus one and the projector associated to the alternating representation of the symmetric group on n letters define (for n>1) the Chow motive corresponding to cusp forms of weight n+1 for SL(2,Z). This provides an alternative (in level one) to the construction of Scholl.

研究动机与目标

• 为 $ \mathrm{SL}(2,\mathbb{Z})$ 在亏格 1 且水平为 1 的尖形式的权 $k$ 的 Chow 动力 $S[k]$ 提供一种替代的几何构造。
• 将 Scholl 的 Kuga-Sato 簇替换为稳定 $n$-点椭圆曲线的模空间 $ \overline{M}_{1,n}$，作为这些动机的几何实现。
• 建立 $ \Sigma_n$-等变上同调的交错部分与抛物上同调 $H^1_!(M_{1,1}, \mathrm{Sym}^{n-1}R^1\pi_*\mathbb{Q})$ 的关系。
• 将亏格 1 的洞察推广至更高亏格，目标是构造与 Siegel 模形式及其相关局部系统相关的动机。

提出的方法

• 使用稳定 $n$-点亏格 1 曲线的模空间 $ \overline{M}_{1,n}$ 作为动机构造的几何基础。
• 应用与 $ \Sigma_n$ 的交错表示 $\alpha$ 相关的投影算子 $\Pi_\alpha$，以提取相关的上同调分量。
• 使用对称函数理论和生成函数，计算 $M_{1,n}$ 及其边界 $\partial M_{1,n}$ 的 $ \Sigma_n$-等变欧拉示性数。
• 利用 Getzler 的模张量范畴理论和 $ \Sigma_n$-等变上同调，将 $H^*(M_{1,n})$ 与 $M_1$ 上的不可约辛几何局部系统联系起来。
• 通过 Lieberman 技巧利用 Leray 族谱序列的退化性，证明交错部分在除度数 $n$ 外的所有度数上上同调为零。
• 应用对偶性和权重分析，证明纯性，并证明 $H^n(\overline{M}_{1,n})(\alpha) \cong S[n+1]$。

实验结果

研究问题

• RQ1 能否使用 $ \overline{M}_{1,n}$ 而非 Kuga-Sato 簇，几何地构造与 $ \mathrm{SL}(2,\mathbb{Z})$ 的权 $n+1$ 尖形式相关的 Chow 动力 $S[n+1]$？
• RQ2 $\r \overline{M}_{1,n}$ 的 $\Sigma_n$-等变上同调结构，特别是其交错部分，是怎样的？
• RQ3 边界 $\partial M_{1,n}$ 的上同调的交错部分如何与 $M_{1,n}$ 的上同调及其结果动机相关联？
• RQ4 能否使用对称函数和模张量范畴技术，显式计算 $M_{1,n}$ 的 $\Sigma_n$-等变欧拉示性数？
• RQ5 通过 $ \overline{M}_{1,n}$ 和投影算子 $\Pi_\alpha$ 构造出的动机是否实现了正确的抛物上同调 $H^1_!(M_{1,1}, \mathrm{Sym}^{n-1}R^1\pi_*\mathbb{Q})$？

主要发现

• 当 $n$ 为奇数时，$M_{1,n}$ 的 $ \Sigma_n$-等变紧支撑欧拉示性数的交错部分为 1；当 $n$ 为偶数时为 0。
• 根据定理 2，边界 $\partial M_{1,n}$ 的上同调的交错部分在 $n$ 为奇数时为 1，在 $n$ 为偶数时为 0。
• 当 $n$ 为奇数时，$ \overline{M}_{1,n}$ 的上同调的交错部分为 $-S[n+1]$；当 $n$ 为偶数时为 0。
• 上同调 $H^n(\overline{M}_{1,n})(\alpha)$ 是权重 $n$ 的纯上同调，且同构于 $S[n+1]$，从而确认了动机构造。
• 对于 $n>1$ 且 $n$ 为奇数，通过 $ \overline{M}_{1,n}$ 和 $\Pi_\alpha$ 的构造实现了正确的抛物上同调 $H^1_!(M_{1,1}, \mathrm{Sym}^{n-1}R^1\pi_*\mathbb{Q})$。
• 动机 $S[n+1]$ 被构造为 $ \overline{M}_{1,n}$ 关于 $ \Sigma_n$ 的商，其中交错投影算子确保了纯性和正确的权重。