The result grows linearly with the squared centre-of-momentum energy, . This growth eventually violates partial-wave unitarity and signals the breakdown of the pointlike Fermi interaction. At energies comparable to or , the full gauge-boson propagators must replace the contact interaction; the renormalizable electroweak theory then softens the high-energy behavior.
A Fierz rearrangement puts the charged-current operator in the same current ordering as the neutral-current operator. Accounting for the interchange of fermionic fields, the combined amplitude is
Sum over final spins and average over the initial electron spin. The fermion spin sum and gamma-matrix trace identities give
For massless two-body scattering in the centre-of-momentum frame, and . Integrating therefore yields
Consequently
The first four-fermion operator is the low-energy Fermi interaction obtained by replacing the crossed propagator in the charged-current diagram by . The second operator is obtained analogously from the -exchange weak neutral current; and are its electron vector and axial-vector couplings. Thus the two terms represent respectively the charged-current and neutral-current diagrams in part (v), with their interference retained when the amplitude is squared.
The minima of the scalar potential
satisfy
The SU(2) group acts transitively on this three-sphere of vacua, and the stabilizer of a nonzero fundamental doublet is trivial. A global transformation may therefore choose . Because the symmetry is gauged, unitary gauge removes all three angular Goldstone bosons, leaving only the real radial Higgs mode :
Substitution into the gauge-covariant kinetic term gives
with
The interaction terms produce , , , , and the cubic and quartic non-Abelian gauge-boson vertices shown below.
The three broken generators supply the three longitudinal polarizations of the equally massive gauge bosons. No physical massless Goldstone boson remains, and because the unbroken subgroup is trivial there is no massless gauge boson either. The remaining physical spectrum has degrees of freedom, equal to the original .
Let and be the scalar mass matrix, which is the Hessian matrix of the scalar potential at the vacuum. Invariance under the infinitesimal Lie group action gives
Differentiate with respect to and evaluate at the vacuum expectation value . Since at a minimum,
Thus every tangent vector generated by a broken Lie algebra generator is a zero eigenvalue eigenvector of the scalar mass matrix. The unbroken generators are precisely those in the stabilizer Lie algebra and give the zero tangent vector; independent broken directions span . Hence Goldstone theorem gives
massless scalar modes at the classical level.
The operator is the relativistic fermion electric dipole moment operator. Its nonrelativistic limit contains : spin angular momentum is an axial vector, whereas the electric field is a polar vector. It is consequently odd under parity symmetry in quantum field theory. Both the pseudotensor fermion bilinear and the electromagnetic field tensor are odd under charge conjugation, so their product is even. Therefore
The CPT theorem then makes it odd under time-reversal symmetry. Such an interaction can arise only from CP violation. The Cabibbo-Kobayashi-Maskawa matrix therefore induces a nonzero Standard Model electric dipole moment at sufficiently high loop order, but its flavor structure and loop suppressions make the result extraordinarily small.
The quantum electrodynamics interaction is , where the Dirac electromagnetic current is . Under parity symmetry in quantum field theory,
Invariance of the interaction therefore requires the electromagnetic four-potential to transform as the same Lorentz four-vector:
so is parity even and is parity odd. Under charge conjugation, the current is odd, , so invariance requires
Write . The chain rule gives and . Using the gamma matrix relations and ,
Thus the Dirac equation is invariant under parity symmetry in quantum field theory.
Apply the parity symmetry in quantum field theory to the given mode expansion of a Dirac field:
The stated Dirac spinor identities are equivalently and . Relabel the momentum sum by and use to obtain
The phase is the intrinsic parity convention.
For axial gauge, . Its Faddeev-Popov operator is
On the gauge slice , the second term vanishes. Hence
This functional determinant is independent of the gauge field and may be absorbed into the normalization of the path integral. Any introduced ghosts are free and decouple, so no ghost fields are needed in axial gauge.
The quadratic gauge-field action in momentum space is
In terms of the transverse projector of a vector field and longitudinal projector of a vector field,
the operator is . Its inverse, the gauge-boson propagator, is
Therefore and .
The variation found above uses the adjoint covariant derivative:
For the Lorenz gauge functional ,
The field-independent factor may be absorbed into normalization. The Grassmann Gaussian integral exponentiates the Faddeev-Popov determinant with anticommuting Faddeev-Popov ghost fields:
A Gaussian average over the gauge condition supplies the covariant gauge-fixing term, so

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact