[논문 리뷰] Differential operators on G/U and the affine Grassmannian

Victor Ginzburg, Simon Riche|arXiv (Cornell University)|2013. 06. 28.

Advanced Algebra and Geometry참고 문헌 16인용 수 11

한 줄 요약

이 논문은 아핀 그라스만이에서의 등변 코homology의 세 가지 실현 간의 등가성을 확립한다: 기본 아핀 공간 G/U 위의 D-모듈, 보편 베르마 모듈에 대한 상호연결 연산자, 그리고 구면 펄서브 셰이브의 코프라이버의 등변 코homology를 통한 것이다. 핵심 기여는 이 세 구성 간의 와이울 군-등변(isomorphism)을 언급하며, 랑글랜즈 쌍대군의 기하학과 미분 연산자 및 보편 군화 대수의 渐近 리스 대수를 통해 통합된다.

ABSTRACT

We describe the equivariant cohomology of cofibers of spherical perverse sheaves on the affine Grassmannian of a reductive algebraic group in terms of the geometry of the Langlands dual group. In fact we give two equivalent descriptions: one in terms of D-modules of the basic affine space, and one in terms of intertwining operators for universal Verma modules. We also construct natural collections of isomorphisms parametrized by the Weyl group in these three contexts, and prove that they are compatible with our isomorphisms. As applications we reprove some results of the first author and of Braverman-Finkelberg.

연구 동기 및 목표

• 아핀 그라스만이에서의 구면 펄서브 셰이브의 코프라이버의 등변 코homology를 랑글랜즈 쌍대군의 표현 이론적 구조와 연결하기 위해.
• 이러한 코homology 군을 두 가지 등가적인 기하학적 및 대수적 기술로 제공하기 위해: 하나는 기본 아핀 공간 G/U 위의 D-모듈로, 다른 하나는 보편 베르마 모듈에 대한 상호연결 연산자로.
• 세 실현 모두에 걸쳐 와이울 군 작용을 구성하고, 이들이 등변임을 증명하기 위해.
• 기하 표현 이론에서 알려진 결과들, 특히 진츠부르크와 브라바르만–핀켈베르그의 결과들을 이 통합 프레임워크를 통해 재증명하고 재해석하기 위해.

제안 방법

• 저자들은 $\mathfrak{t} = \mathrm{Lie}(T)$ 이며 $\hbar$ 와 $\mathfrak{t}$ 가 모두 차수 2를 가지는 Rees 대수 $\mathrm{S}_{\hbar} = \mathrm{S}(\mathfrak{t})[\hbar]$ 위의 세 가닥의 분할 모듈을 정의한다.
• 기하학적 가닥 $\mathcal{M}^{\mathrm{geom}}_{V,\lambda}$ 는 $V \otimes {}^{(\lambda)}\mathscr{D}_{\hbar}(G/U)$ 의 $G$-불변 단면으로서 구성되며, 여기서 $\mathscr{D}_{\hbar}(G/U)$ 는 기본 아핀 공간 위의 미분 연산자들의 Rees 대수이다.
• 대수학적 가닥 $\mathcal{M}^{\mathrm{alg}}_{V,\lambda}$ 는 $\mathrm{Hom}_{(\mathrm{S}_{\hbar},U_{\hbar}(\mathfrak{g}))}(\mathbf{M}(0), V \otimes \mathbf{M}(\lambda))$ 로 정의되며, $\mathbf{M}(\lambda)$ 는 渐近 보편 베르마 모듈이다.
• 위상수학적 가닥 $\mathcal{M}^{\mathrm{top}}_{\mathcal{F},\lambda}$ 는 등변 코homology $\mathsf{H}^{\bullet + \lambda(2\check{\rho})}_{{\check{T}} \times \mathbb{C}^\times}(i_\lambda^!\mathcal{F})$ 로 주어지며, 여기서 $\mathcal{F}$ 는 아핀 그라스만이 위의 $\check{G}(\mathbf{O})$-등변 펄서브 셰이브이다.
• 저자들은 이 세 가닥 간에 와이울 군 $W$ 에 의해 매개화된 자연스러운 등형을 구성하고, $\check{G}$ 내의 $\check{T}$ 의 정규화군에 의해 유도된 와이울 군 작용과의 호환성을 증명한다.
• 이 구성은 미분 연산자 Rees 대수의 심플렉틱 쌍대성과, 심플렉틱 벡터 번들의 $E$ 에 대해 $\mathscr{D}_{\hbar}(E)$ 위에 정의된 자명한 자기동형사상 $\mathbf{F}_E$ 에 의존하며, $\mathbf{F}_E^2 = \mathrm{id}$ 를 만족한다.

실험 결과

연구 질문

• RQ1 아핀 그라스만이에서의 구면 펄서브 셰이브의 코프라이버의 등변 코homology는 랑글랜즈 쌍대군을 통해 어떻게 기술될 수 있는가?
• RQ2 기본 아핀 공간 $G/U$ 위의 D-모듈, 보편 베르마 모듈에 대한 상호연결 연산자, 그리고 아핀 그라스만이에서의 위상수학적 등변 코homology 사이의 정확한 관계는 무엇인가?
• RQ3 와이울 군 작용은 이 세 실현 간에 어떻게 실현되고 호환되는가?
• RQ4 이 세 구성 간의 등형은 명시적으로 기술될 수 있으며, 그것들이 와이울-등변임을 어떻게 보일 수 있는가?
• RQ5 이 구성들은 기하 표현 이론에서 알려진 결과들, 예를 들어 진츠부르크와 브라바르만–핀켈베르그의 결과들을 어떻게 복원하거나 재증명하는가?

주요 결과

• 기하학적, 대수학적, 위상수학적 세 가닥의 분할 $\mathrm{S}_{\hbar}$-모듈은 $\mathrm{S}_{\hbar}$-모듈로서 등형이며, 와이울 군 작용과 호환된다.
• 코homology 군 위의 와이울 군 작용은 $\check{G}$ 내의 $N_{\check{G}}(\check{T})$ 의 작용을 통해 자연스럽게 유도되며, 이 작용은 세 구성 간의 등형으로 올라간다.
• 기하학적 가닥과 대수학적 가닥 간의 등형은 Rees 대수의 미분 연산자와 보편 베르마 모듈을 포함하는 $G$-불변 쌍대형으로 주어진다.
• 위상수학적 가닥 $\mathcal{M}^{\mathrm{top}}_{\mathcal{F},\lambda}$ 는 자연스럽게 분할 $\mathrm{S}_{\hbar}$-모듈이며, $\lambda(2\check{\rho})$ 만큼의 그레딩 이동을 가지며, 나머지 두 가닥과 등형이다.
• 심플렉틱 벡터 번들의 $E$ 에 대해 $\mathscr{D}_{\hbar}(E)$ 위에 정의된 자기동형사상 $\mathbf{F}_E$ 의 구성은 핵심적인 기술 도구를 제공하며, $\mathbf{F}_E^2 = \mathrm{id}$ 를 만족하고 기저 위의 가역 함수의 곱과 교환된다.
• 논문은 진츠부르크와 브라바르만–핀켈베르그의 결과들을 재증명하며, 그들의 구성들이 이 통합 프레임워크의 특수한 경우임을 보여준다.