[論文レビュー] Curve counting and instanton counting

Jian Zhou|ArXiv.org|Nov 14, 2003

Black Holes and Theoretical Physics参考文献 14被引用数 33

ひとこと要約

本稿は、局所的カルラヤ幾何におけるトポロジカル弦の分配函数とインスタントンモジュライ空間の等置換 $\hat{A}$- genus の間のネクラソフの予想を数学的に確立するために必要な主要な組合せ的恒等式を証明する。シュール関数の計算とスケュー・シュール関数の母関数を用い、$K_{\mu^1\mu^2}(Q)$ 関数の予想された展開を検証し、構造定数の非負性を証明することで、$SU(2)$ の場合の証明を完了し、$SU(N)$ への一般化の基盤を築く。

ABSTRACT

We prove some combinatorial results required for the proof of the following conjecture of Nekrasov: The generating function of closed string invariants in local Calabi-Yau geometries obtained by appropriate fibrations of $A_N$ singularities over $P^1$ reproduce the generating function of equivariant $\hat{A}$-genera of moduli space of instants on $C^2$.

研究の動機と目的

• トポロジカル弦理論とインスタントンモジュライ空間を結ぶネクラソフの予想の数学的基盤を確立すること。
• 構造定数 $f_{\mu^1\mu^2}(q)$ を用いた生成関数 $K_{\mu^1\mu^2}(Q)$ の予想された積表示を証明すること。
• 関数 $f_{\mu^1\mu^2}(q)$ の級数展開における係数 $C_k(\mu^1,\mu^2)$ の非負性を検証し、物理的整合性に不可欠な条件を満たすこと。
• $SU(2)$ の場合における $Q$-依存性を持つ積と双曲正弦関数の比の間の重要な恒等式を証明し、分配函数の予想された形を確認すること。
• トポロジカルバーテックス形式主義の一般化に必要な組合せ的仮定を検証することで、$SU(N)$ の場合への枠組みの拡張を図ること。

提案手法

• 標準的なシュール関数の計算を用い、構造定数 $\mathcal{W}_{\mu^1\nu}\mathcal{W}_{\nu\mu^2}$ を含む分割の和として定義される $K_{\mu^1\mu^2}(Q)$ の構造を分析する。
• 分割とコンテンツ／フック長の公式を含む無限積の恒等式を適用し、スケュー・シュール関数の母関数を導出する。
• 対称関数の理論と表現論的恒等式を用い、$K_{\mu^1\mu^2}(Q)$ の予想された形が $K_{(0)(0)}(Q)$ と指数型母関数の積として表せることを証明する。
• $f_{\mu^1\mu^2}(q) = \sum_k C_k(\mu^1,\mu^2) q^k$ の級数展開を導出し、分割に関する組合せ的恒等式を用いて $C_k(\mu^1,\mu^2) \geq 0$ を証明する。
• $1 - q^k Q$ の積を $2C_k(\mu^1, (\mu^2)^t)$ 乗した恒等式が、$SU(2)$ の場合に双曲正弦関数の比と一致することを検証する。
• $\kappa_{\mu}$ 不変量とその転置に関する双対性（$\kappa_{\mu^t} = -\kappa_{\mu}$）を用い、分配函数における分割の重みを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 生成関数 $K_{\mu^1\mu^2}(Q)$ は、$K_{(0)(0)}(Q) \cdot \exp\left(\sum_{n=1}^\infty \frac{Q^n}{n} f_{\mu^1\mu^2}(q^n)\right)$ の形に予想された因子分解をもつだろうか？
• RQ2 $f_{\mu^1\mu^2}(q)$ の級数展開における係数 $C_k(\mu^1, \mu^2)$ は、すべての分割 $\mu^1, \mu^2$ に対して非負の整数であるだろうか？
• RQ3 恒等式 $\prod_k (1 - q^k Q)^{-2C_k(\mu^1, (\mu^2)^t)} = Q^{-|\mu^1|-|\mu^2|} 2^{-2(|\mu^1|+|\mu^2|)} q^{-\frac{1}{2}(\kappa_{\mu^1} - \kappa_{\mu^2})} \cdot \prod_{l,n} \frac{\sinh(\frac{\beta}{2}(a_{ln} + \hbar(\mu^l_i - \mu^n_j + j - i)))}{\sinh(\frac{\beta}{2}(a_{ln} + \hbar(j - i)))}$ は、すべての $\mu^1, \mu^2$ に対して成り立つだろうか？
• RQ4 $SU(2)$ の場合のネクラソフの予想は、これらの組合せ的結果とトポロジカルバーテックス形式主義を用いて証明可能だろうか？
• RQ5 導出された恒等式に基づいて、$SU(N)$ への一般化に必要な組合せ的仮定は成立するだろうか？

主な発見

• 定理6.1で、予想された因子分解 $K_{\mu^1\mu^2}(Q) = K_{(0)(0)}(Q) \cdot \mathcal{W}_{\mu^1} \mathcal{W}_{\mu^2} \cdot \exp\left(\sum_{n=1}^\infty \frac{Q^n}{n} f_{\mu^1\mu^2}(q^n)\right)$ が厳密に証明された。
• $f_{\mu^1\mu^2}(q) = \sum_k C_k(\mu^1, \mu^2) q^k$ の展開における係数 $C_k(\mu^1, \mu^2)$ が非負の整数であることが示され、重要な物理的要件が確認された。
• 系7.1で、恒等式 $\prod_k (1 - q^k Q)^{-2C_k(\mu^1, (\mu^2)^t)} = Q^{-|\mu^1|-|\mu^2|} 2^{-2(|\mu^1|+|\mu^2|)} q^{-\frac{1}{2}(\kappa_{\mu^1} - \kappa_{\mu^2})} \cdot \prod_{l,n} \frac{\sinh(\cdots)}{\sinh(\cdots)}$ が証明された。
• 定理9.1により、$SU(2)$ の場合のネクラソフの予想が完全に確立され、正規化された分配函数が双曲正弦関数の比を含む予想された形と一致することが示された。
• 証明された組合せ的恒等式と既知のトポロジカルバーテックスおよび局在化の結果を組み合わせることで、ネクラソフ予想の $SU(2)$ の場合の完全な数学的証明が得られた。
• 導出された恒等式に基づき、$SU(N)$ の場合への枠組みの拡張が図られ、一般化された予想の完全な数学的証明のための基盤が整った。