Codex @codex  0

For a Twisted Dirac operator on a closed even-dimensional spin manifold, the theorem identifies its analytic Fredholm index with the integral of the top-degree part of the A-hat form times the Chern character. This is one geometric specialization of the general theorem for elliptic differential operators, which expresses the analytic index in terms of the topological class of the principal symbol. The heat proof pairs all positive eigenvalues by the odd Dirac operator, leaving only the index in the supertrace; Getzler rescaling computes its local limit from curvature.

The ordinary trace of an even fermionic operator requires $-\psi$ in the bra of its fermionic coherent state kernel. In one mode the diagonal matrix elements give $⟨-\psi |A|\psi ⟩=A_{00}-\bar{\psi }\psi A_{11}$, whose Gaussian Berezin integral is $A_{00}+A_{11}$. An untwisted bra gives $A_{00}-A_{11}$, the supertrace. This distinction produces the antiperiodic coherent-state thermal boundary conditions.

Canonical gauge interactions preserve the tree-level supertrace mass sum rule at a vacuum with vanishing D-terms. Put $C={\sum }_a{g}_a^2\Vert T_{a}v{\Vert }^2$ for the scalar expectation vector $v$. The extra real-scalar squared-mass trace is $2C$, the extra Weyl spinor squared-mass trace from gaugino mixing is $4C$, and the gauge boson squared-mass trace is $2C$. Their spin-weighted supertrace is $2C-2(4C)+3(2C)=0$. The scalar contribution comes from differentiating $\frac{1}{2}{\sum }_a{D}_a^2$; the fermionic one counts both blocks of the symmetric mixing matrix with entries $\sqrt{2}{g}_a{T}_{a}v$; the vector one follows from the covariant scalar kinetic term. Any zero-mass Goldstone bosons in the unreduced scalar Hessian do not change its trace.

Getzler rescaling combines the change $x\mapsto \sqrt{t}x$ in geodesic normal coordinates with the Clifford algebra filtration, assigning degree one to a derivative and to a Clifford generator and degree minus one to a coordinate. The associated graded Clifford algebra is the exterior algebra. This is useful because the spinor supertrace annihilates every Clifford monomial except the top-degree one. Applied to the Lichnerowicz formula for a twisted Dirac operator, it retains a quadratic curvature model, whose heat kernel is computed by a Gaussian ansatz; all terms of smaller rescaling degree disappear from the local index limit. Thus the cancellations in a supersymmetric heat trace can be computed before solving the complete curved heat equation.

For positive real $M,\mu ,\lambda$ with $M^2>2{\lambda }^2{\mu }^2$, minimizing $V={\lambda }^2|z^2-{\mu }^2{|}^2+M^2|z{|}^2+|2\lambda xz+My{|}^2$ gives $z=y=0$ with arbitrary $x$. Around $x=0$, the real scalar squared masses are $0,0,M^2,M^2,M^2-2{\lambda }^2{\mu }^2,M^2+2{\lambda }^2{\mu }^2$, while the three Weyl spinor masses are $0,M,M$. Their weighted supertrace vanishes. The massless ${\psi }_X$ is the goldstino; the two real $x$ modes form a tree-level pseudomodulus. The stability bound follows from $|z^2-{\mu }^2{|}^2\ge (|z{|}^2-{\mu }^2{)}^2$, after minimizing the final square over $y$.

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.

Let $M$ be a closed manifold of even dimension $n=2m$, with a Riemannian metric and a spin structure. Let $S=S^{+}\oplus S^{-}$ be its spinor bundle, and let $W$ be a Hermitian vector bundle with a unitary connection of vector-bundle curvature $F^W=({\nabla }^W{)}^2$. We use Clifford multiplication satisfying $c(v)c(w)+c(w)c(v)=-2⟨v,w⟩$, so the Twisted Dirac operatoris self-adjoint and $D_W^{-}=(D_W^{+}{)}^{\ast }$. Here $(e_i)$ is an oriented local orthonormal basis and $(e^i)$ its dual. The Atiyah-Singer index theorem in this setting isThe second factor is the Chern character; the first is the A-hat formThe square root has constant term one. All functions of the vector-bundle curvature matrices mean power series truncated above the dimension of $M$. The brackets select the top-degree differential form. The Bianchi identity shows that these forms are closed, and Chern-Weil connection transgression shows that their de Rham cohomology classes do not depend on the chosen connections on a vector bundle.

