http://blog.sina.com.cn/s/blog_4da512720100kweh.html
规范场论
规范场论 (Gauge Theory) 是基于对称变换可以局部也可以全局地施行这一思想的一类物理理论。非交换对称群的规范场论有时也称为杨-米尔斯理论。物理系统往往用在某种变换下不变的拉格朗日量表述,当变换在每一时空点同时施行,它们有全局对称性。规范场论推广了这一思想,它要求拉格朗日量必须也有局部对称性—应该可以在时空的特定区域施行这些对称变换而不影响到另外一个区域。这个要求是广义相对论的等价原理的一个推广。
规范“对称性”反映了系统表述的一个冗余性。
规范场论在物理学上的重要性,在于其成功为量子电动力学、弱相互作用和强相互作用提供了一个统一的数学形式化架构——标准模型。这套理论精确地表述了自然界的三种基本力的实验预测,它是一个规范群为SU(3) × SU(2) × U(1)的规范场论。像弦论这样的现代理论,以及广义相对论的一些表述,都是某种意义上的规范场论。
有时,规范对称性一词被用于更广泛的含义,包括任何局部对称性,例如微分同胚。该术语的这个含义不在本条目使用。
目录 [隐藏]
1 简史
2 电磁学中的简单的规范对称性的例子
3 经典规范场论
3.1 一个例子:标量 O(n) 规范场论
3.2 规范场的拉格朗日量
3.3 一个简单的例子:电动力学
4 数学形式化
5 规范理论的量子化
5.1 方法和目标
5.2 反常
6 参看
7 参考
简史
最早包含规范对称性的物理理论是麦克斯韦的电动力学。但是,该对称性的重要性在早期的表述中没有被注意到。在爱因斯坦发展广义相对论之后,赫尔曼·外尔在试图统一广义相对论和电磁学的尝试中,猜想Eichinvarianz或者说尺度(“规范”)变换下的不变性可能也是广义相对论的局部对称性。后来发现该猜想将导致某些非物理的结果。但是在量子力学发展以后,魏尔、Vladimir Fock和Fritz London实现了该思想,但作了一些修改(把缩放因子用一个复数代替,并把尺度变化变成了相变—一个U(1)规范对称性),这对一个相应于带电荷的量子粒子其波函数受到电磁场的影响,给定了一个漂亮的解释。这是第一个规范场论。泡利在1940年推动了该理论的传播,参看R.M. P.13, 203。
1950年代,为了解决一些基本粒子物理中的巨大混乱,杨振宁和罗伯特·米尔斯引入非交换规范场论作为理解将核子绑在原子核中的强相互作用的模型。(Ronald Shaw,和Abdus Salam一起工作,在他的博士论文中独立地引入了相同的概念。)通过推广电磁学中的规范不变性,他们试图构造基于(非交换的)SU(2)对称群在同位旋质子和中子对上的作用的理论,类似于U(1)群在量子电动力学的旋量场上的作用。在粒子物理中,重点是使用量子化规范场论。
该思想后来被发现能够用于弱相互作用的量子场论,以及它和电磁学的统一在电弱理论中。当人们意识到非交换规范场论能够导出一个称为渐进自由的特色的时候,规范场论变得更有吸引力,因为渐进自由被认为是强相互作用的一个重要特点—因而推动了寻找强相互作用的规范场论的研究。这个理论现在称为量子色动力学,是一个SU(3)群作用在夸克的色荷上的规范场论。标准模型用规范场论的语言统一了电磁力、弱相互作用和强相互作用的表述。
1970年代Michael Atiyah爵士提出了研究经典杨-米尔斯方程的数学解的计划。1983年,Atiyah的学生Simon Donaldson 在这个工作之上证明了光滑4-流形的可微分类和它们只差一个同胚的分类非常不同。Michael Freedman采用Donaldson的工作证明伪R4的存在,也就是,欧氏4维空间上的奇异微分结构。这导致对于规范场论本身的兴趣,独立于它在基础物理中的成功。1994年,爱德华·威滕和Nathan Seiberg发明了基于超对称的规范场技术,使得特定拓扑不变量的计算成为可能。这些从规范场论来的对数学的贡献导致了对该领域的新兴趣。
电磁学中的简单的规范对称性的例子
电路中接地的定义是规范对称性的一个例子;当线路所有点的电位升高相同的值时,电路的行为完全不变;因为电路中的电位差不变。该事实的一个常见释例是栖息在高压电线上的鸟不会遭电击,因为鸟对地绝缘。
这称为整体规范对称性Trefil,1983。电压的绝对值不是真实的;真正影响电路的是电路组件两端的电压差。接地点的定义是任意的,但一旦该点确定了,则该定义必须全局的采用。
相反,如果某个对称性可以从一点到另一点任意的定义,它是一个局域规范对称性。
^ James S. Trefil 1983年, 创造的瞬间。 Scribner, ISBN 0-684-17963-6 92-93页。
经典规范场论
本节要求一些经典或量子场论的知识,以及拉格朗日量的使用。
本节中的定义:规范群,规范场,相互作用拉格朗日量,规范玻色子
一个例子:标量 O(n) 规范场论
下面解释了局域规范不变性可以从整体对称性质启发式地“导出”,并且解释了它如何导向原来不相互作用的场之间的相互作用。
考虑一个n个不相互作用的标量场的集合,它们有相同的质量m。该系统用一个作用量表示,它是每个标量场φi的作用量之和
拉格朗日量可以简明的写作
这是通过引入一个场的矢量
现在很明显地,拉格朗日量在下面的变换中不变
只要G是一个常数 矩阵,G属于n-乘-n 正交群 O(n)。这是这个特定的拉格朗日量的全局对称性,而对称群经常称为规范群。很巧合的是,诺特定理蕴含着该变换群作用下的不变量导致如下的流的守恒
其中Ta矩阵是SO(n)群的生成元。每个生成元有一个守恒流。
现在,要求这个拉格朗日量必须有局域O(n)-不变性要求G矩阵(原来是常数)必须允许成为时空坐标x的函数。
不幸的是,G矩阵无法“传递”给导数。当G = G(x),
这意味着定义一个有如下属性的“导数”D
可以验证这样一个“导数”(称为协变导数)是
其中规范场 A(x)定义为有如下变换律的场
而g为耦合常数 - 定义一个相互作用强度的量。
规范场在一点的取值是李代数的一个元素,因此可以展开为
所以相互独立的测度场取值和李代数的生成元一样多。
最后,我们有了一个局域规范不变拉格朗日量
泡利把应用到象Φ这样的场上的变换称为第一类规范变换,而把A中的补偿变换称为第二类规范变换。
费曼的标量玻色子通过规范玻色子相互作用的示意图
这个拉格朗日量和初始的全局规范不变的拉格朗日量的区别可以视为相互作用拉格朗日量
这个项作为要求局部规范不变性的结果而引入了n个标量场之间的相互作用。在这个经典场论的量子化版本中,规范场A(x)的量子称为规范玻色子。相互作用拉格朗日量在量子场论中的解释是标量玻色子通过交换这些规范玻色子来相互作用。
[编辑]规范场的拉格朗日量
我们关于经典规范理论的图像基本完成了,还剩协变导数D的定义,为此我们必须知道规范场 A(x) 在所有时空点的值。它可以通过一个场方程的解给出,而不是手工的设置这个场的值。进一步要求产生这个场方程的拉格朗日量也是局部规范不变的,规范场拉格朗日量的最一般的形式可以(传统地)写作
其中
而迹在场的矢量空间上取。
注意在这个拉格朗日量中,没有一个场Φ其变换抵消A的变换。该项在规范变换中的不变性是前面经典(或者说几何,如果喜欢的话)对称性的特殊情况。该对称性必须被限制以施行量子化,这个过程被称为规范固定,但是即使在限制之后,规范变换还是可能的(参看Sakurai, 高等量子力学,1-4节)。
O(n)规范场论的拉格朗日量现在成了
一个简单的例子:电动力学
作为前面章节中发展的形式化表述的简单应用,考虑电动力学的情形,只考虑电子场。产生电子场的狄拉克方程的最简单的作用(传统上)是
该系统的全局对称性是
这里的规范群是U(1),也就是场的相位角,带一个常数θ。
“局部”化这个对称性意味着用θ(x)取代θ。
一个合适的共变导数是
将“荷” e视为通常的电荷(这也是规范理论中这个术语的使用的来源),而把规范场A(x)视为电磁场的4维矢量势得到一个相互作用拉格朗日量
其中J(x)是通常的电流密度的4矢量。规范原理因而可以视作以一种自然的方式引入了所谓的电磁场到电子场的最小耦合。
为规范场A(x)加入一个拉格朗日量,用场强张量的术语就象在电动力学中一样,可以得到在量子电动力学中作为起点的拉格朗日量。
参看:狄拉克方程,麦克斯韦方程组,量子电动力学
数学形式化
规范理论通常用微分几何的语言讨论。数学上,一个规范就是某个流形的(局部)坐标系的一个选择。一个规范变换也就是一个坐标变换。
注意,虽然规范理论被联络的研究占据了大部分(主要是因为它主要在高能物理中研究),联络的思想一般不是规范理论的基本或者中心概念。事实上,一般规范理论的一个结果表明规范变换的仿射表示(也就是仿射模)可以分类到一种满足特定属性的节丛的截面。有些表示在每一点共变(物理学家称其为第一类规范变换),有些表示象联络形式一样变换(物理学家称其为第二类规范变换)(注意这是一种仿射表示),还有其它更一般的表示,例如BF理论中的B场。当然,我们可以考虑更一般的表示(实现),但那很复杂。但是,非线性σ模型非线性地变换,所以它们也有用处。
若我们有一个主丛P其底空间是空间或时空而结构群是一个李群,则P的截面组成一个群称为规范变换群。
我们可以在该主丛上定义一个联络(规范联络),这可以在每个相伴矢量丛上产生一个共变导数∇。若我们选择一个局部标架(截面的局部基),我们就可以用联络形式A表示这个共变导数,A是一个李代数-值的1-形式,在物理学中称为规范势,它显然不是内在的量,而是一个依赖于标架的选择的量。从这个联络形式,我们可以构造曲率形式F,这是一个李代数-值的2-形式,这是一个内在量,定义为
其中 d 代表外微分而代表楔积。
无穷小规范变换形成一个李代数,可以表述为一个光滑李代数值的标量,ε。在这样一个无穷小规范变换下,
其中是李括号。
一个有趣的结果是,若,则 其中D是共变导数
而且,,这意味着F共变地变换。
需要注意的一点是不是所有的一般规范变换都可以用无穷小规范变换生成;例如,当底流形是一个无边界的紧致流形使得从该流形到李群的映射的同伦类非平凡的时候。参看瞬子(instanton)中的例子。
杨-米尔斯作用现在可以如下给出
其中 * 代表霍奇对偶而积分和在微分几何中的定义一样。
一个规范-不变量也就是在规范变换下的不变量的例子是威尔逊环(Wilson loop),它定义在闭合路径γ上,定义如下:
其中χ是复表示ρ的特征标;而表示路径排序算子。
规范理论的量子化
规范理论可以用能够应用到任何量子场论的方法的特殊化来量子化。但是,因为规范约束(参看上面的数学表述一节)所带来的微妙性,存在很多需要解决的理论问题,他们在其他场论中并不存在。同时,规范理论的更丰富的结构使得一些计算得以简化:例如Ward恒等式建立了不同的重正化常数的联系。
方法和目标
第一个量子化的规范理论是量子电动力学(QED)。为此发展的最初的方法涉及规范固定和施行标准量子化。Gupta-Bleuler方法也被发展出来用于处理这个问题。非交换规范理论现在用很多不同的方法处理。量子化的方法在量子化条目有介绍。
量子化的要点在于能够计算对于理论所允许的各种进程的量子振幅。技术上,它们退化为在真空状态下的特定相关系数函数的计算。这涉及到理论的一个重正化。
当理论的巡行耦合足够小时,所有需要计算的量可以用微扰理论计算。设计用于简化这样的计算的量子化方案(例如标准量子化)可以称为微扰量子化方案。现在一些这种方法导向了规范理论的更精确的试验测试。
但是,在多数规范理论中,有很多有趣的问题是非微扰的。设计用于这些问题的量子化方案可以称为非微扰量子化方案。这样的方案的精确计算经常需要超级计算,因而目前比其他方案的发展要少。
反常
一些理论经典的对称性在量子理论中不再成立—这个现象称为一个反常。最出名的包括:
共形反常,它导致了一个跑动耦合常数。在QED中,这导致了朗道奇点(Landau pole)。在量子色动力学(QCD)中,这导致渐进自由。
手征反常,出现在费米子手性或者矢量场论中。这通过瞬子的概念和拓扑有紧密的关联。
在QCD中,这个反常导致了π介子衰变成为两个光子。
规范反常,在任何自洽的物理理论中必须消去。在电弱理论中,这个消去要求夸克和轻子数量相等。这被称为GIM机制。
发贴者 Quantumac 时间: 上午7:03 0 评论
规范场论推广了这一思想,它要求拉格朗日量必须也有局部对称性—应该可以在时空的特定区域施行这些对称变换而不影响到另外一个区域。这个
所有跟帖:
•
描述电磁场的量应该是电场E和磁场B,势只是一种辅助的数学工具,没有物理意义。但量子力学表明,势也存在可以观测的物理效应,这就使得
-marketreflections-
♂
(3365 bytes)
()
09/26/2010 postreply
08:07:17
•
弱相互作用也有其独特的性质。它的基本规律对于左和右,正、反粒子,过去和未来都是不对称的。弱相互作用的不对称就是李政道和杨振宁在1
-marketreflections-
♂
(22039 bytes)
()
09/26/2010 postreply
08:18:05
•
规范不变性实际上应该叫做相位不变性,分析表明,这一对称性直接导致电荷守恒定律。费曼证明,局域规范对称性加上洛仑兹变换可以导出麦克
-marketreflections-
♂
(3656 bytes)
()
09/26/2010 postreply
08:22:53
•
通常人们认为电磁矢势A的环量才有物理意义,而每点上的A值是没有直接的物理意义
-marketreflections-
♂
(13298 bytes)
()
09/26/2010 postreply
08:48:18
•
由它定义的场强正好为麦克斯韦方程组所描述,它与波函数ψ 所描述的带电粒子的相互作用,正好是熟知的电磁相互作用,因此,它就是电磁场
-marketreflections-
♂
(6643 bytes)
()
09/26/2010 postreply
10:00:00
•
"规范场动力学质量" google.cn
-marketreflections-
♂
(543 bytes)
()
09/26/2010 postreply
10:00:59
•
在量子电动力学中,考虑到电子场和电磁场相互作用的耦合常数(即电子的电荷) e是一个小量,把哈密顿量中代表相互作用的项作为对自由场
-marketreflections-
♂
(15403 bytes)
()
09/26/2010 postreply
10:12:17
•
标 题: 高人一等的哈密顿量
-marketreflections-
♂
(3119 bytes)
()
09/26/2010 postreply
10:16:56
•
哈密顿原理阐明,如果一个物理系统在两个时间点的运动是正确运动,而此系统的纯量势只是时间、位置、速度的函数,则作用量是平稳的.哈密
-marketreflections-
♂
(2296 bytes)
()
09/26/2010 postreply
10:22:23
•
物理好图:哈密顿原理阐明,如果一个物理系统在两个时间点的运动是正确运动,而此系统的纯量势只是时间、位置、速度的函数,则作用量是平
-marketreflections-
♂
(406 bytes)
()
09/27/2010 postreply
07:22:06
•
物理好图:哈密顿原理
-marketreflections-
♂
(671 bytes)
()
09/27/2010 postreply
07:39:49
•
物理好图:哈密顿原理 函数的变分. 自变量为 x 的函数表示为 y = y (x) . 函数的微分 dy = y ′dx 是由自
-marketreflections-
♂
(10822 bytes)
()
09/27/2010 postreply
14:54:25
•
物理好图:流形是一种特别的拓扑空间,它的每一个足够小的局部,看起来都象是一个欧几里德空间的一个局部,更高维的平直空间 (图)
-marketreflections-
♂
(586 bytes)
()
09/28/2010 postreply
08:00:55
•
几何物体代数结构:我们可以看到在环面上有两个圆圈,它们并不会分离环面,它们称之为本质的。换个看法是,能分离环面的那些圆都能缩到一
-marketreflections-
♂
(3268 bytes)
()
09/28/2010 postreply
08:06:59
•
在更高维的拓扑空间上,光用数来刻画空间性质就比较不方便了,而代数拓扑就可以用群这样的代数结构为工具,来代替数来刻画拓扑空间的性质
-marketreflections-
♂
(6080 bytes)
()
09/28/2010 postreply
08:09:18
•
同胚当且仅当亏格相等 我们知道结构是由关系形成的,拓扑结构注重的是于空间中的点之间如何“连”在一起的关系。
-marketreflections-
♂
(1358 bytes)
()
11/19/2010 postreply
02:00:19
•
前面,我们已说过,对空间进行分类的一个重要方法就是构造它上面的拓扑不变量,也就是,对每一个空间我们赋予它一个量(一般是复数)。等
-marketreflections-
♂
(3118 bytes)
()
09/28/2010 postreply
08:17:35
•
多语言档案 相干态:能量在共振方式下加强,可能性为受激发射,仅方式,增加。 那是高度在共振方式下增加指数地的一个正面反馈圈,直到
-marketreflections-
♂
(9509 bytes)
()
11/19/2010 postreply
02:12:17
•
诺特荷。某些粒子的特性在场变形下保持不变,这样的守恒律称为拓扑的,其守恒荷为拓扑荷 标量波 量携带信息却不携带力
-marketreflections-
♂
(916 bytes)
()
09/28/2010 postreply
08:21:45
•
标量波 量携带信息却不携带力 阿哈罗诺夫-玻姆效应,在这里分别代表场的电和磁分量的“E”T “B”为零(意味着场不传输实际的力
-marketreflections-
♂
(1341 bytes)
()
09/28/2010 postreply
08:28:36
•
阿哈罗诺夫-玻姆效应 AB效应 在经典电动力学中,场的基本物理量是. 电场强度E和磁感应强度B,势A和ψ是为. 了方便而引入的,
-marketreflections-
♂
(297 bytes)
()
09/28/2010 postreply
08:35:40
•
在经典电动力学中,场的基本物理量是电场强度不是唯一确定的有无穷多的矢势不是直接观察意义的物理量函数非单调,因此需要路径几分
-marketreflections-
♂
(17975 bytes)
()
09/28/2010 postreply
09:34:12
•
[PPT] 电动力学:阿哈罗诺夫—玻姆效应 ..... 干涉条纹的移动是由于两束电子产生了附加的相位差, 这种现象称为阿哈罗诺夫
-marketreflections-
♂
(279 bytes)
()
09/28/2010 postreply
09:35:46
•
第二篇高速(高维,旋度,有旋场等)运动的规律
-marketreflections-
♂
(420 bytes)
()
09/28/2010 postreply
09:47:23
•
"场强为零势不为零"
-marketreflections-
♂
(3108 bytes)
()
09/28/2010 postreply
10:03:24
•
"场基本物理量电场强度E和磁感应强度B势A和ψ"
-marketreflections-
♂
(3439 bytes)
()
09/28/2010 postreply
10:09:30
•
矢量场旋度:环流不等于零 ,说 明在 区域 A S(△s 为L所包围的 区域 ) 有涡旋J . 流等于零 ,说明 内 在 区域
-marketreflections-
♂
(10639 bytes)
()
09/28/2010 postreply
10:23:55
•
"矢量场旋度" google: 任何矢量场可由它的散度和旋度惟一确定
-marketreflections-
♂
(265 bytes)
()
09/28/2010 postreply
10:30:26
•
磁矢势又称矢量磁位,是电磁学上的一个三维空间矢量的物理量。磁矢势的旋度是磁场
-marketreflections-
♂
(525 bytes)
()
09/28/2010 postreply
14:49:48
•
求散和求旋是作用在矢量场上的算符。 求梯度是作用在标量场上的算符,梯度场是无旋的矢量场
-marketreflections-
♂
(7267 bytes)
()
09/28/2010 postreply
15:19:54
•
現實物理問題都假定場勢除了奇點以外處處可微。工程問題中為了簡化會出現非奇點的連續不可微,甚至可能不連續,比方說信號,但這並不能構
-marketreflections-
♂
(156 bytes)
()
09/28/2010 postreply
15:21:09
•
电磁场的矢势和标势都是一种势函数,是描述场的除场强以外另外一种重要的场量;
-marketreflections-
♂
(1381 bytes)
()
09/28/2010 postreply
15:48:31
•
磁场是有旋场而不是势场(保守场),不存在类似于电势那样的标量函数。 ...
-marketreflections-
♂
(187 bytes)
()
09/28/2010 postreply
17:02:39
•
若在磁场为0时,电荷仍受磁矢势影响,说明磁矢势的重要性。这个实验在1985年实作,证实了磁矢势的重要性,这就是A-B效应
-marketreflections-
♂
(694 bytes)
()
09/28/2010 postreply
15:30:02
•
变化电磁场的矢势和标势
-marketreflections-
♂
(329 bytes)
()
09/28/2010 postreply
15:45:49
•
关于场的散度和旋度运算关系的建立,一般均在其定义关系的直接计算的基础之上,且这一计算通常在三维欧氏空间(尺。)的笛卡尔坐标系中完
-marketreflections-
♂
(545 bytes)
()
09/28/2010 postreply
10:36:43
•
通量和环流描述的
-marketreflections-
♂
(258 bytes)
()
09/28/2010 postreply
10:38:55
•
场的有关问题(如边值问题等)的解析求解一般需在与空间几何结构相匹配的正交曲线坐标系中完成,因而需要建立相应坐标系中的散度和旋度运
-marketreflections-
♂
(292 bytes)
()
09/28/2010 postreply
10:41:05
•
场散度和旋度义关计算通常在三维欧氏空间笛卡尔坐标系 散度矢 量场 在空 间 AV( A 是s包围 的空 间 )发散?汇聚?
-marketreflections-
♂
(10016 bytes)
()
09/28/2010 postreply
10:46:53
•
平 面矢量 场的旋 度 —一 V 旋 度 最早 是 通 过 研究 水 流∞ 涡旋 建立 起 来的概念 . 河水 流 动 时 ,
-marketreflections-
♂
(648 bytes)
()
09/28/2010 postreply
10:51:14
•
散度代表矢量场的通量源的分布特性 亥姆霍兹定理:矢量场可分解为一个有源无旋场和无源有旋场之和;
-marketreflections-
♂
(10970 bytes)
()
09/28/2010 postreply
11:08:19
•
流形,边界没有边界 没有边界的东西不见得是其它东西的边界,它还可能是洞!三维和四维空间的拓扑相对来说比较麻烦,大家都知道原因是活
-marketreflections-
♂
(13113 bytes)
()
09/28/2010 postreply
08:47:22
•
不变量是现代数学主旋律:代数里常用的是相似、正交等变换,拓扑里常用的是连续变换,微分几何里常用的是可微变换
-marketreflections-
♂
(6118 bytes)
()
09/28/2010 postreply
08:57:49
•
刘维方程
-marketreflections-
♂
(1306 bytes)
()
09/27/2010 postreply
15:46:38
•
物理好图: 对有相互作用的粒子,我们需要系综理论来研究 如果存在外场, 但外场不是时间的显函数, 哈密顿量将不显含时
-marketreflections-
♂
(12416 bytes)
()
09/27/2010 postreply
15:55:35
•
冯·诺依曼:物理好图: 哥德尔证明了不完全性定理。定理断言:在包含初等算术(或集合论)的无矛盾的形式系统中,系统的无矛盾性在系统
-marketreflections-
♂
(19109 bytes)
()
09/27/2010 postreply
18:28:05
•
假定系统处于变化的外场中,时间不是均匀的。即用不同的时刻作为计算时间的起点,所得到的运动方程不相同
-marketreflections-
♂
(9295 bytes)
()
09/27/2010 postreply
16:05:25
•
牛顿力学方程和哈密顿方程。这决定了现代物理学的基调是大都具有决定性
-marketreflections-
♂
(22309 bytes)
()
09/27/2010 postreply
16:07:47
•
利用力学系统的拉格朗日函数,构造了一个称为作用量的函数,并证明在相同的时间、相同的始末位置和相同的约束条件下,在所有可能的运动中
-marketreflections-
♂
(2342 bytes)
()
09/27/2010 postreply
07:43:21
•
诺特尔原理更深刻的内涵是,每一个守恒的物理量对应于一个不可观测量,而不可观测量的不可观测性表现在它的对称性。比如说,动量守恒和能
-marketreflections-
♂
(2965 bytes)
()
09/27/2010 postreply
07:47:19
•
物理好图 第十二章总结量子力学问题
-marketreflections-
♂
(351 bytes)
()
09/26/2010 postreply
10:29:39