Codex @codex  0

Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write $W_i={\partial }_{i}W$ and $W_{ij}={\partial }_i{\partial }_{j}W$. To match the displayed stationarity equation, use $F^i=\overline{W_i}$; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are $D^a=-g^a({\bar{\varphi }}_i(T^a{)}^i{}_j{\varphi }^j+{\xi }^a)$, with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential isDifferentiate with respect to ${\varphi }^i$, holding $\bar{\varphi }$ independent:Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives $W_i(T^a{)}^i{}_j{\varphi }^j=0$. Conjugating it and using Hermiticity gives ${\bar{\varphi }}_j(T^a{)}^j{}_i{F}^i=0$, the second condition in the form needed below.

At the vacuum, define $H_{ij}=⟨W_{ij}⟩$ and $G_{ia}=g^a⟨{\bar{\varphi }}_j⟩(T^a{)}^j{}_i$. The two conditions combine asHere the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes $-\frac{1}{2}{H}_{ij}{\psi }^i{\psi }^j$, 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 areThe factor $\sqrt{2}$ is important: the matrix directly acting on the printed $(F,D)$ is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for $S=\mathrm{diag}(I,\sqrt{2}I)$,Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion isWith the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of $(\psi ,\lambda )$ is proportional to the same vector $(F,D/\sqrt{2})$. Therefore $\eta$ 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 $v$, let $h=\varphi -v$, $m_{ij}=W_{ij}(v)$ andThese follow by differentiating $V={\sum }_k|W_k{|}^2$ twice. The quadratic scalar potential isThe doubled scalar mass matrix has blocksTransforming to the $2N$ canonically normalized real components of $h$ preserves its trace, so the sum of real scalar mass squares is $\mathrm{tr}{M}_s^2=2\mathrm{tr}A$. The Weyl fermion mass squares are the eigenvalues of $m^{†}m=A$ and their sum is $\mathrm{tr}A$. Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign $-1$ and fermion weight $+2$, henceThe frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block $B$ 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 $u$ minimizing $u^{†}Au$. For $h=e^{i\alpha }u$, choose $\alpha$ so that $\mathrm{Re}(e^{2i\alpha }{u}^{T}Bu)\le 0$. The curvature along this real scalar direction is then at most $u^{†}Au$, 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 $m_f^2\pm |B|$. 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.

There are two distinct parts of the hierarchy problem. The first asks why the scale of electroweak symmetry breaking is so much smaller than a fundamental scale such as the Planck mass. The second, the technical hierarchy problem, asks why that separation survives quantum corrections once it is chosen. With a fundamental Higgs boson, a mass term $m_H^2{H}^{†}H$ is allowed by the ordinary gauge symmetry, so heavy thresholds can contribute additive terms of order a heavy mass squared. This is different from the chiral protection of a fermion mass and the gauge protection of a vector mass.

For example, a cutoff description of the Standard Model gives the schematic one-loop sensitivityThe regulator-dependent quadratic term is not itself an observable, but a physical heavy particle of mass $M$ coupled to the Higgs likewise produces a matching correction of order coupling squared times $M^2/(16{\pi }^2)$. Maintaining $|m_H^2|\ll M^2$ then generically requires cancellation between large unrelated terms. This is the naturalness concern; changing the regulator does not eliminate the heavy-threshold issue.

Exact supersymmetry relates bosonic and fermionic couplings and masses. Their loop contributions have opposite signs, and the relations enforce supersymmetric cancellation of quadratic divergences. Boson-fermion degeneracy in a supermultiplet also transfers fermionic mass protection to its scalar partners. It is not sufficient merely to add arbitrary scalars: the supersymmetric coupling relations are what make the cancellation persist. Perturbative superpotential non-renormalization further protects holomorphic mass parameters, although wave-function renormalization still makes canonically normalized couplings run.

