[논문 리뷰] W-algebras and Whittaker categories

Sam Raskin|arXiv (Cornell University)|2016. 11. 15.

Algebraic structures and combinatorial models참고 문헌 24인용 수 9

한 줄 요약

이 논문은 W-대수에 대해 Skryabin의 정리의 애핀 버전을 수립하기 위해, 루프 군과 애핀 그라스만이안 위의 D-모듈을 사용하는 유도 기하학적 프레임워크를 도입한다. '청소기 Whittaker' 방법을 통해 Whittaker 모델의 컴팩트 근사화를 구축하며, Rodier의 근사화를 일반화하고 Beraldo의 Whittaker 불변량과 공불변량에 관한 정리도 임의의 재수성 군으로 확장한다. 이는 정수 수준의 국지 기하 Langlands 프로그램에 응용된다.

ABSTRACT

Affine W-algebras are a somewhat complicated family of (topological) associative algebras associated with a semisimple Lie algebra, quantizing functions on the algebraic loop space of Kostant's slice. They have attracted a great deal of attention in geometric representation theory because of Feigin-Frenkel's duality theorem for them, which identifies W-algebras for a Lie algebra and its Langlands dual through a subtle construction. The main result of this paper is an affine version of Skryabin's theorem, describing the category of modules over the W-algebra in simpler categorical terms. But unlike the classical story, it is essential to work with derived categories in the affine setting. One novel feature is the use of geometric techniques to study W-algebras: the theory of D-modules on the loop group and the geometry of the affine Grassmannian are indispensable tools. These are used to give an infinite family of affine analogues of the Bezrukavnikov-Braverman-Mirkovic theorem, providing a geometric version of Rodier's compact approximation to the Whittaker model from the arithmetic setting. We also use these methods to generalize Beraldo's theorem identifying Whittaker invariants and Whittaker coinvariants, extending his result from GL_n to a general reductive group. At integral level, these methods seem to have deep intrinsic meaning in the local geometric Langlands program. The theory developed here provides systematic proofs of many classical results in the subject. In particular, we clarify the exactness properties of the quantum Drinfeld-Sokolov functor.

연구 동기 및 목표

• 유도 범주와 기하적 방법을 사용하여 Skryabin의 정리를 유 finitely to 애핀 W-대수로 확장한다.
• 애핀 카크-무디 대수의 맥락에서 Rodier의 산술적 구성과 유사한 기하적 컴팩트 근사화를 Whittaker 모델에 대해 개발한다.
• Beraldo의 정리(Whittaker 불변량과 공불변량을 동일시함)를 임의의 재수성 군으로 일반화한다.
• 애핀 설정에서 양자 Drinfeld-Sokolov 함자에 대한 정확성 성질을 명확히 한다.
• 국지 기하 Langlands 프로그램의 정수 수준 결과들에 대한 체계적인 기하적 기초를 제공한다.

제안 방법

• 루프 군과 애핀 그라스만이안 위의 D-모듈의 유도 범주를 중심 도구로 사용한다.
• N(K)와 \widehat{G}(K)에 대한 왜곡된 등변성과 함께 D-모듈 이론을 적용하여 Whittaker 카테고리를 구성한다.
• '청소기 Whittaker' 구성법을 새로운 컴팩트 근사화 방법으로 도입한다.
• D_{\kappa}(G(K))-모듈에서의 컨볼루션과 커널 함자를 사용하여 Whittaker 함자를 D_{\kappa}(G(K))^{(N(K),\psi), (\accentset{\circ}{I}_n, -\psi)}에 속한 커널과의 컨볼루션으로 실현한다.
• 깨끗한 확장 성질과 G(O)^n-등변성을 사용하여 포함 함자 \iota_{n,!}의 완전 충실성(fully faithfulness)을 검증한다.
• 카크-무디 코ycle과 \operatorname{Gr}_N \subseteq \operatorname{Gr}_G 위에서의 토르서 비자명성( triviality)을 적용하여 기하적 구성의 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 어떻게 Skryabin의 정리는 기하적 유도 설정에서 끝난 유한 W-대수에서 애핀 W-대수로 일반화될 수 있는가?
• RQ2 애핀 카크-무디 대수 설정에서 Rodier의 Whittaker 모델에 대한 컴팩트 근사화의 기하적 대응은 무엇인가?
• RQ3 임의의 재수성 군 맥락에서 Whittaker 불변량과 공불변량은 어떻게 관련되어 있으며, Beraldo의 결과를 어떻게 일반화할 수 있는가?
• RQ4 유도 범주와 D-모듈은 애핀 W-대수와 그 모듈 범주의 구조에서 어떤 역할을 하는가?
• RQ5 이러한 구성들은 정수 수준의 국지 기하 Langlands 프로그램에 어떻게 기여하는가?

주요 결과

• 논문은 애핀 W-대수 위 모듈러 범주의 전체 부분범주로서 루프 군 위의 D-모듈의 유도 범주에 대한 애핀 버전의 Skryabin 정리를 구축한다.
• '청소기 Whittaker' 구성법은 Whittaker 모델의 새로운 기하적 근사화 방법을 제공하며, Rodier의 산술적 결과를 기하적 맥락으로 확장한다.
• Whittaker 함자는 완전 충실하며, D_{\kappa}(G(K))^{(N(K),\psi), (\accentset{\circ}{I}_n, -\psi)}에 속한 커널과의 컨볼루션으로 실현되며, Whittaker 카테고리의 기하적 실현을 확립한다.
• 이론은 Beraldo의 정리를 일반화하여, GL_n 이외의 임의의 재수성 군에 대해서도 Whittaker 불변량과 공불변량이 서로 동형임을 보여준다.
• 유도 프레임워크를 통해 양자 Drinfeld-Sokolov 함자의 정확성 성질이 명확히 밝혀지며, W-대수 표현 이론에서 오랫동안 남아있던 질문들이 해결된다.
• 이러한 구성은 국지 기하 Langlands 프로그램에서 깊은 내재적 의미를 지니며, 특히 정수 수준에서 고전적 결과들의 시스템적 증명을 제공한다.