场论笔记

本学期还上了一门场论课。实际上,我本来是想选量子力学(1)划水的,但是出于种种原因,还是选了场论。这东西我本来是不懂的,因此我料想可以学到许多东西。特别的,我预计一篇文档写不完这个笔记。我打算每三个或两个章节写一篇笔记。

2020-12-21补充:结课了。没有精力和余力维持笔记的质量。因此这会是唯一一篇这个课的笔记。

Intro

量子场论有许多种讲法。从我在逼乎上看到的东西可以推测,这玩意要求你有一个比较不错的量子力学基础,这可以让你更容易地通过一些你已经有些熟悉的例子去把玩新学到的数学。因此我想选一本合适的教材来减弱我的量子无知带来的负面影响。

人们说Peskin的书大概是以上面那种考虑为主而写出来的。在我的情形,我肯定不看这本书。逼乎上还说Zee和Weinberg的书不适合初学者。逼乎上还说Srednicki(我一直把他读成“斯列德尼茨基”,结果好像人们实际并不这样叫他)的书很好。我搞了一本pdf来,还没有看。同Peskin相比,他的书似乎对粒子物理背景之外的人比较好读一些。他开头的“you should recognize and understand"部分对我来说也相对友好些。还有一本QFT for gifted amateurs,可能对我这种低门槛学习者是最友好的,我还得靠这本书补习一些二次量子化之类的玩意。

但以上这些都不是最理想的。最理想的情形是我能够首先学习数学,然后通过这些数学去理解量子物理,而不是相反。好消息是,这门课的老师似乎也是这么想的。毕竟,这门课叫场论,没有“量子”。所以我最后决定,主要看他的讲义。实在有不明白的,再去看其他书。我读书太慢,没有精力看许多书。也许如果当我懂了数学之后,我可以去看srednicki,用他的模块化的办法去理解相关的物理领域,明白相互调用的关系,看看能不能形成一点粗浅的图景式的理解。

Chapter 1, 2

从一个例子(Dirac field),了解一下场论的动机,以及一些基本的概念。然后再通过我们比较熟悉的电磁场和Landau-Ginzburg理论的例子,了解一下场论的pipeline。

Dirac Field:自旋1/2粒子

