Lifting banal representations of classical groups

这是一份关于论文《Lifting banal representations of classical groups》（提升经典群的“平凡”表示）的详细技术总结。

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

背景：
局部朗兰兹纲领（Local Langlands Program）的核心在于研究局部非阿基米德域 $F$ 上约化群 $G(F)$ 的表示。对于一般线性群（$GL_n$），在复数域 $\mathbb{C}$ 和特征 $p$ 的有限域 $\mathbb{F}_\ell$ 上的表示理论已相当成熟（Bernstein-Zelevinsky, Vignéras 等）。然而，对于经典群（辛群、正交群、酉群），在特征非零系数域（特别是 $\mathbb{F}_\ell$）上的表示行为仍然是一个未解之谜。

核心问题：
当素数 $\ell$ 相对于群 $G$ 的规模“足够大”时（即 $\ell$ 不整除 $G$ 在剩余域 $k$ 上的点数 $|G(k)|$，这类素数被称为平凡素数 (banal prime)），$\mathbb{F}_\ell$ 上的光滑不可约表示是否能提升 (lift) 到 $\mathbb{Q}_\ell$ 上的表示？
具体而言，给定一个 $\mathbb{F}_\ell$ 上的光滑不可约表示 $\pi$，是否存在一个 $\mathbb{Q}_\ell$ 上的光滑不可约表示 $\tilde{\pi}$ 和一个 $\mathbb{Z}_\ell$-格 $o \subset \tilde{\pi}$，使得 $o \otimes_{\mathbb{Z}_\ell} \mathbb{F}_\ell \cong \pi$？

2. 方法论 (Methodology)

作者采用了一种递归构造与显式验证相结合的策略，通过检查构造步骤在模 $\ell$ 约化下的行为来证明提升的存在性。主要依赖以下四个核心支柱：

