[논문 리뷰] Outline of the proof of the geometric Langlands conjecture for GL(2)

Dennis Gaitsgory|arXiv (Cornell University)|2013. 02. 11.

Advanced Algebra and Geometry인용 수 20

한 줄 요약

이 논문은 GL(2)에 대한 범주적 기하 Langlands 추측을 증명하기 위한 전략을 제시하며, 이를 두 개의 추측으로 환원한다: 하나는 확장된 Whittaker 계열과 관련된 것이고, 다른 하나는 국소 시스템 위의 스펙트럴 측면의 인코herent sheaf와 관련된 것이다. 주요 기여는 Eisenstein 시리즈 함자들이 컴팩트성을 유지하지 못하는 데 대한 실패를 해결하기 위해 수정된 스펙트럴 측면 계열을 도입함으로써, 확장된 Whittaker 계수와 접합 함자들을 통해 완전 충실한 비교를 가능하게 하는 프레임워크를 제공하는 것이다.

ABSTRACT

We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.

연구 동기 및 목표

• GL(2)에 대한 기하 Langlands 추측을 두 개의 추측으로 환원하는 것: 하나는 확장된 Whittaker 계열과 관련된 것이고, 다른 하나는 스펙트럴 측면과 관련된 것이다.
• 스펙트럴 측면에서 Eisenstein 시리즈 함자들이 컴팩트성을 유지하지 못하는 문제를 수정된 인코herent sheaf 계열을 도입하여 해결하는 것.
• 접합 구조와 확장된 Whittaker 계수를 통해 자동형 및 스펙트럴 측면 간의 완전 충실한 비교를 수립하는 것.
• 자동형 측면의 쿠스피달 계열이 불가약한 국소 시스템을 통한 스펙트럴 측면의 몫으로서 유도된다는 것을 보여주는 것.
• 추측된 기하 Langlands 동치가 Eisenstein 시리즈, Hecke 함자, Kac-Moody 국소화와 호환됨을 보여주는 것.

제안 방법

• 확장된 Whittaker 계수 함자에 의해 자동형 측면을 확장된 Whittaker 계열에 통합하는 것으로, 이 함자가 완전 충실할 것이라 추측한다.
• 영역에 대한 영역의 특성에 기반한 인코herent sheaf와 함께, 근본적 특성에 대한 접합 구조를 사용하여 스펙트럴 측면을 Glue(Ǧ)spec로 통합한다.
• 함자 Glue(CTenh_spec)를 사용하여 수정된 스펙트럴 측면을 Glue(Ǧ)_spec로 연결하며, 이는 Theorem 9.3.8에 의해 완전 충실하다.
• Glue(Ǧ)spec에서 확장된 Whittaker 계열로의 자연스러운 완전 충실 함자 L_G,G^Whit^ext를 구성함으로써 비교를 가능하게 한다.
• 첨단과 수직성 조건을 적용하여, 쿠스피달 계열이 확장된 Whittaker 함자 아래에서 영이 되며, 코어널 맵의 영성 증명을 이끌어낸다.
• 추측 간의 상호의존성을 활용하여, 주요 추측(Conjecture 3.4.2)의 타당성을 전제로 하여 Conjectures 8.2.9와 10.2.8가 도출됨을 보여준다.

실험 결과

연구 질문

• RQ1 기하 Langlands 프레임워크 내에서 스펙트럴 측면에서 Eisenstein 시리즈 함자들이 컴팩트성을 유지하지 못하는 문제는 어떻게 해결할 수 있는가?
• RQ2 자동형 Eisenstein 함자와 호환되는 조건을 만족시키기 위해, QCoh(LocSys_Ǧ)의 난이도 있는 스펙트럴 측면 계열의 올바른 대체는 무엇인가?
• RQ3 공통된 더 다룰 수 있는 계열, 예를 들어 확장된 Whittaker 계열에 임bed된 계열 간의 비교를 통해 기하 Langlands 동치를 확립할 수 있는가?
• RQ4 쿠스피달 자동형 계열과 불가약한 국소 시스템의 스펙트럴 계열 간의 정확한 관계는 무엇인가?
• RQ5 Kac-Moody 표현 계열은 기하 Langlands 대응 하에서 자동형 계열과 어떻게 관련되어 있는가?

주요 결과

• 스펙트럴 측면은 QCoh(LocSys_Ǧ)를 IndCoh_Nilp^glob_Ǧ(LocSys_Ǧ)로 대체함으로써 수정되며, 이는 Eisenstein 시리즈 함자에서의 컴팩트성 문제를 해결한다.
• 확장된 Whittaker 계수 함자 coeff^ext_{G,G}는 완전 충실일 것이라 추측되며, 이는 D-mod(Bun_G)를 확장된 Whittaker 계열에 통합한다.
• 함자 Glue(CT^enh_spec)는 완전 충실하며, 수정된 스펙트럴 측면을 Glue(Ǧ)_spec에 통합한다. 이는 Theorem 9.3.8에 의해 입증되었다.
• 쿠스피달 계열은 Conjecture 3.4.2 하에 j_*와 Ξ_Ǧ의 복합함수 아래에서 QCoh(LocSys_Ǧ^irred)의 이미지로 식별된다.
• 자동형 쿠스피달 계열이 QCoh(LocSys_Ǧ^irred) ⊗_QCoh(LocSys_Ǧ) D-mod(Bun_G)와 동형임을 보여주어 핵심적인 이중성 구조를 확인한다.
• Conjecture 10.5.10를 가정할 경우, 국소화 함자 Loc_G는 온도 자동형 계열의 호모토피 범주를 Kac-Moody 범주 KL(G,κ)_Ran(X)의 버드리 쿼터션과 일치시킨다.