现代QFT的最初动机非常简单:缝合量子力学和狭义相对论。薛定谔方程并不是洛伦兹协变的,这显然是有问题的嘛!在1920年代,有两拨人试图解决这个问题。

  • 第一拨人的想法是用(人们那时已经习惯的)把波函数语言翻译成粒子语言的办法,形式上从相对论色散关系E2=p2+m2c4E^2 = p^2 + m^2c^4写出

    [(it)2((hci)2+m2c4)]Ψ(x,t)=0\left[\left(i \hbar \frac{\partial}{\partial t}\right)^{2}-\left(\left(\frac{h c}{i} \nabla\right)^{2}+m^{2} c^{4}\right)\right] \Psi(\boldsymbol{x}, t)=0

    这叫Klein-Gordon方程,我以后叫他KG方程。这样的波函数在洛伦兹变换下是个标量,这是好的。

    然而,问题在于从怎么粒子的角度去理解它。人们知道(我不知道)这方程没法描述自旋。而且相对论色散关系并没禁止任意大小的负能量解,或者说,没有基态。这是不好的。早期的物理学家也没有理解这些负能量是怎么回事。

  • 第二拨人是狄拉克。为了避免负能量解的出现,狄拉克想要搞一个一次的微分方程,让它不和洛伦兹变换相冲突。他搞出来的东西是一个旋量场Ψa(x)(\Psi_{a}(x)(a=1,,4)a=1, \ldots, 4)的方程:

    iΨat(x)+cij=13αjabjΨb(x)+mc2βabΨb(x)=0i \hbar \frac{\partial \Psi_{a}}{\partial_{t}}(x)+\frac{\hbar c}{i} \sum_{j=1}^{3} \alpha_{j}^{a b} \partial_{j} \Psi_{b}(x)+m c^{2} \beta_{a b} \Psi_{b}(x)=0

    他还需要规定这些旋量分量怎样变换才能实现洛伦兹协变,以及(在形式上)与KG方程相容(但是没有负能量的那些态)。

    (实际上,就是把KG方程凑成完全平方的形式:

    22t2=(Ax+By+Cz+iDt)(Ax+By+Cz+iDt)\nabla^{2}-\frac{\partial^{2}}{\partial t^{2}}=\left(A \partial_{x}+B \partial_{y}+C \partial_{z}+i D \partial_{t}\right)\left(A \partial_{x}+B \partial_{y}+C \partial_{z}+i D \partial_{t}\right)

    然后他发现这里面的系数得是最低四维的矩阵。)


    我们暂且先看后者。总之,狄拉克发现,在旋量分量协变的情况下,为了凑出来KG方程,狄拉克方程里面的这些α,β\alpha, \beta(它们是一些4*4的矩阵)需要满足Clifford代数:

    {αi,αj}=2δijI,{αi,β}=0,αi2=β2=I\left\{\alpha_{i}, \alpha_{j}\right\}=2 \delta_{i j} I, \quad\left\{\alpha_{i}, \beta\right\}=0, \quad \alpha_{i}^{2}=\beta^{2}=I

    此代数的一种最简单的表示是狄拉克表示。

    αi=(0σiσi0)β=(I00I)\alpha^{i}=\left(\begin{array}{cc}0 & \sigma^{i} \\ \sigma^{i} & 0\end{array}\right) \quad \beta=\left(\begin{array}{cc}I & 0 \\ 0 & -I\end{array}\right)

    σ\sigma是泡利矩阵。我们在讲自旋1/2粒子的量子力学课上见过它们。

    狄拉克发现有更简单的办法来书写狄拉克方程。他定义γ0=βγi=βαi\gamma^{0}=\beta \quad \gamma^{i}=\beta \alpha^{i},然后得到狄拉克代数{γμ,γν}=2gμνI\left\{\gamma^{\mu}, \gamma^{\nu}\right\}=2 g^{\mu \nu} I。用这种办法,他可以写(iγμμmch)Ψ=0\left(i \gamma^{\mu} \partial_{\mu}-\frac{m c}{h}\right) \Psi=0。如果定义feynman’s slash aμγμ\not{a} \equiv a_{\mu} \gamma^{\mu},并使用自然单位制(h=c=1),那么狄拉克方程就可以写成

    (i∂̸m)Ψ=0\left(i \not \partial-m\right) \Psi=0

    可以证明,KG方程用这种记号可以写成(i∂̸+m)(i∂̸m)Ψ=0(i \not \partial+m)(i \not \partial-m) \Psi=0。这样,它们确是相容的。

    这一段中,除了记号外,代数结构和它们的表示也是非常重要的,因为我们将会看到,我们做一切物理上ab initio事情的主要动机就是对称性。我们从系统中观察到对称性和别的数学结构,我们用代数结构来刻画它们,用表示论来让它们可计算。然后我们把写下的描述塞到这门课教给我们的pipeline里面,通过繁杂的算术得到完整的“理论”。


    再插播一种记号。我们定义Ψˉ=Ψγ0\bar{\Psi}=\Psi^{\dagger} \gamma^{0},可以得到一个守恒流jμ=ΨˉγμΨj^{\mu}=\bar{\Psi} \gamma^{\mu} \Psi,守恒就是说μjμ=0\partial_{\mu} j^{\mu}=0。注意到,j0=Ψˉγ0ΨΨΨj^{0}=\bar{\Psi} \gamma^{0} \Psi \equiv \Psi^{\dagger} \Psi与概率密度具有一样的形式,但是它可正可负,它不是概率密度。以后我们会看到它实际上是(场携带的)的密度。


    现在再看洛伦兹协变的事情。如果做洛伦兹变换xμ=Λμνxνx_{\mu}^{\prime}=\Lambda_{\mu}^{\nu} x_{\nu},旋量空间的变换形式上可写成

    Ψα(x)=S(Λ)αβΨβ(x)\Psi_{\alpha}^{\prime}\left(x^{\prime}\right)=S(\Lambda)_{\alpha \beta} \Psi_{\beta}(x)

    为了保证方程的协变性,S应该满足

    S(Λ)γμS(Λ)1=(Λ1)νμγνS(\Lambda) \gamma^{\mu} S(\Lambda)^{-1}=\left(\Lambda^{-1}\right)_{\nu}^{\mu} \gamma^{\nu}

    从这个式子可以看出来:如果Λ\Lambda是个boost,那么S(Λ)S(\Lambda)是厄密的;如果是个旋转,那么S(Λ)S(\Lambda)是幺正的。事实上,S(Λ)S(\Lambda)正是洛伦兹群SO(3,1)S O(3,1)的表示。

    现在我们看看怎样表示无穷小洛伦兹变换的生成元。对于这样的洛伦兹变换,我们给一个无穷小的,反对称的扰动ωνμ\omega_{\nu}^{\mu},然后把S展开到一阶项(系数i/4是人为定的):

    S(Λ)=Ii4σμνωμν+S1(Λ)=I+i4σμνωμν+\begin{aligned} S(\Lambda) &=I-\frac{i}{4} \sigma_{\mu \nu} \omega^{\mu \nu}+\ldots \\ S^{-1}(\Lambda) &=I+\frac{i}{4} \sigma_{\mu \nu} \omega^{\mu \nu}+\ldots \end{aligned}

    带入S需要满足的条件,可以知道生成元σμν\sigma_{\mu \nu}的条件:σμν=i2[γμ,γν]\sigma_{\mu \nu}=\frac{i}{2}\left[\gamma_{\mu}, \gamma_{\nu}\right]。这玩意和泡利矩阵的关系是ϵljkσjk=2σl\epsilon_{ljk}\sigma_{jk}=2\sigma_l

    这个生成元描述了洛伦兹变换在变换后坐标系的影响。与之相比,我们实际上更熟悉的是洛伦兹变换在变换前坐标系的影响。例如,如果我们忽略boost,剩下的旋转部分的这种生成元就是角动量。让我们来看一看加上boost之后会发生什么。这时候S矩阵将被换成U矩阵,其满足

    Ψ(x)=U(Λ)Ψ(x)=S(Λ)Ψ(Λ1x)\Psi^{\prime}(x)=U(\Lambda) \Psi(x)=S(\Lambda) \Psi\left(\Lambda^{-1} x\right)

    用与上面相同的办法,得到U(Λ)=Ii2Jμνωμν+U(\Lambda)=I-\frac{i}{2} J_{\mu \nu} \omega^{\mu \nu}+\ldots,然后

    Jμν=12σμν+i(xμνxνμ)J_{\mu \nu}=\frac{1}{2} \sigma_{\mu \nu}+i\left(x_{\mu} \partial_{\nu}-x_{\nu} \partial_{\mu}\right)

    显然,第二项就是(轨道)角动量。第一项这个就是自旋。事实上,以前我也听说过一种说法,即如果自旋真是像经典图像里那样是电子在打转,那么电子表面的线速度将超过光速;但是我从来没有想过如何将电子的自旋作为相对论效应来理解。现在我似乎有一点理解了。


    我们已经知道了狄拉克方程是什么,也知道它能够解释电子自旋。现在,我们从场论的角度理解一下这回事。

    狄拉克方程是一个场Ψ\Psi的方程。一般在场论里面,人们都是从拉氏量得到运动方程/场方程的。在这里,我们则反过来。从场方程知道一个最简单的拉氏量可以是(但如果我们不知道狄拉克方程,我们怎么确定这个形式?我现在还不知道,希望以后会知道):

    L=Ψˉ(i∂̸m)Ψ12Ψˉi∂̸ΨmΨˉΨ\mathcal{L}=\bar{\Psi}(i \not \partial-m) \Psi \equiv \frac{1}{2} \bar{\Psi} i \stackrel{\leftrightarrow}{\not{\partial}} \Psi-m \bar{\Psi} \Psi

    其中

    Ψˉ∂̸ΨΨˉ(∂̸Ψ)(μΨˉ)γμΨ\bar{\Psi} \stackrel{\leftrightarrow}{\not \partial} \Psi \equiv \bar{\Psi}(\not \partial \Psi)-\left(\partial_{\mu} \bar{\Psi}\right) \gamma^{\mu} \Psi

    这样,从最小作用量原理得到运动方程

    δLδΨαμδLδμΨα=0\frac{\delta \mathcal{L}}{\delta \Psi_{\alpha}}-\partial_{\mu} \frac{\delta \mathcal{L}}{\delta \partial_{\mu} \Psi_{\alpha}}=0
    δLδΨˉαμδLδμΨˉα=0\frac{\delta \mathcal{L}}{\delta \bar{\Psi}_{\alpha}}-\partial_{\mu} \frac{\delta \mathcal{L}}{\delta \partial_{\mu} \bar{\Psi}_{\alpha}}=0

    也就是(i∂̸m)Ψ=0,(i \not \partial-m) \Psi=0, \quadΨˉ(i∂̸+m)=0\quad \bar{\Psi}(i \overleftarrow{\not\partial}+m)=0。我们进一步还可以写出广义动量

    Π(x)=δLδ0Ψ(x)=iΨˉ(x)γ0iΨ(x)\Pi(x)=\frac{\delta \mathcal{L}}{\delta \partial_{0} \Psi(x)}=i \bar{\Psi}(x) \gamma^{0} \equiv i \Psi^{\dagger}(x)

    并以此得到哈密顿量

    H=Π(x)0Ψ(x)L=iΨˉγ00ΨL=ΨˉiγΨ+mΨˉΨ=Ψ(iα+mβ)Ψ\begin{aligned} \mathcal{H} &=\Pi(x) \partial_{0} \Psi(x)-\mathcal{L}=i \bar{\Psi} \gamma^{0} \partial_{0} \Psi-\mathcal{L} \\ &=\bar{\Psi} i \gamma \cdot \nabla \Psi+m \bar{\Psi} \Psi \\ &=\Psi^{\dagger}(i \alpha \cdot \nabla+m \beta) \Psi \end{aligned}

    注意到,这个量不是正定的。因此,我们可能会担心这个系统的稳定性,事实上这种担心也确实是对的。以后我们会看到,为了让这个系统稳定,我们得加一个泡利不相容原理。在这里,粒子的场方程/自旋与粒子的统计(例如,泡利原理即意味着费米-狄拉克统计)之间有某种联系。这正是spin-statistics theorem的一个例子。

