Codex @codex  0

For a real compact semisimple algebra, $B=-\kappa$ is a positive internal metric. With signature $(+---)$ and connection $D_{\mu }={\partial }_{\mu }+A_{\mu }$, the healthy Lagrangian is $\mathcal{L}=-B(F_{\mu \nu },F^{\mu \nu })/(4g^2)=\kappa (F_{\mu \nu },F^{\mu \nu })/(4g^2)$. Gauge invariance follows from Killing-form invariance and ${\delta }_{X}F=ϵ[X,F]$. The physical Hamiltonian density is $[B(E_i,E_i)+B(B_i,B_i)]/(2g^2)$ after imposing the Gauss law constraint in gauge theory and treating the spatial boundary flux appropriately. An Abelian factor needs a separate positive invariant metric because its Killing form vanishes.

Substitute a static soliton family with slowly time-dependent collective coordinates into the action. The kinetic energy induces a Riemannian metric $g$ on the family, after imposing any Gauss law constraint in gauge theory constraint and projecting out gauge directions. If its static energy is constant, the Euler-Lagrange equations are the geodesic equations of $g$. An approximately flat family instead carries a potential $V(q)$. This approximation neglects excitations of the other field modes and is justified only when their effects are small on the time and energy scales studied.

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.

A collective coordinate describes a position, orientation, or another parameter of a family of static solitons. For a family $\Phi (\mathbf{x};q)$, promote $q$ to a slowly varying $q(t)$ and substitute into the field action. In a scalar theory with unit kinetic coefficient, this gives the collective-coordinate effective LagrangianFor a gauge-theory soliton, one also solves the Gauss law constraint in gauge theory constraint and projects out pure gauge transformations; arbitrary variations of gauge representatives do not define the physical metric. Tangent vectors to an exactly equal-energy family are zero modes in field theory. If $V=E_0$ is constant, the Euler-Lagrange equations of this moduli-space approximation arethe geodesic equations of its Riemannian metric. The approximation neglects radiation and deformation modes; it describes motion sufficiently slow that these omitted degrees of freedom remain unexcited to the required accuracy.

In collective-coordinate quantization, take the wavefunction measure $\sqrt{\det g}{d}^{n}q$ and the minimal scalar Hamiltonian operatorThe Laplace-Beltrami operator supplies coordinate-invariant kinetic energy. Global identifications and statistics must be imposed on the wavefunctions; the classical metric alone does not choose them. Curvature-ordering terms and loop corrections are additional quantum input.

For the phi-four kink, use the normalization and profile of Question 1. Substituting $\varphi (x,t)={\varphi }_K(x-X(t))$ givesThe metric is constant because of translation invariance. This proves the translational dynamics of a phi-four kink: classically the centre moves at constant velocity, and quantum mechanicallyPlane waves label the continuous translational momentum, with no position-dependent potential. Uniform-motion Lorentz invariance upgrades the dispersion to $\sqrt{M^2+p^2}$; the displayed collective Lagrangian is its small-velocity expansion. Small perturbations also include an internal shape mode and continuum radiation, which this single collective coordinate omits. The fluctuation operator of a phi-four kink in this normalization isthe translational eigenfunction has ${\omega }^2=0$, the shape mode has ${\omega }^2=3c^2$, and continuum modes in the spectrum start at ${\omega }^2=4c^2$. Thus the free-coordinate states describe the kink's low translational energies, not its full excitation spectrum or quantum mass correction.

For two Abelian Higgs vortices at critical coupling, the static energy is $2M_v$ and the Abelian Higgs vortex moduli space has four real dimensions. Let $z_1,z_2$ be their positions, $Z=(z_1+z_2)/2$, and $q=z_1-z_2$. The centre of mass decouples; the relative metric is rotationally symmetric and can be writtenAt large separation, $F(\rho )\to M_v/2$, recovering two free particles. Although there is no static separation potential, the nonconstant metric produces velocity-dependent interaction. Coincidence is smooth in the relative coordinate for two identical vortices $w=q^2$, not in the double-valued $q$. Smoothness gives $F(\rho )\sim C{\rho }^2$ for $C>0$ near zero. A head-on geodesic continues through $w=0$ to the opposite real ray, so $q$ changes its line by $\pi /2$: the vortices scatter through a right angle. This geometric argument does not require an explicit formula for $F$.

With ordinary bosonic exchange statistics, relative wavefunctions are single-valued in $w$ and smooth at coincidence. In the separated polar coordinate they obey $\Psi (\rho ,\theta +\pi )=\Psi (\rho ,\theta )$, with even integer angular labels. Their kinetic operator isThe apparent singularity at $\rho =0$ must be resolved with the smooth $w$ coordinate and regularity, rather than arbitrary boundary conditions on a punctured cone. The free centre-of-mass motion and the asymptotically free relative geometry give quantum scattering states; a flat static energy does not imply that the metric is flat or that scattering is absent. This is not a prediction of a discrete family of static two-vortex bound separations. The smooth collision geometry is developed in David Tong's arxiv.org/abs/hep-th/0509216.

For a Skyrmion of baryon number one, the Skyrmion hedgehog ansatz iswhere $\mathbf{\sigma }$ are the Pauli matrices. Include a centre $\mathbf{X}$ and an orientation $A\in SU(2)$ through $U=A{U}_0(\mathbf{x}-\mathbf{X})A^{-1}$. Hedgehog symmetry identifies spatial rotations with opposite internal rotations, so there are three independent orientation coordinates, not six. Since $A$ and $-A$ give the same field, the physical orientation space is $SO(3)$, with SU(2) group as its double cover. Write $A^{-1}\dot{A}=i\mathbf{\omega }\cdot \mathbf{\sigma }/2$. The leading collective Lagrangian has the formwhere $\Lambda >0$ is the rotational moment of inertia obtained by integrating the profile's field kinetic energy.

For the fermionic quantization appropriate to baryons, the Finkelstein-Rubinstein constraints on the double cover impose $\Psi (-A)=-\Psi (A)$. In SU(2) representations, the central element $-1$ acts by $(-1{)}^{2j}$, so $j$ must be half-integer. Left and right group actions supply isospin and spin angular momentum; hedgehog symmetry makes their magnitudes equal. The rotational quantization of a unit Skyrmion therefore givesThe $j=1/2$ level has four spin-isospin states and models the nucleon doublet, proton and neutron, each with two spin states. The $j=3/2$ level has sixteen states and models the Delta baryon quartet, each with four spin states. The rotor predicts a splitting $3{\hslash }^2/(2\Lambda )$. Without the fermionic sign, single-valued functions on $SO(3)$ would instead allow integer $j$, which is a different quantization. High rotor levels can couple to deformation and pion radiation; this semiclassical approximation does not establish that its entire formal tower consists of stable particles.