Codex @codex  0

Choose the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+ig{A}_{\mu }$ and matter transformation ${\varphi }^{\prime }=h\varphi$. Covariance $D_{\mu }^{\prime }{\varphi }^{\prime }=h{D}_{\mu }\varphi$ forces $A_{\mu }^{\prime }=h{A}_{\mu }{h}^{-1}+(i/g)({\partial }_{\mu }h)h^{-1}$. For $h=1-ig\omega +O({\omega }^2)$, expansion gives the displayed adjoint covariant derivative variation. With an orthonormal Hermitian Lie-algebra basis, $\delta A_{\mu }^a={\partial }_{\mu }{\omega }^a-g{f}^{abc}{A}_{\mu }^b{\omega }^c$. Thus Lorenz-gauge variation is $\delta (\partial \cdot A)=\partial \cdot \mathcal{D}\omega$. Choosing the Faddeev-Popov operator as $\mathcal{M}=-\partial \cdot \mathcal{D}$, with its field-independent sign absorbed in normalization, gives ghost action $-\bar{c}\partial \cdot \mathcal{D}c$; consistent propagator and vertex signs follow from this choice.

For a background gauge field with $A_0=Z_A^{1/2}A$ and $g_0={\mu }^{ϵ/2}{Z}_{g}g$, background gauge covariance preserves the combination $gA$ in the gauge covariant derivative. Its Ward identity therefore gives the displayed relation. This refers to background-field renormalization, not an unrestricted identity between the coupling and the ordinary quantum-gluon wave-function factor. Gauge-invariant one-loop matter determinants can be renormalized with this identity to extract their coupling running from vacuum polarization.

In two dimensions, scale ${\Phi }_{\lambda }(x)=\Phi (\lambda x)$ and $A_{j,\lambda }(x)=\lambda A_j(\lambda x)$. The magnetic field has scaling weight two, the gauge covariant derivative of the Higgs field has weight one, and the potential has weight zero. Their integrated energies therefore have the powers shown. Stationarity gives $E_B=E_P$, a Derrick virial identity. This balance allows a planar Abelian Higgs vortex to have finite size even though a scalar-gradient-plus-nonnegative-potential model has no comparable magnetic term.

The Dirac equation is the relativistic equation of motion for a spin-one-half Dirac field, $(i{\gamma }^{\mu }{\partial }_{\mu }-m)\psi =0$, in units $\hslash =c=1$. The gamma matrices obey the Clifford algebra, ensuring that each component also obeys the free Klein-Gordon equation.

Being first order in time allows an initial spinor to determine its subsequent free evolution. The components encode spin as well as particle and antiparticle solutions; quantization interprets both kinds of excitation with positive physical energy. Coupling through the gauge covariant derivative describes an electron interacting with an electromagnetic field. The nonrelativistic limit contains the coupling of spin to a magnetic field, explaining why a scalar relativistic wave equation alone cannot describe an electron.

A gauge coupling is the constant multiplying the gauge potential in the gauge covariant derivative. Its normalization depends on that of the Lie-algebra generators; each simple or Abelian factor of a gauge algebra may have an independent coupling.

A gauge covariant derivative combines an ordinary derivative with a gauge field so that differentiating a field preserves its gauge-transformation law. In a matrix representation one common convention is $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$.

The Jacobi identity for gauge covariant derivatives gives $D_{[\mu }{F}_{\nu \rho ]}=0$. In four dimensions this is $D_{\mu }{\tilde{F}}^{\mu \nu }=0$, with ${\tilde{F}}^{\mu \nu }=\frac{1}{2}{\epsilon }^{\mu \nu \rho \sigma }{F}_{\rho \sigma }$. It holds independently of the Yang-Mills equations.

For the Killing form or another invariant bilinear form on a Lie algebra,The connection terms cancel by invariance. Thus, for compactly supported variations, a gauge covariant derivative can be moved to the other factor in an integral with a minus sign, just as an ordinary derivative.

// Target: quantum-field-theory.bigb

When $|\Phi |\to 1$ and its gauge covariant derivative decays fast enough, on a large circle write $\Phi =\rho e^{i\chi }$ locally. The tangential derivative gives $A=d\chi -\mathrm{Im}(\overline{\Phi }D\Phi )/{\rho }^2$. The integrated error tends to zero, so Stokes theorem turns total magnetic flux into the phase change $2\pi N$. This integer is the winding number of the normalized Higgs field on the circle. For positive Bogomolny vortex equations it is the total zero multiplicity.

