[논문 리뷰] On the automorphy of 2-dimensional potentially semi-stable deformation rings of $G_{\mathbb{Q}_p}$

Shen-Ning Tung|arXiv (Cornell University)|2018. 03. 19.

Finite Group Theory Research참고 문헌 27인용 수 3

한 줄 요약

이 논문은 $\mathrm{Gal}(¯{\mathbb{Q}}_p/\mathbb{Q}_p)$에 대한 2차원 잠재적으로 준안정 디포메이션 환의 모든 기약 성분이 $\mathrm{GL}_2(\mathbb{Q}_p)$의 $p$-진 국소 Langlands 대응과 패치드 모듈 $M_\infty(\sigma)[1/p]$를 분석하여 자동형임을 증명한다. 이는 $p > 2$인 경우 브뤼에-메자르 추측에 대한 새로운 증명을 제공하며, $\bar{r}$가 모듈로 $p$ 순환 특성에 의한 자명 표현의 스위치인 경우 $p = 3$의 새로운 사례를 포함하고, 폰틴-마자르 추측의 증명에서 국소 제약 조건을 제거한다.

ABSTRACT

Using $p$-adic local Langlands correspondence for $\operatorname{GL}_2(\mathbb{Q}_p)$, we prove that the support of patched modules constructed by Caraiani, Emerton, Gee, Geraghty, Paskunas, and Shin meet every irreducible component of the potentially semistable deformation ring. This gives a new proof of the Breuil-Mézard conjecture for 2-dimensional representations of the absolute Galois group of $\mathbb{Q}_p$ when $p > 2$, which is new in the case $p = 3$ and $\bar{r}$ a twist of an extension of the trivial character by the mod p cyclotomic character. As a consequence, a local restriction in the proof of Fontaine-Mazur conjecture by Kisin is removed.

연구 동기 및 목표

• 2차 갈로아 표현 $\mathbb{Q}_p$에 대한 잠재적으로 준안정 디포메이션 환의 모든 기약 성분의 자동형성을 확립하기 위해.
• 특히 $p = 3$이고 $\bar{r}$가 모듈로 $p$ 순환 특성에 의한 자명 특성의 스위치인 경우, $p > 2$에 대한 브뤼에-메자르 추측에 대한 새로운 증명을 제공하기 위해.
• 표준 조건 하에서 성분의 자동형성이 모듈란드성을 암시함을 보여줌으로써 폰틴-마자르 추측의 증명에서 국소 제약 조건을 제거하기 위해.
• 패치드 모듈 $M_\infty(\sigma)[1/p]$가 $p$-진 국소 Langlands 대응을 통해 $R_{\bar{r}}^\Box(\sigma)[1/p]$의 모든 기약 성분을 만난다는 것을 보여주기 위해.

제안 방법

• $\mathrm{GL}_2(\mathbb{Q}_p)$에 대한 $p$-진 국소 Langlands 대응을 사용하여, 패치드 모듈 $M_\infty(\sigma)[1/p]$를 몬트리올 함자 $\check{\mathbf{V}}$를 통해 순열 가능한 바나흐 공간 표현 $\Pi_y$와 연결한다.
• 고정 행렬식 몫 $M_\infty^\psi$에 콜무르의 몬트리올 함자 $\check{\mathbf{V}}$를 적용하여 $\check{\mathbf{V}}(M_\infty^\psi)$가 $R_\infty^\psi$ 위의 유한 생성 모듈임을 보이며, $R_\infty$ 위에서 $M_\infty$의 비유한 생성성을 극복한다.
• 에메르톤과 파슈나스의 결과를 이용하여 $R_\infty^\psi$가 $\check{\mathbf{V}}(M_\infty^\psi)$ 위에 충실한 작용을 한다는 것을 증명함으로써, $\operatorname{m-Spec} R_\infty^\psi[1/p]$의 모든 $y$에 대해 특수화가 0이 아니라는 것을 암시한다.
• 패치드 모듈의 구조를 제어하기 위해 $R_\infty^\psi\llbracket G_{\mathbb{Q}_p} \rrbracket$ 내의 카이리-헤이밀턴 관계로 생성된 아이디얼 $J$를 통과시켜 $\check{\mathbf{V}}(M_\infty^\psi)$가 $R_\infty^\psi$ 위의 유한 생성 모듈임을 증명한다.
• [Kis09, GK14, EG14, Paš15]의 형식적 체계를 사용하여 $\Pi_y$의 비영성에서 성분의 자동형성을 유추하고, 힐버트-사무엘 순서수 계산을 통해 예외적인 경우(기약적이지만, 비크리스탈린이고 준안정인 경우)를 직접 검증한다.
• [BLGG13]의 일반 성분에 대한 결과와 [EG14]의 사이클 분해를 조합하여, 이전에 증명되지 않은 $p=3$의 경우를 포함하여 모든 성분이 자동형임을 보여준다.

