[논문 리뷰] Local Geometric Langlands Correspondence: the Spherical Case

Edward Frenkel, Dennis Gaitsgory|ArXiv.org|2007. 11. 07.

Black Holes and Theoretical Physics참고 문헌 6인용 수 6

한 줄 요약

이 논문은 임계 수준 아핀 카크-무디 대수 위의 구면 모듈의 범주와 구멍이 있는 원판 위의 무분기 ${\check{G}}$-오퍼의 인도-스킴 위의 준층다발의 범주 사이의 범주적 동치를 수립한다. 이 결과는 무분기 국소 대수적 랑글랜드 상호작용의 핵심 케이스를, 표현 이론에서의 고전적 구면 벡터 구성의 분류화를 통해 실현하며, 무분기 국소 시스템의 스택의 보편 성질을 사용한다.

ABSTRACT

A module over an affine Kac--Moody algebra g^ is called spherical if the action of the Lie subalgebra g[[t]] on it integrates to an algebraic action of the corresponding group G[[t]]. Consider the category of spherical g^-modules of critical level. In this paper we prove that this category is equivalent to the category of quasi-coherent sheaves on the ind-scheme of opers on the punctured disc which are unramified as local systems. This result is a categorical version of the well-known description of spherical vectors in representations of groups over local non-archimedian fields. It may be viewed as a special case of the local geometric Langlands correspondence proposed in arXiv:math/0508382.

연구 동기 및 목표

• 임계 수준에서의 아핀 카크-무디 대수의 구면 표현과 무분기 ${\check{G}}$-오퍼의 모듈라이 공간 위의 준층다발 사이의 범주적 동치를 수립하기.
• 구면 케이스에서 국소 기하학적 랑글랜드 상호작용을 기하학적으로 실현함으로써, 고전적 구면 벡터 이론을 일반화하기.
• G(\!(t)\!)의 분류적 표현에 대한 매개변수 공간으로서 ${\check{G}}$-국소 시스템의 스택의 추측되는 보편 성질이 구면 설정에서 검증 가능한지 확인하기.
• 임계 수준에서의 구면 모듈의 범주가 $\operatorname{Rep}(\check{G})$와 등가임을 보여주며, 이는 $\operatorname{pt}/\check{G}$ 위의 다발로 해석함.

제안 방법

• 임계 수준 범주에서의 중심의 스펙트럼인 $\operatorname{Spec}(\mathfrak{Z}_\mathfrak{g}^{\operatorname{unr}})$ 위의 준층다발의 도파르 범주로 향하는 함자 $\Psi$를 구축한다.
• 중심 $\mathfrak{Z}_\mathfrak{g}^{\operatorname{unr}}$가 다항식 대수와 동형임을 이용하여 자유 모듈을 이용한 유한한 분해를 가능하게 한다.
• 문제를 더 단순한 구조를 가진 정규 위치 $\operatorname{Spec}(\mathfrak{z}_\mathfrak{g}^{\operatorname{reg},\lambda})$ 위에 지지된 모듈로 줄이기 위해 데비산스 기법을 적용한다.
• 함자 $\Psi$가 정확하고, 유도된 $\operatorname{Ext}^i$ 군 사이에 유도된 동형사상을 유도함을 인도 및 분해 방법을 통해 증명한다.
• G(\!(t)\!)의 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-모듈 위에 존재하는 자연스러운 작용과 $\Psi$의 이 작용과의 호환성을 활용한다.
• 구면 모듈의 범주가 무분기 오퍼의 인도-스킴 위로 피복되며, 이 피복의 섹션은 $\operatorname{Rep}(\check{G})$와 등가임을 이용한다.

실험 결과

연구 질문

• RQ1 국소 기하학적 랑글랜드 상호작용은 어떻게 구면 케이스에서 범주적으로 실현될 수 있는가?
• RQ2 임계 수준에서의 구면 모듈과 구멍이 있는 원판 위의 무분기 ${\check{G}}$-오퍼의 기하학적 구조 사이의 정확한 관계는 무엇인가?
• RQ3 임계 수준에서의 구면 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-모듈의 범주는 오퍼의 모듈라이 공간 위의 다발로 기하학적으로 기술될 수 있는가?
• RQ4 G(\!(t)\!)의 분류적 표현에 대한 매개변수 공간으로서 스택 $\operatorname{Loc}_{\check{G}}(\mathcal{D}^\times)$의 보편 성질이 구면 설정에서 검증 가능한가?
• RQ5 구면 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-모듈의 범주와 $\operatorname{Rep}(\check{G})$ 사이에 자연스러운 동치가 존재하는가?

주요 결과

• 임계 수준에서의 구면 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-모듈의 범주는 구멍이 있는 원판 위의 무분기 ${\check{G}}$-오퍼의 인도-스킴 위의 준층다발의 범주와 등가이다.
• 이 동치는 $G[[t]]$-등변 구조를 유지하고 직접 극한과 가환하는 함자 $\Psi$를 통해 실현된다.
• $\Psi$는 정확하고, 임의의 두 구면 모듈 사이의 $\operatorname{Ext}^i$ 군에 대해 동형사상을 유도한다.
• $\Psi$의 상은 본질적으로 전사적이다. 왜냐하면 $\operatorname{Spec}(\mathfrak{Z}_\mathfrak{g}^{\operatorname{unr}})$ 위의 유한히 생성된 다발은 모두 본질적 상에 속하기 때문이다.
• 결과는 추측된 국소 기하학적 랑글랜드 상호작용의 구면 케이스를 확인하며, 보편 매개변수 공간 $\operatorname{Loc}_{\check{G}}(\mathcal{D}^\times)$가 $G(\!(t)\!)$의 분류적 표현을 분류한다는 것을 보여준다.
• 이 구성은 고전적 구면 벡터 이론의 분류화를 제공하며, $\operatorname{Rep}(\check{G})$는 구면 벡터의 공간이 된다.