A de Rham weight part of Serre's conjecture and generalized mod $p$ BGG decompositions

技术摘要：关于 Serre 猜想的 de Rham 重量部分及广义 mod $p$ BGG 分解

问题陈述
本文研究了 Shimura 簇的“Serre 猜想的重量部分”，特别是寻求一种以 de Rham 上同调形式表达的表述，使其与使用 étale 上同调和 Serre 重量的经典表述等价。

• 经典表述： 对于 Shimura 簇 $Sh$ 和 Hecke 代数的极大理想 $\mathfrak{m}$，模 Serre 重量集合 $W(\mathfrak{m})$ 由出现在 étale 上同调 $H^\bullet_{\text{ét}}(Sh_{\overline{\mathbb{Q}}_p}, F(\lambda))_\mathfrak{m}$ 中的 $G(\mathbb{F}_p)$ 的不可约 $\mathbb{F}_p$-表示 $F(\lambda)$ 组成。
• 差距： 虽然相干上同调（自守形式）提供了一个桥梁，但对于半单秩 $\ge 2$ 的群（例如 $GL_3, GSp_4$），不可约表示 $F(\lambda)$ 并不总是同构于对偶 Weyl 模 $V(\lambda)_{\mathbb{F}_p}$ 的限制。因此，度数为 0 的相干上同调 $H^0(Sh^{\text{tor}}, \omega(\lambda+\eta))_\mathfrak{m}$ 的非零性不足以区分哪些 $V(\lambda)_{\mathbb{F}_p}$ 的 Jordan-Hölder 因子是模的。
• 拟议方法： 作者建议研究 de Rham 上同调 $H^\bullet_{\text{dR}}(Sh^{\text{tor}}, L(\lambda))_\mathfrak{m}$，其中 $L(\lambda)$ 是不可约代数表示。核心猜想是 de Rham 重量集合 $W_{\text{dR}}(\mathfrak{m})$ 与模 Serre 重量集合 $W(\mathfrak{m})$ 相一致。

方法论
本文采用了一种结合 de Rham 实现算子与特征 $p$ 下显式表示论的几何方法。

1. De Rham 实现算子： 作者利用了一个在伴随论文 [Ort26] 中构建的算子 $\Psi: D^b(\mathcal{O}_{P, \mathbb{F}_p}) \to D^b(C_{Sh/\mathbb{F}_p})$。该算子将抛物型 Verma 模映射为向量丛，并将它们之间的映射映射为微分算子（具体为 theta 联结映射/theta linkage maps）。
2. 广义 mod $p$ BGG 分解： 核心技术工作涉及在 mod $p$ 抛物型范畴 $\mathcal{O}_{P, \mathbb{F}_p}$ 的导出范畴中，为简单模 $L(\lambda)$ 构建显式的“广义 mod $p$ BGG 分解”。
   • 不同于最低 alcove 情况下的 BGG 分解是 Verma 模的直和，作者为这些分解构建了过滤。
   • 这些过滤的渐进项是由通过非平凡映射相连的 Verma 模（或不可约 $M$-表示）组成的复形。
   • 该构造依赖于 $GL_3$ 和 $GSp_4$ 的特定 $p$-限制 alcove、联结序 $\uparrow$ 以及 $L(\lambda)$ 的形式特征。
3. 上同调分析： 通过将 $\Psi$ 应用于这些分解，得到 $L(\lambda)$ 的 de Rham 复形的过滤。作者利用以下手段分析渐进项的上同调：
   • 自守向量丛的高阶相干上同调消失结果（来自 [Yan25], [GK18a]）。
   • Theta 联结映射的单射性质（来自 [Ort26]）。
   • Serre 对偶和 flag Shimura 簇的 Ekedahl-Oort 分层。
   • 一种用于分析高阶上同调群的“$p$-平移”最低 alcove BGG 复形的创新技术。

主要贡献与结果

1. 关于等价性与集中性的猜想

• 猜想 1.1： 提出 $W_{\text{dR}}(\mathfrak{m}) = W(\mathfrak{m})$（强形式），并且对于一般的非 Eisenstein $\mathfrak{m}$，其泛型子集是重合的（弱形式）。
• 猜想 1.2： 提出对于一般的 $\lambda$，de Rham 上同调 $H^\bullet_{\text{dR}}(Sh^{\text{tor}}, L(\lambda))_\mathfrak{m}$ 集中在中间度数。本文证明，如果 étale 上同调集中在中间度数（这在许多情况下已知），那么猜想 1.2 蕴含猜想 1.1。

