[논문 리뷰] Equivariant quantum cohomology and Yang-Baxter algebras

Vassily Gorbounov, Christian Korff|arXiv (Cornell University)|2014. 02. 12.

Advanced Combinatorial Mathematics참고 문헌 37인용 수 10

한 줄 요약

이 논문은 양자 코hom로지의 두 깊이 있는 접근법 사이의 다리를 놓는다: 페터슨의 아핀 nil-Hecke 대수 프레임워크와 나카지마 퀼리 다양체에서 유래한 양-바크스터 통합 가능 시스템. 상태 공간이 그라스만يان의 임의의 양자 코호몰로지의 직합인 등방위 양자 통합 가능 격자 모델을 구성하여, 양-바크스터 대수가 이 공간에 작용하고, 이 대수 내에 등방위 양자 코호몰로지와 동형인 교환 가능한 베테 대수를 포함함을 보여주며, 스슈어-웨일 대칭을 통해 잠재적인 양자 군 구조를 드러낸다.

ABSTRACT

There are two intriguing statements regarding the quantum cohomology of partial flag varieties. The first one relates quantum cohomology to the affinisation of Lie algebras and the homology of the affine Grassmannian, the second one connects it with the geometry of quiver varieties. The connection with the affine Grassmannian was first discussed in unpublished work of Peterson and subsequently proved by Lam and Shimozono. The second development is based on recent works of Nekrasov, Shatashvili and of Maulik, Okounkov relating the quantum cohomology of Nakajima varieties with integrable systems and quantum groups. In this article we explore for the simplest case, the Grassmannian, the relation between the two approaches. We extend the definition of the integrable systems called vicious and osculating walkers to the equivariant setting and show that these models have simple expressions in a particular representation of the affine nil-Hecke ring. We compare this representation with the one introduced by Kostant and Kumar and later used by Peterson in his approach to Schubert calculus. We reveal an underlying quantum group structure in terms of Yang-Baxter algebras and relate them to Schur-Weyl duality. We also derive new combinatorial results for equivariant Gromov-Witten invariants such as an explicit determinant formula.

연구 동기 및 목표

• 양자 코호몰로지 분야의 두 주요 발전, 페터슨의 아핀 nil-Hecke 대수 접근법과 마울릭-오쿤코프-네크라소프의 통합 가능 시스템 프레임워크를 조율하는 것.
• 새로운 아핀 nil-Hecke 대수 표현을 사용하여 악시드 및 오스큘레이팅 워커 이론을 등방위 설정으로 확장하는 것.
• 양-바크스터 대수 내의 교환 가능한 베테 대수를 그라스만ian의 등방위 양자 코호몰로지와 동형으로 식별하는 것.
• 완비된 등방위 매개변수의 텐서곱 내의 비틀림 원소를 통해 슈부르트 기저와 페터슨 기저 사이의 아핀 헤이크 대수 작용의 관계를 명확히 하는 것.
• 등방위 그로모프-위튼 불변량에 대한 새로운 조합적 공식, 특히 명시적 행렬식 공식을 유도하는 것.

제안 방법

• 상태 공간 $\mathcal{V} = \bigoplus_{n=0}^N \mathcal{V}_n$ 인 양자 통합 가능 격자 모델을 구성하며, 여기서 $\mathcal{V}_n \cong QH_T^*(\mathrm{Gr}_{n,N})$이다.
• 양-바크스터 방정식의 해를 통해 양-바크스터 대수를 정의하고, 이 대수가 $\mathcal{V}$ 위에 양자 대칭으로 작용하도록 한다.
• 전이 행렬로 생성되는 양-바크스터 대수의 교환 가능한 부분대수를 식별하고, 이 부분대수가 등방위 양자 코호몰로지 $QH_T^*(\mathrm{Gr}_{n,N})$와 동형임을 보인다.
• 코스타ント-쿠마르 및 페터슨의 것과는 다름없는 새로운 아핀 nil-Hecke 대수 표현을 사용하여 $\mathcal{V}$ 위의 작용을 기술한다.
• $\tilde{S}_\lambda$ 가 베테 벡터 $Y_\alpha$ 위에 작용하는 방식을 GKM 클래스 $\xi_\lambda(y_\alpha) = s_\lambda(y_\alpha|t)$ 와 연결하여, 슈어 다항식과 양자 곱셈 간의 연결 고리를 확립한다.
• 매핑을 통해 $\mathcal{V}_P \to QH_T^*(G/P)$ 의 동형을 수립하며, 이 매핑은 $|v\rangle = \sum_u \xi_v(u) \otimes Y_u$ 를 슈부르트 클래스 $\sigma_v$ 로 보내며, 곱셈은 $|w\rangle \circledast |v\rangle = S_w |v\rangle$ 로 정의된다.

