[論文レビュー] Plethystics and instantons on ALE spaces

Yui Noma, Toshio Nakatsu+1 more|ArXiv.org|Nov 29, 2006

Black Holes and Theoretical Physics参考文献 11被引用数 10

ひとこと要約

本稿は、$\chi^{2}/K_{k}$ 上の $\upsilon=2$ $U(1)$ ゲージ理論に対して、プレシスティック指数を用いて変形された分配関数を導入し、分配関数を $PE(h_k(t_1,t_2))$ の形で表現する。ここで $h_k$ は、オルビフォールド上の正則関数を符号化している。変形は第5次元の円周 $R$ を含み、$R\to 0$ の極限で元の分配関数を回復し、対称積幾何を介してインスタントン数え上げとBPSオペレータ数え上げを結びつける。

ABSTRACT

We present an expression of a deformed partition function for N=2 U(1) gauge theory on C^2/Z_k by using plethystic exponentials.

研究の動機と目的

• 第5次元の円周 $R$ を用いて、$\mathbb{C}^2/\mathbb{Z}_k$ 上の $\mathcal{N}=2$ $U(1)$ ゲージ理論の変形分配関数を導出すること。
• 変形分配関数をプレシスティック指数の形で表現し、対称積幾何におけるBPSオペレータの数え上げと関連付けること。
• 変形パラメータ $R$ を組み込み、先行研究のインスタントン分配関数の一般化を図り、それを精錬化されたトポロジカルバーテックス技法と関連付けること。
• 変形分配関数と、$\mathbb{C}^2/\mathbb{Z}_k$ 上の正則関数の生成関数 $h_k(t_1,t_2)$ のプレシスティック指数との正確な対応関係を確立すること。

提案手法

• 第5次元の円周 $R$ を理論に埋め込むために、$t_1 = e^{\epsilon_1 R}$, $t_2 = e^{\epsilon_2 R}$, および $\nu = (R\Lambda)^2$ を導入し、元のインスタントン分配関数を変形する。
• ヤング図形の $k$-コアおよび $k$-クォートゥエント分解を用いて、$k$-コアが自明であるような分割に和を制限し、オルビフォールド幾何と整合性を保つ。
• 正則関数の $U(1)$ チャージを伴う $\mathbb{C}^2/\mathbb{Z}_k$ 上の数え上げを記述する生成関数 $h_k(t_1,t_2) = \frac{1 - t_1^k t_2^k}{(1 - t_1^k)(1 - t_2^k)(1 - t_1 t_2)}$ を定義する。
• プレシスティック指数 $PE(f) = \exp\left(\sum_{n=1}^\infty \frac{\nu^n}{n} f(t_1^n, t_2^n)\right)$ を $h_k(t_1,t_2)$ に適用し、全変形分配関数を導出する。
• $k=3$ に対して $\nu$ のテイラー係数を $\nu^2$ まで一致させることで、$Z(\epsilon_1,\epsilon_2;\Lambda,k,R) = PE(h_k(t_1,t_2))$ の恒等式を検証し、一貫性を確認する。

実験結果

リサーチクエスチョン

• RQ1 第5次元の円周 $R$ を用いて、$\mathbb{C}^2/\mathbb{Z}_k$ 上の $\mathcal{N}=2$ $U(1)$ インスタントン分配関数をどのように変形できるか？
• RQ2 プレシスティック指数は、オルビフォールド上での正則関数の数え上げに基づく変形分配関数をどのように表現するか？
• RQ3 変形分配関数は $R \to 0$ の極限でどのように元の分配関数に還元されるか？
• RQ4 生成関数 $h_k(t_1,t_2)$ は、$U(1)$ チャージを伴う対称積 $S^N(\mathbb{C}^2)$ 上のBPSオペレータの数え上げとして解釈可能か？
• RQ5 係数一致によって確認されるように、恒等式 $Z(\epsilon_1,\epsilon_2;\Lambda,k,R) = PE(h_k(t_1,t_2))$ は、一次の項を超えて成り立つか？

主な発見

• 変形分配関数は、正確に $h_k(t_1,t_2)$ のプレシスティック指数として表現可能であり、$Z = PE(h_k(t_1,t_2))$ と表され、簡潔かつ代数的な形を取る。
• 生成関数 $h_k(t_1,t_2)$ は、$\mathbb{C}^2/\mathbb{Z}_k$ 上の正則関数の $U(1)$ 重み付き数え上げを符号化しており、電荷 $(k,0), (0,k), (1,1)$ の生成子 $X,Y,Z$ が $XY = Z^k$ を満たすことで、幾何的整合性が確認される。
• $k=3$ の場合、変形分配関数における $\nu^2$ の係数は、$\frac{1}{2}h_3(t_1^2,t_2^2) + \frac{1}{2}(h_3(t_1,t_2))^2$ に正確に一致し、$\nu^2$ 次のプレシスティック指数恒等式が検証される。
• $R \to 0$ の極限では、元の分配関数 $Z(\epsilon_1,\epsilon_2;\Lambda,k)$ が回復され、先行研究との一貫性が確認される。
• $PE(h_k(t_1,t_2)) = \prod_{\substack{m,n=0 \\ m \equiv n \mod k}}^\infty \frac{1}{1 - \nu t_1^m t_2^n}$ という明示的かつ対称性の高い無限積表現が、変形分配関数の明確な形を与える。
• 本手法により、ALE空間上での $\mathcal{N}=2$ ゲージ理論におけるインスタントン数え上げと、プレシスティック指数を介した対称積オルビフォールドにおけるBPSオペレータ数え上げとの直接的な関係が確立される。