[논문 리뷰] Weyl modules and q-Whittaker functions

Alexander Braverman, Michael Finkelberg|arXiv (Cornell University)|2012. 03. 07.

Algebraic structures and combinatorial models참고 문헌 12인용 수 8

한 줄 요약

이 논문은 $ q $-Toda 양자역학계를 통해 루프 대수 $ G[[\mathsf{t}]] \rtimes \mathbb{C}^* $의 Weyl 모듈에 대한 기하적 실현을 확립한다. 단순 연결된 $ G $인 경우, 비틀린 $ q $-Whittaker 함수 $ \widehat{\Psi}_{\check{\lambda}}(q,z) $가 Demazure 모듈 $ D(\check{\lambda}) $의 특성함수와 일치함을 보여준다. 이 구성은 양자군 Kostant-Whittaker 축소법과 $ G(R)/T \cdot U_-(R) $ 위의代수기하학적 기법을 사용하여, 이러한 모듈에 대한 새로운 기하적 해석을 제공하고, 코homological 불변량을 통해 특성공식을 증명한다.

ABSTRACT

Let G be a semi-simple simply connected group over complex numbers. In this paper we give a geometric definition of the (dual) Weyl modules over the group G[t] and show that their characters form an eigen-function of the lattice version of the q-Toda integrable integrable system (defined by means of the quantum group version of Kostant-Whittaker reduction due to Etingof and Sevostyanov). All the proofs are algebro-geometric and rely on our previous work which interprets the universal eigen-function of the q-Toda system in terms of rings of functions on the spaces of based quasi-maps from P^1 to the flag variety of G. We discuss in detail the relation between the current work and the works of Cherednik, Ion, Sanderson and Gerasimov-Lebedev-Oblezin.

연구 동기 및 목표

• 양자군 Kostant-Whittaker 축소법을 통해 $ q $-Toda 시스템의 $ q $-Whittaker 함수 $ \Psi_{\check{\lambda}}(q,z) $를 정의한다.
• Sheaf 코hom로 공간 위의 리 대수 작용의 불변량으로서 Demazure 모듈 $ D(\check{\lambda}) $의 기하적 실현을 확립한다.
• 단순 연결된 $ G $인 경우, 비틀린 $ q $-Whittaker 함수 $ \widehat{\Psi}_{\check{\lambda}}(q,z) $가 $ D(\check{\lambda}) $의 특성함수와 일치함을 알gebra기하학적 방법으로 증명한다.
• 기존의 표현론적 접근과는 다름없이, $ D(\check{\lambda}) $에 대한 새로운 기하적 해석을 제공한다.

제안 방법

• 양자군 Kostant-Whittaker 축소법을 통해 양자 차분 Toda 시스템 $ \mathcal{M}_f $를 구성하고, $ \mathcal{M}_f^{\text{lat}} $의 고유함수로서 $ \Psi_{\check{\lambda}}(q,z) $를 정의한다.
• 비틀린 $ q $-Whittaker 함수 $ \widehat{\Psi}_{\check{\lambda}}(q,z) = \Psi_{\check{\lambda}}(q,z) \cdot \prod_{i \in I} \prod_{r=1}^{\langle \alpha_i, \check{\lambda} \rangle} (1 - q^r) $를 정의하며, 이는 $ q $에 대한 다항식이다.
• Demazure 모듈 $ D(\check{\lambda}) $를 $ \mathbb{A}^{\check{\lambda}} $ 위의 층 $ \mathcal{W}(\check{\lambda}) $의 섹션으로서 실현하며, 자연스러운 $ \mathbb{C}[\mathbb{A}^{\check{\lambda}}] $-작용을 갖는다.
• $ \mathfrak{t}(\widetilde{R})_1 $의 작용을 $ \Gamma(G(R)/T \cdot U_-(R), \mathcal{O}(\check{\lambda})) $에 적용하여 모듈의 구조를 정의하고, 불변량이 $ D(\check{\lambda})^\vee $를 복원함을 보인다.
• $ \mathbb{C}[\mathbb{A}^{\check{\lambda}}] $-작용이 $ \pi_{\check{\lambda}} $를 통해 인코딩됨을 증명하여, $ D(\check{\lambda}) $의 기하적 실현을 얻는다.
• Kodaira 코hom올로지 정리와 코hom올로지 기법을 적용하여, $ \Gamma(G(R)/B_-(R), \mathcal{O}(\check{\lambda})) $가 $ D(\check{\lambda})^\vee $와 동형임을 확인함으로써 특성공식을 완성한다.

실험 결과

연구 질문

• RQ1 양자군 축소법을 통한 $ q $-Toda 시스템의 기하적 방법으로서 $ q $-Whittaker 함수를 어떻게 정의할 수 있는가?
• RQ2 Sheaf 코호몰로지 공간 $ G(R)/T \cdot U_-(R) $ 위에서 Demazure 모듈 $ D(\check{\lambda}) $의 기하적 의미는 무엇인가?
• RQ3 왜 단순 연결된 $ G $인 경우 비틀린 $ q $-Whittaker 함수 $ \widehat{\Psi}_{\check{\lambda}}(q,z) $가 $ D(\check{\lambda}) $의 특성함수와 일치하는가?
• RQ4 $ \mathbb{C}[\mathbb{A}^{\check{\lambda}}] $-작용이 $ \mathcal{W}(\check{\lambda}) $ 위에서 기하학적으로 어떻게 해석될 수 있으며, 이는 $ D(\check{\lambda}) $의 모듈 구조와 어떻게 관련되는가?

주요 결과

• 단순 연결된 $ G $인 경우, 비틀린 $ q $-Whittaker 함수 $ \widehat{\Psi}_{\check{\lambda}}(q,z) $는 Demazure 모듈 $ D(\check{\lambda}) $의 특성함수와 일치한다.
• Demazure 모듈 $ D(\check{\lambda}) $는 $ \mathbb{A}^{\check{\lambda}} $ 위의 층 $ \mathcal{W}(\check{\lambda}) $의 섹션으로서 실현되며, 자연스러운 $ \mathbb{C}[\mathbb{A}^{\check{\lambda}}] $-작용을 갖는다.
• $ \Gamma(G(R)/B_-(R), \mathcal{O}(\check{\lambda})) $는 $ D(\check{\lambda})^\vee $와 동형이며, 이는 쌍대 모듈의 기하적 구성이다.
• $ \mathbb{C}[\mathbb{A}^{\check{\lambda}}] $-작용이 $ \pi_{\check{\lambda}} $를 통해 인코딩되며, 이는 모듈의 구조에 대한 새로운 기하적 해석을 제공한다.
• $ \mathfrak{t}(\widetilde{R})_1 $의 불변량이 $ \mathcal{W}(\check{\lambda})^\vee $ 위에서 $ \Gamma(G(R)/B_-(R), \mathcal{O}(\check{\lambda})) $를 복원함을 확인하여 특성공식을 확인한다.
• 증명은 이전의 San과 Ion의 결과에 의존하지 않는 대신, 특성항등식에 대한 새로운 시각을 제공한다.