Assume and . The minima of the scalar potential have . Choose the vacuum expectation value . Its stabilizer subgroup consists exactly of matrices with , so
The continuous spontaneous symmetry breaking is and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: . The scalar field transforms as the ordinary vector . This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for ; assigning an ordinary-vector transformation to the connection would fail.
Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives . Put
These are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths gives
The scalar field kinetic term has no radial-vector cross term, because and lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomes
For each real vector the mass term is , while for the complex pair it is . Hence the adjoint triplet Higgs spectrum is
The radial scalar also has in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.
For the lepton kinetic terms let , , and denote the left neutral triplet entry by . The missing singlet is the perpendicular combination
Its overall sign is immaterial. The real orthogonal matrix is orthogonal, so the sum of the kinetic terms of and is with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for , and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is , as printed in the PDF, not the TeX's .
To compute the charge commutator, the canonical anticommutation relations imply
The quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, . Left/right mixed commutators vanish since .
In either triplet, write
The displayed current has a factor two relative to the projected bilinears, since . Consequently its charges are and . The neutral combinations have canonical anticommutators because . Applying the matrix commutator gives
where is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes ; the TeX repeats incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.
Use the source convention , with electric charge measured in units of the positron charge. Expanding the covariant derivative in the fermion kinetic term gives interaction . Substituting the given neutral-field rotation, the coefficient of is
The photon coefficient is , with . For a Dirac field, acts only on its left-handed component. Thus
The weak neutral current interaction consequently has the requested form, with
The electroweak representation and hypercharge table gives the following values for one generation:
Type on left
Neutrinoabsent
Charged lepton
Up-type quark
Down-type quark
These neutral-current vector and axial couplings use the source's vertex prefactor . They are twice the coefficients used with prefactor ; the latter convention must not be mixed into this calculation. For the neutrino, the chiral projector removes the inactive right-handed component automatically.
Set and suppress the species label. For outgoing momenta , the amplitude is, up to an irrelevant phase,
The final-state spin sum is the Dirac trace of . Anticommutation of with the gamma matrices makes its symmetric part
The vector-axial cross term is proportional to the antisymmetric Levi-Civita symbol, so it contracts to zero with the symmetric massive vector polarization sum . Since , the symmetric tensor is transverse to as well. Only remains, and
Multiplying by proves the massless fermion Z decay spin sum:
For the decay width, average over the three initial polarizations. Rotational invariance makes the integrated width the same for each initial spin state, so the massive-vector spin average is legitimate even for a single prepared polarization. In the rest frame, the delta functions in two-body Lorentz-invariant phase space leave
This follows by setting and integrating ; the radial integration supplies a factor . Hence
For a quark species multiply by three colors, with strong-interaction radiative corrections when comparing with data. For one effectively massless active neutrino, , so .
The total resonance width contains visible charged-lepton and hadron decays plus . Thus the measured invisible contribution determines
Early resonance measurements supported three light active neutrino species, with experimental uncertainties; the OPAL analysis of its 1989 data explicitly compares the three- and four-species predictions. Under the question's assumption that every possible family has a massless neutrino with ordinary weak couplings, this constrains the number of such families. The inference does not exclude additional neutrinos heavier than or gauge singlet sterile states with no ordinary coupling. This is light-neutrino counting from the Z width.
Choose a definite matrix convention: , , and . Matter transforms as , so gauge covariance requires . Applying both sides to a test field yields the Yang-Mills gauge transformation
Define the Yang-Mills field strength by :
Conjugating the gauge covariant derivative commutator proves : 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 and , expand the finite transformations:
In components this is
A convention using the opposite matter transformation or gauge covariant derivative sign changes these signs consistently. The formulas above all follow from the explicitly chosen .
Gauge reduction and the determinant. A direct integral 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 has one solution in the group-coordinate patch and its derivative matrix at the solution is nonsingular. Then
For 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 . Its variation is . Hence on the gauge slice the Faddeev-Popov operator and Faddeev-Popov determinant are
Its extension along each local gauge orbit yields the Faddeev-Popov gauge-orbit identity
For 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 with Gaussian weight produces the covariant gauge-fixed functional
The added term makes the quadratic gauge-field operator invertible after the stated residual-mode treatment.
Ghost representation. For a finite matrix , the Grassmann Gaussian integral over independent anticommuting variables is proportional to its determinant:
The constant is independent of and depends on ordering and factors of . The functional counterpart introduces Faddeev-Popov ghost fields and antighost fields , with
Integration by parts writes its density as , 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 , 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 be the Hermitian BRST charge. Its key algebraic property is BRST nilpotence, , and the gauge-fixed dynamics preserves it. Physical states are its BRST cohomology at ghost number zero:
Here has ghost number . BRST nilpotence ensures that exact vectors lie in the kernel, so the quotient is defined. Because is Hermitian, an exact vector is orthogonal to every closed vector, , and exact vectors are null, . They therefore represent no independent physical state. Commutation of 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 . 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 is
The second relation preserves the first because . 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.
Take and split the coordinates into along the branes and transverse to them. In conformal gauge the wave equation permits a separated mode with . For Neumann boundary conditions at both ends, selects and integer . The zero-frequency solution is independent of , with a constant position and a term linear in time. Therefore the open-string mode expansion is
The canonical momentum density integrated over this interval is .
For Dirichlet boundary conditions, subtract the static interpolation between fixed endpoint positions and . The remaining field vanishes at both ends, selecting with integer and excluding a momentum worldsheet zero mode. The expansion is
Here . There is no factor in the sine series with this reality convention: changing to reverses both the sine and the denominator. These are the integer-mode expansion with parallel D-brane endpoints; they are not the half-integer modes of a coordinate with a Neumann condition at one endpoint and a Dirichlet condition at the other.
The endpoints can move on -dimensional worldvolumes but are fixed in the transverse directions. Thus these are open strings attached to D-branes, or stretched between parallel D-branes at and . The tangential momenta describe propagation on the brane; the transverse positions describe its embedding. Let . The linear spatial worldsheet zero mode contributes to . Quantization with string intercept one gives
The first term is also the square of the classical stretched-string energy , since the string tension is .
For two coincident D3-branes, label the ends of an oriented open string by . The four endpoint combinations give Chan-Paton factors , which form the full algebra of matrices. Under a change of brane basis these transform as , the adjoint action of . At , the first oscillator level is massless. Its tangential polarization supplies a four-dimensional vector , while the 22 transverse polarizations supply real adjoint scalar fields . This is the bosonic D3-brane low-energy field content.
The endpoint matrices multiply in their boundary order in disk amplitudes. The difference between the two orders in the three-vector interaction gives the matrix commutator; the kinematic factor is the one-derivative Yang-Mills theory cubic vertex. Factorization and the vector gauge redundancy then supply the quartic interaction with the same commutator. Equivalently, the leading low-energy action is the dimensional reduction of 26-dimensional Yang-Mills theory, with
For Hermitian scalar fields the last displayed term corresponds to a nonnegative potential, because their commutators are anti-Hermitian. Higher-derivative terms are suppressed at energies well below . Ignoring the tachyon, the gauge sector is four-dimensional Yang-Mills theory, accompanied by 22 adjoint scalar fields. It is not pure Yang-Mills theory, nor the supersymmetric six-scalar D3-brane theory of a ten-dimensional superstring.
Separate the two branes and use the D-brane scalar-position normalization
A Yang-Mills gauge transformation preserves this expectation value only when it is diagonal if . Thus the unbroken group is . The scalar field kinetic term supplies a mass for the off-diagonal vectors, since
Summing over gives , exactly the mass of the stretched string. The two diagonal gauge vectors remain massless. This identifies brane separation with an adjoint Higgs mechanism, rather than an explicit deletion of the off-diagonal strings.
For the ground state of an open string joining the two different branes, , so the bosonic stretched-string tachyon threshold is
At equality it is massless, and above it the stretched ground state has positive mass squared. The same-brane ground strings still have ; this calculation removes only the stretched-string instability, not the original instability of the bosonic branes.
Kaluza-Klein theory explains apparently four-dimensional physics as the low-energy limit of a higher-dimensional theory with compact spatial directions. In units , take a circle coordinate . A periodic scalar has the Fourier series
Substitution into its higher-dimensional kinetic term, followed by integration over , makes different Fourier modes orthogonal. The internal derivative contributes to the lower-dimensional squared mass, so
The quantized internal momentum produces the Kaluza-Klein tower. A real higher-dimensional field satisfies ; the tower does not introduce independent complex modes for both signs. More general compact spaces replace by Laplacian eigenvalues, with boundary conditions determining the spectrum.
At energies , nonzero Kaluza-Klein modes cannot be produced and may be integrated out, leaving a four-dimensional effective field theory. Dimensional reduction retains the zero modes at leading order; integrating out the massive modes also generates interactions suppressed by the Kaluza-Klein compactification scale. The higher-dimensional metric decomposes into a four-dimensional metric, vectors from mixed components, and scalar fields from internal components. For a circle, these include an Abelian gauge field and a radion. Internal coordinate shifts induce the vector's gauge symmetry, while the radion describes the radius. Pure circle reduction alone does not automatically give the chiral matter spectrum of the Standard Model.
The gravitational scale follows by integrating the Einstein-Hilbert action over an unwarped internal volume :
Here is the reduced Planck mass. For equal circle radii, . The Planck mass from compactification volume relation allows weak four-dimensional gravity even when is much lower. A conventional metric-origin gauge coupling scales as , so an order-one coupling in that simplest construction tends to place near the gravitational length scale.
In the brane-world scenario, ordinary matter and its gauge fields can instead be localized on a three-dimensional spatial brane, while gravity explores the bulk. The absence of ordinary-matter excitations along the extra dimensions then permits larger radii than a model in which all fields propagate there. In large extra dimensions, gravity changes approximately from a potential for to a potential for . For illustration, of order a TeV and give of order mm; one extra dimension would require an astronomically large radius.
A warped Randall–Sundrum model uses
For the usual doubled orbifold interval, . The relevant lengths are the bulk curvature radius , the proper separation , and the inverse warped excitation scale, of order . Thus the first mass need not equal . Compact volume dilutes gravity; warping redshifts local masses. Both mechanisms require consistent field localization and radius stabilization; choosing a large radius or separation is not itself a dynamical explanation of it.
Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets transform as under , whereas and transform as and . With a Higgs doublet and its conjugate , the gauge-invariant Yukawa interaction is
The generation indices are matrix-multiplied. Electroweak symmetry breaking, , produces and .
Each complex fermion mass matrix admits a biunitary diagonalization,
where the diagonal entries are real nonnegative quark masses. Define and , and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomes
This unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.
Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and . The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an amplitude contains . Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.
For generations a unitary matrix has real parameters: mixing angles and phases. Rephasing the up-type and down-type quark fields removes phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers are
Two generations therefore give a real Cabibbo rotation,
with strangeness-changing charged-current transitions suppressed by . Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.
Writing and , a standard exact parametrization is
Complex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes real. A useful invariant test is the Jarlskog invariant,
A nonzero requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.
The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put , , and . Expanding the exact matrix gives
The observed pattern is predominantly diagonal, with - mixing largest and -, - mixing successively suppressed. The expansion implies . The truncated matrix must not be treated as an exactly unitary matrix.
Column orthogonality gives
The three complex numbers form a CKM unitarity triangle, with area . Dividing by puts its vertices at , and , where . The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.
Semileptonic decay rates determine magnitudes of CKM entries through factors once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.
There is a sign inconsistency in the printed model. For the ordinary cross product let . The vector triple-product identity gives . Consequently the printed has gauge curvature
Its gauge curvature cannot instead contain the printed negative quadratic term. For a noncommuting pure gauge potential for this gauge covariant derivative, whereas . Thus the printed gauge kinetic term assigns a nonzero value to a connection obtained by applying the gauge-field transformation law to the zero connection. Literally the printed action has global rotations but not the requested local triplet gauge symmetry. The cross-product convention for an adjoint covariant derivative makes the minimal repair explicit: change the gauge field strength quadratic term to a plus sign, retaining the printed gauge covariant derivative. Changing the sign in the gauge covariant derivative instead would be another consistent convention. The remaining calculation uses the first repair.
The corrected theory has local SO(3) gauge symmetry, equivalently the adjoint-field realization of the SU(2) Lie algebra; its adjoint scalar fields and gauge fields are insensitive to the center of a group of SU(2). Explicitly, and
Both and transform as triplets, so their dot products and the scalar potential are invariant. Assume , and take without loss of generality. For the minima have . Choose the scalar-field vacuum , whose stabilizer consists of rotations around the third axis: the residual gauge symmetry is SO(2), locally U(1).
In unitary gauge write , and . These are the neutral massless gauge field, two charged massive gauge fields and a real radial scalar field. Define
Substitution gives and . The entire physical-field Lagrangian density is therefore
In particular ; this directly verifies the scalar field kinetic and vector mass terms. Expanding the scalar potential gives . Comparing the quadratic terms with standard real scalar field and charged-vector mass terms yields the adjoint triplet Higgs spectrum,
This also rewrites the purely vector interactions, which are already contained in the displayed gauge field strengths rather than omitted from the theory.
The original symmetry remains unbroken at . The unique minimum is then , with three massless gauge fields and three massless real scalar field components; the quartic scalar field interaction remains. The physical degrees of freedom number . At the two broken generators supply two Goldstone bosons, eaten to give longitudinal gauge-boson polarizations of the charged vectors. The physical count is : two massive vectors, one massless vector and one radial scalar field. The scalar components eaten in unitary gauge are not additional physical particles.
For the broken phase all interactions containing the physical scalar field are
Multiplying interaction coefficients by and differentiating with respect to the external fields includes the identical-field factorials. The scalar vertices of an adjoint triplet Higgs model are
For example, the rule contains , whereas the rule contains only from its two identical scalar fields. There are no or vertices: the radial scalar field is neutral under the residual U(1). There is no derivative scalar-vector vertex in this physical spectrum in unitary gauge.
Figure 1.
All physical-scalar interaction vertices in the broken triplet Higgs model, with the unbroken-phase scalar vertices shown below; dashed lines are scalars and wavy lines are vectors
. Details.
For completeness, if the unbroken phase is chosen, its physical scalar fields are the three components , not a single radial . Expanding its gauge-covariant kinetic term gives
With all momenta incoming and Fourier transform convention , the three unbroken-phase rules are
The first rule follows by differentiating once on each possible scalar: for , the interaction is , which fixes the momentum sign. The remaining rules follow from the quadratic gauge interaction and . There are no unbroken-phase cubic scalar field Feynman vertices.
The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: whereas . For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generate
Here represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.
The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with in the usual normalization. Generic zero-point contributions scale as , and vacuum transitions also change . The dark-energy density is only of order . The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.
Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematically
Thus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.
Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,
vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order gives about , enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:
but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.
One higher-dimensional proposal uses large extra dimensions. Take flat compact dimensions of common radius , with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action gives
so
A fundamental gravitational scale near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For and , is about , using . At distances much smaller than , the gravitational potential scales as ; at distances much larger than it scales as . Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize , rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.
A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at and , and use the warped metric
A negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval gives
For a scalar field on the brane at , its induced metric gives the kinetic coefficient and mass coefficient . The canonical field is , hence
With and of the same fundamental order, an exponent -- converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.
Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values and a small mass . Its static equation and solution are
For small backreaction and large , the leading radius-dependent potential is proportional to . Its leading minimum obeys , so a modest boundary-value ratio and a small can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.
Use the canonical chiral-superfield component expansion in chiral coordinates, with . Multiplication of the Grassmann variables gives
For example, the two linear-in- factors in contribute , while each of the three choices of the remaining scalar in gives the same contribution. Thus the required F-term is
Adding its Hermitian conjugate and the canonical term eliminates the auxiliary field through and yields the F-term scalar potential
It is nonnegative, and for its absolute minima are and , each with zero energy. They coincide when . If , only is a minimum; if , every is a minimum. These exhaust the local minima as well: at any other stationary point forces ; for this is , whose quadratic variation has opposite signs in two real directions and is a saddle.
Expand around , writing . The scalar potential and fermionic terms are
The canonical kinetic term is . Its quadratic potential is , while the Weyl fermion has mass . Hence
At the other minimum, , so the same mass equality holds. The quartic and Yukawa interaction are both fixed by : defining and gives
This is the supersymmetric relation between quartic and Yukawa couplings. The printed equality of the two couplings refers to their common supersymmetric origin; literal equality of the conventional coefficients and is not true for arbitrary . If instead the Yukawa term is defined as , then and .
To establish perturbative superpotential non-renormalization, use a Wilsonian effective action with a fixed positive infrared cutoff, so integrating out modes does not introduce massless infrared singularities. Promote to nondynamical chiral superfields, or spurions. The holomorphic superpotential depends holomorphically on , not on their complex conjugates. Assign an ordinary charge and an R-charge by
The superspace coordinate has , so has charge and must have R-charge . Both original monomials satisfy the two selection rules. A holomorphic perturbative monomial must obey
which gives and . Equivalently,
The nonnegative integer follows from perturbative analyticity in . Regularity as at the fixed Wilsonian cutoff excludes , which would require negative powers of . The remaining quadratic coefficient is fixed to by the free theory at . The coefficient is : a three-point contribution at first order in has just one cubic vertex, uses all three legs externally, and cannot contain a loop. A loop correction would require additional interactions, whereas the selection rules and holomorphy have already excluded the corresponding monomials. Therefore
This proof concerns the local Wilsonian superpotential. The Kähler potential can acquire a wave-function factor , and canonical normalization changes the couplings to and . Such running, and nonlocal infrared terms in a one-particle-irreducible action, do not contradict the holomorphic result.
Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write and . To match the displayed stationarity equation, use ; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are , with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential is
Differentiate with respect to , holding independent:
Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives . Conjugating it and using Hermiticity gives , the second condition in the form needed below.
At the vacuum, define and . The two conditions combine as
Here the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes , and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms are
The factor is important: the matrix directly acting on the printed is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for ,
Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion is
With the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of is proportional to the same vector . Therefore shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.
For the second calculation, first take only canonical chiral superfields and F-term breaking. At a stationary vacuum , let , and
These follow by differentiating twice. The quadratic scalar potential is
The doubled scalar mass matrix has blocks
Transforming to the canonically normalized real components of preserves its trace, so the sum of real scalar mass squares is . The Weyl fermion mass squares are the eigenvalues of and their sum is . Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign and fermion weight , hence
The frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block can split scalar masses but cannot change this trace. This proves the tree-level supertrace mass sum rule; it uses canonical kinetic terms and a renormalizable global theory, rather than a general supergravity or noncanonical effective theory.
In the MSSM, trying to make all squarks and sleptons heavy through direct canonical tree-level F-term breaking encounters this constraint. In an unbroken electric-charge and color sector, the scalar mass-squared trace is twice the trace for its ordinary fermionic partners. More explicitly, take a unit vector minimizing . For , choose so that . The curvature along this real scalar direction is then at most , so at least one scalar mass square is no larger than the smallest fermion mass square in that sector. For one isolated pair the scalar masses are . Thus light quarks can force an unacceptably light squark, or a tachyon, under these assumptions. A hidden supersymmetry-breaking sector with mediation produces effective soft supersymmetry breaking; radiative effects, noncanonical kinetic terms, or supergravity can change the assumptions and allow a viable spectrum. The trace over an arbitrary enlarged theory alone would not locate the light state in the visible sector; the MSSM conclusion uses the conserved-charge block structure.
Use an unfluxed toroidal zero-mode dimensional reduction, with no projection removing fields. A ten-dimensional gauge field has physical polarizations per gauge generator. Its Majorana-Weyl spinor partner has sixteen real components before the massless equation, and eight propagating fermionic states. Thus ten-dimensional super Yang-Mills theory has sixteen real supercharges and eight bosonic plus eight fermionic states per generator.
Split the spacetime index as , with and six internal directions. The zero modes of become and six real adjoint scalar fields . The spinor representation decomposes under into four four-dimensional Weyl spinors; the Majorana condition supplies their conjugates rather than independent additional spinors. All sixteen supercharges survive, giving four-dimensional N=4 super Yang-Mills theory. The supermultiplet is therefore one gauge vector, four Weyl gauginos and six real scalars, all in the Adjoint representation, with bosonic and fermionic states. The internal acts as R-symmetry, with the scalars in its six-dimensional representation and the Weyl gauginos in its four-dimensional representation.
Since the internal derivatives vanish, the internal Yang-Mills field strength is in a Hermitian-generator convention. The internal part of the gauge kinetic term becomes the scalar potential
Here the invariant trace is normalized by and ; the coupling and scalar kinetic terms use the same normalization. The sum includes both orders of each pair. For Hermitian , the commutator is anti-Hermitian, so equivalently . It is nonnegative and vanishes exactly when all six adjoint scalars commute. This gives the classical vacuum moduli space of a supersymmetric gauge theory.
Interpret as a massless three-form gauge field, with transformation and kinetic term built from . The massless p-form gauge field count is an on-shell count, rather than the raw tensor components. For a null plane wave, gauge transformations remove the components along the null gauge direction, while the field equation removes the complementary longitudinal components. The independent polarization is consequently an antisymmetric tensor on the transverse directions. Thus
This argument incorporates the redundancies in the two-form gauge parameter; subtracting once from would not do so.
Let and split indices into four-dimensional and internal ones. The toroidal reduction of a p-form gauge field gives one , two-forms , vectors and scalars . A massless three-form in four dimensions has no local propagating state; each massless two-form has one, each vector two and each scalar one. The two-form state can equivalently be represented by a scalar using massless p-form duality: its three-form field strength satisfies . Consequently
This verifies the required matching, including where the count is . The nondynamical four-dimensional three-form can carry a constant flux parameter, but that is not an additional propagating degree of freedom.
Eleven-dimensional supergravity contains the metric , a three-form and a Majorana gravitino . The massless graviton is a symmetric traceless tensor of the nine-dimensional transverse rotation group, giving states. The three-form gives . The gravitino is a gamma-traceless transverse vector-spinor: a spinor representation of has sixteen real components, so it gives states. Hence the eleven-dimensional balance is bosonic states and fermionic states.
Reduction on a circle yields type IIA supergravity, with thirty-two real supercharges and opposite ten-dimensional chiralities. The metric decomposes into the ten-dimensional metric, the Kaluza-Klein vector and the radius scalar, or dilaton. Their counts are . The three-form gives a ten-dimensional three-form and a two-form , with states. The eleven-dimensional Majorana spinor decomposes into two opposite-chirality Majorana-Weyl spinors. The external gravitino components give two gravitini, each with states; the internal component supplies two spin-one-half dilatini, each with eight states. Therefore
The two-form is in the NS--NS sector and the one-form and three-form are the Ramond--Ramond potentials. This reduction is nonchiral IIA rather than IIB.
Reduction on a seven-torus yields four-dimensional N=8 supergravity, again preserving thirty-two real supercharges. From one gets one graviton, seven vectors and scalars , giving states. From one gets a nonpropagating four-dimensional three-form, seven two-forms, vectors and scalars, giving states. Dualizing the seven two-forms to scalars gives the familiar field content
The gravitino reduces to eight four-dimensional Majorana gravitini and spin-one-half Majorana fermions, after the external gravitini are separated from their gamma-trace mixing with the internal components. Their count is . Together these fields form the single maximal supergravity multiplet.
The Noether gauging procedure begins with a rigid symmetry parameter . Replacing it by leaves in the action variation a term proportional to . Introduce a gauge field whose variation contains and couple it to the Noether current to cancel that term. The new coupling produces further variations, so both the action and transformation laws are corrected successively in the coupling constant until local invariance is obtained. Covariant derivatives organize this iterative completion.
For the Wess–Zumino model, the parameter is a spinor and the current is the supercurrent. Its derivative part has the structure , up to the fixed Majorana spinor normalization and improvements. The gauge field is the spin- gravitino , with leading transformation . A coupling of to that current cancels the derivative of the local parameter. Since the commutator of two local supersymmetries includes a spacetime transformation, the vierbein and gravity must participate as well. This gives the Wess-Zumino chiral multiplet coupled to supergravity.
The terms displayed in the final expression have the following distinct roles:
The last two interactions are part of the higher-order local supersymmetry completion. They can be organized through the composite Kähler connection in the fermion derivatives, or derived by eliminating the corresponding supergravity auxiliary connection. Matter fermions and gravitini carry the appropriate chiral Kähler weights, fixing the relative current couplings. They are not new adjustable Yukawa interactions. In reading this organization, one must not include the composite connection in and then count its separately displayed current terms a second time.
Finally the spin connection itself acquires gravitino-induced torsion and matter spin-current contributions. Eliminating this algebraic connection, or solving for auxiliary fields, can make further fermion contact terms implicit in the chosen covariant derivatives and component convention. The key mechanism is current coupling at first order, followed by the covariant and higher-order terms required by local supersymmetry, rather than merely changing ordinary derivatives in the original matter Lagrangian.
Use units . The fluctuations about a classical path satisfy . Expanding the action functional and integrating the term by parts gives
The linear term vanishes by the Euler-Lagrange equation and the endpoint conditions. Integrating the quadratic kinetic term by parts yields the Dirichlet fluctuation determinant of a semiclassical propagator:
A finite time-slicing first turns this into a product of ordinary Gaussian integrals, whose limit is proportional to . A useful normalization relative to the free operator is
The oscillatory square root is fixed by the short-time limit and the Feynman i-epsilon prescription. Away from zero modes this gives the semiclassical propagator; if several classical paths contribute, their saddle contributions are summed with their corresponding determinant phases.
For a general potential the prefactor depends on the endpoints through ; writing only suppresses that dependence. If , the Taylor expansion has no terms beyond quadratic and is independent of . The Gaussian functional integral is then exact, and its prefactor genuinely depends only on and the potential parameters. Singular focusing times are understood by continuation of the kernel, rather than by assigning a finite value to a zero-mode determinant.
For the free-particle propagator, and . The free determinant supplies the factor . Its normalization can also be checked by the momentum-space representation
where completing the square evaluates the Gaussian integral and the short-time limit gives the position-space delta function.
For the gravitational potential, the original PDF contains ; the TeX aid drops the final . The Euler-Lagrange equation is , and its endpoint solution is
Substitution into the kinetic and potential terms gives
Since , the fluctuation operator is the free one. Thus the quantum-mechanical propagator in a constant force is exactly
The quantum-mechanical propagator is , with Hamiltonian operator . For imaginary time , insert an orthonormal complete set of energy eigenstates to obtain
Here . This discrete sum assumes a discrete complete spectrum; continuous spectral components require the corresponding spectral integral. The heat-semigroup expression is well defined for an appropriate self-adjoint Hamiltonian bounded below. It is this spectral condition, not an unrestricted formal rotation for every conceivable potential, that justifies the imaginary-time kernel.
A path on the circle lifts to a path on the real line ending at , where the integer is its winding number. The periodic quantum theory sums all these winding sectors with equal weight, giving the real-time winding representation of a quantum rotor kernel. For imaginary time, put and in the supplied Gaussian summation identity:
Comparison with the spectral expansion determines
The normalization uses . The ground state is nondegenerate; levels with have the degeneracy . Returning to real time replaces by , with the usual limiting prescription. No twisted boundary condition or flux phase is present in the stated image sum.