[논문 리뷰] Diagrammes canoniques et representations modulo $p$ de $\GL_2(F)$

Yongquan Hu|arXiv (Cornell University)|2009. 04. 26.

Advanced Algebra and Geometry참고 문헌 8인용 수 3

한 줄 요약

이 논문은 잔여 특성 $p$를 가진 비아르키메데스 현지체 $F$ 위에서의 $¯{\mathbb{F}}_p$ 값의 기약 스무스 $¯{\mathrm{GL}}_2(F)$-표현에 대해 표준 다이어그램 구축을 제안한다. 이는 원래 표현이 이 다이어그램에 의해 동형을 제외하고 완전히 결정됨을 증명하며, 특히 $F = \mathbb{Q}_p$ 또는 $\pi$가 비초승격인 경우의 핵심 케이스에서 다이어그램을 명시적으로 계산한다.

ABSTRACT

Let $p$ be a prime number and $F$ a local field with residual characteristic $p$. In this article, to an irreducible smooth representation of $GL_2(F)$ over $\bar{\mathbf{F}}_p$ with central character, we associate canonically a diagram which determines the original representation up to isomorphism. We also determine it in some cases.

연구 동기 및 목표

• 표현의 중심 문자를 가진 $¯{\mathrm{GL}}_2(F)$-표현의 기약 스무스 표현을 분류하는 표준 다이어그램 불변량을 수립하는 것.
• 파스크운스의 다이어그램 프레임워크를 확장하여 다이어그램 불변량으로부터 표현을 명시적으로 복원하는 것.
• 다이어그램의 유한성 성질과 표현의 적합성 또는 유한 표현성 사이의 관계를 명확히 하는 것.
• 비초승격인 경우와 $F = \mathbb{Q}_p$인 경우에 대해 표준 다이어그램을 명시적으로 계산하는 것.
• $I_1$-불변량의 구조와 그것이 다이어그램 성분을 결정하는 데서 수행하는 역할을 조사하는 것.

제안 방법

• 다이어그램 $D(\pi) = (D_0(\pi), D_1(\pi), \mathrm{can})$를 정의하며, 여기서 $D_1(\pi) = \pi^{I_1}$ 이고 $D_0(\pi) = \langle KZ \cdot D_1(\pi) \rangle$ 이다.
• 다이어그램의 범주에서 스무스 $G$-표현으로 가는 함자 $H_0$를 사용하여 $H_0(D(\pi)) \cong \pi$ 를 증명한다.
• 브라하트-티스 트리 위의 계수 체계 이론과 $I_1$-불변량을 활용하여 $D_1(\pi)$ 의 구조를 분석한다.
• 표현에 작용하는 헤크 연산자 $T$와 $S$를 이용하여 불변량과 필터링을 계산한다.
• 프로베누스의 상호법칙과 컴팩트 유도의 구조를 활용하여 $D_1(\pi)$ 와 $\pi$-불변량 사이의 관계를 규명한다.
• $F = \mathbb{Q}_p$ 인 경우와 비초승격 표현에 대해 명시적인 계산을 수행하여 다이어그램 복원의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 표현의 중심 문자를 가진 기약 스무스 $¯{\mathrm{GL}}_2(F)$-표현이 표준 다이어그램으로부터 동형을 제외하고 복원 가능한가?
• RQ2 $D_1(\pi)$, 즉 $I_1$-불변부분공간의 정확한 구조는 원래 표현 $\pi$ 에 대해 어떻게 기술할 수 있는가?
• RQ3 다이어그램 성분의 유한성 조건은 표현의 적합성과 유한 표현성과 어떻게 관련되어 있는가?
• RQ4 $D_1(\pi) = \pi^{I_1}$ 이 성립하는 조건은 무엇이며, 언제 $D_1(\pi) = \pi$ 가 성립하는가?
• RQ5 특히 $F = \mathbb{Q}_p$ 또는 비초승격 표현인 경우에 대해 표준 다이어그램을 명시적으로 계산할 수 있는가?

주요 결과

• 자연스러운 동형사상 $H_0(D(\pi)) \cong \pi$ 가 존재하여, 표준 다이어그램 $D(\pi)$ 가 $\pi$ 를 동형을 제외하고 완전히 결정함을 증명한다.
• $D_1(\pi) = \pi^{I_1}$ 는 항상 성립하며, $F$ 가 특성 $p$ 를 가지며 $\pi$ 가 초승격인 경우 $D_1(\pi) = \pi$ 가 성립한다.
• $F = \mathbb{Q}_p$ 인 경우 $D_1(\pi) = \pi^{I_1}$ 가 성립하며, 다이어그램은 명시적으로 계산 가능하다.
• $D_1(\pi)$ 가 유한차원임, $\pi$ 가 유한 표현을 가짐, $\pi$ 가 표준 표현을 가짐의 조건은 모두 동치이다.
• 이 유한성 조건 중 하나가 성립하면, $\pi$ 는 적합하며, 공간 $I^+(\pi)^{\left(\begin{smallmatrix}1&\mathcal{O}\\0&1\end{smallmatrix}\right)}$ 는 유한차원이 된다.
• 비초승격인 경우, $D_1(\pi) = \pi^{I_1}$ 이며, 다이어그램은 $I_1$-불변량과 그 $KZ$-스팬으로 구성된다.