[논문 리뷰] On mod p local-global compatibility for GL_3 in the ordinary case

Florian Herzig, Daniel Le외 1명|HAL (Le Centre pour la Communication Scientifique Directe)|2016. 02. 05.

Mathematical Approximation and Integration인용 수 6

한 줄 요약

이 논문은 일반적인 경우에서 GL₃에 대해 mod p 국소-전체 호환성을 확립하며, 소수 p에서의 분해군에 대한 mod p Galois 표현의 제한이, 컴act 유니타리 군 위의 mod p 자동형 양식에 대한 GL₃(F_w)의 작용으로 복원될 수 있음을 보여준다. 이는 일반적, 극대 비분할, 그리고 일반 조건 하에서 성립한다. 핵심 결과는 국소 Galois 표현이 mod p Langlands 체계 프레임워크를 통해 자동형 측면에 암묵적으로 포함되어 있음을 확인한다.

ABSTRACT

Suppose that F/F+ is a CM extension of number fields in which the prime p splits completely and every other prime is unramified. Fix a place w|p of F. Suppose that rbar : Gal(F-bar/F) -> GL_3(Fp-bar) is a continuous irreducible Galois representation such that rbar|_{Gal(F_w-bar/F_w)} is upper-triangular, maximally non-split, and generic. If rbar is automorphic, and some suitable technical conditions hold, we show that rbar|_{\Gal(F_w-bar/F_w)} can be recovered from the GL_3(F_w)-action on a space of mod p automorphic forms on a compact unitary group. On the way we prove results about weights in Serre's conjecture for rbar, show the existence of an ordinary lifting of rbar, and prove the freeness of certain Taylor-Wiles patched modules in this context. We also show the existence of many Galois representations rbar to which our main theorem applies.

연구 동기 및 목표

• 일반적인 경우에서 GL₃에 대해 mod p 국소-전체 호환성을 확립하고, 고차수로의 국소 Langlands 대응을 확장한다.
• p 위의 소수에서 국소 Galois 표현이 GL₃(F_w)가 mod p 자동형 양식의 공간에 작용하는 방식으로 복원될 수 있음을 보인다.
• mod p 자동형 양식의 맥락에서 일반적인 업그레이드의 존재와 Taylor–Wiles 복합 모듈러의 자유성 증명한다.
• 일반적 및 극대 비분할 조건 하에서 mod p Galois 표현의 Serre 무게를 특성화한다.
• Fontaine–Laffaille 불변량이 일반적인 경우에 국소 Galois 표현을 동형류까지 분류함을 보여준다.

제안 방법

• Fontaine–Laffaille 이론과 Breuil 모듈을 사용하여 상삼각형, 극대 비분할, 일반적인 환원을 갖는 mod p Galois 표현의 구조를 분석한다.
• p진 Hodge 이론과 강력히 나누어진 모듈 이론을 적용하여 Galois 표현과 내림구조를 가진 선형대수학적 자료 간의 관계를 설정한다.
• Taylor–Wiles 방법과 복합 헤케 대수를 사용하여 일반 설정에서 헤케 대수 위의 모듈의 자유성을 증명한다.
• Diamond–Fujiwara 기법을 활용하여 mod p 설정에서 Galois 표현과 자동형 표현 간의 호환성을 확립한다.
• 유니타리 군을 통해 전역 Galois 표현으로부터 mod p 자동형 표현을 구성하고, 그 소수 w에서의 국소 성분을 분석한다.
• Breuil 모듈의 범주에서의 쌍대성과 정확성 결과를 적용하여 부분모듈과 Galois 부분표현 간의 관계를 설정한다.

실험 결과

연구 질문

• RQ1 p 위의 소수에서 국소 Galois 표현이 GL₃(F_w)가 mod p 자동형 양식의 공간에 작용하는 방식으로 복원될 수 있는가?
• RQ2 상삼각형, 극대 비분할, 일반적인 조건을 만족하는 mod p Galois 표현의 Serre 무게는 어떤 구조를 갖는가?
• RQ3 주어진 일반적 및 일반 조건을 만족하는 mod p Galois 표현에 대해 일반적인 업그레이드가 존재하는가?
• RQ4 컴 pact 유니타리 군 위의 mod p 자동형 양식 공간이 소수 w에서의 국소 Galois 표현을 탐지하는 데 충분한가?
• RQ5 Fontaine–Laffaille 불변량은 일반적인 경우에 국소 Galois 표현을 어떻게 분류하는가?

주요 결과

• 소수 w에서의 국소 Galois 표현은 컴 pact 유니타리 군 위의 mod p 자동형 양식 공간에 대한 GL₃(F_w)-작용에 의해 완전히 결정된다.
• 국소 Galois 표현의 Fontaine–Laffaille 불변량은 ℙ¹(𝔽) ∖ {μ₁}의 임의의 값을 가질 수 있으며, 이 불변량은 국소 표현의 동형류를 분류한다.
• 주어진 조건 하에서 mod p Galois 표현의 일반적 업그레이드가 존재함을 확인하여, 일반 설정에서 p진 업그레이드의 존재를 확인한다.
• Taylor–Wiles 복합 모듈러는 헤케 대수 위에서 자유이며, 이는 호환성 논증에 필수적이다.
• 극대 비분할 경우에 mod p Galois 표현의 Serre 무게는 완전히 특성화되었으며, Hodge–Tate 무게에 대한 제약 조건이 존재한다.
• mod p 국소-전체 호환성이 성립한다: 유니타리 군 위의 자동형 표현은 소수 w에서의 국소 Galois 표현을 자동형 표현의 부분몫표현으로 실현한다.