[논문 리뷰] Locally analytic distributions and p-adic representation theory, with applications to GL_2

Peter Schneider, Jeremy Teitelbaum|ArXiv.org|1999. 12. 09.

Advanced Algebra and Geometry참고 문헌 2인용 수 19

한 줄 요약

이 논문은 $GL_2(\mathbb{Q}_p)$와 같은 국소적으로 $L$-해석적 군에 대해 연속 표현을 국소 해석적 분포 대수 $D(G,K)$를 통해 대수화함으로써 '허용 가능한' 표현의 범주를 도입한다. $p$-진 주요 시리즈와 관련된 $D(GL_2(\mathbb{Q}_p),K)$-모듈의 대수적 단순성을 증명하여, 이전 접근 방식의 결함을 극복하는 새로운 방법으로 위상적 기약성을 확보한다.

ABSTRACT

Let L be a finite extension of Qp, and let K be a spherically complete non-archimedean extension field of L. In this paper we introduce a restricted category of continuous representations of locally L-analytic groups G in locally convex K-vector spaces. We call the objects of this category "admissible" representations and we establish some of their basic properties. Most importantly we show that (at least when G is compact) the category of admissible representations in our sense can be algebraized; it is faithfully full (anti)-embedded into the category of modules over the locally analytic distribution algebra D(G,K) of G over K. As an application of our theory, we prove the topological irreducibility of generic members of the p-adic principal series of GL(2,Qp).

연구 동기 및 목표

• 국소적으로 $L$-해석적 군에 대해 바나흐 공간 표현에서 발생하는 병리로 인해 방해받는 연속적인 $K$-값 표현 이론을 다룰 수 있는 체계적인 이론을 개발하기 위해.
• 국소 볼록 $K$-벡터 공간에서 연속 표현의 제한된 범주로 '허용 가능한' 표현을 정의하고, 다루기 쉽게 하기 위한 유한성 조건을 확보하기 위해.
• 국소 해석적 분포 대수 $D(G,K)$-모듈과의 충실한 반대이sov레인지 관계를 통해 허용 가능한 표현의 범주를 대수화하기 위해.
• 이론을 적용하여 $GL_2(\mathbb{Q}_p)$의 일반적인 $p$-진 주요 시리즈 표현의 위상적 기약성을 증명하고, 모리타가 이전에 제시한 결함이 있는 증명을 수정하기 위해.
• 새로운 대수화 프레임워크를 사용하여 $p$-진 주요 시리즈 간의 상호작용 연산자에 대한 모리타의 결과를 강화하기 위해.

제안 방법

• $K$가 $L$의 구면 완비 비아르키메데스 확장일 때, 국소 볼록 $K$-벡터 공간에서 연속 표현으로서의 허용 가능한 표현의 범주를 도입한다.
• 표현 이론을 대수화하기 위해 국소 해석적 분포 대수 $D(G,K)$를 도구로 사용하며, 위상적 기약성 대신 대수적 단순성을 사용한다.
• 암스의 $D(\mathbb{Z}_p,K)$와 열린 $p$-진 단위 디스크 위의 멱급수 간의 푸리에 등장사상(이sov레인지)을 활용하여 분포 대수를 분석한다.
• 라자드의 결과를 활용하여 $K$ 위의 멱급수환에서 모든 약수가 주어진다는 사실을 이용하여 $L=\mathbb{Q}_p$일 때 $D(o_L,K)$의 구조를 분석한다.
• 기본 시리즈 표현에서 $D(G,K)$-모듈의 몫으로의 $G$--equivariant, 연속적, 비영인 사상 $I$를 구성함으로써 기약성을 확보한다.
• 기본 시리즈 내의 국소 다항식 함수 공간이 유한차원 공간들의 직접극한이므로 그 이중공간이 전체 대수적 이중공간이 되며, 이를 통해 부분몫공간을 분석한다.

실험 결과

연구 질문

• RQ1 바나흐 공간 표현에서 발생하는 병리로 인해 국소적으로 $L$-해석적 군에 대해 연속적인 $K$-값 표현 이론을 통합적이고 다룰 수 있는 형태로 개발할 수 있는가?
• RQ2 허용 가능한 표현의 범주는 국소 해석적 분포 대수 $D(G,K)$-모듈의 범주와 동치인가?
• RQ3 모리타의 접근 방식에서 발생하는 결함을 피하면서, $GL_2(\mathbb{Q}_p)$의 $p$-진 주요 시리즈의 위상적 기약성을 대수적 방법으로 증명할 수 있는가?
• RQ4 $GL_2(\mathbb{Q}_p)$의 $D(GL_2(\mathbb{Q}_p),K)$-모듈은 어떤 구조를 가지며, 대수적으로 단순한가?
• RQ5 새로운 프레임워크를 사용하여 $p$-진 주요 시리즈 표현 간의 상호작용 연산자는 어떻게 행동하며, 더 정확하게 묘사할 수 있는가?

주요 결과

• 콤팩트한 국소적으로 $L$-해석적 군 $G$에 대해 허용 가능한 표현의 범주는 국소 해석적 분포 대수 $D(G,K)$-모듈의 범주에 충실하고 완전한 반대이sov레인지 관계로 매립된다.
• $G = GL_2(\mathbb{Q}_p)$일 때, $p$-진 주요 시리즈와 관련된 $D(G,K)$-모듈은 대수적으로 단순하다. 이는 위상적 기약성을 의미한다.
• 기약성 증명은 '지역 기약성'에 의존하는 모리타의 추론의 결함을 극복하기 위해 새로운 방법으로 표현의 대수화를 활용한 것으로, 이는 기존의 결함을 피한다.
• 기본 시리즈 내의 국소 다항식 함수 공간은 $({\mathfrak{gl}}_2(\mathbb{Q}_p),G)$-모듈로서 단순하거나 두 단계의 필터링을 가지며, 그 부분몫공간은 단순하다.
• $M_\chi / M_\chi^{(0)}$는 국소 다항식 함수 공간의 전체 대수적 이중공간과 동형이며, 그 부분몫공간은 일반적으로 $D(G,K)$-모듈로서 단순하지 않다.
• 논문의 보조정리 6.2의 증명에서 구성된 사상 $I$는 $G$-equivariant하고 연속적이며 비영이며, 이는 모리타의 연구에서 덜 개념적인 형태로 나타나 있으며, 카슬먼에게 귀속된다.