[논문 리뷰] Quantum difference equation for Nakajima varieties

Andreĭ Okounkov, Andrey S. Smirnov|arXiv (Cornell University)|2016. 02. 29.

Algebraic structures and combinatorial models인용 수 6

한 줄 요약

이 논문은 Nakajima의 퀼리 다양체에 대해, Pic(X)⊗ℂ 내의 주기적 초평면 배열의 기본군개를 통해 등장하는 동치 K-호몰로지에서의 양자 동역학적 Weyl 군 작용을 도입함으로써, 양자 차분 방정식을 수립한다. 주요 결과는 이 군개의 격자 부분이 양자 차분 연산자와 일치하며, 양자 미분 방정식을 K-호몰로지로 일반화하고, R-행렬과 Hilbert 스킴에서의 단형성과 연결시킨다.

ABSTRACT

For an arbitrary Nakajima quiver variety $X$, we construct an analog of the quantum dynamical Weyl group acting in its equivariant K-theory. The correct generalization of the Weyl group here is the fundamental groupoid of a certain periodic locally finite hyperplane arrangement in $Pic(X)\otimes {\mathbb{C}}$. We identify the lattice part of this groupoid with the operators of quantum difference equation for $X$. The cases of quivers of finite and affine type are illustrated by explicit examples.

연구 동기 및 목표

• Nakajima의 퀼리 다양체의 등가 K-호몰로지로 양자 미분 방정식을 일반화하기 위해.
• Pic(X)⊗ℂ 내의 주기적 초평면 배열의 기본군개를 통해 K-이론에서의 양자 동역학적 Weyl 군 작용을 구성하기 위해.
• 이 군개의 격자 부분을 K-호몰로지에 작용하는 양자 차분 연산자와 식별하기 위해.
• 안정 기저를 통해 이 연산자들과 순환 퀼리 다양체의 R-행렬 사이의 연결 고리를 수립하기 위해.
• Hilb^n(ℂ²)에 대한 양자 미분 방정식의 특이점 주위에서 단형성 연산자 B_w(z)가 기본군을 표현함을 보여주기 위해.

제안 방법

• 저자들은 등가 K-호몰로지에서 안정 막대를 정의하여 벽을 횡단하는 연산자와 R-행렬을 구성한다.
• 양자 루프 대수 𝒰_ℏ(ĝ_Q)와 그 벽 부분대수 𝒰_ℏ(𝔤_w)를 도입하여 양자군 작용을 모델링한다.
• 양자 차분 연산자 M_L(z)는 안정 막대와 R-행렬의 복합으로 구성된다.
• 동역학적 연산자 B_w(λ)는 z→∞일 때 M_L(z)의 극한으로 정의되며, 단형성 자료를 포함한다.
• 혼합 안정 기저에서 B_w(z)의 명시적 행렬을 계산하여, 등가 매개변수 a=t₁/t₂에 독립적임을 보이며, 오직 z와 ℏ=t₁t₂에만 의존함을 밝힌다.
• B_w(z) 연산자들이 순환 퀼리 다양체의 K-이론적 R-행렬과 일치함을 식별하여, 그들과 심플렉틱 쌍대성 및 Hilbert 스킴 간의 연결 고리를 설정한다.

실험 결과

연구 질문

• RQ1 코homology에서의 양자 미분 방정식은 어떻게 Nakajima의 퀼리 다양체에 대한 등가 K-호몰로지의 양자 차분 방정식으로 올라갈 수 있는가?
• RQ2 K-호몰로지에서의 Weyl 군 작용의 적절한 일반화는 무엇이며, Pic(X)⊗ℂ 내의 초평면 배열과 어떻게 관련되는가?
• RQ3 양자 루프 대수와 벽 부분대수의 표현 이론으로부터 양자 차분 연산자는 어떻게 유도되는가?
• RQ4 안정 기저와 R-행렬은 양자 동역학적 Weyl 군을 실현하는 데 어떤 역할을 하는가?
• RQ5 Hilb^n(ℂ²)에 대한 양자 미분 방정식의 단형성은 연산자 B_w(z)와 어떻게 관련되는가?

주요 결과

• Nakajima 다양체에 대한 양자 차분 방정식은 Pic(X)⊗ℂ 내 주기적 초평면 배열의 기본군개를 통해 구성되며, Weyl 군을 일반화한다.
• 이 군개의 격자 부분은 정확히 등가 K-호몰로지에 작용하는 양자 차분 연산자와 일치한다.
• B_w(z) 연산자가 등가 매개변수 a=t₁/t₂에 독립적임을 보이며, 오직 z와 ℏ=t₁t₂에만 의존함을 입증하였다.
• 혼합 안정 기저에서 B_w(z)의 행렬은 d(w)개의 정점으로 이루어진 순환 퀸리 다양체의 K-이론적 R-행렬과 정확히 일치한다.
• B_w = lim_{z→∞} B_w(z)의 극한은 Hilb^n(ℂ²)에 대한 양자 미분 방정식의 특이점 주위에서의 단형성을 실현한다.
• 이 구성은 연산자 B_w를 통해 Fock 공간에서 π₁(ℙ¹∖{특이점들})의 기본군 표현을 제공한다.