[논문 리뷰] U(g)-finite locally analytic representations

Peter Schneider, Jeremy Teitelbaum|ArXiv.org|2000. 05. 08.

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

한 줄 요약

이 논문은 p-진 리군의 국소 해석적 표현에 대해 분석적 D(G,K)-모듈을 이용한 이중성 프레임워크를 개발하며, U(g)-유한한 해석적 모듈이 기약 대수적 표현과 매끄럽고 강력히 적응 가능한 표현의 유한한 합성곱으로 분해됨을 보여준다. 주요 기여는 분할, 단순 연결된 단순 복소수 군에 대해 U(g)-유한한 해석적 모듈의 완전한 구조 정리이며, SL₂(Qp)의 주요 시리즈에 응용하여 위상적 길이가 3 이하임을 증명한다.

ABSTRACT

In this paper we continue the study of locally analytic representations of a $p$-adic Lie group $G$ in vector spaces over a spherically complete non-archimedean field $K$, building on the algebraic approach to such representations introduced in our paper "Locally analytic distributions and p-adic representation theory, with applications to GL_2." In that paper we associated to a representation $V$ a module $M$ over the ring $D(G,K)$ of locally analytic distributions on $G$ and described an admissibility condition on $V$ in terms of algebraic properties of $M$. In this paper we determine the relationship between our admissibility condition on locally analytic modules and the traditional admissibility of Langlands theory. We then analyze the class of locally analytic representations with the property that their associated modules are annihilated by an ideal of finite codimension in the universal enveloping algebra of G, showing under some hypotheses on G that they are sums of representations of the form $X\otimes Y$, with X finite dimensional and Y smooth. The irreducible representations of this type are obtained when X and Y are irreducible. We conclude by analyzing the reducible members of the locally analytic principal series of $SL_2(\Qp)$.

연구 동기 및 목표

• 국소 해석적 G-표현에 대한 이중성 함수를 적용한 분석적 D(G,K)-모듈을 이용하여 p-진 리군의 국소 해석적 표현에 대한 이중성 프레임워크를 수립한다.
• U(g)-유한한 해석적 D(G,K)-모듈이 기약 성분으로의 분해에 따라 특성화됨을 밝힌다.
• 특히 그 위상적 길이에 대해 국소 해석적 주요 시리즈 표현의 구조를 규명한다.
• 매끄럽고 강력히 적응 가능한 표현이 이중성에 의해 분석적 D(G,K)-모듈을 유도하는 조건을 명확히 한다.
• 비대수적으로 닫힌 계수 체에 대해 하리시-찬드라의 강력히 적응 가능한 표현 이론을 확장한다.

제안 방법

• 이중성 함자를 국소 해석적 G-표현에 적용한 결과로 얻어지는 분석적 D(G,K)-모듈의 범주를 도입한다.
• 명시적인 위상 구조를 피하기 위해, 국소 해석적 선형 함수가 점들을 분리할 수 있음을 요구함으로써 대수적으로 분석적 모듈을 정의한다.
• 매끄러운 표현과 분석적 D(G,K)-모듈 간의 이중성 관계를 이용하여, 매끄러운 표현이 강력히 적응 가능한지의 조건을 특성화한다.
• 유리수의 유한 확장 L 위에서 정의된 재수성 군 G에 대해 이 이론을 적용하며, 분할, 단순 복소수, 단순 연결된 군에 집중한다.
• SL₂(Qp)의 국소 해석적 주요 시리즈를 분해한 D(G,K)-모듈과 그 몫을 분석함으로써 분석한다.
• 유니포텐트 루트 위의 다항함수와 미분 연산자를 이용한 명시적 계산을 통해 정확한 수열을 확립하고 부분모듈을 분석한다.

실험 결과

연구 질문

• RQ1 p-진 군의 매끄러운 표현이 이중성에 의해 언제 분석적 D(G,K)-모듈을 유도하는가?
• RQ2 Qp 위의 분할, 단순 복소수, 단순 연결된 군에 대해 U(g)-유한한 해석적 D(G,K)-모듈의 구조는 어떠한가?
• RQ3 SL₂(Qp)의 국소 해석적 주요 시리즈의 위상적 길이는 얼마인가?
• RQ4 비대수적으로 닫힌 체 위에서 강력한 적응 가능성과 유한 길이 조건이 매끄러운 표현에서 어떻게 상호작용하는가?
• RQ5 U(g)-유한한 해석적 모듈의 쌍대 표현은 기약 성분의 측면에서 어떻게 정확히 분해되는가?

주요 결과

• 매끄러운 표현이 분석적 D(G,K)-모듈을 유도하는 것은 그 표현이 강력히 적응 가능할 때이고, 오직 그 때에만 성립한다. 즉, 컴acts 열린 부분군의 기약 표현의 중복도가 유한할 때이다.
• 유한 확장 L 위에서 유한 길이를 가진 매끄러운 표현은 항상 강력히 적응 가능하며, 이는 하리시-찬드라의 결과를 비대수적으로 닫힌 계수 체로 확장한 것이다.
• 분할, 단순 복소수, 단순 연결된 군에 대해 U(g)-유한한 해석적 D(G,K)-모듈은 E ⊗ Hom(V,K) 형태의 모듈의 유한한 합으로 분해되며, 여기서 E는 유한차원 기약 대수적이고 V는 매끄럽고 강력히 적응 가능한 표현이다.
• 쌍대 표현 E* ⊗ V 는 K[G]-모듈로서 단순하다면 오직 V 가 기약일 때에만 성립한다.
• SL₂(Qp)의 국소 해석적 주요 시리즈는 위상적 길이가 3 이하이며, 모리타의 결과를 다른 방법으로 확인한 것이다.
• 유도 표현 위의 상호작용 연산자의 핵은 조르당-횔더 급수를 이루며, 그 구성원은 유도된 대수적 표현과 기약 매끄러운 표현의 쌍대 표현의 텐서곱과 동형이다.