Replace the derivative in the Dirac action by the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$. The interaction is then $-q{A}_{\mu }\bar{\Psi }{\gamma }^{\mu }\Psi$. With $\Psi \mapsto e^{-iq\alpha }\Psi$ and $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha$, the covariant derivative transforms in the same way as the spinor, proving local gauge invariance.

Let $g$ and $g^{\prime }$ be the two gauge couplings. In unitary gauge, $\Phi =(0,0,v+h{)}^T$ and the weak hypercharge term in the gauge covariant derivative vanishes. Using $(T^a{)}_{bc}=-i{ϵ}_{abc}$, the kinetic term becomesThus, in the basis $(W^1,W^2,W^3,B)$, the gauge-boson mass matrix and its eigenvalues areHere $W^{\pm }=(W^1\mp i{W}^2)/\sqrt{2}$. The two massless neutral gauge bosons may be rotated to any orthonormal basis; no neutral mass term selects a unique mixing angle.

Expanding the same kinetic term to first order in $h$ givesFunctional differentiation gives the Feynman rulesand, in the real basis, $h{W}_{\mu }^a{W}_{\nu }^b:2i{g}^{2}v{\delta }^{ab}{g}_{\mu \nu }$ for $a,b\in \{1,2\}$. All such three-point Feynman vertices involving $W^3$ or $B$ vanish. The factor two in the real basis comes from the two identical gauge boson fields; in the charged basis it is already explicit in ${\mathcal{L}}_{hVV}$.

Source PDF: mmathphys.physics.ox.ac.uk/sites/g/files/vzsiac2991/files/mmathphys/documents/media/aqft_for_particle_physics_2024.pdf

Solutions to all seventeen lettered parts. Use natural units, the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, Feynman slash notation $/p={\gamma }^{\mu }{p}_{\mu }$, and the Feynman i-epsilon prescription in internal propagators. Define the scattering amplitude by $S_{fi}={\delta }_{fi}+i(2\pi {)}^4{\delta }^{(4)}(p_f-p_i){\mathcal{M}}_{fi}$. The gauge covariant derivative convention in question 3 is specified there to match the printed three-boson Feynman rule.

Couple a nondynamical background gauge field $B_{\mu }$ to the Dirac current, choosing a plus sign for the source term:There is no integration over $B_{\mu }$. The gauge covariant derivative is ${\partial }_{\mu }-i{B}_{\mu }$, so the simultaneous transformations areThe kinetic term changes by $-j^{\mu }{\partial }_{\mu }\alpha$ and the source term changes by $+j^{\mu }{\partial }_{\mu }\alpha$. The action is therefore invariant, exactly for finite $\alpha$ as well as infinitesimally. Changing integration variables and using the invariant functional measure from part c proves the background gauge invariance of a current generating functional:The allowed transformations preserve the vacuum boundary conditions. Its infinitesimal version is ${\partial }_{\mu }\delta Z/\delta B_{\mu }=0$. Because $B_{\mu }$ is only a source, this statement needs no gauge fixing or photon kinetic term. The absence of a vector gauge anomaly is essential to the change-of-variables argument.

Choose $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }^a{t}^a$ on the Dirac field, $t^a={\sigma }^a/2$ in the fundamental representation of SU(2), and $[t^a,t^b]=i{ϵ}^{abc}{t}^c$. Define the gauge field strength and the Adjoint representation gauge covariant derivative byThe required gauge-fixed Yang-Mills Lagrangian in a covariant gauge, including the matter term, isHere $c^a$ and ${\bar{c}}^a$ are independent Grassmann fields in the Adjoint representation: the Faddeev-Popov ghost fields and antighost fields. Under an infinitesimal gauge transformation, $\delta A_{\mu }^a=(D_{\mu }\omega {)}^a$; hence the Lorenz gauge function $G^a={\partial }^{\mu }{A}_{\mu }^a$ varies by ${\partial }^{\mu }{D}_{\mu }^{ab}{\omega }^b$. Its Faddeev-Popov determinant is represented by the ghost term, with an irrelevant field-independent determinant sign absorbed into normalization. Integration by parts gives ${\mathcal{L}}_{\mathrm{gh}}=({\partial }^{\mu }{\bar{c}}^a)(D_{\mu }c{)}^a$, explicitly showing the ghost-gluon vertex.

