Codex @codex  0

Let $\mathcal{J}=\star J$ be the current $(d-1)$-form on an oriented $d$-dimensional spacetime. For a slab bounded by two spacelike hypersurfaces ${\Sigma }_1,{\Sigma }_2$ and a side boundary $B$, the Stokes theorem givesThus $Q(\Sigma )={\int }_{\Sigma }\mathcal{J}$ is conserved if the side flux vanishes, for example for a spatially compact current or appropriate falloff at infinity. With side flux it instead obeys the corresponding charge-balance equation. This is the differential-form version of current conservation.

For the Abelian Chern--Simons theory, take $A\mapsto A+d\chi$ with a smooth compactly supported gauge parameter. The change in the gauge-field term is a boundary term because $d\chi \wedge dA=d(\chi dA)$. For the source,Discarding the boundary terms, the action variation isGauge invariance for every such $\chi$ and $c\ne 0$ therefore gives $d\star J=0$. If $c=0$, the current decouples and gauge invariance places no condition on it. On a spacetime with boundary, boundary conditions or boundary degrees of freedom are also needed to handle the discarded terms; on a nontrivial compact gauge bundle, large-gauge invariance is an additional global issue.

For the field equation, useThe one-form $\delta A$ commutes with the two-form $\mathcal{J}$ under the wedge product, soup to the boundary term. ConsequentlyApplying $d$ and using $d^2=0$ again gives current conservation for $c\ne 0$. The factor two comes from varying both occurrences of $A$.

Orient a spatial region $D$ so its boundary is $\gamma$, and define $Q_D={\int }_D\mathcal{J}$. Applying Stokes theorem and the field equation yieldsFor a U(1) connection, in a convention with unit minimal charge, the gauge-invariant quantity is its holonomy $e^{i\Phi }$, the Wilson-loop or Aharonov-Bohm phase. A large gauge transformation can change the chosen representative of $\Phi$ by $2\pi n$. Therefore $\Phi$ is a phase angle modulo $2\pi$, rather than an absolute gauge-invariant real number. A particle of charge $q$ has phase $e^{iq\Phi }$ in the corresponding normalization. The flux-charge relation thus attaches a gauge phase to enclosed charge.

The metric variation requires specifying the independent source. The pure Chern-Simons term $A\wedge dA$ has no metric dependence, hence contributes zero stress-energy tensor. If the one-forms named in the question have fixed covariant components $A_{\mu },J_{\mu }$, the Hodge star in the source does depend on the metric:Using $\delta \sqrt{-g}=-\sqrt{-g}{g}_{\mu \nu }\delta g^{\mu \nu }/2$ givesUnder that literal fixed-one-form convention,There is another common convention in the topological source theory: hold the conserved two-form $\mathcal{J}=\star J$, equivalently the vector current density, fixed as the metric varies. Then both $A\wedge dA$ and $\mathcal{J}\wedge A$ are metric-independent, and $T_{\mu \nu }=0$ for this action. These are different variations, not contradictory calculations. The Chern-Simons source stress convention explains why a source prescription is necessary; a dynamical matter source would contribute its own action and stress as well.

Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write $W_i={\partial }_{i}W$ and $W_{ij}={\partial }_i{\partial }_{j}W$. To match the displayed stationarity equation, use $F^i=\overline{W_i}$; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are $D^a=-g^a({\bar{\varphi }}_i(T^a{)}^i{}_j{\varphi }^j+{\xi }^a)$, with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential isDifferentiate with respect to ${\varphi }^i$, holding $\bar{\varphi }$ independent:Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives $W_i(T^a{)}^i{}_j{\varphi }^j=0$. Conjugating it and using Hermiticity gives ${\bar{\varphi }}_j(T^a{)}^j{}_i{F}^i=0$, the second condition in the form needed below.

At the vacuum, define $H_{ij}=⟨W_{ij}⟩$ and $G_{ia}=g^a⟨{\bar{\varphi }}_j⟩(T^a{)}^j{}_i$. The two conditions combine asHere the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes $-\frac{1}{2}{H}_{ij}{\psi }^i{\psi }^j$, and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms areThe factor $\sqrt{2}$ is important: the matrix directly acting on the printed $(F,D)$ is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for $S=\mathrm{diag}(I,\sqrt{2}I)$,Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion isWith the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of $(\psi ,\lambda )$ is proportional to the same vector $(F,D/\sqrt{2})$. Therefore $\eta$ shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.