For a realistic separation between ordinary particles and their partners, supersymmetry must be broken. Soft supersymmetry breaking introduces masses and selected positive-mass-dimension interactions without reinstating the original ultraviolet quadratic divergence. A paired propagator difference behaves at high Euclidean momentum asso a residual scalar correction is of the orderThis soft scalar-mass sensitivity controls the technical problem if the relevant soft masses and thresholds are not too far above the weak scale. Very heavy partners can still require tuning through finite and logarithmic terms. Supersymmetric cancellations alone therefore do not guarantee a naturally small weak scale for an arbitrary broken spectrum.

The origin of the hierarchy needs further dynamics. In dynamical supersymmetry breaking, an asymptotically free hidden supersymmetry-breaking sector can generate an exponentially smaller scale by dimensional transmutation,If that sector actually has no supersymmetric vacuum, its breaking can be communicated to the visible sector to produce small soft terms. The exponential creates a hierarchy without specifying a tiny dimensionless coupling at the high scale, but the existence of breaking and its mediation are additional model-building requirements. In the MSSM, running Higgs soft masses can trigger electroweak symmetry breaking. The supersymmetric mu problem remains: the allowed superpotential mass $\mu H_u{H}_d$ must also be near the soft scale, and non-renormalization protects a chosen small $\mu$ without explaining its origin.

Extra-dimensional proposals use geometry to explain why observable gravitational and weak scales differ. In large extra dimensions, assume gravity propagates in $4+n$ dimensions with fundamental scale $M_{\ast }$, while ordinary fields are localized on a brane. Integrating the Einstein-Hilbert action over compact volume $V_n$ gives the Planck mass from compactification volume relationHere $M_{\mathrm{Pl}}$ denotes the four-dimensional reduced Planck mass. A sufficiently large internal volume lets $M_{\ast }$ be near the weak scale even though $M_{\mathrm{Pl}}$ is enormous. The Higgs need then be stable only up to the lower fundamental cutoff. This explains the weakness of long-distance gravity geometrically but trades the scale question for the origin and stabilization of a large compact volume. Ordinary matter is localized to avoid an unwanted low-mass tower of its own Kaluza-Klein modes; gravitational modes, departures from four-dimensional gravity and bulk energy loss impose phenomenological requirements.

The Randall–Sundrum model instead uses a warped five-dimensional interval, conventionally the doubled $S^1/{\mathbb{Z}}_2$ orbifold with fixed branes at $0$ and $L$:For a scalar confined to the distant brane, the kinetic and mass terms carry factors $e^{-2kL}$ and $e^{-4kL}$. Canonical rescaling therefore producesA moderately large $kL$ yields an exponentially small observable mass without a comparably large compact-volume factor. The inter-brane size is the radion, so one still needs a mechanism fixing its expectation value. Consistent curvature, brane tensions and ultraviolet physics are also part of the model. Warping is a redshift mechanism; it does not provide the same cancellation of arbitrary scalar loops as supersymmetry.

Finally, protecting a Higgs mass is not the same as solving the vacuum-energy hierarchy. Exact global supersymmetry has zero-energy supersymmetric vacua, but broken supersymmetry generically leaves vacuum energy set by its breaking dynamics. In supergravity, positive auxiliary-field contributions coexist with a negative superpotential term, and obtaining a very small cosmological constant requires further structure or cancellation. Neither soft supersymmetry nor the two geometric mechanisms automatically resolves that problem. The mechanisms can also coexist in one higher-dimensional supersymmetric theory.

