Supersymmetric boundary algebras in AdS$_3$ gravity: constraints, Dirac brackets and non-locality

技術要約：AdS$_3$ 重力における超対称境界代数

問題と動機
漸近的に反ド・ジッター（AdS$_3$）境界条件を持つ3次元重力は、境界条件、保存電荷、および漸近的対称性の関係を研究するための扱いやすい設定を提供している。Chern–Simons 定式化において、異なる境界条件は、境界相空間に対する異なる制限に対応し、結果として定性的に異なる漸近的対称代数をもたらす。これは、異なる境界理論が、共通の親相空間からの制約付き簡約として系統的に理解できるかという中心的な問いである。これは、ボーソン理論（Brown–Henneaux の Virasoro 代数および Kac–Moody 代数がアフィン $sl(2, \mathbb{R})$ 代数の簡約として現れる場合）については確立されているが、超対称な拡張においては新たな課題を提示する。具体的には、制約構造が、特にフェルミオン場が関与する場合において、簡約された超対称代数の局所性と物理的な場の内容をどのように制御しているのかが不明確である。

手法
著者らは、直交超対称代数 $OSp(N|2, \mathbb{R})$ に基づくゲージ理論として定式化された、最も一般的な Chern–Sims 境界相空間に対する境界条件を、制約として扱う統一的な枠組みを採用している。これらの簡約を分析するための主要なツールは、ディラック・ブラケット形式である。境界条件を保存するゲージパラメータを明示的に解く必要がある Regge–Teitelim approach とは異なり、ディラック・ブラケット法は、制約面上でのブラケットを評価することによって、簡約された代数を直接決定する：
$$\{F, G\}_D = \{F, G\} - \{F, \chi_i\}(C^{-1})_{ij}\{\chi_j, G\},$$
ここで $\chi_i$ は制約であり、$C_{ij}$ は制約行列である。このアプローチは、制約行列の逆行列が微分演算子を含む場合に特に強力であり、単純な切断では見落とされる可能性のある非局所的な構造を明らかにする。

本論文では、3種類の簡約を系統的に分析している：

1. 超対称 Brown–Hennaux (Virasoro) 簡約： ボーソンおよびフェルミオンの両方の最高ウェイト成分に対して制約が課される。
2. 修正 Virasoro 簡約： ボーソン重力セクターのみが制約され、フェルミオン成分は制約を受けない。
3. 超対称 Kac–Moody 簡約： 非 Cartan 重力カレントが制約される一方で、Cartan カレントとフェルミオン場は残る。

Kac–Moody の場合、著者らは追加のフェルミオン制約を伴う二次的な簡約についても調査している。最後に、Kac–Moody セクターで発生する非局所性に対処するため、Batalin–Fradkin–Tyutin (BFT) 形式を用いて、第二種制約を拡大された相空間上の第一種制約へと変換する。

主要な結果と貢献

1. Virasoro における局所性と Kac–Moody における非局所性：

   • 超対称 Brown–Hennaux 簡約において、ディラック・ブラケットは既知の局所的な超共形代数 (Henneaux–Maoz–Schwmer) を再現する。この簡約は局所性を保持する。
   • 修正 Virasoro 簡約（制約付きボーソン、無制約フェルミオン）では、代数は局所性を保つものの、高度に非線形となり、フェルミオン成分は簡約されたブラケットの下で混合し、高次微分項や双線形項を獲得する。
   • 超 supersymmetric Kac–Moody 簡約において、決定的な違いが生じる。生存するボーソン・カレント（Cartan および内部 $so(N)$）は局所的であるが、**フェルミオン－フェルミオン・ディラック・ブラケットは本質的に非局所的になる**。この非局所性は、フェルミオン・カレントが制約された重力方向と非零のポアソン括弧を持つことから生じる。補正項は、境界円上のグリーン関数カーネルとして表される、場依存の一階微分演算子$D = \partial_\phi + A J(\phi)$ の逆関数を含む。これは、超対称 Kac–Moody 代数が、単にフェルミオン・カレントをボーソンの結果に付加することで得られるものではないことを示している。すなわち、除去された重力方向がフェルミオン・セクターに影響を与え続けるのである。

2. フェルミオンのゲージ冗長性とゼロモード：

   • Kac–Moody 簡約において追加のフェルミオン制約が課されると、制約構造は定性的に変化する。ボーソンの第二種ペアを除去した後、残ったフェルミオン制約は、簡約された相空間上で第一種制約となる。
   • この第一種制約はフェルミオンのゲージ冗長性を生成する。一般的な境界構成において、関連する演算子 $K_\pm$ は可逆であり、残りのフェルミオン場を完全にゲージ除去することが可能である。このとき、物理的相空間は Cartan 重力カレントと内部 $so(N)$カレントへと簡約され、漸近的対称代数は$\widehat{u}(1) \oplus \widehat{so}(N)$ となる。
   • しかし、$K_\pm$ が非自明な周期的なゼロモードを持つ特殊な背景においては、フェルミオン場を完全にゲージ除去することはできない。このとき、物理的なフェルミオンの内容は $K_\pm$ の余核（cokernel）によって特徴付けられ、残留するフェルミオン対称性は $K_\pm$ の核（kernel）から生じる。これは、物理的なフェルミオンの自由度および残留対称性が、境界条件の局所的な形式のみならず、背景カレントの大域的な性質（モノドロミー）に依存することを明らかにしている。

3. BFT 形式による局所的埋め込み：

   • 非局所的なディラック代数の量子化に伴う困難を回避するため、著者らは Batalin–Fradkin–Tyutin (BFT) 埋め込みを構築している。補助場を導入することにより、元の第二種制約を、拡大された相空間上の第一種制約へと変換する。
   • この再定式化は、非局所的なディラック・ブラケットによる記述を、局所的な第一種ゲージ理論へと置き換える。元の系は特定のゲージ選択によって回収され、物理的な内容は変わらないまま、標準的なゲージ論的量子化（例：BRST）に適した枠組みを提供する。

意義と主張
本論文は、制約面の構造が、簡約された境界理論の物理的内容と局所性を決定する主要な要因であると主張している。それは以下のことを確立している：

• 同一の親アフィン超代数の異なる簡約が、定性的に異なる境界理論（局所的な超共形 vs 非局所的な Kac–Moody）を導き得ること。
• 境界接続にフェルミオン成分が存在することは、物理的なフェルミオン漸近的自由度を保証するものではなく、それらは背景に応じてゲージ方向となり得るということ。
• ジェネリックなセクター（物理的フェルミオンなし）と例外的なセクター（非自明なフェルミオンと残留対称性あり）の区別は、制約演算子のゼロモード構造の直接的な帰結であること。
• BFT 構成は、Kac–Moody 簡約に固有の非局所性を扱うための必要なツールであり、物理的内容を保持する局所的な第一種形式を提供するということ。

著者らは、第二種簡約、創発的な第一種フェルミオン制約、および背景依存のゼロモードの相互作用が、Chern–Sims 形式による3次元重力の一般的な特徴であり、超対称および高スピン理論における境界の自由度のスペクトルを理解する上で重要な意味を持つと結論付けている。