[論文レビュー] Crystallization of deformed Virasoro algebra, Ding-Iohara-Miki algebra and 5D AGT correspondence

Yusuke Ohkubo, Hidetoshi Awata+1 more|arXiv (Cornell University)|Dec 25, 2015

Algebraic structures and combinatorial models参考文献 31被引用数 13

ひとこと要約

本稿は、変形Virasoro代数の $q \to 0$ 限界およびDing-Iohara-Miki代数のレベル1, 2表現を調査し、この限界がHall-Littlewood関数に対応し、5次元AGT対応を単純化することを示している。Hall-Littlewood関数理論を用いて、PBW型のベクトルが $N=2$ において基底をなすことを証明し、特定の演算子の4点相関関数に対して閉形式の公式を確立し、この限界における5次元AGT予想の最も単純な場合を確認した。

ABSTRACT

In this paper, we consider the $q ightarrow 0$ limit of the deformed Virasoro algebra and that of the level 1, 2 representation of Ding-Iohara-Miki algebra. Moreover, 5D AGT correspondence at this limit is discussed. This specialization corresponds to the limit from Macdonalds functions to Hall-Littlewood functions. Using the theory of Hall-Littlewood functions, some problems are solved. For example, the simplest case of 5D AGT conjectures is proven at this limit, and we obtain a formula for the 4-point correlation function of a certain operator.

研究の動機と目的

• 変形Virasoro代数およびDing-Iohara-Miki代数の $q \to 0$ 限界を研究し、Macdonald関数からHall-Littlewood関数への特殊化に対応することを明らかにすること。
• この限界が5次元AGT対応に与える影響、特に conformal block や相関関数の構造を単純化することを調査すること。
• Hall-Littlewood関数理論を用いて、代数 $\langle X^{(i)}_n \rangle$ の $N=2$ におけるPBW型のベクトルが基底をなすことを証明すること。
• 演算子 $\tilde{\Phi}(z)$ の $q \to 0$ 限界における4点相関関数に対して明示的な公式を導出し、検証すること。
• この限界と物理的解釈との関係を確立すること、特にゼロ温度限界や5次元ゲージ理論における $R \to \infty$ 限界との関連を示すこと。

提案手法

• 変形Virasoro代数およびDing-Iohara-Miki代数のレベル $N$ 表現における $q \to 0$ 限界を分析し、Hall-Littlewood関数への特殊化を同定する。
• Hall-Littlewood対称関数の理論を適用して、$N=2$ におけるPBW型のベクトルが基底をなすことを証明する。
• AFLT基底と一般化されたHall-Littlewood関数を用いて、PBW基底における恒等分解を介して相関関数を計算する。
• 再帰的関係と経路積分を用いて、4点関数 $\langle \vec{w} | \tilde{\Phi}(z_2)\tilde{\Phi}(z_1) | \vec{u} \rangle$ の積分表現を導出し、検証する。
• 2つの異なる基底展開（AFLT基底およびPBW基底）による同一相関関数の表現を係数を一致させることで比較し、非自明な因数分解恒等式を証明する。
• 導出された公式が既知のNekrasov型構造と一致することを確認することで、5次元AGT予想が $q \to 0$ 限界で整合的であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 変形Virasoro代数およびDing-Iohara-Miki代数の $q \to 0$ 限界は、5次元AGT対応を単純化するか？
• RQ2 Hall-Littlewood関数理論を用いて、代数 $\langle X^{(i)}_n \rangle$ の $N=2$ 表現におけるPBW型のベクトルが基底をなすことを示せるか？
• RQ3 演算子 $\tilde{\Phi}(z)$ の $q \to 0$ 限界における4点相関関数に対して閉形式の式が存在するか？
• RQ4 この $q \to 0$ 限界は、ゼロ温度限界や5次元ゲージ理論における $R \to \infty$ 限界といった物理的解釈とどのように関連するか？
• RQ5 Hall-Littlewood関数を含む非自明な恒等式を用いて、4点関数の2つの異なる基底展開の等価性を厳密に証明できるか？

主な発見

• 変形Virasoro代数およびDing-Iohara-Miki代数の $q \to 0$ 限界は、Hall-Littlewood関数に特殊化され、代数的および物理的構造が単純化される。
• 代数 $\langle X^{(i)}_n \rangle$ のPBW型のベクトルは、$N=2$ において基底をなすことが、Hall-Littlewood関数理論を用いて証明された。
• 4点相関関数 $\langle \vec{w} | \tilde{\Phi}(z_2)\tilde{\Phi}(z_1) | \vec{u} \rangle$ に対して明示的な公式が導出され、その式は分割 $\lambda$ に関する和であり、係数に $t^{2n(\lambda)}b_\lambda(t^{-1})$ と $1 - t^{k-1} \frac{w_1w_2}{v_1v_2}$ の積が含まれる。
• 2つの異なる基底展開（AFLT基底およびPBW基底）による同一相関関数の表現を比較し、非自明な因数分解恒等式を介して整合性が確認された。
• 5次元AGT予想の最も単純な場合が、$q \to 0$ 限界で完全に証明され、代数的構造とNekrasovインスタントン分配関数との間の厳密な関係が確立された。
• $q \to 0$ 限界は、物理的にはRSOS模型におけるゼロ温度限界および5次元ゲージ理論における $R \to \infty$ 限界に対応し、$\mathbb{R}^5$ 上の理論との関連を示唆している。