规范场论

规范场论（gauge theory）是基于对称变换可以局部也可以全局地施行这一思想的一类物理理论。规范场论可分为阿贝尔规范场论和非阿贝尔规范场论。非阿贝尔群（非交换对称群）的规范场论最常见的例子为杨-米尔斯理论。
物理系统往往用在某种变换下不变的拉格朗日量表述，当变换在每一时空点同时施行，它们有。规范场论推广了这一思想，它要求拉格朗日量必须也有——应该可以在时空的特定区域施行这些对称变换而不影响到另外一个区域。这个要求是广义相对论的等效原理的一个推广。
规范“对称性”反映了系统表述的一个冗余性。
规范场论在物理学上的重要性，在于其成功为量子电动力学、弱相互作用和强相互作用提供了一个统一的数学形式化架构——标准模型。这套理论精确地表述了自然界的三种基本力的实验预测，它是一个规范群为SU(3)×SU(2)×U(1)的规范场论。像弦论这样的现代理论，以及广义相对论的一些表述，都是某种意义上的规范场论。
有时，规范对称性一词被用于更广泛的含义，包括任何局部对称性，例如微分同胚。该术语的这个含义不在本条目使用。
简史.
詹姆斯·麦克斯韦的电动力学是最早包含规范对称性的物理理论。
马克士威在他的论文里特别提出，该理论源自开尔文男爵于1851年发现的关于磁矢势的数学性质。但是，该对称性的重要性在早期的表述中没有被注意到。大卫·希尔伯特假设在座标变换下作用量不变，由此推导出爱因斯坦场方程时，但他也没有注意到对称性的重要。
之后，赫尔曼·外尔试图统一广义相对论和电磁学，他猜想「Eichinvarianz」或者说尺度（“规范”）变换下的「不变性」可能也是广义相对论的局部对称性。后来发现该猜想将导致某些非物理的结果。但是在量子力学发展以后，外尔、弗拉基米尔·福克和弗里茨·伦敦实现了该思想，但作了一些修改（把缩放因子用一个复数代替，并把尺度变化变成了相位变化—一个U(1)规范对称性），这相应于带电荷的量子粒子其波函数受到电磁场的影响，给定了一个漂亮的解释。这是第一个规范场论。泡利在1940年推动了该理论的传播。
1954年，为解决一些基本粒子物理中的巨大混乱，杨振宁和罗伯特·米尔斯引入非交换规范场论，来建构将核子绑在原子核中的强相互作用的模型。（Ronald Shaw，在阿卜杜勒·萨拉姆指导下，在他的博士论文中独立地引入了相同的概念。）通过推广电磁学中的规范不变性，他们试图构造基于（非交换的）SU(2)对称群在同位旋质子和中子对上的作用的理论，类似于U(1)群在量子电动力学的旋量场上的作用。在粒子物理中，重点在于量子化规范场论。
该思想后来被发现能够用于弱相互作用的量子场论，以及它和电磁学的电弱统一理论中。当人们意识到非交换规范场论能够导出的时候，规范场论变得更有吸引力，因为渐近自由被认为是强相互作用的一个重要特点—因而推动了寻找强相互作用的规范场论的研究。这个理论现在称为量子色动力学，是一个SU(3)群作用在夸克的色荷上的规范场论。标准模型用规范场论的语言统一了电磁力、弱相互作用和强相互作用的表述。
1970年代迈克尔·阿蒂亚爵士提出了研究经典杨-米尔斯方程的数学解的计划。
1983年，阿蒂亚的学生西蒙·唐纳森在这个工作之上证明了光滑4-流形的可微性分类和同胚性分类非常不同。麦可·弗里德曼采用唐纳森的工作证明奇异R4的存在，也就是，欧几里得4维空间上的奇异微分结构。这导致对于规范场论作为数学理论的兴趣逐渐增加，独立于它在基础物理中的成功。
1994年，爱德华·威滕和内森·塞伯格发明了基于超对称的规范场技术，使得特定拓扑不变量的计算成为可能。这些数学上的成果也导致了对该领域的新兴趣。
经典规范场论.
电磁学中的简单的规范对称性的例子.
电路中接地的定义是规范对称性的一个例子；当线路所有点的电位升高相同的值时，电路的行为完全不变；因为电路中的电位差不变。该事实的一个常见释例是栖息在高压电线上的鸟不会遭电击，因为鸟对地绝缘。
这称为整体规范对称性。电压的绝对值不是真实的；真正影响电路的是电路组件两端的电压差。接地点的定义是任意的，但一旦该点确定了，则该定义必须全局的采用。
相反，如果某个对称性可以从一点到另一点任意的定义，它是一个局域规范对称性。
一个例子：标量 O("n") 规范场论.
下面解释了局域规范不变性可以从整体对称性质启发式地“导出”，并且解释了它如何导向原来不相互作用的场之间的相互作用。
考虑"n"个无相互作用的标量场，它们有相同的质量"m"。该系统用一个作用量表示，它是每个标量场φi的作用量之和
拉格朗日量可以简明的写作
这是通过引入一个场的向量
现在很明显地，拉格朗日量在下面的变换中不变
只要"G"是一个"常数" 矩阵，且属于"n"-乘-"n" 正交群 O("n")。此为这个拉格朗日量的对称性，而对称群经常称为规范群，在G-结构数学理论中则被称为结构群。巧合的是，诺特定理蕴含着该变换群作用下的不变量导致如下的流的守恒
其中"Ta"矩阵是SO("n")群的生成元。每个生成元有一个守恒流。
现在，要求这个拉格朗日量必须有O("n")-不变性要求"G"矩阵（原来是常数）必须允许成为时空坐标"x"的函数。
不幸的是，"G"矩阵无法“穿递”给导数。当"G" = "G"("x")， 
为了修正这个失误，我们定义新的“导数”"D"
可以验证这样一个“导数”（称为协变导数）有以下形式
其中规范场 "A"("x")定义为有如下变换律的场
而"g"为耦合常数 - 定义一个相互作用强度的量。
规范场formula_10是李代数的一个元素，因此可以展开为
所以相互独立的规范场和李代数的生成元一样多。
最后，我们有了一个的拉格朗日量
泡利把应用到象formula_13这样的场上的变换称为，而把formula_14中的补偿变换称为。
这个拉格朗日量和初始的的拉格朗日量的区别可以视为相互作用拉格朗日量
为了引入局部规范不变性，结果导致了"n"个标量场之间的相互作用。在这个经典场论的量子化版本中，规范场"A"("x")的量子称为规范玻色子。相互作用拉格朗日量在量子场论中的解释是标量玻色子通过交换这些规范玻色子来相互作用。
规范场的拉格朗日量.
我们关于经典规范理论的图像基本完成了，还剩协变导数"D"的定义，为此我们必须知道规范场" A(x) "在所有时空点的值。由其手工的设置这个场的值，它可以通过一个场方程的解给出。再进一步要求产生这个场方程的拉格朗日量也是局部规范不变的，规范场拉格朗日量可以（传统地）写作
其中
而迹在场的向量空间上取。此即为杨-米尔斯作用量。
注意在这个拉格朗日量中，没有一个场formula_13的变换抵消了formula_14的变换。该项在规范变换中的不变性是前面经典（几何）对称性的特殊情况。该对称性必须被限制以施行量子化，这个过程被称为，但是即使在限制之后，规范变换还是可能的。
O(n)规范场论的拉格朗日量现在成了
例子：电动力学.
作为前面章节中发展的形式化表述的简单应用，考虑电动力学的情形，只考虑电子场。产生电子场的狄拉克方程的最简单作用量可写成
该系统的全局对称性是
这里的规范群是U(1)，也就是场的相位角，带一个常数formula_23。
“局部”化这个对称性意味着用formula_24取代formula_23。
一个合适的共变导数是
将“荷” "e"视为通常的电荷（这也是规范理论中这个术语的使用的来源），而把规范场"A"("x")视为电磁场的电磁四维势得到一个相互作用拉格朗日量
其中"J"("x")是通常的电流密度的四维向量。规范原理因而可以视作以一种自然的方式引入了电子场与电磁场间的。
像古典电动力学一样，以场强度张量形式加入规范场"A"("x")的拉格朗日量，可以得到在量子电动力学中作为起点的拉格朗日量。
数学形式化.
规范理论通常用微分几何的语言讨论。数学上，一个"规范"就是某个主丛的（局部）截面的一个选择。一个规范变换也就是两个截面间的变换。
注意，虽然规范理论被联络的研究占据了大部分（主要是因为它主要在高能物理中研究），联络这个概念一般而言其非规范理论的中心概念。事实上，一般规范理论的一个结果表明规范变换的仿射表示（也就是仿射模）可以分类到一种满足特定属性的节丛的截面。有些表示在每一点共变（物理学家称其为第一类规范变换），有些表示象联络形式一样变换（物理学家称其为第二类规范变换，一种仿射表示），还有其它更一般的表示，例如BF理论中的B场。当然，我们可以考虑更一般的非线性表示（实现），但那很复杂。但是，非线性σ模型的变换是非线性地，所以它们也有用处。
若我们有一个主丛"P"其底空间是空间或时空而结构群是一个李群，则"P"的截面组成一个规范变换群的主齐性空间。
我们可以在该主丛上定义一个联络（规范联络），这可以在每个配丛上产生一个共变导数∇。若我们选择一个局部标架（截面的局部基），我们就可以用联络形式"A"表示这个共变导数，一个值为李代数的1-形式，在物理学中称为规范势，它显然不是内在性质，而是一个依赖于标架的选择的量。从这个联络形式，我们可以构造曲率形式"F"，这是一个值为李代数的2-形式，这是一个内在量，定义为
其中 "d" 代表外微分而formula_30代表楔积。
无穷小规范变换形成一个李代数，可以被一个光滑李代数值的标量，ε所刻画。在这样一个无穷小规范变换下，
其中formula_32是李括号。
一个有趣的结果是，若formula_33，则formula_34 其中D是共变导数
而且，formula_36，这意味着F共变地变换。
并非所有的规范变换都可以用无穷小规范变换生成；例如，当底流形是一个无边界的紧致流形，且从该流形到李群的映射的同伦类非平凡的时候。参看瞬子（instanton）中的例子。
"杨-米尔斯作用"现在可以如下给出
其中 * 代表霍奇对偶而积分和在微分几何中的定义一样。
一个规范-不变量也就是在规范变换下的不变量的例子是威尔逊环（Wilson loop），它定义在闭合路径γ上，定义如下：
其中χ是复表示ρ的特征标；而formula_39表示路径排序算子。
规范理论的量子化.
专用来量子化任何量子场论的方法也可用来量子化规范理论。但是，因为规范约束（参看上面的数学表述一节）的微妙性，会出现很多在其他场论不存在的技术问题，待为解决。同时，规范理论的更丰富的结构简化了一些计算：例如Ward恒等式联系了不同的重整化常数。
方法和目标.
第一个量子化的规范理论是量子电动力学（QED）。为此发展的最初的方法涉及规范固定和施行标准量子化。也被发展出来用于处理这个问题。非交换规范理论现在用很多不同的方法处理。量子化的方法在量子化条目有介绍。
量子化的要点，在于能够计算理论所允许的各种过程的量子振幅。技术上，它们简化为在真空态下的特定相关系数函数的计算。这涉及到理论的重整化。
当理论的变动耦合足够小时，所有需要计算的量可以用微扰理论计算。设计用于简化这样的计算的量子化方案（例如标准量子化）可以称为微扰量子化方案。现在一些这种方法导致了规范理论的更精确的试验测试。
但是，在多数规范理论中，有很多有趣的问题是非微扰的。设计用于这些问题的量子化方案可以称为非微扰量子化方案（像是格点规范场论）。这样的方案的精确计算经常需要超级大量地计算，因而目前比其他方案的发展要少。
反常.
一些理论经典的对称性在量子理论中不再成立—这个现象称为一个反常。最出名的包括：
在QCD中，这个反常导致了π介子衰变成为两个光子。