[論文レビュー] Lectures on Instanton Counting

Hiraku Nakajima, Kōta Yoshioka|ArXiv.org|Nov 5, 2003

Black Holes and Theoretical Physics参考文献 39被引用数 12

ひとこと要約

この論文は、インスタントンモジュライ空間上の等長コhomologyと結びつけることで、N=2超対称Yang-Mills理論におけるNekrasovの歪み partition 関数の厳密な数学的枠組みを提供する。ブロー・アップ方程式を用いて、種数1補正項（$\varepsilon_1\varepsilon_2$および$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$の係数）を導出し、Seiberg-Witten $u$-平面積分における測度因子 $A$ および $B$ と特定する。これにより、物理的 partition 関数と幾何的不変量の間の明確なリンクを確立する。

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 Yang-Mills理論におけるNekrasovの歪み partition 関数の種数1補正項（$\varepsilon_1\varepsilon_2$および$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$の係数）を、等長コhomologyおよびブロー・アップ技術を用いて厳密に定義し、計算すること。
• これらの補正項が、Seiberg-Witten $u$-平面積分に現れる測度因子 $A$ および $B$ と一致することを特定し、物理的 partition 関数と幾何的不変量を結びつけること。
• 等長コhomologyおよびブロー・アップ技法を用いて、$\varepsilon_1 = \varepsilon_2 = 0$ におけるSeiberg-Witten前ポテンシャルが partition 関数の極限として回復されることを拡張し、理解を深めること。
• インスタントンのモジュライ空間および$u$-平面の構造と結びつけることで、Nekrasovの partition 関数の幾何的および代数的基盤を提供すること。

提案手法

• インスタントンモジュライ空間上の等長コhomologyから導かれるブロー・アップ方程式の導出。これは、4次元多様体とそのブロー・アップ上の partition 関数を関連付けるために用いられる。
• 生成関数 $\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$ を含む積分表現の漸近的展開を用いて、種数1部分の partition 関数を計算。差分方程式およびBarnes積分技法を用いる。
• 非コンパクトなインスタントンモジュライ空間への統合を定義するために、等長Borel-Mooreホモロジーを用い、partition 関数の収束性と定義の明確さを保証する。
• 生成関数 $\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$ を $t$ のべき級数として明示的に展開。係数 $c_n$ は $\frac{1}{(e^{\varepsilon_1 t}-1)(e^{\varepsilon_2 t}-1)}$ のローラン級数から得られ、低次の補正項の計算を可能にする。
• partition 関数における $\varepsilon_1\varepsilon_2$ および $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$ 項が、対応する $u$-平面積分における測度因子 $A$ および $B$ と一致することを、対数的および多項式的項の比較により特定する。
• 摂動論および $\gamma_{\varepsilon_1,\varepsilon_2}$ の差分方程式を用いて、種数1補正項の整合性を検証し、ブロー・アップ公式と整合することを確認する。

実験結果

リサーチクエスチョン

• RQ1 等長コhomologyおよびブロー・アップ技術を用いて、Nekrasovの歪み partition 関数における種数1補正項をどのように厳密に計算できるか。
• RQ2 partition 関数における $\varepsilon_1\varepsilon_2$ および $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$ の係数と、Seiberg-Witten $u$-平面積分に現れる測度因子 $A$ および $B$ の間の明確な数学的関係は何か。
• RQ3 インスタントンモジュライ空間上の等長コhomologyから導かれるブロー・アップ方程式が、partition 関数の構造およびその低種数展開にどのように制約を加えるか。
• RQ4 Seiberg-Witten前ポテンシャルは、$\varepsilon_1 = \varepsilon_2 = 0$ における partition 関数の極限として回復可能か。高次の補正項はこの極限をどのように精緻化するか。
• RQ5 高次のカシミール作用素は partition 関数においてどのような役割を果たし、$u$-平面の幾何とどのように関係するか。

主な発見

• partition 関数における $\varepsilon_1\varepsilon_2$ の係数は測度因子 $A$ に一致し、$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$ の係数は $u$-平面積分における測度因子 $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補正項を導出し、検証するための主要な道具として用いられ、partition 関数と $u$-平面の幾何的構造との整合性を確立する。
• $\varepsilon_1\varepsilon_2$ および $\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$ 項が、$u$-平面積分に現れる2つの測度因子 $A$ および $B$ と一致することが示され、物理的期待と厳密な数学的証明の一致を確認する。
• $\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$ は $t$ のべき級数として展開され、その対数的および多項式的項が partition 関数の種数1部分と一致し、補正項の明示的表現が得られる。
• $\gamma_{\varepsilon_1,\varepsilon_2}$ の差分方程式が、正および負の $k$ に対して種数1補正項の整合性を検証し、すべての関連ドメインにおいて展開の有効性を確認する。