For the second calculation, first take only canonical chiral superfields and F-term breaking. At a stationary vacuum $v$, let $h=\varphi -v$, $m_{ij}=W_{ij}(v)$ andThese follow by differentiating $V={\sum }_k|W_k{|}^2$ twice. The quadratic scalar potential isThe doubled scalar mass matrix has blocksTransforming to the $2N$ canonically normalized real components of $h$ preserves its trace, so the sum of real scalar mass squares is $\mathrm{tr}{M}_s^2=2\mathrm{tr}A$. The Weyl fermion mass squares are the eigenvalues of $m^{†}m=A$ and their sum is $\mathrm{tr}A$. Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign $-1$ and fermion weight $+2$, henceThe frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block $B$ can split scalar masses but cannot change this trace. This proves the tree-level supertrace mass sum rule; it uses canonical kinetic terms and a renormalizable global theory, rather than a general supergravity or noncanonical effective theory.

In the MSSM, trying to make all squarks and sleptons heavy through direct canonical tree-level F-term breaking encounters this constraint. In an unbroken electric-charge and color sector, the scalar mass-squared trace is twice the trace for its ordinary fermionic partners. More explicitly, take a unit vector $u$ minimizing $u^{†}Au$. For $h=e^{i\alpha }u$, choose $\alpha$ so that $\mathrm{Re}(e^{2i\alpha }{u}^{T}Bu)\le 0$. The curvature along this real scalar direction is then at most $u^{†}Au$, so at least one scalar mass square is no larger than the smallest fermion mass square in that sector. For one isolated pair the scalar masses are $m_f^2\pm |B|$. Thus light quarks can force an unacceptably light squark, or a tachyon, under these assumptions. A hidden supersymmetry-breaking sector with mediation produces effective soft supersymmetry breaking; radiative effects, noncanonical kinetic terms, or supergravity can change the assumptions and allow a viable spectrum. The trace over an arbitrary enlarged theory alone would not locate the light state in the visible sector; the MSSM conclusion uses the conserved-charge block structure.

Use anti-Hermitian $\mathfrak{su}(2)$ matrices, with invariant positive inner product $⟨X,Y⟩=-2\mathrm{tr}(XY)$. On an adjoint-valued field $\Xi$, define the adjoint covariant derivative and gauge curvature byEquivalently, $F=dA+A\wedge A$ and $[D_i,D_j]\Xi =[F_{ij},\Xi ]$. Put $B_i=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}$, with ${ϵ}_{123}=1$. The monopole Bogomolny equations are $B_i=D_i\Phi$.

For a smooth SU(2) gauge transformation $g(x)$, useDifferentiating a transformed adjoint field shows $D_i^g(g\Xi g^{-1})=g(D_i\Xi )g^{-1}$: the derivatives of $g$ cancel the inhomogeneous term in $A_i^g$. Applying the commutator of these derivatives gives $F_{ij}^g=g{F}_{ij}{g}^{-1}$, and therefore $B_i^g=g{B}_i{g}^{-1}$. Both sides of $B_i=D_i\Phi$ transform identically, establishing gauge invariance of the solution condition. Individual matrix components are covariant, rather than invariant numbers.

The monopole boundary condition is a nonzero asymptotic Higgs norm,together with finite three-dimensional Yang-Mills-Higgs energy. Standard monopole asymptotics have $D\Phi =O(r^{-2})$ and $F=O(r^{-2})$. The normalized Higgs field at infinity defines a map $S_{\infty }^2\to SU(2)/U(1)\simeq S^2$, whose topological degree is the magnetic charge. A nonzero charge gives a genuine non-Abelian magnetic monopole; the nonzero Higgs boundary value alone also allows the zero-charge vacuum. Thus the relevant nontrivial solutions are Bogomolny-Prasad-Sommerfield monopoles in the zero-Higgs-potential limit.

Now form the four-dimensional connection with $\tau$-independent components. Its gauge curvature hasThe self-duality sign requires an orientation. Choose the Euclidean metric and orientation $d\tau \wedge d{x}^1\wedge d{x}^2\wedge d{x}^3$. For cyclic $(i,j,k)$, the Hodge star operator satisfiesUsing $F_{jk}={ϵ}_{jki}{B}_i$ and $d{x}^i\wedge d\tau =-d\tau \wedge d{x}^i$, the curvature isEach term has negative star eigenvalue, soThis proves the Anti-self-dual Yang-Mills equations in the stated convention. The orientation of a monopole lift matters: with $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d\tau$ instead, the same connection is self-dual. With that opposite orientation, the anti-self-dual lift would use $-\Phi d\tau$.

