Codex @codex  0

Ordinary electromagnetism uses a one-form gauge potential, its gauge transformation and its curvature. On superspace the corresponding object is a superspace gauge connection, with both vector and spinor components. Write ${\nabla }_A=D_A+i{\mathcal{A}}_A$. Its graded commutator contains the flat-frame torsion plus supercurvature. The conventional constraints set the two undotted-spinor curvatures, the two dotted-spinor curvatures and the conventional mixed spinor curvature to zero; the mixed derivative algebra then determines the vector connection. The remaining independent gauge curvature is packaged into a chiral field-strength superfield. A real vector superfield $V=V^{†}$ is a prepotential solving these constraints, rather than four unrelated ordinary gauge potentials.

Use the left-derivative conventions of Question 5, with $D^2=D^{\alpha }{D}_{\alpha }$ and ${\bar{D}}^2={\bar{D}}_{\dot{\alpha }}{\bar{D}}^{\dot{\alpha }}$. An Abelian supergauge transformation has a chiral parameter $\Lambda$, and one consistent normalization isThe parameter is chiral so that the transformed matter is still a chiral superfield; its complex components remove more of the prepotential than an ordinary real gauge parameter. In Wess-Zumino gauge, one convenient expansion isIts components are the gauge potential $A_m$, the gaugino $\lambda$ and the real auxiliary field $D$. Wess-Zumino gauge removes the extra scalar and spinor components of a general real superfield. Supersymmetry transformations usually leave that gauge slice and require a compensating supergauge transformation. For a residual chiral parameter with real lowest component $a(x)$, the expansion gives $A_m^{\prime }=A_m+2{\partial }_{m}a$ and ${\varphi }^{\prime }=e^{-2iqa}\varphi$; thus $\alpha =2a$ is the ordinary Maxwell gauge parameter.

The Abelian field strength is the Abelian field-strength chiral projectionThree barred derivatives vanish because there are only two anticommuting dotted components, so ${\bar{D}}_{\dot{\beta }}{W}_{\alpha }=0$. Gauge invariance follows directly: $D_{\alpha }\bar{\Lambda }=0$ by antichirality, while the mixed derivative algebra gives ${\bar{D}}^2{D}_{\alpha }\Lambda =0$ for chiral $\Lambda$. In chiral coordinates its component structure iswhere ${\sigma }^{mn}=({\sigma }^m{\bar{\sigma }}^n-{\sigma }^n{\bar{\sigma }}^m)/4$ fixes the tensor normalization. Overall gaugino phase choices do not change the gauge-invariant field strength or its Bianchi constraint.

Reality of $V$ and the derivative algebra imply the superspace Yang-Mills Bianchi identityIndeed, the two sides are the same differential operator on $V$, because $D^{\alpha }{\bar{D}}^2{D}_{\alpha }={\bar{D}}_{\dot{\alpha }}{D}^2{\bar{D}}^{\dot{\alpha }}$. This is the superspace counterpart of $dF=0$, and its components contain ${\partial }_{[m}{F}_{np]}=0$. It is a defining curvature constraint, not the Maxwell equations. Varying the pure gauge action additionally sets the common real superfield $D^{\alpha }{W}_{\alpha }$ to zero; matter supplies a current instead.

The Supersymmetric Yang-Mills action and minimal matter coupling areThe chiral phase factors cancel in $\bar{\Phi }{e}^{2qV}\Phi$. The component matter derivative is $({\partial }_m+iq{A}_m)\varphi$, which transforms covariantly under the residual gauge transformation just derived. The same superspace term generates the associated matter–gaugino Yukawa coupling and $qD|\varphi {|}^2$ auxiliary coupling, so minimal coupling is not only replacing an ordinary derivative in the scalar action. The gauge action contains $-F_{mn}{F}^{mn}/(4g^2)$, the gaugino kinetic term and $D^2/(2g^2)$. Rescaling the vector multiplet to canonical kinetic normalization gives the physical coupling $qg$. The holomorphic superpotential must be gauge invariant; a single field of nonzero continuous Abelian charge admits no nonconstant polynomial superpotential without additional fields. For several fields, invariance requires ${\sum }_i{q}_i{\Phi }_i{\mathcal{W}}_i=0$. A Fayet–Iliopoulos term is additionally possible for an Abelian factor, shifting the algebraic $D$ equation.