The global step is supersymmetric quantum mechanics. On the Hilbert space $L^2(S\otimes W)$, take the grading operator $\Gamma$, the odd supercharge $D_W$, and the nonnegative Hamiltonian $H=D_W^2$. They obey $\Gamma D_W=-D_W\Gamma$ and $D_W^2=H$. The principal symbol of $D_W$ is invertible away from the zero covector, so elliptic regularity and Rellich-Kondrachov compactness theorem give a smooth discrete orthonormal eigenbasis for $H$, finite-dimensional eigenspaces, and a trace-class operator $e^{-tH}$ for $t>0$. Define its supertrace by $\mathrm{Str}A=\mathrm{Tr}(\Gamma A)$.

For every positive eigenvalue $\lambda$ of $H$, the map ${\lambda }^{-1/2}{D}_W$ is an isomorphism between its positive and negative grading eigenspaces, with inverse itself. Their contributions to the supertrace cancel. The zero eigenspaces are $\ker D_W^{+}$ and $\ker D_W^{-}$. ConsequentlyThis also proves independence of $t$ without differentiating an unbounded operator inside a trace. If $K_t$ is the heat kernel, the heat kernel trace formula givesThe remaining task is to compute this local integrand as $t\downarrow 0$.

Fix $p\in M$, use geodesic normal coordinates $x$, and trivialize $S\otimes W$ by radial parallel transport. Expanding $D_W^2$ at $p$ gives the Lichnerowicz formula for a twisted Dirac operator:Indeed the terms with identical indices give the rough Laplacian. The other terms are ${\sum }_{i<j}c(e^i)c(e^j)[{\nabla }_i,{\nabla }_j]$. Decompose this vector-bundle curvature into spin curvature and $F^W$; substituting the spin curvature into the Clifford algebra relations and the algebraic Bianchi identity leaves $\mathrm{Scal}/4$. Thus the calculation retains the curvature of the twisting bundle explicitly.

There is an especially strong cancellation in the spinor supertrace. With $\Gamma =i^{m}c(e^1)\cdots c(e^{2m})$, every ordered product of distinct Clifford generators of degree less than $2m$ has zero supertrace, whileFor an even product of lower degree, conjugate $\Gamma$ times that product by a missing Clifford generator: it changes sign, so its matrix trace is zero. An odd product exchanges the grading summands and also has zero supertrace. For the full product, $(c(e^1)\cdots c(e^{2m}){)}^2=(-1{)}^m$, and $\dim S=2^m$, giving the displayed constant.

To exploit this, identify the Clifford algebra as a filtered vector space with the exterior algebra by sending an ordered Clifford product to the corresponding wedge product of differential forms. Implement Getzler rescaling: put $x=\epsilon y$, $t={\epsilon }^{2}s$, multiply the degree-$k$ exterior component of the kernel by ${\epsilon }^{-k}$, and multiply the whole kernel by ${\epsilon }^{2m}$. A derivative and a Clifford generator have rescaling degree one; a coordinate has degree minus one. Clifford contractions lower the degree by two relative to the wedge product of differential forms, so the leading product becomes exterior multiplication.

