Srednicki §72 非阿贝尔规范理论的费曼规则

26 年 9 月 14 日 星期一
4633 字
24 分钟
系列文章:Srednicki QFT 共 97 篇

上一节已经把规范固定后的路径积分写成局域作用量的形式。 现在只需把各场的二次项求逆,再将相互作用中的场与外腿逐一对应, 就能得到费曼规则。与电动力学相比,新内容首先出现在规范场本身: 场强中的AAAA项使三个、四个规范场可以直接相互作用。 密度中的同类场都能同任一相应外腿收缩,求顶角时必须把这些分配全部计入。 这也是本节许多动量差、度规配对和结构系数的来源。

先讨论纯规范场,再依次加入鬼场、夸克和复标量。三胶子顶角的动量全部取为流出;将三个动量同时反号,就得到上一节的全入顶记法。

从场强平方到自由传播子

先将场强的两部分分开,记

F0μνe=μAνeνAμe,Gμνe=gfabeAμaAνb,Fμνe=F0μνe+Gμνe.(72.1)\begin{aligned} F_{0\,\mu\nu}^e&=\partial_\mu A_\nu^e-\partial_\nu A_\mu^e, &G_{\mu\nu}^e&=gf^{abe}A_\mu^aA_\nu^b,\\ F^e_{\mu\nu}&=F_{0\,\mu\nu}^e+G_{\mu\nu}^e . \end{aligned} \tag{72.1}

Gνμe=GμνeG_{\nu\mu}^e=-G_{\mu\nu}^e,因为交换两个普通场以后, fabef^{abe}交换a,ba,b就变号。因此场强平方的交叉项有两个相等的贡献:

LYM=14F0eμνF0μνe12F0eμνGμνe14GeμνGμνe=12μAeνμAνe+12μAeννAμegfabcAμaAνbμAcνg24fabefcdeAμaAνbAcμAdν.(72.2)\begin{aligned} \mathcal L_{\rm YM} &=-\frac14F_0^{e\mu\nu}F_{0\,\mu\nu}^e -\frac12F_0^{e\mu\nu}G_{\mu\nu}^e -\frac14G^{e\mu\nu}G_{\mu\nu}^e\\ &=-\frac12\partial^\mu A^{e\nu}\partial_\mu A_\nu^e +\frac12\partial^\mu A^{e\nu}\partial_\nu A_\mu^e\\ &\quad-gf^{abc}A_\mu^aA_\nu^b\partial^\mu A^{c\nu} -\frac{g^2}{4}f^{abe}f^{cde} A_\mu^aA_\nu^bA^{c\mu}A^{d\nu}. \end{aligned} \tag{72.2}

具体地,F0GF_0G中的第二个导数项在交换μ,ν\mu,\nu后, 由GG的反对称性变成第一个,所以抵消了前面的1/21/2F02F_0^2的两个平方项和两个交叉项也分别相等。 三次和四次相互作用的号因而与第69节的场强定义一致。

再加上上一节导出的 Lgf=(Ae)2/(2ξ)\mathcal L_{\rm gf}=-(\partial\cdot A^e)^2/(2\xi)。 为求自由核,将所有二次项中的一个导数移到右方的场上。 若把总散度也保留,结果是

L2=12Aμe[gμν2(1ξ1)μν]Aνe+μBμ,Bμ=12AνeμAeν+12AνeνAeμ12ξAeμνAνe.(72.3)\begin{aligned} \mathcal L_2 &=\frac12 A_\mu^e \left[g^{\mu\nu}\partial^2 -(1-\xi^{-1})\partial^\mu\partial^\nu\right]A_\nu^e +\partial_\mu B^\mu,\\ B^\mu &=-\frac12 A_\nu^e\partial^\mu A^{e\nu} +\frac12 A_\nu^e\partial^\nu A^{e\mu} -\frac1{2\xi}A^{e\mu}\partial^\nu A_\nu^e . \end{aligned} \tag{72.3}

BμB^\mu求导即可将每个乘积还原为原来的两导数形式。 取使其边界积分消失的共同条件,便可将二次项写成一个场乘微分核再乘一个场; 三、四次项保持式(72.2)的形式。

对场作eikxe^{ikx}展开,二次作用量为

S2=12d4k(2π)4Aμa(k)Kμν(k)Aνa(k),Kμν(k)=k2gμν+(1ξ1)kμkν.(72.4)\begin{aligned} S_2&=\frac12\int\frac{d^4k}{(2\pi)^4}\, A_\mu^a(-k)K^{\mu\nu}(k)A_\nu^a(k),\\ K^{\mu\nu}(k) &=-k^2g^{\mu\nu}+(1-\xi^{-1})k^\mu k^\nu . \end{aligned} \tag{72.4}