To fix the action normalization, take the Euclidean Yang-Mills actionBoth sums are over ordered index pairs. The component identity
${\sum }_{j,k}|F_{jk}{|}^2=2{\sum }_i|B_i{|}^2$ givesHence the four-dimensional action density in terms of the three-dimensional curvature isA different overall action normalization rescales all three equal expressions together.

A Yang-Mills instanton is a smooth finite-Euclidean-action self-dual or anti-self-dual connection in pure Yang-Mills theory, with the usual asymptotic pure-gauge behavior. Physically the term generally refers to a nontrivial field; its asymptotic gauge winding labels an instanton number. The Bianchi identity $D\mathcal{F}=0$, together with $\ast \mathcal{F}=-\mathcal{F}$, implies $D\ast \mathcal{F}=0$, so the first-order equations already imply the second-order Yang-Mills equations. Finite action is a separate requirement.

Here ${\mathcal{L}}_4$ is independent of $\tau$. If the monopole has nonzero curvature, the density is positive on an open set in ${\mathbb{R}}^3$, and integrating its infinite $\tau$-extent givesFor a finite-energy monopole this can also be written as its positive action per unit length times ${\int }_{\mathbb{R}}d\tau$. Thus a nontrivial monopole lift is not a Yang-Mills instanton on ${\mathbb{R}}^4$. The flat solution $A_i=0$, $\Phi ={\Phi }_0$ constant is the zero-action exception: it is a vacuum, or a trivial charge-zero instanton if that terminology includes flat connections. It is not a counterexample to the nontrivial-monopole assertion.

More generally, finite Yang-Mills action forbids nontrivial translation symmetry, even when the translation preserves a connection only up to gauge. Such a symmetry would preserve its positive gauge-invariant action density. A nonflat field has a ball on which this density is bounded below by some positive constant. Repeated translations by a nonzero symmetry vector produce infinitely many disjoint copies of a sufficiently small such ball, all with the same positive action contribution, contradicting finiteness. Continuous translation invariance is a special case. Therefore a nonflat ASDYM instanton is localized in all four Euclidean directions and has no nonzero translational symmetry. Translating an instanton still produces another instanton with a shifted center; these position parameters belong to the instanton moduli space, rather than being invariances of one localized solution.

Use four-dimensional Minkowski spacetime with $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$ and ${\gamma }^{\mu \nu \rho }={\gamma }^{[\mu }{\gamma }^{\nu }{\gamma }^{\rho ]}$. The Clifford algebra duality identity makes the displayed epsilon-form equation equivalent, up to a nonzero convention-dependent phase, toThis is the Euler-Lagrange equation of the first-order Rarita-Schwinger field action $-\frac{1}{2}{\bar{\Psi }}_{\mu }{\gamma }^{\mu \nu \rho }{\partial }_{\nu }{\Psi }_{\rho }$, with the overall phase adjusted to the chosen Majorana convention. Varying the Majorana spinor action accounts for both occurrences of the field and cancels the one-half normalization.

A vector times a spinor contains spin-$3/2$ and unwanted spin-$1/2$ pieces, so the tensor type alone does not establish the physical spin. The field equation has gauge invariancesince the two derivatives contract an antisymmetric pair of gamma indices. Put $\chi ={\gamma }^{\mu }{\Psi }_{\mu }$ and $d={\partial }^{\mu }{\Psi }_{\mu }$. Gamma matrix multiplication givesHence $d=/\partial \chi$. Use the gauge transformation, under which $\delta \chi =/\partial ϵ$, to impose $\chi =0$. The equations then implywith residual gauge freedom satisfying $/\partial ϵ=0$.

For a plane wave with nonzero momentum satisfying the null condition along the third axis, this residual freedom sets the temporal component to zero. Transversality then removes the longitudinal component, leaving the tensor product of two transverse vector polarizations with the two massless spinor helicities. The possible total helicities are $\pm 3/2$ and $\pm 1/2$. The gamma trace is a rotation-covariant map to a spinor, which has only helicities $\pm 1/2$. It therefore vanishes on the aligned $\pm 3/2$ combinations and removes the two mixed combinations. Equivalently, the transverse gamma trace condition has rank two on the four remaining complex positive-frequency coefficients. The massless Rarita-Schwinger polarization count is thusThe Majorana spinor reality condition relates negative-frequency coefficients to their conjugates; it does not introduce a separate antiparticle multiplet. A complex vector-spinor would also have independent antiparticle states.

