[논문 리뷰] Lectures on Instanton Counting

Hiraku Nakajima, Kōta Yoshioka|ArXiv.org|2003. 11. 05.

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

한 줄 요약

이 논문은 N=2 초대칭 양-밀스 이론에서 네크라소프의 변형된 분할 함수에 대한 엄밀한 수학적 프레임워크를 제공하며, 이를 인스탄톤 모듈리 공간 위의 등변 코homology와 연결함으로써 구축한다. 블로우업 방정식을 통해 종수 1 보정 항(계수 $\varepsilon_1\varepsilon_2$ 및 $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$)을 유도하고, 이를 시베르크-위튼 $u$-평면 적분에 나타나는 측도 인자 $A$와 $B$로 식별함으로써 물리적 분할 함수와 기하학적 불변량 사이의 정확한 연결 고리를 확립한다.

ABSTRACT

These notes have two parts. The first is a study of Nekrasov's deformed partition functions $Z(\ve_1,\ve_2,\vec{a};\q,\vecτ)$ of N=2 SUSY Yang-Mills theories, which are generating functions of the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$. The second is review of geometry of the Seiberg-Witten curves and the geometric engineering of the gauge theory, which are physical backgrounds of Nekrasov's partition functions. The first part is continuation of math.AG/0306198, where we identified the Seiberg-Witten prepotential with $Z(0,0,\vec{a};\q,0)$. We put higher Casimir operators to the partition function and clarify their relation to the Seiberg-Witten $u$-plane. We also determine the coefficients of $\ve_1\ve_2$ and $(\ve_1^2+\ve_2^2)/3$ (the genus 1 part) of the partition function, which coincide with two measure factors $A$, $B$ appeared in the $u$-plane integral. The proof is based on the blowup equation which we derived in the previous paper.

연구 동기 및 목표

• N=2 SUSY 양-밀스 이론에 대한 네크라소프의 변형된 분할 함수에서 종수 1 보정 항(계수 $\varepsilon_1\varepsilon_2$ 및 $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$)을 엄밀하게 정의하고 계산하는 것.
• 이 보정 항들을 시베르크-위튼 $u$-평면 적분에 나타나는 측도 인자 $A$와 $B$로 식별함으로써 물리적 분할 함수와 기하학적 불변량을 연결하는 것.
• 등변 코hom올로지와 블로우업 기법을 사용하여 시베르크-위튼 전임함수를 분할 함수의 $\varepsilon_1 = \varepsilon_2 = 0$ 극한으로서 확장하는 것.
• 인스탄톤 모듈리 공간과 $u$-평면의 구조와의 연결을 통해 네크라소프 분할 함수에 기하학적 및 대수적 기반을 제공하는 것.

제안 방법

• 인스탄톤 모듈리 공간 위의 등변 코hom올로지로부터 유도된 블로우업 방정식을 사용하여 4-다양체와 그 블로우업에서의 분할 함수를 연결하는 것.
• 차분 방정식과 바르네스 적분 기법을 사용하여 $\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$를 포함하는 적분 표현의 점근 전개를 통해 분할 함수의 종수 1 부분을 계산하는 것.
• 비콤팩트 인스탄톤 모듈리 공간 위의 통합을 정의하기 위해 등변 보렐-무어 homology를 사용하여 분할 함수의 수렴성과 정의의 엄밀함을 확보하는 것.
• 생성 함수 $\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$를 $t$의 거듭제곱으로 명시적으로 전개하고, 계수 $c_n$을 $\frac{1}{(e^{\varepsilon_1 t}-1)(e^{\varepsilon_2 t}-1)}$의 유리형 함수의 로랑 급수로부터 유도함으로써 저차항 보정을 계산하는 것.
• $\varepsilon_1\varepsilon_2$ 및 $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$ 항이 분할 함수에서 $u$-평면 적분의 측도 인자 $A$와 $B$로 식별되도록 로그항과 다항식항을 비교하는 것.
• 분할 함수의 종수 1 보정 항의 일致성과 블로우업 공식과의 일致를 검증하기 위해 편미분 이론과 $\gamma_{\varepsilon_1,\varepsilon_2}$의 차분 방정식을 적용하는 것.

실험 결과

연구 질문

• RQ1 등변 코hom올로지와 블로우업 기법을 사용하여 네크라소프의 변형된 분할 함수의 종수 1 보정 항을 엄밀하게 계산할 수 있는 방법은 무엇인가?
• RQ2 분할 함수의 $\varepsilon_1\varepsilon_2$ 및 $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$ 계수와 시베르크-위튼 $u$-평면 적분에 나타나는 측도 인자 $A$와 $B$ 사이의 정확한 수학적 관계는 무엇인가?
• RQ3 인스탄톤 모듈리 공간 위의 등변 코hom올로지로부터 유도된 블로우업 방정식은 분할 함수의 구조와 그 저종수 전개에 어떤 제약을 가하는가?
• RQ4 시베르크-위튼 전임함수는 분할 함수의 $\varepsilon_1 = \varepsilon_2 = 0$ 극한으로서 복구될 수 있는가? 그리고 고차항 보정은 이 극한을 어떻게 정교화하는가?
• RQ5 고차 캐서미어 연산자는 분할 함수에서 어떤 역할을 하는가? 그리고 이들은 $u$-평면의 기하학과 어떻게 관련되어 있는가?

주요 결과

• 분할 함수에서 $\varepsilon_1\varepsilon_2$의 계수는 시베르크-위튼 $u$-평면 적분의 측도 인자 $A$와 식별되며, $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$의 계수는 측도 인자 $B$와 식별된다.
• 분할 함수의 종수 1 보정 항은 명시적으로 $\frac{1}{\varepsilon_1\varepsilon_2}\left(-\frac{1}{2}x^2\log\left(\frac{x}{\Lambda}\right) + \frac{3}{4}x^2\right) + \frac{\varepsilon_1 + \varepsilon_2}{2\varepsilon_1\varepsilon_2}\left(-x\log\left(\frac{x}{\Lambda}\right) + x\right) - \frac{\varepsilon_1^2 + \varepsilon_2^2 + 3\varepsilon_1\varepsilon_2}{12\varepsilon_1\varepsilon_2}\log\left(\frac{x}{\Lambda}\right)$로 계산되며, 이는 $u$-평면 측도에서 예상되는 형태와 일치한다.
• 블로우업 방정식은 종수 1 보정 항을 도출하고 검증하는 핵심 도구로 사용되었으며, 분할 함수와 $u$-평면의 기하학적 구조 사이의 일致성을 확립하였다.
• $\varepsilon_1\varepsilon_2$ 및 $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$ 항이 분할 함수에서 $u$-평면 적분에 나타나는 두 측도 인자 $A$와 $B$와 정확히 일치함을 보여주었으며, 이는 물리적 예측을 엄밀한 수학으로 확인한 것이다.
• $\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$ 함수는 $t$의 거듭제곱으로 전개되었고, 그 로그항과 다항식항이 분할 함수의 종수 1 부분과 매칭되어 보정 항에 대한 명시적 표현을 도출하였다.
• $\gamma_{\varepsilon_1,\varepsilon_2}$의 차분 방정식을 사용하여 $k$가 양수 및 음수인 경우 모두에 대해 종수 1 보정 항의 일치성을 검증하였으며, 이는 전개가 모든 관련 영역에서 유효함을 확인하였다.