[논문 리뷰] Chtoucas de Drinfeld, formule des traces d'Arthur-Selberg et correspondance de Langlands

Laurent Lafforgue|ArXiv.org|2002. 12. 01.

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

한 줄 요약

이 논문은 드린펠트의 셰투카를 통해 자동형 상 representation을 기하학적으로 실현하고 아서-셀버그 추적 공식을 적용하여 함수체 위의 GL_r에 대한 랑글랜드 상호관계를 증명한다. 핵심 결과는 차수 r이고 행렬식이 유한한 임의의 ℓ-진 갈루아 표현과 커퍼스피드 자동형 상 표현 사이의 전단사 관계를 수립하며, 양의 특성에서 라마누잔-페테르슨 및 일반화된 리만 가설의 해석에 깊은 영향을 미친다.

ABSTRACT

Cet exposé est consacré à la preuve de la correspondance de Langlands pour les groupes $\GL_r$ sur les corps de fonctions. ----- This article is devoted to the proof of the Langlands correspondence for the groups $GL_r$ over function fields.

연구 동기 및 목표

• 함수체 F = F(X) 위의 GL_r에 대한 글로벌 랑글랜드 상호관계를 수립하여, 차수 r인 임의의 ℓ-진 갈루아 표현과 커퍼스피드 자동형 상 표현을 연결한다.
• 행렬식이 유한한 임의의 ℓ-진 갈루아 표현이 기하학적 랑글랜드 프로그램을 통해 자동형 형식으로부터 유도됨을 증명한다.
• 코homological 방법을 사용하여 함수체 설정에서 L-함수에 대한 라마누잔-페테르슨 추측과 일반화된 리만 가설을 검증한다.
• 랑글랜드 상호관계의 자동형 측면에서 텐서곱, 기본 변경, 자동형 유도의 존재를 수립한다.

제안 방법

• 레벨 구조를 갖춘 셰투카의 모듈리 공간으로서 드린펠트의 셰투카를 사용하여 자동형 형식에서 갈루아 표현을 구성한다.
• 셰투카 다양체의 코homology에 아서-셀버그 추적 공식을 적용하여 추적 수를 자동형 및 갈루아 자료와 연결한다.
• 셰투카의 모듈리 공간의 ℓ-진 코homology를 사용하여 자동형 표현을 코homological 불변량으로 실현한다.
• 그로텐디크-레프슈츠 고정점 공식을 사용하여 코homology 상의 프로베니우스 추적과 L-함수 및 히케 고유값을 연결한다.
• 델리뉴의 순수성 정리를 적용하여 임의의 ℓ-진 셰투카의 프로베니우스 고유값의 절대값이 1임을 보여주어 유니타리성을 유도한다.
• 추적 공식의 스펙트럴 측면을 통해 상호관계를 구성하고, L-함수의 매칭을 통한 자동형 표현과 갈루아 표현의 식별을 수행한다.

실험 결과

연구 질문

• RQ1 기하학적 및 코homological 방법을 사용하여 함수체 위의 GL_r에 대한 글로벌 랑글랜드 상호관계를 어떻게 수립할 수 있는가?
• RQ2 차수 r이고 행렬식이 유한한 임의의 ℓ-진 갈루아 표현과 함수체 위의 GL_r(A_F)에 대한 커퍼스피드 자동형 상 표현 사이의 정확한 관계는 무엇인가?
• RQ3 추적 공식과 셰투카 다양체의 코homology는 자동형 데이터와 갈루아 데이터 사이의 상호관계를 어떻게 실현하는가?
• RQ4 상호관계가 함수체 설정에서 라마누잔-페테르슨 및 일반화된 리만 가설에 대해 어떤 영향을 미치는가?
• RQ5 기본 변경, 유도, 텐서곱은 기하학적 랑글랜드 상호관계를 통해 자동형 측면에서 어떻게 실현될 수 있는가?

주요 결과

• 함수체 위의 GL_r에 대한 랑글랜드 상호관계가 성립한다: 행렬식이 유한한 차수 r의 임의의 ℓ-진 갈루아 표현과 GL_r(A_F)에 대한 커퍼스피드 자동형 상 표현 사이의 전단사 관계가 존재한다.
• 라마누잔-페테르슨 추측이 성립한다: 모든 x ∈ |X|에 대해, 커퍼스피드 자동형 상 표현의 히케 고유값은 비분해일 때 |z_i(π_x)| = 1을 만족한다.
• 일반화된 리만 가설이 성립한다: 전역 L-함수 L(π × π', T)의 모든 영점은 |T| = q^{-1/2}의 임계선 위에 위치한다.
• 두 커퍼스피드 자동형 상 표현의 텐서곱은 유한한 수의 커퍼스피드 자동형 상 표현의 합으로 분해되며, 국소 L-인자도 매칭된다.
• 기본 변경과 자동형 유도가 실현된다: 유한 확장 F'/F에 대해, GL_r(A_F) 위의 커퍼스피드 자동형 상 표현은 GL_r(A_F') 위의 자동형 표현으로 올라가며, 프로베니우스 고유값이 매칭된다.
• 셰투카 다양체의 코homology는 임의의 갈루아 표현을 코homological 불변량으로 실현하며, 프로베니우스 고유값은 절대값이 1인代수적 수이므로 순수성과 유니타리성을 증명한다.