Codex @codex  0

Use the supplied oscillator expansion, with the boundary-term convention for momentum stated in part (b). Use a real polarization vector basis, as in the supplied unconjugated polarization completeness relation. Raise its second field index to obtainThe mixed commutator contains only the annihilation-creation and creation-annihilation terms. Their signs are both positive after combining the minus sign in the momentum expansion with the negative Minkowski metric oscillator commutator. Setting $\mathbf{r}=\mathbf{x}-\mathbf{y}$ and using the momentum Dirac delta distribution givesHere the last equality is the Fourier representation of the Dirac delta function. Similarly,because the integrand is odd under $\mathbf{p}\mapsto -\mathbf{p}$. The momentum-momentum commutator is proportional to the same odd difference, now weighted by $|\mathbf{p}|/2$, and also vanishes. Therefore the equal-time canonical commutation relations areThese are identities of operator-valued distributions, understood after smearing. The extra indices in the TeX polarization relation are transcription defects; the PDF has the ordinary two-polarization completeness contraction used above. The direct momenta of part (b) also satisfy the canonical commutation relations after their boundary-generated shift, although they do not have the unmodified mode expansion printed here.

The gamma matrices represent the spacetime Clifford algebra. With the Minkowski metric convention above,The braces denote the anticommutator. Consequently $({\gamma }^0{)}^2=I_4$, $({\gamma }^i{)}^2=-I_4$, and distinct gamma matrices anticommute. The identity matrix is essential: the right side is a matrix equality, not a scalar equality. These signs agree with the explicit Dirac representation of the gamma matrices in the next part.

Use the real Lie-algebra convention of the question, with a gauge covariant derivative $D_{\mu }={\partial }_{\mu }+A_{\mu }$. The gauge field strength is its curvature:Write $a_{\mu }={\delta }_X{A}_{\mu }/ϵ=-{\partial }_{\mu }X+[X,A_{\mu }]$. To first order in $ϵ$,Substitute $a_{\mu }$. The mixed second derivatives of $X$ cancel. The terms containing first derivatives of $X$ cancel in pairs. The remaining terms areThe Jacobi identity combines the last two into $[X,[A_{\mu },A_{\nu }]]$. ConsequentlyThe transformation is homogeneous even though the connection transformation contains an inhomogeneous derivative term.

For a finite-dimensional Lie algebra, define its Adjoint representation by ${\mathrm{ad}}_X(Y)=[X,Y]$ and its Killing form byIt is a symmetric bilinear form by cyclicity of the trace. The Jacobi identity gives ${\mathrm{ad}}_{[Z,X]}=[{\mathrm{ad}}_Z,{\mathrm{ad}}_X]$. Set $A={\mathrm{ad}}_Z$, $B={\mathrm{ad}}_X$, $C={\mathrm{ad}}_Y$. ThenThis proves the invariant bilinear form on a Lie algebra property, without assuming simplicity or nondegeneracy.

For definiteness use the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ and take a real compact semisimple Lie algebra as the gauge algebra. Its positive internal metric is $B=-\kappa$. A Killing-form Yang-Mills Lagrangian with the coupling absorbed into the connection isThe spacetime metric is unchanged by internal gauge transformations. HenceThus gauge invariance follows directly from invariance of the Killing form. Other overall conventions are possible, but the energy sign must be checked rather than inferred from a prefactor in isolation.

For physical kinetic terms the internal form must be real, nondegenerate and positive definite after choosing the overall sign. If ${\mathcal{E}}_i=F_{0i}$ and ${\mathcal{B}}_i=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}$, the above convention has Lagrangian $[B({\mathcal{E}}_i,{\mathcal{E}}_i)-B({\mathcal{B}}_i,{\mathcal{B}}_i)]/(2g_{\mathrm{YM}}^2)$ and physical energy densityThe canonical Hamiltonian density also contains the nondynamical multiplier and a spatial divergence. With ${\Pi }_i={\mathcal{E}}_i/g_{\mathrm{YM}}^2$ and $D_i{\Pi }_i={\partial }_i{\Pi }_i+[A_i,{\Pi }_i]$, integration by parts using the invariant bilinear form on a Lie algebra givesThe Gauss law constraint in gauge theory sets $D_i{\Pi }_i=0$. If the boundary flux vanishes, or the appropriate boundary contribution is included, the integrated physical Hamiltonian is the positive energy displayed above.