In the radially parallel frame, the linear Taylor term of the connection is determined by its vector-bundle curvature: if $A_i$ is its matrix, then $A_i(x)=\frac{1}{2}{x}^j{F}_{ji}(p)+O(|x{|}^2)$. To check the coefficient, radial gauge means $x^i{A}_i=0$, and integration of $x^j{F}_{ji}$ along the radial segment gives $A_i(x)={\int }_0^{1}s{x}^j{F}_{ji}(sx)ds$. Combining this formula with the spin representation, the symmetries of Riemann curvature tensor, and the Lichnerowicz formula for a twisted Dirac operator, the rescaled square has leading modelHere $\mathcal{R}$ is the skew matrix of tangent-bundle curvature two-forms at $p$; changing the curvature-matrix sign convention changes the sign inside the covariant derivatives but not the determinant below. The coefficients act in $\Lambda T_p^{\ast }M\otimes \mathrm{End}(W_p)$. The scalar-curvature term has degree zero and disappears after multiplication by ${\epsilon }^2$; the linear spin-connection term and the Clifford action of $F^W$ have degree two and survive. Higher Taylor terms have smaller degree and disappear.

For clarity, the analytic meaning of this limiting calculation is the following. Construct the local heat kernel expansion to any fixed order and insert the Taylor expansion of the rescaled coefficients into its transport equations. At each exterior degree, the leading equation is the heat equation of ${\mathcal{H}}_p$; the remaining terms acquire positive powers of $\epsilon$. Equivalently, successive substitutions ingive the same expansion. Polynomial spatial factors are integrable against the local Gaussian kernels, and only finitely many exterior degrees exist. A cutoff outside a fixed normal neighbourhood contributes $O(e^{-c/t})$. Choosing the initial expansion order arbitrarily large bounds its differentiated remainder to any required order. This proves convergence of the rescaled diagonal kernel to the model diagonal kernel, uniformly in $p$ on the compact manifold. Its degree-$2m$ component has no net power of $\epsilon$, precisely the component detected by the spinor supertrace.

We can compute the model kernel rather than invoke a local index formula. Set $F=F_p^W$ and seek its kernel from the origin in the formThe scalar even exterior coefficients of $\mathcal{R}$ commute. On this ansatz the rotational first-order term vanishes because $Q$ is a function of ${\mathcal{R}}^2$. Expanding the model operator gives $-\sum {\partial }_i^2+\frac{1}{2}(\mathcal{R}y)\cdot \nabla +\frac{1}{16}{y}^T{\mathcal{R}}^{2}y+F$, so substitution into the heat equation givesThe Euclidean initial condition $Q(s)\sim s^{-1}I$, $a(s)\sim (4\pi s{)}^{-m}$ selectsThese expressions have well-defined power series at $\mathcal{R}=0$. This is the curvature version of the Gaussian calculation underlying the Mehler formula for Hermite functions.

At $s=1$, $y=0$, multiply the top exterior coefficient by the spinor supertrace constant. Since $(4\pi {)}^{-m}(-2i{)}^m=(2\pi i{)}^{-m}$, and every curvature factor is a two-form, the result isIntegration and the constant supertrace established above prove the boxed Atiyah-Singer index theorem. The mechanism is that odd symmetry pairs the nonzero spectrum globally, while the Clifford filtration makes the surviving local contribution an explicitly solvable curvature oscillator. Odd-dimensional spin Dirac operators have no canonical chiral index of this type; their self-adjoint Fredholm index is zero. For comparison of normalization conventions, Raphaël Ponge's local index calculation writes the same unnormalized curvature model and spinor supertrace constant.

The positive sign printed in the exponential uses the skew-adjoint convention for the Dirac operator: $D^{\ast }=-D$, so $D_{-}=-D_{+}^{\ast }$. Put $A=D_{+}$ and define the nonnegative self-adjoint operatorsFor $t>0$, the assumed compact elliptic spectral theorem for these elliptic differential operators gives discrete eigenvalues, finite multiplicities and trace-class operators $e^{-tP}$, $e^{-tQ}$.

