[論文レビュー] Scattering amplitudes in YM and GR as minimal model brackets and their recursive characterization

Andrea Nützi, Michael Reiterer|arXiv (Cornell University)|Dec 16, 2018

Black Holes and Theoretical Physics参考文献 16被引用数 13

ひとこと要約

この論文は、微分的階層付きリーヒューリー代数（dgLA）から導かれる $L_∞$ 最小モデル括弧を用いて、ヤン・ミルズ（YM）および一般相対性理論（GR）の散乱振幅を再解釈し、ホモロジー代数を用いた厳密でゲージ不変性を持つ構成を提供する。木レベルの振幅が、運動量空間内の素因数に沿った因子化残留部の唯一の決定要因であることが示され、フェニマン図やBCFWシフトに依存しない。ハートゴス型拡張および最適な伝播関数を用いたホモトピー移行が用いられる。

ABSTRACT

Attached to both Yang-Mills and General Relativity about Minkowski spacetime are distinguished gauge independent objects known as the on-shell tree scattering amplitudes. We reinterpret and rigorously construct them as $L_\infty$ minimal model brackets. This is based on formulating YM and GR as differential graded Lie algebras. Their minimal model brackets are then given by a sum of trivalent (cubic) Feynman tree graphs. The amplitudes are gauge independent when all internal lines are off-shell, not merely up to $L_\infty$ isomorphism, and we include a homological algebra proof of this fact. Using the homological perturbation lemma, we construct homotopies (propagators) that are optimal in bringing out the factorization of the residues of the amplitudes. Using a variant of Hartogs extension for singular varieties, we give a rigorous account of a recursive characterization of the amplitudes via their residues independent of their original definition in terms of Feynman graphs (this does neither involve so-called BCFW shifts nor conditions at infinity under such shifts). Roughly, the amplitude with $N$ legs is the unique section of a sheaf on a variety of $N$ complex momenta whose residues along a finite list of irreducible codimension one subvarieties (prime divisors) factor into amplitudes with less than $N$ legs. The sheaf is a direct sum of rank one sheaves labeled by helicity signs. To emphasize that amplitudes are robust objects, we give a succinct list of properties that suffice for a dgLa so as to produce the YM and GR amplitudes respectively.

研究の動機と目的

• YMおよびGRにおけるオンシェル木散乱振幅を、$L_\infty$ 最小モデル括弧を用いて厳密かつゲージ不変に定式化すること。
• YMとGRの両方を、運動量の次数付き微分的階層付きリーヒューリー代数におけるMaurer-Cartan方程式として統一的に扱う。
• 振幅が、複素運動量空間内の余次元1の部分多様体（素因数）に沿った因子化性によって一意に決定されることを確立すること。
• フェニマン図やBCFWシフトに依存しない再帰的特徴付けを、ハートゴス拡張およびホモロジー摂動を用いて構築すること。
• ホモトピー移行およびチェーン写像の議論を用いて、個々の図がゲージ選択に依存しても、それらの和がゲージ不変であることを証明すること。

提案手法

• 運動量の次数付き微分的階層付きリーヒューリー代数（dgLA）としてYMおよびGRを形式化し、Maurer-Cartan方程式が場の運動方程式を記述する。
• $L_\infty$ 最小モデル括弧を、三価のフェニマン木グラフの和として構成し、頂点はdgLAの括弧、辺はホモトピー縮約を表す。
• ホモロジー摂動補題を用いて、残留部の因子化を明らかにする最適な伝播関数（ホモトピー）を導出する。
• 特異多様体に対するハートゴス拡張の亜種を用い、コリニアリティまたは多粒子特異性に対応する素因数上の残留部から、$N$点振幅を再帰的に再構成する。
• $N$個の複素運動量の多様体上の、ランク1の層の切断として振幅を定義し、スピン状態の符号をラベルとして用いる。
• チェーン写像の同値性を用いてゲージ不変性を証明する：内部線がすべてオフシェルのとき、ホモトピー $h$ に依存しない最小モデル括弧が得られ、$M_{h^\prime} - M_h = dE + Ed_{\text{tot}}$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 YMおよびGRにおけるオンシェル木散乱振幅を、ゲージ不変な方法で $L_\infty$ 最小モデル括弧として厳密に構成するにはどうすればよいか？
• RQ2 フェニマン図やBCFW再帰に依存しない幾何学的・ホモロジー的特徴付けは何か？
• RQ3 余次元1の部分多様体（例：コリニアリティや多粒子極限）に沿った振幅の残留部は、どのように低点振幅に因子化されるか？
• RQ4 dgLAが、その最小モデルによって正しいYMまたはGRの散乱振幅を生成するための条件は何か？
• RQ5 ホモトピー移行およびホモロジー摂動補題を用いて、因子化を明確にする最適な伝播関数をどのように導出できるか？

主な発見

• $L_\infty$ 最小モデル括弧は、dgLA形式化におけるYMおよびGRのゲージ不変なオンシェル木散乱振幅を与える。個々のフェニマン木グラフはゲージ選択に依存するが、その和はゲージ不変である。
• 振幅は、$N$個の複素運動量の多様体上の層の切断として一意に特徴付けられ、素因数に沿った残留部は低点振幅に因子化される。
• ハートゴス拡張を用いた再帰的再構成により、$N$点振幅の再構成が可能であり、BCFWシフトや無限遠境界条件に依存しない。
• ホモロジー摂動補題は、残留部の因子化を明確にする最適な伝播関数（ホモトピー）を提供し、背後にある幾何的構造を明らかにする。
• チェーン写像の同値性により、ゲージ不変性が厳密に証明される：$M_{h^\prime} - M_h = dE + Ed_{\text{tot}}$ がオフシェル内部線で成り立ち、木グラフの和がゲージ不変であることが保証される。
• 運動量の次数付きおよびMaurer-Cartan方程式に基づく、dgLAがYMまたはGR振幅を生成するための簡潔な公理集合が得られる。