[論文レビュー] A Formula for the Geometric Jacquet Functor and its Character Sheaf Analogue

Tsao-Hsien Chen, Alexander Yom Din|arXiv (Cornell University)|Jul 2, 2015

Advanced Algebra and Geometry参考文献 9被引用数 4

ひとこと要約

本稿は、対称空間の文脈において、『わくわくする退化』によってベースアフィン空間 $MN\backslash G$ に至る際に、近傍サイクル関手の幾何的公式を確立する。この関手が、キャラクターシーブス上で二つの平均化関手の合成と同型であることを証明し、カスエルマンの部分加群定理およびハリシュ・チャンドラモジュールの第二随伴定理の幾何的証明を提供する。

ABSTRACT

Let (G,K) be a symmetric pair over the complex numbers, and let X=K\G be the corresponding symmetric space. In this paper we study a nearby cycles functor associated to a degeneration of X to MN\G, which we call the "wonderful degeneration". We show that on the category of character sheaves on X, this functor is isomorphic to a composition of two averaging functors (a parallel result, on the level of functions in the p-adic setting, was obtained in [BK, SV]). As an application, we obtain a formula for the geometric Jacquet functor of [ENV] and use this formula to give a geometric proof of the celebrated Casselman's submodule theorem and establish a second adjointness theorem for Harish-Chandra modules.

研究の動機と目的

• 対称空間における退化技術を用いたジャケット関手の幾何的枠組みの構築。
• $K\backslash G$ から $MN\backslash G$ への『わくわくする退化』に関連する近傍サイクル関手の公式の確立。
• キャラクターシーブスの圏上で、この関手が二つの平均化関手の合成と同型であることを証明する。
• この公式を応用し、ハリシュ・チャンドラモジュールのカスエルマンの部分加群定理および第二随伴定理の幾何的証明を与える。

提案手法

• ${\mathbb{G}}_m$-不変な退化 $f: \widetilde{X} = \widetilde{K}\backslash \widetilde{G} \to \mathbb{P}^1$ を構成し、ここで $\widetilde{K}$ は $t=0$ で $MN$ に、$t=\infty$ で $M\bar{N}$ に退化する。
• 開ストラトゥム $X^\circ \cong \mathbb{G}_m \times X_1$ から $X_1$ への引き戻し $a_f^*$ と近傍サイクル関手 $\psi_f$ の合成として、極限関手 $L_\gamma := \psi_f \circ a_f^*$ を定義する。
• 等変導来圏および $!$-および $*$-平均化関手の理論を用いて、$L_\gamma$ をキャラクターシーブスの圏上で $\operatorname{av}_{MN}^{M\bar{N}} \circ \operatorname{Av}_{M\bar{N}}^K$ と関連付ける。
• 近傍サイクル関手 $L_\gamma$ と平均化関手が perverse $t$-構造に関して $t$-正確であることを利用して、同型を確立する。
• 表現の重みを制御する $G$-多様体 $Y$ を明示的に構成し、$\mathbb{A}^1$-値写像 $f: \mathbb{A}^1 \to Y$ を用いて、$f(t)$ の安定化部分群が $K_t(k)$ を有限指数部分群として含むようにする。
• 最低重量表現とコアコアリスを用いた表現論的議論により、安定化部分群を制御し、望ましい幾何的性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 対称空間の『わくわくする退化』に関連する近傍サイクル関手は、標準的な幾何的関手の言葉でどのように表現できるか？
• RQ2 キャラクターシーブス上で極限関手 $L_\gamma$ は、平均化関手の合成と同型か？
• RQ3 $D$-加群または $\ell$-進層の文脈において、退化と近傍サイクルを用いた幾何的ジャケット関手は、どのように特徴づけられるか？
• RQ4 $L_\gamma \simeq \operatorname{av}_{MN}^{M\bar{N}} \circ \operatorname{Av}_{M\bar{N}}^K$ の同型は、ハリシュ・チャンドラモジュールの $t$-正確性および随伴性の性質を示唆するか？
• RQ5 この幾何的アプローチにより、カスエルマンの部分加群定理および第二随伴定理の新しい証明が得られるか？

主な発見

• 極限関手 $L_\gamma: D\mathcal{CS}(X_1/K) \to D(X_0/K)$ は、キャラクターシーブスの圏上で自然に $\operatorname{av}_{MN}^{M\bar{N}} \circ \operatorname{Av}_{M\bar{N}}^K$ と同型である。
• $\operatorname{av}_{MN}^{M\bar{N}} \circ \operatorname{Av}_{M\bar{N}}^K$ の合成は、 perverse $t$-構造に関して $t$-正確である。
• $L_\gamma$ は左および右の随伴を持つ。これは同型および $t$-正確性の結果である。
• 幾何的アプローチにより、ハリシュ・チャンドラモジュールのカスエルマンの部分加群定理の新しい証明が得られる。
• 退化によって誘導される導来同値により、ハリシュ・チャンドラモジュールの第二随伴定理が幾何的に確立される。
• この構成は、$D$-加群、$\ell$-進層、および可構成層の設定において有効であり、$p$-進関数論的設定における先行結果を一般化する。