1. ** intertwining operators (交织算子) 理论：**

   • 利用 [7] 中发展的理论，在任意代数闭域 $R$（$\mathbb{F}_\ell$ 或 $\mathbb{Q}_\ell$）上定义抛物诱导表示之间的交织算子 $J_{P,P'}(\pi)$。
   • 关键引理 (Lemma 3.7)： 证明了在特定条件下（如 $\dim \text{Hom}=1$ 且交织算子正则），$\mathbb{Q}_\ell$ 上的积分结构在交织算子作用下保持封闭，且其模 $\ell$ 约化与 $\mathbb{F}_\ell$ 上的算子像一致。这是利用“平凡性”验证提升可行性的第一步。

2. 导数 (Derivatives) 理论：

   • 借用 [20, 23] 及 [3] 中针对经典群的导数理论。
   • 定义 $\rho$-reduced 表示（即不包含特定 cuspidal 表示 $\rho$ 的 Jacquet 子商）。
   • 通过导数算子 $D_\rho$ 将任意表示递归地分解为更简单的部分，从而将提升问题归结为处理特定的“约化”表示。

3. Arthur 型表示 (Representations of Arthur type)：

   • 利用 Arthur 对 tempered 表示的分类。
   • 关键引理 (Lemma 3)： 任何 tempered 表示若对所有非自对偶 cuspidal 表示 $\rho$ 都是 $\rho$-reduced 的，则它包含在一个由自对偶 cuspidal 表示诱导的表示中。这将问题简化为处理自对偶 cuspidal 表示的诱导。

4. Progenerators (生成元) 与块理论：

   • 利用 [19, 28] 的工作，将特定块（block）中的表示范畴等价于某个 Endomorphism 代数的模范畴。
   • 由于 $\ell$ 是平凡素数，cuspidal 表示在其块中是投射的（projective）。这使得在 $\mathbb{F}_\ell$ 上也能获得与 $\mathbb{Q}_\ell$ 类似的代数结构描述，从而保证提升的唯一性和存在性。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 主要定理 (Main Theorem)

定理 1 (Theorem 1)： 设 $G$ 为辛群或分裂正交群，$\ell$ 为关于 $G$ 的平凡素数。则 $G(F)$ 的任意光滑不可约 $\mathbb{F}_\ell$-表示 $\pi$ 都 admit 一个到 $\mathbb{Q}_\ell$ 的提升。

• 推论 6.1 & 6.3： 该结果推广到了更一般的经典群（包括非分裂情形和酉群）。对于一般线性群，作者给出了一个基于新方法的替代证明。
• 提升的保持性： 如果 $\tilde{\pi}$ 是 $\mathbb{Q}_\ell$ 上的积分表示且具有“平凡”的 cuspidal 支撑（banal cuspidal support），则其模 $\ell$ 约化 $r_\ell(\tilde{\pi})$ 仍然是不可约的。

3.2 非分裂情形与“平凡表示”定义

对于非分裂群，作者定义了平凡表示 (banal representation)：若其 cuspidal 支撑可以以“平凡”的方式提升，则称该表示为平凡表示。

• 推论 6.4： 任何平凡表示均可提升到 $\mathbb{Q}_\ell$。特别地，如果 $\ell$ 关于 $G$ 是平凡的，则 $G$ 的所有不可约表示都是平凡的。

3.3 离散级数表示的保持性

命题 6.1： 如果 $\pi \in \text{Irr}_{\mathbb{F}_\ell}(G)$ 存在一个本质离散级数（essentially discrete series）的提升，那么在 $\ell$ 为平凡素数时，其所有到 $\mathbb{Q}_\ell$ 的提升都是本质离散级数。这解决了提升过程中表示类型可能改变的问题。

3.4 模 Howe 对偶性 (Modular Howe Duality)

作为应用，作者在强平凡 (strongly banal) 情形下（即 $\ell$ 关于 $G(W+W^-)$ 是平凡的，意味着 $o(q) > 4n$）证明了模 Howe 对偶猜想：

• 命题 7.1： 在强平凡情形下，特定的 principal series 表示 $I(s_{m,n})$ 的模 $\ell$ 约化是不可约的。
• 定理 7.1： 证明了对于类型 I 的对偶对 $(G(W), G(V))$，在强平凡素数 $\ell$ 下，模 $\ell$ 的 Theta 对应满足 Howe 对偶性（即 Theta 提升的余核是不可约的，且保持一一对应）。这填补了 [29] 中留下的最后一步缺失，该步骤此前依赖于未明确描述的假设 (Hypothesis H)。

4. 技术细节与逻辑流

1. 基础： 首先处理 cuspidal 表示（引用 [9]），证明其可提升且约化后保持不可约。
2. 递归步骤：
   • 利用导数将任意表示 $\pi$ 与一个更简单的表示 $D_\rho(\pi)$ 联系起来。
   • 利用交织算子将 $D_\rho(\pi)$ 与 $\pi$ 重新组合。
   • 利用引理 3.7 确保在 $\mathbb{Z}_\ell$ 格上的操作与模 $\ell$ 约化兼容。
3. 分类简化： 利用 Arthur 分类将 tempered 表示简化为自对偶 cuspidal 表示的诱导。
4. 代数结构： 利用 Progenerator 理论处理诱导表示的分解，证明在 $\mathbb{F}_\ell$ 上诱导表示的半单性和长度与 $\mathbb{Q}_\ell$ 上一致。
5. 应用： 将上述提升结果应用于 Theta 对应，证明关键的主级数表示在模 $\ell$ 下保持不可约，从而验证了 Hypothesis (H)。

5. 意义 (Significance)

• 理论突破： 首次系统地建立了经典群在特征 $p$（非零特征）系数下的表示提升理论，填补了 $GL_n$ 之后的重要空白。
• 方法创新： 提供了一种不依赖具体分类（如 Arthur 分类的完整细节在模 $\ell$ 下尚不完全）的递归构造方法，通过交织算子和导数理论直接处理提升问题。
• 解决长期猜想： 彻底解决了模 Theta 对应中关于 Howe 对偶性的最后障碍，使得在强平凡情形下，模 $\ell$ 的局部朗兰兹对应和 Theta 对应理论更加完整。
• 普适性： 该方法不仅适用于分裂群，还通过定义“平凡表示”扩展到了非分裂群和酉群，展示了该框架的广泛适用性。

综上所述，该论文通过精细的代数构造和算子理论，成功证明了在“平凡”素数条件下，经典群的模 $\ell$ 表示与 $\mathbb{Q}_\ell$ 表示之间存在完美的提升对应关系，并以此推动了模朗兰兹纲领的发展。