[논문 리뷰] Introduction to chtoucas for reductive groups and to the global Langlands parameterization

Vincent Lafforgue|arXiv (Cornell University)|2014. 04. 25.

Advanced Algebra and Geometry참고 문헌 43인용 수 9

한 줄 요약

이 논문은 chtoucas와 기하학적 Satake를 이용하여 함수체 위의 모든 재구성군에 대해 전역 Langlands 대응의 '자기형에서 Galois로' 방향을 확립한다. 이는 전역 Langlands 매개변수로 색인화된 임계 자기형 형태의 정규 분해를 구축하며, 추적 공식에 의존하지 않는 새로운 증명을 제공한다. Drinfeld의 작업을 새로운 코homological 기법을 통해 chtoucas의 분류 스택에서 확장한다.

ABSTRACT

This is a translation in English of version 5 of the article arXiv:1404.3998, which is itself an introduction to arXiv:1209.5352. We explain all the ideas of the proof of the following theorem. 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.

연구 동기 및 목표

• 함수체 위의 모든 재구성군에 대해 전역 Langlands 대응의 '자기형에서 Galois로' 방향을 확립한다.
• 전역 Langlands 매개변수로 색인화된 임계 자기형 형태의 공간에 대한 정규 분해를 구축한다.
• Arthur-Selberg 추적 공식에 의존하지 않는 방법을 제공하며, chtoucas와 기하학적 Satake 동치를 이용한다.
• chtoucas의 분류 스택에서의 코homological 방법을 통해 Drinfeld의 $GL_r$ 결과를 임의의 재구성군으로 확장한다.

제안 방법

• chtoucas의 분류 스택을 사용하며, Drinfeld의 $GL_r$에 대한 작업에서 일반화하여 모든 재구성군으로 확장한다.
• 기하학적 Satake 동치를 적용하여 Langlands 쌍대군의 표현과 chtouca 스택의 코homology 위의 헤이크 연산자 간의 관계를 설정한다.
• chtouca 스택의 코homology에서 '헤이크 유한성' 부분을 분석하여 주 정리에 필요한 성질을 도출한다.
• 유한 집합 $I$, 함수 $\widehat{G}\backslash(\widehat{G})^I/\widehat{G}$, 그리고 갈루아 원소 $(\gamma_i)_{i\in I}$로 색인화된 퇴행 연산자를 이용하여 자기형 상의 자기형사상들을 구성한다.
• chtouca 스택의 코homological 성질을 이용하여, 임계 자기형 표현과 관련된 표현 $\sigma$가 무게 0의 기약성과 순수성을 가짐을 보인다.
• Weil II와 $\iota$-순수성을 이용하여, 거의 모든 자리에서 프로베니우스의 고유값이 동일한 $\iota$-무게를 가짐을 유도함으로써 Langlands 대응과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 추적 공식을 사용하지 않고, 함수체 위의 모든 재구성군에 대해 전역 Langlands 대응을 어떻게 확립할 수 있는가?
• RQ2 임계 자기형 형태의 공간은 전역 Langlands 매개변수에 따라 정규적으로 분해될 수 있는가?
• RQ3 chtouca 스택과 그 코homology는 Langlands 대응을 실현하는 데 어떤 역할을 하는가?
• RQ4 기하학적 Satake 동치는 이 설정에서 퇴행 연산자의 구성에 어떻게 기여하는가?
• RQ5 임계 자기형 형태와 연결된 갈루아 표현의 순수성과 기약성을 보장하는 조건은 무엇인가?

주요 결과

• 논문은 함수체 위의 모든 재구성군에 대해 전역 Langlands 매개변수로 색인화된 임계 자기형 형태의 공간에 대한 정규 분해를 구축한다.
• 함수체 위의 모든 재구성군에 대해 전역 Langlands 대응의 '자기형에서 Galois로' 방향을 증명하며, Drinfeld의 결과를 $GL_r$을 넘어서 확장한다.
• 이 방법은 Arthur-Selberg 추적 공식을 회피하고, chtouca 스택의 분류 스택에서의 코homological 기법과 기하학적 Satake 동치를 이용한다.
• 특히 $G = GL_r$의 경우, 이 구성은 Langlands 대응에 대한 새로운 증명을 제공하며, Rankin-Selberg 방법과 $L$-함수 분석을 통해 관련 갈루아 표현 $\sigma$가 기약성과 무게 0의 순수성을 가짐을 보인다.
• chtouca 스택의 코homology는 퇴행 연산자를 실현하며, 그로 인해 유도된 표현들은 $\iota$-순수성을 가지며, 거의 모든 자리에서 프로베니우스의 고유값은 동일한 $\iota$-무게를 가짐을 보였다.
• 결과적으로 $\sigma$의 $\iota$-무게가 0임을 확인하였으며, 이는 분류 이론과 순수성 정리에 의해 결정식의 지식을 통해 유도되었다.