On a 5D UV completion of Argyres-Douglas theories

タイトル：q-Painlevé/ゲージ理論対応によるアルゲレス・ダグラス理論の5次元UV完備化

問題設定
アルゲレス・ダグラス（AD）理論は、互いに非局所的な軽い自由度によって特徴付けられる、4次元の特別な超共形場理論（SCFT）である。これらは既知のラグランジアン記述を持たないため、その性質を解明することは困難である。従来の多くのアプローチでは、AD点を4次元 $\mathcal{N}=1$ ラグランジアン理論の真空として研究するために超対称性の強化メカニズムを利用してきたが、これらの手法は繰り込み群（RG）フローに沿って超対称性を破ってしまうことが多い。著者らは、RGフロー全体を通じて完全な超対称性を保持する、AD理論のクラスに対する新しいUV完備化を提供することを目指している。これにより、可積分技術を用いた分配関数の計算が可能となる。

手法
本論文は、5次元 $\mathcal{N}=1$ 超対称ゲージ理論と $q$-Painlevé方程式の間の対応関係を利用している。核となる手法は以下の通りである：

1. ブローアップされた上の5次元ゲージ理論： 著者らは、ブローアップされた幾何学 $\hat{\mathbb{C}}^2 \times S^1_\beta$ 上の5次元 $\mathcal{N}=1$ ゲージ理論を定式化する。そして、例外的な因子 $E \times S^1$ に巻き付いた余 codimension-2 デフェクト観測量を導入する。
2. ブローアップ方程式とウィルソンループ展開： 中島・吉岡（Nakajima-Yoshioka, NY）のブローアップ関係式を用いることで、ブローアップされた空間上の分配関数を、平坦な空間上の分配関数を用いて表現する。5次元版のトポロジカル演算子／状態対応を用いることで、ブローアップ因子を円周 $S^1$ 上のウィルソンループの真空期待値（vev）の展開として展開する。
3. NS極限と $q$-Painlevé $T$-関数： ネコラソフ・シャトシュキリ（Nekrasov-Shatashvili, NS）極限（$\epsilon_2 \to 0$）を取り、ブローアップ因子の極限を検討する。彼らは、この因子が特定の $q$-Painlevé方程式（具体的には $q$-PIII$_3$ および $q$-PI）の $T$-関数に対応することを証明する。ここで、離散的な時間変数はデフェクト挿入の数に対応する。
4. フルウィッツ展開： 彼らは、これらの $T$-関数の零点の周りにおける明示的なフルウィッツ展開を計算する。これらの展開は、ウィルソンループのvev $U$ に関する多項式として表され、その係数は整数 $q$-多項式となる。
5. 4次元極限： 著者らは、5次元理論の2つの異なる4次元極限を分析する：
   • 標準的な幾何学的エンジニアリング極限（弱結合）。
   • 負の5次元ゲージ結合（具体的にはチャーン・サイモンズ・レベル $k=1$）における強結合極限。

主な貢献と結果

• 新しいUV完備化： 本論文は、自己双対 $\Omega$-背景内におけるAD理論のための特定の5次元UV完備化を提案している。AD点は、質量パラメータと円の半径の特定の二重スケーリング極限を取った後の、5次元における有限結合点の摂動として現れる。
• $H_0$ の明示的な実現： 著者らは、最も単純なAD点 $H_0 = (A_1, A_2)$ についてこの構成を明示的に実証している。彼らは、$H_0$ が負の結合を持つチャーン・サイモンズ・レベル $k=1$ の5次元 $SU(2)$ $\mathcal{N}=1$ 超対称ヤン＝ミルズ理論から出現することを示す。これは、逐次的な質量変形や円の簡約とは異なり、特定の組み合わせを固定したままの二重スケーリング極限を含むものである。
• 整数係数を持つフルウィッツ展開： 著者らは、$k=0$ および $k=1$ のチャーン・サイモンズ・レベルを持つ5次元 $SU(2)$ SYM に関連する $q$-Painlevé $T$-関数の明示的なフルウィッツ展開を導出する。彼らは、展開係数がウィルソンループのvev $U$ に関する、係数が環 $\mathbb{Z}[q]$ に属する多項式であることを発見した。
  • $k=0$ ($q$-PIII$_3$) の場合、AD理論への極限は見出されなかった。これは、トポロジカル弦の考慮および酒井（Sakai）の分類と一致している。
  • $k=1$ ($q$-PI) の場合、$H_0$ AD理論への極限が特定された。
• 4次元極限の相図： 4次元のスケーリングに関する詳細な相図が構築されている。これは、パラメータ空間（負の結合、特定のスケーリング次元）における特定の領域を特定する。そこでは、理論が $H_0$ AD SCFTへとフローする。著者らは、この非自明な極限の存在が、チャーン・サイモンズ項による $z \to 1/z$ 対称性の破れに依存しており、それがスケーリング展開における低次項のキャンセルを可能にしていることを示している。
• 幾何学的解釈： 極限は、局所Calabi-Yau幾何学の観点からの幾何学的解釈が与えられている。$H_0$ 点は、二段階の手順によって到達される：まず、局所 $\mathbb{F}_1$ 幾何学における極限によって局所 $\mathbb{P}^2$ の一パラメータ変形を残し、次いで、4次元へのさらなるスケーリング極限を取る。これにより、$H_0$ 点が $\mathbb{F}_0$ 幾何学（$k=0$ に関連）からは到達できないことが確認される。

意義
本論文は、AD理論のBPS分配関数を計算するための、完全に超対称な新しい経路を提供すると主張している。AD理論を5次元SCFTのRGフローの中に埋め込み、また $q$-Painlevé/ゲージ理論対応を利用することで、彼らはこれらの量子をウィルソンループのvevの整数係数を持つ展開として計算できる。このアプローチは、5次元SCFTの分類（Seiberg）と、Painlevé方程式の分類（Sakai）を橋渡しするものであり、非ラグランジアンな4次元SCFTの性質にアクセスするための具体的なメカニズムを提供する。$\tilde{E}_1$ SCFTから負の結合を通じて $H_0$ 理論を導出することは、このフレームワークの主要な検証となっている。

未解決問題と今後の方向性
著者らは以下の未解決問題を挙げている：

• 展開係数の $\mathbb{Z}[q]$ 整数性の根本的な証明の提供（これはブローアップ上の等変ドナルドソン不変量に対応すると彼らは予想している）。
• 基本的な物質（$N_f > 0$）を持つ5次元理論から生じる他のAD点（例：$H_1, H_2$）への拡張。
• 5次元の設定におけるホロモルフィック・アノマリー方程式を導出するための、フルウィッツ展開のモジュラー特性の調査。
• 量子ミラー曲線の切断されたスペクトル決定関数としての、スペクトル理論的解釈によるフルウィッツ展開の探求。
• 高次ランクまたはキバーゲージ理論、および任意の $\Omega$-背景への一般化。