k20k^2\ne0时,用第57节的投影 PLμν=kμkν/k2P_L{}^\mu{}_\nu=k^\mu k_\nu/k^2PT=IPLP_T=I-P_L。 它们平方等于自身、乘积为零,因此

K=k2PTk2ξPL,K1=PT+ξPLk2.(72.5)K=-k^2P_T-\frac{k^2}{\xi}P_L, \qquad K^{-1}=-\frac{P_T+\xi P_L}{k^2}. \tag{72.5}

高斯积分的相关函数为iK1iK^{-1},将其ii倍定义为传播子Δ\Delta, 所以Δ~=K1\widetilde\Delta=-K^{-1}。颜色空间的核是单位矩阵, 求逆只留下δab\delta^{ab},不会多出一个伴随表示的维数。

要将逆核用于动量积分,还须定义其光锥奇性,尤其要把纵向双极点定义为同侧费曼边界。 例如先取ξ>0\xi>0η>0\eta>0,在混合指标核中令Kη=K+iηIK_\eta=K+i\eta I, 则

Kη1=PTk2iη+ξPLk2iξη,(Kη1)μν=gμνk2iη+(ξ1)kμkν(k2iη)(k2iξη).(72.6)\begin{aligned} -K_\eta^{-1} &=\frac{P_T}{k^2-i\eta} +\frac{\xi P_L}{k^2-i\xi\eta},\\ (-K_\eta^{-1})_{\mu\nu} &=\frac{g_{\mu\nu}}{k^2-i\eta} +\frac{(\xi-1)k_\mu k_\nu} {(k^2-i\eta)(k^2-i\xi\eta)} . \end{aligned} \tag{72.6}

从第一行到第二行,kμkν/k2k_\mu k_\nu/k^2的系数通分后, 分子为ξ(k2iη)(k2iξη)=(ξ1)k2\xi(k^2-i\eta)-(k^2-i\xi\eta)=(\xi-1)k^2; 正好约去投影里的k2k^2。两个分母取同侧极限可以写成

01du[siη(1u+uξ)]2=1iη(ξ1)[1siξη1siη]=1(siη)(siξη)  1(si0)2.(72.7)\begin{aligned} \int_0^1\frac{du}{[s-i\eta(1-u+u\xi)]^2} &=\frac1{i\eta(\xi-1)} \left[\frac1{s-i\xi\eta}-\frac1{s-i\eta}\right]\\ &=\frac1{(s-i\eta)(s-i\xi\eta)} \ \longrightarrow\ \frac1{(s-i0)^2}. \end{aligned} \tag{72.7}

第一行在ξ1\xi\ne1时按端点求值;ξ=1\xi=1时被积函数与uu无关,直接得到同一结果。 固定ξ>0\xi>01u+uξ1-u+u\xi始终为正,极限采用第57节已经说明的 标量边界值及其导数。 因此包含完整边界处方的传播子为

Δ~μνab(k)=δab[gμνk2i0+(ξ1)kμkν(k2i0)2],TAμaAνb0(k)=1iΔ~μνab(k).(72.8)\begin{aligned} \widetilde\Delta^{ab}_{\mu\nu}(k) &=\delta^{ab}\left[ \frac{g_{\mu\nu}}{k^2-i0} +(\xi-1)\frac{k_\mu k_\nu}{(k^2-i0)^2}\right],\\ \langle T A_\mu^a A_\nu^b\rangle_0(k) &=\frac1i\,\widetilde\Delta^{ab}_{\mu\nu}(k). \end{aligned} \tag{72.8}

ξ=1\xi=1是费曼规范,只剩度规项;在已确定的边界值后取ξ0\xi\to0 得到朗道规范。这里的η\eta具有质量平方量纲,表示真空极点处方, 并非维数正规化中的参数。三次和四次项不含ξ\xi,下面直接求它们的顶角。

三胶子顶角的六种分配

下图左边画出三胶子顶角。 每条腿带颜色、洛伦兹指标和动量,分别为(a,μ,p)(a,\mu,p)(b,ν,q)(b,\nu,q)(c,ρ,r)(c,\rho,r)。全部动量流出,局部波因子因而是eipxe^{-ipx}等, 时空积分给出(2π)4δ4(p+q+r)(2\pi)^4\delta^4(p+q+r)。 以下顶角因子省去这个共同的动量δ函数。

三次密度是gfABCAαAAβBαACβ-gf^{ABC}A_\alpha^AA_\beta^B\partial^\alpha A^{C\beta}。 先把三条有标签外腿按a,b,ca,b,c依次放到三个场的位置。 第三个场被微分,给ir-ir;乘上展开eiSinte^{iS_{\rm int}}ii,这一项为

