[논문 리뷰] The Breuil-Mezard conjecture for non-scalar split residual representations

Yongquan Hu, Fucheng Tan|arXiv (Cornell University)|2013. 09. 06.

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

한 줄 요약

이 논문은 $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$의 비스칼라 스플릿 잔여 표현에 대해 로컬 변형 링 기법과 콜무스의 함자(함수)를 사용하여 브뤼일-메자르 추측을 증명한다. 주요 결과는 $p \geq 5$일 때 추측을 완성하며, 폰타인-마자르 추측 증명에서의 지역적 제약 조건을 제거하고, 잠재적으로 준정적(semi-stable) 갈루아 표현을 가진 힐버트 모듈라 형식에 대한 모듈러리티 승격 정리( lifting theorems)를 확립한다.

ABSTRACT

We prove the Breuil-Mezard conjecture for split non-scalar residual representations of Gal(Qp/Qp) by local methods. Combined with the cases previously proved in [18] and [24], this completes the proof of the conjecture (when p>3). As a consequence, the local restriction in the proof of the Fontaine-Mazur conjecture in [18] is removed.

연구 동기 및 목표

• 모든 잔여 표현에 대해 $p \geq 5$일 때 브뤼일-메자르 추측을 완성하는 것, 특히 비스칼라 스플릿 케이스에 대해.
• 폰타인-마자르 추측 증명에 사용된 모듈러리티 승격 정리에서 잔여 표현에 대한 지역적 제약 조건을 제거하는 것.
• 시마우라 곡선의 모od $p$ 코hom올로지에서 기약 모od $p$ 표현의 중복도와 변형 링의 구조 사이의 정확한 연결 고리를 설정하는 것.
• 일반화된 변형 링과 보편 변형 링의 프레임워크를 수정된 변형 조건을 통해 준정적 비크리스탈린 점을 다룰 수 있도록 확장하는 것.

제안 방법

• 주어진 호지-테이트 무게와 잔여 유형을 갖는 갈루아 표현에 대해 보편적 및 의사-변형 링을 구성하는 것.
• 콜무스의 함자를 적용하여 $p$-진 갈루아 표현과 $\mathrm{GL}_2(\mathbb{Q}_p)$의 모od $p$ 표현 간의 관계를 설정하는 것.
• 완비 코호몰로지 $M_\infty$를 로컬 변형 링의 완비 텐서곱 위의 모듈로 간주하여 지지부와 중복도를 분석하는 것.
• 힐베르트-사무엘 중복도 이론과 사이클 클래스 이론을 적용하여 변형 링 내 기하학적 구성 요소의 중복도를 계산하는 것.
• 기저 전환과 모듈러리티 승격 기법을 활용하여 일반 케이스를 비분비 또는 ' peu ramifié' 인ertia 작용을 갖는 케이스로 환원하는 것.
• 반정적 비크리스탈린 점에서 변형 링의 기약성과 구성 요소 구조에 관해 [18, 정리 9.7]의 결과를 활용하는 것.

실험 결과

연구 질문

• RQ1 주어진 갈루아 표현과 관련된 시마우라 곡선의 모od $p$ 코호몰로지의 모od $p$ 환원에서 각 기약 모od $p$ 표현 $\sigma_{n,m}$의 정확한 중복도는 무엇인가요?
• RQ2 잔여 표현이 비스칼라이면서 스플릿일 때 잠재적으로 준정적 갈루아 표현의 변형 링은 기하학적으로 어떻게 기약 구성 요소로 분해되나요?
• RQ3 브뤼일-메자르 추측은 준정적 비크리스탈린 점, 특히 ' peu ramifié' 케이스에서 변형 공간에 포함될 수 있도록 확장될 수 있나요?
• RQ4 완비 코호몰로지 모듈 $M_\infty$의 구조는 변형 링 $\bar{R}_\infty$의 기하학을 어느 정도 반영합니까?
• RQ5 모듈 $M_\infty$가 $\bar{R}_\infty$ 위에서 충실하다는 것은 해당 갈루아 표현의 모듈러성을 의미합니까?

주요 결과

• 모든 $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$의 잔여 표현에 대해 $p \geq 5$일 때 브뤼일-메자르 추측이 완전히 증명되었으며, 이는 이전에 열려 있던 비스칼라 스플릿 케이스를 포함한다.
• 완비 코호몰로지 모듈 $M_\infty^{i}/M_\infty^{i-1}$의 계수 부분군의 지지부가 $\operatorname{Spec}\bar{R}_\infty^i$ 전체에 걸쳐 있음을 보여주어, 구성 요소의 기하학적 제어와 기약성의 확인이 이루어졌다.
• $M_\infty$가 $\bar{R}_\infty$-모듈로서 충실하다는 것이 증명되었으며, 이는 국소적 설정에서 모듈러리티 결과를 전역 설정으로 승격시키는 데 필수적이다.
• 비크리스탈린 점에서의 반정적 비크리스탈린 케이스에서 변형 링 $\bar{R}_{\rm cr}^\boxplus,\psi}(2, (\tilde{\omega}^m)^{\oplus 2}, \overline{\rho})/\varpi$의 구조는 두 개의 기약 구성 요소로 분해되며, 하나는 크리스탈린 영역에 해당하고 다른 하나는 준정적 비크리스탈린 점에 해당한다.
• $M\_\infty$의 충실성과 지지부 결과를 통해 폰타인-마자르 추측 증명에서 잔여 표현에 대한 지역적 제약 조건을 제거할 수 있었다.
• [17]과 [18]의 주요 결과는 이제 모든 홀수, 절대적으로 기약적이며 잠재적으로 준정적 갈루아 표현이 서로 다른 호지-테이트 무게를 갖는다면 힐버트 모듈라 형식으로부터 유도된다는 것을 추론하는 데 충분하다.