There is no scalar vacuum expectation value here, so R-xi gauge reduces to the linear covariant gauge displayed above, with no Goldstone boson term. At $\xi =1$ the Feynman gauge gauge boson propagator is $-i{\delta }^{ab}{g}_{\mu \nu }/(k^2+i0)$. With Fourier convention $e^{-ikx}$ and all three boson four-momenta incoming, this choice gives exactly the source's $+g{ϵ}^{abc}$ three-boson Feynman rule, and the matter interaction vertex is $+ig{\gamma }^{\mu }{t}^a$. The sign of $D_{\mu }$ has been explicitly chosen here; the QED convention in question 2 instead has vertex $-ie{\gamma }^{\mu }$.

Choose the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+ie{A}_{\mu }$. Write $\rho =f+h$, $r=1+h/f$ and $B_{\mu }={\partial }_{\mu }\pi /f+e{A}_{\mu }$. The polar parametrization of the Abelian Higgs field givesHence the full Lagrangian density isAssume $f>0$ and $\lambda >0$, so the minimum has $|\varphi |=f/\sqrt{2}$. In this convention the local gauge symmetry acts asThe combination ${\partial }_{\mu }\pi +ef{A}_{\mu }$, the radial field $h$, and the gauge field strength are each invariant, proving invariance of the displayed Lagrangian density.

This parametrization follows the circle of classical minima: $h$ measures distance away from the vacuum manifold, whereas $\pi$ moves along a gauge orbit. It separates the massive radial Higgs mode from the would-be Goldstone boson and makes its removal by the Higgs mechanism transparent. At quadratic order,The polar parametrization of the Abelian Higgs field is a local description near the chosen nonzero vacuum expectation value; it is singular at $\varphi =0$ and is not a global coordinate system for configurations with zeros or winding.

Assume $\lambda >0$ so that the Higgs potential is bounded below, and work at tree level in four spacetime dimensions with metric $(+---)$. For ${\mu }^2>0$, the minimum is $\Phi =0$. The quadratic terms describe three massless gauge bosons and two complex scalars of mass $\sqrt{{\mu }^2}$, equivalently four real scalar degrees of freedom. These are the perturbative particle masses about this vacuum, without a claim about the nonperturbative asymptotic spectrum of an interacting non-Abelian theory.

Expanding the gauge covariant derivative with $T_j={\tau }_j/2$ gives the interaction termsIn the second term, the antisymmetric part of ${\tau }_j{\tau }_k$ vanishes against the symmetric gauge-field product. The corresponding Feynman diagram vertices have one vector and a scalar–antiscalar pair, two vectors and a scalar–antiscalar pair, or four scalar legs with two particles and two antiparticles. The first vertex carries a momentum difference from its derivative. The Pauli matrix in it determines which doublet components couple; the two-vector scalar vertex is proportional to ${\delta }_{jk}$. There is no cubic scalar interaction about the zero-field vacuum.

The operator $A^{\mu }\bar{\psi }{\gamma }_{\mu }\psi$ has mass dimension $1+3=4$, so $[e]=0$. It is the renormalizable electromagnetic current coupling when completed as quantum electrodynamics: a massless Abelian gauge field couples minimally to the conserved Dirac current, with consistent gauge fixing and Ward identities. Indeed, replacing ${\partial }_{\mu }$ by a gauge covariant derivative in the Dirac equation produces this interaction. The gauge structure, rather than dimension counting alone, ensures the necessary cancellations.^[ref]

In the usual smooth localized finite-energy class, the positive potential requires $|\varphi |\to 1$ at infinity and the gauge covariant derivative tends to zero there. On a sufficiently large circle write $\varphi \simeq e^{i\chi }$ locally. Then the tangential gauge potential approaches $d\chi$. The normalized Higgs phase defines a continuous map $S_{\infty }^1\to U(1)$ with integer winding numberThe second equality is Stokes theorem with the chosen orientation and $D_j={\partial }_j-i{a}_j$. Suitable decay makes the integrated covariant-derivative error vanish. Thus magnetic flux quantization of an Abelian Higgs vortex labels disconnected boundary sectors. This uses the standard continuous vacuum asymptotics, not a claim that bare integral finiteness alone supplies every pointwise boundary limit.

A nonzero winding requires zeros of the complex Higgs field somewhere inside: a nowhere-zero field on the whole disk would extend its normalized boundary map and make its winding zero. For isolated zeros the signed local indices sum to $N$. For arbitrary configurations, vortex-antivortex pairs may add zeros without changing $N$, so $|N|$ need not count all unsigned zeros.

