Stability of the smooth Casselman-Jacquet functor

技术摘要：光滑 Casselman-Jacquet 算子的稳定性

问题陈述
本文致力于为实正则群（特别是一般线性群 $GL_n(\mathbb{R})$ 和 $GL_n(\mathbb{C})$）上的光滑 Fréchet 增长率适中表示开发一套完整的 Bernstein-Zelevinsky (BZ) 过滤理论。虽然 BZ 过滤在 $p$ 进群中已非常成熟，但在扩展到实群时面临显著的拓扑障碍。经典的 Casselman-Jacquet 算子最初是为 Harish-Chandra 模定义的，由于实群缺乏全不连通性以及处理拓扑闭包的必要性，该算子在光滑 Fréchet 表示的语境下表现得有所不同。主要挑战在于，要在增长率适中的表示范畴（$Rep^{\infty, F}(G)$）内，建立这些算子的正合性、满射性以及稳定性属性，该范畴是拟阿贝尔（quasi-abelian）而非阿贝尔的。

方法论
作者结合了泛函分析与表示论，其方法有别于以往关于 Harish-Chandra 模或早期 Jacquet 模研究（例如 [AGS15a, AGS15b]）的工作。关键的方法论组成部分包括：

1. 拓扑精细化： 作者通过显式的拓扑闭包来定义 Casselman-Jacquet 算子，以确保生成的商空间是 Hausdorff 的。他们利用商拓扑和 Fréchet 空间的射影张量积来分析这些算子的结构。
2. Schwartz 代数作用： 一个核心技术是 Schwartz 代数 $S(\mathfrak{n})$（其中 $\mathfrak{n}$ 是单布型根的李代数）在增长率适中表示上的连续作用。通过利用 Dixmier-Malliavin 定理，作者确立了作用映射 $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$ 的满射性。
3. 半范数与稳定性： 本文构造了特定的一族 Casselman-Jacquet 模的半范数。这些半范数被用于证明“稳定性”属性，即交集子空间 $\bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$ 在 $\mathfrak{n}$ 的作用下是稳定的（即 $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$）。
4. Artin-Rees 引理： 对于 Casselman-Wallach 表示的子范畴，作者证明了一个拓扑版本的 Artin-Rees 引理。该引理对于建立算子的正合性至关重要，它确保了子模的交集相对于幂零理想的幂次表现得具有可预测性。
5. 不可约性定理（Imprimitivity Theorem）： 在 mirabolic 子群的语境下，作者应用不可约性定理（源自 [dCl91]）来分析 Schwartz 归纳以及算子 $\Phi^+$ 和 $\Phi^-$ 的结构。

主要贡献与结果

• 算子的定义与性质： 作者为抛物子群 $P$（其单布型根为 $N$，李代数为 $\mathfrak{n}$）定义了两个算子：

  • 子模算子：$CJ^\infty_{s,P}(\pi) = \bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$。
  • 商算子：$CJ^\infty_P(\pi) = \varprojlim \pi / \mathfrak{n}^k \cdot \pi$。
    他们证明了自然映射 $\pi \to CJ^\infty_P(\pi)$ 是满射的，从而产生一个短正合序列 $0 \to CJ^\infty_{s,P}(\pi) \to \pi \to CJ^\infty_P(\pi) \to 0$。

• 稳定性与满射性（Epiness）： 一个主要结果是子模算子的稳定性：$\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$。此外，算子 $CJ^\infty_{s,P}$ 被证明是“满射的”（epi），即在拟阿贝尔意义下将满态射映射为满态射。

• Casselman-Wallach 表示的正合性： 当限制在 Casselman-Wallach 表示（可分、有限长度、增长率适中）范畴时，证明了 $CJ^\infty_P$ 和 $CJ^\infty_{s,P}$ 均为正合算子。这依赖于拓扑 Artin-Rees 引理以及在这一受限设置下相关范畴变为阿贝尔范畴的事实。

• 实 Bernstein-Zelevinsky 过滤： 作为主要应用，本文为 $GL_n$ 的光滑 Fréchet 表示构建了一个完整的 Bernstein-Zelevinsky 过滤。这涉及定义 $\Phi^-$（Jacquet 算子的一个变体）和 $\Phi^+$（抛物归纳的一个变体）并证明它们是伴随的。作者建立说任何表示 $\pi$ 都存在一个过滤 $0 = \pi_n \subset \dots \subset \pi_0 = \pi$，其中逐层子商与这些算子的像相关且是 Hausdorff 的。

• 全局化： 本文建立了全局化结果，表明光滑 Fréchet 表示的 Casselman-Jacquet 模与相应 Harish-Chandra 模的 Casselman-Wallach 全局化是同构的。

意义与主张
本文声称提供了在增长率适中表示框架内，针对实一般线性群的 Bernstein-Zelevinsky 过滤的第一个全面的数学证明。作者强调，他们的结果通过解决实群中固有的（在 $p$ 进情况下不存在的）拓扑困难，补充并扩展了以往的工作（如 [AGS15a, AGS15b]）。

其意义在于：

1. 弥合差距： 成功地将 $p$ 进 BZ 过滤机制适配到实世界，克服了拓扑差异（全不连通性 vs. 连通性）。
2. 拓扑严谨性： 对 Jacquet 模的拓扑进行了严谨的处理，确保它们是 Hausdorff 的，并且在范畴运算下表现良好。
3. 分支律的基础： 这项工作被视为实现实一般线性群分支律全面证明的基础性步骤，遵循了在 $p$ 进群中建立的蓝图。作者指出，稳定性与正合性结果是未来工作中计算高阶结构和简单商的前提条件。

本文在直接的计算应用方面保持谦逊，指出虽然建立了理论框架，但实际的简单商和高阶结构的计算将在未来的工作中（例如 [CW26, CP25+]）通过借鉴 $p$ 进群的工具来完成。