In cosmic time, all three Friedmann-Lemaitre-Robertson-Walker metrics can be written
where
The closed spatial slice is a three-sphere of radius , so
The complete flat and open spatial slices are noncompact and have
For a homogeneous fluid in the Spatially flat FLRW metric, the equations in part (a) reduce to the cosmological perfect-fluid continuity equation
while homogeneity makes the spatial relativistic Euler equation automatic. The Einstein field equations give the flat Friedmann equation and Friedmann acceleration equation,
equivalently .
A perfect fluid in general relativity has stress-energy tensor
where . Besides the metric tensor, one needs the energy density , the pressure , and three independent components of the normalized four-velocity : five scalar functions of spacetime in total.
The four equations of stress-energy conservation, , split parallel and perpendicular to into
An equation of state, such as a barotropic equation of state , supplies the fifth relation needed to close the evolution.
The equivariant supertrace is independent of because positive-energy bosonic and fermionic states pair under the supercharge. Take the short-time limit . A finite-action path becomes constant, but the twisted boundary condition then requires ; its constant saddles are exactly the fixed-point set . Supersymmetry cancels the nonzero bosonic and fermionic fluctuations away from their zero modes. Consequently the path integral localizes to a tubular neighborhood of , with the remaining Gaussian determinants giving the local fixed-point contribution to the equivariant index theorem.
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