[논문 리뷰] Admissible unitary completions of locally $Q_p$-rational representations of $GL_2(F)$

Vytautas Paškūnas|ArXiv.org|2008. 05. 07.

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

한 줄 요약

이 논문은 $p$-진 수체 $F$에 대한 $\mathrm{GL}_2(F)$의 국소적으로 $\mathbb{Q}_p$-유리 표현에 대해 격자 이론과 표현 이론을 사용하여 허용 가능한 유니터리 완비를 구성한다. 주요 결과로는 $L'$-바나흐 공간 표현이 존재하며, 이는 $\pi \otimes_{L'} W_{L'}$와 동형인 $G$-불변 밀집 부분공간을 포함하고, 특정 모드 $p$ 표현으로의 비자명한 Hom 공간을 가지며, $F = \mathbb{Q}_p$일 때 갈루아 표현과 연결된다. 이 구성은 $L$-벡터 공간 위의 스무스 표현에 적용되며, 주어진 허수-테이트 무게를 갖는 크리스탈린 표현으로 모드 $p$ 갈루아 표현을 올리는 데 위한 프레임워크를 제공한다.

ABSTRACT

Let $F$ be a finite extension of $Q_p$, $p>2$. We construct admissible unitary completions of certain representations of $GL_2(F)$ on $L$-vector spaces, where $L$ is a finite extension of $F$. When $F=Q_p$ using the results of Berger, Breuil and Colmez we obtain some results about lifting 2-dimensional mod $p$ representations of the absolute Galois group of $Q_p$ to crystabelline representations with given Hodge-Tate weights.

연구 동기 및 목표

• 국소적으로 $\mathbb{Q}_p$-유리 표현을 완비하는 $\mathrm{GL}_2(F)$에 대한 허용 가능한 유니터리 바나흐 공간 표현을 구성한다.
• 모든 $F = \mathbb{Q}_p$일 때 2차원 모드 $p$ 갈루아 표현이 주어진 허수-테이트 무게를 갖는 크리스탈린 표현으로 올라가는 메커니즘을 확립한다.
• 이러한 완비가 $K$-유형, 격자, 모드 $p$ 표현의 준단순화를 포함하는 체계적인 구성에서 유래됨을 보여준다.
• 모든 허용 가능한 유니터리 완비가 제안된 구성에서 유래됨을 보여주며, 분류의 완전성을 확보한다.
• 비산술적 모드 $p$ 표현이 유니터리 완비의 맥락에서 수행하는 역할을 명확히 하고, 이 이론에서 배제됨을 밝힌다.

제안 방법

• 표현 $\tau$가 $K = \mathrm{GL}_2(\mathfrak{o})$의 스무스 기약 $L$-표현이고 $W$가 $G$의 $\mathbb{Q}_p$-유리 표현일 때, $\tau \otimes W$의 $K$-불변 격자를 사용한다.
• 표현 이론의 유형 이론과 버네스타인 성분을 사용하여 $\mathfrak{R}_{\mathfrak{s}}$ 내의 표현을 분류한다. 여기서 $\mathfrak{R}_{\mathfrak{s}}$는 $G$의 스무스 표현의 범주이다.
• 표현 $\kappa$를 모드 $p$ 표현에서 올리기 위해, $M$이 $\tau \otimes W$의 격자일 때, $M \otimes_A k$ 내의 부분상자 $\sigma$의 존재를 활용한다.
• 유도 표현의 구조와 $\operatorname{Sym}^n k_L^2$의 준단순화를 사용하여 부분상자를 분석하고 중심 문자를 분석한다.
• 핵심 기술 도구는 $A$-모듈의 범주에서 완비된 군 대수와 사영/입사 포함 구조를 사용하는 것으로, 여기서 $A$는 $\mathbb{Q}_p$의 유한 확장 $L$의 정수환이다.
• 이 구성은 보편적임이 입증된다: 모든 허용 가능한 유니터리 완비는 이 방법으로 유래되며, 이는 6.2조와 7.8레마를 통해 증명된다.

실험 결과

연구 질문

• RQ1 국소적으로 $\mathbb{Q}_p$-유리 표현을 갖는 $\mathrm{GL}_2(F)$에 대해, $F$가 $\mathbb{Q}_p$의 유한 확장일 때 허용 가능한 유니터리 완비를 구성할 수 있는가?
• RQ2 모드 $p$ 표현 $\kappa$가 단위 공의 비자명한 Hom 공간을 갖는 유니터리 바나흐 공간 표현으로 올라가는 조건은 무엇인가?
• RQ3 베르제, 브뤼엘, 콜므의 $p$-진 호지 이론 결과는 모드 $p$ 갈루아 표현이 크리스탈린 표현으로 올라가는 데 어떻게 관련되는가?
• RQ4 유형 $\tau$와 그 격자 $M$은 이러한 완비를 구성하는 데 어떤 역할을 하는가?
• RQ5 결과로 얻어진 완비는 위상적으로 기약인가, 그리고 언제 '보통'이 아니게 되는가?

주요 결과

• $p > 2$일 때, $K$의 일반적인 스무스 기약 $L$-표현 $\tau$와 $\mathbb{Q}_p$-유리 표현 $W$가 주어지면, $L$의 유한 확장 $L'$과 허용 가능한 유니터리 $L'$-바나흐 공간 표현 $E$가 존재하여, 어떤 $\pi \in \mathfrak{R}_{\mathfrak{s}}$에 대해 $\pi \otimes_{L'} W_{L'}$가 $E$에 밀집한다.
• 구성은 $\operatorname{Hom}_G(\kappa \otimes_k k', E^0 \otimes_{A'} k') \neq 0$를 보장하며, 여기서 $E^0$은 $E$의 단위 공이다. 이는 완비와 모드 $p$ 표현 $\kappa$ 사이의 연결 고리를 제공한다.
• $F = \mathbb{Q}_p$일 때, 베르제, 브뤼엘, 콜므의 결과는 완비가 위상적으로 기약이며, 주어진 허수-테이트 무게를 갖는 크리스탈린 갈루아 표현으로 올라간다는 것을 암시한다.
• 완비는 일반적으로 보통이 아니며, 특히 $\kappa$가 초기형일 경우 관련 $p$-진 갈루아 표현의 비보통 성격을 나타낸다.
• 6.2조와 7.8레마를 통해 모든 허용 가능한 유니터리 완비가 제안된 구성에서 유래됨을 보여주었으며, 이는 방법의 보편성을 확립한다.
• $\operatorname{Sym}^n k_L^2$의 준단순화는 $p$-진 자릿수로 명시적으로 계산되었으며, 이 구조는 $n \geq p^2 - 1$일 때 중심 문자 $\omega^n$을 갖는 모든 기약 $k_L$-표현이 부분상자로 나타남을 보여주는 데 사용된다.