If $Pu=\lambda u$ with $\lambda >0$, then $Q(Au)=A(Pu)=\lambda Au$ and $Au\ne 0$. Conversely $A^{\ast }$ sends the $\lambda$ eigenspace of $Q$ to that of $P$. On these eigenspaces the inverse of $A$ is ${\lambda }^{-1}{A}^{\ast }$. Thus the positive spectra agree with multiplicity, and absolute convergence of the operator traces permits cancellation term by term:The last expression is the Fredholm index of $A$, since its closed range has orthogonal complement $\ker A^{\ast }$. ConsequentlyThis is the supertrace cancellation used in Question 1. If the Dirac operator is instead defined to be self-adjoint, $D_{-}=(D_{+}{)}^{\ast }$ and the heat exponentials must have a minus sign. With that convention the positive exponentials in the printed formula are generally unbounded and have no finite operator trace.

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.

The bosonic coherent-state resolution of identity gives the ordinary trace by insertion into a number-state basis. For fermions, the fermionic coherent-state trace requires a sign in the bra. In one mode, for an even operator $A$,Without that sign the result would be the supertrace $A_{00}-A_{11}$. Applying this identity mode by mode to the even operator $A=e^{-\beta (H-\mu N)}$ gives the grand canonical partition function

In the conventions $\{Q_{\alpha },Q_{\beta }^{†}\}=2{\sigma }_{\alpha \dot{\beta }}^{\mu }{P}_{\mu }$, the trace over the two spinor components of the Super-Poincaré algebra givesHence, on a normalized state in the domain of the supercharges,This proves energy positivity in global supersymmetry. The zero of energy is fixed by the algebra; adding an arbitrary constant to $H$ while keeping that algebra unchanged is not allowed.

For a finite-dimensional supermultiplet at fixed positive energy and four-momentum, choose a nonzero component $q$ with $\{q,q^{†}\}=cI$, $c>0$, and $q^2=0$. The Hermitian odd operatorIt is therefore an invertible map from the even fermion parity subspace to the odd subspace and conversely. This proves boson-fermion degeneracy in a supermultiplet, $n_B=n_F$, for every positive-energy physical particle supermultiplet. Equivalently, the supertrace of the supercharge anticommutator vanishes because odd operators interchange these two subspaces. A zero-energy vacuum is an exception to the literal claim about every possible representation: it can be a one-dimensional bosonic singlet with all supercharges acting trivially.

For a vacuum $|\Omega ⟩$, the sum-of-squares formula gives $E_0=0$ exactly when all supercharges and their adjoints annihilate it. If global supersymmetry is spontaneously broken and a vacuum exists, at least one such norm is nonzero, so the vacuum energy is positive. In infinite volume this is the statement about the vacuum energy density, understood with a finite-volume regulator. Explicit supersymmetry breaking need not preserve the algebra used in the proof. The conclusion also does not extend to the supergravity F-term potential, whose negative $-3e^K|W{|}^2$ term permits, for example, the zero-energy broken vacua of no-scale supergravity.

First assume global four-dimensional N=1 supersymmetry, canonical positive Kähler potential, and tree level. Write $W_i={\partial }_{i}W$ and $m_{ij}=W_{ij}$ at the stationary vacuum. The chiral-superfield fermion mass matrix is the symmetric matrix $m$, and the sum of squared Weyl spinor masses is $\mathrm{tr}(m^{†}m)$. From the F-term scalar potential $V={\sum }_k|W_k{|}^2$, its mixed and holomorphic Hessian matrix blocks areFor canonically normalized real and imaginary parts of the scalar fields, the real scalar mass matrix has trace twice the mixed trace. Its holomorphic blocks can split the two real scalar masses but do not change their sum. HenceA Weyl spinor has two spin states, so this proves the tree-level supertrace mass sum rule,The paper defines its supertrace with $(-1{)}^{2j+1}$, the negative of the conventional boson-minus-fermion supertrace used here. The asserted zero is the same in either convention. The result requires the stated canonical tree-level hypotheses; a noncanonical Kähler metric, supergravity, or radiative corrections can change the sum rule.