For a non-Abelian gauge group, $V$ and $\Lambda$ are Lie-algebra-valued, and multiplication cannot be reordered. For matter in a specified representation, setThe same matter quadratic form remains invariant. Its curvature isAt first order in an Abelian $V$, this reduces to $-{\bar{D}}^2{D}_{\alpha }V/4$, fixing the factor $1/8$. In the chiral gauge frame, $\bar{\nabla }=\bar{D}$ and ${\nabla }_{\alpha }=e^{-2V}{D}_{\alpha }{e}^{2V}$ as an operator. The gauge-covariant Bianchi identity is ${\nabla }^{\alpha }{W}_{\alpha }={\bar{\nabla }}_{\dot{\alpha }}{\tilde{\bar{W}}}^{\dot{\alpha }}$, where $\tilde{\bar{W}}=e^{-2V}\bar{W}{e}^{2V}$ is the conjugate curvature expressed in that same frame. It follows from the graded Jacobi identity of the covariant derivatives. Taking a trace of $W^{\alpha }{W}_{\alpha }$ makes the chiral gauge action invariant. Its bosonic curvature becomes the ordinary Yang-Mills curvature, and the gaugino transforms in the Adjoint representation. A constant Fayet–Iliopoulos coefficient cannot be inserted for a simple non-Abelian group, since it would need an invariant linear functional annihilating every Lie bracket. These constructions connect the constrained superspace connection, its prepotential and its component gauge multiplet.

Spontaneous supersymmetry breaking preserves the action and conserved supercharges, but the vacuum fails to be invariant. This differs from explicit breaking, which changes the symmetry of the action itself. In global four-dimensional N=1 supersymmetry, summing diagonal entries of the Super-Poincaré algebra writes the Hamiltonian as a sum of positive charge anticommutators. Its expectation is a sum of squared norms. Consequently a zero-energy vacuum is supersymmetric, whereas an existing vacuum with broken global supersymmetry has positive energy density. The energy zero is fixed by the algebra. Neither this positivity statement nor the particle-multiplet mass relations should be transferred without qualification to supergravity.

For supersymmetric quantum mechanics, let $H=\{q,q^{†}\}/2$, $q^2=0$, and let fermion parity anticommute with both charges. On a positive-energy eigenspace, $(q+q^{†})/\sqrt{2E}$ is an odd involution: its square is one, it preserves energy, and it reverses parity. Thus every positive-energy bosonic state has a fermionic partner and conversely. Their contributions cancel in the Witten indexFor a discrete spectrum with a well-defined trace, this proves independence of $\beta$. Continuous changes of parameters also preserve the index if the trace stays well defined and no state escapes to infinity or crosses an unregulated continuum threshold. A nonzero index guarantees an unbroken supersymmetric ground state; a zero index is inconclusive. For example, de Rham supersymmetric quantum mechanics on a circle has a bosonic constant zero-form and a fermionic constant one-form, both normalizable zero modes, so it is unbroken with index zero.

A more explicit one-dimensional family illustrates how normalizability determines the answer. DefinePositivity of these Hamiltonian operators shows that a zero mode must solve $A{\psi }_{-}=0$ or $A^{†}{\psi }_{+}=0$. Thus the only candidates areFor $w(x)=x$, the Gaussian minus-sector wavefunction is normalizable and its reciprocal is not, giving an unbroken model with $I=1$ when the minus sector is assigned even parity. For $w(x)=x^2+a$, $a>0$, the exponent $x^3/3+ax$ tends to opposite infinities at the two ends, so neither candidate is normalizable. Both partner potentials $[w^2\mp w^{\prime }]/2$ grow quartically; their spectra are discrete and their lowest energies cannot be zero. The lowest states are therefore paired at positive energy, $I=0$, and supersymmetry is spontaneously broken. This is supersymmetric factorization and zero-mode normalizability. In quantum mechanics the paired ground states illustrate the charge algebra; a relativistic massless-particle conclusion requires field-theoretic hypotheses.

In relativistic global field theory, Goldstone's theorem has a fermionic version. If a conserved supercurrent charge does not annihilate the vacuum, its Ward identity has a nonzero vacuum contact term. Fourier transforming, the divergence of the current correlator cannot tend to zero smoothly at zero momentum. Its spectral representation therefore contains a massless fermionic pole: the Goldstino, with spin one-half. This statement assumes a Poincaré-invariant vacuum and the usual local unitary field-theory conditions. It does not require a bosonic Goldstone particle for the fermionic symmetry. In supergravity the Goldstino can instead supply the longitudinal polarization of a massive gravitino.

For canonical chiral superfields ${\Phi }_i$, elimination of their auxiliary fields givesA supersymmetric vacuum solves every $W_i=0$. At a stationary broken vacuum,The same matrix $W_{ij}$ is the chiral-fermion mass matrix, so the nonzero vector $\overline{W_j}$ is a zero mode. This derives the Goldstino zero mode from vacuum stationarity. The transformation $\delta {\psi }_i=\sqrt{2}ϵF_i+\cdots$ independently identifies that direction through its inhomogeneous shift.