실험 결과

연구 질문

• RQ1 등방위 양자 코호몰로지의 그라스만ian은 통합 가능 시스템에서 유래한 양-바크스터 대수 위의 모듈로 어떻게 실현될 수 있는가?
• RQ2 이 논문에서 사용된 아핀 nil-Hecke 대수의 새로운 표현은 슈부르트 계산에서 코스타ント-쿠마르 및 페터슨의 표현과 정확히 어떤 관계가 있는가?
• RQ3 양-바크스터 대수 내의 교환 가능한 베테 대수는 등방위 양자 코호몰로지의 그라스만ian과 명시적으로 동형으로 식별될 수 있는가?
• RQ4 등방위 헤이크 대수 작용은 $QH_T^*(\mathrm{Gr}_{n,N}) \otimes \mathbb{F}_q$ 내의 슈부르트 기저와 비틀림 원소 기저 사이에서 어떻게 다를까?
• RQ5 양자 코호몰로지와 통합 가능 시스템 간의 상호작용에서 어떤 조합적 구조, 예를 들어 행렬식 공식이 도출되는가?

주요 결과

• 양-바크스터 대수가 직합 $\mathcal{V} = \bigoplus_n QH_T^*(\mathrm{Gr}_{n,N})$ 의 등방위 양자 코호몰로지 위에 작용하며, 그 전이 행렬로 생성되는 교환 가능한 부분대수는 각각의 그라스만ian의 등방위 양자 코호몰로지와 동형이다.
• 코스타ント-쿠마르 및 페터슨의 접근법과는 다름없는 새로운 아핀 nil-Hecke 대수 표현이 구성되었으며, 이는 양자 코호몰로지 작용을 다르게 실현하지만 여전히 올바른 슈부르트 기저 상수를 유도한다.
• 베테 벡터 $Y_\alpha$ 위에 작용하는 슈어 다항식 $s_\lambda(y_\alpha|t)$ 는 GKM 클래스 $\xi_\lambda(y_\alpha)$ 의 곱셈으로 해석되며, 이는 양자 곱셈과 통합 가능 시스템 간의 연결 고리를 제공한다.
• 곱셈 $|\lambda\rangle \circledast |\mu\rangle = \sum_\alpha s_\mu(y_\alpha|t) \cdot (\tilde{S}_\lambda Y_\alpha)$ 는 명시적으로 계산되었으며, $\sum_\alpha (j_{\hat{w}^\lambda} s_\mu(y_\alpha|t)) Y_\alpha$ 와 일치함을 보여, 페터슨 기저와의 일致성을 확인한다.
• 양-바크스터 대수와 양자 슈어 다항식 간의 상호작용을 통해 등방위 그로모프-위튼 불변량에 대한 새로운 행렬식 공식이 도출되었다.
• 매핑 $|v\rangle \mapsto \sigma_v$ 를 통해 $\mathcal{V}_P \to QH_T^*(G/P)$ 의 동형이 수립되었으며, 곱셈은 $S_w$ 의 작용으로 정의되며, 이는 양자 코호몰로지에 대한 새로운 대수적 프레임워크를 제공한다.