i(gfabc)(irμgνρ)=gfabcrμgνρ.(72.9)i(-gf^{abc})(-ir_\mu g_{\nu\rho}) =-gf^{abc}r_\mu g_{\nu\rho}. \tag{72.9}

还有五种分配。将共同的gfabcgf^{abc}提出,六项分别为

第一、第二、第三个场所接的外腿剩余因子
a,b,ca,b,crμgνρ-r_\mu g_{\nu\rho}
a,c,ba,c,b+qμgνρ+q_\mu g_{\nu\rho}
b,a,cb,a,c+rνgρμ+r_\nu g_{\rho\mu}
b,c,ab,c,apνgρμ-p_\nu g_{\rho\mu}
c,a,bc,a,bqρgμν-q_\rho g_{\mu\nu}
c,b,ac,b,a+pρgμν+p_\rho g_{\mu\nu}

每次置换同时带动颜色、洛伦兹指标和动量;奇置换使结构系数反号。 将含相同度规的两项合并,得到

iVμνρabc(p,q,r)=gfabcKμνρ(p,q,r),Kμνρ(p,q,r)=(qr)μgνρ+(rp)νgρμ+(pq)ρgμν.(72.10)\begin{aligned} iV_{\mu\nu\rho}^{abc}(p,q,r) &=gf^{abc}\mathcal K_{\mu\nu\rho}(p,q,r),\\ \mathcal K_{\mu\nu\rho}(p,q,r) &=(q-r)_\mu g_{\nu\rho} +(r-p)_\nu g_{\rho\mu} +(p-q)_\rho g_{\mu\nu}. \end{aligned} \tag{72.10}

密度中没有1/3!1/3!,六种收缩已经全数计入,不能再除以6。 同时交换任意两条完整外腿时,ffK\mathcal K各反号, 乘积保持不变,正是同类玻色场所需的置换对称性。 若改用上一节的全入顶动量p1,p2,p3p_1,p_2,p_3, 取p=p1,q=p2,r=p3p=-p_1,q=-p_2,r=-p_3,便有 iVin=gfabcK(p1,p2,p3)iV_{\rm in}=-gf^{abc}\mathcal K(p_1,p_2,p_3)。 这个共同号来自动量方向的改变。

还可作一个有用的解析检验。用p+q+r=0p+q+r=0缩并第一条腿, 并把新出现的pp换成qr-q-r,则

pμKμνρ=p(qr)gνρ+(rp)νpρ+(pq)ρpν=(r2q2)gνρ+qνqρrνrρ=Hνρ(r)Hνρ(q),Hνρ(k):=k2gνρkνkρ.(72.11)\begin{aligned} p^\mu\mathcal K_{\mu\nu\rho} &=p\cdot(q-r)\,g_{\nu\rho} +(r-p)_\nu p_\rho+(p-q)_\rho p_\nu\\ &=(r^2-q^2)g_{\nu\rho}+q_\nu q_\rho-r_\nu r_\rho\\ &=H_{\nu\rho}(r)-H_{\nu\rho}(q),\\ H_{\nu\rho}(k)&:=k^2g_{\nu\rho}-k_\nu k_\rho. \end{aligned} \tag{72.11}

第二行的交叉张量qνrρ,rνqρq_\nu r_\rho,r_\nu q_\rho各自相消。 HH正是未加规范固定项时的自由逆核的负值。 这样,一个外动量的缩并把三点结构化为两条邻接线的逆核之差, 可用来检查动量差的符号和位置。

四胶子顶角的二十四个收缩

四次密度中的每个场都可以接到四条有标签外腿中的任何一条。 先不合并相同项,完全微分得到

iV4=ig24πS4Q(π(1),π(2),π(3),π(4)),Q(1,2,3,4):=fa1a2efa3a4egμ1μ3gμ2μ4.(72.12)\begin{aligned} iV_4 &=-\frac{ig^2}{4}\sum_{\pi\in S_4} Q\bigl(\pi(1),\pi(2),\pi(3),\pi(4)\bigr),\\ Q(1,2,3,4) &:=f^{a_1a_2e}f^{a_3a_4e} g_{\mu_1\mu_3}g_{\mu_2\mu_4}. \end{aligned} \tag{72.12}

每一项表示外腿到四个场位置的一种分配,共有4!=244!=24项。 四次密度中的1/41/4尚未被消去。现在观察QQ在下列四种位置置换下的变化:

H={1, (12)(34), (13)(24), (14)(23)}.(72.13)H=\{1,\ (12)(34),\ (13)(24),\ (14)(23)\}. \tag{72.13}