(幼儿园版)Ginzburg-Landau理论

这是一个很好的例子,它比狄拉克方程更加具有场论的特点而少了许多影响理解的细节。这个理论就是假设顺磁物质有一个良好定义的序参量,然后它是一个标量场。如果我们只从物理性质去理解序参量的场的自由能,我们会要求他是

  • 定域的(能用PDE表达的)
  • 对称的(做了傅里叶变换之后,只含有偶次项;不显含坐标x\mathbf{x}
  • 变化比较小的(这里比较tricky,总之,在所有四次项里,只留下M4M^4,而舍去(M)4(\nabla M)^4等项)。

我们把它写成

E(M)=dDx(12K(T)M(x)2+12a(T)M2(x)+14!b(T)M4(x)+)E(M)=\int d^{D} x\left(\frac{1}{2} K(T)|\nabla M(x)|^{2}+\frac{1}{2} a(T) M^{2}(x)+\frac{1}{4 !} b(T) M^{4}(x)+\ldots\right)

做代换Φ(x)=KM(x)\Phi(x)=\sqrt{K} M(x),将自由能写成F(Φ)=dDx{12(Φ)2+U(Φ)}F(\Phi)=\int d^{D} x\left\{\frac{1}{2}(\nabla \Phi)^{2}+U(\Phi)\right\}。为了求出系统的状态,使用我们在统计力学课上学过的鞍点近似,对自由能做变分让其为零,得到朗道金茨堡方程

0=2Φc(x)+mˉ2Φc(x)+λ3!Φc3(x)0=-\nabla^{2} \Phi_{c}(\boldsymbol{x})+\bar{m}^{2} \Phi_{c}(\boldsymbol{x})+\frac{\lambda}{3 !} \Phi_{c}^{3}(\boldsymbol{x})

最低能量下肯定2Φc(x)=0\nabla^{2} \Phi_{c}(\boldsymbol{x})=0。这时,方程剩下的那部分就是我们在统计力学课上学到的关于顺磁相变的知识了。

Wick转动

Wick转动是一个解析延拓的操作,它将量子场论和经典统计力学联系在一起。(注:此处“经典”指非相对论的。不存在“非量子”的统计力学。我很不喜欢人们管“量子”和“相对论性”的反义词都叫经典这回事。)它本身也是QFT里面一个很有用的技巧。

假设在一个D=d+1D=d+1维闵氏时空中有一个实值的标量场。它的作用量是

S=dDxL(Φ,μΨ)S=\int d^{D} x \mathcal{L}\left(\Phi, \partial_{\mu} \Psi\right)

其中dDxdx0ddxd^{D} x \equiv d x_{0} d^{d} x。现在把时间x0x_0延拓到复平面,定义虚时间x0ixDx_{0} \mapsto-i x_{D},这就是Wick转动。在这个变化下,

iSidx0ddxL(Φ,0Ψ,jΦ)dDxL(Φ,iDΦ,jΦ)i S \equiv i \int d x_{0} d^{d} x \mathcal{L}\left(\Phi, \partial_{0} \Psi, \partial_{j} \Phi\right) \mapsto \int d^{D} x \mathcal{L}\left(\Phi,-i \partial_{D} \Phi, \partial_{j} \Phi\right)

大多数情况下,闵氏时空的拉氏量形如L=12(μΦ)2V(Φ)12(0Φ)212(Φ)2V(Φ)\mathcal{L}=\frac{1}{2}\left(\partial_{\mu} \Phi\right)^{2}-V(\Phi) \equiv \frac{1}{2}\left(\partial_{0} \Phi\right)^{2}-\frac{1}{2}(\nabla \Phi)^{2}-V(\Phi),而这在做Wick转动之后会得到一个形如L(Φ,iDΨ,Φ)=12(DΦ)212(Φ)2V(Φ)\mathcal{L}\left(\Phi,-i \partial_{D} \Psi, \nabla \Phi\right)=-\frac{1}{2}\left(\partial_{D} \Phi\right)^{2}-\frac{1}{2}(\nabla \Phi)^{2}-V(\Phi)的玩意,这是我们熟悉的自由能。可以看到,闵氏度规下的最小作用量原理同经典度规下的自由能鞍点近似是一样的。这启发我们从经典统计物理的角度去理解场论。假如我们手上有一个场论的问题,我们可以写出它对应的统计物理问题的配分函数:Z=DΦeiS(Φ,μΦ)/h\mathcal{Z}=\int \mathcal{D} \Phi e^{i S\left(\Phi, \partial_{\mu} \Phi\right) / h}。这是个啥?这就是场的路径积分量子化。形式上,h0h \rightarrow 0的近似正对应统计物理的低温情形,这时系统的行为是没有涨落的,是确定的——也就是经典(非量子)物理的情形。

Chapt 3

进入一些细节性的讨论,用一些例子来展示

我们从系统中观察到对称性和别的数学结构,我们用代数结构来刻画它们,用表示论来让它们可计算。

到底是在干啥。

对称性有几种。首先可以分类为时空对称性和内部(internal)对称性。后者是没有经典对应的——它们的意义在QFT中才能体现出来。然后,还有global和local对称性的区分。下面会解释清楚这些都是啥。首先我们看看当年人们最开始把对称性放到这么重要位置的原因:

连续对称性与诺特定理

每一个连续全局对称性对应一个全局守恒量。

首先,我们注意到局部守恒流和运动常数之间的关系。对于守恒流jjμjμ(x)=0\partial_{\mu} j^{\mu}(x)=0,在闵氏时空下有0=Ωd4xμjμ(x)=ΩdSμjμ(x)0=\int_{\Omega} d^{4} x \partial_{\mu} j^{\mu}(x)=\oint_{\partial \Omega} d S_{\mu} j^{\mu}(x),如果令该流在无穷远处为0,那么取一个扁而无穷宽大的圆柱形面,在该面上得到0=V(T+ΔT)dS0j0(x,T+ΔT)V(T)dS0j0(x,T)0=\int_{V(T+\Delta T)} d S_{0} j^{0}(\boldsymbol{x}, T+\Delta T)-\int_{V(T)} d S_{0} j^{0}(\boldsymbol{x}, T),可知

Q(T)V(T)d3xj0(x,T)Q(T) \equiv \int_{V(T)} d^{3} x j^{0}(\boldsymbol{x}, T)

是运动常数。我们称之为诺特。现在我们将守恒量的事情转为了守恒流的事情,接下来我们分别对internal和时空对称性证明诺特定理。

内部(internal)对称性

我们到底为什么要这样区分内部与时空对称性,它们有什么不同?我看到的材料都没有好好解释这个问题,但我的一个粗浅的理解是,后者是时空坐标的对称性/不变性,它长什么样是由度规决定的。而前者是场本身的对称性/不变性,它是由场的形式决定的。想象一下,所有的场的函数形式构成一个流形。如果我沿着某一个方向做一个无穷小的扰动,而场方程的形式不变,那说明这个方向是特殊的。现在我们考虑这个流形上每一点都有这么一个方向,形成一个向量场,我们可以把这个向量场理解成附加的一种代数结构,它刻画了我们这个场的描述的冗余度。拿这个流形“除“掉这个向量场(我的数学很差,我也不知道数学家怎么形容这个事, 我曾经看过fiber bundle的资料,但转眼又飘散如烟),就得到“不冗余”的描述,而你除掉的这个结构就是这个internal对称性的代数结构。特别的,如果这个结构是显式跟时空坐标couple起来的,也就是说,是局域的,那么这种局域的、内部的对称性叫做规范对称性


现在比如说我们有一个场,他有一个全局的内部对称性,比如说实值标量场、U(1)U(1)对称性。

\begin{aligned} \phi(x) & \mapsto \phi^{\prime}(x)=e^{i \alpha} \phi(x) \\ \phi^{\*}(x) & \mapsto \phi^{\prime \*}(x)=e^{-i \alpha} \phi^{\*}(x) \end{aligned}

利用变换后最小作用量原理仍成立这一点,得到

\delta \mathcal{L}=\partial_{\mu}\left[i\left(\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi} \phi-\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi^{\*}} \phi^{\*}\right) \alpha\right]=0