For one canonical chiral field, $W=fZ$, $f\ne 0$, has $U=|f{|}^2$ everywhere, a massless fermion and a classically flat scalar direction. It is flat F-term breaking with a linear superpotential, rather than an isolated vacuum. In contrast, a nonconstant polynomial $W^{\prime }$ of positive degree has a complex root and hence a supersymmetric vacuum; in particular a generic quadratic or cubic single-field superpotential cannot remove all such roots. This argument assumes canonical nonsingular kinetic terms and does not claim that every runaway or nonpolynomial model has a vacuum.

A renormalizable three-field O'Raifeartaigh model gives a less degenerate illustration:The auxiliary equations require $W_2=m{\varphi }_1=0$, then $W_1=hX{\varphi }_1+m{\varphi }_2=0$, leaving $W_X=f\ne 0$. They cannot vanish simultaneously. For real positive $f,h,m$ with $m^2>fh$, the potential obeysTherefore its global tree-level minimum has ${\varphi }_1={\varphi }_2=0$, arbitrary $X$, and energy $f^2$. The massless ${\psi }_X$ is the Goldstino, while $X$ is a pseudomodulus. At $X=0$, the scalar mass-squared spectrum is $0,0,m^2,m^2,m^2+fh,m^2-fh$, and the fermion masses are $0,m,m$. This exhibits both the stability condition and the loss of ordinary supermultiplet mass degeneracy in a broken vacuum. Quantum corrections can lift the pseudomodulus and must be analysed rather than assumed away; the noncompact classical valley also prevents an unqualified finite-volume Witten index trace argument. The index, the vacuum equations and the Goldstino theorem consequently answer complementary questions.

Use the supertranslation-invariant superspace coframeIt is a basis because the change from $(dX,d\theta )$ is triangular with identity diagonal blocks. Under a rigid supertranslation, $\delta \theta =ϵ$, $\delta X^m=-i\overline{ϵ}{\gamma }^m\theta$ and $dϵ=0$. Therefore $\delta {\Pi }^m=-i\overline{ϵ}{\gamma }^{m}d\theta +i\overline{ϵ}{\gamma }^{m}d\theta =0$, and $\delta d\theta =0$.

Writing wedge products explicitly, the three-form isBoth factors are supertranslation invariant. Under a Lorentz transformation, ${\Pi }^m$ and the bilinear in $d\theta$ transform as vectors, so their contraction is invariant. Thus $H_3$ is invariant under the Super-Poincaré group.

The Maurer-Cartan equation is $d{\Pi }^m=id\bar{\theta }{\gamma }^{m}d\theta$. Since the other factor is closed,The required four-dimensional Fierz rearrangement identity, which may be stated without proof, isDifferentials of odd Grassmann variables commute in the graded exterior algebra. Thus the coefficient of the product of four $d\theta$ factors is the fully symmetric spinor-index part appearing in this identity. It vanishes, provingThis is the closed three-form on four-dimensional superspace; it should not be confused with the different closed four-form used for a membrane coupling in Question 10.

In the ordinary local two-derivative matter class, the general ungauged supersymmetric action for a chiral superfield isThe Kähler potential $K$ is real, and the superpotential $W$ is a holomorphic function. Adding $f(Z)+\bar{f}(\bar{Z})$ to $K$ changes the action only by a boundary term: full superspace integration of a chiral or antichiral function vanishes modulo that term. This is a Kähler transformation. A positive Kähler metric $G=K_{z\bar{z}}$ is required for a nonsingular positive-norm kinetic term, not just for derivative counting.

To see the differential order, the bosonic component Lagrangian in mostly-plus signature containsThe auxiliary field equation is algebraic: $F=-G^{-1}\overline{W_z}$ on a purely bosonic configuration. It gives the scalar potential $U=G^{-1}|W_z{|}^2$. The scalar equations have at most two spacetime derivatives, the fermion equations from the sigma-model kinetic term have one, and the remaining interaction terms do not raise this order. The fermionic corrections to the auxiliary equation are still algebraic.

For four-dimensional renormalizability, assign engineering dimensions $[Z]=1$, $[d^4\theta ]=2$, and $[d^2\theta ]=1$. Hence, up to a Kähler transformation and a constant field normalization, the restrictions areA mixed higher-degree term in $K$ or a term of degree above three in $W$ introduces a negative-mass-dimension coupling. The constant $w_0$ has no local effect in global supersymmetry, as in the constant superpotential in global supersymmetry.