(12)(34)(12)(34)使两个结构系数分别变号,两个度规只交换位置; (13)(24)(13)(24)交换两份结构系数,同时反转对称度规的两个指标。 这两种操作都使QQ不变,第四种又是它们的复合。 四个操作恰把指定的外腿aa送到四个不同位置,所以24种分配可分成六组, 每组四项相等,并且恰有一项把aa放在第一位置。 这四项消去1/41/4,余下的是b,c,db,c,d的六种排列。 即使外腿的颜色数值偶然相同,这个按外腿身份进行的计数仍然成立。

将外腿依次标为(a,μ),(b,ν),(c,ρ),(d,σ)(a,\mu),(b,\nu),(c,\rho),(d,\sigma), 提出共同的ig2-ig^2后,六项为

iV4ig2=fabefcdegμρgνσfabefcdegμσgνρ+facefbdegμνgρσ+facefdbegμσgρν+fadefbcegμνgσρfadefbcegμρgσν.(72.14)\begin{aligned} \frac{iV_4}{-ig^2} ={}&f^{abe}f^{cde}g_{\mu\rho}g_{\nu\sigma} -f^{abe}f^{cde}g_{\mu\sigma}g_{\nu\rho}\\ &+f^{ace}f^{bde}g_{\mu\nu}g_{\rho\sigma} +f^{ace}f^{dbe}g_{\mu\sigma}g_{\rho\nu}\\ &+f^{ade}f^{bce}g_{\mu\nu}g_{\sigma\rho} -f^{ade}f^{bce}g_{\mu\rho}g_{\sigma\nu}. \end{aligned} \tag{72.14}

第二行用fbde=fdbef^{bde}=-f^{dbe},各行就能按共同颜色因子合并,得到

iVμνρσabcd=ig2[fabefcde(gμρgνσgμσgνρ)+facefdbe(gμσgρνgμνgρσ)+fadefbce(gμνgσρgμρgσν)].(72.15)\begin{aligned} iV_{\mu\nu\rho\sigma}^{abcd} =-ig^2\Big[& f^{abe}f^{cde}(g_{\mu\rho}g_{\nu\sigma}-g_{\mu\sigma}g_{\nu\rho})\\ &+f^{ace}f^{dbe}(g_{\mu\sigma}g_{\rho\nu}-g_{\mu\nu}g_{\rho\sigma})\\ &+f^{ade}f^{bce}(g_{\mu\nu}g_{\sigma\rho}-g_{\mu\rho}g_{\sigma\nu}) \Big]. \end{aligned} \tag{72.15}

这里没有导数,因而无需指定动量字母。全置换求和的出发式还表明, 同时交换任意两条完整外腿都不改变结果。 上式已包含该顶点的全部场收缩,不再附加1/4!1/4!。 整幅图的对称因子仍按第9节的计数处理; 顶角中两个张量项的数值相等不会另添一个图对称因子。

三胶子与四胶子顶角的颜色、洛伦兹指标及流出动量

三、四胶子顶角。 波线旁的箭头仅表示流出顶点的动量。左图三个外端的颜色、洛伦兹指标和动量 须同时置换;右图的因子不依赖动量,所以只标颜色和洛伦兹指标。

这些规则已经能用来计算gggggg\to gg的树幅。固定四条外腿,有三个交换道和一个 四点接触图。直接展开其模方会产生大量中间项。 在费曼规范下,每条内部胶子传播子只含一个度规张量, 如果三点顶角保留表中的六项、四点顶角保留六项,那么

Namplitude=3×62+6=114,Nsquare=1142=12996.(72.16)N_{\rm amplitude}=3\times6^2+6=114, \qquad N_{\rm square}=114^2=12996. \tag{72.16}

模方中的每一项都还要作极化和颜色缩并。许多项可以合并, 而且如果先把三点顶角写成三个动量差,幅的外观上就只剩3×32+6=333\times3^2+6=33项。 所以这个大数反映的是展开的组织方式。第81节将计算完整树散射, 届时将结合色排序、Gervais–Neveu规范和旋量—螺旋度方法减少中间项。 本节继续准备圈计算还需要的规则。

鬼线的箭头与导数顶角

对规范场作圈展开时,上一节产生的鬼行列式也必须展开。 将第71节的颜色指标循环改名为下面的次序,并保持cˉ\bar ccc之前,得到

Lgh=(μcˉb)(δbcμigAμa(TAa)bc)cc=μcˉbμcb+gfabcAμa(μcˉb)cc.(72.17)\begin{aligned} \mathcal L_{\rm gh} &=-(\partial^\mu\bar c^b) \left(\delta^{bc}\partial_\mu-igA_\mu^a(T_A^a)^{bc}\right)c^c\\ &=-\partial^\mu\bar c^b\partial_\mu c^b +gf^{abc}A_\mu^a(\partial^\mu\bar c^b)c^c . \end{aligned} \tag{72.17}

