[论文解读] On deformations of Yang-Mills algebras

M. V. Movshev|ArXiv.org|Sep 15, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 9

一句话总结

本文利用李代数上同调与循环上同调研究了杨-米尔斯代数 $YM$ 的形变理论，该代数是杨-米尔斯方程的普遍解。计算得 $H^1(YM, U(YM)) = \mathbb{C} \oplus V \oplus \Lambda^2(V)$，识别出无穷小对称性为标度变换、平移与洛伦兹旋转，并推导出拉格朗日量非等价形变的生成函数 $F(t)$，揭示了除标准场重新定义外，还存在非拉格朗日形变。

ABSTRACT

This is a next paper from a sequel devoted to algebraic aspects of Yang-Mills theory. We undertake a study of deformation theory of Yang-Mills algebra YM - a ``universal solution'' of Yang-Mills equation. We compute (cyclic) (co)homology of YM.

研究动机与目标

• 理解杨-米尔斯代数 $YM$ 的代数结构，作为杨-米尔斯方程的普遍解。
• 计算 $YM$ 的循环上同调与李上同调，特别是 $H^1(YM, U(YM))$ 与 $H^1(YM, YM)$，以识别其无穷小对称性。
• 通过构造按标度权重分级的形变类生成函数 $F(t)$，对杨-米尔斯拉格朗日量的非等价形变进行分类。
• 研究在标准场重新定义之外，杨-米尔斯代数是否存在非拉格朗日形变。

提出的方法

• 使用 Cartan-Chevalley 复形计算李上同调 $H^k(\mathfrak{g}, N)$，其中 $\mathfrak{g} = YM$，$N = YM$ 或 $U(YM)$。
• 通过分解 $\mathbb{C} \oplus V \oplus \Lambda^2(V)$ 计算 $H^1(YM, U(YM))$，识别出标度变换、平移与洛伦兹对称性。
• 利用对数导数与函数 $\psi(k) = \sum_{l|k} 1$ 构造非等价形变的生成函数 $F(t)$。
• 应用对称代数恒等式与生成函数，将自由代数的循环上同调与上同调不变量关联起来。
• 利用 Bar-对偶性与 Tor函子，将 $HC_0(U(TYM))$ 与生成函数 $M(t)$ 关联，导出 $\overline{HC}_0(U(TYM))(t) = -\sum_{k>0} \ln(1 - t^{2k}M(t^k))$。
• 推导出形变类生成函数的公式 $F(t) = 1 - \sum_{k \geq 1} \ln(1 - \dim V \cdot t^{2k} + \dim V \cdot t^{4k} - t^{8k}) \frac{\psi(k)}{k} + (\frac{\dim V(\dim V - 1)}{2} - 1)t^8 + \dim V t^6$。

实验结果

研究问题

• RQ1 第一上同调 $H^1(YM, U(YM))$ 的结构是什么？它如何与杨-米尔斯理论的背景无关对称性相关？
• RQ2 如何对杨-米尔斯拉格朗日量的非等价形变进行分类？其形变的生成函数是什么？
• RQ3 是否存在不通过拉格朗日量修改诱导的杨-米尔斯代数形变？如何检测它们？
• RQ4 普遍包络代数 $U(YM)$ 的循环上同调是什么？它如何与 $YM$ 的形变理论相关？

主要发现

• 第一上同调 $H^1(YM, U(YM))$ 分解为 $\mathbb{C} \oplus V \oplus \Lambda^2(V)$，分别对应于标度变换、平移与洛伦兹旋转。
• 由于 $H^0(YM, U(YM)) = \mathbb{C}$，$U(YM)$ 的中心是平凡的；又因 $H^0(YM, YM) = 0$，故 $YM$ 的中心亦为零。
• 非等价形变的生成函数 $F(t)$ 为 $F(t) = 1 - \sum_{k \geq 1} \ln(1 - \dim V \cdot t^{2k} + \dim V \cdot t^{4k} - t^{8k}) \frac{\psi(k)}{k} + \left(\frac{\dim V(\dim V - 1)}{2} - 1\right)t^8 + \dim V t^6$。
• 公式中的 $t^6$ 与 $t^8$ 项为显式校正项，源于自由代数的结构与形变空间的分次性质。
• 自由李代数上 $U(TYM)$ 的循环上同调计算为 $\overline{HC}_0(U(TYM))(t) = -\sum_{k>0} \ln(1 - t^{2k}M(t^k))$，其中 $M(t)$ 是自由李代数在 $V$ 上的生成函数。
• 由于 $F(t)$ 的结构包含无法由标准拉格朗日量微扰导出的项，暗示了非拉格朗日形变的存在。