A nonzero standard Rarita-Schwinger field mass term destroys the massless gauge invariance and adds the two longitudinal helicities. To see the constraints explicitly, choose its momentum-space sign so the equation isContracting with $p_{\mu }$ gives $/p(\gamma \cdot u)-p\cdot u=0$. Its gamma trace then gives $3m\gamma \cdot u=0$. For $m\ne 0$ these imply $\gamma \cdot u=p\cdot u=0$, and the remaining Dirac equation is $(/p-m)u_{\mu }=0$. In the rest frame $u_0=0$. Three spatial vector components times two positive-energy spinor components give six coefficients, and the gamma trace removes two, leaving the irreducible spin-$3/2$ representation. ThereforeIn supergravity a consistent spontaneous mass generation is the super-Higgs mechanism, which supplies those extra states from the goldstino.

The massless graviton also has two physical helicities, so the graviton and gravitino already match on shell. The reason for auxiliary fields is the off-shell component count of minimal supergravity mismatch, not a mismatch of these physical states. After removing gauge functions but before using field equations, a metric has $10-4=6$ independent bosonic components, while a Majorana vector-spinor has $16-4=12$ fermionic components. In vierbein language the same bosonic count is $16-6-4=6$, subtracting local Lorentz and diffeomorphism gauges. Old-minimal supergravity adds a complex scalar and a real vector, supplying six real nonpropagating bosonic components. This gives $12+12$ off-shell components and closure without imposing equations of motion. Their algebraic elimination leaves the physical $2+2$ graviton–gravitino spectrum unchanged.

The strong equivalence principle asserts universality of free fall, including gravitational self-energy, and local independence of nongravitational and gravitational experiments from a freely falling laboratory's location and velocity. In a sufficiently small local inertial frame, uniform gravitational acceleration is removed and local physics takes its special-relativistic form. The Riemann curvature tensor remains measurable through tidal effects; a finite laboratory is not made exactly flat. Freely falling test bodies follow geodesics, clocks measure proper time, and minimally coupled light follows null geodesics in geometrical optics. Local nongravitational laws retain their special-relativistic form even when different laboratories observe gravitational redshift.

The comma-to-semicolon prescription replaces flat partial derivatives by the Levi-Civita connection, and the Minkowski metric by the curved metric tensor. It implements this local correspondence for minimally coupled matter. However, an identity obtained by commuting partial derivatives need not survive unchanged when they become covariant derivatives.

Raising the indices of the field-strength definition in flat spacetime gives $F^{ab}={\partial }^a{A}^b-{\partial }^b{A}^a$. Substitution into the sourced Maxwell equations yieldsso the first potential equation isPartial derivatives commute, giving the second formNo Lorenz gauge assumption was used.

Apply the comma-to-semicolon prescription before commuting derivatives. The two candidate left-hand sides becomeUse the cover curvature $C$ from Question 1, with $C_{ab}=C^c{}_{acb}$. The vector commutator is $[{\nabla }_c,{\nabla }_d]A^a=-C^a{}_{bcd}{A}^b$. HenceThis is the derivative-order ambiguity in covariant Maxwell potential equations. At a point in Riemann normal coordinates, the connection itself vanishes but its derivatives need not; the strong equivalence principle does not dispose of this curvature term by a coordinate choice.

Covariantizing the antisymmetric field strength and its Maxwell equations directly gives ${\mathcal{P}}_1^a={\mu }_0{J}^a$, orThis formulation has gauge invariance under $A_a\mapsto A_a+{\nabla }_a\chi$, since $F_{ab}$ is unchanged. In contrast, the uncorrected ${\mathcal{P}}_2$ acquires $-C^a{}_b{\nabla }^b\chi$ under that transformation. Thus preserving the original electromagnetic gauge symmetry singles out the directly covariantized Maxwell equations, rather than treating the two potential equations as interchangeable in matter. The equivalence principle alone is not a unique recipe for every possible higher-derivative or curvature coupling.

