[論文レビュー] On Lagrangian Formulation for Half-integer HS Fields within Hamiltonian BRST Approach

Alexander A. Reshetnyak|ArXiv.org|Nov 28, 2007

Algebraic structures and combinatorial models参考文献 7被引用数 3

ひとこと要約

この論文は、ハミルトニアンBFV-BRSTアプローチを用いて、アインシュタイン空間（AdS）およびミンコフスキー空間における自由な半整数スピン高スピン（HS）場のゲージ不変ラグランジアン形式を提示する。フォック空間における第一級制約からネイピュレンBRST作用素を構築することで、ユニタリ的不可約表現から質量付きおよび質量なしHS場を抽出し、スピンの行数に応じて還元性が増加する多行ヤン型テーブルックスに一般化する。

ABSTRACT

A recent progress in a gauge-invariant Lagrangian description of massive and massless half-integer higher-spin fields in AdS and Minkowski spaces is presented. The procedure is based on a BFV-BRST operator, encoding the initial conditions realized by constraints in a Fock space and extracting the higher-spin fields from unitary irreducible representations of the AdS (Poincare) group. The construction is applicable to higher-spin tensor fields with a multi-row Young tableaux.

研究の動機と目的

• AdSおよびミンコフスキー時空における自由な半整数高スピン場のゲージ不変ラグランジアン形式を構築すること。
• BFV-BRST形式を任意のヤン型テーブルックス（多行表現を含む）高スピン場に拡張すること。
• 質量付きおよび質量なしフェルミオン的HS場の正しい力学および制約を記述するラグランジアンを体系的に構築するフレームワークを提供すること。
• 従来の量子場理論における一貫した出発点を確立することで、将来の相互作用的高スピン理論の構築を可能にすること。
• 第二級制約を排除することで計算複雑性を低減し、トレース性やγトレース性などのオフシェル条件を保持すること。

提案手法

• 生成・消滅演算子によって生成されるフォック空間における第一級制約から、BFV-BRST形式を用いてネイピュレンBRST荷重 $ Q $ を構築する。
• 非線形スーパ algebra の加法的制約変換を可能にするために、追加のフェルミオン的およびボソン的演算子を含む拡張フォック空間 $ \mathcal{H} \otimes \mathcal{H}' $ を導入する。
• 一般化されたガンマ行列 $ \tilde{\gamma}^\mu, \tilde{\gamma} $ を用いて制約 $ \tilde{t}_0', t_1, t_1^+, l_i, l_i^+ $ を構築し、$ \{\tilde{\gamma}^\mu, \tilde{\gamma}^\nu\} = 2\eta^{\mu\nu} $, $ \{\tilde{\gamma}^\mu, \tilde{\gamma}\} = 0 $, $ \tilde{\gamma}^2 = -1 $ を満たす。
• 非退化変換 $ u^J_I $ を適用して制約を再表現し、加法的変換が可能になるようにし、スーパ commute 作用素の下での代数の閉包を達成する。
• 変換された制約 $ \tilde{O}_I $ からBRST荷重 $ Q $ を導出し、$ Q^2 = 0 $ を満たすようにし、非退化演算子 $ K $ と奇数的内積を用いてラグランジアン作用を構築する。
• $ k $ 行ヤン型テーブルックスに一般化するため、$ k $ 組の生成・消滅演算子と制約 $ t_{ij} = a^{+}_{i\mu}a^{\mu}_j $（$ i < j $）を導入する。

実験結果

リサーチクエスチョン

• RQ1 BFV-BRSTアプローチを用いて、AdSおよびミンコフスキー時空における半整数高スピン場のゲージ不変ラグランジアン形式を一貫して構築する方法は何か？
• RQ2 BRST作用素は、AdSまたはポアンカレ群のユニタリ的不可約表現から物理的自由度を抽出する際に果たす役割は何か？
• RQ3 高スピン場のヤン型テーブルックスの行数に応じて、ゲージ理論の還元段階はどのように変化するか？
• RQ4 ゲージ不変性を損なわず、一貫性を保ちながら第二級制約を排除することは可能か？
• RQ5 多行ヤン型テーブルックスを持つ場に対して得られるラグランジアン作用の構造は何か？また、トレース性などのオフシェル条件はどのように記述されるか？

主な発見

• BRST荷重 $ Q $ はネイピュレン作用素 $ Q^2 = 0 $ として構築され、ゲージ不変性および量子化手順の一貫性を保証する。
• ラグランジアン作用は $ \mathcal{S} = \langle \tilde{\chi}^0_0 | K \tilde{T}_0 | \chi^0_0 \rangle + \frac{1}{2} \langle \tilde{\chi}^1_0 | K \{ \tilde{T}_0, \eta_1^+\eta_1 \} | \chi^1_0 \rangle + \text{交差項} $ として導出され、$ K $ がエルミート性と実数性を保証する。
• スピン $ s = n + \frac{1}{2} $ の場のゲージ理論は $ L = n - 1 $ 階段の還元性を示し、対称添字の数に応じて増加する。
• 二行ヤン型テーブルックスを持つ場では、制約 $ t_0 = -i\tilde{\gamma}^\mu \partial_\mu $, $ t^i = \tilde{\gamma}^\mu a^i_\mu $, および $ t_{12} = a^{+}_{1\mu}a^\mu_2 $ がディラック方程式、発散なし条件、混合対称性を強制する。
• 非退化変換により第二級制約を排除でき、計算複雑性を低減しつつ、$ \gamma $-トレース性などのオフシェル条件を保持できる。
• $ k $ 行ヤン型テーブルックスに一般化する際、$ k $ 個のフォック空間と制約 $ t_{ij} = a^{+}_{i\mu}a^\mu_j $（$ i < j $）を導入し、還元段階は $ k $ に応じて増加する。