[논문 리뷰] A quantum Mirković-Vybornov isomorphism

Ben Webster, Alex Weekes외 1명|arXiv (Cornell University)|2017. 06. 12.

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

한 줄 요약

이 논문은 $\mathfrak{gl}_N$에서의 담비 궤도 폐쇄와의 교차에서 얻는 슬로도프 슬라이스를 양자화한 파라불릭 W-대수와 $PGL_n$의 아핀 그라스만리안에서의 슬라이스를 양자화한 절단된 이동 양안의 사이에 명시적인 이somorphism을 구축함으로써, 미르코비치-비보노프 이somorphism의 양자 버전을 수립한다. 주요 결과는 이 이somorphism이 고전적 미르코비치-비보노프 이somorphism을 올리고, 파라불릭 W-대수가 그 Gelfand-Tsetlin 부분대수 위에서 자유 모듈러임을 증명함으로써 푸토르니, 모레브, 옴센코의 추측을 확인한다는 것이다.

ABSTRACT

We present a quantization of an isomorphism of Mirković and Vybornov which relates the intersection of a Slodowy slice and a nilpotent orbit closure in $\mathfrak{gl}_N$ , to a slice between spherical Schubert varieties in the affine Grassmannian of $PGL_n$ (with weights encoded by the Jordan types of the nilpotent orbits). A quantization of the former variety is provided by a parabolic W-algebra and of the latter by a truncated shifted Yangian. Building on earlier work of Brundan and Kleshchev, we define an explicit isomorphism between these non-commutative algebras, and show that its classical limit is a variation of the original isomorphism of Mirković and Vybornov. As a corollary, we deduce that the W-algebra is free as a left (or right) module over its Gelfand-Tsetlin subalgebra, as conjectured by Futorny, Molev, and Ovsienko.

연구 동기 및 목표

• Slodowy 슬라이스와 $PGL_n$의 아핀 그라스만리안 사이의 미르코비치-비보노프 이somorphism의 양자화를 구축한다.
• 파라불릭 W-대수(담비 궤도 폐쇄와의 교차에서 얻는 슬라이스의 양자화)와 절단된 이동 양안(아핀 그라스만리안의 쇼버트 슬라이스의 양자화) 사이의 이somorphism을 수립한다.
• 파라불릭 W-대수가 그 Gelfand-Tsetlin 부분대수 위에서 자유 모듈러임을 증명함으로써, 푸토르니, 모레브, 옴센코의 추측을 확인한다.
• 최고 가시성 이론과 파라불릭-특이 웨일 군 원소를 사용하여 브룬단과 켈레슈체프의 유한 W-대수의 표현을 파라불릭 설정으로 일반화한다.

제안 방법

• 파라불릭 W-대수에 대한 최고 가시성 이론을 사용하여, 웨일 군의 파라불릭-특이 원소를 통해 최고 가시성의 특징을 기술한다.
• 파라불릭-특이 순열에 해당하는 단순 모듈의 근사자들의 교차를 통해 유한 W-대수의 몫으로서 파라불릭 W-대수를 정의한다.
• 양안의 드린펠트 표현과 브룬단-켈레슈체프의 $U(\mathfrak{gl}_N)$로의 임베딩을 사용하여, 절단된 이동 양안과 파라불릭 W-대수 사이의 명시적 이somorphism을 구성한다.
• 브룬단-켈레슈체프 임베딩과 관련된 행렬 $T(u)$의 가우스 분해를 활용하여, 양안과 W-대수의 생성자를 연결한다.
• 양측의 행렬 성분과 행렬식을 비교하여, 이 이somorphism의 고전적 극한이 원래의 미르코비치-비보노프 이somorphism을 복원함을 증명함으로써, 이 이somorphism이 정확한 양자화임을 확인한다.
• 고전적 수준에서 행렬 성분 $T_{ij;0}^{(r)}$과 $A_i^{(r)}, E_i^{(r)}$의 평가를 통해 생성자들을 매칭하고, 이 somorphism 증명을 완성한다.

실험 결과

연구 질문

• RQ1 Slodowy 슬라이스와 아핀 그라스만리안 슬라이스 사이의 고전적 이somorphism을 양자화할 수 있는가? 즉, 이는 원래의 이somorphism을 올리는가?
• RQ2 파라불릭-특이 웨일 군 원소에 관련된 최고 가시성 모듈을 사용하여, 파라불릭 W-대수를 유한 W-대수의 몫으로서 표현할 수 있는가?
• RQ3 절단된 이동 양안이 A형에서 파라불릭 W-대수의 표현을 제공하는가? 이는 브룬단과 켈레슈체프의 작업을 일반화하는가?
• RQ4 파라불릭 W-대수가 그 Gelfand-Tsetlin 부분대수 위에서 자유 모듈러인가? 이는 푸토르니, 모레브, 옴센코의 추측을 확인하는가?
• RQ5 고전적 극한 하에서 절단된 이동 양안의 생성자들과 파라불릭 W-대수의 생성자들이 어떻게 매칭되는가?

주요 결과

• 논문은 파라불릭 W-대수와 절단된 이동 양안 사이의 필터링된 대수의 명시적 이somorphism을 구축하여, 고전적 미르코비치-비보노프 이somorphism을 올린다.
• 이 이somorphism의 고전적 극한은 원래의 $\mathcal{S}_e \cap \overline{\mathbb{O}_{e'}}$와 $\mathsf{Gr}^{\overline{\lambda}}_\mu$ 사이의 미르코비치-비보노프 이somorphism을 복원하며, 이는 이 양자화가 정확함을 확인한다.
• 이 이somorphism은 A형에서 파라불릭 W-대수의 표현을 제공하며, 브룬단과 켈레슈체프의 유한 W-대수의 표현을 일반화한다.
• 파라불릭 W-대수가 그 Gelfand-Tsetlin 부분대수 위에서 왼쪽(또는 오른쪽) 자유 모듈러임이 입증되었으며, 이는 푸토르니, 모레브, 옴센코의 추측을 확인한다.
• 고전적 극한 하에서 절단된 이동 양안의 생성자 $A_i^{(r)}$과 $E_i^{(r)}$는 각각 $(-1)^r Q_i^{(r)}$와 $(-1)^r E_i^{(r)}$로 매핑되며, W-대수 측의 $T(u)$의 가우스 분해의 행렬 성분과 일치한다.
• 고전적 수준에서 $T_{ij;0}^{(r)}$의 평가는 $(-1)^r a_{ji}^{(r)}$와 같으며, 이는 대수적 구조를 매칭하고 이 somorphism 증명을 완성하는 데 핵심적인 역할을 한다.