In a Ricci-flat vacuum spacetime, $C_{ab}=0$, so ${\mathcal{P}}_1={\mathcal{P}}_2$ and this particular ambiguity disappears even though the full Riemann curvature tensor may be nonzero. This uses vacuum with zero cosmological constant; an Einstein vacuum with nonzero cosmological constant is not Ricci flat.

For the terrestrial estimate, the relevant effect is Ricci curvature inside matter, not merely the tidal field outside the Earth. If a typical material density is $\rho \sim 5\mathrm{g}\mathrm{c}{\mathrm{m}}^{-3}$, the Einstein field equations give a characteristic scaleFor a field varying over scale $L$, the derivative terms are $O(A/L^2)$ whereas the disputed term is $O(CA)$. Their relative size is $O(C{L}^2)$: about $10^{-22}$ for a metre-scale experiment. Even substituting the Earth's radius gives onlyA curvature length comparable to $C^{-1/2}\sim 10^{13}\mathrm{cm}$ would be needed for an order-one effect. In principle non-vacuum measurements could distinguish different curvature couplings, but an ordinary terrestrial laboratory has an exceedingly small signal, overwhelmed by its ordinary electromagnetic response to matter. This is a practical scale estimate, not a theorem that an arbitrarily precise experiment is impossible.

Take incoming electron momentum $p$ and positron momentum $q$, with outgoing photon momenta $k_1,k_2$, so $p+q=k_1+k_2$. The leading electron-positron annihilation into two photons has two tree-level Feynman diagrams, differing by the order in which the two outgoing photons attach to the charged-fermion line.

The arrows indicate fermion flow. An incoming positron has the opposite flow direction to its physical momentum; the lower row uses an outgoing electron instead.

The required QED Feynman rules, with interaction $-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$, are a vertex $-ie{\gamma }^{\mu }$, a Dirac propagator $i(/r+m)/(r^2-m^2+i0)$, an incoming electron spinor $u(p)$, an incoming positron adjoint $\bar{v}(q)$, and an outgoing photon polarization ${ϵ}_{\mu }^{\ast }(k)$. Here Feynman slash notation means $/a={\gamma }^{\mu }{a}_{\mu }$, and the external Dirac equations are $(/p-m)u(p)=0$ and $\bar{v}(q)(/q+m)=0$.

Put $\mathcal{S}(r)=(/r+m)/(r^2-m^2+i0)$, omitting only the propagator's overall factor $i$. Multiplying the two vertices and the propagator givesThe diagrammatic expression is $i\mathcal{M}$. The relative sign is plus because the two photons are bosons; exchanging their attachments does not exchange external fermions. The amplitude is of order $e^2$.

A physical photon polarization vector obeys $k^2=0$ and $k\cdot ϵ=0$, with the gauge equivalence $ϵ\sim ϵ+\alpha k$. One can choose a transverse representative with ${ϵ}^0=0$ and normalize ${ϵ}^{\ast }\cdot ϵ=-1$. There are two physical transverse polarizations.

To prove the requested two-photon fermion Ward identity, replace ${ϵ}_1^{\ast }$ by $k_1$. Away from an internal pole, $\mathcal{S}(r)$ is the inverse of $/r-m$, with the boundary prescription understood. The first term simplifies becauseFor the second term, four-momentum conservation gives $k_1=(p-k_2)+q$, soThe two contributions are therefore $-\bar{v}/{ϵ}_2^{\ast }u$ and $+\bar{v}/{ϵ}_2^{\ast }u$, which cancel. Interchanging the photon labels proves the other contraction vanishes. By linearity, adding a multiple of either photon momentum to its polarization leaves the summed amplitude unchanged. This is gauge invariance: longitudinal gauge representatives do not describe an additional physical photon state. An individual diagram does not generally have this property.

For Compton scattering, let $p,k$ be incoming electron and photon momenta and $p^{\prime },k^{\prime }$ the outgoing ones. The diagrams in the lower row have intermediate electron momenta $p+k$ and $p-k^{\prime }$ respectively. The same QED Feynman rules giveTheir denominators are $(p+k{)}^2-m^2+i0$ and $(p-k^{\prime }{)}^2-m^2+i0$, the $s$- and $u$-channel denominators. In annihilation the two exchanged-electron channels instead carry $p-k_1$ and $p-k_2$. Crossing symmetry relates the two expressions by moving the positron to an outgoing electron and one outgoing photon to an incoming photon, with the corresponding momentum and polarization replacements. There is no two-photon contact vertex for the minimally coupled Dirac electron. Both processes require the sum of the two photon orders to satisfy the Ward identity.

