[논문 리뷰] Locally analytic vectors in representations of locally p-adic analytic groups

Matthew Emerton|ArXiv.org|2004. 05. 07.

Advanced Algebra and Geometry인용 수 12

한 줄 요약

이 논문은 해석적 범위가 다양한 반경을 가진 바나흐 공간들의 쌓음으로서 국소 해석적 벡터를 중심으로, 국소 해석적 표현 이론의 기초 프레임워크를 수립한다. 본문은 본질적으로 적합한 표현의 개념을 도입하고, 국소 대수적일 경우 $G \times \Gamma$의 적합한 국소 해석적 표현이 그들의 가장 빠듯한 볼록 위상으로 장비되어 있음을 증명하며, 이는 $p$-진 아目前为止포르모르 및 대칭 공간을 연구하는 데 핵심적인 도구를 제공한다.

ABSTRACT

This paper develops various foundational results in the locally analytic representation theory of p-adic groups. In particular, we define the functor ``pass to locally analytic vectors'', which attaches to any continuous representation of a p-adic analytic group on a locally convex p-adic topological vector space the associated space of locally analytic vectors. Using this functor, and the point of view that its construction suggests, we establish some basic facts about admissible locally analytic representations (as defined by Schneider and Teitelbaum). We also introduce the related notion of essentially admissible locally analytic representations.

연구 동기 및 목표

• 국소 해석적 표현 이론에 대한 체계적인 프레임워크를 수립하여, 해석적 벡터의 쌓음 구조를 중심으로 한다.
• 이전에 사용된 것보다 더 정교하고 자연스러운 위상으로 $V_{\text{la}}$라는 국소 해석적 벡터의 공간을 정의하고 분석한다.
• 핵심적인 응용을 위한 $p$-진 아目前为止포르모르에 있어 필수적인 본질적으로 적합한 표현의 개념을 도입한다.
• 적합한 국소 해석적 표현에서 국소 대수적 벡터의 위상적 및 표현론적 성질을 명확히 한다.
• 산술 기하학에서의 $p$-진 대칭 공간과 코homological 구성에 대한 연구를 위한 기초 도구를 제공한다.

제안 방법

• 국소 해석적 벡터의 공간 $V_{\text{la}}$를 $G$의 해석적 열린 부분군 ${\mathbb{H}}$에 대한 ${\mathbb{H}}$-해석적 벡터 공간 $V_{{\mathbb{H}}-\text{an}}$의 국소 볼록 쌓음으로 정의한다.
• $V_{\text{la}}$에 $\mathcal{C}^{\text{la}}(G,V)$의 부분공간 위상보다 더 정교한 위상을 부여하여, 바나흐 공간들의 엄밀한 쌓음이 되게 한다.
• 차트 $(\phi, H, \mathbb{H})$를 사용하여 $G$ 위에 국소 해석적 구조를 정의하고, $H \cong \mathbb{H}(L)$를 강체 해석적 군으로 식별한다.
• 범주 $\mathcal{R}$의 대상 $W$에 대해 국소 $W$-대수적 벡터 $V_{W-\text{lalg}}$를 정의하고, 그 함수적 성질과 닫힘성을 보인다.
• 적합한 표현에서 $V_{W-\text{lalg}}$가 닫혀 있고, 기약 $W$에 대한 합이 $V_{\text{lalg}}$를 주며, 자연스러운 동형사상이 존재함을 증명한다.
• 국소 대수적인 적합한 국소 해석적 표현 $G \times \Gamma$는 $U \otimes_B W$와 동형이며, 여기서 $U$는 적합한 스무스 표현이고 $B = \text{End}_G(W)$이며, 이러한 표현은 가장 빠듯한 볼록 위상을 지닌다.

실험 결과

연구 질문

• RQ1 국소 해석적 표현에서 국소 해석적 벡터의 공간이 바나흐 공간들의 쌓음으로서의 구조를 반영하는 방식으로 어떻게 위상화될 수 있는가?
• RQ2 국소 대수적 벡터의 부분공간이 적합한 국소 해석적 표현에서 닫혀 있도록 보장하는 조건은 무엇인가?
• RQ3 적합한 국소 해석적 표현이 $G \times \Gamma$에서 스무스 부분과 대수적 부분의 텐서곱으로 어떻게 분해되는가?
• RQ4 국소 대수적 적합한 표현의 맥락에서 가장 빠듯한 볼록 위상은 어떻게 자연스럽게 유도되는가?
• RQ5 해석적 벡터의 쌓음 구조는 $p$-진 대칭 공간과 코homological 구성의 연구에서 어떤 역할을 하는가?

주요 결과

• 국소 해석적 벡터의 공간 $V_{\text{la}}$는 바나흐 공간들의 국소 볼록 쌓음이 되게 자연스럽게 위상이 부여되며, 이는 이전 연구에서 사용된 위상보다 정교하다.
• ${\mathbb{G}}$-해석적 작용을 가진 바나흐 공간 위의 표현에 대해, $V_{{\mathbb{G}}-\text{an}}$는 이러한 바나흐 공간들에서의 $G$--equivariant 사상들의 쌓음으로 정의된다.
• 표현 $V$가 $G \times \Gamma$의 적합한 국소 해석적 표현일 경우, 국소 $W$-대수적 벡터의 부분공간 $V_{W-\text{lalg}}$는 닫혀 있으며, 이는 7.2.13번 보조정리에서 보여진다.
• 직합 $\bigoplus_{W \in \hat{\mathbb{G}}} V_{W-\text{lalg}}$는 $V_{\text{lalg}}$와 자연스럽게 동형이며, 국소 대수적 벡터의 캐논리컬 분해를 확립한다.
• 국소 대수적인 적합한 국소 해석적 표현 $V$는 $G \times \Gamma$에 대해 가장 빠듯한 볼록 위상을 지닌다. 이는 7.2.14번 보조정리에서 증명되었다.
• 국소 $W$-대수적인 적합한 국소 해석적 표현은 $U \otimes_B W$ 형태로 나타나며, 여기서 $U$는 유한 차원 $K$-대수 $B = \text{End}_G(W)$ 위의 적합한 스무스 표현이다. 이는 7.2.15번 보조정리에 명시되어 있다.