Use the minimal four-dimensional Super-Poincaré algebra, with $\{Q_{\alpha },Q_{\beta }\}=0$, $\{Q_{\alpha },{\bar{Q}}_{\dot{\beta }}\}=2{\sigma }_{\alpha \dot{\beta }}^{\nu }{P}_{\nu }$ and commuting translations. Lorentz covariance and closure on the existing supercharges permit onlyThe graded Jacobi identity for $P^{\mu },Q_{\alpha },Q_{\beta }$ therefore givesFor example, with ${\sigma }^0=I$, $\mu =0$ and $\alpha =\beta =1$, the coefficient is a nonzero multiple of $A(P_1-i{P}_2)$. Independence of the translation generators forces $A=0$. Its adjoint gives the barred result. Thus every supercharge commutes with four-momentum:Consequently $[Q_{\alpha },P^2]=0$. If $|u⟩$ has a particular mass-shell condition, the nonzero state $Q_{\alpha }|u⟩$ has the same one. This gives supersymmetric mass degeneracy within an unbroken physical supermultiplet. The qualification matters: after spontaneous supersymmetry breaking, the chosen vacuum is not annihilated by the supercharges, and its one-particle excitations need not constitute degenerate supermultiplets.

For the O'Raifeartaigh model, write $X={\varphi }_1$, $Y={\varphi }_2$, $Z={\varphi }_3$. Field phases allow $g,M,m$ to be positive. The canonical Kähler potential and elimination of the auxiliary fields give the F-term scalar potentialA supersymmetric vacuum would require $W_Y=MZ=0$, hence $Z=0$, while $W_X=g(Z^2-m^2)=-g{m}^2$ could not vanish. Thus F-flatness is impossible. More precisely, with $Z=u+iv$,The stated strict inequality makes every nonconstant term nonnegative. The entire classical vacuum family isHere $F_X=-\overline{W_X}=g{m}^2$, while $F_Y=F_Z=0$. The Weyl spinor ${\psi }_X$ is the massless goldstino, and the complex scalar field $X$ is a pseudomodulus with two zero tree-level squared masses. The hierarchy $M\gg m$ separates the massive fields from the breaking scale, but it does not itself select $x=0$ along this flat direction.

At the representative vacuum $x=0$, the chiral-superfield fermion mass matrix isIts physical masses are its singular values: $0,M,M$. The two massive Weyl spinors can be combined into one massive Dirac spinor. For $Y=(y_R+i{y}_I)/\sqrt{2}$, $Z=(z_R+i{z}_I)/\sqrt{2}$, the real scalar squared masses areIn particular, there is no tachyon under the stated inequality. The splitting of the $Z$ masses displays supersymmetry breaking directly.

For completeness, the mass spectrum can be given throughout the classical vacuum family, rather than silently fixing the pseudomodulus. A phase rotation makes $x$ real and nonnegative without changing physical masses. The massive fermion squared masses areThe real and imaginary scalar sectors have two-by-two scalar squared-mass matriceswhose eigenvalues areBoth determinants are $M^2(M^2+2ϵg^2{m}^2)>0$ and their traces are positive, so stability holds at every finite $x$. Quantum corrections can lift a pseudomodulus; these formulas describe the classical, tree-level spectrum requested here.

Define the physical mass supertrace byEach real scalar contributes once and each Weyl spinor twice with a minus sign. At $x=0$ this gives $4M^2-2(2M^2)=0$. At general $x$, ${\sum }_{ϵ,\pm }{b}_{ϵ,\pm }=4M^2+8g^2|x{|}^2=2(f_{+}+f_{-})$. Hence the tree-level mass supertrace vanishes despite broken supersymmetry:This is the tree-level supertrace mass sum rule, not a claim that the individual masses are equal.

For direct breaking in the Minimal supersymmetric Standard Model, the difficulty is both field content and the tree-level spectrum. A linear gauge-invariant superpotential term needs a gauge-singlet chiral superfield, which the minimal model does not contain. Moreover, with canonical kinetic terms and purely neutral F-term breaking, without D-term mass shifts, the MSSM tree-level sfermion mass constraint applies separately to conserved charge sectors. For one electron pair it gives $m_{{\tilde{e}}_1}^2+m_{{\tilde{e}}_2}^2=2m_e^2$: both scalar partners cannot be heavy. This is an illustrative charge-sector consequence under those assumptions, not an unrestricted inference from the total supertrace alone. A separate hidden supersymmetry-breaking sector communicating effective soft supersymmetry breaking through loops or suppressed operators avoids the direct canonical tree-level obstruction.