The boxed general-action statement uses the conventional two-derivative matter interpretation. It is not a classification of all derivative-dependent effective superfield actions by the order of their bosonic equations alone. For example, a scalar Lagrangian quartic in first derivatives still yields a second-order Euler–Lagrange equation, and supersymmetric derivative-dependent interactions can contain such terms. Their auxiliary and fermionic equations require separate checking. This distinction is explicit in the original construction of supersymmetric derivative-dependent scalar actions. Such actions are outside the ordinary $K+W$ class used for the renormalizable answer here.

A scalar superfield transformation is a pullback under a supertranslation. Since that transformation mixes $x$ and $\theta$, an odd-coordinate derivative acquires an extra spacetime-derivative term under the coordinate Jacobian. It therefore does not transform as a spinor superfield merely by differentiating the scalar transformation law. This is partial derivatives and superfield covariance.

For explicit signs, split the Majorana spinor coordinates into ${\theta }^{\alpha },{\bar{\theta }}^{\dot{\alpha }}$ and use left Grassmann derivatives. Choose the differential generatorsFor example, $\{{\partial }_{\alpha },{\bar{Q}}_{\dot{\beta }}\}=i{\sigma }_{\alpha \dot{\beta }}^m{\partial }_m$, which is nonzero. Commuting the even supersymmetry variation through ${\partial }_{\alpha }$ consequently gives the unwanted translation term.

Replace the ordinary odd-coordinate derivatives by the supersymmetric covariant derivativesThe graded product rule cancels the mixed coordinate/derivative terms, giving $\{D,Q\}=\{D,\bar{Q}\}=\{\bar{D},Q\}=\{\bar{D},\bar{Q}\}=0$. Thus $D_{\alpha }V$ and ${\bar{D}}_{\dot{\alpha }}V$ transform as spinor superfields. Their own mixed algebra is $\{D_{\alpha },{\bar{D}}_{\dot{\beta }}\}=-2i{\sigma }_{\alpha \dot{\beta }}^m{\partial }_m$, with equal-chirality anticommutators zero. This covariant differentiation is also what makes a chiral superfield constraint ${\bar{D}}_{\dot{\alpha }}Z=0$ supersymmetry invariant. Negating every barred derivative is another convention, but changes the displayed mixed-algebra sign.

In a massive four-dimensional N=1 supersymmetry representation, the two normalized raising supercharges transform as a spin-half doublet. Start with a Clifford vacuum of superspin $j=1/2$. At occupation levels zero, one and two, the ordinary spins areThe two-creation state has a spin-singlet oscillator factor because the creation operators anticommute. Thus the massive N=1 vector multiplet containsThere are four bosonic polarizations, $3+1$, and four fermionic polarizations, $2+2$, as required by boson-fermion degeneracy in a supermultiplet.

In the massless limit the helicity multiplicities become $+1,-1$, two copies each of $+1/2,-1/2$, and two zero-helicity states. They separate into the four irreducible helicity pairsWith the lower-helicity convention for superhelicity, a pair $(\kappa ,\kappa +1/2)$ has labels $\kappa =1/2,0,-1/2,-1$, respectively. A midpoint convention shifts each label by $1/4$; the explicit helicity pairs remove any naming ambiguity.

Pairing under the CPT theorem, the first and last pairs form a massless vector multiplet, and the middle two form a massless chiral multiplet. This is the massless limit of a massive N=1 vector multiplet. The longitudinal vector polarization supplies one of the chiral multiplet's two real scalar modes; the original spin-zero state supplies the other. Simply discarding the longitudinal polarization would lose a physical degree of freedom and give the wrong decomposition.

Here a supersymmetry-preserving combination means a real combination of Hermitian Majorana spinor supercharges, in a positive-norm unitary representation of the ordinary Super-Poincaré algebra. This reality qualification is essential. Let $|\psi ⟩$ be normalized and in the charge domains, and define the real symmetric matrixFor real $u$, the Hermitian operator $q_u=u^a{Q}_a$ satisfiesTherefore $M$ is a positive semidefinite matrix, andThe reverse implication uses positivity: diagonalize $M$, so a zero quadratic form has zero component in every positive-eigenvalue direction. This converts the problem into nullity of real N=1 supercharges, not just a condition on the determinant of an operator-valued expression.

In the equivalent Weyl spinor form, $\{q_{\alpha },q_{\beta }^{†}\}=2{\sigma }_{\alpha \dot{\beta }}^m{P}_m$. After a fixed invertible change of real charge basis, $M$ is the realification of the Hermitian two-by-two matrixup to the harmless spatial-sign convention. A complex Hermitian matrix has the same eigenvalues in its realification, each repeated twice. The Pauli matrix multiplication law gives $(\mathbf{p}\cdot \mathbf{\sigma }{)}^2=|\mathbf{p}{|}^{2}I$, so these eigenvalues are $E+|\mathbf{p}|$ and $E-|\mathbf{p}|$, each twice. Positivity forces $E\ge |\mathbf{p}|$. If one nonzero real $u$ annihilates the state, $M$ has a kernel: either $E=|\mathbf{p}|>0$, with exactly two zero eigenvalues, or $E=|\mathbf{p}|=0$, with four. ThusFor a momentum eigenstate these are the null-momentum and zero-momentum cases; the expectation-matrix proof also covers states not assumed to have definite momentum. There are no massive states preserving a real charge in this unextended algebra.

