Note on a certain category of mod $p$ representations

论文技术总结

1. 研究背景与问题 (Problem)

• 背景：本文处于模 $p$ Langlands 纲领（Mod $p$ Langlands program）的研究框架下。该纲领旨在建立 $p$-adic 域上的伽罗瓦表示与 $p$-adic 群（如 $GL_2(K)$ 或四元数代数单位群 $D^\times$）的平滑可容许模 $p$ 表示之间的对应关系。
• 核心困难：当 $K = \mathbb{Q}_{p^f}$ 且 $f > 1$ 时，$GL_2(K)$ 的平滑可容许模 $p$ 表示的数量远多于伽罗瓦侧的表示。这使得确定哪些表示可能出现在模 $p$ Langlands 对应中成为一个巨大挑战。
• 现有工作：
  • 在 $GL_2$ 情形下，BHH+23a 引入了一个特定的全子范畴 $\mathcal{C}$。
  • 在四元数情形下，HW24 引入了类似的范畴。
  • 该范畴 $\mathcal{C}$ 包含了许多由全局方法（如 Shimura 簇的模 $p$ 上同调）构造出的候选表示。
  • 已知属于 $\mathcal{C}$ 的表示具有 $\le f$ 的 Gelfand-Kirillov 维数，但其逆命题是否成立尚不清楚。
• 本文解决的问题：
  范畴 $\mathcal{C}$ 的定义依赖于表示 $\pi$ 在特定子群（如 $G_1$）上的限制及其对偶模的伴随分次结构。一个自然的问题是：判断一个表示 $\pi$ 是否属于 $\mathcal{C}$，是否可以通过其在任意小的开子群上的限制来完全确定？
  即：如果 $\pi$ 和 $\pi'$ 具有相同的中心特征标，且 $\pi'$ 属于 $\mathcal{C}$，若存在 $G_{big}$ 的某个开子群 $H$ 使得 $\pi|_H \cong \pi'|_H$，能否推出 $\pi \in \mathcal{C}$？

2. 方法论 (Methodology)

作者采用代数方法，利用 $p$-adic Lie 群的群环结构及其分次化性质来解决上述问题。主要步骤如下：

1. 群结构与 $p$-赋值 (p-valuations)：

   • 考虑 $G$ 为 $GL_2(K)$ 或四元数代数单位群模去中心的特定子群（$I_1/Z_1$ 或 $U_1/Z_1$），这是一个维数为 $3f$ 的 pro-$p$ 群。
   • 引入饱和的 $p$-赋值 $\omega: G \to (1/(p-1), \infty]$，该赋值诱导了 $G$ 的拓扑。
   • 利用 $G$ 的有序基 (ordered basis) $\{g_1, \dots, g_{3f}\}$，将群环 $\mathbb{F}[[G]]$ 同构于形式幂级数环。

2. 群环的分次化 (Associated Graded Rings)：

   • 定义群环 $\mathbb{F}[[G]]$ 上的 $\mathfrak{m}_G$-adic 滤过（其中 $\mathfrak{m}_G$ 是极大理想）。
   • 引入估值 $\nu$，使得 $\mathfrak{m}_G^j = \{x \mid \nu(x) \ge j\}$。
   • 构造伴随分次环 $\text{gr } \mathbb{F}[[G]]$。已知存在一个双边理想 $J_C$，使得 $\text{gr } \mathbb{F}[[G]] / J_C$ 是交换环。
   • 定义范畴 $\mathcal{C}$：$\pi \in \mathcal{C}$ 当且仅当其伴随对偶模的分次化 $\text{gr } \pi^\vee$ 被 $J_C$ 的某次幂零化。

3. 子群限制与新的分次模块：

   • 选取足够大的 $N$，考虑开子群 $G_{p^N}$。
   • 定义 $\mathbb{F}[[G_{p^N}]]$ 上的诱导滤过和分次代数 $\text{gr}_\nu \mathbb{F}[[G_{p^N}]]$。
   • 对于 $\mathbb{F}[[G]]$-模 $M$，定义三个相关的分次模：
     • $\text{gr } M$：标准的 $\mathfrak{m}_G$-adic 分次。
     • $\text{gr}_{N, \text{int}} M$：基于 $G_{p^N}$ 的滤过步长 $p^N$ 的内部限制分次。
     • $\text{gr}_{N, \text{res}} M$：基于 $G_{p^N}$ 子环 $\mathbb{F}[[G_{p^N}]]$ 的限制分次（关键对象，仅依赖于 $\pi|_{G_{p^N}}$）。