2. $GL_3$ 的显式 BGG 分解

• 定理 1.3 / 命题 3.7： 对于满足 $G_{\mathbb{Q}_p} = GL_3 \times \mathbb{G}_m$ 的紧致酉 Shimura 簇，作者为处于 upper alcove 的 $\lambda_1$ 构建了一个 3 步过滤，其中：
  • 渐进项涉及：一个复形 $[0 \to \text{Ver}_P W(\lambda_0) \xrightarrow{\phi} \text{Ver}_P W(\lambda_1)]$，其中 $\phi$ 是一个非零映射。
  • 一个涉及不可约表示 $LM(\mu_1)$ 的项。
  • 一个涉及 $\nu_0, \nu_1$ 的对偶复形。
• 结果： 这导致证明了对于 upper alcove 中的一般权重，de Rham 上同调集中在中间度数（定理 4.4）。这精细化了模形式与 Serre 重量之间的关系，表明非 lowest-alcove 的权重可以通过 theta 联结映射的余核来检测。

3. $GSp_4$ 的显式 BGG 分解

• 命题 3.9 & 3.10： 作者为 Siegel threefold ($GSp_4$) 在 $C_1$ 和 $C_2$ alcove 中的 $L(\lambda)$ 构建了 4 步过滤。
• 新的消失结果： 为了处理 $C_2$ alcove，本文利用 Ekedahl-Oort 分层和权重消除法，证明了非优势权重在度数 2 下相干上同调的新消失结果（命题 4.10, 4.12）。
• 高阶 Theta 映射的单射性： 利用一个“$p$-平移”的最低 alcove BGG 复形以及来自 Deligne-Illusie [DI87] 的结果，作者证明了特定的 theta 联结映射在上同调度 1 下是单射的（命题 4.16）。这在以前是无法实现的。

4. $GSp_4$ 的泛型蕴含

• 定理 1.6 / 定理 4.17： 本文将 [Ort24] 中的“弱蕴含”升级为 $GSp_4$ 的完全“泛型蕴含”。
• 具体而言，对于一般的 $\lambda_0 \in C_0$ 和非 Eisenstein $\mathfrak{m}$：
  $$F(\lambda_0) \in W(\mathfrak{m}) \implies F(\lambda_2) \in W(\mathfrak{m})$$
  其中 $\lambda_2$ 是 $\lambda_0$ 的一个特定的仿射 Weyl 反射。
• 该结果完全源于 BGG 分解的结构和渐进项的上同调性质，而不依赖于 Taylor-Wiles 方法。

意义与主张

• 连接上同调： 本文建立了一个具体的联系，将 de Rham 上同调（可通过相干上同调和 theta 映射计算）与 Serre 重量的模性联系起来。它表明 de Rham 框架捕捉到了 étale 上同调本身无法检测到的 Serre 重量信息（由于在高秩情况下缺乏直和分解），并且比度数为 0 的相干上同调更精细。
• 显式计算： 为更高 alcove（超越最低的一个）中的权重构建显式 BGG 分解是主要贡献。这些分解揭示了不同权重之间通过 theta 联结映射产生的非平凡相互作用，从而支配了模性。
• 方法论进步： 引入“$p$-平移”BGG 复形以及证明高阶上同调度下 theta 映射的单射性，为研究 mod $p$ 自守形式提供了新的工具。
• 谦逊性： 作者指出，虽然对于 $GL_3$ 和 $GSp_4$ 的特定情况，de Rham 上同调的泛型集中性已得到证明，但使用现有方法证明所有 $GSp_4$ 权重的集中性仍然难以实现。本文还澄清了强形式猜想对于任意优势权重并不成立（例 2.3），从而限制了其适用范围，即仅限于 $p$-限制权重或具有特定局部 Galois 表示生成性条件的权重。

总而言之，本文提供了一个几何和表示论框架，用于阐述并部分证明 de Rham 版本的 Serre 猜想，利用显式的 mod $p$ BGG 分解来揭示高秩群中 Serre 重量的模性质。