[논문 리뷰] Chtoucas restreints pour les groupes r\\'eductifs et param\\'etrisation de Langlands locale

Alain Genestier, Vincent Lafforgue|arXiv (Cornell University)|2017. 09. 04.

Advanced Algebra and Geometry인용 수 12

한 줄 요약

이 논문은 양의 특성을 가진 국소체 위의 재구성군에 대해 국소 L-군 대응을 수립하며, Weil-Deligne 매개변수를 통한 매끄럽고, 적합하며, 기약 표현의 준순수한 매개변수화를 증명한다. 이는 Lafforgue(2012)의 전역 매개변수화를 국소 설정으로 확장하며, 전역 자동형식, 포화 유도, 함자성과의 호환성을 보이며, Bernstein 중심과의 관련성과 중심 문자에 대한 대수적 의존성으로 유일하게 특징지어진다.

ABSTRACT

We associate to every irreducible representation of a reductive group over a local field of equal characteristics a local Langlands parameter up to semisimplification and prove the compatibility with the global parameterization constructed by the second author. Our method involves stacks of restricted shtukas (which are analogues of truncated Barsotti-Tate groups) and nearby cycles over arbitrary bases.

연구 동기 및 목표

• 국소 특성의 양의 국소체 위의 재구성군의 매끄럽고, 적합하며, 기약 표현에 대해 국소 L-군 대응을 수립하는 것.
• Lafforgue(2012)의 전역 자동형식 매개변수화를 국소 설정으로 확장하여, 국소 표현에서 L-군 매개변수로 가는 정규화된, 유일하게 특징지어진 사상 π ↦ σπ를 정의하는 것.
• 국소 매개변수화가 전역 자동형식 유도, 포화 유도, 함자성과 호환됨을 증명하는 것.
• 중심 문자에 대한 대수적 의존성( Bernstein 중심 통한)을 통해 국소 L-군 매개변수를 정의하고 특징짓는 것.
• 양의 특성에서 국소 L-요인과 γ-요인의 완전한 이론을 구축하는 기초를 마련하는 것.

제안 방법

• Qℓ 위의 매끄럽고, 적합하며, 기약 표현의 동형류에서, Langlands 쌍대군에 값이 있는 준순수 Weil-Deligne 매개변수의 동형류로 가는 정규화된, 유일하게 정의된 사상 π ↦ σπ를 구성한다.
• 호환 조건 (a): σπ는 π의 중심 문자에만 의존하며, 대수적으로 의존함을 조건화한다. 이는 정리 1.1에 의해 형식화된다.
• 전역 매개변수화 [Laf12]와의 호환성을 확립하기 위해, 전역 자동형식 표현의 국소 성분이 전역 매개변수의 제한과 일치함을 보인다.
• 포화 유도와의 호환성을 증명한다: π가 컴actly 유도된 표현 Ind_{P(K)}^{G(K)} τ의 부분몫이면, σπ는 Weil(K) → Ŵ(τ) → Ŵ(G)의 복합에 대해 쌍대화된 것이다.
• 함자성과의 호환성을 확립한다: G → G′인 사상 Υ에 대해, G′(K)에서 π의 매개변수는 σπ에 대해 ∨Υ를 적용한 것이다.
• chtoucas 이론과 유한체 위의 곡선 위의 G-_bundle의 모듈리 공간 이론을 이용하여, 전역 매개변수화를 통해 국소 및 전역 구조를 연결한다.

실험 결과

연구 질문

• RQ1 재구성군에 대해 양의 특성 국소체 위의 국소 L-군 대응는 어떻게 유일하게 특징지어질 수 있는가?
• RQ2 대표 표현의 국소 L-군 매개변수와 chtouca 구성에서 유도된 전역 자동형식 매개변수 사이의 정확한 관계는 무엇인가?
• RQ3 국소 매개변수화는 포화 유도와 함자성과 어떻게 상호작용하는가?
• RQ4 정수적 구조를 가진 표현을 초월하여, 모든 매끄럽고, 적합하며, 기약 표현으로 국소 L-군 대응를 확장할 수 있는가?
• RQ5 Bernstein 중심은 국소 L-군 매개변수를 대수적으로 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 사상 π ↦ σπ는 정리 1.1에 의해 형식화된 바와 같이, π의 중심 문자에 대한 대수적 의존성에 의해 유일하게 특징지어진다.
• 국소 매개변수화는 [Laf12]의 전역 매개변수화와 호환된다: 임의의 자동형식 표현 π = ⊗π_v에 대해, 국소 매개변수 σπ_v는 전역 매개변수 σ의 Gal(̄F_v/F_v)에 대한 제한의 준순수화이다.
• 매개변수화는 Qℓ 위의 모든 매끄럽고, 적합하며, 기약 표현으로 유일하게 확장되며, 정수적 구조가 없더라도 준순수 Weil-Deligne 매개변수를 값으로 가진다.
• 매개변수화는 포화 유도와 호환된다: π가 Ind_{P(K)}^{G(K)} τ의 부분몫이면, σπ는 Weil(K) → Ŵ(τ) → Ŵ(G)의 복합에 대해 쌍대화된 것이다.
• 매개변수화는 함자성과 호환된다: G → G′인 사상 Υ에 대해, G′(K)에서 π의 매개변수는 ∨Υ(σπ)이며, 여기서 ∨Υ는 Langlands 쌍대군에서의 쌍대 사상이다.
• 이 이론은 제7장에서 보듯이 국소 γ-요인의 완전한 구성 가능성을 암시하며, L-함수와 함수방정식의 전역 이론에 기반한다.