Stability of the smooth Casselman-Jacquet functor

技術的要約：滑らかなカッセルマン・ジャケ（Casselman-Jacquet）関手の安定性

問題提起
本論文は、実簡約群、特に一般線形群 $GL_n(\mathbb{R})$ および $GL_n(\mathbb{C})$ における、中等成長率を持つ滑らかなフレシェ表現に対するベルンシュタイン・ゼレヴィン（Bernstein-Zelevinsky, BZ）濾過の包括的な理論の開発を扱っている。BZ濾過は $p$ 進群においては確立されているが、実群への拡張は、位相的な障害に直面する。古典的なカッセルマン・ジャケ関手は、ハリス・シャンドラ加群に対して定義されるものであるが、実群は完全非連結ではないため、また位相的閉包を扱う必要性があるため、中等成長率の滑らかなフレシェ表現の文脈では振る舞いが異なる。主要な課題は、これらの関手を、準アーベル的（quasi-abelian）ではあるがアーベル的ではないカテゴリー $Rep^{\infty, F}(G)$ 内において、完全性、全射性、および安定性の性質を確立することである。

手法
著者らは、関数解析と表現論を組み合わせた手法を用いており、そのアプローチは、ハリス・シャンドラ加群や、ジャケ加注（Jacquet module）に関する初期の研究（例：[AGS15a, AGS15b]）とは一線を画している。主要な手法的構成要素は以下の通りである：

1. 位相的洗練： 著者らは、結果として得られる商空間がハウスドルフ空間であることを保証するために、明示的な位相的閉包を用いてカッセルマン・ジャケ関手を定義する。彼らは、商位相およびフレシェ空間の射影テンソル積を利用して、これらの関手の構造を分析する。
2. シュワルツ代数の作用： 中心的な技法は、中等成長率の表現に対するシュワルツ代数 $S(\mathfrak{n})$（ここで $\mathfrak{n}$ は単冪根基のリー環である）の連続作用である。ディクミエ・マリア（Dixmier-Malliavin）の定理を活用することで、著者らは作用写像 $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$ の全射性を確立する。
3. セミノルムと安定性： 著者らは、カッセルマン・ジャケ加注上の特定のセミノルムの族を構築する。これらのセミノルムは、「安定性」の性質、具体的には、部分空間の共通部分 $\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. アルチン・リースの補題： カッセルマン・ワラッハ（Casselman-Wallach）表現の副カテゴリーにおいて、著者らは位相的なバージョンのアルチン・リースの補題を証明する。この補題は、関手の完全性を確立するために極めて重要であり、部分加群の共通部分がべき零イデアルの冪に対して予測通りに振る舞うことを保証する。
5. インプリミティビティ（非可換性）定理： ミラボティック部分群の文脈において、著者らはシュワルツ誘導および関手 $\Phi^+$ と $\Phi^-$ を分析するために、インプリミティビティ定理（[dCl91]による）を適用する。

主要な貢献と結果

• 関手の定義と性質： 著者らは、パラボリック部分群 $P$（単冪根基 $N$ およびそのリー環 $\mathfrak{n}$ を伴う）に対して2つの関手を定義する：

  • 部分加注関手：$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）」である（準アーベル的な意味での全射性を保存する）ことが示されており、これはエピ射をエピ射に写すことを意味する。

• カッセルマン・ワラッハ表現に対する完全性： カッセルマン・ワラッハ表現（可算、有限長、中等成長率）のカテゴリーに限定した場合、両方の関手 $CJ^\infty_P$ および $CJ^\infty_{s,P}$ は完全であることが証明される。これは、位相的なアルチン・リースの補題と、これらの関手が関わるカテゴリーがこの制限された設定においてアーベル的になるという事実に依存している。

• 実ベルンシュタイン・ゼレヴィン濾過： 主要な応用として、本論文は $GL_n$ の滑らかなフレシェ表現に対する完全なバージョンのベルンシュタイン・ゼレヴィン濾過を構築する。これには、$\Phi^-$（ジャケ関手の変種）および $\Phi^+$（放物型誘導の変種）という関手の定義、およびそれらが随伴することの証明が含まれる。著者らは、任意の表現 $\pi$ が濾過 $0 = \pi_n \subset \dots \subset \pi_0 = \pi$ を持ち、その逐次的な商がこれらの関手の像に関連しており、かつハウスドルフ的であることを確立している。

• グローバリゼーション： 本論文は、滑らかなフレシェ表現のカッセルマン・ジャケ加注が、対応するハリス・シャンドラ加注のカッセルマン・ワラッハ・グローバリゼーションと同型であることを示すグローバリゼーションの結果を確立している。

意義と主張
本論文は、中等成長率表現の枠組みにおける、実一般線形群に対するベルンシュタイン・ゼレヴィンの濾過の最初の包括的な数学的証明を提供することを主張している。著者らは、実群に特有の位相的な困難（$p$ 進の場合には存在しないもの）に対処することで、彼らの結果が先行研究（[AGS15a, AGS15b]など）を補完し、拡張するものであることを強調している。

その意義は以下の点にある：

1. ギャップの架け橋： $p$ 進的なBZ濾過の仕組みを実の世界へと見事に適応させ、位相的な違い（完全非連結性と連結性）を克服したこと。
2. 位相的な厳密性： ジャケ加注の位相を厳密に扱い、それらがハウスドルフであり、カテゴリーの操作の下で良好に振る舞うことを保証したこと。
3. 分岐則の基礎： 本研究は、$p$ 進群において確立された設計図に従い、実一般線形群の分岐則を完全に証明するための基礎的なステップとして提示されている。著者らは、安定性と完全性の結果が、将来の研究における高次の構造や単純商を計算するための前提条件であることを述べている。

本論文は、直接的な計算への適用については控えめな姿勢を維持しており、理論的な枠組みは確立されているものの、単純商や高次構造の実際の計算は、今後の著作（例：[CW26, CP25+]）における $p$ 進群のツールによって促進される旨を記している。