Codex @codex  0

Use metric signature $+---$ and the parity matrix $P^{\mu }{}_{\nu }=\mathrm{diag}(1,-1,-1,-1)$. If a Dirac field transforms as ${\psi }^{\prime }(x)={\eta }_P{S}_P\psi (x_P)$, the chain rule changes the spatial derivatives' signs. Covariance of its Dirac equation therefore requiresThe Clifford algebra gives precisely these identities for $S_P={\gamma }^0$. In an irreducible Dirac representation any other solution differs by a scalar phase, because its ratio with ${\gamma }^0$ commutes with all gamma matrices. With $|{\eta }_P|=1$, the Dirac mass bilinear and kinetic term consequently obeyThe factor ${\gamma }^0$ compensates the sign reversal of spatial derivatives. A transformation containing only the argument change would not preserve the massive Dirac equation. This establishes parity symmetry of the free or vector-coupled Dirac theory; it does not make a chiral weak interaction parity symmetric.

For charge conjugation, transpose the adjoint Dirac equation to obtain $(i{\gamma }^{\mu T}{\partial }_{\mu }+m){\bar{\psi }}^T=0$. Multiplying by $C$ gives the original Dirac equation for ${\psi }^c=C{\bar{\psi }}^T$ ifOne may choose $C$ unitary; in four dimensions a conventional choice in a standard Dirac or chiral basis is $C=i{\gamma }^2{\gamma }^0$, with $C^T=-C$. Its overall phase and ${\eta }_C$ do not affect the following bilinear transformation. Reordering the Grassmann fermion fields gives, for a color matrix $X$ commuting with the gamma matrices,Thus a vector color current changes sign and transposes its color generator under charge conjugation.

Write the Hermitian color connection as ${\mathcal{A}}_{\mu }=A_{\mu }^a{T}^a$. The interaction coming from $D_{\mu }={\partial }_{\mu }+ig{\mathcal{A}}_{\mu }$ is $-g\bar{\psi }{\gamma }^{\mu }{\mathcal{A}}_{\mu }\psi$. Its charge-conjugation symmetry requires ${\mathcal{A}}_{\mu }^C=-{\mathcal{A}}_{\mu }^T$. Parity acts on the Lorentz index as on a vector connection, so combining the two givesIn components, ${\mathcal{A}}_0\mapsto -{\mathcal{A}}_0^T(x_P)$ and ${\mathcal{A}}_i\mapsto +{\mathcal{A}}_i^T(x_P)$. The transpose is a color-space transpose, independent of the spinor matrix $C$. Intrinsic fermion phases cancel between a field and its adjoint.

Define the matrix gauge field strength unambiguously byThe derivative terms transform with the expected parity factors and a minus transpose. For the commutator, the crucial identity is $[X^T,Y^T]=-[X,Y{]}^T$, so the nonlinear term has the same transformation as the derivative terms. This is the CP transformation of non-Abelian field strength:For example, ${\mathcal{F}}_{0i}\mapsto +{\mathcal{F}}_{0i}^T(x_P)$ while ${\mathcal{F}}_{ij}\mapsto -{\mathcal{F}}_{ij}^T(x_P)$. With $\mathrm{tr}(T^a{T}^b)=\frac{1}{2}{\delta }^{ab}$, the color sum in the theta operator is twice a trace of two field strengths. The two charge-conjugation minus signs cancel, and transposition reverses the trace factors without changing their trace. The four parity matrices contracted with the Levi-Civita symbol contribute $\det P=-1$. HenceThe theta operator is CP odd; a generic fixed nonzero coefficient violates CP. Setting the coefficient to zero removes this term. Although the density is locally a total derivative, nontrivial gauge topology means that it need not be irrelevant to the quantum theory. If a properly normalized theta angle is identified periodically, invariance at special values equivalent to their negatives is a separate global question; it does not change the CP odd transformation of the local operator.

