[论文解读] The weight reduction of mod $p$ Siegel modular forms for $GSp_4$

Takuya Yamauchi|arXiv (Cornell University)|Oct 29, 2014

Advanced Algebra and Geometry参考文献 50被引用 9

一句话总结

该论文针对 $GSp_4$ 上的模 $p$ 哈尔堡模形式（度数为 2）建立了权重缩减定理，通过在埃凯达尔-奥尔特子簇上构造 theta 算子与部分 Hasse 不变量，证明了任意模 $p$ 伽罗瓦表示均可来自有界权重的形式——具体而言，满足 $k_1 - k_2 + 3 < p$ 且 $k_2 \ leq p^4 + p^2 + 2p + 1$——且不增加水平度。

ABSTRACT

In this paper we investigate the (classical) weights of mod $p$ Siegel modular forms of degree 2 toward studying Serre's conjecture for $GSp_4$. We first construct various theta operators on the space of such forms a la Katz and define the theta cycles for the specific theta operators. Secondly we study the partial Hasse invariants on each Ekedahl-Oort strata and their local behaviors. This enable us to obtain a kind of weight reduction theorem for mod $p$ Siegel modular forms of degree 2 without increasing level.

研究动机与目标

• 通过在不增加水平度的前提下，将模 $p$ 哈尔堡模形式的典型权重缩减，以解决 $GSp_4/\mathbb{Q}$ 上的 Serre 权重猜想。
• 按照 Katz 的方法，在模 $p$ 哈尔堡模形式上构造 theta 算子，以实现对权重和非零行为的控制。
• 分析在埃凯达尔-奥尔特子簇上的部分 Hasse 不变量，以理解局部行为及形式的非零性。
• 建立一个以 $p$-进性质与权重约束为条件的 theta 算子非零性的判别准则。
• 证明任意模 $p$ 伽罗瓦表示 $\overline\rho$ 均可来自与 $\overline\chi_p^\alpha$ 兼容的有界权重的哈尔堡尖点形式。

提出的方法

• 在模 $p$ 哈尔堡模形式空间（度数为 2）上构造小的 $\theta$-算子与一个大的 $\Theta$-算子。
• 将 $\theta$-循环定义为 $\theta$-算子不为零的点集，重点关注非半单普通与半单普通情形。
• 在每个埃凯达尔-奥尔特子簇上引入部分 Hasse 不变量，并通过 Gauss-Manin 联络分析其局部行为。
• 利用阿代尔与几何哈尔堡模形式理论，将 $S_{N,p}$ 上的自守层与伽罗瓦表示联系起来。
• 应用 Pieri 分解与显式的 $GL_2$-模同构，计算 $\theta$-算子在对称张量上的作用。
• 利用 $p$-进循环特征标 $\overline\chi_p$ 对表示进行扭量变换，通过 $\overline\chi_p^\alpha \otimes \overline\rho_{F,p}$ 实现权重缩减。

实验结果

研究问题

• RQ1 能否在不增加水平度的前提下，将模 $p$ 哈尔堡尖点形式（度数为 2）的典型权重缩减？
• RQ2 模 $p$ 伽罗瓦表示 $\overline\rho: G_\mathbb{Q} \to GSp_4(\overline{\mathbb{F}}_p)$ 可来自哈尔堡尖点形式的精确权重范围是什么？
• RQ3 theta 算子及其循环如何控制模 $p$ 哈尔堡模形式的非零性与权重缩减性质？
• RQ4 部分 Hasse 不变量在埃凯达尔-奥尔特子簇上的局部行为如何？其与哈尔堡三倍簇几何的关系是什么？
• RQ5 $\theta$-循环结构能否被完全描述，特别是在非半单普通情形下？其揭示了何种权重约束信息？

主要发现

• 论文证明了权重缩减定理：任意模 $p$ 伽罗瓦表示 $\overline\rho$ 均可来自权重为 $(k_1,k_2)$ 的哈尔堡尖点形式，其中 $k_1 - k_2 + 3 < p$ 且 $k_2 \leq p^4 + p^2 + 2p + 1$。
• theta 算子 $\theta_1^{(k_1,k_2)}$ 在超特殊点集上非零，当且仅当 $k_1 = k_2$，表明 $\theta$-循环可检测权重相等性。
• 构造了部分 Hasse 不变量并证明其在每个埃凯达尔-奥尔特子簇上非零，从而实现对形式的局部分析。
• $\theta$-循环分解表明，非平凡跳跃点仅在 $k_1 = k_2$ 时出现，将循环结构与权重退化性联系起来。
• 当 $n = p-1$ 或 $p-2$ 时，同构 $V(n-2,2) \cong W_2(n)$ 在 $\overline{\mathbb{F}}_p$ 上良定义，从而允许张量积 $V(n) \otimes V(2)$ 的分解。
• 显式基变换公式 (7.1)–(7.4) 提供了一种将 $V(n) \otimes V(2)$ 分解为不可约 $GL_2$-模的方法，其系数已针对 $p$-挠性进行调整。