Abelian 2-Form Gauge Theory: Basic Canonical Brackets and Nilpotency Property of Noether (Anti-)BRST Charges

技術的要約：アベル型2形式ゲージ理論：基本正準ブラケットとノーター（反）BRST電荷の冪零性

問題提起
本論文は、非自明なキルシー・フェラーリ（CF）型の制限を持つ自由アベル型2形式ゲージ理論の、$D$次元におけるBRST量子化版を調査している。中心的な課題として扱われているのは、結合されたラグランジアン密度から導出されるノーター保存（反）BRST電荷（$Q_{(a)b}$）の振る舞いである。これらの電荷は、オフシェルで冪零な（反）BRST対称性変換を生成することが知られているが、著者らは、それらがこれらと同じ変換の下で不変ではないことを示している。その結果、標準的なノーター電荷は、物理性の基準に適用される際、第一種制約を持つ理論におけるディラックの量子化条件と矛盾する状態条件を導くため、BRST形式論における「物理的」な量とはならない。

手法
著者らは、ベッチ・ルエ・ストーラ・ティト（BRST）形式を用い、以下の理論的ツールを活用している：

1. 結合されたラグランジアン密度： 本研究では、CF型の制限（$B_\mu + \bar{B}_\mu + \partial_\mu \phi = 0$）とファデエフ・ポポフ・ゴースト・セクターを組み込んだ、2つの等価な結合ラグランジアン密度 $\mathcal{L}_{(B)}$ および $\mathcal{L}_{(\bar{B})}$ を用いる。
2. 正準量子化： 著者らは、すべての動的な場（2形式ゲージ場 $B_{\mu\nu}$、ゴースト、および補助場を含む）の正準共役運動量を導出し、等時間基本正準（反）交換関係を確立することにより、共変正準量子化を行う。
3. 生成子の検証： 連続的な対称性変換とその生成子の間の関係を、標準的な関係式 $s_{(a)b} \Phi = -i [\Phi, Q_{(a)b}]_{(\pm)}$ を用いてテストする。ここで、ブラケットは場の統計性に基づいて交換子または反交換子を表す。
4. 修正された電荷の導出： ノーター電荷の非不変性を解決するために、著者らは一貫して修正されたバージョンの電荷（$Q_{(A)B}$）を導出する。この導出には以下が含まれる：
   • 部分積分。
   • ガウスの発散定理の適用（場が無限遠で消滅すると仮定）。
   • 適切な段階における特定のオイラー＝ラグランジュ方程式（EL-EoM）の利用。
5. 性質の証明： ノーター電荷および修正された電荷の冪零性（$Q^2 = 0$）と（反）BRST不変性（$s_{(a)b} Q = 0$）を、2つの異なるアプローチを用いて証明する：
   • 対称性変換の直接的な適用。
   • 基本正準ブラケットを用いた（反）交換子の明示的な計算。

主な貢献および結果

• 標準的なノーター電荷の非不変性： 本論文は、ノーター保存（反）BRらBRST電荷（$Q_{(a)b}$）が、オフシェルで冪零な（反）BRST変換（$s_{(a)b} Q_{(a)b} \neq 0$）の下で不変ではないことを明示的に証明している。これは、直接的な変換によっても、また、反交換子 $\{Q_{(a)b}, Q_{(a)b}\}$ が、EL-EoMとガウスの発散定理を用いて結果を消滅する表面項に変換しない限り非ゼロであることを示すことによっても実証されている。
• 修正された不変電荷の導出： 著者らは、修正されたバージョンの電荷（$Q_B$ および $Q_{\bar{B}}$）を導出した。これらは保存されており、オフシェルで冪零な（反）BRST変換に対して厳密に不変である（$s_{(a)b} Q_{(A)B} = 0$）。これらの修正には、導出過程においてEL-EoMとガウスの発散定理を使用する必要がある。
• 物理性基準とディラック量子化：
  • 標準的なノーター電荷に対して物理性基準（$Q_{(a)b} |\text{phys}\rangle = 0$）を適用すると、「不合理な」結果が生じる。具体的には、ゲージ場の正準共役運動量（$\Pi_{ij}^{(B)}$）によって物理的状態が消滅することを要求するが、これらは第一種制約ではない。
  • 対照的に、修正された電荷（$Q_{(A)B} |\text{phys}\rangle = 0$）に対して基準を適用すると、物理的状態が実際の第一種制約の演算子形式によって消滅するという条件が得られる。この結果は、ゲージ理論におけるディラックの量子化条件と一致している。
• 冪零性の証明：
  • ノーター電荷の冪零性（$Q_{(a)b}^2 = 0$）は、反交換子の計算から生じる表面項を排除するためにガウスの発散定理を使用する場合にのみ成立することが証明されている。
  • 修正された電荷の冪零性（$Q_{(A)B}^2 = 0$）についても冪零性が確立されているが、その証明には、基本正準ブラケット、EL-EoM、およびガウスの発散定理の併用が必要となる。
• 正準ブラケットによる証明の優位性： 本論文は、対称性の検討のみに依存する証明よりも、基本正準（反）交換子を用いて冪零性を証明することの方が理論的に優れていると主張している。なぜなら、前者は電荷の物理的一貫性を確立するためにガウスの発散定理とEL-EoMがいかに必要であるかを明示的に浮き彫りにするからである。

意義
本論文は、非自明なCF型制限を持つ$D$次元のアベル型2形式ゲージ理論において、標準的なノーター（反）BRST電荷は、オフシェル不変性を欠いているため、物理的状態を定義するには不十分であることを確立している。本研究は、一貫して修正された（反）BRST不変電荷のみが、物理性基準を満たし、ディラックの量子化条件と一致することを実証している。この研究は、BRST量子化、ホッジ理論、およびゲージ理論の幾何学的構造を結ぶ理論的枠組みを強化し、特に、量子論の物理的一貫性を確保するためにノーター電荷の修正が必要であることを、非自明なCF制限が存在する場合において検証している。これらの結果は、非アベル型1形式理論に関する先行研究を裏付けるとともに、高次$p$形式ゲージ理論への理解を拡張するものである。