If “linear combination” instead allows arbitrary complex coefficients, the unrestricted claim is false. In a massive fermionic Fock space with two lowering operators $a_1,a_2$ and a spin-half Clifford vacuum spectator, takeThen $a_1\psi =0$. The three vectors $a_2\psi$, $a_2^{†}\psi$ and $a_1^{†}\psi$ are linearly independent, by their occupation numbers and spectator spin labels. The complex annihilator is therefore only one-dimensional. Such a lowering operator is not a Hermitian generator of preserved real supersymmetry. The boxed conclusion applies to the physical real-charge interpretation; it also assumes no domain-wall charge in N=1 supersymmetry.

A canonical Wess–Zumino model with a cubic superpotential already supplies a microscopic membrane-like object. Choose positive real $\mu ,g$ andThere are two isolated supersymmetric vacua, ${\varphi }_{\pm }=\pm \mu /g$. A planar domain wall has a static scalar profile depending on the transverse coordinate $z=X^3$, with one vacuum at either end. Its energy per unit area isChoosing $\alpha =\arg \Delta W$ gives $T\ge 2|\Delta W|$. The real increasing solution saturates the bound:The tension follows either from integrating $2({\varphi }^{\prime }{)}^2$ or from $W(\mu /g)-W(-\mu /g)=4{\mu }^3/(3g^2)$. This is a supersymmetric domain wall, and the first-order equation also implies the second-order scalar equation. Its thickness is of order $1/\mu$.

The wall breaks transverse translations: changing $z_0$ gives a normalizable scalar zero mode proportional to ${\varphi }^{\prime }(z)$. It also preserves only half the four real supercharges. In the chiral-fermion transformation, $F=-\overline{W^{\prime }}=-{\varphi }^{\prime }$ and the derivative term combine into a rank-half condition on the constant supersymmetry parameter, for example $ϵ=i{\sigma }^3\overline{ϵ}$ in a compatible Weyl convention. The orthogonal two real parameters are broken and generate localized fermion zero modes. One such profile satisfies $({\partial }_z+2g\varphi )f=0$, giving $f\propto {\mathrm{sech}}^2(\mu (z-z_0))$. The scalar and a three-dimensional Majorana fermion therefore form the low-energy wall multiplet. The domain-wall charge in N=1 supersymmetry is a boundary/tensor charge contributing to the extended algebra; the preserved combinations saturate $T=2|\Delta W|$. This avoids falsely applying the unextended particle-algebra argument of Question 3 to a wall with nonzero tension.

Promote the translation collective coordinate to a slowly varying worldvolume field $Y({\xi }^0,{\xi }^1,{\xi }^2)$. At wavelengths long compared with the wall thickness, its leading relativistic geometric action is the Dirac membrane actionIt is invariant under worldvolume reparametrizations and the target Poincaré group. In static gauge $X^i={\xi }^i$, $X^3=Y$, the matrix determinant lemma givesDirectly substituting the leading collective-coordinate profile into the scalar kinetic term gives the same coefficient, since $\int dz({\varphi }^{\prime }{)}^2=T/2$. Target Lorentz symmetry fixes the leading first-derivative nonlinear completion to the invariant area; finite-thickness physics can add higher-curvature terms. The area action is therefore a long-wavelength effective field theory, not an exact replacement for the microscopic wall at arbitrary momenta. Its embedding equation is ${\partial }_i(\sqrt{-h}{h}^{ij}{\partial }_j{X}^m)=0$.

For the four-dimensional supermembrane, extend the embedding to $(X^m(\xi ),{\theta }^{\alpha }(\xi ))$ with a four-real-component Majorana spinor. Pull back the invariant coframe of Question 7:Replacing $\partial X$ by $\Pi$ makes the area term invariant under rigid target supersymmetry, but does not yet give the appropriate fermionic gauge symmetry. Add a Wess-Zumino brane coupling to a superspace three-form potential $C_3$. In one orientation and matching normalization,The supermembrane closed four-form uses the distinct four-dimensional Fierz identity $(C{\gamma }_{mn}{)}_{(\alpha \beta }(C{\gamma }^n{)}_{\gamma \delta )}=0$. Differentiating $G_4$ reduces its coefficient to this symmetric tensor, so $d{G}_4=0$. A local potential therefore exists. Since the curvature is supertranslation invariant, the potential can vary by an exact form; its pullback integral is invariant modulo boundary terms. This is why the three-form $H_3$ of Question 7 is not itself the membrane field strength: integrating a membrane potential requires three-form degree and hence four-form curvature.