第二行用(TAa)bc=ifabc(T_A^a)^{bc}=-if^{abc};原密度中的+ig+ig乘上i-i+g+g。 这只是上一节作用量的指标改名,没有交换两个奇场。 自由核及实际内线分别为

Δ~ghbc(k)=δbck2i0,cbcˉc0(k)=1iΔ~ghbc(k).(72.18)\widetilde\Delta_{\rm gh}^{bc}(k) =\frac{\delta^{bc}}{k^2-i0}, \qquad \langle c^b\bar c^c\rangle_0(k) =\frac1i\,\widetilde\Delta_{\rm gh}^{bc}(k). \tag{72.18}

传播核Δ~\widetilde\Delta与实际内线相差1/i1/i。 在坐标核c(x)cˉ(y)\langle c(x)\bar c(y)\rangle中,箭头从yy端指向xx端; 因此接到顶点上的cc腿箭头流入,cˉ\bar c腿箭头流出。 这条箭头区分两个独立奇变量的配对方向。

下图左边标出鬼顶角: 左侧cc端的动量rr流入,右侧cˉ\bar c端的qq流出, 胶子若取入射动量kk,则k+rq=0k+r-q=0。 局部cˉ\bar c波因子是eiqxe^{-iqx},其导数给iqμ-iq_\mu。 因此顶角为

iVμabc(q,r)=i(gfabc)(iqμ)=gfabcqμ.(72.19)iV_\mu^{abc}(q,r) =i(gf^{abc})(-iq_\mu) =gf^{abc}q_\mu . \tag{72.19}

从上一节全入顶的gfabcμ-gf^{abc}\ell_\mu出发, 代入=q\ell=-q也得到同一结果。顶角只含qq, 因为被微分的是cˉ\bar c,不是cc。 每个封闭鬼圈还须乘上上一节已由行列式证明的1-1。 反转整条鬼线会同时交换c,cˉc,\bar c并改变被微分的端点, 所以不能把它当作无向线再除以2。

加入夸克和其它物质表示

若加入一个狄拉克夸克,规范场在它的色空间中作用。 沿Dμ=μigAμaTaD_\mu=\partial_\mu-igA_\mu^aT^a,有

Lq=iΨˉiγμDμijΨjmΨˉiΨi=iΨˉiγμμΨimΨˉiΨi+gAμaΨˉiγμTijaΨj.(72.20)\begin{aligned} \mathcal L_q &=i\bar\Psi_i\gamma^\mu D_{\mu\,ij}\Psi_j-m\bar\Psi_i\Psi_i\\ &=i\bar\Psi_i\gamma^\mu\partial_\mu\Psi_i-m\bar\Psi_i\Psi_i +gA_\mu^a\bar\Psi_i\gamma^\mu T^a_{ij}\Psi_j . \end{aligned} \tag{72.20}

相互作用的正号仍来自i(i)=1i(-i)=1。自由部分在色空间正比于单位阵。 对Ψ\Psieipxe^{ipx}展开,二次作用量写成 Ψˉ(+m)Ψ-\bar\Psi(\not p+m)\Psi。所采用的克利福德关系为 {γμ,γν}=2gμν\{\gamma^\mu,\gamma^\nu\}=-2g^{\mu\nu},所以

()2=12pμpν{γμ,γν}=p2I,(+m)(+m)=(p2+m2)I,S~ij(p)=(+m)δijp2+m2i0.(72.21)\begin{aligned} (\not p)^2 &=\frac12p_\mu p_\nu\{\gamma^\mu,\gamma^\nu\} =-p^2I,\\ (\not p+m)(-\not p+m) &=(p^2+m^2)I,\\ \widetilde S_{ij}(p) &=\frac{(-\not p+m)\delta_{ij}}{p^2+m^2-i0}. \end{aligned} \tag{72.21}

这与自由狄拉克传播子相同, 实际有向内线为S~/i\widetilde S/i。颜色单位阵只把线两端的颜色相接; 闭夸克圈时才对经过的整串色矩阵取迹。

相互作用中只有一个Ψˉ\bar\Psi、一个Ψ\Psi和一个AA, 三者各有固定作用,直接乘上指数展开的ii即可得到顶角:

iVijμa=igγμTija.(72.22)iV_{ij}^{\mu a}=ig\gamma^\mu T^a_{ij}. \tag{72.22}