那就自然有了一个守恒流

j^{\mu}=i\left(\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi} \phi-\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi^{\*}} \phi^{\*}\right)

对于全局内部对称性的一般情形,人们用N*N矩阵λk\lambda^{k}作为对应的李群的生成元的表示(复习:N是表示的维数,而k的最大值是群的秩,这俩没啥关系),场的对称性写作

ϕa(x)=(exp[iλkθk])abϕb(x)\phi_{a}^{\prime}(x)=\left(\exp \left[i \lambda^{k} \theta^{k}\right]\right)_{a b} \phi_{b}(x)

λk\lambda^{k}对应一个李代数[λj,λk]=ifjklλl\left[\lambda^{j}, \lambda^{k}\right]=i f^{j k l} \lambda^{l}。(已经归一化为trλaλb=12δab\operatorname{tr} \lambda^{a} \lambda^{b}=\frac{1}{2} \delta^{a b}),我们比较关心的系数ff称作李群的结构常数。比如说,对于角动量的SU(2)S U(2)对称性,有[Ji,Jj]=iϵijkJk\left[J_{i}, J_{j}\right]=i \epsilon_{i j k} J_{k}tr(JiJj)=12δij\operatorname{tr}\left(J_{i} J_{j}\right)=\frac{1}{2} \delta_{i j}

总之呢,对于这种一般情形,我们可以一样的写出守恒流。注意到生成元的数目等于守恒流的数目。如果是个实值场,那么

jμk(x)=δLδμϕa(x)λabkϕb(x)j_{\mu}^{k}(x)=\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi^{a}(x)} \lambda_{a b}^{k} \phi_{b}(x)

如果是个复值场,那么

j_{\mu}^{k}(x)=i\left(\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi^{a}(x)} \lambda_{a b}^{k} \phi_{b}(x)-\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi^{a}(x)^{\*}} \lambda_{a b}^{k} \phi_{b}(x)^{\*}\right)


稍微复杂些,对于规范对称性,分量θk\theta_k成为时空坐标的函数,即

ϕa(x)ϕa(x)=(exp[iλkθk(x)])abϕb(x)\phi_{a}(x) \rightarrow \phi_{a}^{\prime}(x)=\left(\exp \left[i \lambda^{k} \theta^{k}(x)\right]\right)_{a b} \phi_{b}(x)

问题来了,我们拉氏量无论如何也没法不变啊,因为拉氏量里面通常会有一阶导,而即使考虑最简单的规范对称性,也会发现

μϕ(x)μϕ(x)=μ[eiθ(x)ϕ(x)]=eiθ(x)[μϕ+iϕμθ]\partial_{\mu} \phi(x) \rightarrow \partial_{\mu} \phi^{\prime}(x)=\partial_{\mu}\left[e^{i \theta(x)} \phi(x)\right]=e^{i \theta(x)}\left[\partial_{\mu} \phi+i \phi \partial_{\mu} \theta\right]

