[논문 리뷰] Reduction modulo p of two-dimensional crystalline representations of G_{Q_p} of slope less than three

Bodan Arsovski|arXiv (Cornell University)|2015. 03. 28.

Advanced Algebra and Geometry참고 문헌 10인용 수 3

한 줄 요약

이 논문은 $p$-진 국소 Langlands 대응을 $\mathrm{GL}_2(\mathbb{Q}_p)$에 적용하여 기울기가 3 미만인 두 차원의 크리스탈린 갈루아 표현의 모듈로 $p$ 축소를 계산한다. 기울기가 1과 3 사이인 경우 브뤼에, 바즈ارد, 에머튼의 추측을 해결하고, 표현 이론적 기법과 이항합 및 $p$-진 모듈라 형식에 대한 명시적 계산을 통해 기울기가 1인 경우에 부분적인 분류를 제공한다.

ABSTRACT

We use the p-adic local Langlands correspondence for GL_2(Q_p) to find the reduction modulo p of certain two-dimensional crystalline Galois representations. In particular, we resolve a conjecture of Breuil, Buzzard, and Emerton in the case when the slope is strictly between one and three, and prove partial results towards this conjecture for arbitrary slopes. Moreover, we partially classify the reduction modulo p of these representations when the slope is equal to one.

연구 동기 및 목표

• 기울기가 3 미만인 $G_{\mathbb{Q}_p}$의 두 차원 크리스탈린 표현의 모듈로 $p$ 축소를 결정하는 것.
• 기울기가 $ (1,3) $인 경우 이러한 축소의 구조에 관한 브뤼에, 바즈ارد, 에머튼의 추측을 해결하는 것.
• 기울기가 정확히 1일 때 축소를 부분적으로 분류하는 것.
• 크리스탈린 표현의 맥락에서 $p$-진 국소 Langlands 대응의 이해를 확장하는 것.
• Sage를 사용하여 특정 모듈로 $p$ 표현의 기약성에 대한 추측을 검증할 수 있는 명시적 계산 도구를 제공하는 것.

제안 방법

• $\mathrm{GL}_2(\mathbb{Q}_p)$에 대한 $p$-진 국소 Langlands 대응을 적용하여 갈루아 표현과 모듈로 $p$ 표현을 연결하는 것.
• $V = \mathrm{Symm}^r(\overline{\mathbb{F}}_p^2)$에 대해 $I(V) = \mathrm{ind}_{KZ}^G(V)$의 구성과 헤크 연산자 $T$가 특정 행렬 공식으로 작용하는 것을 사용하는 것.
• $\pi(\nu, \lambda, \chi) = (\chi \circ \det) \otimes (I(\sigma_\nu)/(T - \lambda))$의 기약성 또는 알려진 조르당-횔러르 분해 인자로의 분류를 활용하는 것.
• 축소의 핵 $X(r+2,a)$를 분석하고, 이항합에 대한 항등식을 사용하여 모듈로 $p$ 표현의 구조를 연구하는 것.
• Sage를 사용한 명시적 계산을 통해 행렬식의 소멸성 및 기약성 조건에 대한 추측을 검증하는 것.
• 완전한 변환 $\sigma_m(n) = \det^n \otimes \sigma_m$과 $\omega$, $\omega_2$, $\mu_t$의 작용을 적용하여 가능한 축소 유형을 분류하는 것.

실험 결과

연구 질문

• RQ1 기울기가 $ (1,3) $인 $G_{\mathbb{Q}_p}$의 두 차원 크리스탈린 표현의 모듈로 $p$ 축소는 무엇인가?
• RQ2 브뤼에, 바즈ارد, 에머튼의 추측이 기울기가 1과 3 사이인 경우에도 성립하는가?
• RQ3 기울기가 정확히 1일 때 모듈로 $p$ 축소는 어떻게 분류할 수 있는가?
• RQ4 호지-타인 무게와 기울기에 대한 조건은 모듈로 $p$ 축소의 기약성에 어떤 영향을 미치는가?
• RQ5 $r$ 이 $p$ 모듈로 어떤 합동류에 속할 경우 $\overline{\Theta}_{r+2,a}$ 가 기약이 아닌가?

주요 결과

• 논문은 기울기가 1과 3 사이인 경우 브뤼에, 바즈ارد, 에머튼의 추측을 해결하였으며, 적절한 조건 하에 모듈로 $p$ 축소가 $\pi(\nu, \lambda, \chi)$와 동형임을 보였다. 이때 $\nu \in \{0, p-1\}$ 이고 $\lambda \neq 0$ 이다.
• 기울기가 1인 경우 논문은 모듈로 $p$ 축소에 대한 부분적인 분류를 제공하였으며, 가능한 조르당-횔러르 분해 인자와 그들의 구조를 규명하였다.
• Sage를 사용한 명시적 계산은 $\overline{\Theta}_{r+2,a}$ 가 이항합에서 유도된 다항식의 근에 의해 결정되는 특정 합동 조건을 만족하지 않는 한 기약임을 확인하였다.
• 논문은 $\lambda \neq 0$ 인 경우 $\pi(\nu, \lambda, \chi)$가 기약임을 증명하였으며, 유일하게 $\nu \in \{0, p-1\}$ 이고 $\lambda = \pm 1$ 이면 기약이 아닐 수 있음을 보였다.
• 축소의 핵 $X(r+2,a)$ 는 0이 아니며 유한 길이임을 보이고, $T$ 작용과 $\pi(\nu, \lambda, \chi)$ 모듈의 작용을 통해 그 구조를 분석하였다.
• Sage를 사용한 프로그램적 검증은 $m \leq 6$ 인 경우 추측 8의 첫 두 부분이 성립함을 확인하였으며, $\overline{\Theta}_{r+2,a}$ 의 기약성 검증을 위한 계산 프레임워크를 제공하였다.