The insertion of makes the fermions periodic, while the isometry twists both fields by its action on and its differential on the tangent bundle. Thus
The path integral with these boundary conditions represents the equivariant supertrace .
The quantized fermions obey a Clifford algebra, . When is a spin manifold, they act on the spinor bundle and
the Hilbert space of square-integrable spinor fields. The supercharge becomes the Dirac operator, the Hamiltonian is one half of its square, and because is even dimensional, is the spinor chirality operator.
Substitution of and into the covariant component action leaves a total time derivative; the connection-dependent terms cancel by metric compatibility and the symmetry of the Levi-Civita connection. The boundary term vanishes for the stated decay. The Noether charge is
up to the overall convention inherited from the supersymmetry parameter. Its graded square gives the Hamiltonian, after canonical quantization.
Expand , , and . Performing the Berezin integral gives
After a fermionic integration by parts, this is the manifestly covariant expression
Under a diffeomorphism, is a point of , is a tangent vector, is its covariant derivative along a curve, and every index is contracted with the Riemannian metric; the action is therefore invariant.
Diagonalize with eigenvalues and use the periodic Fourier series
Each Berezin integral contributes its quadratic coefficient, so
Pairing with and using the infinite product for the hyperbolic sine gives, up to the local regularization factor,
The product of the prefactors is because is traceless. Thus
This agrees with the direct identity that the supertrace of an induced linear map on an exterior algebra is its characteristic determinant.
The coherent-state representation of an ordinary fermionic trace identifies the endpoints with a minus sign, producing antiperiodic fields. Inserting fermion parity supplies a second minus sign. The resulting fermionic path integral therefore has
and its time-sliced coherent-state action is precisely . This proves the stated supertrace representation.
The Hilbert space is the fermionic Fock space
In a polarization where acts by exterior multiplication and by contraction, a general state is
The fermion number operator returns the exterior degree, and therefore
The first-order kinetic term makes and canonically conjugate Grassmann variables. Canonical quantization gives the canonical anticommutation relations
For one generation, the Standard Model representation content under is
with no right-handed neutrino. For , three generations give from the two left-handed quark flavors and from the two right-handed quark flavors, while . Therefore
For , each generation supplies three colored quark doublets and one lepton doublet, so , , and the single complex Higgs doublet gives . Hence
Put . At the gauge coupling unification scale, write the common normalized coupling as . Running downward gives
Subtracting the second equation from the third determines
Eliminating from the first two equations yields
Integrating the renormalization-group beta function and defining by gives
so
The scale is the QCD scale in this one-loop approximation.
Since , the stated renormalization-group beta function implies
For , the running coupling decreases at high energy: the theory is asymptotically free and becomes strong in the infrared, as in Quantum chromodynamics. For , it is infrared free but grows toward an ultraviolet Landau pole.
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.

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