[論文レビュー] On relation between Nekrasov functions and BS periods in pure SU(N) case

A. Popolitov|arXiv (Cornell University)|Jan 11, 2010

Black Holes and Theoretical Physics参考文献 47被引用数 37

ひとこと要約

この論文は、1つのオメガ背景パラメータをゼロにした純粋な SU(N) ゲージ理論における、ネクラソフ関数と量子化されたセイバーグ＝ウィッテン前ポテンシャルの双対性について、詳細な解析的および計算的検証を提供する。任意の $N$ に対して $̂^6$ および $̂\ln\Lambda$ の次数まで明示的な公式を導出し、$N=2,3,4$ に対して高次までの数値的検証を実施し、量子周期およびネクラソフ関数の体系的評価により、高精度で予想の妥当性を確認した。

ABSTRACT

We investigate the duality between the Nekrasov function and the quantized Seiberg-Witten prepotential, first guessed in [1] and further elaborated in [2] and [3]. We concentrate on providing more thorough checks than the ones presented in [3] and do not discuss the motivation and historical context of this duality. The check of the conjecture up to $o (\hbar^6, \ln (Λ))$ is done by hands for arbitrary $N$ (explicit formulas are presented). Moreover, details of the calculation that are essential for the computerization of the check are worked out. This allows us to test the conjecture up to $\hbar^6$ and up to higher powers of $Λ$ for $N = 2,3,4$. Only the case of pure SU(N) gauge theory is considered.

研究の動機と目的

• $\epsilon_2 = 0$ のネクラソフ関数と純粋な $SU(N)$ ゲージ理論における量子化されたセイバーグ＝ウィッテン前ポテンシャルの間の予想される双対性について、より厳密かつ包括的な検証を提供すること。
• 従来の $o(\hbar^2, \Lambda^{2N})$ に限られていた検証を、任意の $N$ に対して $̂^6$ および $̂\ln\Lambda$ の次数まで拡張すること。
• 双対性の検証を自動化するために必要な中間的な計算手順を明確化し、体系的なコンピュータベースの検証を可能にすること。
• $N=2,3,4$ の小規模な場合に、閉形式では不実行な長大な公式を用いて、解析的に達成可能な精度を超えた高精度での双対性の検証を行うこと。

提案手法

• 双対性は、量子ボーア＝ソーマーフェルト周期 $\Pi^\hbar_{A_i}$ と $\Pi^\hbar_{B_i}$ と、$a_i$ パラメータに関するネクラソフ関数 $\mathcal{F}_{\text{Nek}}(\hbar, 0, \Lambda)$ の導関数を比較することで検証される。
• 古典的セイバーグ＝ウィッテン前ポテンシャル $\mathcal{F}_{\text{SW}}(0, \Lambda)$ を出発点とし、$\Pi^0_{B_i}$ をその導関数から得て、$o(\hbar^6)$ まで演算子 $\hat{\mathcal{O}}$ を用いて量子化する。
• $\hat{\mathcal{O}}$ を $\hbar^6$ まで明示的に評価し、$\lambda_j$ の根を用いて $\Pi^\hbar_{B_i}$ を構築できるようにする。
• ネクラソフ関数を $\hbar$ と $\Lambda$ のべき級数に展開し、$a_{ij} = a_i - a_j$ 変数における対称多項式を用いてその導関数を計算する。
• $\Pi^\hbar_{B_i}$ と $-\frac{1}{4}\partial_{a_i}\mathcal{F}_{\text{Nek}}(\hbar, 0, \Lambda)$ の比較は、$a_i$ を $\lambda_j$ で表し、対称関数の恒等式およびインデックスの再ラベル化技術を用いて行う。
• $N=2,3,4$ の場合に、計算代数を用いて双対性を数値的に検証し、解析的公式の範囲を超えて $\Lambda$ の高次の項まで検証を拡張した。

実験結果

リサーチクエスチョン

• RQ1 任意の $N$ に対して、$\epsilon_2 = 0$ および $\epsilon_1 = \hbar$ のネクラソフ関数が、$o(\hbar^6, \ln\Lambda)$ の次数まで量子化されたセイバーグ＝ウィッテン前ポテンシャルと一致するか？
• RQ2 量子周期 $\Pi^\hbar_{B_i}$ は十分な精度で計算可能であり、ネクラソフ関数の導関数との直接比較が可能か？
• RQ3 ネクラソフ関数および量子周期の展開に現れる対称和（二重、三重、四重）が、$a_{ij} = a_i - a_j$ で表した場合に、整合性のために恒等的にゼロになるか？
• RQ4 $N=2,3,4$ に対して、解析的に達成可能な精度を超えて、コンピュータによる双対性の検証が可能か？
• RQ5 $\hbar^6$ まで、量子化演算子 $\hat{\mathcal{O}}$ の係数の構造はどのようなものか？また、それらは一致にどのように寄与するか？

主な発見

• 任意の $N$ に対して、ネクラソフ関数および量子周期について、$o(\hbar^6, \ln\Lambda)$ の次数まで明示的な公式を導出し、双対性の解析的検証を可能にした。
• $\mathcal{D}_3^2$ 捕捉の $\hbar^6$ 項における係数 $\frac{1}{1260}$ が正しく再現され、高次での整合性が確認された。
• 展開に現れる $a_{ij}$ 変数における高次対称和（二重、三重、四重）が、インデックスの置換における反対称性によりすべて消去されることを示した。
• $N=2,3,4$ の場合に、双対性は $\hbar^6$ およびそれ以上の次数まで、高精度で数値的に確認された。ネクラソフ関数と量子前ポテンシャルが一致した。
• $\hat{\mathcal{O}}$ の量子化演算子の構造が $\hbar^6$ まで完全に評価され、将来的な自動化および一般化のための重要な技術的ツールが得られた。
• 本研究は、より高ランクの $SU(N)$ 理論における双対性の検証の明確な計算的道筋を確立し、将来のマター多様体理論への一般化に道を拓いた。