[논문 리뷰] Serre weights and Breuil's lattice conjecture in dimension three

Daniel Le, Bao V. Le Hung외 2명|arXiv (Cornell University)|2016. 08. 23.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 3

한 줄 요약

이 논문은 비분비적 $p$-진 필드 위의 $\ell_3$-표현에 대해 Breuil의 격자 추측을 증명하며, $U(3)$-산술 다양체의 완비 코호몰로지에 있는 격자들이 순수하게 국소적임을 확립한다—즉, $p$ 위의 자리에서 갈루아 표현에 의해만 결정됨을 의미한다. 또한 휘어진 크리스탈리프 변형을 가진 Hodge–Tate 무게 $(2,1,0)$에 대해 기하학적 Breuil–Mézard 추측을 증명하고, 이 설정에서 Serre 무게 추측을 검증하며, 이전 결과를 모듈러 표현 이론과 패치링 함수를 통해 $\ell_3$로 확장한다.

ABSTRACT

We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a generalization to $\mathrm{GL}_3$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil-Mézard conjecture for (tamely) potentially crystalline deformation rings with Hodge-Tate weights $(0,1,2)$ as well as the Serre weight conjectures over an unramified field extending our previous results. We also prove results in modular representation theory about lattices in Deligne-Luzstig representations for the group $\mathrm{GL}_3(\mathbb{F}_q)$.

연구 동기 및 목표

• 비분비적 $p$-진 필드 위의 $\ell_2$에서 $\ell_3$-표현으로 Breuil의 격자 추측을 일반화하는 것.
• Hodge–Tate 무게 $(2,1,0)$를 가진 잠재적으로 크리스탈리프 변형 링에 대해 $\ell_3$에서 기하학적 Breuil–Mézard 추측을 확립하는 것.
• 비분비적 필드에서 Herzig [Her09]의 Serre 무게 추측을 검증하고 [LLHLM18]의 결과를 $\ell_3$로 확장하는 것.
• $\ell_3(\mathbb{F}_q)$에 대한 Deligne–Lusztig 표현에서 격자의 구조에 대해 단순형 포함과 웨일 모듈을 사용하여 불가약 표현의 삽입 포함을 구성하는 것.
• $U(3)$-산술 다각형의 완비 코호몰로지가 $\ell_3$에 대해 순수하게 국소적 $p$-진 Langlands 대응을 실현함을 증명하는 것.

제안 방법

• 완비 코호몰로지에 기반한 $p$-진 갈루아 표현을 $U(3)$-산술 다각형으로부터 패치링 함수 방법을 사용해 구성하는 것.
• 내림차순 데이터를 갖는 에탈 $\ell$-모듈 이론과 단순형 Kisin 모듈을 사용하여 변형 링을 분석하는 것.
• 확장 그래프와 유형 및 Serre 무게의 조합론을 활용하여 가능한 격자 구조를 분류하는 것.
• 프로베누스 핵과 웨일 모듈을 통해 $\ell_3$에 대한 불가약 표현의 삽입 포함을 구성하는 것.
• 무게 격자에서의 결함과 거리 개념에 대한 귀납법을 사용하여 Deligne–Lusztig 표현에서 격자의 구조 정리를 증명하는 것.
• Taylor–Wiles 방법과 가역 기저 교체를 적용하여 갈루아 표현의 자동성과 코호몰로지의 비영성 확보하는 것.

실험 결과

연구 질문

• RQ1 완비 코호몰로지에 의해 유도된 $U(3)$-산술 다각형의 티어드 타입에서의 격자가 $p$ 위의 자리에서 갈루아 표현에만 의존하는가?
• RQ2 Hodge–Tate 무게 $(2,1,0)$를 가진 잠재적으로 크리스탈리프 변형 링에 대해 $\ell_3$에서 기하학적 Breuil–Mézard 추측이 참인가?
• RQ3 Herzig [Her09]의 Serre 무게 추측이 $\ell_3$ 설정에서 비분비적 확장에서 성립하는가?
• RQ4 $\ell_3(\mathbb{F}_q)$에 대한 Deligne–Lusztig 표현에서 격자의 구조는 삽입 포함과 웨일 모듈 측면에서 어떻게 되는가?
• RQ5 $U(3)$-산술 다각형의 완비 코호몰로지가 $\ell_3$에 대해 순수하게 국소적 $p$-진 Langlands 대응을 실현할 수 있는가?

주요 결과

• 완비 코호몰로지에 의해 잘라낸 티어드 타입에서의 격자는 일반성과 최소성 조건 하에서 $p$ 위의 자리에서 갈루아 표현에만 의존하는 순수하게 국소적임이 입증됨.
• Hodge–Tate 무게 $(2,1,0)$를 가진 $\ell_3$에 대해 기하학적 Breuil–Mézard 추측이 증명되었으며, 변형 링의 성분이 Breuil–Mézard 철학에 따라 Serre 무게와 일치함을 보여줌.
• 비분비적 필드에서 $\ell_3$에 대해 Herzig [Her09]의 Serre 무게 추측이 검증되었으며, [LLHLM18]의 결과를 더 높은 계수로 확장함.
• 삽입 포함과 웨일 모듈을 사용하여 $\ell_3(\mathbb{F}_q)$에 대한 Deligne–Lusztig 표현에서 격자의 구조가 완전히 기술되었으며, 거리 기반 귀납을 통해 분류 정리가 확립됨.
• 유일한 변형 링 $R_{\tau}^{\mathrm{univ}}$가 $\mathcal{O}_E$ 위에서 유한함을 보여, 각 $\widetilde{v} \in \Sigma_0^+$에서 형식 $((0,1,2),\tau_v)$를 가진 $\overline{r}$의 공액수 자기쌍대, 최소로 분할된 잠재적으로 크리스탈리프 승계가 존재함을 시사함.
• 국지-국제 호환성에 기반하여 $S(U,\sigma \otimes W)_{\mathfrak{m}}$의 비영성 확보됨으로써, 모드 $p$ 코호몰로지에서 자동성과 다중도 1이 확인됨.