Symmetry-Restoring Counter-terms in Massive Gauge Theories with Non-Anticommuting $\gamma_5$ via Gauge-Invariant Sector Decomposition

技術要約：ゲージ不変なセクター分解による、非反交換 $\gamma_5$ を持つ質量を持つゲージ理論における対称性回復カウンター項

問題設定
カイラルゲージ理論の繰り込みは、$\gamma_5$ 行列と次元正則化の間の不適合性により、依然として困難な問題である。具体的には、$D$ 次元のローレンツ構造を尊重するように $\gamma_5$ を扱う一方で、スラブトフ・テイラー（ST）恒等式（ゲージ対称性の量子的な現れ）を保存する正則化スキームは存在しない。ブレイトロンノーゼン・マイソン-'ト・フーフト・フェルトマン（BM型）スキームは、$\gamma_5$ を本質的に4次元的なものとして扱う数学的に一貫したアプローチであるが、これは量子レベルでのST恒等式の破れを招く。しかし、有限のカウンター項の存在は、コホモロジー的な議論（特にウェス＝ズーノの一貫性条件）によって代数的に保証されている。問題は、これらの破れの項および、自発的対称性の破れ（SSB）を伴う質量モデルに必要なカウンター項の具体的な表現を明示的に決定することが、非自明で未解決の問題であることである。これまでの研究は、主に無質量極限や特定のセクターに焦点を当てており、破れた相における完全な質量依存性は十分に探索されていない。

手法
著者は、$N_f$ 個のファミリーのカイラルフェルミオンを持つアベリアン・ヒッグス・キブル模型に代数的な繰り込みの枠組みを適用している。研究はBM型正則化スキーム内で行われ、計算の簡便さのためにランダウ・ゲージが用いられている。

主要な手法の特徴は以下の通りである：

1. ゲージ不変なFMS形式論： 基本的な場ではなく、著者はFröhlich-Morchio-Strocchi（FMS）形式論を採用している。これには、複合的なゲージ不変演算子（物理的なヒッグス場 $h$ およびゲージ不変ベクトル場 $a_\mu$）を独立した動力学的な場へと昇格させることが含まれる。これは、ラグランジュ未定乗数と補助的なゴーストを用いた制約セクターを通じて達成される。このセクターはコホモロジー的に自明であり、理論の物理的内容を変更することはない。
2. セクター分解： 中心的な革新は、頂点汎関数とST破れの挿入を独立したセクターへと分解することである。これらのセクターは、ループ内で循環するゲージ不変場（$h$ および $a_\mu$）の内部プロパゲーターの数、すなわち $(\ell_h, \ell_{a'})$ によって等級付けされる。これにより、セクターごとのST破れの解析が可能となる。
3. コホモロジー的手法： 著者は、冪零な線形化ST演算子（$S_0$）とウェス＝ズーノの一貫性条件を利用して、破れの項を分類している。また、真空期待値 $v$ を定数の反交換ゴースト $\Omega$ へと変換する拡張されたBRST微分を導入している。これにより、ST破れの $v$ 依存性を支配する微分方程式の導出が可能となる。
4. 計算ツール： 振幅生成のためにFeynArtsを、評価のためにFeynCalcを用いた、明示的な1ループ計算が行われた。質量を持つテンソル簡約の複雑さを扱い、完全な質量依存性を保持するために、著者はAll Massive Tadpole（AMT）アルゴリズムを採用した。これは、UV発散と有限の局所部分を分離するために、振幅をゼロ運動量付近でテイラー展開するものである。

主な貢献および結果
本論文は、質量相におけるST破れと必要な対称性回復カウンター項に関する完全な1ループ解析を提供している：

• 明示的なST破れ項： 著者は、ゴースト、スカラー（ヒッグス $\sigma$ およびゴールドストーン $\chi$）、ベクトル、およびフェルミオンを含むすべての関連する振幅に対する1ループST破れ項（$\Delta^{(1)}$）を計算した。これらの結果は、各セクター $(\ell_h, \ell_{a'})$ に対して明示的に提示されている。
  • ゴーストとスカラー/ベクトルのみを含むセクターでは、破れは $(0,0)$ セクターにおける閉じた内部フェルミオンループのみから生じる。
  • フェルミオンセクターにおいて、破れは非自明なセクター分解を示す。著者は、個々のセクターが（ゲージ不変プロパゲーター $a'_\mu$ の挙動により）非繰り込み可能に見える項を含むことがあるものの、全振幅を形成するためにすべてのセクターを合算した際に、これらの非物理的な寄与が正確にキャンセルされることを示している。
• ST恒等式の回復： 本論文は、1ループにおいてST恒等式を回復するために必要な、非対称な有限カウンター項を導出している。これらのカウンター項は、$S_0(\Xi^{(1)}) = -\Delta^{(1)}$ を満たすように構成されている。
• 質量依存性と一貫性チェック： 重要な結果として、ヒッグスの真空期待値 $v$ に対するST破れの依存性を制約する微分方程式の導出がある。ランダウ・ゲージにおいて、これらの方程式は著しく単純化され、無質量極限（$v \to 0$）から完全な $v$ 依存性を再構成することが可能となる。これは、計算された質量依存項に対する強力な一貫性チェックを提供する。
• 無質量極限の検証： 真空期待値が消失する極限（$v \to 0$）において、著者のST破れ項の結果は、スカラーとフェルミオンを持つ一般的なアベリアン無質量モデルに関して既存の文献で見られる計算と正確に一致する。

意義
本論文の主要な意義は、質量を持つカイラル理論のST破れの問題に対して、ゲージ不変なFMS形式論を適用することに成功した点にある。ゲージ不変な場の数に基づくセクター分解を用いることで、著者は以下を実証している：

1. 代数的なアプローチは、ループ展開の全次数において成立する。
2. セクター分解により、破れの項を整合的に孤立させることができ、これは特定の物理的な問いに対して評価すべきファインマン振幅の集合を制限することで、将来の計算を簡略化できることを示唆している。
3. 本手法は、真空期待値 $v$ への依存性を扱う厳密な枠組みを提供し、これはゲージ不変および従来の形式の両方における非アベリアンのケースにも一般化可能である。

本研究は、BM型正則化スキームにおける質量を持つカイラル理論のゲージ対称性を回復するための、具体的かつ計算可能な枠組みを確立しており、抽象的なコホモロジー的証明と、破れた相における明示的な摂動計算との間の溝を埋めるものである。