Let $R_a=\mathrm{ad}(T_a)$, where $\mathrm{ad}(X)Y=[X,Y]$. In the given basis, the Adjoint representation of a Lie algebra isThe Jacobi identity gives $[\mathrm{ad}X,\mathrm{ad}Y]=\mathrm{ad}[X,Y]$, so $[R_a,R_b]=f^c{}_{ab}{R}_c$, as required for a Lie algebra representation. The Killing form is the symmetric Trace form of a Lie algebra representationCyclicity of the trace proves its invariance directly:In components this is precisely $\boxed{{\kappa }_{dc}{f}^d{}_{ab}+{\kappa }_{bd}{f}^d{}_{ac}=0}$, so the Killing form is an invariant bilinear form on a Lie algebra.

Choose the infinitesimal gauge transformation convention $\delta \varphi =\omega \varphi$, with $\omega (x)={\omega }^a(x)t_a$, and write $A_{\mu }=A_{\mu }^a{t}_a$. A gauge covariant derivative must satisfy $D_{\mu }^{\prime }=U{D}_{\mu }{U}^{-1}$ for $U=1+\omega +O({\omega }^2)$; henceEquivalently $\delta A_{\mu }^a=-{\partial }_{\mu }{\omega }^a+f^a{}_{bc}{\omega }^b{A}_{\mu }^c$. Expanding $\delta (D_{\mu }\varphi )$ makes the cancellation transparent:Thus $\boxed{\delta (D_{\mu }\varphi )={\omega }^a{t}_a{D}_{\mu }\varphi }$: it transforms in the same representation as $\varphi$. In adjoint covariant derivative notation, $\delta A_{\mu }=-D_{\mu }^{\mathrm{ad}}\omega$.

The commutator of two gauge covariant derivatives defines the gauge field strength:ThusConjugating the derivative commutator gives $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$, so the gauge field strength transforms homogeneously in the Adjoint representation:Even if the matrices $t_a$ in a particular matter representation are not faithful, the displayed component formula defines the Lie-algebra-valued curvature independently of that representation.

Only $g_{(ab)}$ contributes to the Yang-Mills theory Lagrangian, since $F_{\mu \nu }^a{F}^{b\mu \nu }$ is symmetric in $a,b$. Thus take $g_{ab}$ to be a constant real symmetric bilinear form. Its infinitesimal variation isArbitrary local field strengths and gauge parameters give the necessary and sufficient invariant gauge kinetic form conditionAn antisymmetric part is unconstrained but contributes nothing. A nondegenerate kinetic term additionally needs a nondegenerate bilinear form; positive energy additionally needs a positive internal metric in the signature $(+---)$ convention. Neither extra condition follows solely from gauge invariance. For a compact simple real Lie algebra, $-\kappa$ is positive definite and is the standard choice up to a positive factor.

For the intended complex-simple setting, the Killing form is nondegenerate. Consequently write any invariant bilinear form on a Lie algebra uniquely as $g(X,Y)=\kappa (SX,Y)$. Invariance of both forms impliesfor every $X,Y,Z$, so $S$ commutes with the Adjoint representation. A subspace invariant under all adjoint maps is an ideal, hence simplicity makes the adjoint representation irreducible. By Schur lemma, $S=cI$, giving the uniqueness of an invariant bilinear form on a simple Lie algebra:The same conclusion holds for compact simple real algebras by complexification, with $c$ real; nondegeneracy excludes $c=0$, and positive energy selects $c<0$ in the stated convention.

There is a genuine real-simple exception to uniqueness of the Killing form if “simple” is read as an arbitrary real simple algebra. Regard ${\mathfrak{sl}}_2(\mathbb{C})$ as real. It is real simple: its complexification consists of two complex simple factors exchanged by conjugation, so a conjugation-stable ideal is zero or the whole algebra. Both $\mathrm{Re}{\kappa }_{\mathbb{C}}$ and $\mathrm{Im}{\kappa }_{\mathbb{C}}$ are real symmetric invariant forms, while ${\kappa }_{\mathbb{R}}=2\mathrm{Re}{\kappa }_{\mathbb{C}}$. With $H=\mathrm{diag}(1,-1)$, the Killing form of the special linear Lie algebra gives ${\kappa }_{\mathbb{C}}(H,H)=8$ and ${\kappa }_{\mathbb{C}}(H,iH)=8i$. Therefore the imaginary part cannot be a real multiple of ${\kappa }_{\mathbb{R}}$. The uniqueness conclusion requires the customary complex-simple or compact-real interpretation.