The required additional local fermionic gauge invariance is kappa symmetry. Define the worldvolume gamma matrices ${\gamma }_i={\Pi }_i^m{\gamma }_m$ andWith mostly-plus target signature, a local orthonormal worldvolume frame gives ${\Gamma }_{\kappa }={\gamma }_0{\gamma }_1{\gamma }_2$, so ${\Gamma }_{\kappa }^2=1$ and $\mathrm{tr}{\Gamma }_{\kappa }=0$. Thus $(1\pm {\Gamma }_{\kappa })/2$ are rank-two kappa symmetry projectors. The embedding variation gives $\delta {\Pi }_i^m=2i\delta \bar{\theta }{\gamma }^m{\partial }_i\theta$. The area variation is consequently proportional to $-2iT\sqrt{-h}\delta \bar{\theta }{\gamma }^i{\partial }_i\theta$. Contracting the displayed $G_4$ with the fermionic variation and using ${ϵ}^{ijk}{\gamma }_{ij}=2\sqrt{-h}{\Gamma }_{\kappa }{\gamma }^k$ gives the opposite Wess-Zumino contribution with an extra ${\Gamma }_{\kappa }$. Their sum is proportional toFor the boxed kappa variation, $\delta \bar{\theta }=\bar{\kappa }(1+{\Gamma }_{\kappa })$, so it vanishes by $(1+{\Gamma }_{\kappa })(1-{\Gamma }_{\kappa })=0$. Reversing membrane orientation reverses the Wess-Zumino sign and the matching projector. The cancellation fixes the relative charge magnitude to the tension; rigid supersymmetry alone would not fix it.

Worldvolume reparametrizations remove three of the four embedding scalars, leaving one transverse mode. Kappa symmetry removes half the four real embedding spinor components, leaving a two-component three-dimensional Majorana field, whose first-order equation has one on-shell fermionic polarization. The physical worldvolume modes are one scalar and one Majorana fermion, matching the wall zero modes. Without kappa symmetry the fermionic degrees would be doubled. A planar configuration preserves the target supersymmetries that can be compensated by the kappa projector, reproducing the wall's half-supersymmetry condition. This is the four-dimensional effective domain-wall interpretation of a supermembrane, rather than the eleven-dimensional M2-brane particle-content problem.

Take $\{{\gamma }^a,{\gamma }^b\}=2{\eta }^{ab}$ and ${\gamma }^{ab}={\gamma }^{[a}{\gamma }^{b]}=[{\gamma }^a,{\gamma }^b]/2$, with unit-weight antisymmetrization. The Clifford algebra first givesExpand the two antisymmetrized gamma matrices using ${\gamma }_{ab}={\gamma }_a{\gamma }_b-{\eta }_{ab}$:Anticommuting ${\gamma }^m$ past the next contracted factor givesSubtracting the remaining $D{\gamma }^m$ gives the gamma-matrix vector sandwichIn particular it vanishes in four dimensions. The result is independent of the choice of Lorentz signature when all indices are contracted consistently. Defining the bivector without its factor $1/2$ would multiply $\alpha$ by four.

An instanton is a localized finite-action classical solution of a Euclidean field theory. Its role differs from that of a static spatial classical field-theory soliton: an instanton is localized in Euclidean spacetime and contributes to quantum transition amplitudes, rather than persisting as a stationary real-time particle. Wick rotation changes the oscillatory weight $e^{iS/\hslash }$ into $e^{-S_E/\hslash }$ when the continuation and boundary conditions are valid. The Euclidean path integral is consequently dominated semiclassically by stationary Euclidean configurations. Perturbation theory around one vacuum misses other saddles whose weights have the nonanalytic form $e^{-S_I/\hslash }$.

A useful first example is quantum tunnelling between two degenerate minima in quantum mechanics. For coordinate $q$ with mass $m$, the Euclidean action iswith the vacuum energy subtracted from $V$. Its Euler-Lagrange equation is $m\ddot{q}=V^{\prime }(q)$, equivalent to motion in the inverted potential $-V$. A finite-action trajectory joining zero-energy minima has conserved Euclidean energy $m{\dot{q}}^2/2-V=0$. A forward instanton therefore satisfies $\dot{q}=\sqrt{2V/m}$, while an anti-instanton has the opposite orientation. Completing the square gives the action boundwhich these zero-energy paths saturate. This is the Euclidean counterpart of the first-order kink argument, with Euclidean time replacing the spatial coordinate.

