[논문 리뷰] Quantum Groups and Quantum Cohomology

Davesh Maulik, Andreĭ Okounkov|arXiv (Cornell University)|2012. 11. 06.

Algebraic structures and combinatorial models인용 수 188

한 줄 요약

이 논문은 임의의 퀼레인 $Q$에 대해 나카지마 퀄레 비변형의 등변 코homology 위에 작용하는 호프 대수로서 양안 $Σ_Q$를 도입하며, 양자 코hom로지와 삼각함수 캐스피아르 연결을 연결하는 기하학적 $R$-행렬 형식을 수립한다. 주요 결과는 양자 코hom로지의 영역 연산자가 양안의 백서 하위대수의 원소에 대응하며, $\mathbb{C}^2$ 위의 층의 모듈리 공간에 대해 양자 링이 이러한 연산자들에 의해 생성되며, 코hom로지 위에 $W$-대수 작용을 실현하고 앨데이, 가이오토, 타치카와의 추측을 확인한다.

ABSTRACT

In this paper, we study the classical and quantum equivariant cohomology of Nakajima quiver varieties for a general quiver Q. Using a geometric R-matrix formalism, we construct a Hopf algebra Y_Q, the Yangian of Q, acting on the cohomology of these varieties, and show several results about their basic structure theory. We prove a formula for quantum multiplication by divisors in terms of this Yangian action. The quantum connection can be identified with the trigonometric Casimir connection for Y_Q; equivalently, the divisor operators correspond to certain elements of Baxter subalgebras of Y_Q. A key role is played by geometric shift operators which can be identified with the quantum KZ difference connection. In the second part, we give an extended example of the general theory for moduli spaces of sheaves on C^2, framed at infinity. Here, the Yangian action is analyzed explicitly in terms of a free field realization; the corresponding R-matrix is closely related to the reflection operator in Liouville field theory. We show that divisor operators generate the quantum ring, which is identified with the full Baxter subalgebras. As a corollary of our construction, we obtain an action of the W-algebra W(gl(r)) on the equivariant cohomology of rank $r$ moduli spaces, which implies certain conjectures of Alday, Gaiotto, and Tachikawa.

연구 동기 및 목표

• 나카지마 퀄레 비변형의 등변 양자 코hom로지에 대한 일반적 구조 이론을 기하학적 $R$-행렬 형식을 사용하여 개발하는 것.
• 호프 대수로서의 양안 $\mathsf{Y}_Q$를 나카지마 퀄레 비변형의 코hom로지 위에 작용하도록 구성하는 것.
• 양자 코hom로지에서의 영역 곱셈이 $\mathsf{Y}_Q$의 백서 하위대수의 원소에 대응함을 규명하고, 삼각함수 캐스피아르 연결과 연결하는 것.
• 자유장 실현을 통해 $\mathbb{C}^2$ 위의 층의 모듈리 공간에 대해 양안 작용을 명시적으로 실현하고, $W$-대수 작용을 확립하는 것.
• 양자 링이 영역 연산자들에 의해 생성되며, 전체 백서 하위대수와 동형임을 보여 양자 링의 구조를 확인함으로써 앨데이, 가이오토, 타치카와의 추측을 확인하는 것.

제안 방법

• 나카지마 퀄레 비변형 위에서 기하학적 $R$-행렬 형식을 통해 호프 대수로서의 양안 $\mathsf{Y}_Q$를 구성하는 것.
• 안정된 막대와 토르 고정점 국소화를 사용하여 $R$-행렬과 그 브레인드 관계를 정의하고 특성화하는 것.
• 양자 코hom로지에서의 영역 곱셈을 $\mathsf{Y}_Q$의 백서 하위대수의 연산자들과 규명하여, 삼각함수 캐스피아르 연결과 대응됨을 보이는 것.
• 기하학적 이동 연산자들을 사용하여 양자 코hom로지가 적분 가능 시스템과 연결됨을 보이며, 이 연산자들은 양자 KZ 차분 연결과 일치함을 보이는 것.
• $\mathcal{M}(r,n)$에 대해 자유장 표현을 통해 Fock 공간에서 양안 작용을 명시적으로 실현하며, $R$-행렬이 리우빌 이론의 반사 연산자와 관련됨을 보이는 것.
• 전체 양자 코hom로지 링이 영역 연산자들에 의해 생성되며, Fock 모듈러스 위에서 양안 작용의 완비화를 통해 $\mathcal{W}(\mathfrak{gl}(r))$-작용이 유도됨을 보이는 것.

실험 결과

연구 질문

• RQ1 나카지마 퀄레 비변형의 양자 코호몰로지가 호프 대수 작용을 통해 어떻게 구조화될 수 있는가?
• RQ2 양자 곱셈과 적분 가능 시스템을 연결하는 데 있어 $R$-행렬의 정확한 기하학적 및 대수적 역할은 무엇인가?
• RQ3 양자 코호몰로지의 영역 연산자가 양안의 백서 하위대수의 원소와 어떻게 대응되는가?
• RQ4 복소평면 $\mathbb{C}^2$ 위의 층의 모듈리 공간에 대해 양안 작용은 어떻게 명시적으로 실현되는가?
• RQ5 $\mathcal{M}(r,n)$의 양자 링이 영역 연산자들로부터 유도되는가? 그리고 이는 코호몰로지 위에 $\mathcal{W}(\mathfrak{gl}(r))$-작용을 유도하는가?

주요 결과

• 양안 $\mathsf{Y}_Q$는 나카지마 퀄레 비변형의 등변 코호몰로지 위에 작용하며, 이는 양자 코호몰로지 구조의 기하학적 실현을 제공한다.
• 영역 곱셈에 의한 양자 곱셈은 $\mathsf{Y}_Q$의 백서 하위대수의 연산자들로 실현되며, 양자 연결은 삼각함수 캐스피아르 연결로 규명된다.
• $\mathcal{M}(r,n)$에 대해 양자 코호몰로지 링은 영역 연산자들에 의해 생성되며, 이 링은 $\mathsf{Y}_Q$의 전체 백서 하위대수와 동형이다.
• $H^\bullet_{\mathsf{G}}(\mathcal{M}(r,n))$ 위에 $\mathcal{W}(\mathfrak{gl}(r))$-작용은 Fock 공간 위에서 양안 작용의 완비화를 통해 실현되며, AGT 추측을 확인한다.
• $R$-행렬은 바이랄로로 통합자로 식별되며, 리우빌 이론의 반사 연산자와 일치함을 보여, 양자 코호몰로지와 2차원 CFT 사이의 깊은 연결을 확립한다.
• 이론의 이동 연산자들은 양자 KZ 차분 연결과 일치하며, $R$-행렬 형식을 통해 그 통합 성질이 증명된다.