这有一个相位差消不掉。为啥?因为我们在局部确定ϕ(x)\phi(x)的相位的时候总是要找一个局部坐标系,它在每个地方都不一样,我们有选择的自由度,但这个自由度是冗余的,因为系统的物理性质并不依赖于这些局部坐标系的选取。比如说,把一只猫从窗户扔出去,众所周知,猫会一顿操作然后稳稳四脚着地。如果猫真是终结者那样的“液体”,那它飞在天上的时候,可以缩骨改变自己的形状,也可以旋转自己的方向。描述猫的默认方向的局部坐标系选取不同,则测量者认为的“改变形状”和“旋转方向”的测量数值就不同。但猫的运动是确定的。一个更实际的例子见之前写的这篇


所以,为了描述局部坐标系的影响,我们得做些准备工作。

首先,可以用数学结构(一个向量场)把相邻的局部坐标系联系起来,这就是联络。比如,可以记作δϕ(x)=iAμ(x)dxμϕ(x)\delta \phi(x)=i A_{\mu}(x) d x^{\mu} \phi(x),A就是联络。考虑联络因素后,我们将导数改写成协变导数,Dμϕμϕ(x)ieAμ(x)ϕ(x)(μieAμ)ϕD_{\mu} \phi \equiv \partial_{\mu} \phi(x)-i e A_{\mu}(x) \phi(x) \equiv\left(\partial_{\mu}-i e A_{\mu}\right) \phi,其中e是所谓“耦合常数”。我们之后会看到,在物质场和规范场耦合的情况下,这个量具有物理意义。

为了让协变导数真的协变,我们可以得到联络在ϕeiθϕ\phi \rightarrow e^{i \theta} \phi下变换为AμAμ=Aμ+1eμθA_{\mu} \rightarrow A_{\mu}^{\prime}=A_{\mu}+\frac{1}{e} \partial_{\mu} \theta。协变导数为零的解称之为测地线:Dμϕc=(μieAμ)ϕc0D_{\mu} \phi_{c}=\left(\partial_{\mu}-i e A_{\mu}\right) \phi_{c} \equiv 0。测地线上,

ϕc(x)=eieΓ(x,y)dzμAμ(z)ϕc(y)\phi_{c}(x)=e^{-i e \int_{\Gamma(x, y)} d z_{\mu} A^{\mu}(z)} \phi_{c}(y)

注意,沿着测地线走一圈,相位的变化为

Δγ=eΓ1dzμAμ+eΓ2dzμAμeΓ+dzμAμ\Delta \gamma=-e \int_{\Gamma_{1}} d z_{\mu} A^{\mu}+e \int_{\Gamma_{2}} d z_{\mu} A^{\mu} \equiv-e \oint_{\Gamma^{+}} d z_{\mu} A^{\mu}

这东西当然不一定是0。它反映了啥呢?它反映了这一圈里面的流形表面上对着旋度积分,结果非零,或者说,流形表面在这里有可能鼓起来或者凹下去了。用斯托克斯公式将这个东西写为

Δγ=e2Σ+dSμνFμν=eΦ(Σ)\Delta \gamma=-\frac{e}{2} \int_{\Sigma^{+}} d S_{\mu \nu} F^{\mu \nu}=-e \Phi(\Sigma)

其中Fμν=μAννAμF^{\mu \nu}=\partial^{\mu} A^{\nu}-\partial^{\nu} A^{\mu}就是联络A的曲率,物理学上叫他规范场A的场强,如果A是电磁学里的矢势,那么F就是电磁场张量。一般的曲率F满足关系Fμν=ie[Dμ,Dμ]F^{\mu \nu}=\frac{i}{e}\left[D^{\mu}, D^{\mu}\right]

一个有名的实验,Aharonov-Bohm效应,就对矢势版本的A测了一把相位差。当然是测出来了,这也表明以前人们一直当做是假想、辅助概念的“矢势”真有物理意义,侧面也说明电磁场这玩意不是法拉第幻想出来的,它是一个物理实体。


现在再回来看规范对称性下的场(一般情况)。

为了方便,之前的ϕa(x)ϕa(x)=(exp[iλkθk(x)])abϕb(x)\phi_{a}(x) \rightarrow \phi_{a}^{\prime}(x)=\left(\exp \left[i \lambda^{k} \theta^{k}(x)\right]\right)_{a b} \phi_{b}(x)重写为ϕa(x)=Uabϕb(x)\phi_{a}^{\prime}(x)=U_{a b} \phi_{b}(x)。假设我们现在有一个普通的拉氏量L=μϕaμϕaV(ϕ2)\mathcal{L}=\partial_{\mu} \phi_{a}^{*} \partial^{\mu} \phi^{a}-V\left(|\phi|^{2}\right)

首先搞协变导数。这是一个N*N的算符:Dμ=IμigAμ(x)D_{\mu}=I \partial_{\mu}-i g A_{\mu}(x),g是耦合常数。规范场的分量记作(Aμ(x))ab=Aμk(x)λabk\left(A_{\mu}(x)\right)_{a b}=A_{\mu}^{k}(x) \lambda_{a b}^{k}。为了达成协变性,一番操作得到

Aμ(x)=U(x)Aμ(x)U1(x)ig(μU(x))U1(x)A_{\mu}^{\prime}(x)=U(x) A_{\mu}(x) U^{-1}(x)-\frac{i}{g}\left(\partial_{\mu} U(x)\right) U^{-1}(x)

对于非阿贝尔规范场,两边的UUU1U^{-1}是消不掉的。假设我们取一个无穷小的U,

(U(x))ab=[exp(iλkθk(x))]abδab+iλabkθk(x)+(U(x))_{a b}=\left[\exp \left(i \lambda^{k} \theta^{k}(x)\right)\right]_{a b} \cong \delta_{a b}+i \lambda_{a b}^{k} \theta^{k}(x)+\ldots

那么标量场的变化是

δϕa(x)iλabkϕb(x)θk(x)+\delta \phi_{a}(x) \cong i \lambda_{a b}^{k} \phi_{b}(x) \theta^{k}(x)+\ldots

而规范场的变化是

