[論文レビュー] 3d-3d Correspondence and 2d $\mathcal{N}=(0,2)$ Boundary Conditions

Hee‐Joong Chung|arXiv (Cornell University)|Jul 19, 2023

Matrix Theory and AlgorithmsComputer Science被引用数 3

ひとこと要約

本稿は、3次元多様体不変量（例えば、彩色されたジョーンズ多項式やホモロジカルブロック）のクイバー形式と、3次元 $χ=(0,2)$ 境界条件を有する3次元 $χ=2$ 超対称理論における $D^2\times_q S^1$ 上の対応関係を確立する。これらの不変量をディリクレ境界条件および変形ディリクレ境界条件を備えた3次元 $χ=2$ 理論の半インデックスとして解釈することで、結び目補空間やスケーリングを含むさまざまな3次元多様体 $M_3$ に対して $T[M_3]$ 理論の明示的ラグランジュ記述を提供し、クイバー同値性を通じて双対性を示している。

ABSTRACT

We consider quiver forms that appear in the motivic Donaldson-Thomas generating series or characters of conformal field theories and relate them to 3d $\mathcal{N}=2$ theories on $D^2 imes_q S^1$ with certain boundary conditions preserving 2d $\mathcal{N}=(0,2)$ supersymmetry. We apply this to the 3d-3d correspondence and provide a Lagrangian description of 3d $\mathcal{N}=2$ theories $T[M_3]$ with 2d $\mathcal{N}=(0,2)$ boundary conditions for 3-manifolds $M_3$ in several contexts.

研究の動機と目的

• 3次元多様体のクイバー形式の不変量と、$D^2\times_q S^1$ 上の2次元 $χ=(0,2)$ 超対称性を有する3次元 $χ=2$ 理論との関係を確立すること。
• ディリクレ境界条件および変形ディリクレ境界条件を備えた $χ=(0,2)$ 超対称性を保存する境界条件を用いて、3次元多様体 $M_3$ に対する $T[M_3]$ 理論のラグランジュ記述を提供すること。
• クイバーに基づく半インデックスを用いて、3次元-3次元対応を、アーベル平坦接続およびホモロジカルブロックを含む形に拡張すること。
• クイバー同値性を通じて3次元 $χ=2$ 理論の双対性を示し、同値なクイバーが双対場理論を対応づけること。

提案手法

• ドナルドソン＝トーマス不変量の生成関数およびクイバー形式を、ベクトル multiplet にディリクレ境界条件、キール multiplet に変形ディリクレ境界条件を課した3次元 $χ=2$ 理論の半インデックスとして解釈する。
• 3次元-3次元対応を適用し、3次元多様体の位相的不変量（例えば、彩色ジョーンズ多項式、ホモロジカルブロック）を3次元 $χ=2$ 理論の半インデックスに写像する。
• UV クーロン・スミスレベルとバーガー線を用いて、3次元理論のグローバル対称性および位相的データを符号化する。
• クイバー形式に一致するように、物質内容、ゲージ群、境界条件を指定することで、$T[M_3]$ の明示的3次元 $χ=2$ ラグランジュ作用素を構築する。
• アンリンク、リンク、不要なペアの削除、サイズを保つ置換といったクイバー同値性操作を適用し、異なるクイバーを関連づけ、双対な3次元 $χ=2$ 理論を同定する。
• グキコフ＝マノレスクのグラービング公式を、$SL(2,\mathbb{C})$ 平坦接続の3次元 $χ=2$ 理論言語に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体不変量のクイバー形式は、2次元 $χ=(0,2)$ 境界条件を有する3次元 $χ=2$ 理論の半インデックスとしてどのように実現可能か？
• RQ2 クイバー形式に基づいて、結び目補空間やスケーリングを含む3次元多様体 $M_3$ に対する $T[M_3]$ の明示的ラグランジュ記述は何か？
• RQ3 $M_3$ の向きの反転（$q \to q^{-1}$ に対応）は、3次元 $χ=2$ 理論にどのように作用するか？
• RQ4 クイバー同値性は、同一の半インデックスを持つ双対3次元 $χ=2$ 理論を同定する上で果たす役割は何か？
• RQ5 トーラス結び目の $a$,$-t$-変形ホモロジカルブロックといった精錬不変量は、特定の境界条件を有する3次元 $χ=2$ 理論で捉えられるか？

主な発見

• 大 $N$ 限界における彩色された HOMFLY 多項式の生成関数は、ベクトル multiplet にディリクレ境界条件、キール multiplet に変形ディリクレ条件を課した3次元 $χ=2$ 理論の半インデックスとして実現される。
• 結び目補空間のホモロジカルブロック $F_K(x,a,q)$ は、特定の物質内容およびクーロン・スミスレベル（$U(1)_i \times U(1)_v \times U(1)_R$ ゲージ対称性を含む）を持つ3次元 $χ=2$ 理論の半インデックスと一致する。
• ツイスト結び目 $K_{-p}$ および左巻きトーラス結び目 $T^l(2,2p+1)$ に対して、半インデックスが彩色ジョーンズ多項式を再現する明示的3次元 $χ=2$ ラグランジュ作用素が構築された。
• 理論 $T[J_{K_1}(n,q)]$ は、$U(1)_1 \times U(1)_2 \times U(1)_v \times U(1)_R$ ゲージ群、$D_c$ 条件を満たす2つのキール multiplet、混合クーロン・スミスレベル $\begin{pmatrix} 3/2 & 1 \\ 1 & 1/2 \end{pmatrix}$ を有する特定のラグランジュ作用素を持つ。
• 理論 $T[J_{K_{-1}}(n,q)]$ は、クイバー同値性により $T[J_{K_1}(n,q)]$ と双対であり、混合クーロン・スミスレベル $\begin{pmatrix} 1/2 & 0 \\ 0 & -1/2 \end{pmatrix}$ を有する。同値なクイバー形式による半インデックスの一致が双対性を確認する。
• アンリンク、リンク、またはサイズを保つ置換によって得られる同値なクイバー形式は、同一の半インデックスおよび一致する境界条件を持つ双対3次元 $χ=2$ 理論に対応することが、本稿で確立された。