[论文解读] On algebras of gauge transformations in a general setting

G. Sardanashvily|ArXiv.org|Nov 29, 2004

Advanced Topics in Algebra参考文献 7被引用 3

一句话总结

本文为纤维丛上经典场论中的规范变换提出了一种广义代数结构，其中变换依赖于动力场和规范参数的任意阶导数。研究证明，此类变换构成一致代数的充要条件是其生成的BRST算符为幂零算符，通过系统的喷束与分次微分代数框架，将李代数和L∞-代数结构推广至非壳与壳上情形。

ABSTRACT

We consider a Lagrangian system on a fiber bundle and its gauge transformations depending on derivatives of dynamic variables and gauge parameters of arbitrary order. We say that gauge transformations form an algebra if they generate a nilpotent BRST operator.

研究动机与目标

• 定义一种规范变换的代数结构，该结构依赖于动力场和规范参数的任意阶导数。
• 制定此类规范变换形成一致代数的条件，推广有限维李代数与sh-李代数。
• 确立BRST算符的幂零性为规范变换构成代数的必要且充分条件。
• 将形式化方法扩展至非壳与壳上情形，允许广义对易关系与雅可比恒等式。

提出的方法

• 本文使用喷束 $J^rY$ 和无限阶喷从 $J^∞ Y$ 描述场构型及其至任意阶的导数。
• 引入分次微分代数 ${\cal O}^*_{\infty}Y$，包含水平微分 $d_H$ 与垂直微分 $d_V$，使拉格朗日量与欧拉-拉普拉斯算子得以形式化。
• 规范变换表示为在丛积 $E = Y \times_X V$ 上的微分算子 $\upsilon$，其关于规范参数 $\xi^r$ 及其喷射为线性，取值于垂直切丛 $VY$。
• 算符 $\upsilon$ 被提升为场与奇数反粒子 $c^r$ 代数上的分次导子，定义BRST变换 $\upsilon = \sum \upsilon^{i,\Lambda}_r c^r_\Lambda \partial_i + u^r \partial_r$。
• 通过方程组 (36)–(41) 强制BRST算符的幂零性，该组方程推广了李括号与雅可比恒等式。
• 该形式化方法应用于主丛规范场论，显式构造BRST算符并证明其幂零性，从而确认规范对称性的代数闭包。

实验结果

研究问题

• RQ1 在何种条件下，依赖于场与参数任意阶导数的规范变换能形成一致代数？
• RQ2 此类变换的广义对易关系与雅可比恒等式如何在几何与代数框架下形式化？
• RQ3 BRST算符的幂零性在定义规范对称性代数结构中的精确作用是什么？
• RQ4 广义结构常数 $u^{r}_{(k)pq}$ 如何依赖于场构型及其导数？
• RQ5 规范对称性的代数闭包能否在壳上一致定义？其如何推广非壳结构？

主要发现

• 本文确立了规范变换构成代数的充要条件是其生成幂零BRST算符，为代数闭包提供了普适准则。
• 幂零性条件 (36)–(41) 推广了李括号与雅可比恒等式，其中结构常数 $u^{r}_{(k)pq}$ 依赖于场构型及其导数。
• 对于线性规范变换，广义结构常数 $u^{r}_{(2)pq}$ 与场变量无关，恢复标准李代数结构常数。
• 主丛规范场论中的BRST算符被显式构造并证明其幂零性，确认该情形下规范对称性的代数一致性。
• 该形式化方法同时容纳非壳与壳上代数，其中壳上闭包通过模欧拉-拉普拉斯方程要求幂零性来定义。
• 证明了任意拉格朗日量均存在平凡规范对称性，但主要结果聚焦于非平凡、由幂零BRST生成的代数。