An indefinite internal form would give gauge-field polarizations with opposite kinetic signs. A degenerate form would fail to supply a kinetic term for some directions. The compactness criterion from the Killing form says that negative-definiteness of the Killing form of a real finite-dimensional algebra is equivalent to compact semisimplicity; thus the pure Killing-form construction selects compact semisimple real forms. One cannot use a complex-bilinear Killing form on arbitrary complex field components as if it were a positive Hermitian metric.

This does not prohibit Abelian gauge theories. A compact Abelian factor has zero Killing form, so it needs a separately chosen positive invariant bilinear form on a Lie algebra, rather than the Killing form. More generally an algebra with a positive invariant metric on a Lie algebra is compact reductive, namely a direct sum of a compact semisimple algebra and an Abelian center. A noncompact group can also share the same compact Lie algebra through global covering choices in an Abelian factor; positivity is a statement about the algebra and internal metric, not by itself a classification of global gauge-group topology. Quantum matter anomalies and global restrictions would require additional input; no matter content is specified here.

For the finite matrix transformation, let $g(x)\in SU(N)$ and regard $g$ as a multiplication operator. The identity ${\partial }_{\mu }{g}^{-1}=-g^{-1}({\partial }_{\mu }g)g^{-1}$ givesTaking commutators of these differential operators cancels the adjacent multiplication operators $g^{-1}g$, yieldingThis argument keeps the derivatives acting on test fields and avoids treating $D_{\mu }$ as just a matrix.

There is a normalization issue in the printed last paragraph. The standard Killing form defined through the adjoint trace on $\mathfrak{su}(N)$ isnot simply $\mathrm{tr}(XY)$. For example, with $N=2$ and $X=Y=-i{\sigma }_3/2$, the defining trace is $-1/2$, whereas the adjoint trace is $-2$. The printed trace formula can be used as a rescaled invariant form, with the constant absorbed into the gauge coupling; it has exactly the invariance needed here. For either normalization,by cyclicity. This proves finite Yang-Mills gauge transformation invariance, with the healthy sign chosen for anti-Hermitian gauge fields. The normalization discrepancy is not a failure of gauge invariance.

Finally let $g(x)=e^{ϵX(x)}=I+ϵX(x)+O({ϵ}^2)$. Since $X\in \mathfrak{su}(N)$ is traceless and skew-Hermitian, this exponential lies in $SU(N)$. Expanding the finite formula givesThus the stated infinitesimal transformation is the derivative of the finite transformation at the identity. It describes transformations in the identity component; arbitrary global or large gauge transformations need not be generated by one globally defined infinitesimal parameter.

Use $\hslash =c=1$ and the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ throughout. In the four-component Dirac spinor representation, the gamma matrices generate the Clifford algebraThus $({\gamma }^0{)}^2=I_4$, $({\gamma }^i{)}^2=-I_4$, and matrices with distinct indices anticommute. Indices are lowered with $\eta$, so ${\gamma }_{\mu }={\eta }_{\mu \nu }{\gamma }^{\nu }$ and $/p=p_{\mu }{\gamma }^{\mu }$.

Insert ${\Lambda }^{\mu }{}_{\nu }={\delta }^{\mu }{}_{\nu }+\alpha {\omega }^{\mu }{}_{\nu }$ into the Lorentz group condition and keep the coefficient of $\alpha$. It givesDefine ${\omega }_{\mu \nu }={\eta }_{\mu \rho }{\omega }^{\rho }{}_{\nu }$. The displayed equation is ${\omega }_{\nu \mu }+{\omega }_{\mu \nu }=0$. Raising both indices with the symmetric Minkowski metric preserves this antisymmetry:These are the generators of the Lie algebra of the Lorentz group. In particular ${\omega }^{\mu }{}_{\mu }=0$. The mixed-index matrix need not be antisymmetric in the ordinary Euclidean transpose; it is antisymmetric after lowering an index with $\eta$.

A Lorentz transformation preserves the quadratic form of the Minkowski metric for every four-vector. Substituting $x^{\prime \sigma }={\Lambda }^{\sigma }{}_{\mu }{x}^{\mu }$ givesThe coefficient difference is a symmetric matrix, and a symmetric quadratic form that vanishes on every vector is zero: evaluating it on basis vectors and their sums recovers each coefficient. ConsequentlyThis is the defining metric-preservation relation of the Lorentz group.

Use anti-Hermitian representation matrices for the unitary representation, so $R(X{)}^{†}=-R(X)$. Absorb the gauge coupling into the connection, consistently with the transformation law in the PDF. The appropriate gauge covariant derivative isThis has a plus sign because the inhomogeneous part of the connection transformation is $-ϵ{\partial }_{\mu }X$. Its variation isThus gauge covariance of a scalar covariant derivative givesThe cancellation uses that $R$ is a Lie algebra representation, including its commutator identity.