For the quartic double-well instanton, chooseThe first-order equation in the interval $-a<q<a$ is $\dot{q}=\omega (a^2-q^2)/(2a)$. Separation givesThe center ${\tau }_0$ is arbitrary. Its derivative ${\dot{q}}_I$ is an instanton translation zero mode: differentiating the Euclidean field equation shows that it lies in the kernel of the quadratic fluctuation operator $-m{\partial }_{\tau }^2+V^{\prime \prime }(q_I)$. A naive Gaussian determinant therefore has a zero eigenvalue. Replace its integration by the collective-coordinate integral over ${\tau }_0$, and take the determinant only over nonzero modes. The resulting instanton fluctuation prefactor combines that Jacobian with the determinant ratio against the vacuum. The action controls the exponential suppression; the prefactor is essential for a quantitative rate or splitting.

When $S_I/\hslash \gg 1$, crossings are rare and their typical separations greatly exceed their widths. In the dilute instanton gas, ordered center integrals for $n$ well-separated crossings over Euclidean duration $\mathcal{T}$ produce ${\mathcal{T}}^n/n!$. If a single-crossing rate is $\kappa =K{e}^{-S_I/\hslash }$, a symmetric two-well system has even-crossing and odd-crossing sums proportional to $\cosh (\kappa \mathcal{T})$ and $\sinh (\kappa \mathcal{T})$. The spectral interpretation gives levels $E_{\mathrm{well}}\mp \hslash \kappa$ andThis is a real tunnelling level splitting. A Euclidean bounce instead describes false vacuum decay: it leaves and returns to a metastable vacuum, and a characteristic negative fluctuation mode supplies the imaginary part interpreted as decay. A bounce must not be confused with a stable double-well instanton merely because both use Euclidean saddles.

The central gauge-theory example is a Yang-Mills instanton on Euclidean four-space. State conventions carefully: take anti-Hermitian generators $T_a=-i{\sigma }_a/2$, with $\mathrm{Tr}(T_a{T}_b)=-{\delta }_{ab}/2$, connection $A=A_{\mu }d{x}^{\mu }$, and gauge curvature $F=dA+A\wedge A$. With coupling $g$, the positive Yang-Mills action isThe Hodge star operator squares to one on Euclidean two-forms. Under the usual finite-action boundary conditions, the connection approaches a pure gauge at infinity, defining a map $S_{\infty }^3\to SU(2)\simeq S^3$. Its winding degree is the integer instanton numberThis is unchanged by smooth deformations preserving the boundary sector. Geometrically this is, up to the stated sign convention, the second Chern number of the compactified bundle. Different sign conventions for trace, curvature or orientation must be changed together.

Use the positive norm $\Vert F{\Vert }^2=-\int \mathrm{Tr}(F\wedge \ast F)$. Decomposition into self-dual and anti-self-dual curvature givesThe Yang-Mills instanton Bogomolny bound is saturated by $F=\ast F$ for positive $k$, or $F=-\ast F$ for negative $k$. These first-order equations imply the full Yang-Mills equations: the Bianchi identity $D_{A}F=0$ becomes $D_A\ast F=0$ when $\ast F=\pm F$. Thus the topological minimum is a genuine classical saddle, not just an arbitrary field with integer charge. Self-duality alone is a local differential condition; finite action is an additional requirement.

An explicit unit-charge example is the BPST instanton. Let $y=x-x_0$, $\rho >0$, and choose the self-dual symbols ${\eta }_{ij}^a={ϵ}_{aij}$, ${\eta }_{i4}^a={\delta }_{ai}$ and ${\eta }_{4i}^a=-{\delta }_{ai}$ for $i,j=1,2,3$, using orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$. In regular gauge,The curvature is self-dual. Since ${\sum }_{a,\mu ,\nu }({\eta }_{\mu \nu }^a{)}^2=12$, its squared component curvature is $192{\rho }^4/(y^2+{\rho }^2{)}^4$. Radial integration yieldsso $k=1$. Replacing self-dual symbols by anti-self-dual ones produces the opposite charge with the same positive action.

The center has four coordinates and $\rho$ is an instanton size modulus. Classical four-dimensional Yang-Mills action is scale invariant, so varying $\rho$ changes the action-density width but not the total action. If gauge transformations must tend to the identity at infinity, three global gauge orientations also remain, giving eight parameters for the one-instanton framed instanton moduli space. If those global orientations are quotiented out, the unframed one-instanton space has five parameters. A zero-size limit is a singular concentration of curvature, not another smooth instanton. Higher-charge solutions likewise possess instanton moduli spaces; their collective-coordinate integrals replace the corresponding zero-mode determinants.

