3d $\mathcal{N}=$ 4 rank-0 SCFT from punctured lens space

技術要約：穿孔されたレンズ空間からの3d $N=4$ Rank-0 SCFT

問題提起
本論文は、ヒッグス枝とクーロン枝の両方が存在しない特性を持つ、3次元のrank-0 超共形場理論（SCFT）の構成と分類について扱っている。Gang-Yamazaki (GY) 理論やGang-Kim-Stubbs (GKS) $T_n$ 理論は、$\mathcal{N}=4$ 超対称性を備えたこれらの理論の具体的な例を提供しているが、幾何学的コンパクト化からの体系的な導出や、より広範なファミリーの探索は依然として未解決の課題である。具体的には、著者は、特定の穿孔された3多様体上のDimofte-Gaiotto-Gukov (DGG) 構成からGKS $T_n$ 理論を導出し、また、ガロア軌道を通じて $M(2n+3, 2)$ ヴィラソロ・ミニマルモデルに関連するユニタリ・トポロジカル量子場理論（TQFT）へとフローする、穿孔されたレンズ空間から派生する $\mathcal{N}=2$ アベリアン・ゲージ理論のファミリーを提案することを目的としている。

手法
主要な手法として、6次元 $\mathcal{N}=(0,2)$ $A_1$ SCFTをトポロジカル・ツイストを伴って3多様体 $M$ 上にコンパクト化することで、3次元 $\mathcal{N}=2$ ゲージ理論 $T[M]$ を対応させるDimofte-Gaiotto-Gukov (DGG) 構成を用いている。著者は、穿孔されたレンズ空間 $L_{n,k} := L(2n+3, 2k) \setminus \{v\}$ （ここで $v$ は標準的なレンズ空間の三角形分割から取り除かれた頂点である）に焦点を当てている。

技術的な実行手順は以下の通りである：

1. 最小三角形分割： 著者は、穿孔されたレンズ空間 $L_{n,1}$ および $L_{n,n+1}$ の最小三角形分割を行う。$L_{n,1}$ については、$(2n+3)$ 角形（Gaiotto曲線）に対する一連のエッジ・フリップを利用して $n$ 個の理想四面体を生成する。$L_{n,n+1}$ については、一連の $2n$ 回のフリップによって $2n$ 個の四面体を生成する。
2. DGG写像： 三角形分割の幾何学的データ（エッジ変数および貼り合わせ条件）を、Neumann-Zagier (NZ) 行列 $(A, B)$ に写像する。これらの行列は、結果として得られる3次元ゲージ理論のチャーン・サイモンズ（CS）レベル行列 $K = B^{-1}A$ および超ポテンシャル $W$ を決定する。
3. 対称性解析： レンズ空間の向き反転特性を解析する。両手性（amphichirality）の条件（$q^2 \equiv -1 \pmod p$）を利用して、自己ミラー固定点の存在を推測する。
4. インデックス計算： 自己ミラー対称性に関する推測を支持するため、特定のケースにおいて $S^2 \times S^1$ 上の超共形インデックスを計算し、軸方向のフーゲシティ $\eta \to \eta^{-1}$ の交換に対する不変性を検証する。

主要な貢献と結果

1. GKS $T_n$ 理論の導出：
   本論文は、穿孔されたレンズ空間 $L_{n,1}$ の最小三角形分割から、DGG構成を用いてGang-Kim-Stubbs $T_n$ 理論（元々は $M(2n+3, 2)$ ヴィラソロ・ミニマルモデルの3次元バルクとして提案されたもの）の精密な導出を行っている。

   • 得られるDGG理論は、$n$ 個のカイラル多重項を持つ $\mathcal{N}=2$ $U(1)^n$ ゲージ理論である。
   • CSレベル行列は $K_{ij} = 2 \min(i, j)$ であると特定される。
   • 超ポテンシャルはモノポール演算子 $W = \sum_{i=1}^{n-1} V_{m(i)}$ で構成され、磁気フラックスは $T_n$ 理論に求められる特定のパターンと一致する。
   • これにより、$T_n$ が $L_{n,1}$ 上のクラスR構成から生じることが確認され、4次元 $(A_1, A_{2n})$ Argyres-Douglas理論と2次元境界VOAとの間の架け橋となる。

2. $L_{n,n+1}$ からのユニタリTQFT：
   著者は、穿孔されたレンズ空間 $L_{n,n+1}$ から派生する $\mathcal{N}=2$ アベリアン・ゲージ理論のファミリーを提案している。

   • これらの理論は $2n$ 個のカイラル多重項を含み、赤外領域においてユニタリTQFTへとフローすることが期待される。
   • これらのTQFTのモジュラー・データは、$M(2n+3, 2)$ モジュラー・テンソル・カテゴリーのガロア軌道と一致することが予想される。これは、小さな $n$ に対する既知の結果を任意の $n$ へと拡張するものである。
   • 理論 $T[L_{n,n+1}]$ と $T[L_{n,n+2}]$ は、そのモジュラー・データが複素共役によって関連付けられたユニタリTQFTに到達すると予想される。

3. 自己ミラー予想：
   重要な貢献として、自己ミラー・ランク0 SCFTに関する推測がある。著者は、DGG理論 $T[L_{n,k}]$ が自己ミラー・ランク0 SCFTとなるための必要十分条件は、レンズ空間が以下の両手性の条件を満たすことであると提案している：
   $$2k^2 \equiv n + 1 \pmod{2n+3}$$

   • この条件は、多様体が向き反転に対して不変であることを保証し（同相写像の範囲内で）、これはゲージ理論における $\mathcal{N}=4$ ミラー作用に対応する。
   • 著者は、最初の数ケース $(n, k) \in \{(1,1), (5,4), (7,2), \dots\}$ について、超共形インデックスが $q$ の高次まで $I(\eta) = I(\eta^{-1})$ を満たすことを示すことで、この予想を検証している。
   • これらの自己ミラー理論の具体的な例（例：$T[L_{5,4}], T[L_{7,2}]$）は、明示的なCS行列と超ポテンシャルと共に付録に詳述されている。
   • また、A-/B-ツイストから得られる関連するモジュラー・データが複素共役によって関連付けられるという予想も述べている。

4. 既約でない平坦接続の解決：
   本論文は、閉じたレンズ空間上の標準的なDGG構成では、非既約な $SL(2, \mathbb{C})$ 平坦接続の欠如により分配関数が消失するという技術的な細部について言及している。しかし、穿孔された レンズ空間 $L_{n,k}$ の場合、構築されるゲージ理論の超対称的な真空の数は、非自明な既約でない（reducible） 平坦接続の数と正確に一致する。著者は、頂点 $v$ の除去こそが、DGG構成がこれらの既約な接続を捉えることを可能にする決定的な幾何学的特徴であると示唆している。

意義
本論文は、DGG構成を通じて穿孔されたレンズ空間からGKS $T_n$ 理論の具体的な幾何学的起源を確立しており、これらをM5ブレーンをこれらの多様体上にコンパクト化したものとする提案と結びつけている。$L_{n,n+1}$ への拡張を通じて、著者はヴィラソロ・ミニマルモデルのガロア軌道に関連するユニタリTQFTを生成する体系的な方法を提供している。さらに、基礎となる3多様体の両手性と、結果として得られるSCFTの自己ミラー特性を結びつける推測は、拡張された $\mathcal{N}=4$ 対称性を持つランク0固定点を特定するための新しい幾何学的基準を提示している。本研究は、非ラグランジアンSCFTや、それらと2次元VOAおよび4次元SCFTとの関連性を探求する上での3d/3d対応の有用性を強化するものである。