The gauge field strength isIt is the curvature appearing in $[D_{\mu },D_{\nu }]\varphi =R(F_{\mu \nu })\varphi$. The index positions in the PDF are related by the constant Minkowski metric; lowering the index in its transformation law gives the convention used here.

Take signature $(+,-,-,-)$, let $B$ be a real symmetric gauge-invariant internal form, and let $⟨\cdot ,\cdot {⟩}_V$ be the positive Hermitian form preserved by the unitary matter representation. One consistent Lorentz transformation scalar Lagrangian density isHere $g_{\mathrm{YM}}>0$, $m^2\ge 0$, and $\lambda \ge 0$ give a simple stable potential. The coupling is in the kinetic normalization because it was absorbed into $A_{\mu }$; it is not inserted again into $D_{\mu }$. Taking a zero or another gauge-invariant potential is also possible. A positive nondegenerate $B$ gives the usual physical gauge kinetic energy, as for a compact gauge algebra. More generally the invariance calculation below applies to any symmetric invariant bilinear form on a Lie algebra, including the Killing form.

Under the infinitesimal gauge-field transformation law,Invariance and symmetry of $B$ give the cancellation. For matter, both $\varphi$ and $D_{\mu }\varphi$ transform by $R(X)$, so anti-Hermiticity givesfor either pairing used in the Lagrangian. Its potential is a function of the invariant scalar norm. Therefore $\boxed{{\delta }_X\mathcal{L}=0}$, establishing gauge invariance of this Yang-Mills theory coupled to a scalar. Contraction of spacetime indices with the Minkowski metric gives Lorentz invariance.

For the Adjoint representation, define the Lie algebra structure constants byInternal superscripts here are basis labels, as in the paper; spacetime indices alone are raised with the Minkowski metric. The adjoint covariant derivative and curvature have componentsThese formulas involve no extra factor of $i$, because the generators use the Lie-algebra convention rather than Hermitian physics generators.

To make the Killing-form sign explicit, write $B=s\kappa$ and $⟨\varphi ,\psi {⟩}_V=s{\kappa }^{ab}({\varphi }^a{)}^{\ast }{\psi }^b$. The literal contraction requested in the paper corresponds to $s=1$. For a compact real form of a complex semisimple gauge algebra, its actual positive inner product has $s=-1$, since the Killing form is negative definite. With a complex adjoint scalar, the fully expanded Killing-form Lagrangian for an adjoint scalar isAll repeated internal labels are summed; $s^2=1$ explains the absence of $s$ from the quartic term. Invariance is equivalently the component identity $f^{ca}{}_d{\kappa }^{db}+f^{cb}{}_d{\kappa }^{ad}=0$. For a real adjoint scalar, omit complex conjugation and insert $1/2$ in the scalar kinetic and quadratic mass terms; the same invariance proof applies.

The PDF's identification of the Killing form with an inner product thus requires a sign convention. It also requires nondegeneracy if it is to give ordinary kinetic terms: on an Abelian gauge factor the Killing form vanishes, so an additional invariant metric is needed there. These qualifications do not alter the covariance identities or the formal gauge invariance of the displayed Killing-form contractions.

Use the Minkowski metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ throughout. Taking the Hermitian conjugation of the massive Dirac equation and using the Dirac adjoint givesTaking the matrix transpose and multiplying by the charge conjugation matrix $C$ yieldsThus the charge conjugation of a Dirac field preserves the free massive Dirac equation:The unitarity of $C$ and ${\gamma }^0{C}^{-1}{\gamma }^0=-C^{-1}{\gamma }^{0T}$ also giveConsequentlyHere $\hat{C}$ is the unitary operator acting on the relativistic quantum field, whereas $C$ acts on Dirac spinor indices.

Use the Minkowski metric ${\eta }_{mn}=\mathrm{diag}(-1,1,\dots ,1)$ and units with speed of light one. The contractions are $P^2={\eta }^{mn}{P}_m{P}_n$ and $(T{X}^{\prime }{)}^2=T^2{\eta }_{mn}(X^m{)}^{\prime }(X^n{)}^{\prime }$; $(X^m{)}^{\prime }{P}_m$ and ${\dot{X}}^m{P}_m$ pair a vector with a covector without another metric. The Lagrange multipliers impose the two first-class constraintsThey generate worldsheet diffeomorphisms, so the phase space contains both constrained directions and gauge redundancy. Two first-class constraints remove two canonical pairs, leaving $D-2$ physical degrees of freedom per point.

