[論文レビュー] Twisted Formalism for 3d $\mathcal{N}=4$ Theories

Niklas Garner|arXiv (Cornell University)|Apr 6, 2022

Black Holes and Theoretical Physics被引用数 5

ひとこと要約

本稿は、アガナチ＝コステロ＝ヴァーファ＝マクナマラのねじれたスーパーフィールドを用いて、3次元 $χ=4$ スーパーシンメトリー理論の正則的・トポロジカル（HT）ねじりを $A$ および $B$ トポロジカルねじりへ変形することで、3次元 $χ=4$ スーパーシンメトリー理論のねじり formalism をねじった形で導入する。$A$ および $B$ ねじりが HT 理論の正確なチェーンレベルの変形として生じることを確立し、境界頂点演算子代数や線型演算子のカテゴリといった既知の構造を回復し、HT ねじりにおける2次積が完全トポロジカルねじりにおけるそれと直接的に関係していることを示している。

ABSTRACT

We describe the topological $A$ and $B$ twists of 3d $\mathcal{N}=4$ theories of hypermultiplets gauged by $\mathcal{N}=4$ vector multiplets as certain deformations of the holomorphic-topological ($HT$) twist of those theories, utilizing the twisted superfields of Aganagic-Costello-Vafa-McNamara describing $HT$-twisted 3d $\mathcal{N}=2$ theories. We rederive many known results from this perspective, including state spaces on Riemann surfaces, deformations induced by flavor symmetries, the boundary VOAs of Costello-Gaiotto, and the category of line operators as proposed by Costello-Dimofte-Gaiotto-Hilburn-Yoo. Along the way, we show how the secondary product of local operators in the holomorphic-topological twist is related to the secondary product in the fully topological twist.

研究の動機と目的

• 3次元 $χ=4$ 理論の $A$ および $B$ ねじりを、それらを正則的・トポロジカル（HT）ねじりの変形として統一的な枠組みで扱うことで、統一的フレームワークを構築すること。
• リーマン面における状態空間、境界 VOAs、線型演算子のカテゴリといった既知の構造を、一貫性のあるねじれたスーパーフィールド形式の中で再導出すること。
• HT ねじりにおける2次積と完全トポロジカル $A$ および $B$ ねじりにおけるそれとの関係を明確にすること。
• $BF$ 理論からチェーン＝シモンズ理論への変形の視点を、3次元 $χ=4$ ゲージ理論へと拡張し、BV-BRST形式における準同型写像を活用すること。
• 幾何的量子化とコhomological メソッドを用いて、$A$ および $B$ ねじりの3次元 $χ=4$ 理論における局所演算子代数および線型演算子の非摂動的、グローバルな記述を提供すること。

提案手法

• アガナチ＝コステロ＝ヴァーファ＝マクナマラのねじれたスーパーフィールドを用いて、3次元 $χ=2$ 理論の HT ねじりを記述し、それを $χ=4$ 理論へ拡張する。
• ニルポテンスなスーパーチャージ変形 $\delta_A$, $\delta_B$ を用いて、HT 理論の正確なチェーンレベルの変形として $A$ および $B$ ねじりを構成する。スペクトル系列ではなく、チェーンレベルでの変形を用いる。
• バタリン＝ヴィルコフスキー（BV）形式を用いて、HT ねじり理論を準同型モデルとして定義し、$\delta_A$, $\delta_B$ がチェーンレベルに持ち上げられることを可能にする。
• コhomology の制約を解くことで、$A$ および $B$ ねじりにおける局所演算子の代数を計算し、それがヒッグス分岐 $T^{*}[2](V/G)$ 上の関数と同型であることを示す。
• 穿孔されたディスク $\mathbb{D}^\times$ 上の解の空間の幾何的量子化を用いて線型演算子のカテゴリを導出し、$\mathrm{QCoh}(\mathrm{Maps}(\mathbb{D}^\times_{\textrm{dR}}, V/G))$ を得る。
• フレーバー対称性の背景（複素化された平坦な $G_H$ 接続、正則な $T_C$ バンドル）に起因する変形を分析し、境界演算子のOPEを修正する。

実験結果

リサーチクエスチョン

• RQ1 3次元 $χ=4$ 理論の $A$ および $B$ ねじりは、正則的・トポロジカルねじりの変形として、どのように体系的に構成できるか？
• RQ2 HT ねじりにおける2次積と完全トポロジカル $A$ および $B$ ねじりにおける2次積との正確な関係は何か？
• RQ3 フラバー対称性の背景（平坦な $G_H$ 接続および正則な $T_C$ バンドル）は、$B$ ねじりにおける境界演算子のOPEにどのように影響するか？
• RQ4 $B$ ねじりにおける線型演算子のカテゴリは、形式的穿孔ディスク上の解の空間の幾何的量子化によって回復可能か？
• RQ5 BV-BRST形式は、HT ねじりから $A$ および $B$ ねじりへの正確なチェーンレベルの変形を可能にする役割を果たすか？

主な発見

• 3次元 $χ=4$ 理論の $A$ および $B$ ねじりは、ニルポテンスなスーパーチャージ変形 $\delta_A$, $\delta_B$ を用いて、HT ねじり理論の正確なチェーンレベルの変形として実現される。
• $B$ ねじりにおける局所演算子の代数は、ヒッグス分岐 $T^{*}[2](V/G)$ 上の関数と同型であり、$A$ ねじりと同一の構造を持つ。
• $B$ ねじりにおける線型演算子のカテゴリは $\mathrm{QCoh}(\mathrm{Maps}(\mathbb{D}^\times_{\textrm{dR}}, V/G))$ で与えられ、幾何的量子化から得られる構造と一致する。
• 背景の $G_H$ 接続による変形は、境界演算子 $\psi_X$, $\psi_Y$ のOPEに $\widehat{A}(w)/(z-w)$ 項を導入するが、$T_C$ バンドルはOPEに影響を及ぼさない。
• HT ねじりにおける2次積は、$A$ および $B$ ねじりにおける2次積と同型であり、直接的なコhomological 対応関係が確立される。
• 変形手順により、$A$ および $B$ ねじりは HT 理論からの強い制約を引き継ぎ、チラルゲージ理論における1ループ正確性に関するGwilliam-Williamsの結果と整合的である。