Surface defects on lens space and transfer matrices

技術的要約：レンズ空間上の表面欠陥と転送行列

問題提起
本論文は、クラス $S$ の 4次元 $\mathcal{N}=2$ 理論、およびクラス $S_k$ の $\mathcal{N}=1$ 理論において、これらがレンズ空間 $L(r, 1) \times S^1$ 上に配置されている場合の表面欠陥（surface defects）を調査するものである。標準的なレンズ空間指数（$r=1$ の場合）である $S^3 \times S^1$ 上の超対称インデックスは、2次元トポロジカル量子場理論（TQFT）の分配関数として広く研究されており、その上の表面欠陥は差分演算子（楕円 Ruijsenaars-Schneider 演算子）によって記述されている。しかし、一般的なレンズ空間 $L(r, 1)$ 上におけるこれらの欠陥の振る舞いは、いまだ十分に理解されていない。主要な課題は、レンズ空間指数が、レンズ空間の捩れサイクル（torsion cycle）周囲のゲージ対称性およびフレーバー対称性の離散的なホロノミーに依存することである。従来のレンズ空間欠陥の研究では、関連するフレーバー対称性のホロノミーをゼロに設定することが多かったが、本研究は、これらの非自明なホロノミーを組み込み、この一般化された設定における表面欠陥を表現する正確な差分演算子を決定することを目的としている。

手法
著者らは、残数計算、TQFT の一貫性条件、および可積分系の理論から導出された代数的構造を組み合わせて用いている：

1. 残数計算： [10] の構成に従い、表面欠陥はバリオン演算子に位置依存的な真空期待値（vev）を与えることによって設計される。インデックスの言葉では、これは親理論（$T_{UV}$）のレンズ空間インデックスを、フレーバー・フガシティティ $\alpha$ の特定の極における残数を計算することに対応する。著者らは、レンズ・楕円ガンマ関数のホロノミーに関する $r$ を法とする依存性を考慮しつつ、これらの残数を系統的に計算している。
2. TQFT の一貫性： クラス $S$ 理論のレンズ空間指数は、定義されるリーマン面上の 2次元 TQFT を通じて計算される。著者らは、表面欠陥がリーマン面のパンクチャー（穿孔）の間を移動できるという性質を利用する。これは、自由なトリニオン（trinion）の一方のパンクチャーに作用する差分演算子が、もう一方のパンクチャーに作用する演算子と同じ結果を与えるという一貫性条件を課す。この条件は、導出された演算子の正規化および相対係数を決定するために用いられる。
3. 代数的解析： 著者らは、得られた差分演算子の代数的構造を分析する。彼らは、可換性、因数分解の性質、および演算子代数の生成について調査する。また、基本となる欠陥演算子が $L$-演算子のトレースとして識別されるスカライアン代数（Sklyanin algebra）の表現を構築する。
4. 数値的検証： 演算子の可換性、因数分解公式、および TQFT の一貫性を含む理論的結果は、各種の $\theta$ 関数および楕円ガンマ関数を評価することにより、様々な $r$ および $k$ に対して数値的に検証される。

主要な貢献と結果

• 欠陥の分類とホロノミーの制約： 著者らは、レンズ空間上の表面欠陥が、極の位置 $\alpha^2 = t p^a q^b$ だけでなく、$U(1)_\alpha$ フレーバー対称性のホロノミー $\mu \in \mathbb{Z}_r$ によってもラベル付けされることを決定した。$\alpha^2 = t p^a q^b$ における極は、$2\mu \equiv b - a \pmod r$ が満たされる場合にのみ存在する。これは、非ゼロのホロノミー・シフトを持つ「基本」欠陥の存在を明らかにしている（具体的には奇数の $r$ において $\mu = (r \pm 1)/2$ の場合）。
• 明示的な差分演算子：
  • $A_1$ 型理論に対して、著者らは $(1,0,0), (0,1,0), (0,0,1)$ （それぞれ極 $\alpha^2 = t p^r, t q^r, t pq$ に関連）によってラベル付けされた基本欠陥に対応する閉形式の式を導出した。
  • 彼らは、ホロノミーを「半分」シフトさせる（具体的には $(r \pm 1)/2$ だけシフトさせる）基本演算子 $X_p$ および $X_q$ を特定した。
  • 偶数の $r$ に対して、基本演算子は、半整数ホロノミーを含む「ねじれた」セクターを含む拡張された空間上で作用する（これは非自明な $w_2$ を持つ $SO(3)$ 束に関連している）。
• 代数的構造と融合：
  • 導出されたすべての演算子は可換である。
  • $(0,0,1)$ 欠陥は、基本演算子の積へと因数分解される：$S^{(0,0,1)} \propto X_q X_p$。
  • $(1,0,0)$ 欠陥は単なる $X_p$ の累乗ではなく、変形された融合則（$SU(2)$ のスピン表現の融合に類似した $X_p$ の $r$ 次多項式）によって生成される。
  • 一般化された関係式 $(S^{(0,0,1)})^r \propto S^{(0,1,0)} S^{(1,0,0)}$ は、$r > 1$ の場合には成立しない。両者はその「極限的」な項においてのみ一致する。
• スカライアン代数とモジュラー・ダブル：
  • 基本演算子 $X_p$ および $X_q$ は、ノメ（nome） $q^r$ とシフト $pq$を持つスカライアン代数を生成する要素からなる$L$-演算子のトレースとして識別される。
  • 代数を閉じるために、ホロノミーのラベルを $\mathbb{Z}_r$ から $\mathbb{Z}_{2r}$ へ拡張する必要がある。
  • $p$ 型および $q$ 型の代数は可換であり、「レンズ空間楕円モジュラー・ダブル（lens space elliptic modular double）」を形成する。
• クラス $S_k$ 理論と転送行列：
  • クラス $S$ を一般化したクラス $S_k$ 理論について、著者らは、欠陥演算子が $k$ 個の $k=1$ のレンズ $L$-演算子のコピーから構築された不均一スピン鎖の転送行列であると提案している。
  • この提案は、$r=1$ における TQFT の一貫性条件、および $r=1, 2, 3$ における $k=2$ の数値的な残数計算によってテストされ、支持されている。
  • これらの演算子の正規化は、定数 vev における残数を元の理論のインデックスと一致させることによって固定される。著者らは、$k \ge 2$ に対する直接的な導出は今後の課題として残されていると述べている。

意義
本論文は、既知の $S^3 \times S^1$ のケースを拡張し、レンズ空間上の表面欠陥を理解するための包括的な枠組みを提供する。非自明なホロノミーを組み込むことで、著者らはより豊かな基本欠陥の構造とその代数的関係を明らかにしている。これらの欠陥をスカライアン代数の $L$-演算子のトレースとして識別することは、レンズ空間上の超対称ゲージ理論の欠陥と、可積分格子モデル（特に 8 頂点モデルおよびその一般化）との間の直接的なつながりを確立するものである。さらに、レンズ空間楕円モジュラー・ダブルの構築とクラス $S_k$ 理論の転送行列の提案は、これらの欠陥の統一的な代数的記述を提供しており、基礎となる可積分構造がレンズ空間へのオービフォールド投影の下でも堅牢であることを示唆している。本研究は、レンズ空間インデックスの TQFT 構造に依拠して導出された演算子を固定および検証しており、4次元 $\mathcal{N}=2$ 理論と 2次元 TQFT との間の深い結びつきを強化している。