[论文解读] 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

一句话总结

该论文将杨-米尔斯（YM）和广义相对论（GR）的散射振幅重新解释为源自微分分次李代数（dgLA）的 $L_∞$ 最小模型括号，通过同调代数实现严格且规范无关的构造。它证明了树幅振幅在动量空间中唯一由其在素除子上的因子化留数决定，独立于费曼图或BCFW位移，利用Hartogs型延拓与最优传播子的同伦转移。

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.

研究动机与目标

• 通过 $L_\infty$ 最小模型括号，严格且规范无关地表述YM与GR中壳上树幅振幅。
• 通过将两者均表述为带有动量分次的微分分次李代数中的Maurer-Cartan方程，统一处理YM与GR。
• 确立振幅在复动量空间中余维一子簇（素除子）上的因子化性质唯一确定振幅。
• 通过Hartogs延拓与同调微扰，消除对费曼图或BCFW位移的依赖，实现递归表征。
• 通过同伦转移与链映射论证，证明即使单个图依赖规范选择，费曼树图之和仍为规范不变。

提出的方法

• 将YM与GR形式化为带有动量分次的微分分次李代数（dgLA），其中Maurer-Cartan方程编码场方程。
• 将 $L_\infty$ 最小模型括号构造为三价费曼树图的和，顶点代表dgLA括号，边代表同伦收缩。
• 使用同调微扰引理推导最优传播子（同伦），揭示振幅留数的因子化结构。
• 应用奇异流形的Hartogs延拓变体，通过对应于共线或多重粒子奇点的素除子上的留数，递归重构 $N$-点振幅。
• 将振幅定义为在 $N$ 个复动量流形上的秩一层叠的截面，自旋符号作为标签。
• 通过链映射等价性证明规范无关性：当所有内线为非壳时，最小模型括号与同伦 $h$ 无关，利用 $M_{h^\prime} - M_h = dE + Ed_{\text{tot}}$。

实验结果

研究问题

• RQ1 如何严格且规范无关地将YM与GR中的壳上树幅振幅构造为 $L_\infty$ 最小模型括号？
• RQ2 这些振幅的几何与同调表征为何独立于费曼图或BCFW递归？
• RQ3 振幅沿余维一子簇（如共线或多重粒子极限）的留数如何分解为低点振幅？
• RQ4 何种dgLA条件可确保其最小模型产生正确的YM或GR散射振幅？
• RQ5 如何利用同伦转移与同调微扰引理推导出使因子化显而易见的最优传播子？

主要发现

• YM与GR的dgLA形式化所导出的 $L_\infty$ 最小模型括号，即使单个费曼树图依赖规范选择，仍能产生规范无关的壳上树幅振幅。
• 振幅作为复动量流形上层叠的截面被唯一表征，其在不可约余维一子簇上的留数可分解为低点振幅。
• 通过Hartogs延拓可实现 $N$-点振幅的递归重构，无需依赖BCFW位移或无穷远边界条件。
• 同调微扰引理提供了最优传播子（同伦），使留数因子化显而易见，并揭示其底层几何结构。
• 通过链映射等价性严格证明规范无关性：在非壳内线上，$M_{h^\prime} - M_h = dE + Ed_{\text{tot}}$，确保树图之和为规范不变。
• 该构造为dgLA提供了一组简洁的公理，使其能产生YM或GR振幅，基于动量分次与Maurer-Cartan方程。