系列文章:Srednicki QFT 共 97 篇
上一节已经把规范固定后的路径积分写成局域作用量的形式。
现在只需把各场的二次项求逆,再将相互作用中的场与外腿逐一对应,
就能得到费曼规则。与电动力学相比,新内容首先出现在规范场本身:
场强中的AA项使三个、四个规范场可以直接相互作用。
密度中的同类场都能同任一相应外腿收缩,求顶角时必须把这些分配全部计入。
这也是本节许多动量差、度规配对和结构系数的来源。
先讨论纯规范场,再依次加入鬼场、夸克和复标量。三胶子顶角的动量全部取为流出;将三个动量同时反号,就得到上一节的全入顶记法。
从场强平方到自由传播子
先将场强的两部分分开,记
F0μνeFμνe=∂μAνe−∂νAμe,=F0μνe+Gμνe.Gμνe=gfabeAμaAνb,(72.1)
Gνμe=−Gμνe,因为交换两个普通场以后,
fabe交换a,b就变号。因此场强平方的交叉项有两个相等的贡献:
LYM=−41F0eμνF0μνe−21F0eμνGμνe−41GeμνGμνe=−21∂μAeν∂μAνe+21∂μAeν∂νAμe−gfabcAμaAνb∂μAcν−4g2fabefcdeAμaAνbAcμAdν.(72.2)
具体地,F0G中的第二个导数项在交换μ,ν后,
由G的反对称性变成第一个,所以抵消了前面的1/2。
F02的两个平方项和两个交叉项也分别相等。
三次和四次相互作用的号因而与第69节的场强定义一致。
再加上上一节导出的
Lgf=−(∂⋅Ae)2/(2ξ)。
为求自由核,将所有二次项中的一个导数移到右方的场上。
若把总散度也保留,结果是
L2Bμ=21Aμe[gμν∂2−(1−ξ−1)∂μ∂ν]Aνe+∂μBμ,=−21Aνe∂μAeν+21Aνe∂νAeμ−2ξ1Aeμ∂νAνe.(72.3)
对Bμ求导即可将每个乘积还原为原来的两导数形式。
取使其边界积分消失的共同条件,便可将二次项写成一个场乘微分核再乘一个场;
三、四次项保持式(72.2)的形式。
对场作eikx展开,二次作用量为
S2Kμν(k)=21∫(2π)4d4kAμa(−k)Kμν(k)Aνa(k),=−k2gμν+(1−ξ−1)kμkν.(72.4)
在k2=0时,用第57节的投影
PLμν=kμkν/k2和PT=I−PL。
它们平方等于自身、乘积为零,因此
K=−k2PT−ξk2PL,K−1=−k2PT+ξPL.(72.5)
高斯积分的相关函数为iK−1,将其i倍定义为传播子Δ,
所以Δ=−K−1。颜色空间的核是单位矩阵,
求逆只留下δab,不会多出一个伴随表示的维数。
要将逆核用于动量积分,还须定义其光锥奇性,尤其要把纵向双极点定义为同侧费曼边界。
例如先取ξ>0、η>0,在混合指标核中令Kη=K+iηI,
则
−Kη−1(−Kη−1)μν=k2−iηPT+k2−iξηξPL,=k2−iηgμν+(k2−iη)(k2−iξη)(ξ−1)kμkν.(72.6)
从第一行到第二行,kμkν/k2的系数通分后,
分子为ξ(k2−iη)−(k2−iξη)=(ξ−1)k2;
正好约去投影里的k2。两个分母取同侧极限可以写成
∫01[s−iη(1−u+uξ)]2du=iη(ξ−1)1[s−iξη1−s−iη1]=(s−iη)(s−iξη)1 ⟶ (s−i0)21.(72.7)
第一行在ξ=1时按端点求值;ξ=1时被积函数与u无关,直接得到同一结果。
固定ξ>0时1−u+uξ始终为正,极限采用第57节已经说明的
标量边界值及其导数。
因此包含完整边界处方的传播子为
Δμνab(k)⟨TAμaAνb⟩0(k)=δab[k2−i0gμν+(ξ−1)(k2−i0)2kμkν],=i1Δμνab(k).(72.8)
ξ=1是费曼规范,只剩度规项;在已确定的边界值后取ξ→0
得到朗道规范。这里的η具有质量平方量纲,表示真空极点处方,
并非维数正规化中的参数。三次和四次项不含ξ,下面直接求它们的顶角。
三胶子顶角的六种分配
下图左边画出三胶子顶角。
每条腿带颜色、洛伦兹指标和动量,分别为(a,μ,p)、(b,ν,q)、
(c,ρ,r)。全部动量流出,局部波因子因而是e−ipx等,
时空积分给出(2π)4δ4(p+q+r)。
以下顶角因子省去这个共同的动量δ函数。
三次密度是−gfABCAαAAβB∂αACβ。
先把三条有标签外腿按a,b,c依次放到三个场的位置。
第三个场被微分,给−ir;乘上展开eiSint的i,这一项为
i(−gfabc)(−irμgνρ)=−gfabcrμgνρ.(72.9)
还有五种分配。将共同的gfabc提出,六项分别为
| 第一、第二、第三个场所接的外腿 | 剩余因子 |
|---|
| a,b,c | −rμgνρ |
| a,c,b | +qμgνρ |
| b,a,c | +rνgρμ |
| b,c,a | −pνgρμ |
| c,a,b | −qρgμν |
| c,b,a | +pρgμν |
每次置换同时带动颜色、洛伦兹指标和动量;奇置换使结构系数反号。
将含相同度规的两项合并,得到
iVμνρabc(p,q,r)Kμνρ(p,q,r)=gfabcKμνρ(p,q,r),=(q−r)μgνρ+(r−p)νgρμ+(p−q)ρgμν.(72.10)
密度中没有1/3!,六种收缩已经全数计入,不能再除以6。
同时交换任意两条完整外腿时,f和K各反号,
乘积保持不变,正是同类玻色场所需的置换对称性。
若改用上一节的全入顶动量p1,p2,p3,
取p=−p1,q=−p2,r=−p3,便有
iVin=−gfabcK(p1,p2,p3)。
这个共同号来自动量方向的改变。
还可作一个有用的解析检验。用p+q+r=0缩并第一条腿,
并把新出现的p换成−q−r,则
pμKμνρHνρ(k)=p⋅(q−r)gνρ+(r−p)νpρ+(p−q)ρpν=(r2−q2)gνρ+qνqρ−rνrρ=Hνρ(r)−Hνρ(q),:=k2gνρ−kνkρ.(72.11)
第二行的交叉张量qνrρ,rνqρ各自相消。
H正是未加规范固定项时的自由逆核的负值。
这样,一个外动量的缩并把三点结构化为两条邻接线的逆核之差,
可用来检查动量差的符号和位置。
四胶子顶角的二十四个收缩
四次密度中的每个场都可以接到四条有标签外腿中的任何一条。
先不合并相同项,完全微分得到
iV4Q(1,2,3,4)=−4ig2π∈S4∑Q(π(1),π(2),π(3),π(4)),:=fa1a2efa3a4egμ1μ3gμ2μ4.(72.12)
每一项表示外腿到四个场位置的一种分配,共有4!=24项。
四次密度中的1/4尚未被消去。现在观察Q在下列四种位置置换下的变化:
H={1, (12)(34), (13)(24), (14)(23)}.(72.13)
(12)(34)使两个结构系数分别变号,两个度规只交换位置;
(13)(24)交换两份结构系数,同时反转对称度规的两个指标。
这两种操作都使Q不变,第四种又是它们的复合。
四个操作恰把指定的外腿a送到四个不同位置,所以24种分配可分成六组,
每组四项相等,并且恰有一项把a放在第一位置。
这四项消去1/4,余下的是b,c,d的六种排列。
即使外腿的颜色数值偶然相同,这个按外腿身份进行的计数仍然成立。
将外腿依次标为(a,μ),(b,ν),(c,ρ),(d,σ),
提出共同的−ig2后,六项为
−ig2iV4=fabefcdegμρgνσ−fabefcdegμσgνρ+facefbdegμνgρσ+facefdbegμσgρν+fadefbcegμνgσρ−fadefbcegμρgσν.(72.14)
第二行用fbde=−fdbe,各行就能按共同颜色因子合并,得到
iVμνρσabcd=−ig2[fabefcde(gμρgνσ−gμσgνρ)+facefdbe(gμσgρν−gμνgρσ)+fadefbce(gμνgσρ−gμρgσν)].(72.15)
这里没有导数,因而无需指定动量字母。全置换求和的出发式还表明,
同时交换任意两条完整外腿都不改变结果。
上式已包含该顶点的全部场收缩,不再附加1/4!。
整幅图的对称因子仍按第9节的计数处理;
顶角中两个张量项的数值相等不会另添一个图对称因子。
三、四胶子顶角。
波线旁的箭头仅表示流出顶点的动量。左图三个外端的颜色、洛伦兹指标和动量
须同时置换;右图的因子不依赖动量,所以只标颜色和洛伦兹指标。
这些规则已经能用来计算gg→gg的树幅。固定四条外腿,有三个交换道和一个
四点接触图。直接展开其模方会产生大量中间项。
在费曼规范下,每条内部胶子传播子只含一个度规张量,
如果三点顶角保留表中的六项、四点顶角保留六项,那么
Namplitude=3×62+6=114,Nsquare=1142=12996.(72.16)
模方中的每一项都还要作极化和颜色缩并。许多项可以合并,
而且如果先把三点顶角写成三个动量差,幅的外观上就只剩3×32+6=33项。
所以这个大数反映的是展开的组织方式。第81节将计算完整树散射,
届时将结合色排序、Gervais–Neveu规范和旋量—螺旋度方法减少中间项。
本节继续准备圈计算还需要的规则。
鬼线的箭头与导数顶角
对规范场作圈展开时,上一节产生的鬼行列式也必须展开。
将第71节的颜色指标循环改名为下面的次序,并保持cˉ在c之前,得到
Lgh=−(∂μcˉb)(δbc∂μ−igAμa(TAa)bc)cc=−∂μcˉb∂μcb+gfabcAμa(∂μcˉb)cc.(72.17)
第二行用(TAa)bc=−ifabc;原密度中的+ig乘上−i给+g。
这只是上一节作用量的指标改名,没有交换两个奇场。
自由核及实际内线分别为
Δghbc(k)=k2−i0δbc,⟨cbcˉc⟩0(k)=i1Δghbc(k).(72.18)
传播核Δ与实际内线相差1/i。
在坐标核⟨c(x)cˉ(y)⟩中,箭头从y端指向x端;
因此接到顶点上的c腿箭头流入,cˉ腿箭头流出。
这条箭头区分两个独立奇变量的配对方向。
下图左边标出鬼顶角:
左侧c端的动量r流入,右侧cˉ端的q流出,
胶子若取入射动量k,则k+r−q=0。
局部cˉ波因子是e−iqx,其导数给−iqμ。
因此顶角为
iVμabc(q,r)=i(gfabc)(−iqμ)=gfabcqμ.(72.19)
从上一节全入顶的−gfabcℓμ出发,
代入ℓ=−q也得到同一结果。顶角只含q,
因为被微分的是cˉ,不是c。
每个封闭鬼圈还须乘上上一节已由行列式证明的−1。
反转整条鬼线会同时交换c,cˉ并改变被微分的端点,
所以不能把它当作无向线再除以2。
加入夸克和其它物质表示
若加入一个狄拉克夸克,规范场在它的色空间中作用。
沿Dμ=∂μ−igAμaTa,有
Lq=iΨˉiγμDμijΨj−mΨˉiΨi=iΨˉiγμ∂μΨi−mΨˉiΨi+gAμaΨˉiγμTijaΨj.(72.20)
相互作用的正号仍来自i(−i)=1。自由部分在色空间正比于单位阵。
对Ψ作eipx展开,二次作用量写成
−Ψˉ(p+m)Ψ。所采用的克利福德关系为
{γμ,γν}=−2gμν,所以
(p)2(p+m)(−p+m)Sij(p)=21pμpν{γμ,γν}=−p2I,=(p2+m2)I,=p2+m2−i0(−p+m)δij.(72.21)
这与自由狄拉克传播子相同,
实际有向内线为S/i。颜色单位阵只把线两端的颜色相接;
闭夸克圈时才对经过的整串色矩阵取迹。
相互作用中只有一个Ψˉ、一个Ψ和一个A,
三者各有固定作用,直接乘上指数展开的i即可得到顶角:
iVijμa=igγμTija.(72.22)
下图右边的箭头从左侧j流向右侧i,
所以生成元是行i、列j。沿一条线先经过颜色a1的顶点,
再经过a2,颜色乘积为
(Ta2)iℓ(Ta1)ℓj=(Ta2Ta1)ij。
这两个色矩阵一般不能交换。γμ则作用于旋量空间,
与色矩阵作用于不同的因子,可以彼此交换。
有向鬼线和夸克线的顶角。
左图点线区分c,cˉ的配对,r入顶、q出顶;
右图实线的方向规定生成元的行i与列j。下方波线均为颜色a、
洛伦兹指标μ的规范场。
如果物质属于其它表示R,保持同一规范群的结构系数和耦合,
把每个Ta换成TRa即可。自由传播核的单位阵也换成该表示空间的单位阵。
各表示的迹指标保留其自身取值。
在四维中,三胶子和鬼顶角各含一个动量,四胶子顶角没有动量,
夸克—胶子顶角也没有额外导数;它们分别与各密度的质量维数4相符。
再加入复标量,就得到另一组在后面的圈计算中会用到的物质顶角。
复标量的规范顶角
取表示R中的复标量场,其规范化的最小动能和共同质量项为
LφDμ=−(Dμφ)†Dμφ−m2φ†φ,=∂μ−igAμaTRa,(TRa)†=TRa,[TRa,TRb]=ifabcTRc.(72.23)
在m2≥0的零场真空附近展开。若再指定一个规范不变势,其纯标量顶角应由那个势另行展开。这里φ的各分量是复玻色场,即使R碰巧是实表示,也不对φ施加实条件。四维下[φ]=[Aμ]=1、[g]=0,度规仍为(−,+,+,+)。
先展开协变导数。由于生成元厄米,取共轭时既要改变i的符号,也要倒转矩阵作用的方向:
(Dμφ)†=∂μφ†+igAμaφ†TRa.(72.24)
两因子相乘,再乘上动能前的负号,就得到
LφL0L3L4=L0+L3+L4,=−∂μφ†∂μφ−m2φ†φ,=igAaμ[(∂μφ†)TRaφ−φ†TRa∂μφ],=−g2AaμAμbφ†TRaTRbφ.(72.25)
一次A的两项互为厄米共轭;二次A的项取共轭后把a,b重新命名,也回到同一相互作用项。四次项中的TRaTRb按这一顺序作用于标量的内部指标。
一个胶子的顶角
从全入动量约定出发最容易确定导数的符号。对每个场都使用
χ(x)=∫(2π)4d4keikxχ(k),∂μχ(x)⟷ikμχ(k).(72.26)
在三价顶角上,φj、φi†和Aaμ的入动量分别记为p,r,k。其中φ†(r)=φ(−r)†;给共轭场也取eirx,并不改变共轭关系。时空积分给出动量守恒,而两处导数分别给出irμ和ipμ:
∫d4xei(p+r+k)xig(irμ−ipμ)(TRa)ij=(2π)4δ4(p+r+k),=g(p−r)μ(TRa)ij.(72.27)
第二行是作用量中的系数。微扰展开来自eiSint,所以顶角还要乘一个i。去掉每个顶角共同的动量守恒δ函数后,规则为
iVμ,ija(p,r)=ig(p−r)μ(TRa)ij,p+r+k=0.(72.28)
此处洛伦兹指标取下标,所连接的规范场为Aaμ。这样与第61节标量电动力学的顶角指标一致。
也可以沿标量线的箭头标动量。把进入顶角的箭头动量记作p、色指标记作j,离开顶角的箭头动量记作q、色指标记作i。于是共轭场的全入动量为r=−q,胶子带入动量k=q−p,顶角变成
iVμ,ija(p→q)=ig(p+q)μ(TRa)ij,p+k=q.(72.29)
矩阵的列j对应入箭头,行i对应出箭头,与夸克顶角的有向色线次序相同。箭头延续自由收缩⟨Tφi(x)φj†(y)⟩从y到x的方向,其内线因子为−iδij/(p2+m2−i0)。粒子和反粒子的图都可用这条连续箭头规则;对于反粒子,箭头方向与正能物理动量方向相反。
用胶子动量缩并还能检查导数顶角。收缩胶子动量k=q−p,得到
kμiVμ,ija=ig[(q2+m2)−(p2+m2)](TRa)ij.(72.30)
质量项相消,留下两端自由逆核之差。它同时检查了p+q的相对号和全入动量到箭头动量的转换。
两个胶子的接触顶角
现在给两条胶子腿分别标上(a,μ,k)与(b,ν,l)。在L4中暂用c,d作求和指标,先看两次对规范场求导的结果:
∂Aaμ∂Abν∂2(AcρAρd)=gμν(δcaδdb+δcbδda).(72.31)
两项分别把外腿a,b接到拉格朗日量的第一、第二个规范场,以及接到第二、第一个规范场。因此它们给出的色矩阵分别为TRaTRb和TRbTRa。再取出φj与φi†的系数,并乘上展开作用量的i,得到
iVμν,ijab=−ig2gμν(TRaTRb+TRbTRa)ij=−ig2gμν{TRa,TRb}ij.(72.32)
这个顶角不含外动量。若仍用标量箭头入p、出q,动量守恒为p+k+l=q;若把共轭标量也改记为全入r,则为p+r+k+l=0。
两胶子的2!已经体现在这两种接法中,不能再乘一次。反过来,也可先用规范场分量的可交换性,把作用量写为
L4=−2g2AaμAμbφ†{TRa,TRb}φ.(72.33)
此时两次求导的2!消掉显式的1/2,仍得到同一规则。φ与φ†是两种不同的场插槽,并没有另一个标量2!。交换两条带标签的胶子腿(a,μ,k)↔(b,ν,l)时,顶角保持不变,正是所需的玻色对称性。
荷号与有序色矩阵
在阿贝尔极限中,把表示限制到一个电荷本征空间,令生成元为数t,并作转换gt=e。于是这里的协变导数和规范相位变成
Dμ=∂μ−ieAμ,φ⟼e−ieΓφ,Aμ⟼Aμ−∂μΓ.(72.34)
这正是第61节的约定,其中e<0。若选择g>0,相应的t=e/g就为负;不能把gt换成∣e∣而保留同一粒子荷号。三价和四价规则分别成为
iVμ=ie(p+q)μ,iVμν=−2ie2gμν.(72.35)
二式中的2来自{t,t}=2t2,而不是非阿贝尔色指标求和。若把反粒子也改画成沿其正能物理动量的线,它属于共轭表示,生成元为TRa=−(TRa)T;这等价于原箭头规则中的反向有号动量及转置的色指标,不应同时再加一个独立的电荷负号。
为检验非交换情形,取SU(2)基本表示,
T1=21(0110),T2=21(0i−i0),T3=21(100−1).(72.36)
直接相乘给出
T1T2T2T1=41(i00−i)=2iT3,=−2iT3,{T1,T2}=0,{T1,T1}=2112.(72.37)
因此颜色为1,2的两胶子在同一个标量接触顶角上的贡献为零,尽管每个有序乘积都不为零;两条颜色均为1时则有iVμν11=−ig2gμν12/2。这两种情形分别检查了两个有序项的相消以及同色腿的重数。
若两胶子接在标量线上两个不同的三价顶角,情形就不同了。沿箭头先遇到颜色a、再遇到颜色b,中间色指标求和给出
h∑(TRb)ih(TRa)hj=(TRbTRa)ij.(72.38)
颠倒两个顶角后色因子为TRaTRb,两者之差是−ifabcTRc。它们还分别带有各自的中间传播子和动量因子。接触顶角中的反对易子来自同一个局部相互作用上两条玻色腿的接法;沿一条有向色线连接不同顶角时,仍须按箭头次序相乘。由最小动能产生的标量相互作用至此只有一胶子的导数顶角和两胶子的接触顶角,因为每个协变导数至多含一次规范场。
下一节将用这些规范场与物质顶角计算非阿贝尔耦合的尺度变化。
← 第 71 节 · 章节地图 · 第 73 节 →