4. 理想构造与等价性证明：

   • 构造理想 $J_N \subset \text{gr}_\nu \mathbb{F}[[G_{p^N}]]$，它是 $J_C$ 在子群层面的“投影”或对应物。
   • 通过一系列引理（Lemma 1-4），建立以下等价链条：
     $$\pi \in \mathcal{C} \iff \text{gr } \pi^\vee \text{ 被 } J_C \text{ 的幂零化} \iff \text{gr}_{N, \text{int}} \pi^\vee \text{ 被 } J_N \text{ 的幂零化} \iff \text{gr}_{N, \text{res}} \pi^\vee \text{ 被 } J_N \text{ 的幂零化}$$
   • 核心难点在于证明 $\text{gr}_{N, \text{res}}$ 和 $\text{gr}_{N, \text{int}}$ 之间的零化条件等价性，这依赖于 $G$ 的有序基性质以及 $p$-赋值的饱和性（Saturatedness）。

3. 主要结果 (Key Results)

• 定理 1 (Theorem 1)：
  设 $\pi$ 和 $\pi'$ 是 $G_{big}$（$GL_2(K)$ 或 $D^\times$）上具有相同固定中心特征标的平滑表示。如果 $\pi' \in \mathcal{C}$ 且存在 $G_{big}$ 的某个开子群 $H$ 使得 $\pi|_H \cong \pi'|_H$，那么 $\pi \in \mathcal{C}$。

  • 这意味着范畴 $\mathcal{C}$ 的成员资格是一个局部性质（local property），完全由表示在任意小开子群上的限制决定。

• 技术推论：

  • 证明了 $\text{gr } \mathbb{F}[[G_{p^N}]]$ 是一个交换多项式环的子环，且理想 $J_N$ 的构造具有良好的代数性质。
  • 证明了在模 $p$ 表示理论中，判断是否属于特定 Langlands 候选范畴，不需要全局信息，仅需局部限制信息。

4. 贡献与意义 (Contributions and Significance)

1. 深化对范畴 $\mathcal{C}$ 的理解：
   目前范畴 $\mathcal{C}$ 仍被视为神秘且难以完全理解的。本文证明了其定义具有极强的局部性，这为研究该范畴的结构提供了新的视角。它表明 $\mathcal{C}$ 中的表示在局部行为上具有某种“刚性”或“稳定性”。

2. 为模 $p$ Langlands 对应提供工具：
   在构建模 $p$ Langlands 对应时，通常通过全局方法（Shimura 簇上同调）构造表示。如果两个表示在局部同构，且其中一个已知来自伽罗瓦侧（属于 $\mathcal{C}$），则另一个也属于 $\mathcal{C}$。这为识别哪些局部表示可以“提升”为全局 Langlands 对应提供了强有力的判别准则。

3. 方法论的推广性：
   作者指出，证明过程并不依赖于理想 $J_C$ 的具体描述，仅依赖于商环 $\text{gr } \mathbb{F}[[G]] / J_C$ 是交换的。因此，该定理可以推广到任何由类似交换商环定义的范畴 $\mathcal{C}'$。

4. 解决潜在的分类问题：
   该结果暗示，对于 $f > 1$ 时 $GL_2(K)$ 表示爆炸式增长的问题，可以通过限制在足够小的开子群上，利用 $\mathcal{C}$ 的局部特征来筛选出那些“真正”与伽罗瓦表示对应的表示。

5. 总结

Reinier Sorgdrager 的这篇论文通过精细的 $p$-adic 群环分次化技术，证明了模 $p$ Langlands 纲领中关键子范畴 $\mathcal{C}$ 的成员资格完全由表示在任意小开子群上的限制决定。这一结果不仅简化了判断表示是否属于该范畴的过程，也为进一步研究高维 $p$-adic 域上的模 $p$ 表示分类和 Langlands 对应奠定了重要的理论基础。