The critical coupling relates the charge to a minimum energy. Set $j_i=\mathrm{Im}(\bar{\varphi }{D}_i\varphi )$. The covariant derivative commutator $[D_1,D_2]\varphi =-iB\varphi$ givesDiscarding its vanishing boundary integral and completing the magnetic square yieldsFor positive $N$, the Bogomolny vortex equations are $(D_1+i{D}_2)\varphi =0$ and $B=(1-|\varphi {|}^2)/2$. Reverse both signs for negative charge. HenceCritical-coupling vortex solutions attain this bound; their energy depends only on $|N|$. Positive-charge solutions have $N$ zeros counted with multiplicity, and their positions provide $2N$ real coordinates on the Abelian Higgs vortex moduli space. Coincident zeros are allowed. Position variations leave the static minimum energy unchanged, expressing the absence of static forces among same-sign Bogomolny vortices. The sign of $N$ reverses flux and orientation. Topology alone does not determine an arbitrary field's profile or full energy: the zero-charge vacuum has energy zero, while nonvacuum configurations in the same sector can have positive energy.

For the given radial ansatz, $a_{\theta }$ is the coordinate one-form coefficient: the gauge potential is $a(r)d\theta$, and the orthonormal azimuthal component is $a(r)/r$. Thus $B=a^{\prime }(r)/r$, consistently with the printed energy. Since $h(\infty )=1$, the phase $e^{i\theta }$ has winding one; equivalently $a(0)=0$, $a(\infty )=1$ givesFor the trial functions all energy is inside $0<r<r_0$. Their four contributions to $E/\pi$ areTherefore the compact-core variational estimate for an Abelian Higgs vortex isWriting $s=r_0^2>0$, the derivative is $-2/s^2+1/24$, and the energy diverges at both ends of the $s$ range. The unique global minimum isThe magnetic and potential energies agree at this optimum, as required by radial scale balance. The piecewise fields are continuous with square-integrable first derivatives; their derivative jumps do not create an additional surface energy. They are trial fields, not exact solutions. Their optimized energy is an upper-bound estimate, about 24.4% above the exact critical one-vortex energy $\pi$.

Choose a definite matrix convention: $A_{\mu }=A_{\mu }^a{T}_a$, $\omega ={\omega }^a{T}_a$, and $D_{\mu }={\partial }_{\mu }+e{A}_{\mu }$. Matter transforms as ${\psi }^{\prime }=U\psi$, so gauge covariance requires $D_{\mu }^{\prime }=U{D}_{\mu }{U}^{-1}$. Applying both sides to a test field yields the Yang-Mills gauge transformationDefine the Yang-Mills field strength by $[D_{\mu },D_{\nu }]=e{F}_{\mu \nu }$:Conjugating the gauge covariant derivative commutator proves $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$: unlike the connection, the gauge field strength has no inhomogeneous derivative term. The trace normalization supplies an invariant color metric; its Lie algebra structure constants with all indices lowered are antisymmetric.

For $U=1+e\omega +O({\omega }^2)$ and $U^{-1}=1-e\omega +O({\omega }^2)$, expand the finite transformations:In components this isA convention using the opposite matter transformation or gauge covariant derivative sign changes these signs consistently. The formulas above all follow from the explicitly chosen $D_{\mu }$.

Gauge reduction and the determinant. A direct integral $\int \mathcal{D}A{e}^{iS[A]}$ integrates repeatedly over gauge-equivalent configurations. The gauge group volume is infinite, and the ungauge-fixed quadratic operator has longitudinal zero directions, so it has no ordinary inverse quantum field theory propagator. Gauge-invariant observables require dividing out this redundancy rather than treating it as an ordinary physical fluctuation.

The finite-dimensional change-of-variables identity underlying gauge fixing is precise. Suppose a condition $\chi (x^{\alpha })=f$ has one solution in the group-coordinate patch and its derivative matrix at the solution is nonsingular. ThenFor several isolated solutions it instead counts those solutions. On the slice, the Jacobian determinant can be factored into the reciprocal of the orbit integral of the delta function. An invariant measure and invariant integrand then allow the group volume to factor out. In the functional version, group coordinates carry Haar measure and the corresponding operator determinant replaces the matrix determinant.

