[논문 리뷰] Equivariant Satake category and Kostant-Whittaker reduction

Roman Bezrukavnikov, Michael Finkelberg|ArXiv.org|2007. 07. 25.

Algebraic structures and combinatorial models참고 문헌 6인용 수 20

한 줄 요약

이 논문은 아핀 그라스만이의 루프 회전 호환성 유도 Satake 분류와 Langlands 쌍대 리 대수에 대한 Harish-Chandra 이중모듈러 사이의 동치를 확립하며, 전역 코homology를 Kostant-Whittaker 축소와 연결한다. 순수성과 호환 코homology 기법을 사용하여 구성된 단순함수를 통해 아핀 그라스만이의 호환성 동치 코homology와 양자화된 Toda 격자 사이의 추측을 증명한다.

ABSTRACT

We explain (following V. Drinfeld) how the equivariant derived category of the affine Grassmannian can be described in terms of coherent sheaves on the Langlands dual Lie algebra equivariant with respect to the adjoint action, due to some old results of V. Ginzburg. The global cohomology functor corresponds under this identification to restricti on to the Kostant slice. We extend this description to loop rotation equivariant derived category, linking it to Harish-Chandra bimodules for the Langlands dual Lie algebra, so that the global cohomology functor corresponds to the quantum Kostant-Whittaker reduction of a Harish-Chandra bimodule. We derive a conjecture from math.AG/0306413 which identifies the loop-rotation equivariant homology of the affine Grassmannian with quantized completed Toda lattice.

연구 동기 및 목표

• 아핀 그라스만이의 유도 분류에서 루프 회전 호환성을 포함한 기하학적 Satake 동치를 확장한다.
• Langlands 쌍대 리 대수에 대한 Harish-Chandra 이중모듈러를 통해 루프 회전 호환성 유도 Satake 분류를 기술한다.
• 전역 코homology 함자와 Kostant-Whittaker 축소 사이의 정확한 대응을 확립한다.
• 아핀 그라스만이의 전역 호환성 코homology를 컨볼루션에 의해 양자화된 Toda 격자 대수와 동치로 식별하는 추측을 증명한다.
• 순수성과 자연스러운 필터링을 이용하여 호환성 층과 이중모듈러의 카테고리 사이의 단순함수 동치를 제공한다.

제안 방법

• Ginzburg의 호환성 코hom로 및 Kostant 함자 결과를 활용하여 유도 분류를 쌍대 리 대수 위의 코herent 층과 연결한다.
• 등급 $ \check{G} $-호환성 $ U_\hbar $-모듈의 카테고리에서 아핀 그라스만이의 호환성 유도 분류로의 단순함수를 구성한다.
• IC 층들 사이의 호환성 Ext군의 순수성을 활용하여 아핀 그라스만이의 각 스트라타에서 함자 간의 호환성을 확보한다.
• Kostant-Whittaker 축소 함자를 적용하여 전역 코homology를 리 보조대수에 대한 Whittaker 모듈과 식별한다.
• 호환성 코hom로와 Kostant 함자에 대한 자연스러운 필터링을 활용하여 리 하위군 간의 호환성을 확립한다.
• quasi-isomorphism과 형식적 역 구조를 활용하여 코homology에서 기반된 대수적 구조를 유도 분류로 옮긴다.

실험 결과

연구 질문

• RQ1 루프 회전 호환성 유도 Satake 분류는 Langlands 쌍대 측면의 표현 이론적 대상으로 어떻게 기술될 수 있는가?
• RQ2 루프 회전을 고려한 아핀 그라스만이에서 전역 코호몰로지 함자의 정확한 대수적 해석은 무엇인가?
• RQ3 이 설정에서 Kostant-Whittaker 축소는 IC 층의 전역 코호몰로지와 어떻게 관련되는가?
• RQ4 아핀 그라스만이의 호환성 코호몰로지를 컨볼루션을 통해 양자화된 Toda 격자 대수와 식별할 수 있는가?
• RQ5 순수성과 자연스러운 필터링은 기하학적 및 대수적 카테고리 사이의 단순함수 동치를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 루프 회전 호환성 유도 Satake 분류는 Langlands 쌍대 리 대수에 대한 Harish-Chandra 이중모듈러 카테고리와 단순함수 동치이다.
• IC 층의 전역 코호몰로지는 정확히 Harish-Chandra 이중모듈러의 Kostant-Whittaker 축소와 대응된다.
• 전역 호환성 코호몰로지 대수 $ H^\bullet_{{\bf G_O} \rtimes \mathbb{G}_m}(\operatorname{Gr}) $ 는 $ \check{\mathfrak{g}} $ 의 보편 포락 대수의 중심의 텐서 제곱과 동형이다.
• [11]의 추측이 증명되었다: 아핀 그라스만이의 호환성 코호몰로지에 컨볼루션 구조를 부여하면 양자화된 Toda 격자 대수와 동형이다.
• 단순함수 동치의 구성은 호환성 Ext군의 순수성과 리 하위군 간의 자연스러운 필터링의 호환성에 기반한다.
• Kostant 함자 $ \kappa_\hbar $ 는 $ \check{G} $-호환성 $ U_\hbar $-모듈의 유도 분류에서 아핀 그라스만이의 호환성 유도 분류로의 완전 충실 함자를 유도한다.