δAμk(x)ifksjAμj(x)θs(x)+1gμθk(x)+\delta A_{\mu}^{k}(x) \cong i f^{k s j} A_{\mu}^{j}(x) \theta^{s}(x)+\frac{1}{g} \partial_{\mu} \theta^{k}(x)+\ldots

像之前一样,我们看看测地线的性质。仍然有ϕ(y)=ϕ(x)+ig01dtdzμdtAμ(z(t))ϕ(z(t))\phi(y)=\phi(x)+i g \int_{0}^{1} d t \frac{d z_{\mu}}{d t} A^{\mu}(z(t)) \phi(z(t)),通过不断的迭代,得到

ϕ(y)=ϕ(x)+ig01dtdzμ(t)dtAμ(z(t))ϕ(x)\phi(y)=\phi(x)+i g \int_{0}^{1} d t \frac{d z_{\mu}(t)}{d t} A^{\mu}(z(t)) \phi(x)
+(ig)201dt10t1dt2dzμ1(t1)dt1dzμ2(t2)dt2Aμ1(z(t1))Aμ2(z(t2))ϕ(x)+(i g)^{2} \int_{0}^{1} d t_{1} \int_{0}^{t_{1}} d t_{2} \frac{d z_{\mu_{1}}\left(t_{1}\right)}{d t_{1}} \frac{d z_{\mu_{2}}\left(t_{2}\right)}{d t_{2}} A^{\mu_{1}}\left(z\left(t_{1}\right)\right) A^{\mu_{2}}\left(z\left(t_{2}\right)\right) \phi(x)
++(ig)n01dt10t1dt20tn1dtnj=1n(dzμj(tj)dtjAμj(z(tj)))ϕ(x)+\ldots+(i g)^{n} \int_{0}^{1} d t_{1} \int_{0}^{t_{1}} d t_{2} \ldots \int_{0}^{t_{n-1}} d t_{n} \prod_{j=1}^{n}\left(\frac{d z_{\mu_{j}}\left(t_{j}\right)}{d t_{j}} A^{\mu_{j}}\left(z\left(t_{j}\right)\right)\right) \phi(x)
++\ldots

定义一个记号,

In=(ig)n01dt10t1dt20tn1dtnF(t1)F(tn)I_{n}=(i g)^{n} \int_{0}^{1} d t_{1} \int_{0}^{t_{1}} d t_{2} \ldots \int_{0}^{t_{n-1}} d t_{n} F\left(t_{1}\right) \cdots F\left(t_{n}\right)
(ig)nn!P^[(01dtF(t))n]\equiv \frac{(i g)^{n}}{n !} \widehat{P}\left[\left(\int_{0}^{1} d t F(t)\right)^{n}\right]

这样就把上式变成类似于幂函数的泰勒展开的形式。于是就把它写成

ϕ(y)=P^[exp(igΓ(x,y)dzμAμ(z))]ϕ(x)\phi(y)=\widehat{P}\left[\exp \left(i g \int_{\Gamma(x, y)} d z_{\mu} A^{\mu}(z)\right)\right] \phi(x)

这个相位变化在规范变换下满足

P^[exp(igΓ(x,y)dzμAμ(z(t)))]\widehat{P}\left[\exp \left(i g \int_{\Gamma(x, y)} d z^{\mu} A_{\mu}^{\prime}(z(t))\right)\right]
U(y)P^[exp(igΓ(x,y)dzμAμ(z))]U1(x)\quad \equiv U(y) \hat{P}\left[\exp \left(i g \int_{\Gamma(x, y)} d z^{\mu} A_{\mu}(z)\right)\right] U^{-1}(x)

于是我们仍然可以绕一圈,得到 W^Γ(x,x)=P^[exp(igΓ(x,x)dzμAμ(z))]\widehat{W}_{\Gamma(x, x)}=\widehat{P}\left[\exp \left(i g \int_{\Gamma(x, x)} d z^{\mu} A_{\mu}(z)\right)\right],对于非阿贝尔规范场,这玩意就不是协变的。

这个时候,斯托克斯定理给出场强:

W^Γ(x,x)I+ig2ΣdxμdxνFμν+O(a(Σ)2)\widehat{W}_{\Gamma\left(x, x^{\prime}\right)} \approx I+\frac{i g}{2} \iint_{\Sigma} d x^{\mu} \wedge d x^{\nu} F_{\mu \nu}+O\left(a(\Sigma)^{2}\right)

其中FμνμAννAμig[Aμ,Aν]=i[Dμ,Dν]F_{\mu \nu} \equiv \partial_{\mu} A_{\nu}-\partial_{\nu} A_{\mu}-i g\left[A_{\mu}, A_{\nu}\right]=i\left[D_{\mu}, D_{\nu}\right]。它也继承了W的性质,不是协变,而是Fμν(x)=U(x)Fμν(x)U1(x)F_{\mu \nu}^{\prime}(x)=U(x) F_{\mu \nu}(x) U^{-1}(x)。一个最简单的把它变成协变的办法就是tr(FμνFμν)\operatorname{tr}\left(F_{\mu \nu} F^{\mu \nu}\right)。所以,对于定域、规范不变、非阿贝尔的场,一个最自然的拉氏量选择就是杨-米尔斯拉氏量

L=14trFμνFμν\mathcal{L}=-\frac{1}{4} \operatorname{tr} F_{\mu \nu} F^{\mu \nu}


规范不变性和最小耦合

我们试着把规范场(例如电磁场)和物质场耦合起来。浮光掠影地看一些例子。

QED

量子电动力学是描述电子和光子的理论。电子的场是狄拉克的旋量场ψα(x)\psi_{\alpha}(x),光子的场就是一个U(1)U(1)规范场,记作AμA_{\mu}。电子的拉氏量LDirac (ψ,ψˉ)=ψˉ(iϕm)ψ\mathcal{L}_{\text {Dirac }}(\psi, \bar{\psi})=\bar{\psi}(i \phi-m) \psi满足全局的规范不变性,但不满足局域的。光子的Lgauge (A)=14FμνFμν14F2\mathcal{L}_{\text {gauge }}(A)=-\frac{1}{4} F_{\mu \nu} F^{\mu \nu} \equiv-\frac{1}{4} F^{2}当然没问题。我们所说的最小耦合就是一种办法,让总的场能够满足局域的规范不变性。

为了做到这个,当然是首先把导数换成协变导数,协变导数里面的规范场直接用光子的场。于是

