[논문 리뷰] A Formula for the Geometric Jacquet Functor and its Character Sheaf Analogue

Tsao-Hsien Chen, Alexander Yom Din|arXiv (Cornell University)|2015. 07. 02.

Advanced Algebra and Geometry참고 문헌 9인용 수 4

한 줄 요약

이 논문은 대칭 공간의 맥락에서 '아름다운 분해(degeneration)'를 통해 기본 아핀 공간 $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.

연구 동기 및 목표

• 대칭 공간에서 분해 기법을 사용하여 자크-함자에 대한 기하적 프레임워크를 개발한다.
• 기본 아핀 공간 $MN\backslash G$로의 $K\backslash G$의 '아름다운 분해'와 관련된 근처 순환 함자에 대한 공식을 수립한다.
• 특성층의 범주에서 이 함자가 두 평균화 함자의 합성과 동형임을 증명한다.
• 이 공식을 적용하여 하리슈-차ンド라 모듈에 대한 캐슬먼의 부분모듈 정리와 두 번째 동반성 정리를 기하학적으로 증명한다.

제안 방법

• 기본 아핀 공간으로의 $K$의 분해를 $MN$과 $M\bar{N}$으로 하는 ${\mathbb{G}}_m$-여기론 분해 $f: \widetilde{X} = \widetilde{K}\backslash \widetilde{G} \to \mathbb{P}^1$를 구성한다. $t=0$과 $t=\infty$에서 각각 $\widetilde{K}$는 $MN$과 $M\bar{N}$로 분해된다.
• 근처 순환 함자 $\psi_f$와 열린 스트럼 $X^\circ \cong \mathbb{G}_m \times X_1$에서 $X_1$로의 당김 $a_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$와 평균화 함자들이 편향된 $t$-구조 하에서 $t$-정확함을 이용하여 동형을 확립한다.
• 표현의 제어된 무게를 가진 $G$의 표현을 사용하여, $K_t(k)$를 유한 차수 부분군으로 포함하는 $\mathbb{A}^1$-값을 가진 사상 $f: \mathbb{A}^1 \to Y$를 갖는 명시적 $G$-다양체 $Y$를 구성한다.
• 낮은 무게 표현과 코차수를 포함한 표현 이론적 접근을 사용하여 안정자들을 제어하고, 원하는 기하적 성질을 검증한다.

실험 결과

연구 질문

• RQ1 대칭 공간의 '아름다운 분해'와 관련된 근처 순환 함자는 표준 기하학적 함자들로 어떻게 표현될 수 있는가?
• RQ2 특성층 위에서 극한 함자 $L_\gamma$는 평균화 함자들의 합성과 동형인가?
• RQ3 기하학적 자크-함자는 $D$-모듈러스 또는 $\ell$-adic 층의 맥락에서 분해와 근처 순환 함자를 통해 어떻게 특징지어질 수 있는가?
• RQ4 동형 $L_\gamma \simeq \operatorname{av}_{MN}^{M\bar{N}} \circ \operatorname{Av}_{M\bar{N}}^K$는 하리슈-차ンド라 모듈에 대해 $t$-정확성과 동반성 성질을 유도하는가?
• RQ5 이 기하학적 접근은 캐슬먼의 부분모듈 정리와 두 번째 동반성 정리에 대해 새로운 증명을 제공할 수 있는가?

주요 결과

• 특성층의 범주 $D\mathcal{CS}(X_1/K)$에서 극한 함자 $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$는 편향된 $t$-구조 하에서 $t$-정확하다.
• $L_\gamma$는 좌측 및 우측 동반함자를 모두 갖는다. 이는 동형과 $t$-정확성의 결과이다.
• 기하학적 접근은 하리슈-차ンド라 모듈에 대한 캐슬먼의 부분모듈 정리에 대해 새로운 증명을 제공한다.
• 하리슈-차ンド라 모듈에 대한 두 번째 동반성 정리는 분해에 의해 유도되는 유도 동치를 통해 기하학적으로 확립된다.
• 이 구성은 $D$-모듈러스, $\ell$-adic, 그리고 구조적 층 설정 모두에서 유효하며, 이는 이전의 $p$-진 함수 이론 설정에서의 결과를 일반화한다.