[论文解读] Higher Yang-Mills Theory

John C. Baez|ArXiv.org|Jun 15, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 77

一句话总结

本文提出了一种使用李2-群和李交叉模的杨-米尔斯理论的高维推广，构建了具有1-形式A（取值于g）和2-形式B（取值于h）的规范理论，并推导出高阶杨-米尔斯方程。关键结果是在五维时空下，当结构群H为半单李群且其自同构2-群满足特定度量和同构条件时，存在满足∗F = G的自对偶解。

ABSTRACT

Electromagnetism can be generalized to Yang-Mills theory by replacing the group U(1)$ by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2-form electromagnetism to a kind of "higher-dimensional Yang-Mills theory". It turns out that to do this, one should replace the Lie group by a "Lie 2-group", which is a category C where the set of objects and the set of morphisms are Lie groups, and the source, target, identity and composition maps are homomorphisms. We show that this is the same as a "Lie crossed module": a pair of Lie groups G,H with a homomorphism t: H -> G and an action of G on H satisfying two compatibility conditions. Following Breen and Messing's ideas on the geometry of nonabelian gerbes, one can define "principal 2-bundles" for any Lie 2-group C and do gauge theory in this new context. Here we only consider trivial 2-bundles, where a connection consists of a Lie(G)-valued 1-form together with an Lie(H)-valued 2-form, and its curvature consists of a Lie(G)-valued 2-form together with a Lie(H)-valued 3-form. We generalize the Yang-Mills action for this sort of connection, and use this to derive "higher Yang-Mills equations". Finally, we show that in certain cases these equations admit self-dual solutions in five dimensions.

研究动机与目标

• 将杨-米尔斯理论从1-形式规范场推广到更高形式，受电磁学与2-形式电磁学类比的启发。
• 通过引入李2-群而非非交换群，解决在曲面上定义非交换holonomy的障碍。
• 利用具有两种不同次数曲率的连接，为主2-丛构建一致的规范理论。
• 通过李代数上的不变双线性形式，从作用量原理推导高阶杨-米尔斯方程。
• 研究在特定度量和群论条件下，五维时空中高阶杨-米尔斯方程是否存在自对偶解。

提出的方法

• 使用李交叉模(G, H, t, α)建模高阶规范理论，其中G和H为李群，t: H → G为同态，G通过自同构作用在H上。
• 将连接定义为一对(A, B)，其中A为取值于g的1-形式，B为取值于h的2-形式，曲率为(F, G)，F = dA + [A, A]，G = dB + [A, B]。
• 引入广义霍奇星算子和对偶映射dt*，以在作用量泛函中定义微分的正式伴随。
• 通过曲率形式与其霍奇对偶的楔积的迹，构造高阶杨-米尔斯作用量泛函。
• 对作用量应用变分法，推导高阶杨-米尔斯方程，利用对偶映射关联曲率形式。
• 在五维空间中施加自对偶条件∗F = G和∗G = F，要求度量为(+,+,+,+,+)或等价形式，并通过卡灵形式实现同构g ≅ h。

实验结果

研究问题

• RQ1 能否利用高阶结构（如李2-群）为二维延拓对象构建一致的非阿贝尔规范理论？
• RQ2 在处理曲面holonomy时，曲率与规范不变性如何超越普通连接进行推广？
• RQ3 在五维时空中，高阶杨-米尔斯方程在何种条件下存在自对偶解？
• RQ4 李交叉模与不变双线性形式在定义作用量与运动方程中起什么作用？
• RQ5 五维时空下的自对偶高阶杨-米尔斯方程能否被解释为四维自对偶杨-米尔斯理论的高维类比？

主要发现

• 高阶杨-米尔斯方程被推导为由曲率形式及其霍奇对偶构成的规范不变作用量泛函的欧拉-拉格朗日方程。
• 方程呈现对称形式：d_A ∗F = ∗G ∧ B 和 d_A ∗G = −∗F，且满足Bianchi恒等式：d_A F = −G 和 d_A G = F ∧ B。
• 在五维时空下，当度量为五维黎曼型或洛伦兹型且符号为(+,+,+,+,+)或(+,+,−,−,−)时，若满足∗F = G，则存在自对偶解。
• 当H为半单李群且C为其自同构2-群时，自对偶解存在，此时通过卡灵形式实现同构g ≅ h。
• 在此同构下，对偶映射dt*变为平凡，方程简化为d_A ∗F = ∗G 和 d_A ∗G = ∗F，与四维自对偶杨-米尔斯理论类似。
• 此类解的存在性依赖于g和h上卡灵形式的非退化性与不变性，确保作用量中内积的良定义性。