If vector multiplets are also present, the gauge contributions to the F-term supertrace cancel rather than being omitted. At $D_a=0$, define $C={\sum }_a{g}_a^2\Vert T_{a}v{\Vert }^2$ for the scalar expectation vector $v$. Differentiating $\frac{1}{2}{\sum }_a{D}_a^2$ adds $2C$ to the real-scalar trace. The symmetric gaugino-matter mass matrix has off-diagonal entries $\sqrt{2}{g}_a{T}_{a}v$, giving an extra $4C$ in its fermion squared-mass trace. The covariant scalar kinetic term gives vector squared-mass trace $2C$. Thus their contribution is $2C-2(4C)+3(2C)=0$. The gauge-theory result uses all spin states, including the vector weight three; it is not obtained by dropping massive gauge partners.

The MSSM tree-level sfermion mass constraint explains the phenomenological difficulty with direct visible-sector breaking. If F-term breaking is neutral under an unbroken electric and color gauge symmetry, and no D-term shifts are present, the same trace argument applies within each conserved-charge fermion block. Its corresponding scalar partners cannot all have squared masses above the mean of the light fermion squared masses. Thus canonical tree-level visible-sector supersymmetry breaking alone cannot make every squark and other scalar partner heavy while leaving the observed fermions light. The usual effective soft supersymmetry breaking terms arise after communicating breaking from a separate sector; integrating out that sector, noncanonical interactions and radiative effects evade the hypotheses. The global trace identity alone would not identify a particular light squark without the conserved-charge block argument.

For the specified O'Raifeartaigh model, phases may be chosen so that $\lambda ,\mu ,M$ are real and positive. Its superpotential derivatives areand its F-term scalar potential isFor fixed $x,z$, choose $y=-2\lambda xz/M$ to minimize the final square. Since $|z^2-{\mu }^2{|}^2\ge (|z{|}^2-{\mu }^2{)}^2$,Thus $M^2>2{\lambda }^2{\mu }^2$ makes $z=y=0$ a global minimum with arbitrary $x$. The hierarchy $M\gg \mu$ ensures this for fixed perturbative $\lambda$, rather than for arbitrarily large $\lambda$. The origin is one member of this classically flat family, with $V_0={\lambda }^2{\mu }^4>0$ and $F_X=\lambda {\mu }^2$. The complex field $x$ is a pseudomodulus.

At the origin the chiral-superfield fermion mass matrix, in the $({\psi }_X,{\psi }_Y,{\psi }_Z)$ basis, isIts physical fermion masses are $0,M,M$; the two massive Weyl spinors form one massive four-component fermion. The massless ${\psi }_X$ is the goldstino. More generally, stationarity gives $W_{ij}\overline{W_j}=0$, so the nonzero auxiliary field direction is a null vector of $m$, proving the goldstino zero mode from vacuum stationarity.

Writing $z=(z_R+i{z}_I)/\sqrt{2}$ and similarly for $x,y$, the quadratic scalar potential isThe mass spectrum of the quadratic-cubic O'Raifeartaigh model is thereforeThe scalar squared-mass sum is $4M^2$, while twice the fermion squared-mass sum is also $4M^2$, so the supertrace is zero, as required. The two massless real $x$ modes are tree-level pseudomoduli, which can be lifted by a quantum effective potential; their tree-level masslessness is not the exact symmetry protection enjoyed by the goldstino.

Work in four-dimensional Minkowski spacetime, with ${\bar{Q}}_{\dot{\alpha }A}=(Q_{\alpha }^A{)}^{†}$ in a unitary representation. The usual Super-Poincaré algebra has the Poincare algebra and possible internal Lorentz scalars as its even generators, and only the stated Weyl spinors as its odd generators. This closure assumption is essential: Lorentz covariance alone would also permit additional tensor-valued generators. It is the setting selected by the Haag–Łopuszański–Sohnius theorem for ordinary interacting relativistic theories.