For example, choose the Lorenz gauge ${\chi }^a(A)={\partial }^{\mu }{A}_{\mu }^a=f^a$. Its variation is $\delta {\chi }^a=-{\partial }^{\mu }(D_{\mu }^{\mathrm{ad}}\omega {)}^a$. Hence on the gauge slice the Faddeev-Popov operator and Faddeev-Popov determinant areIts extension along each local gauge orbit yields the Faddeev-Popov gauge-orbit identityFor an unoriented finite-dimensional real integral the absolute determinant is required. In a perturbative gauge patch, its sign or phase is fixed and the constant convention is absorbed in normalization. Residual zero modes must be removed by boundary conditions or separate treatment. Multiple intersections, the Gribov ambiguity, prevent interpreting this as a globally unique gauge slice without additional work.

Insert the identity, change variables along the orbit using invariance of the action and measure, and divide out the common gauge group volume. Averaging $f$ with Gaussian weight $\exp [-i\int f^a{f}^a/(2\xi )]$ produces the covariant gauge-fixed functionalThe added term makes the quadratic gauge-field operator invertible after the stated residual-mode treatment.

Ghost representation. For a finite matrix $M$, the Grassmann Gaussian integral over independent anticommuting variables is proportional to its determinant:The constant is independent of $M$ and depends on ordering and factors of $i$. The functional counterpart introduces Faddeev-Popov ghost fields $c^a$ and antighost fields ${\overline{c}}^a$, withIntegration by parts writes its density as $({\partial }^{\mu }{\overline{c}}^a)(D_{\mu }c{)}^a$, displaying a kinetic term and a gauge-field/ghost interaction. These are Grassmann-valued fields with scalar Lorentz transformation law. They represent the orbit Jacobian determinant; their closed loops carry the fermionic minus sign, and they are not physical asymptotic particles. In the abelian case $D^{\mathrm{ad}}=\partial$, the determinant is gauge-field independent and the ghosts decouple. Nonabelian ghosts interact and are necessary for the consistent cancellation of unphysical gauge contributions.

Physical-state reduction. Let $Q$ be the Hermitian BRST charge. Its key algebraic property is BRST nilpotence, $Q^2=0$, and the gauge-fixed dynamics preserves it. Physical states are its BRST cohomology at ghost number zero:Here $|\chi ⟩$ has ghost number $-1$. BRST nilpotence ensures that exact vectors lie in the kernel, so the quotient is defined. Because $Q$ is Hermitian, an exact vector is orthogonal to every closed vector, $⟨\psi |Q\chi ⟩=⟨Q\psi |\chi ⟩=0$, and exact vectors are null, $⟨Q\chi |Q\chi ⟩=⟨\chi |Q^2\chi ⟩=0$. They therefore represent no independent physical state. Commutation of $Q$ with the Hamiltonian preserves these classes under time evolution.

The covariant gauge/ghost space before reduction has an indefinite inner product. This is essential: a Hermitian nilpotent BRST charge requires an indefinite auxiliary space if it is nonzero. On an ordinary positive-definite Hilbert space the same norm identity would force $Q=0$. Positivity of the resulting physical space uses the gauge-theory structure in addition to the abstract BRST nilpotence identities.

For a nonzero on-shell photon momentum, the one-particle conclusion isThe second relation preserves the first because $k^2=0$. In four dimensions the transverse kernel has dimension three, and quotienting by its null longitudinal direction leaves two physical photon polarizations. This is the positive one-particle BRST cohomology of the photon sector.

Choose the phase convention in the question and use the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+ie{A}_{\mu }$. For a charged Dirac field, the quantum electrodynamics Lagrangian isThe simultaneous local gauge transformation isDirect differentiation gives $D_{\mu }^{\prime }{\psi }^{\prime }=e^{ie\chi }{D}_{\mu }\psi$: the derivative of the phase cancels the shift of $A_{\mu }$. The mass term and covariant kinetic term are therefore invariant. The electromagnetic field tensor is unchanged because mixed partial derivatives of $\chi$ commute. This proves classical gauge invariance of the coupled field action. A charged scalar similarly uses $(D_{\mu }\varphi {)}^{\ast }{D}^{\mu }\varphi$ and a potential depending only on $|\varphi {|}^2$.

The electromagnetic coupling is $-e{A}_{\mu }\bar{\psi }{\gamma }^{\mu }\psi$. The matter equations give a conserved current $j^{\mu }=e\bar{\psi }{\gamma }^{\mu }\psi$, with ${\partial }_{\mu }{j}^{\mu }=0$. Constant $\chi$ gives the global symmetry and its conserved charge. When applying Noether's theorem, the sign of the parameterized Noether generator can be reversed without changing this conservation law; the transformation and coupling signs above remain fixed.