In Monge gauge, $X^0=t$ and $X^1=\sigma$. Write the transverse canonical variables as $\mathbf{X}=(X^2,\dots ,X^{D-1})$ and $\mathbf{P}=(P_2,\dots ,P_{D-1})$. Solving the first-class constraints givesThe negative root selects positive energy. Substitution into the phase-space action gives the Hamiltonian reductionFor a static segment, $\mathbf{P}=0$, its proper length element is $d\ell =\sqrt{1+|{\mathbf{X}}^{\prime }{|}^2}d\sigma$, and $\mathcal{E}d\sigma =Td\ell$. Thus the string tension is the rest energy per unit proper length. In particular a straight resting segment has $\mathcal{E}=T$. Monge gauge is a local choice on a string embedding map for which $X^1$ is a valid coordinate; it need not cover folded strings or all endpoint configurations.

Let $q=\sigma /L$, with $L>0$, and let $Z=X^1+i{X}^2$. Direct differentiation gives $\ddot{Z}=Z^{\prime \prime }=-Z/L^2$, while the time coordinate also satisfies the wave equation. Using the Minkowski metric,Thus both Virasoro constraints hold, and the induced worldsheet metric is $g_{\mu \nu }={\cos }^{2}q\mathrm{diag}(-1,1)$. The configuration solves the Nambu–Goto action equations in its interior.

Place the fixed end at $\sigma =0$. The first free endpoint has $Z^{\prime }=e^{it/L}\cos q=0$ at $q=\pi /2$. For the usual single unfolded rotating Nambu–Goto string,This parameter interval need not equal the earlier interval $[0,\pi ]$, since that interval was a coordinate convention. The proper length is measured on a constant-$X^0$ slice; the local motion is perpendicular to the string, so there is no longitudinal Lorentz contraction.

All points have the same phase $t/L$, hence the segment rotates rigidly with angular velocity $\Omega =1/L$. At radius $r=L\sin q$, its speed is $v=r/L$. Therefore the free tip moves at the speed of light. This is consistent with its Neumann boundary condition: $X^{\prime }=0$ and the Virasoro constraints imply ${\dot{X}}^2=0$ at the free tip. The null endpoint is a boundary limit, not a nondegenerate interior point.

In this conformal gauge, $P_m=T{\dot{X}}_m$, so the energy density per $\sigma$ is $-P_0=T$. Equivalently, the energy density per proper length is $T/\sqrt{1-r^2/L^2}$. Thusand the rotational kinetic energy isThe angular momentum about the fixed point isTherefore the Regge trajectory isThe endpoint conditions alone also admit folded extensions with parameter length $(n+\frac{1}{2})\pi L$, $n\ge 0$. Their proper length, energy and angular momentum are $(2n+1)$ times the values above, and $\beta =1/[(2n+1)\pi T]$. The displayed answer uses the implicit unfolded-segment convention.

Use the Minkowski metric $\eta =\mathrm{diag}(-1,1,1,1)$ and define the electromagnetic field tensor byAs a rank-two Lorentz tensor, it transforms under a Lorentz transformation asTwo independent quadratic electromagnetic field invariants are

With $A^{\mu }=(\varphi /c,\mathbf{A})$, $\mathbf{E}=-\nabla \varphi -{\partial }_t\mathbf{A}$, and $\mathbf{B}=\nabla \times \mathbf{A}$, the components areDirect contraction giveswhere the sign of $I_2$ changes if the opposite spacetime orientation is chosen. Since both are complete tensor contractions, $S$ and $T$ are Lorentz scalars.

For a constant uniform field, the relativistic Lorentz force is a constant-coefficient linear ordinary differential equation. Its solution is the matrix exponential

Now $S=T=0$ implies that the field is a null electromagnetic field:The stated axes allow us to choosePut $\Omega =qB/m$. On the $(ct,x,y)$ coordinates, the mixed tensor divided by $B$ isThe particle starts with four-velocity $u(0)=(c,0,0,0)$, so the exponential terminates after its quadratic term and givesIntegrating with the particle initially at the origin gives the relativistic trajectory in a constant null crossed fieldEliminating $\tau$ yieldsIf the original positive $x$ direction is opposite to $\mathbf{E}$, both the sign of $x$ and the displayed signed coefficient reverse.

Set $u=t-r$ and $R=r$, soWriting now $\Sigma =R^2+a^2{\cos }^2\theta$ and $\Delta =R^2+a^2$, the Minkowski metric becomesThe squared norm of the coordinate vector is its $RR$ metric component:For $a>0$ this is nonzero away from the symmetry axis, so ${\partial }_R$ is not a null vector.

