[논문 리뷰] Recent progress in geometric Langlands theory

Dennis Gaitsgory|arXiv (Cornell University)|2016. 06. 30.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 기하학적 롱랜즈 이론의 최근 발전을 조망하며, G-_bundle의 모듈리 스택 위의 D-모듈과 롱랜즈 쌍대 국소 시스템의 스택 위의 준핵심층 사이의 범주적 이중성에 초점을 맞춘다. 국소 형식의 디스크 위의 국소 시스템 스택이 1-아핀임을 제안하여, 국소 기하학적 롱랜즈 대응의 기초가 되는 등가를 확립하며, 주요 결과로 국소 설정에서 국소화 함자에 대한 전부 충실성(fully faithful)이 입증된다.

ABSTRACT

The is the English version of the text of the talk at Séminaire Bourbaki on February 16, 2016

연구 동기 및 목표

• Bun_G(X) 위의 D-모듈과 LocSys_{\check{G}}(X) 위의 준핵심층 사이의 범주적 기하학적 롱랜즈 대응을 이중성으로서 정식화하고 동기를 부여하는 것.
• 점이 빠진 형식적 디스크 위의 국소 시스템 스택인 LocSys_{\check{G}}(\hat{\mathcal{D}})가 1-아phin임을 추측하는 것.
• 기하학적 롱랜즈의 맥락에서 기하학적 스택 위의 범주를 범주적으로 식별하는 데서 1-아phin성의 역할을 명확히 하는 것.
• LocSys_{\check{G}}(\hat{\mathcal{D}}) 위의 층의 범주와 그 국소 설정에서 QCoh(·)와의 등가를 통해 국소 기하학적 롱랜즈 대응의 프레임워크를 제공하는 것.

제안 방법

• 특히 LocSys_{\check{G}}(\hat{\mathcal{D}})와 같은 스택에 대해 prestack의 1-아핀성 개념을 도입하여, 층의 범주와 준핵심층 모듈의 범주를 비교하는 데 사용한다.
• G(\mathcal{K})의 게이지 작용을 \check{\mathfrak{g}} \otimes \omega_{\mathcal{K}} 위에 적용하여, LocSys_{\check{G}}(\hat{\mathcal{D}})를 몫 prestack로 정의한다.
• 무한차원 기하 대상들이 국소 기하학적 롱랜즈 설정에서 나타나는 것을 다루기 위해 인드-스키마 및 인드-대수기하 스택 이론을 적용한다.
• 베일린슨-드린펠드의 국소화 함자와 생성자-관계 기법을 활용하여 자동형 D-모듈을 구성한다.
• LocSys_{\check{G}}(\hat{\mathcal{D}})에 대해 함자 \mathbf{Loc}가 전부 충실함을 입증하여, 1-아핀성의 증명으로 향하는 핵심 단계를 확보한다.
• QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}}))가 컴팩트하게 생성됨을 이용하여, ShvCat(LocSys_{\check{G}}(\hat{\mathcal{D}}))와의 추측적 등가를 뒷받침한다.

실험 결과

연구 질문

• RQ1 점이 빠진 형식적 디스크 위의 \check{G}-국소 시스템 prestack인 LocSys_{\check{G}}(\hat{\mathcal{D}})는 1-아phin인가?
• RQ2 LocSys_{\check{G}}(\hat{\mathcal{D}})의 1-아핀성은 범주적 기하학적 롱랜즈 대응과 어떻게 관련이 있는가?
• RQ3 국소 설정에서 ShvCat(LocSys_{\check{G}}(\hat{\mathcal{D}}))와 QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}})) 사이의 정확한 관계는 무엇인가?
• RQ4 LocSys_{\check{G}}(\hat{\mathcal{D}})의 무한차원 구조는 그 구성 요소들에서 1-아핀성이 실패하더라도 1-아phin성의 장애가 되지 않는 이유는 무엇인가?
• RQ5 이 1-아핀성 추측을 통해 국소 기하학적 롱랜즈 대응은 고전적 및 전역 설정을 얼마나 일반화하는가?

주요 결과

• Prestack LocSys_{\check{G}}(\hat{\mathcal{D}})는 1-아phin임을 추측하며, 이는 ShvCat(LocSys_{\check{G}}(\hat{\mathcal{D}}))와 QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}})) 사이의 범주로서의 등가를 암시한다.
• G가 토루스일 경우 이 추측이 참임이 알려져 있으며, 일반 추측의 기초 사례를 제공한다.
• LocSys_{\check{G}}(\hat{\mathcal{D}})에 대해 함자 \mathbf{Loc}는 전부 충실함을 입증하여, 1-아핀성의 증명으로 향하는 핵심 단계이다.
• QCoh(LocSys_{\check{G}}(\hat{\mathcal{D}}))는 컴팩트하게 생성됨을 입증하여, 범주적 등가의 대상으로서의 사용을 뒷받침한다.
• \check{\mathfrak{g}} \otimes \omega_{\mathcal{K}}의 인드-스키마 성격과 G(\mathcal{K})의 무한형 군 구조에도 불구하고, 게이지 작용의 구조 덕분에 몫인 LocSys_{\check{G}}(\hat{\mathcal{D}})는 1-아핀성의 일반적인 장애를 피한다.
• 예를 들어 \check{\mathfrak{g}} \otimes \omega_{\mathcal{K}} 또는 유도 작용 하의 몫과 같은 관련 대상들에서 1-아핀성이 실패하는 것은, 게이지 작용이 1-아핀성을 유지하는 데 특별한 역할을 한다는 점을 강조한다.