下图右边的箭头从左侧jj流向右侧ii, 所以生成元是行ii、列jj。沿一条线先经过颜色a1a_1的顶点, 再经过a2a_2,颜色乘积为 (Ta2)i(Ta1)j=(Ta2Ta1)ij(T^{a_2})_{i\ell}(T^{a_1})_{\ell j}=(T^{a_2}T^{a_1})_{ij}。 这两个色矩阵一般不能交换。γμ\gamma^\mu则作用于旋量空间, 与色矩阵作用于不同的因子,可以彼此交换。

鬼线和夸克线的有向顶角:反鬼动量q流出、色矩阵行i列j

有向鬼线和夸克线的顶角。 左图点线区分c,cˉc,\bar c的配对,rr入顶、qq出顶; 右图实线的方向规定生成元的行ii与列jj。下方波线均为颜色aa、 洛伦兹指标μ\mu的规范场。

如果物质属于其它表示RR,保持同一规范群的结构系数和耦合, 把每个TaT^a换成TRaT_R^a即可。自由传播核的单位阵也换成该表示空间的单位阵。 各表示的迹指标保留其自身取值。 在四维中,三胶子和鬼顶角各含一个动量,四胶子顶角没有动量, 夸克—胶子顶角也没有额外导数;它们分别与各密度的质量维数4相符。 再加入复标量,就得到另一组在后面的圈计算中会用到的物质顶角。

复标量的规范顶角

取表示RR中的复标量场,其规范化的最小动能和共同质量项为

Lφ=(Dμφ)Dμφm2φφ,Dμ=μigAμaTRa,(TRa)=TRa,[TRa,TRb]=ifabcTRc.(72.23)\begin{aligned} \mathcal L_\varphi &=-(D_\mu\varphi)^\dagger D^\mu\varphi -m^2\varphi^\dagger\varphi,\\ D_\mu&=\partial_\mu-igA_\mu^aT_R^a,\qquad (T_R^a)^\dagger=T_R^a,\qquad [T_R^a,T_R^b]=if^{abc}T_R^c . \end{aligned} \tag{72.23}

m20m^2\ge0的零场真空附近展开。若再指定一个规范不变势,其纯标量顶角应由那个势另行展开。这里φ\varphi的各分量是复玻色场,即使RR碰巧是实表示,也不对φ\varphi施加实条件。四维下[φ]=[Aμ]=1[\varphi]=[A_\mu]=1[g]=0[g]=0,度规仍为(,+,+,+)(-,+,+,+)

先展开协变导数。由于生成元厄米,取共轭时既要改变ii的符号,也要倒转矩阵作用的方向:

(Dμφ)=μφ+igAμaφTRa.(72.24)(D_\mu\varphi)^\dagger =\partial_\mu\varphi^\dagger +igA_\mu^a\varphi^\dagger T_R^a . \tag{72.24}

两因子相乘,再乘上动能前的负号,就得到

Lφ=L0+L3+L4,L0=μφμφm2φφ,L3=igAaμ[(μφ)TRaφφTRaμφ],L4=g2AaμAμbφTRaTRbφ.(72.25)\begin{aligned} \mathcal L_\varphi&=\mathcal L_0+\mathcal L_3+\mathcal L_4,\\ \mathcal L_0&=-\partial_\mu\varphi^\dagger \partial^\mu\varphi-m^2\varphi^\dagger\varphi,\\ \mathcal L_3&=igA^{a\mu} \left[(\partial_\mu\varphi^\dagger)T_R^a\varphi -\varphi^\dagger T_R^a\partial_\mu\varphi\right],\\ \mathcal L_4&=-g^2 A^{a\mu}A_\mu^b \varphi^\dagger T_R^aT_R^b\varphi . \end{aligned} \tag{72.25}

一次AA的两项互为厄米共轭;二次AA的项取共轭后把a,ba,b重新命名,也回到同一相互作用项。四次项中的TRaTRbT_R^aT_R^b按这一顺序作用于标量的内部指标。

一个胶子的顶角

从全入动量约定出发最容易确定导数的符号。对每个场都使用

χ(x)=d4k(2π)4eikxχ~(k),μχ(x)ikμχ~(k).(72.26)\chi(x)=\int\frac{d^4k}{(2\pi)^4}\, e^{ikx}\widetilde\chi(k),\qquad \partial_\mu\chi(x)\longleftrightarrow ik_\mu\widetilde\chi(k). \tag{72.26}

在三价顶角上,φj\varphi_jφi\varphi_i^\daggerAaμA^{a\mu}的入动量分别记为p,r,kp,r,k。其中φ~(r)=φ~(r)\widetilde{\varphi^\dagger}(r)=\widetilde\varphi(-r)^\dagger;给共轭场也取eirxe^{irx},并不改变共轭关系。时空积分给出动量守恒,而两处导数分别给出irμir_\muipμip_\mu

