[논문 리뷰] Quantum Algebras and Cyclic Quiver Varieties

Andrei Neguţ|arXiv (Cornell University)|2015. 01. 01.

Algebraic structures and combinatorial models참고 문헌 39인용 수 27

한 줄 요약

이 논문은 이중 순환 퀼러의 셈플 대수와 양자 토로이드 대수 $ U_{q,t}( ext{sl}_n) $ 사이의 이somorphism을 확립하고, 나카지마 순환 퀼러 다양체의 K-이론을 베르마 모듈의 몫과 동일시하며, 보편 R-행렬을 양자 아핀 군 조각들로의 분해를 통해 구성함으로써, 코로쉬킨-톨스토이의 결과를 일반화하고 멀리크-오쿠노프의 안정 기저 구성과 일치시킴.

ABSTRACT

The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_[q,t](sl_n), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot. The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_[q,t](sl_n), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_q(gl_m), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_[q,t](sl_n) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.

연구 동기 및 목표

• 순환 퀄러 다양체와 양자 토로이드 대수 사이의 기하적 표현론적 프레임워크를 수립하는 것.
• 나카지마 순환 퀄러 다양체의 K-이론 군을 셔플 대수 위의 베르마 모듈의 몫과 동일시하는 것.
• 보편 R-행렬을 $ U_q( ext{gl}_m) $에 이sovomorphic인 부분대수들을 사용하여 구성함으로써, 알려진 분해를 일반화하는 것.
• 셔플 대수 접근법과 멀리크-오쿠노프의 안정 기저 간의 일치를 위해 루트 생성자 작용에 대한 명시적 공식을 도출하는 것.

제안 방법

• 이중 순환 퀄러의 K-이론 힐 대수로서 셔플 대수를 사용하여 양자 토로이드 대칭을 모델링하는 것.
• 셔플 대수와 $ U_{q,t}( ext{sl}_n) $ 사이의 이somorphism을 증명하여, 퀄러 다양체 K-이론의 표현론적 해석을 가능하게 하는 것.
• 다양한 $ m $에 대해 $ U_q( ext{gl}_m) $에 이sov모르픽인 부분대수들로부터 유래하는 성분들로 보편 R-행렬을 분해하여 구성하는 것.
• 루트 생성자 작용에 대한 명시적 공식을 유도하여, 무른아카나-나카야마 및 피에리 유형의 조합적 규칙을 확장하는 것.
• 셔플 대수 프레임워크를 사용하여 멀리크-오쿠노프의 기하적 안정 기저 구성과의 일관성을 검증하는 것.
• 셔플 대수와 양자 토로이드 대수 사이의 이somorphism을 활용하여 기하적 K-이론 데이터를 대수적 표현론적 구조로 변환하는 것.

실험 결과

연구 질문

• RQ1 이중 순환 퀄러의 셔플 대수는 어떻게 양자 토로이드 대수 $ U_{q,t}( ext{sl}_n) $ 를 실현할 수 있는가?
• RQ2 셔플 대수 위의 베르마 모듈의 몫과 나카지마 순환 퀄러 다양체의 K-이론 군 사이의 정확한 대응 관계는 무엇인가?
• RQ3 보편 R-행렬 $ U_{q,t}( ext{sl}_n) $ 는 양자 아핀 군 $ U_q( ext{gl}_m) $ 와 관련된 성분들로 분해될 수 있는가? 그리고 이는 기존 결과를 어떻게 일반화하는가?
• RQ4 K-이론에서 퀄러 다양체의 루트 생성자 작용은 무른아카나-나카야마 및 피에리 유사 규칙과 어떻게 관련이 있는가?
• RQ5 셔플 대수 프레임워크는 안정 기저의 대수적 및 기하적 구성 간의 통합 정도는 어느 정도인가?

주요 결과

• 이중 순환 퀄러의 셔플 대수는 양자 토로이드 대수 $ U_{q,t}( ext{sl}_n) $ 와 이somorphic하며, 이 대상에 대한 새로운 대수적 실현을 제공한다.
• 셔플 대수 위의 베르마 모듈의 몫은 나카지마 순환 퀄러 다양체의 K-이론 군과 동일시되며, 기하적 표현론적 대응을 확인한다.
• 보편 R-행렬 $ U_{q,t}( ext{sl}_n) $ 는 $ U_q( ext{gl}_m) $ 에 이sov모르픽인 조각들로 분해되어 구성되며, 코로쉬킨-톨스토이의 분해를 토로이드 설정으로 일반화한다.
• 멀리크-오쿠노프의 안정 기저에 대한 루트 생성자 작용에 대한 명시적 공식이 도출되었으며, 이는 고전적 무른아카나-나카야마 및 피에리 유형의 규칙을 양자 토로이드 맥락으로 확장한다.
• 셔플 대수 구성은 멀리크-오쿠노프의 안정 기저 분해와 일치하며, 직접적인 대수적-기하적 대응을 수립한다.
• 이 프레임워크는 안정 기저를 부분대수와 베르마 모듈 몫의 관점에서 통합적인 대수적 해석을 제공하며, 퀄러 다양체의 K-이론의 조합론적 및 기하학적 이해를 풍부하게 한다.