LQED=ψˉ(im)ψ14F2\mathcal{L}_{\mathrm{QED}}=\bar{\psi}(i \not D-m) \psi-\frac{1}{4} F^{2}

我们对拉氏量变分,看一看守恒流长什么样。

δL=δLδψδψ+δLδμψδμψ+(ψψˉ)+δLδμAνδμAν+δLδAμδAμ\delta \mathcal{L}=\frac{\delta \mathcal{L}}{\delta \psi} \delta \psi+\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \psi} \delta \partial_{\mu} \psi+(\psi \leftrightarrow \bar{\psi})+\frac{\delta \mathcal{L}}{\delta \partial_{\mu} A_{\nu}} \delta \partial_{\mu} A_{\nu}+\frac{\delta \mathcal{L}}{\delta A_{\mu}} \delta A_{\mu}

可以写成δL=μ[jμ(x)θ(x)]1eFμν(x)μνθ(x)+δLδAμ1eμθ(x)\delta \mathcal{L}=\partial_{\mu}\left[j^{\mu}(x) \theta(x)\right]-\frac{1}{e} F^{\mu \nu}(x) \partial_{\mu} \partial_{\nu} \theta(x)+\frac{\delta \mathcal{L}}{\delta A_{\mu}} \frac{1}{e} \partial_{\mu} \theta(x),然后上式第二项由于F的反对称的性质消掉了。

  • 第一项的jμ=i(LδμψψψˉδLδμψˉ)j^{\mu}=i\left(\frac{\partial \mathcal{L}}{\delta \partial_{\mu} \psi} \psi-\bar{\psi} \frac{\delta \mathcal{L}}{\delta \partial_{\mu} \bar{\psi}}\right)电子数流

  • 第三项的Jμ(x)δLδAμ(x)J^{\mu}(x) \equiv \frac{\delta \mathcal{L}}{\delta A_{\mu}(x)}规范流,拉氏量的变分告诉我们,电子数的守恒——Q0=d3xj0(x)d3xψ(x)ψ(x)Q_{0}=\int d^{3} x j_{0}(x) \equiv \int d^{3} x \psi^{\dagger}(x) \psi(x)即代表着电荷的守恒——QeQ0=ed3xψ(x)ψ(x)Q \equiv-e Q_{0}=-e \int d^{3} x \psi^{\dagger}(x) \psi(x)

    这样看,耦合常数e的意义就明确的很。他就是电子的电量。从这个角度,电子的电量e可被认为是某种量子数。

QCD

量子色动力学是描述强相互作用的规范理论。在这里,耦合的是夸克(狄拉克旋量场ψαi(x)\psi_{\alpha}^{i}(x))以及胶子(规范场Aμa(x)A_{\mu}^{a}(x))。前者的角标是狄拉克分量α=1,,4\alpha=1, \ldots, 4,以及“色”的分量i=1,,Nci=1, \ldots, N_{c}。色就是空……不对,色就是强相互作用的力荷。在QCD里面,它对应一个SU(3)S U(3)对称性的规范场,也就是胶子的规范场。共有三种色,它们造成的强相互作用由胶子来传递。数学上,D(SU(Nc))=Nc21D\left(S U\left(N_{c}\right)\right)=N_{c}^{2}-1,即AμA_{\mu}有这么多个分量。

Lmatter (ψ,ψˉ,A)=ψˉ(im)ψ\mathcal{L}_{\text {matter }}(\psi, \bar{\psi}, A)=\bar{\psi}(i \not D-m) \psi

Lgauge (A)=14trFμνFμν14FμνaFaμν\mathcal{L}_{\text {gauge }}(A)=-\frac{1}{4} \operatorname{tr} F_{\mu \nu} F^{\mu \nu} \equiv-\frac{1}{4} F_{\mu \nu}^{a} F_{a}^{\mu \nu}

老实说,反正我也没有概念,我觉得这东西即使有物理意义对我也意义不大。总而言之,最小耦合可以得到守恒的色荷Qad3xψ(x)λaψ(x)Q^{a} \equiv \int d^{3} x \psi^{\dagger}(x) \lambda^{a} \psi(x)

时空对称性

现在,别忘了我们的对称性是针对作用量来说的。之前我们只考虑拉氏量(的密度)的对称性,是因为反正都是一样的积分出作用量。现在我们必须考虑时空坐标的影响,因此我们将要考察作用量而非拉氏量在坐标变化下的不变性。我们考虑的变化是:时空平移、旋转。

变化以后,场的变换是这样的:ϕ(x)ϕ(x)=ϕ(x)+δϕ(x)+μϕδxμ\phi(x) \rightarrow \phi^{\prime}\left(x^{\prime}\right)=\phi(x)+\delta \phi(x)+\partial_{\mu} \phi \delta x^{\mu}。积分元的变化取决于jacobian,而

J=det(xμxν)=det(gμν+νδxμ)1+tr(νδxμ)+O(δx2)=1+μδxμ+O(δx2)J=\left|\operatorname{det}\left(\frac{\partial x_{\mu}^{\prime}}{\partial x_{\nu}}\right)\right|=\left|\operatorname{det}\left(g_{\mu}^{\nu}+\partial^{\nu} \delta x_{\mu}\right)\right| \approx 1+\operatorname{tr}\left(\partial^{\nu} \delta x_{\mu}\right)+O\left(\delta x^{2}\right)= 1+\partial^{\mu} \delta x_{\mu}+O\left(\delta x^{2}\right)

我们再定义一个”场的总变分“,由场的变化和坐标系的变化共同产生,记为δTϕδϕ+μϕδxμ\delta_{T} \phi \equiv \delta \phi+\partial_{\mu} \phi \delta x^{\mu}。现在,可以(经过计算)将作用量的变分写出来:

δS=d4x{μ[(gνμLδLδμϕνϕ)δxν]+μ[δLδμϕδTϕ]}\delta S=\int d^{4} x\left\{\partial_{\mu}\left[\left(g_{\nu}^{\mu} \mathcal{L}-\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi} \partial_{\nu} \phi\right) \delta x^{\nu}\right]+\partial_{\mu}\left[\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi} \delta_{T} \phi\right]\right\}

时空的平移

在极小的平移δxμ=aμ\delta x_{\mu}=a_{\mu}之下,δTϕ=0\delta_{T} \phi=0,可以看到我们需要第一项是0,或者说