In a Euclidean-time description, topologically distinct gauge vacua are separated by a change of Chern-Simons number; an instanton interpolates between them, with the change equal to $k$ in compatible orientation conventions. Theta-weighted instanton sectors give $Z(\vartheta )={\sum }_k{e}^{ik\vartheta }{Z}_k$, connecting topology to the vacuum angle. With fermions, the gauge-field topology also controls fermionic zero modes and chiral selection rules through the chiral anomaly. These phenomena explain why instantons encode physics beyond small fluctuations around a single vacuum.

Instantons link Euclidean classical solutions, topological sectors and exponentially suppressed quantum effects. Their interpretation requires the boundary conditions, normalization, fluctuation spectrum and measure over collective coordinates. A dilute approximation is controlled only when its individual-action suppression and separation assumptions hold; classical scale moduli and their quantum corrections can make size integrals delicate rather than automatically finite.

A Derrick scaling variation changes a configuration's size without changing its topological sector. Use $U_L(\mathbf{x})=U(\mathbf{x}/L)$, so $L>1$ expands the configuration. An integrated nonnegative term homogeneous in $s$ spatial derivatives scales as $L^{d-s}{E}_s$. For a scalar gradient-plus-potential energy, for example,A static solution is a stationary point of the full energy functional, so it must in particular satisfy $E^{\prime }(1)=0$. In this example the Derrick virial identity is $(d-2)E_2+d{E}_0=0$. If both energies are nonnegative and the coefficients cannot balance, a nontrivial localized static solution is impossible. If balance is possible, it fixes relations among energy contributions and may select a characteristic size. A negative $E^{\prime \prime }(1)$ proves an instability under size changes; a positive second derivative gives stability only against that one deformation. Passing the scale test is a necessary condition, not an existence theorem or a proof of full stability. It does not directly rule out time-dependent or charge-constrained solitons outside the static variational problem.

For the specified model, each spatial current is anti-Hermitian: differentiating $U{U}^{†}=1$ gives $R_i^{†}=-R_i$. Thus $-\mathrm{Tr}(R_i^2)$ is nonnegative, and the static energy of the nonlinear sigma model isThe boundary condition $U\to 1_2$ identifies spatial infinity to one point, so one-point compactification turns the field into a based map $S^d\to SU(2)$. By SU(2) as the three-sphere, its sectors are classified by the homotopy group ${\pi }_d(S^3)$. In particular,There is no corresponding topological protection in one or two spatial dimensions. In three dimensions there is an integer degree of a map between oriented manifolds, the usual topological baryon number in the Skyrme model when the same field is interpreted in that theory. With a compatible orientation convention it can be writtenConjugation from the left current to the right current preserves the trace in this formula. Higher dimensions are governed by their corresponding homotopy groups, which need not all be trivial; no assumption of their triviality is needed in the scaling obstruction below.

For the pure sigma model, $E(L)=L^{d-2}{E}_2$, so stationarity requires $(d-2)E_2=0$. In every $d\ne 2$ a finite-energy nonconstant static solution is excluded by Derrick scaling. In $d=1$ spreading lowers its energy; in $d>2$ shrinking lowers it. In particular, a degree-carrying three-dimensional sigma configuration can collapse toward zero size and energy within its sector, with a singular limiting field. The topological charge prevents smooth unwinding, but not this singular collapse.

In $d=2$, the sigma energy is scale invariant. The scaling identity supplies no obstruction, but ${\pi }_2(S^3)=0$ gives no topological soliton sector either. One must not infer nonexistence of every nonconstant stationary harmonic map from these two facts: scale-invariant sigma models can have non-topological harmonic-map saddles, for example using a totally geodesic two-sphere in the target three-sphere. The conclusion is absence of a topologically protected sigma soliton here, with no positive scale-restoring force supplied by the quadratic term alone.

For the Skyrme model, the added commutator term gives the nonnegative static energyAnti-Hermiticity of the commutators fixes its sign. The target and boundary condition are unchanged, so the topological classification is unchanged. The Derrick dimension test for the Skyrme model instead becomesIn $d=3$, the opposite exponents permit a balance:For an arbitrary reference shape with both energies nonzero, its preferred scale is $L_{\ast }=(E_4/E_2{)}^{1/2}$ and its optimized energy is $2\sqrt{E_2{E}_4}$. Expansion costs quadratic-gradient energy and contraction costs quartic-gradient energy. Integer-degree Skyrmions are therefore topologically possible and evade the pure sigma collapse. This mechanism permits finite-size stable solitons, although existence and stability in all field directions require more than the scaling argument itself.