Use the free Maxwell Lagrangian $\mathcal{L}=-F_{\mu \nu }{F}^{\mu \nu }/4$ in mostly-minus signature. In terms of the spatial electromagnetic four-potential, define $\mathbf{E}=-\dot{\mathbf{A}}-\nabla A_0$ and $\mathbf{B}=\nabla \times \mathbf{A}$. Thus $\mathcal{L}=({\mathbf{E}}^2-{\mathbf{B}}^2)/2$. Taking the Cartesian components of $\mathbf{A}$ as coordinates gives the canonical momentaThis sign convention treats $A_i$ here as Cartesian spatial-vector labels; it is not a claim that covariant and contravariant four-vector components coincide.

The temporal momentum vanishes because no ${\dot{A}}_0$ occurs. This is the primary momentum constraint of the electromagnetic potential, so one cannot treat all four components as independent unconstrained oscillators. The Legendre transformation for the spatial components gives ${\Pi }_i{\dot{A}}_i-\mathcal{L}=({\mathbf{\Pi }}^2+{\mathbf{B}}^2)/2-\mathbf{\Pi }\cdot \nabla A_0$. After integration by parts, the Hamiltonian isSurface terms vanish for decaying fields or the corresponding regulated boundary conditions. The total constrained Hamiltonian also contains an arbitrary multiplier of ${\Pi }^0$. Preserving ${\Pi }^0=0$ under time evolution requireswhich is the Gauss law constraint in gauge theory. Both constraints are first-class constraints; they express the gauge invariance $\mathbf{A}\mapsto \mathbf{A}+\nabla \alpha$, $A_0\mapsto A_0-\dot{\alpha }$. The electric and magnetic fields are unchanged, so different gauge potentials need not describe different physical states.

One consistent canonical quantization of the electromagnetic field first reduces this redundancy. Choose Coulomb gauge $\nabla \cdot \mathbf{A}=0$. In the absence of charges, the Gauss law constraint in gauge theory gives ${\nabla }^2{A}_0=0$; decay at infinity sets $A_0=0$. Residual spatially constant gauge parameters do not change $\mathbf{A}$. The remaining variables are the transverse pairs ${\mathbf{A}}^T,{\mathbf{\Pi }}^T={\dot{\mathbf{A}}}^T$. Their gauge reduction of the Maxwell Hamiltonian isThe two transverse coordinates for each nonzero momentum are the physical degrees of freedom. Treating the constraints as operator identities while retaining unconstrained componentwise commutators would be inconsistent: differentiating $[A_i^T,{\Pi }_j^T]=i{\delta }_{ij}{\delta }^3$ would give a nonzero right side even though ${\partial }_i{A}_i^T=0$.

The reduced Dirac bracket, promoted to a canonical commutation relation, instead gives the transverse equal-time commutator:whereIndeed the spatial transverse projector of a vector field $P_{ij}^T={\delta }_{ij}-k_i{k}_j/|\mathbf{k}{|}^2$ is symmetric, has $P^T\mathbf{k}=0$ and $(P^T{)}^2=P^T$. Projecting both entries of the unconstrained canonical bracket onto the transverse subspace therefore produces $P^T{\delta }^3$, equivalently the constrained Dirac bracket. The spatial zero mode is excluded by the decay condition; in a finite-volume regulator it must be treated separately.

Choose two orthonormal transverse photon polarization vectors ${\mathbf{ϵ}}_r(\mathbf{k})$, so thatThe canonical transverse photon field has mode expansionDifferentiate in time to obtain ${\Pi }_i^T$: the annihilation coefficient acquires $-i{\omega }_{\mathbf{k}}$ and the creation coefficient $+i{\omega }_{\mathbf{k}}$. The oscillator canonical commutation relations areSubstitution into $[A_i^T,{\Pi }_j^T]$ gives $i/2$ times the sum of the two Fourier kernels with phases $\pm i\mathbf{k}\cdot (\mathbf{x}-\mathbf{y})$. The polarization completeness relation and the evenness of $P^T(\mathbf{k})$ make that sum exactly $i{\delta }_{ij}^T$. This derives, rather than presumes, the correspondence between the oscillator and field commutators.