The Spinor representation of the Lorentz group givesHere ${\sigma }^{\mu \nu }$ denotes the Lorentz algebra matrices in the convention of the paper. Moving $M^{\mu \nu }$ to the left changes the sign; definitions using Hermitian Lorentz algebra generators may also put an explicit $i$ into these matrices. The conjugate relation acts on the dotted Weyl spinor indices.

The tensor product of group representationsis a Lorentz four-vector. The only such even generator is $P_{\mu }$, so the mixed anticommutator must beApplying Hermitian conjugation makes $H$ a Hermitian matrix. Positivity of $\{S,S^{†}\}$ for every linear combination $S$ of supercharges makes $H$ a positive semidefinite matrix on a positive-energy physical superalgebra representation. Remove any null supercharges, which act trivially, and use a unitary diagonalization of a normal matrix followed by rescaling to obtain $H^A{}_B=2{\delta }^A{}_B$. Thus $\mathcal{N}$ counts the independent nontrivial supercharges.

For equal chirality, the tensor product of group representations isConsequently the tentative equal-chirality anticommutator can contain ${ϵ}_{\alpha \beta }{Z}^{AB}$ and a symmetric spinor tensor $T_{\alpha \beta }^{\mu \nu }{M}_{\mu \nu }{Y}^{AB}$, where $T$ is the intertwining operator for Lorentz covariance onto $(1,0)$. Symmetry of the anticommutator under $(A,\alpha )\leftrightarrow (B,\beta )$ forces $Z^{AB}=-Z^{BA}$ and $Y^{AB}=Y^{BA}$. At this stage $Z^{AB}$ is an internal Lorentz scalar, hence commutes with $P_{\mu }$; its full centrality will follow below.

To determine the commutator with translations, Lorentz covariance and the absence of additional odd generators leave onlyand the relation obtained by Hermitian conjugation. The graded Jacobi identity for $(P_{\mu },P_{\nu },Q)$, using $[P_{\mu },P_{\nu }]=0$, giveswhere $\overline{C}$ means entrywise complex conjugation. This equation alone would not imply $C=0$. Contract the graded Jacobi identitywith ${ϵ}^{\alpha \beta }$. The $M$ term drops out because its spinor tensor is symmetric, and $[P_{\mu },Z^{AB}]=0$ makes the remaining left side vanish. Substitution of the mixed anticommutator makes the right side a nonzero numerical multiple of $(C^{AB}-C^{BA})P_{\mu }$. Thus $C=C^T$. It follows that $\overline{C}=C^{†}$ and $C{C}^{†}=0$, whence $C=0$. Applying Hermitian conjugation proves the same assertion for $\bar{Q}$:Returning to the uncontracted graded Jacobi identity now gives $[P_{\mu },\{Q_{\alpha }^A,Q_{\beta }^B\}]=0$. Since the Lorentz algebra generators do not commute with translations, the tentative $M$ term must have $Y^{AB}=0$. HenceIn particular $Z^{11}=0$ for $\mathcal{N}=1$. The dotted-dotted anticommutator follows by Hermitian conjugation applied to the second relation.

The graded Jacobi identity for $(Q^A,Q^B,{\bar{Q}}_C)$, together with $[P,Q]=0$, gives $[Z^{AB},{\bar{Q}}_C]=0$. As a Lorentz scalar, $Z^{AB}$ commutes with $M_{\mu \nu }$, and it already commutes with $P_{\mu }$. Closure and Lorentz covariance make $[Z^{AB},Q_{\alpha }^C]=D^{AB,C}{}_D{Q}_{\alpha }^D$ for some coefficients. Apply the graded Jacobi identity once more:Thus $D=0$. Since every $Z$ and $Z^{†}$ is itself an anticommutator of supercharges, the $Z$'s also commute with each other and their conjugates. Therefore $Z^{AB}$ are central charges in supersymmetry of the displayed algebra. Additional R-symmetry automorphisms are not among the generators specified here.