[논문 리뷰] Affine Laumon spaces and integrable systems

Andrei Neguţ|arXiv (Cornell University)|2011. 12. 08.

Black Holes and Theoretical Physics참고 문헌 10인용 수 12

한 줄 요약

이 논문은 Braverman의 추측을 증명하며, $\mathbb{C}^2$에서의 ${\mathcal{N}}=2$ 게이지 이론에 대한 Nekrasov 분할 함수와 비정적 비틀림을 가진 아핀 삼각함수 Calogero-Moser 해밀토니안의 비정적 변형 간의 관계를 규명한다. 아핀 Laumon 공간 위의 적분 생성 함수가 이 해밀토니안의 정규화된 고유함수와 같음을 보이며, 정규화는 $\widehat{\mathfrak{gl}}_n$의 Weyl 행렬식을 포함한다. 이는 이러한 공간들의 $T$-동변 코homology와 $K$-이론을 통한 분할 함수의 기하적 실현을 제공한다.

ABSTRACT

In this paper we formalize and prove a conjecture of Braverman concerning integrals of the Chern polynomial of the tangent bundle to affine Laumon spaces. This provides the computation of the Nekrasov partition function of N = 2 gauge theory with adjoint matter on C^2 in the Omega background, in the presence of a full surface operator insertion

연구 동기 및 목표

• ${\mathcal{N}}=2$ 게이지 이론에 대해 $\mathbb{C}^2$에서의 애드조인트 물질을 가진 Nekrasov 분할 함수에 대한 Braverman의 추측을 형식화하고 증명한다.
• 아핀 Laumon 공간 위에서의 차수 다항식 적분 생성 함수가 비정적 아핀 삼각함수 Calogero-Moser 해밀토니안의 고유함수와 어떻게 연결되는지 규명한다.
• 동변 코hom로지에서의 Ext 연산자와 $\widehat{\mathfrak{gl}}_n$의 작용 간 기하적 연결 고리를 확립한다.
• 기존의 일반 Laumon 공간 결과를 전체 아핀 경우로 확장하기 위해 분할 함수의 $K$-이론적 변형을 도입한다.

제안 방법

• 논문은 아핀 Laumon 공간의 동변 코homology $H = \bigoplus_{\mathbf{d} \in \mathbb{N}^n} H^*_T(\mathcal{M}_\mathbf{d})$ 위에 정의된 Ext 연산자 $A_m$을 구성하며, 그 특성은 생성 함수 $\tilde{Z}_m$을 제공한다.
• $A_m$의 특성은 비정적 해밀토니안 $\mathcal{H}_m$의 고유함수 $Y_m$과 일치하며, 이는 Weyl 행렬식 $\delta^{m+1}$과 단항식 $x_1^{b_1}\cdots x_n^{b_n}$으로 정규화된다.
• 핵심 기술적 단계는 $\widehat{\mathfrak{gl}}_n$-intertwiner 작용이 코homology 위에서 $\mathcal{H}_m$의 고유함수 구조와 어떻게 연결되는지 밝혀내며, [7]의 비정적 적분 가능 시스템 이론을 활용한다.
• $K$-이론적 변형 $Z_m$은 $\chi_T(\mathcal{M}_\mathbf{d}, \sum_k (-q^{2m})^k \wedge^k(T^\vee \mathcal{M}_\mathbf{d}))$를 통해 도입되며, $\hbar \to 0$ 근처에서 $\tilde{Z}_m$으로 감소한다.
• 잔여 계산과 생성함수 항등식을 사용하여 $K$-이론적 구조 상수 $B_{k_1,\dots,k_t|}$와 고유함수 전개 간의 관계를 규명하고, 식 (2.62)의 로그 항등식을 증명한다.
• 증명은 $y_s = 0, \infty$에서의 재귀 잔여 계산에 기반하며, $B_{|k_1,\dots,k_t}$와 $B_{k_1,\dots,k_t|}$ 간의 관계를 도출하여 지수 생성함수 항등식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 ${\mathcal{N}}=2$ 게이지 이론에 대해 애드조인트 물질이 있는 경우, 아핀 Laumon 공간 위의 적분을 통해 Nekrasov 분할 함수를 어떻게 기하학적으로 실현할 수 있는가?
• RQ2 생성 함수 $\tilde{Z}_m$과 비정적 아핀 삼각함수 Calogero-Moser 해밀토니안 $\mathcal{H}_m$의 고유함수 사이의 정확한 관계는 무엇인가?
• RQ3 $K$-이론적 변형 $Z_m$은 동변 코hom로지 생성 함수 $\tilde{Z}_m$과 어떻게 관련되어 있는가?
• RQ4 아핀 Laumon 공간의 코homology 위에서의 Ext 연산자 $A_m$은 $\widehat{\mathfrak{gl}}_n$ 작용의 인터티너와 어떻게 일치하는가?
• RQ5 고유함수 $Y_m$을 정규화하여 $\tilde{Z}_m$을 복원하는 데 Weyl 행렬식 $\delta$가 수행하는 역할은 무엇인가?

주요 결과

• 생성 함수 $\tilde{Z}_m$은 비정적 해밀토니안 $\mathcal{H}_m$의 고유함수 $Y_m$과 $\frac{Y_m}{x_1^{b_1}\cdots x_n^{b_n} \cdot \delta^{m+1}}$로 정확히 일치함을 증명하였다.
• 게이지 이론의 동변 매개변수 $a_i$는 고유함수 매개변수 $b_i$와 $b_i - b_{i-1} = a_i - \frac{\sum a_j}{n} + \frac{p}{n}(i - \frac{n+1}{2})$ 관계로 연결되며, 기하학과 표현론 간의 연결 고리를 제공한다.
• $K$-이론적 분할 함수 $Z_m$은 $\tilde{Z}_m$의 $q$-변형임을 보이며, $u_i = e^{\hbar a_i}$, $q = e^{\hbar}$, $\bar{q} = e^{\hbar p}$이며, $\hbar \to 0$ 근처에서 코hom로지 경우로 복원된다.
• $y_s = 0, \infty$에서의 잔여 계산은 $B_{k_1,\dots,k_t|}$에 대한 재귀 항등식을 도출하며, 이는 식 (2.62)의 지수 생성함수 항등식으로 이어진다.
• 주요 대수적 관계로 $\left(\sum_k g_k x^k\right) A_m = A_m \left(\sum_k g_k x^k\right) \exp\left(\sum_{k=1}^\infty \frac{(-1)^{k-1}x^k}{k} \cdot \frac{q^{(\gamma+mn)k} - q^{-(mn+\gamma)k}}{{\overline{q}}^k - {\overline{q}}^{-k}}\right)$ 가 확인되었다.
• 논문은 Ext 연산자 $A_m$이 $\widehat{\mathfrak{gl}}_n$ 인터티너와 교환 가능하며, 그 특성이 고유함수 $Y_m$임을 확인하였으며, 이는 주요 정리를 증명한다.