[논문 리뷰] Sur la réduction des représentations cristallines de dimension 2 en poids moyens

Laurent Berger, Christophe Breuil|ArXiv.org|2005. 04. 19.

Digital Image Processing Techniques참고 문헌 2인용 수 4

한 줄 요약

이 논문은 Hodge-Tate 무게가 $0$과 $k-1$인 2차원 결정표현의 mod $p$ 축소를 계산하며, $k \in \{p+2, \dots, 2p-1\}$인 경우에 대해 $p$-진 Hecke 고유값 $a_p$의 $p$-진 절댓값에 따라 축소 유형을 완전한 공식으로 규명한다. $0 < \mathrm{val}(a_p) < 1$이면 축소는 스테인버그 유형 표현 $\mathrm{ind}(\omega_2^{k-p})$이며, $\mathrm{val}(a_p) = 1$이면 특정 mod $p$ 특징을 가진 비분해 표현임을 증명한다. 이는 [Bre03b]에서 제기된 추측을 완성한다.

ABSTRACT

We compute the reduction modulo $p$ of 2-dimensional crystalline representations whose Hodge-Tate weights are 0 and $k-1$ with $k \in \{p+2,...,2p-1\}$.

연구 동기 및 목표

• Hodge-Tate 무게가 $0$과 $k-1$인 2차원 결정표현의 mod $p$ 축소를 $k \in \{p+2, \dots, 2p-1\}$ 범위에서 완전히 분류하는 것, 특히 $0 < \mathrm{val}(a_p) \leq 1$인 경우에 초점 맞추기.
• 이전에 $\mathrm{val}(a_p) > 1$인 경우에만 증명된 [Bre03b]의 추측에서 남아 있던 경우를 $k \in \{p+2, \dots, 2p-1\}$ 및 $\mathrm{val}(a_p) \leq 1$인 경우에 대해 해결하는 것.
• 이러한 표현들에 대해 $p$-진 Langlands 대응과 mod $p$ 축소 간의 호환성을 $(\varphi,\Gamma)$-모듈과 Wach 모듈 이론을 사용하여 확립하는 것.
• Fontaine–Laffaille와 [BLZ04]의 이전 결과를 확장하는 형태로, $k$와 $a_p$에 대한 $\overline{V}_{k,a_p}$의 통일된 공식을 제공하는 것.

제안 방법

• 필터링된 $\varphi$-모듈과 Wach 모듈 이론을 사용하여, 관련된 필터링된 $\varphi$-모듈 $D_{k,a_p}$에서 결정표현 $V_{k,a_p}$를 구성하는 것.
• $\psi$-연산자를 $\varprojlim_{\psi} D^\sharp(V)$ 구성에 적용하여, $p$-진 Langlands 대응을 통해 mod $p$ 축소를 분석하는 것.
• $\mathrm{GL}_2(\mathbf{Q}_p)$에 대한 $p$-진 Langlands 대응을 활용하여 $V_{k,a_p}$를 적합한 표현 $\Pi_{k,a_p}$와 연결하고, mod $p$ 축소와의 호환성을 이용하는 것.
• $(\varphi,\Gamma)$-모듈 이론과 함숫문 $D^\sharp$를 사용하여 $V_{k,a_p}$의 축소를 $\varprojlim_{\psi} D^\sharp(\overline{V}_{k,a_p})$의 구조와 연결하는 것.
• [Col04]과 [BB04]의 결과를 적용하여 $p$-진 Langlands 대응이 mod $p$ 축소와 호환됨을 증명하는 것.
• Schur의 보조정리와 $\Gamma$-등변성을 활용하여, $\varprojlim_{\psi} D^\sharp$ 모듈 간의 비자명한 $\mathrm{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q}_p)$-등변 사상의 존재로부터 표현의 동형을 유도하는 것.

실험 결과

연구 질문

• RQ1 Hodge-Tate 무게가 $0$과 $k-1$이며, $k \in \{p+2, \dots, 2p-1\}$, $0 < \mathrm{val}(a_p) \leq 1$인 2차원 결정표현의 mod $p$ 축소는 무엇인가요?
• RQ2 $p$-진 Langlands 대응은 이러한 표현들에 대해 mod $p$ 축소와 어떻게 상호작용합니까?
• RQ3 [Bre03b]에서 제안된 $\overline{V}_{k,a_p}$의 공식이 $\mathrm{val}(a_p) = 1$ 및 $k \in \{p+2, \dots, 2p-1\}$인 경우에 증명될 수 있나요?
• RQ4 $\mathrm{val}(a_p) < 1$이고 $k \in \{p+2, \dots, 2p-1\}$일 때 $\overline{V}_{k,a_p}$의 구조는 무엇인가요?
• RQ5 $\mathcal{O}_L$-격자 선택에 관계없이 $\overline{V}_{k,a_p}$의 축소가 일정한가요? 그리고 mod $p$ 특징을 통해 어떻게 표현될 수 있나요?

주요 결과

• 모든 $k = p+2$ 및 $1 > \mathrm{val}(a_p) > 0$일 때, 축소 $\overline{V}_{k,a_p}$는 이차 특징 $\omega_2^2$의 유도 $\mathrm{ind}(\omega_2^2)$와 동형이다.
• 모든 $k = p+2$ 및 $\mathrm{val}(a_p) = 1$일 때, $\overline{V}_{k,a_p}$는 특징 $\omega \mu_\lambda$와 $\omega \mu_{\lambda^{-1}}$를 가진 비분해 확장이며, $\lambda$는 방정정식 $\lambda^2 - \overline{a_p/p}\lambda + 1 = 0$의 근이다.
• 모든 $k \in \{p+3, \dots, 2p-1\}$ 및 $1 > \mathrm{val}(a_p) > 0$일 때, $\overline{V}_{k,a_p} \simeq \mathrm{ind}(\omega_2^{k-p})$이며, 이는 스테인버그 유형 표현이다.
• 모든 $k \in \{p+3, \dots, 2p-1\}$ 및 $\mathrm{val}(a_p) = 1$일 때, $\overline{V}_{k,a_p} \simeq \begin{pmatrix} \omega^{k-2}\mu_\lambda & 0 \\ 0 & \omega\mu_{\lambda^{-1}} \end{pmatrix}$이며, $\lambda = \overline{a_p/p} \cdot (k-1)$이다.
• 축소는 $V_{k,a_p}$ 내의 $\mathcal{O}_L$-격자 선택에 영향을 받지 않으며, 이는 $\overline{V}_{k,a_p}$의 잘 정의됨을 확인한다.
• 결과는 $k \in \{p+2, \dots, 2p-1\}$인 모든 경우에 대해 [Bre03b]의 추측을 완전히 증명하며, $\mathrm{val}(a_p)$의 모든 경우를 포함한다.