[논문 리뷰] Local-global compatibility for regular algebraic cuspidal automorphic representation when $\ell eq p$

Ila Varma|arXiv (Cornell University)|2014. 11. 10.

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

한 줄 요약

이 논문은 CM 체 위의 GL_n에 대한 정규 대칭 쿠스피달 자동형 함수 표현 π에 대해, 모든 소수 p가 아닌 자리 v에서 국소-전지적 호환성을 확립한다. 이는 π에 부착된 p진 갈루아 표현의 프로베니우스 반단순화가 국소 리만-랜글랜드 대응과 단순화까지 일치함을 보여주며, 이는 이전 결과를 비비산 자리 이외의 모든 자리로 확장한다. 핵심 결과는 갈루아 표현의 모노드로미가 국소 리만-랜글랜드 매개변수보다 '더 많은 담비성'을 지님으로써, 이는 이전의 호환성 결과를 비비산 자리 이외의 자리로 확장한다.

ABSTRACT

We prove the compatibility of local and global Langlands correspondences for $GL_n$ up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne and Scholze. More precisely, let $r_p(π)$ denote an $n$-dimensional $p$-adic representation of the Galois group of a CM field $F$ attached to a regular algebraic cuspidal automorphic representation $π$ of $GL_n(\mathbb{A}_F)$. We show that the restriction of $r_p(π)$ to the decomposition group of a place $v mid p$ of $F$ corresponds up to semisimplification to $rec(π_v)$, the image of $π_v$ under the local Langlands correspondence. Furthermore, we can show that the monodromy of the associated Weil-Deligne representation of $.r_p(π)|_{G_{F_v}}$ is `more nilpotent' than the monodromy of $rec(π_v)$.

연구 동기 및 목표

• CM 체 위의 GL_n에 대한 정규 대칭 쿠스피달 자동형 함수 표현 π에 대해, 이전에 비비산 자리에서만 성립했던 국소-전지적 호환성을 모든 자리 v ∤ p로 확장하는 것.
• π_v ⊗ |det|^{(1−n)/2}에 대한 프로베니우스 반단순화가 r_p(π)에 부착된 p진 갈루아 표현의 국소 리만-랜글랜드 대응과 단순화까지 일치함을 증명하는 것.
• 갈루아 표현의 모노드로미 연산자가 국소 리만-랜글랜드 매개변수의 것보다 '더 담비성'임을 보여, 호환성 조건을 정교화하는 것.
• 유니타리 시미레티드 군 위의 고전적 쿠스피달 형식의 p진 극한을 통해 연속적 편표현을 구성함으로써, 갈루아 측과 리만-랜글랜드 측에서의 추적 비교를 가능하게 하는 것.
• 초수렴 자동형 함수 위에서 베른스타인 중심과 추적 공식 기법을 사용하여 헤케 고유값을 보간하고 호환성을 유도하는 것.

제안 방법

• GL_1 × GL_n에서의 파라보릭 유도를 통해, 서명이 (n,n)인 준완전 유니타리 시미레티드 군 G에 대해, Π(M)이라는 자동형 함수 표현의 가중치를 구성한다.
• 초수렴 p진 자동형 함수 이론을 사용하여, Π(M)을 p진 모듈라 형식 공간 내에서 유한 기울기 부분표현으로 실현한다.
• p진 및 고전적 쿠스피달 형식 위에서 작용하는 헤케 대수에 대해, 베른스타인 중심을 적용하여, 헤케 연산자의 고유값이 국소 리만-랜글랜드 매개변수의 추적과 일치함을 보여준다.
• 모든 분할된 자리 v ∤ p에서, rec_{F_v}(Π(M)_v ⊗ |det|^{(1−2n)/2})의 추적과 일치하는 추적을 가지는 연속적 편표현 T: Gal(F̄/F) → Q̄_p를 구성한다.
• 웨일 군 내의 프로베니우스 원소의 밀도와 이소타입 성분의 구조를 이용하여, 웨일-델리뉴 표현 내의 모노드로미를 비교한다.
• 큰 M에 대해 R_p(π, M) ≅ r_p(π) ⊕ r_p(⁰cπ)^c,∨ ⊗ ε_p^{1−2n−2M}의 분해를 이용하여 구성 요소를 분리하고, 구성 요소별로 모노드로미를 비교한다.

실험 결과

연구 질문

• RQ1 갈루아 표현 r_p(π)에 대해, 비비산 자리 외의 모든 자리 v ∤ p에서 국소-전지적 호환성이 성립하는가?
• RQ2 r_p(π)|_{G_{F_v}}에 부착된 웨일-델리뉴 표현의 모노드로미는 국소 리만-랜글랜드 매개변수의 모노드로미로 유계될 수 있는가?
• RQ3 고전적 쿠스피달 형식의 p진 극한을 통해, 갈루아 측과 리만-랜글랜드 측 간의 추적 일치를 비비산 자리 이외의 자리로 확장할 수 있는가?
• RQ4 초수렴 형식 위에서의 베른스타인 중심의 구조는 헤케 고유값을 비고전적 무게로 보간하는 데 어떻게 기여하는가?
• RQ5 프로베니우스 반단순화에서 r_p(π)의 이소타입 성분과 국소 리만-랜글랜드 매개변수의 이소타입 성분 사이의 정확한 관계는 무엇인가?

주요 결과

• r_p(π)|_{G_{F_v}}에 부착된 웨일-델리뉴 표현의 프로베니우스 반단순화는 국소 리만-랜글랜드 매개변수에 의해 지배된다: WD(r_p(π)|_{G_{F_v}})^{Frob-ss} ≺ rec_{F_v}(π_v ⊗ |det|_{v}^{(1−n)/2}).
• 모든 자리 v ∤ p에서, 반단순화된 웨일-델리뉴 표현은 WD(r_p(π)|_{G_{F_v}})^{ss} ≅ 𝔦^{-1} rec_{F_v}(π_v ⊗ |det|_{v}^{(1−n)/2})^{ss}를 만족하며, 이는 이전 결과를 모든 v ∤ p로 확장한다.
• WD(r_p(π)|_{G_{F_v}})^{Frob-ss}의 모노드로미 연산자는 rec_{F_v}(π_v ⊗ |det|_{v}^{(1−n)/2})의 것보다 더 담비성임을 의미하며, 이는 담비성 지수(_nilpotency index_)가 더 작다는 뜻이다.
• 고전적 쿠스피달 형식의 p진 극한을 통해 편표현 T를 구성함으로써, 모든 v ∤ p이면서 F^+에 대해 분할된 자리에서 추적 일치가 성립함을 보장하여 전지적 호환성을 확보한다.
• 충분히 큰 M에 대해, r_p(π)와 r_p(⁰cπ)^c,∨ ⊗ ε_p^{1−2n−2M}의 이소타입 성분은 서로 겹치지 않으며, 이는 구성 요소별로 모노드로미 구조를 비교할 수 있게 한다.
• 이 결과는 CM 체 F 위의 GL_n(A_F)에서 정규 대칭 쿠스피달 자동형 함수 표현 π 전부에 대해 성립하며, r_p(π)는 초수렴 형식에서의 기저 변경과 자동형 유도를 통해 구성된다.