TμνgμνL+δLδμϕνϕT^{\mu \nu} \equiv-g^{\mu \nu} \mathcal{L}+\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi} \partial^{\nu} \phi

是守恒量。μTμν=0\partial_{\mu} T^{\mu \nu}=0。这个张量T叫做能量动量张量。为什么呢?将T作为诺特定理中的守恒流,得到一组运动常数Pν=d3xT0ν(x,x0)P^{\nu}=\int d^{3} x T^{0 \nu}\left(\boldsymbol{x}, x_{0}\right)。其中,第一个分量正好是:

P0=d3xT00(x,x0)d3x[L+δLδ0ϕ0ϕ]P0=d3xHP^{0}=\int d^{3} x T^{00}\left(\boldsymbol{x}, x_{0}\right) \equiv \int d^{3} x\left[-\mathcal{L}+\frac{\delta \mathcal{L}}{\delta \partial_{0} \phi} \partial^{0} \phi\right]P^{0}=\int d^{3} x \mathcal{H}

最后一步用了勒让德变换。总之这就是能量。

其他的分量是:

Pj=d3xT0j=d3x[g0jL+δLδjϕjϕ]P^{j}=\int d^{3} x T^{0 j}=\int d^{3} x\left[-g^{0 j} \mathcal{L}+\frac{\delta \mathcal{L}}{\delta \partial_{j} \phi} \partial^{j} \phi\right]

注意到,闵氏度规的g0j=0g^{0 j}=0。所以这几个分量正好是动量P=d3xΠ(x)ϕ(x)\boldsymbol{P}=\int d^{3} x \Pi(x) \boldsymbol{\partial} \phi(x)

旋转

在极小的旋转δxμ=ωμνxν\delta x_{\mu}=\omega_{\mu}^{\nu} x_{\nu}之下,δTϕ=0\delta_{T} \phi=0。我们这时候得到的是

δS=0=d4xμ[(gμνLδLδμϕνϕ)ωνρxρ]\delta S=0=\int d^{4} x \partial_{\mu}\left[\left(g^{\mu \nu} \mathcal{L}-\frac{\delta \mathcal{L}}{\delta \partial_{\mu} \phi} \partial^{\nu} \phi\right) \omega^{\nu \rho} x_{\rho}\right]

而我们的守恒流这回是

MμνρTμνxρTμρxνM^{\mu \nu \rho} \equiv T^{\mu \nu} x^{\rho}-T^{\mu \rho} x^{\nu}

对应的运动常数是Lνρd3xM0νρ(x,x0)L^{\nu \rho} \equiv \int d^{3} x M^{0 \nu \rho}\left(\boldsymbol{x}, x_{0}\right),而如果定义Lj12ϵjklLklL_{j} \equiv \frac{1}{2} \epsilon_{j k l} L_{k l},那么可以看到这就是角动量,因为

Ljd3xϵjklxkPl(x)d3xj(x)L_{j} \equiv \int d^{3} x \epsilon_{j k l} x_{k} \mathcal{P}_{l}(x) \equiv \int d^{3} x \ell_{j}(x)

例子:电磁场的能动量张量

电磁场的能动量张量是

Tμν=gμνL+δLδνAλμAλ=14gμνFαβFαβFνλμAλ\begin{aligned} T^{\mu \nu} &=-g^{\mu \nu} \mathcal{L}+\frac{\delta \mathcal{L}}{\delta \partial_{\nu} A_{\lambda}} \partial^{\mu} A_{\lambda} \\ &=\frac{1}{4} g^{\mu \nu} F^{\alpha \beta} F_{\alpha \beta}-F^{\nu \lambda} \partial^{\mu} A_{\lambda} \end{aligned}

但是它不具有规范不变性。我们往里添加一个守恒的带F的项把它变成规范不变的

T~μν=14gμνF2FλνFμλ\tilde{T}^{\mu \nu}=\frac{1}{4} g^{\mu \nu} F^{2}-F_{\lambda}^{\nu} F^{\mu \lambda}

现在不仅规范不变,还是对称的,看起来使人欢喜。事实上,这个时候确有

P0=x0 fixed d3xT~00=x0 fixed d3x12(E2+B2)P^{0}=\int_{x_{0} \text { fixed }} d^{3} x \tilde{T}^{00}=\int_{x_{0} \text { fixed }} d^{3} x \frac{1}{2}\left(\boldsymbol{E}^{2}+\boldsymbol{B}^{2}\right)

以及

Pi=x0 fixed d3xT~i0=x0 fixed d3x(E×B)iP^{i}=\int_{x_{0} \text { fixed }} d^{3} x \tilde{T}^{i 0}=\int_{x_{0} \text { fixed }} d^{3} x(\boldsymbol{E} \times B)_{i}

我们从这个例子看到,我们有办法改变这个能动量张量,让它守恒的同时,还能对称。这是好的。是不是总有办法呢?它的定义里面有模糊的地方,就像规范一样,有冗余度。我们能不能规定一个最好的定义呢?

让我们换一个角度。考虑系统的几何,它由度规决定。我们看看系统的几何对作用量有什么影响,或者说这个影响是什么(剧透:对橡皮球来说,一般的几何变换总会让它的能量增加的,除非你做的是时空平移或旋转)。坐标变化下度规张量的变化是

δgμν=12(gμλνδxλ+gλνμδxλ+λgμνδxλ)\delta g_{\mu \nu}=-\frac{1}{2}\left(g_{\mu \lambda} \partial^{\nu} \delta x_{\lambda}+g_{\lambda \nu} \partial^{\mu} \delta x_{\lambda}+\partial^{\lambda} g_{\mu \nu} \delta x_{\lambda}\right)

我们有一个不变的体积元d4xgd^{4} x \sqrt{g},于是我们可以用字母T记录这个作用量的变化:

δS=d4xgTμν(x)δgμν(x)\delta S=\int d^{4} x \sqrt{g} T^{\mu \nu}(x) \delta g_{\mu \nu}(x)Tμν(x)δSδgμν(x)T^{\mu \nu}(x) \equiv \frac{\delta S}{\delta g_{\mu \nu}(x)}

实际上,可以证明,这样定义的T是一个对平移变换不变的量,它是一个守恒流,符合能动量张量的定义。并且,这样定义的T是唯一、对称的。于是我们知道,能动量张量可以理解成能量在时空几何下的变化率。这是一个闵氏空间下的应变