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

Vincent Lafforgue|arXiv (Cornell University)|2012. 09. 24.

Advanced Algebra and Geometry참고 문헌 125인용 수 99

한 줄 요약

이 논문은 기하학적 사타케와 순환 연산자를 사용하여 함수체 위의 재수성 군에 대한 전역 랑글랜드 사상의 자동형-갈루아 방향을 수립한다. ℓ-진 랑글랜드 매개변수로 색인된 극소 자동형 형식의 표준 분해를 구축하며, 국소 사타케 동형사상과의 호환성을 증명하고, 내부 형식과 ker¹(F,G)를 통해 비분할 군으로의 확장을 제공한다.

ABSTRACT

For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois" direction. Moreover we obtain a canonical decomposition of the spaces of cuspidal automorphic forms indexed by global Langlands parameters. The proof does not rely at all on the Arthur-Selberg trace formula.

연구 동기 및 목표

• 함수체 위의 전역 함수체에서 재수성 군에 대한 자동형-갈루아 방향의 전역 랑글랜드 사상을 수립하기 위해.
• 극소 자동형 형식의 표준 분해를 ℓ-진 랑글랜드 매개변수로 색인된 일반화된 고유공간으로 구성하기 위해.
• 내부 형식과 코hom로지적 불변량 ker¹(F,G)를 사용하여 결과를 비분할 재수성 군으로 확장하기 위해.
• 분해가 비분할 자리에서 국소 사타케 동형사상과 호환됨을 증명하기 위해.
• 예측된 바와 같이 분해가 Q 위에 정의되고 ℓ의 선택과 무관함을 보여주기 위해.

제안 방법

• 각 자리에서 랑글랜드 쌍대군의 표현과 헤케 대수 사이의 관계를 기하학적 사타케 동치를 통해 설정한다.
• 극소 자동형 형식에 작용하는 '순환 연산자'를 도입하며, 유한 집합 I, (bG)^I//bG 위의 함수 f, 그리고 갈루아 원소 (γi)i∈I로 매개변수화된다.
• 순환 연산자들의 교환 대수 B를 구성하며, 그의 특성치 ν가 극소 자동형 공간의 표준 분해를 색인한다.
• 스펙트럼 분해를 적용하여 Qℓ 위의 극소 자동형 공간의 직합 분해를 얻으며, B의 특성치 ν로 색인된다.
• 각 특성치 ν가 Gal(F/F) → bG(Qℓ)의 전역 랑글랜드 매개변수 σ: 연속적이고, 단순하며, 유한 집합 N 외부에서 비분할임을 보장한다.
• ker¹(F,G)를 통해 합을 취하고 쌍대군 대신 L군을 사용하여 결과를 비분할 군으로 확장한다.

실험 결과

연구 질문

• RQ1 함수체 위의 임의의 재수성 군에 대해 자동형-갈루아 방향의 전역 랑글랜드 사상을 어떻게 증명할 수 있는가?
• RQ2 국소 사타케 동형사상과 호환되는 표준 분해를 극소 자동형 형식에 대해 구성할 수 있는가?
• RQ3 순환 연산자가 기하학적으로 랑글랜드 사상을 실현하는 데 어떤 역할을 하는가?
• RQ4 기저 변경과 비분할 경우에서 분해는 어떻게 행동하는가?
• RQ5 분해는 Q 위에 정의되고 ℓ의 선택과 무관한가?

주요 결과

• 논문은 Qℓ 위의 극소 자동형 형식 공간을 전역 랑글랜드 매개변수 σ: Gal(F/F) → bG(Qℓ)로 색인된 일반화된 고유공간 Hσ로의 표준 분해를 구축한다.
• 각 Hσ는 순환 연산자 SI,f,(γi)i∈I가 f((σ(γi))i∈I)에 의해 작용함으로써, 연산자와 갈루아 매개변수 사이의 정확한 연결 고리를 확립한다.
• 유한 집합 N 외부의 모든 자리에서 분해는 국소 사타케 동형사상과 호환되며, T(hV,v)는 Hσ 위에서 χV(σ(Frobv))의 곱셈으로 작용한다.
• 비분할 군의 경우, 극소 자동형 형식 공간은 내부 형식에 대한 공간들의 ker¹(F,G)에 대한 직합으로 대체되며, 매개변수들은 L군에 값을 가진다.
• 분해는 Q 위에 정의되어 있으며, ℓ의 선택과 무관하다. 논문에서 예측한 그와 같다.
• 결과는 Fℓ 위에서도 성립하며, 양의 특성수 계수로의 이론 확장을 제공한다.