[논문 리뷰] Travaux de Frenkel, Gaitsgory et Vilonen sur la correspondance de Drinfeld-Langlands

Gérard Laumon|ArXiv.org|2002. 07. 09.

Advanced Algebra and Geometry인용 수 3

한 줄 요약

이 논문은 복소수 위의 타원곡선에 대한 GL(n)에 대한 기하학적 롱랜즈 상호작용에 대해 Frenkel, Gaitsgory, Vilonen의 작업을 흐름에 따라 요약한다. 펄스러운 층과 여섯 연산 형식주의를 사용하여, G-_bundle의 모듈리 공간과 국소 시스템 사이의 대칭성을 수립한다. Hecke 고유층을 통해, Hecke 고유층의 자기동형사상 군의 오일러-포이누아르 특성은 국소 시스템에 관계없이 일정하다는 것을 증명하며, 이는 비분기 케이스에서 전체 기하학적 롱랜즈 추측에 도달하기 위한 핵심 단계이다.

ABSTRACT

In 1967, Langlands conjectured a natural correspondence between automorphic representations and Galois representations, over number fields as well as over function fields. In 1983, Drinfeld discovered a geometric analog of the Langlands correspondence in the function field case, which extends the geometric class field theory of Lang and Rosenlicht. The so called Drinfeld-Langlands correspondence is a conjectural duality between two moduli spaces that are naturally associated to an algebraic curve X and a reductive group G. When X is projective and G is the full linear group GL(n), a large part of this correspondence has recently been established by E. Frenkel, D. Gaitsgory et K. Vilonen.

연구 동기 및 목표

• C 위의 타원곡선에 대해 드리놀트의 기하학적 롱랜즈 상호작용 작업을 GL(n)으로 확장한다.
• Hecke 고유층을 사용하여 GL(n)-bundle의 모듈리 공간과 국소 시스템 사이의 대칭성을 수립한다.
• Hecke 고유층의 자기동형사상 군의 오일러-포이누아르 특성이 국소 시스템에 관계없이 일정하다는 것을 증명하며, 이는 전체 기하학적 롱랜즈 추측에 도달하기 위한 핵심 단계이다.
• 비분기 기하학적 설정에서 드리놀트의 이전 결과를 GL(2)에서 임의의 계수 n으로 일반화한다.

제안 방법

• 대부분의 스택에 대한 C 계수의 베티 코hom로지 이론을 사용하며, 구조적 층의 유도 범주를 다룬다.
• 알gebraic 스택 S 위에서의 구조적 층의 유도 범주 D^b_c(S)에 여섯 연산 형식주의(f*, f*, f!, f!, 텐서곱, 대칭성)를 적용한다.
• 펄스러움 t-구조와 이 t-구조의 하트로서 펄스러운 층의 범주 Perv(S)를 사용한다.
• 플라그의 부분_bundle들에 대한 연관관계를 통해 Hecke 고유층을 구성하며, 전역 Hecke 연관관계를 이용해 범주적 구조를 통해 bundle의 모듈리와 국소 시스템의 모듈리를 연결한다.
• 푸리에-델리뉴 변환과 Betti 설정에서의 D-모듈의 이론을 적용하며, Bernstein과 Lunts의 결과를 기반으로 한다.
• 핵심 보조정리인 Hecke 고유층의 자기동형사상 군의 오일러-포이누아르 특성이 국소 시스템에 관계없이 일정하다는 것을 증명하기 위해 열림과 기저 변경을 사용한다.

실험 결과

연구 질문

• RQ1 C 위의 타원곡선에 대한 GL(n)에 대한 기하학적 롱랜즈 상호작용은 자연스러운 Hecke 고유층의 구조를 가질 수 있는가?
• RQ2 Hecke 고유층의 자기동형사상 군의 오일러-포이누아르 특성은 국소 시스템에 관계없이 일정한가?
• RQ3 펄스러운 층과 여섯 연산 형식주의를 사용하여 비분기 케이스에서 기하학적 롱랜즈 상호작용을 수립할 수 있는가?
• RQ4 전역 Hecke 연관관계는 G-_bundle의 모듈리 공간과 국소 시스템의 모듈리 공간을 어떻게 연결하는가?

주요 결과

• Hecke 고유층의 자기동형사상 군의 오일러-포이누아르 특성이 국소 시스템 E에 관계없이 일정하다. 이는 7.4번 보조정리와 열림 추론에 의해 입증된다.
• 자기동형사상 군 Aut_E'의 특성 함수는 Fib_n'(X) → Fib_n(X)의 忘却 사상에 의해 올라간다. 이는 고유층 성질을 확보하는 데 필수적이다.
• 핵심 항등식 f_* N_{n,E}^d(Φ) = Aut_E' | Fib_n'^{n(n-1)(g-1)+d}가 성립하며, 이는 Hecke 연관관계와 자기동형사상 군을 연결한다.
• 자기동형사상 군의 오일러-포이누아르 특성을 자명한 국소 시스템(계수 n)의 경우에 대해 명시적으로 계산함으로써, 불변성 증명의 기초 사례를 제공한다.
• Lemma 7.2와 기초 사례 계산을 통해, 국소 시스템의 변화에 따른 오일러-포이누아르 특성의 불변성이 확립된다.
• 결과는 기하학적 롱랜즈 프로그램의 중심 예측을 확인한다: Hecke 고유층의 구성은 자연스럽고 국소 시스템의 선택에 무관하다.