실험 결과

연구 질문

• RQ1 잠재적으로 준안정 디포메이션 환 $R_{\bar{r}}^\Box(\sigma)[1/p]$의 모든 기약 성분이 $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$에서 자동형 형태로부터 유래하는가?
• RQ2 특히 $p=3$이고 $\bar{r}$가 모듈로 $p$ 순환 특성에 의한 자명 표현의 스위치인 경우, 이전 결과에 의존하지 않고 브뤼에-메자르 추측을 증명할 수 있는가?
• RQ3 디포메이션 공간의 모든 점에서 패치드 모듈 $M_\infty(\sigma)[1/p]$의 비영성은 모든 성분이 자동형임을 의미하는가?
• RQ4 이 자동형성 결과를 사용하여 폰틴-마자르 추측의 증명에서 국소 제약 조건을 제거할 수 있는가?
• RQ5 $R_{\bar{r}}^\Box(\sigma)/\varpi$의 사이클 분해는 브뤼에-메자르 추측이 예측하는 자동형 사이클 구조와 호환되는가?

주요 결과

• 패치드 모듈 $M_\infty(\sigma)[1/p]$의 지지집합이 잠재적으로 준안정 디포메이션 환 $R_{\bar{r}}^\Box(\sigma)[1/p]$의 모든 기약 성분을 만난다는 것을 증명함으로써, 이러한 모든 성분이 자동형임을 입증한다.
• 2차 갈로아 표현에 대해 $p > 2$일 때, 브뤼에-메자르 추측에 대한 새로운 증명이 확립되었으며, 이는 $p = 3$이고 $\bar{r}$가 모듈로 $p$ 순환 특성에 의한 자명 특성의 스위치인 경우를 포함한다.
• $R_\infty^\psi$가 $\check{\mathbf{V}}(M_\infty^\psi)$ 위에 충실한 작용을 하며, $\check{\mathbf{V}}(M_\infty^\psi)$가 $R_\infty^\psi$-모듈로서 유한 생성임을 증명함으로써, $\operatorname{m-Spec} R_\infty^\psi[1/p]$의 모든 $y$에 대해 $\Pi_y \neq 0$임을 보장한다.
• 기약적이지만 비크리스탈린이고 준안정인 예외적 경우는 힐버트-사무엘 순서수 계산을 통해 직접 검증되어, $p > 2$에 대해 브뤼에-메자르 추측의 완전한 증명이 완료된다.
• 모든 성분의 자동형성이 모듈란드성으로 이어지므로, [Kis09]의 국소 제약 조건이 제거되었으며, 이는 기약적이며, 홀수이고, 잠재적으로 준안정이며, 서로 다른 허지-타운 특성수를 갖는 표현의 모듈란드성을 보장한다.
• 사이클 분해 $\mathcal{Z}(R_{\bar{r}}^\Box(\sigma)/\varpi) = \sum m_{\bar{\sigma}}(\lambda,\tau) \mathfrak{C}_{\bar{\sigma}}(\bar{r}) \times \mathcal{Z}(k\llbracket x_1,\dots,x_d\rrbracket)$가 성립함을 보여주며, 자동형 사이클 구조와의 호환성을 확인한다.