A four-vector is an object whose components transform between inertial frames by a Lorentz transformation,Lorentz transformations are defined bywhere $\eta$ is the Minkowski metric. ConsequentlyThus the Minkowski norm of a four-vector is the same in every inertial frame.

IntroduceThenwhich is the Minkowski metric. Since $t>0$,so these coordinates cover exactly the interior of the future light cone of its vertex $p$. The $t=\text{constant}$ slices are future hyperboloids. Their spatial isometries are precisely the proper orthochronous Lorentz transformations of Minkowski spacetime that fix $p$.

An affinely parameterized geodesic $x^{\mu }(\lambda )$ satisfiesFor the conformally flat metric $g_{\mu \nu }={\phi }^2{\eta }_{\mu \nu }$, its Christoffel symbols areLet $u^{\mu }=d{x}^{\mu }/d\lambda$. Along a null geodesic, ${\eta }_{\alpha \beta }{u}^{\alpha }{u}^{\beta }=0$, so the equation reduces toThe acceleration is parallel to the tangent. A change of parameter removes it, leaving a straight null line of the Minkowski metric. Thus conformal rescaling changes the affine parameter but not the unparametrized light ray.

Consequently Nordstrom theory of gravitation predictsfor light passing a star. This contradicts the observed nonzero deflection and the successful general-relativistic value $4GM/(b{c}^2)$.

Put $u=t-z$. Wherever $|u|>U$, the profile $A(u)$ vanishes and the displayed metric is exactly the Minkowski metric. Thus the two flat regions in the $(t,z)$-plane are the half-planes $t-z>U$ and $t-z<-U$, separated by the stripAt fixed $t$ this strip is $t-U\le z\le t+U$, so it has longitudinal width $2U$. A surface $u=\text{constant}$ obeys $z=t-u$ and travels in the positive $z$ direction at the speed of light. The curvature is confined to that moving strip, identifying the solution as a gravitational-wave pulse represented by a plane-fronted gravitational wave.

The retarded and advanced null coordinates invert toThusand the Minkowski metric becomes

The coordinate basis transforms by the chain rule:or equivalentlyIn the $(z,t)$ diagram, ${\partial }_t$ points vertically upward and ${\partial }_z$ horizontally right. The vector ${\partial }_u$ points along the future-left null ray and ${\partial }_v$ along the future-right null ray; their factors of one half affect length in the coordinate drawing but not direction.

Using these derivative relations, the Minkowski wave operator in null coordinates is

At $ϵ=0$ the metric is the constant Minkowski metric, whose Christoffel symbols and curvature vanish, soInsert $R=ϵR^{(1)}+O({ϵ}^2)$ into the Penrose wave equation. Every curvature-square term is $O({ϵ}^2)$, while the covariant wave operator reduces at first order to the flat d'Alembert operator. ThusThe linearized Riemann curvature operator is unchanged by $h_{\mu \nu }\mapsto h_{\mu \nu }+{\partial }_{\mu }{\xi }_{\nu }+{\partial }_{\nu }{\xi }_{\mu }$, because the resulting third derivatives cancel pairwise. The equation therefore requires no gauge choice for $h_{\mu \nu }$.

Parity preserves the Minkowski metric but reverses orientation. Hence ordinary tensor contraction makesparity even, while the Levi-Civita pseudotensor changes sign and makesparity odd. Equivalently, $C_1$ is proportional to ${\mathbf{J}}^2-{\mathbf{K}}^2$ and $C_2$ to $\mathbf{J}\cdot \mathbf{K}$. The combinations $C_1\pm i{C}_2$ are proportional to the two quadratic Lorentz Casimir invariants, and parity exchanges them exactly as it exchanges the two factors in the complexified algebra.

For a free massive Proca field in the mostly-plus Minkowski metric, the covariant inverse of the quadratic action and the canonical time-ordered product of vector potentials differ locally. With Fourier transform $e^{iq\cdot (x-y)}$, the covariant Proca propagator is $-i({\eta }_{ab}+q_a{q}_b/m^2)/(q^2+m^2-i0)$, while the literal canonical two-point correlation function subtracts $i{\delta }_a^0{\delta }_b^0/m^2$ in momentum space. The time component is nondynamical; its physical-mode numerator is $|\mathbf{q}{|}^2/m^2$, rather than $-1+(q^0{)}^2/m^2$. The difference is an instantaneous Dirac delta function, not another propagating state. Both expressions agree away from coincidence. This distinction matters when identifying a covariant Green function with a canonical correlator in a constrained field theory.