[논문 리뷰] Affine Beilinson-Bernstein localization at the critical level for $GL_2$

Sam Raskin|arXiv (Cornell University)|2020. 02. 04.

Advanced Algebra and Geometry참고 문헌 26인용 수 6

한 줄 요약

이 논문은 $GL_2$의 임계 수준에서 애질라프-베일린스키-버너스타인 국소화에 대한 프렌켈-게이츠갈리의 추측을 증명하며, 임계 수준에서 정규 중심 특성치를 가진 애질라프 카크-무디 대수의 표현이 애질라프 그라스만이에 대한 $D$-모듈과 대응됨을 확립한다. 방법론은 국소 표현 이론에서의 윌리엄슨 모델 기법을 기하적 설정으로 확장하여, 제트 스킴에 대한 유니포텐트 군의 불변성에 대한 귀납적 논증과 헤이젠베르그 군 작용을 사용하여 국소화 동치를 증명한다.

ABSTRACT

We prove the rank 1 case of a conjecture of Frenkel-Gaitsgory: critical level Kac-Moody representations with regular central characters localize onto the affine Grassmannian. The method uses an analogue in local geometric Langlands of the existence of Whittaker models for most representations of $GL_2$ over a non-Archimedean field.

연구 동기 및 목표

• 애질라프 카크-무디 대수의 임계 수준에서의 Frenkel-Gaitsgory 추측을 $GL_2$ 수준에서 증명하는 것.
• 임계 수준에서 정규 중심 특성치를 가진 애질라프 카크-무디 대수의 표현과 애질라프 그라스만이에 대한 $D$-모듈 사이의 기하적 대응을 확립하는 것.
• 제트 스킴과 귀납적 불변성 논증을 사용하여 국소 윌리엄슨 모델 기법을 전역 기하 설정으로 확장하는 것.
• 기하 이론의 임계 수준 표현 이론에서 주요 추측의 랭크-1 검증을 제공하는 것.

제안 방법

• 국소 기하 이론의 윌리엄슨 모델 구성의 유사체를 사용하여 임계 수준에서의 표현을 분석한다.
• 제트 스킴 $({\frak g}[[t]]/t^m{\frak g}[[t]])_{\text{reg}}$ 에 대한 귀납적 논증을 적용하여, 유니포텐트 군에 대한 불변량의 불변성(conservativeness)을 증명한다.
• $(N_n^{m,r+1}, \psi)$-불변량에 대한 헤이젠베르그 군 작용을 사용하여 $N_n^{m,r}$ 및 $N_n^{m,r+1}$ 에 대한 불변량을 연결함으로써 내림차순 귀납을 가능하게 한다.
• 유도된 범주 $\widehat{\frak g}_\kappa\text{--mod}$ 의 $G(K)$-등변 구조와 전역 단면 함자 $\Gamma^{\text{IndCoh}}(\operatorname{Gr}_G, -)$ 를 활용한다.
• 잔여 쌍선형형식 $\operatorname{Res}(t^{-n}\kappa(\xi_1,\xi_2)dt)$ 를 통해 $t^{n-m}{\frak g}[[t]]/t^n{\frak g}[[t]]$ 의 쌍대공간이 $\frak g[[t]]/t^m{\frak g}[[t]]$ 와 일치함을 이용한다.
• 모든 $r \geq 1$ 에 대해 $(N_n^{m,r}, \psi)$-불변량의 불변성(conservativeness)을 증명함으로써, 최종적으로 전체 국소화 동치를 확립한다.

실험 결과

연구 질문

• RQ1 Frenkel-Gaitsgory 추측이 $GL_2$ 에서 임계 수준 국소화에 대해 성립하는가?
• RQ2 국소 표현 이론에서의 윌리엄슨 모델 기법을 애질라프 카크-무디 대수의 기하 설정으로 일반화할 수 있는가?
• RQ3 정규 중심 특성치를 가진 표현에 제한했을 때, 함자 $\Gamma^{\text{IndCoh}}(\operatorname{Gr}_G, -)$ 가 $D_\kappa(\operatorname{Gr}_G)$ 에서 불변성(conservativeness)을 가지는가?
• RQ4 제트 스킴에 대한 귀납적 논증을 어떻게 사용하여 기하 표현 이론에서 $G(K)$-불변 범주의 불변성(conservativeness)을 증명할 수 있는가?
• RQ5 헤이젠베르그 군 작용은 제트 타워의 다양한 유니포텐트 부분군에 대한 불변량을 어떻게 연결하는가?

주요 결과

• Frenkel-Gaitsgory 추측이 $GL_2$ 에서 애질라프 카크-무디 대수의 임계 수준에서의 베일린스키-버너스타인 국소화에 대해 증명되었으며, 정규 중심 특성치를 가진 $\widehat{\frak g}_\kappa$-모듈의 범주와 애질라프 그라스만이 $\operatorname{Gr}_{GL_2}$ 에 대한 $\kappa$-왜곡 $D$-모듈의 범주 사이의 동치를 확립한다.
• 전역 단면 함자 $\Gamma^{\text{IndCoh}}(\operatorname{Gr}_G, -)$ 는 $\kappa$-왜곡 $D$-모듈이 제트 스킴의 정규 부분에 지지되는 부분범주에 제한되었을 때, $D_\kappa(\operatorname{Gr}_G)$ 에서 불변성(conservativeness)을 가진다.
• 헤이젠베르그 군 작용을 사용한 내림차순 귀납 논증을 통해 모든 $r \geq 1$ 에 대해 $(N_n^{m,r}, \psi)$-불변량의 불변성(conservativeness)을 증명하였다.
• 기존의 $p$-진 표현 이론에서의 윌리엄슨 모델 기법을 제트 스킴의 구조와 잔여 쌍선형형식을 이용하여 정의된 관련 특성치를 사용하여 기하 설정으로 성공적으로 일반화하였다.
• 결과는 $GL_2$ 에서 $\widehat{\frak g}_{\kappa}$ 의 임계 수준 표현에 대한 기하 윌리엄슨 모델의 존재를 확인하며, 전체 국소 기하 이론의 상호관계로 나아가는 데 핵심 단계를 제공한다.
• 결론적으로 $n=2m-1$ 의 경우를 별도로 다루어 모든 $m \leq (n+1)/2$ 에 대해 결과가 성립함을 보장하였으며, 귀납 단계와 결합하여 전체 불변성(conservativeness)을 도출하였다.