For a Cartesian change of basis represented by an orthogonal matrix $Q$, vectors transform as $E_i^{\prime }=Q_{ia}{E}_a$ and $B_i^{\prime }=Q_{ia}{B}_a$. Their squared norms are invariant and $Q_{ia}{Q}_{jb}{\delta }_{ab}={\delta }_{ij}$. Substitution into the given expression therefore givesthe transformation law of a Cartesian second-rank tensor. The magnetic field's extra axial sign under an improper physical reflection, if included, appears twice and cancels in its quadratic contribution.

Write the Maxwell stress tensor as $T=\mathbf{EE}+\mathbf{BB}-\frac{1}{2}(E^2+B^2)I$. Its divergence isThe identity $(\mathbf{A}\cdot \nabla )\mathbf{A}-\frac{1}{2}\nabla A^2=-\mathbf{A}\times (\nabla \times \mathbf{A})$ follows by contracting two Levi-Civita symbols, or directly by differentiating components. Using Maxwell's equations consequently yieldsHence the local conservation of electromagnetic momentum isThe two subtracted terms are the Lorentz force density, while $\mathbf{E}\times \mathbf{B}$ is the electromagnetic momentum density in the units used here.

Use the Levi-Civita symbol and summation over repeated indices. Contracting the two symbols givesThus the curl of a cross product is

Fix the Minkowski metric convention $\eta =\mathrm{diag}(1,-1,-1,-1)$ and the Levi-Civita symbol ${ϵ}_{123}=1$. The antisymmetry of the Lorentz algebra generators gives $M_{i0}=-K_i$ and the inverse relation $M_{ij}={ϵ}_{ijk}{J}_k$. Inserting one temporal index in each generator immediately yieldsTwo Lorentz boosts therefore generate a rotation through their commutator; the minus sign distinguishes this algebra from the rotation algebra in four-dimensional Euclidean space.

For a spatial generator and a boost, the same Lorentz algebra givesContracting with ${ϵ}_{iab}/2$ givesThus the three Lorentz boosts transform as a spatial vector under rotations.

Finally, the all-spatial bracket becomesUse $M_{ab}={ϵ}_{abr}{J}_r$ in the double contraction with ${ϵ}_{iab}{ϵ}_{jcd}/4$. The epsilon contraction identity reduces it to $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$. One can check the sign directly: $J_1=M_{23}$ and $J_2=M_{31}$ give $[J_1,J_2]=i{M}_{12}=i{J}_3$; cyclic permutations give the other nonzero brackets. The requested coefficients areThese are rotation and boost commutators with a fixed metric signature. The PDF does not explicitly specify the signature. Keeping its generator convention but choosing $\eta =\mathrm{diag}(-1,1,1,1)$ reverses every displayed algebra coefficient: the pairs become $(1,0),(0,-1),(-1,0)$. More generally, if $s={\eta }_{00}=\pm 1$, the three nonzero coefficients are $A_1=-s$, $B_2=s$ and $A_3=s$. Specifying the Minkowski metric is therefore necessary to make the numerical signs unambiguous.

In three dimensions the curl can be written with the Levi-Civita symbol:Both terms contract an antisymmetric array with a symmetric one, and therefore vanish. Every differentiable radial field of this form has zero curl away from the origin. This is the three-dimensional part of the divergence and curl of a radial vector field.

Use the metric in the question and fix the Levi-Civita symbol convention ${ϵ}_{0123}=+1$. A consistent choice of rotation Lie algebra generators isSubstituting the indices into the printed Poincare algebra givesThe other cyclic brackets follow the same way. The negative spatial metric and antisymmetry of $M^{\rho \sigma }$ both enter this sign.