d4xei(p+r+k)x=(2π)4δ4(p+r+k),ig(irμipμ)(TRa)ij=g(pr)μ(TRa)ij.(72.27)\begin{aligned} \int d^4x\,e^{i(p+r+k)x} &=(2\pi)^4\delta^4(p+r+k),\\ ig\left(ir_\mu-ip_\mu\right)(T_R^a)_{ij} &=g(p-r)_\mu(T_R^a)_{ij}. \end{aligned} \tag{72.27}

第二行是作用量中的系数。微扰展开来自eiSinte^{iS_{\rm int}},所以顶角还要乘一个ii。去掉每个顶角共同的动量守恒δ\delta函数后,规则为

iVμ,ija(p,r)=ig(pr)μ(TRa)ij,p+r+k=0.(72.28)iV_{\mu,ij}^{\,a}(p,r) =ig(p-r)_\mu(T_R^a)_{ij}, \qquad p+r+k=0 . \tag{72.28}

此处洛伦兹指标取下标,所连接的规范场为AaμA^{a\mu}。这样与第61节标量电动力学的顶角指标一致。

也可以沿标量线的箭头标动量。把进入顶角的箭头动量记作pp、色指标记作jj,离开顶角的箭头动量记作qq、色指标记作ii。于是共轭场的全入动量为r=qr=-q,胶子带入动量k=qpk=q-p,顶角变成

iVμ,ija(pq)=ig(p+q)μ(TRa)ij,p+k=q.(72.29)iV_{\mu,ij}^{\,a}(p\to q) =ig(p+q)_\mu(T_R^a)_{ij}, \qquad p+k=q . \tag{72.29}

矩阵的列jj对应入箭头,行ii对应出箭头,与夸克顶角的有向色线次序相同。箭头延续自由收缩Tφi(x)φj(y)\langle{\rm T}\varphi_i(x)\varphi_j^\dagger(y)\rangleyyxx的方向,其内线因子为iδij/(p2+m2i0)-i\delta_{ij}/(p^2+m^2-i0)。粒子和反粒子的图都可用这条连续箭头规则;对于反粒子,箭头方向与正能物理动量方向相反。

用胶子动量缩并还能检查导数顶角。收缩胶子动量k=qpk=q-p,得到

kμiVμ,ija=ig[(q2+m2)(p2+m2)](TRa)ij.(72.30)k^\mu iV_{\mu,ij}^{\,a} =ig\left[(q^2+m^2)-(p^2+m^2)\right](T_R^a)_{ij}. \tag{72.30}

质量项相消,留下两端自由逆核之差。它同时检查了p+qp+q的相对号和全入动量到箭头动量的转换。

两个胶子的接触顶角

现在给两条胶子腿分别标上(a,μ,k)(a,\mu,k)(b,ν,l)(b,\nu,l)。在L4\mathcal L_4中暂用c,dc,d作求和指标,先看两次对规范场求导的结果:

2(AcρAρd)AaμAbν=gμν(δcaδdb+δcbδda).(72.31)\frac{\partial^2\bigl(A^{c\rho}A_\rho^d\bigr)} {\partial A^{a\mu}\,\partial A^{b\nu}} =g_{\mu\nu} \left(\delta^{ca}\delta^{db} +\delta^{cb}\delta^{da}\right). \tag{72.31}

两项分别把外腿a,ba,b接到拉格朗日量的第一、第二个规范场,以及接到第二、第一个规范场。因此它们给出的色矩阵分别为TRaTRbT_R^aT_R^bTRbTRaT_R^bT_R^a。再取出φj\varphi_jφi\varphi_i^\dagger的系数,并乘上展开作用量的ii,得到

iVμν,ijab=ig2gμν(TRaTRb+TRbTRa)ij=ig2gμν{TRa,TRb}ij.(72.32)\begin{aligned} iV_{\mu\nu,ij}^{\,ab} &=-ig^2g_{\mu\nu} \left(T_R^aT_R^b+T_R^bT_R^a\right)_{ij}\\ &=-ig^2g_{\mu\nu}\{T_R^a,T_R^b\}_{ij}. \end{aligned} \tag{72.32}

这个顶角不含外动量。若仍用标量箭头入pp、出qq,动量守恒为p+k+l=qp+k+l=q;若把共轭标量也改记为全入rr,则为p+r+k+l=0p+r+k+l=0

两胶子的2!2!已经体现在这两种接法中,不能再乘一次。反过来,也可先用规范场分量的可交换性,把作用量写为

L4=g22AaμAμbφ{TRa,TRb}φ.(72.33)\mathcal L_4 =-\frac{g^2}{2}A^{a\mu}A_\mu^b \varphi^\dagger\{T_R^a,T_R^b\}\varphi . \tag{72.33}

