[논문 리뷰] Ordinary representations and companion points for U(3) in the indecomposable case

John Bergdall, Przemysław Chojecki|arXiv (Cornell University)|2014. 05. 13.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 Breuil과 Herzig의 추측을 확인한다. $p$-진 Banach 표현 중 일부는 $㼿$에 대한 일반적인 순서화된 Galois 표현으로부터 구성되며, 이 표현들은 삼변수의 확정적 유니타리 군의 완비 코homology에 나타난다. 고유다양체와 $p$-진 자동형 함수를 이용해, 저자들은 일반 표현의 텐서곱을 완비 코homology의 $\ho$-동형성 부분공간에 닫힌 매장으로 구축한다. 이는 $工$를 초월한 $p$-진 Langlands 프로그램의 핵심 예측을 검증한다. 결과는 $p$에서 국소 Galois 표현의 총 분해불가능성 조건 하에서 성립한다. 주요 기여는 고유다양체와 완비 코homology를 통한 Breuil–Herzig의 일반 표현의 전역 실현이다.

ABSTRACT

We prove that certain p-adic Banach representations, associated to local ordinary Galois representations, constructed by Breuil and Herzig appears in the completed cohomology of a definite unitary group in three variables. This confirms part of their conjecture. Our main technique is making use of p-adic automorphic forms for definite unitary groups and the eigenvarieties which parameterize them.

연구 동기 및 목표

• Breuil과 Herzig의 $㼿$에 대한 일반적인 Galois 표현과 관련된 $p$-진 Banach 공간 표현의 전역 실현에 관한 추측을 검증하기 위해.
• Breuil–Emerton의 $工$에서의 국소-전역 호환성 결과를 삼변수의 확정적 유니타리 군으로 확장하기 위해.
• 총 분해불가능성 조건 하에서, 일반 표현 $㼿(\rho_v)^{\text{ord}}$ 가 확정적 유니타리 군 $G = 㼿$ 의 완비 코homology에 나타남을 입증하기 위해.
• 완비 코homology의 구조 분석과 이러한 표현의 존재 감지를 위해 고유다양체와 $p$-진 자동형 함수를 도구로 사용하기 위해.

제안 방법

• 저자들은 삼변수의 확정적 유니타리 군에 대한 $p$-진 자동형 함수를 매개변수화하는 고유다양체를 이용해 완비 코homology의 구조를 연구한다.
• 고유다양체 상에서의 정밀화된 Galois 표현의 가닥을 분석하고, 무게 사상의 분기점을 연구하여 동반점과 나쁜 점을 식별한다.
• 증명은 국소 해석적 표현의 Jacquet 모듈과 코hom로지컬 데이터 사이의 인접 공식에 기반하며, Verma 모듈과 Iwasawa 이론을 사용한다.
• 표현 $㼿(\rho_v)^{\text{ord}}$ 의 구성은 고유다양체 상의 임계점과 비임계점에서의 국소 해석적 유도의 합성곱 $I_{\text{an}}(z)^{\text{vee}}$ 를 이용해 이루어진다.
• 핵심 기술 도구는 완비 코homology의 Jacquet 모듈을 사용해 $㼿(\rho_v)^{\text{ord}}$ 가 부분표현으로 존재하는지 감지하는 것이다.
• 완비 코hom로지의 $\rho$-동형성 부분공간과 $㼿(\rho_v)^{\text{ord}}$ 사이의 Hom 공간을 분석함으로써, 저자들은 단사 사상을 확립하여 매장의 성립을 증명한다.

실험 결과

연구 질문

• RQ1 Breuil과 Herzig가 $㼿$에 대해 구성한 일반 표현 $㼿(\rho_v)^{\text{ord}}$ 는 삼변수의 확정적 유니타리 군의 완비 코homology에 나타나는가?
• RQ2 완비 코homology에 대한 $p$-진 자동형 함수를 매개변수화하는 고유다양체는 $p$ 위의 자리에서 국소 Galois 표현 $\rho_v$ 를 감지할 수 있는가?
• RQ3 동반점과 나쁜 점은 완비 코homology와 고유다양체의 구조에서 어떤 역할을 하는가?
• RQ4 $㼿(\rho_v)^{\text{ord}}$ 의 socle 필터링은 국소 Galois 표현 $\rho_v$ 의 분해 가능성에 어떻게 반영되는가?
• RQ5 언제 표현 $㼿(\rho_v)^{\text{ord}}$ 가 완비 코hom로지의 $\rho$-동형성 부분공간에 매장되는가?

주요 결과

• 논문은 일반적이고 총 분해불가능한 Galois 표현 $㼿(\rho_v)$ 에 대해, 관련된 일반 Banach 표현 $㼿(\rho_v)^{\text{ord}}$ 가 완비 코hom로지 $㼿^0(K^p)_L$ 의 $\rho$-동형성 부분공간에 매장됨을 증명한다.
• 매장은 닫힌 매장으로 실현된다: $\widehat{\bigotimes}_{v\mid p} \u3F3F(\rho_v)^{\text{ord}} \hookrightarrow \u3F3F^0(K^p)_L^\lambda$, 이는 [BH, 추측 4.2.2]의 약한 형태를 확인한다.
• 증명는 고유다양체 상의 동반점 존재성과 완비 코hom로지의 Jacquet 모듈의 구조에 기반하며, 이는 $㼿(\rho_v)^{\text{ord}}$ 가 부분표현으로 존재함을 감지할 수 있게 한다.
• $㼿(\rho_v)^{\text{ord}}$ 는 특정 조건 $(\dagger)$ 를 만족하는 점들 위에서의 국소 해석적 유도의 합성곱 $I_{\text{an}}(z)^\wedge$ 와 동형임을 보여주며, 브라하트 순서에서 최대 원소들이 핵심 역할을 한다.
• $㼿(\rho_v)^{\text{ord}}$ 가 총 분해불가능하지 않은 경우, 저자들은 여전히 이 표현이 두 개의 서로 다른 기약 성분의 직합을 통해 완비 코hom로지에 매장됨을 보이며, 각 성분은 고유다양체 상의 별개의 점에 의해 감지됨을 보여준다.
• 결과는 고유다양체와 완비 코hom로지를 통한 Breuil–Herzig의 일반 표현의 전역 실현을 확립하며, $\u2F2F$ 를 초월한 $p$-진 Langlands 대응에 대한 증거를 제공한다.