[논문 리뷰] Explicit reduction modulo $p$ of certain crystalline representations

Kevin Buzzard, Toby Gee|arXiv (Cornell University)|2008. 04. 08.

Advanced Algebra and Geometry참고 문헌 6인용 수 5

한 줄 요약

이 논문은 $p$-adic 국소 Langlands 대응을 통해 $\mathrm{GL}_2(\mathbf{Q}_p)$에 대한 $p$-진 국소 Langlands 대응을 이용하여, 작은 $p$-adic 기울기를 가진 모듈러 형식에 관련된 2차원 크리스탈리언 표현의 mod $p$ 축소를 명시적으로 계산한다. 주요 결과는 $p \nmid N$ 이고 $0 < v(a_p) < 1$일 때, 무게, 문자, $q$-전개 계수에 따라 $\overline{\rho}_f|_{D_p}^{ss}$의 완전한 분류를 제공하며, 이는 세미단순 mod $p$ Galois 표현이 항상 레벨 2의 기본 문자로의 유도이거나, 비분해 가능하고 무작위 및 순환 문자를 갖는 분해 가능임을 보여준다.

ABSTRACT

We use the p-adic local Langlands correspondence for GL_2(Q_p) to explicitly compute the reduction modulo p of crystalline representations of small slope, and give applications to modular forms.

연구 동기 및 목표

• 모듈러 형식에 관련된 2차원 크리스탈리언 표현의 mod $p$ 축소를 $p \nmid N$ 이고 기울기 $v(a_p)$ 가 작을 때 명시적으로 결정하는 것.
• 유리한 경우에 $\overline{\rho}_f|_{D_p}^{ss}$ 가 무게, 문자, $f$의 $q$-전개로부터 읽어들일 수 있는지에 대한 실용적 문제를 해결하는 것.
• 모듈러 형식의 국소 Galois 표현에 대한 기존 결과를 $p$-진 국소 Langlands 대응을 이용해 mod $p$ 설정으로 확장하는 것.
• 무게 $k \geq p+3$ 이고 $0 < v(a_p) < 1$ 이며, $p$ 와 서로소인 수준을 가진 모듈러 형식에 대해 세미단순 mod $p$ 국소 Galois 표현의 완전한 분류를 제공하는 것.

제안 방법

• $\mathrm{GL}_2(\mathbf{Q}_p)$에 대한 $p$-진 국소 Langlands 대응을 사용하여 $p$-진 Galois 표현을 $\mathrm{GL}_2(\mathbf{Q}_p)$의 스무스 표현과 연결하는 것.
• $\overline{\mathbf{Z}}_p$를 계수로 가지는 모듈러 형식의 공간에서 히케 연산자 $T_p$의 작용을 분석하며, 이는 mod $p$ 축소에서의 이미지에 집중한다.
• 유도 표현 $\operatorname{ind}_{KZ}^G(\operatorname{Sym}^r(\overline{\mathbf{Q}}_p^2))$에서 히케 연산자 $T$에 대한 명시적 공식을 적용하여, mod $p$ 몫 $\overline{\Theta}_{k,a_p}$의 구조를 연구하는 것.
• 특히 $\omega_2$를 포함한 레벨 2의 기본 문자 이론을 사용하여, 기약 mod $p$ Galois 표현을 이차 확장으로부터 유도된 것으로 분류하는 것.
• 국소 클래스 체계 이론을 활용하여 mod $p$ Galois 표현을 $\mathbf{Q}_p^\times$ 및 $\mathbf{Q}_{p^2}^\times$의 문자로 해석함으로써 명시적 분류를 가능하게 하는 것.
• [AS86] 및 [Bre03b]의 결과를 적용하여, 특히 수준 1 형식에 대해 작은 $p$에 대해 유한한 확인으로 분류를 단순화하는 것.

실험 결과

연구 질문

• RQ1 모듈러 형식 $f$에 대해 $p \nmid N$ 이면, 무게, 문자, $q$-전개로부터 $\overline{\rho}_f|_{D_p}^{ss}$ 가 명시적으로 결정될 수 있는가?
• RQ2 무게 $k \geq p+3$ 이고 $0 < v(a_p) < 1$ 인 경우, $\overline{\rho}_f|_{D_p}^{ss}$ 의 구조는 어떠한가?
• RQ3 작은 기울기 영역에서 $\overline{\rho}_f|_{D_p}^{ss}$ 가 언제 기약 또는 분해 가능해지는가?
• RQ4 수준 1 모듈러 형식에 대해 $p \leq 53$ 에서 $(0,1)$ 간격의 기울기가 발생하는가?
• RQ5 mod $p$ 국소 Galois 표현은 $p$-adic 기울기와 무게에 의해만 결정되는가, 아니면 $\mathcal{L}$-정수가 역할을 하는가?

주요 결과

• 무게 $k \geq p+3$, 수준이 $p$ 와 서로소이며 $0 < v(a_p) < 1$ 인 경우, mod $p$ Galois 표현 $\overline{\rho}_f|_{D_p}^{ss}$ 는 어떤 $g \in [0, p-2]$ 에 대해 $\operatorname{ind}(\omega_2^{g+1})$ 와 동형이거나, $k \equiv 3 \pmod{p-1}$ 이면 $\omega \oplus \omega$ 와 같이 분해 가능하다.
• 세미단순 mod $p$ 표현 $\overline{\rho}_f|_{D_p}^{ss}$ 는 Iwahori 부분군의 표현 $\sigma_s$ 에서 유도된 $I(\sigma_s)$ 의 몫이며, $s \equiv p-1 - r \pmod{p-1}$ 이고 $r = k-2$ 이다.
• $k \geq p+3$ 이고 $0 < v(a_p) < 1$ 이면, 공간 $X(k,a_p)$ 는 $\overline{\theta}\sigma_{r-(p+1)}$ 와 $y^r$ 에 의해 생성되는 부분표현의 이미지를 포함하며, 이는 차원 $p-1$ 의 부분표현에 의한 몫이 된다.
• $2 \leq p \leq 53$ 에서는 수준 1 모듈러 형식 중에서 $p$-adic 기울기가 $(0,1)$ 간격에 속하는 것이 없으며, 모든 이러한 형식의 $T_p$-고유값이 $p$-adic 단위이기 때문이다.
• 결과는 날카롭다: $p=59$ 에서는 무게 16인 수준 1 쌍곡형식이 존재하며 기울기가 $1/2$ 이며, mod $p$ 표현은 기약이다. 이는 $p \leq 53$ 에서의 이러한 기울기의 존재하지 않음을 최적임을 보여준다.
• 분류는 $v(a_p) = 1/2$ 인 경우에도 성립하며, $k = 2p+1$, $p > 2$ 일 때 수치적 예시로 기약 및 분해 가능 케이스가 모두 존재함을 보여준다.