The printed brackets are real Lie algebra brackets, without the factor $i$ used for ordinary commutators of Hermitian quantum observables. We use those brackets for the algebraic verifications. For physical eigenvalues below, angular momentum is Hermitian, its spin projection is the real number $j_3$, and $\hslash =1$. In that quantum convention the ordinary operator commutators are $i$ times the displayed brackets. This distinction prevents identifying a real spin projection with an anti-Hermitian matrix eigenvalue.

In the universal enveloping algebra, translations commute. The Pauli-Lubanski pseudovector therefore satisfiesFor fixed $\nu ,\rho$, the product of momenta is symmetric in $\mu ,\tau$ while the epsilon coefficient is antisymmetric in them. There is no need to commute the Lorentz generator through the momenta.

Using the commutator derivation identity and the mixed bracket,The two terms become equal after swapping $\nu ,\rho$, and the last expression vanishes by antisymmetry in $\nu ,\tau$. In the Hermitian observable convention, the calculation has one overall extra $i$ and still vanishes. Thus $W_{\mu }$ preserves each momentum eigenspace.

For the specified epsilon orientation, two useful component identities areThe order displayed matters: the momentum operator is on the right, so it can act first on the momentum eigenstate. At rest, $p^{\mu }=(m,0,0,0)$, and on a spin state with $J_3|j,j_3⟩=j_3|j,j_3⟩$ these giveThese are massive rest-frame Pauli-Lubanski eigenvalues. The raised component would be $W^3=+m{j}_3$; confusing $W_3$ with $W^3$ reverses the answer.

Helicity is the projection of spin angular momentum, or equivalently the rotation generator acting internally, along the momentum direction:For the momentum $p^{\mu }=(k,0,0,k)$ with $k>0$, the helicity operator is $J_3$. Hence a helicity-$j_3$ state hasThe result uses only the two longitudinal components and does not need a separate assumption about the transverse little-group generators. These massless longitudinal Pauli-Lubanski eigenvalues agree with $W^{\mu }=j_3{P}^{\mu }$ for ordinary finite-helicity representations.

Finally, at rest the contraction is $m{W}_0=0$. For the chosen null momentum it is $k(W_0+W_3)$, whose two eigenvalues cancel. Thus both results obey $W_{\mu }{P}^{\mu }=0$. Reversing the epsilon orientation reverses all $W$ eigenvalues together; it leaves both identities and both consistency checks intact. For a literal anti-Hermitian derived representation $\rho$ of the printed real algebra, write $H_X=i\rho (X)$ for the Hermitian observable. Since $W_{\mu }$ is bilinear in generators, its abstract enveloping-algebra image is $\rho (W_{\mu })=-W_{\mu ,\mathrm{phys}}$. Thus the corresponding formal-image eigenvalues, if that convention is intended, areHere $\rho (P^{\mu })$ has eigenvalue $-i{p}^{\mu }$, while $p^{\mu }$ and $j_3$ themselves remain real physical labels. This is the same result after the Hermitian quantum generator convention is applied to both factors, not an inconsistent choice of spin sign. Both the Hermitian-observable and literal anti-Hermitian interpretations are consequently specified.

The strong-interaction matrix element between two spin-zero pseudoscalar mesons has only $p^{\mu }$ and $k^{\mu }$ available. The product of the two intrinsic parities is positive. An axial current would require a pseudovector constructed from these momenta, but an expression involving the Levi-Civita symbol needs three independent four-vectors and therefore vanishes. This is a consequence of parity conservation in the hadronic matrix element, not of parity conservation in the weak interaction. The vector current can have the two independent structures $p+k$ and $p-k$. Its coefficients are Lorentz scalars; with $p^2=m_K^2$ and $k^2=m_{\pi }^2$ fixed, their only varying invariant is $s=q^2$. HenceThese are the pseudoscalar-to-pseudoscalar form factors. With relativistically normalized states they are dimensionless. The vanishing axial matrix element and this decomposition explain the two equalities separately.