此时两次求导的2!2!消掉显式的1/21/2,仍得到同一规则。φ\varphiφ\varphi^\dagger是两种不同的场插槽,并没有另一个标量2!2!。交换两条带标签的胶子腿(a,μ,k)(b,ν,l)(a,\mu,k)\leftrightarrow(b,\nu,l)时,顶角保持不变,正是所需的玻色对称性。

荷号与有序色矩阵

在阿贝尔极限中,把表示限制到一个电荷本征空间,令生成元为数tt,并作转换gt=egt=e。于是这里的协变导数和规范相位变成

Dμ=μieAμ,φeieΓφ,AμAμμΓ.(72.34)D_\mu=\partial_\mu-ieA_\mu,\qquad \varphi\longmapsto e^{-ie\Gamma}\varphi,\qquad A_\mu\longmapsto A_\mu-\partial_\mu\Gamma . \tag{72.34}

这正是第61节的约定,其中e<0e<0。若选择g>0g>0,相应的t=e/gt=e/g就为负;不能把gtgt换成e|e|而保留同一粒子荷号。三价和四价规则分别成为

iVμ=ie(p+q)μ,iVμν=2ie2gμν.(72.35)iV_\mu=ie(p+q)_\mu,\qquad iV_{\mu\nu}=-2ie^2g_{\mu\nu}. \tag{72.35}

二式中的22来自{t,t}=2t2\{t,t\}=2t^2,而不是非阿贝尔色指标求和。若把反粒子也改画成沿其正能物理动量的线,它属于共轭表示,生成元为TRa=(TRa)TT_{\overline R}^a=-(T_R^a)^T;这等价于原箭头规则中的反向有号动量及转置的色指标,不应同时再加一个独立的电荷负号。

为检验非交换情形,取SU(2)SU(2)基本表示,

T1=12(0110),T2=12(0ii0),T3=12(1001).(72.36)T^1=\frac12\begin{pmatrix}0&1\\1&0\end{pmatrix}, \qquad T^2=\frac12\begin{pmatrix}0&-i\\i&0\end{pmatrix}, \qquad T^3=\frac12\begin{pmatrix}1&0\\0&-1\end{pmatrix}. \tag{72.36}

直接相乘给出

T1T2=14(i00i)=i2T3,T2T1=i2T3,{T1,T2}=0,{T1,T1}=1212.(72.37)\begin{aligned} T^1T^2&=\frac14\begin{pmatrix}i&0\\0&-i\end{pmatrix} =\frac{i}{2}T^3,\\ T^2T^1&=-\frac{i}{2}T^3,\qquad \{T^1,T^2\}=0,\qquad \{T^1,T^1\}=\frac12\mathbf1_2 . \end{aligned} \tag{72.37}

因此颜色为1,21,2的两胶子在同一个标量接触顶角上的贡献为零,尽管每个有序乘积都不为零;两条颜色均为11时则有iVμν11=ig2gμν12/2iV_{\mu\nu}^{11}=-ig^2g_{\mu\nu}\mathbf1_2/2。这两种情形分别检查了两个有序项的相消以及同色腿的重数。

若两胶子接在标量线上两个不同的三价顶角,情形就不同了。沿箭头先遇到颜色aa、再遇到颜色bb,中间色指标求和给出

h(TRb)ih(TRa)hj=(TRbTRa)ij.(72.38)\sum_h(T_R^b)_{ih}(T_R^a)_{hj} =(T_R^bT_R^a)_{ij}. \tag{72.38}

颠倒两个顶角后色因子为TRaTRbT_R^aT_R^b,两者之差是ifabcTRc-if^{abc}T_R^c。它们还分别带有各自的中间传播子和动量因子。接触顶角中的反对易子来自同一个局部相互作用上两条玻色腿的接法;沿一条有向色线连接不同顶角时,仍须按箭头次序相乘。由最小动能产生的标量相互作用至此只有一胶子的导数顶角和两胶子的接触顶角,因为每个协变导数至多含一次规范场。

下一节将用这些规范场与物质顶角计算非阿贝尔耦合的尺度变化。


← 第 71 节 · 章节地图 · 第 73 节 →

文章标题:Srednicki §72 非阿贝尔规范理论的费曼规则

文章作者:Whitney

文章链接:https://phymani.me/posts/srednicki-72[复制]

最后修改时间:


商业转载请联系站长获得授权,非商业转载请注明本文出处及文章链接,您可以自由地在任何媒体以任何形式复制和分发作品,也可以修改和创作,但是分发衍生作品时必须采用相同的许可协议。
本文采用CC BY-NC-SA 4.0进行许可。