[論文レビュー] Integral pentagon relations for 3d superconformal indices

Ilmar Gahramanov, Hjalmar Rosengren|arXiv (Cornell University)|Dec 9, 2014

Black Holes and Theoretical Physics被引用数 9

ひとこと要約

本稿では、基本超幾何積分を用いて、3次元超共形指数のための新しい積分五角形恒等式を確立し、それらが超対称双対性から生じ、三角形分割された3次元多様体における2–3パチェナー移動に対応することを示している。主な貢献は、${\mathcal{B}}[m;a,b]$関数を含む、数学的構造（q特異関数）と3次元${\mathcal{N}}=2$理論における物理的双対性を結ぶ、新規の五角形恒等式である。

ABSTRACT

The superconformal index of a three-dimensional supersymmetric field theory can be expressed in terms of basic hypergeometric integrals. By comparing the indices of dual theories, one can find new integral identities for basic hypergeometric integrals. Some of these integral identities have the form of the pentagon identity which can be interpreted as the 2-3 Pachner move for triangulated 3-manifolds.

研究の動機と目的

• 3次元${\mathcal{N}}=2$超対称場理論の超共形指数を用いて、基本超幾何積分の新しい恒等式を導出すること。
• 特殊関数における五角形恒等式と、三角形分割された3次元多様体における2–3パチェナー移動との対応を確立すること。
• グローバル対称性のバックグラウンドゲージ場を含めた超共形指数の一般化により、より一般的な積分恒等式を得ること。
• 3次元場理論と三角形分割された3次元多様体との間の$3d$-$3d$対応の数学的基盤を提供すること。
• これらの恒等式が統計力学における可解モデルのスターリングル関係として解釈可能かどうかを検討すること。

提案手法

• 3次元超共形指数を基本超幾何積分${\mathcal{I}}_q[m;a]$の形に表現する。
• ${\mathcal{B}}[m;a,b] = \frac{{\mathcal{I}}_q[m,a]{\mathcal{I}}_q[-m,b]}{{\mathcal{I}}_q[0,ab]}$を定義し、指数の式を簡略化する。
• 平衡条件$\prod \xi_i = \prod \eta_i = q$の下で、積分五角形恒等式：$\sum_{m\in \mathbb{Z}}\oint\frac{dz}{2\pi i}(-z)^{-3m}\prod_{i=1}^3{\mathcal{B}}[m;\xi_iz^{-1},\eta_iz] = {\mathcal{B}}[0;\xi_1\eta_2,\xi_3\eta_1]{\mathcal{B}}[0;\xi_2\eta_1,\xi_3\eta_2]$を導出する。
• フレーバー対称性に結合するバックグラウンドゲージ場のための離散パラメータ$M_i, N_i$を含めることで、恒等式を一般化し、より一般的な五角形恒等式の形を得る。
• 恒等式を3次元多様体の三角形分割における2–3パチェナー移動に関連させ、双対化の下で指数が保存されることを、トポロジカルな移動として解釈する。

実験結果

リサーチクエスチョン

• RQ1 3次元${\mathcal{N}}=2$理論の超共形指数を用いて、基本超幾何積分の新しい恒等式をどのように導出できるか？
• RQ2 これらの積分恒等式は、3次元多様体の三角形分割の観点から、どのように解釈できるか？
• RQ3 グローバル対称性のバックグラウンドゲージ場は、超共形指数の構造をどのように変化させ、一般化された五角形恒等式を導くか？
• RQ4 導出された恒等式は、可解格子モデルにおけるスターリングル関係として解釈可能か？
• RQ5 これらの恒等式は、3次元場理論と三角形分割された3次元多様体との間の$3d$-$3d$対応をどの程度反映しているか？

主な発見

• 平衡条件$\prod_{i=1}^3 \xi_i = \prod_{i=1}^3 \eta_i = q$の下で、${\mathcal{B}}[m;a,b]$関数を用いた新しい積分五角形恒等式が導出された。
• この恒等式は、三角形分割された3次元多様体における2–3パチェナー移動に対応しており、このトポロジカルな移動の物理的実現を提供している。
• 離散パラメータ$M_i, N_i$を含む一般化された超共形指数は、フレーバー対称性のバックグラウンドゲージ場を含むより一般的な五角形恒等式を導く。
• 一般化された指数の恒等式は$m=0$の場合にのみ証明されており、今後の数学的作業の方向性を示している。
• 恒等式(3.9)は、可解モデルにおけるスターリングル関係を表している可能性があり、統計力学とのより深い関係を示唆している。
• 結果として、鏡映性の下での指数の等価性がパチェナー移動によるトポロジカル不変性に対応することを示しており、$3d$-$3d$対応を支持している。