Write $q_1$ and $q_2$ for the outgoing electron and antineutrino momenta. From the Fermi interaction, an invariant scattering amplitude, up to an irrelevant overall sign or phase, isThe CKM matrix element $V_{us}$ multiplies the quark current in the convention of this interaction. Let ${\ell }_{\mu }=\bar{u}(q_1){\gamma }_{\mu }(1-{\gamma }^5)v(q_2)$. For massless leptons, the massless Dirac equation and chirality matrix anticommutation giveIn the second term move $/q_2$ through the chiral projector before applying $/q_{2}v=0$. Since $p+k=2p-q$, this transverse massless leptonic current givesThe disappearance of $f_{-}$ uses the massless approximation; for a massive charged lepton its contraction is proportional to the lepton mass.

Use the fermion spin sum and the supplied gamma matrix trace identities. The symmetric part of the leptonic tensor isThe Levi-Civita symbol term is antisymmetric and drops out when contracted with $p^{\mu }{p}^{\nu }$. ThusThere is no initial-spin average because the kaon is spinless. For the integrated massless leptonic tensor, keep every factor of $2\pi$ explicit and define the unnormalized two-lepton Lorentz-invariant phase spaceThe leptons are massless, so $q_i^0=|{\mathbf{q}}_i|$. Its trace is $g^{\mu \nu }{I}_{\mu \nu }=\pi s$. ThereforeThe three Lorentz-invariant phase-space measures and their momentum delta function contribute $1/[8(2\pi {)}^5]$, in addition to $1/(2m_K)$ in the decay rate. Combining them with the spin sum givesThis massless semileptonic pseudoscalar decay rate uses a two-lepton integral over future-timelike $q$ and the pion integral is restricted to the physically allowed region. The null endpoint follows by continuity. The coefficient has mass dimension $-5$, so the complete expression has mass dimension one, as a decay rate must in natural units.

In the kaon centre-of-momentum frame, put $E=k^0$ and $\kappa =|\mathbf{k}|$. ThenThe dimensionally consistent Källén function isThe pion-only mass term must have fourth power: the second power printed in the PDF is dimensionally inconsistent. This repair also follows directly from squaring $E=(m_K^2+m_{\pi }^2-s)/(2m_K)$. Angular integration and the change of variable givewhere the negative sign reverses the endpoints. Combining this with the bracket $\lambda /4$ yieldsThus $\boxed{B=G_F^2|V_{us}{|}^2/(192{\pi }^3{m}_K^3),a=0,b=(m_K-m_{\pi }{)}^2}$. The lower limit is the minimum invariant mass of two massless leptons; at the upper limit the pion is at rest. The coefficient has mass dimension $-7$, while $ds{\lambda }^{3/2}$ has dimension eight. The Källén function also shows why the differential decay rate vanishes at zero pion momentum.

The first index of the printed Levi-Civita symbol is fixed at $1$. Thus the matrix in the first orthonormal basis isThe specified matrix in the other basis is $I$, with determinant one. If this array were a Cartesian second-rank tensor, an orthogonal basis change would give $A^{\prime }=RA{R}^T$, andThe determinants disagree, proving the array is not a tensor. The fixed index matters: the TeX aid drops it, but the original PDF clearly prints ${ϵ}_{1ij}$.

Use the Einstein summation convention, with divergence ${\partial }_i{F}_i$ and curl $(\nabla \times \mathbf{F}{)}_i={ϵ}_{ijk}{\partial }_j{F}_k$, where ${ϵ}_{ijk}$ is the Levi-Civita symbol. For the first vector field,The derivative matrix is symmetric, so its contraction with the Levi-Civita symbol vanishes. For the second vector field,For the third vector field, $H_i={ϵ}_{ikl}{a}_k{x}_l/r$. Its divergence is zero because the Levi-Civita symbol contracts with symmetric products. For its curl, either contract two Levi-Civita symbols or use the vector triple product:ThusAll formulas hold on $r>0$, the domain where the radial unit vector is defined.