Use $t$ as an affine parameter on each member of the geodesic variation, so ${\nabla }_{T}T=0$. The parameter directions commute, giving $[T,S]=0$ along the variation. The torsion-free connection then givesConsequently the covariant derivative and curvature definition giveThis is the geodesic-deviation equation with the stated curvature sign:The component expression defines the slot order: $\beta$ is the vector acted on, and $\gamma ,\delta$ are the two derivative directions of the Riemann curvature tensor. Both the commuting parameter directions and affine parametrization are essential; a general connecting vector field or a nonaffine parameter would add terms.

Write $V=T_p\mathcal{M}$ and $V^{\ast }$ for its dual space. A type-$(1,1)$ tensor is equivalently a linear map $A:V\to V$: the corresponding scalar-valued multilinear map is $(X,\eta )\mapsto \eta (A(X))$. Thus the composition definesIt is linear in $X$ because $A$ and $B$ are linear maps, and linear in the covector $\eta$ by evaluation. This proves directly that the composition is a tensor of type $(1,1)$.

Choose a basis $e_{\alpha }$ of the tangent space and its dual basis $e^{\beta }$. With the paper's component order $A(e_{\alpha })=A_{\alpha }{}^{\gamma }{e}_{\gamma }$,Equivalently, in the usual output-first matrix notation, $C^{\beta }{}_{\alpha }=B^{\beta }{}_{\gamma }{A}^{\gamma }{}_{\alpha }$: the matrix product is $BA$, not $AB$. This composition of mixed tensors contracts one output index with one input index. Under the tensor component transformation law, the two Jacobian factors at that contracted index cancel, leaving exactly one factor for each free index.

Rearranging the outgoing radial null geodesics of the Vaidya metric equation along $r=r_0(v)$ givesFor the prescribed parametrization by $w$, the chain rule yieldsSince $n>1$, $v/w=1+2\beta w^{n-1}\to 1$ as $w\to 0^{+}$. The asymptotic equivalence $w\sim v$ therefore impliesMore precisely $w=v+O(v^n)$ and $M(v)=(\beta /2)v^n[1+O(v^{n-1})]$, using Big O notation. The positivity of $dv/dw$ justifies treating $w$ as a single-valued function of $v$ locally.

For radial motion, take an affine parameter $\lambda$ and use dots for $d/d\lambda$. The radial null geodesics of the Vaidya metric satisfy the two radial geodesic equationsThe radial squared norm is $-f{\dot{v}}^2+2\dot{v}\dot{r}$. If $v$ is constant it vanishes, and the geodesic equation reduces to $\ddot{r}=0$. Thus constant-$v$ radial curves are null geodesics, with $r=a\lambda +b$ an affine parametrization. Future ingoing motion has $a<0$.

For the other family let $dr/dv=f/2$. Its tangent $k={\partial }_v+(f/2){\partial }_r$ is a null vector. Using the Christoffel symbols of the Vaidya metric, direct differentiation givesHence these are also null geodesics, but $v$ is generally not affine. For completeness, put $p=dv/d\lambda$ and chooseThis makes $\ddot{v}=-(M/r^2){\dot{v}}^2$. Differentiating $\dot{r}=(f/2)\dot{v}$ then gives $\ddot{r}=(f_v/2){\dot{v}}^2=-M^{\prime }{\dot{v}}^2/r$; substitution verifies the radial $r$ equation as well. Thus the null condition and both radial geodesic equations hold, not just the null condition alone.

Set $f=1-2M(v)/r$, so $f_r=2M/r^2$ and $f_v=-2M^{\prime }/r$, where $M^{\prime }=dM/dv$. Dots in this solution mean derivatives with respect to proper time $\tau$. The geodesic Lagrangian becomesThe Euler-Lagrange equation for $r$ gives $\ddot{v}+(f_r/2){\dot{v}}^2-r({\dot{\theta }}^2+{\sin }^2\theta {\dot{\varphi }}^2)=0$. The Euler-Lagrange equation for $v$ givesEliminate $\ddot{v}$ between these equations. The two angular Euler-Lagrange equations follow by differentiating $-2r^2\dot{\theta }$ and $-2r^2{\sin }^2\theta \dot{\varphi }$. Together the four geodesic equations areReading off the symmetric quadratic coefficients gives all nonzero Christoffel symbols of the Vaidya metric:Every unlisted Christoffel symbol vanishes. The lower-index symmetry is that of the Levi-Civita connection. In particular, the time-dependent mass contributes $+M^{\prime }/r$ to ${\Gamma }^r{}_{vv}$; it is absent from ${\Gamma }^v{}_{vv}$. There are eleven independent nonzero entries, or fifteen when both lower-index orders are counted.

Let $\lambda$ be an affine parameter and $X=d{x}^{\mu }/d\lambda {\partial }_{\mu }$ the tangent to the geodesic. Since ${\nabla }_{{\partial }_{\mu }}{\partial }_{\nu }={\Gamma }^{\rho }{}_{\mu \nu }{\partial }_{\rho }$, the product rule for the covariant derivative givesIndependence of the coordinate basis vectors yields the coordinate geodesic equationThe affine parameter condition matters: an arbitrary reparametrization instead allows a multiple of the tangent on the right, as in the unparametrized geodesic equation.

Take the orientation induced by the future-directed unit normal and positive lapse function $\alpha$. In coordinates adapted to the 3+1 decomposition of spacetime, any component ${ϵ}_{\ell ijk}$ with all four indices spatial vanishes: only three distinct spatial indices are available. The shift vector therefore contributes nothing, andHere $[ijk]$ is the Levi-Civita symbol, and the last equality uses the metric determinant in a 3+1 decomposition, $|g|={\alpha }^2\gamma$. The right side is precisely the spatial metric volume tensor, with component $\sqrt{\gamma }$ at $ijk=123$, the appropriate permutation sign, and zero for repeated indices. HenceMore invariantly, the spatial volume form is the restriction to the hypersurface of the contraction of the spacetime volume form with $n$.

Use signature $(-,+,+,+)$, so the future-directed unit normal obeys $n^{\mu }{n}_{\mu }=-1$. The spatial projection tensor and the induced metric areIndeed $P^{\mu }{}_{\alpha }{n}^{\alpha }=0$ and $P^{\mu }{}_{\rho }{P}^{\rho }{}_{\alpha }=P^{\mu }{}_{\alpha }$: this is an idempotent linear map onto the tangent space of the spatial hypersurface. For a covariant tensor both slots must be projected:Contracting either slot with $n$ supplies the vanishing factor $P^{\mu }{}_{\alpha }{n}^{\alpha }$. Thus both normal contractions vanish, without requiring symmetry of $T$.

Use the coefficients in the authoritative PDF, including their factor $i$. Write $a=2\sqrt{3}i$ andThe numerator and denominator are coprime: a common zero would, by subtraction, require $z=0$, where both equal one. Therefore the degree of a rational map of the Riemann sphere is four. Direct algebra givesThe domain transformations $z\mapsto iz$ and $z\mapsto (iz+1)/(1-iz)$ are sphere rotations as special-unitary Möbius transformations: respectively a quarter-turn about the third axis and a one-third turn cycling the three coordinate axes. In particular the latter sends $0\mapsto 1\mapsto i\mapsto 0$, the north, first-axis and second-axis directions. They generate the order-24 rotational symmetry group of a cube, isomorphic to the symmetric group $S_4$. Their target transformations are rotations: $w\mapsto 1/w$ is a half-turn about the first target axis and $w\mapsto \omega w$ is a one-third turn about the third target axis. This proves whole-map combined equivariance, not just symmetry of selected roots.

The target rotation image is the order-six dihedral group $D_3$. The spatial half-turns about all three coordinate axes act trivially on the map: $R(-z)=R(z)$ and $R(1/z)=R(z)$ generate a Klein four-group kernel. Thus the full Skyrmion symmetry combines the spatial cubic rotations with compensating isospin rotations, while its angular energy and Skyrme baryon density have pure spatial cubic symmetry.

The critical directions make the geometry explicit. Its Wronskian of a rational map isThe five finite ramification points are $0,\pm 1,\pm i$; infinity supplies the sixth, since in the local coordinate $w=1/z$ the map starts with $R=1+2a{w}^2+O(w^4)$. These are the six coordinate-axis directions, or face centres of a cube. The angular Jacobian of a rational map vanishes there, consistent with a cube-shaped shell whose density is concentrated away from its face centres. Any further rotational equivariance would have to preserve this set, so the spatial proper rotation group is exactly the cubic group already generated above.

There is also a reflection relation $R(\overline{z})=1/\overline{R(z)}$. Together with the proper rotations, it makes the angular density invariant under the full order-48 symmetry group of a cube, usually denoted $O_h$. The target operation in this reflection relation is orientation reversing; it should not be mistaken for a proper isospin rotation. In the full Skyrme model, reflections are expressed using the field parity operation $U(\mathbf{x})\mapsto U^{†}(-\mathbf{x})$ together with a compensating isospin rotation.

This is the cubic charge-four rational-map ansatz:The cubic rational-map ansatz for four Skyrmions is a useful approximation and starting point for the cubic four-Skyrmion, whose lowest spin-zero, isospin-zero quantized state models an alpha particle. A radial minimization and, for precision, unrestricted field relaxation are still required. The TeX's missing $i$ changes this map; the six critical directions alone would not detect the error, because the same Wronskian zero set persists when $a$ is real. The actual rotational equivariance identities are the stronger check.

For every real $\alpha$, direct substitution gives the axially equivariant monomial rational map identityThe first is a spatial rotation through $\alpha$ about the third axis compensated by a target rotation through $n\alpha$, hence by an isospin rotation of the Skyrmion. The second pairs the spatial half-turn about the first axis with a target half-turn about that axis. For $n>1$, these generate the continuous axial rotation group together with perpendicular half-turns, often written $D_{\infty }$; it is the group of rotations preserving an axis in the three-dimensional special orthogonal group. Under rotations about the axis, the pure spatial stabilizer of the map itself includes the cyclic group $C_n$, whereas the larger symmetry just described is combined spatial-target equivariance. Also $R(\overline{z})=\overline{R(z)}$ gives a paired reflection symmetry of its angular density.

The angular Jacobian of a rational map isIt depends only on latitude. Put $u=\log |z|$; then $J_R=n^2{\cosh }^{2}u/{\cosh }^2(nu)$. Since $\cosh (nu)\ge \cosh u$ for $n\ge 1$, the maximum is $n^2$ at $u=0$, the equator. For $n>1$ it vanishes at the two poles, producing an axially symmetric ring of angular Skyrme baryon density. For $n=1$, $R$ is the identity: every spatial rotation is compensated by the same target rotation, and the rational map approximation for Skyrmions becomes the fully spherically symmetric Skyrmion hedgehog ansatz. The charge and uses areThe degree-one construction captures the symmetry of the unit Skyrmion exactly; its radial profile still has to be solved. The degree-two map supplies the appropriate toroidal two-Skyrmion symmetry and useful initial data. Higher monomials give axial charge-$n$ competitors, but axial symmetry need not minimize the energy: the usual lowest-charge examples already include the tetrahedral three-Skyrmion and the cubic four-Skyrmion. Topological charge determines neither shape nor energy optimality by itself.

Use left Grassmann derivatives and place the odd constant transformation parameters on the left. A scalar superfield transformation can be writtenEquivalently, pull back the scalar function under the infinitesimal superspace translationThe term involving $\overline{ϵ}$ has the displayed sign because interchanging it with $\theta$ reverses the sign in the Grassmann algebra. Overall factors of $i$ in the definition of the supercharges can be changed together without changing this coordinate transformation.

For two even scalar superfields $S,T$, the odd generators obey the graded Leibniz rule, while the full parameter-weighted variation $\delta$ is even. ThusThis is precisely the transformation of a product of scalar superfields. The finite version is even clearer: if $S^{\prime }(z)=S(z^{\prime })$ and $T^{\prime }(z)=T(z^{\prime })$ for the same transformed superspace point, then $(ST{)}^{\prime }(z)=S(z^{\prime })T(z^{\prime })=(ST)(z^{\prime })$. No new representation law is required.

The expression $S(x,\theta ,\bar{\theta })=\varphi (x)$ needs a distinction between a configuration and a closed field content. As a function on superspace, it is a valid special configuration of an unconstrained superfield. But its variation isFor nonconstant $\varphi$, this generates nonzero components depending on Grassmann variables. Therefore the pure-scalar truncation is not a supersymmetric multiplet: an isolated spacetime scalar field with all its partners permanently set to zero is not closed under supersymmetry. This is the pure-scalar truncation of a superfield. A constant gauge-singlet $\varphi$ is the trivial invariant exception. Calling $\varphi (x)$ a special superfield configuration is consistent; claiming that its restricted field content remains a superfield representation is not.

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.

Take a canonical Kähler potential $K={\Phi }^{†}\Phi$ and the Wess–Zumino model superpotentialThe F-term component givesEliminating the auxiliary field by $F=-\overline{W^{\prime }(\varphi )}$ gives the F-term scalar potential $V=|W^{\prime }(\varphi ){|}^2$. ConsequentlyThis is the supersymmetric relation between quartic and Yukawa couplings: there is one holomorphic parameter $g$, with the quartic coefficient $|g{|}^2$ and the Yukawa coupling $g$ in the displayed normalization. For real $g$ the quartic coefficient is the $g^2$ of the question. They cannot be varied independently while retaining this canonical supersymmetry.

The relation produces the supersymmetric cancellation of quadratic divergences. Bosonic and fermionic Feynman diagrams correcting a scalar mass have equal ultraviolet quadratic coefficients and opposite signs, so the mass is not driven directly to the ultraviolet cutoff scale. In a theory with soft supersymmetry breaking, residual corrections instead have the schematic sizewith coefficients and logarithms depending on the spectrum. Thus superpartner masses near the electroweak scale can stabilize the Higgs boson mass against a much larger cutoff, addressing the radiative part of the hierarchy problem. Heavy sparticles leave a corresponding residual sensitivity; the cancellation does not by itself explain every mass scale.

On shell, a massless $\mathcal{N}=1$ vector multiplet contains a gauge boson with two transverse polarizations and a gaugino with two fermionic states. A chiral superfield contains a complex scalar field, hence two real bosonic states, and a Weyl spinor with two fermionic states. Their total is $4$ bosonic and $4$ fermionic states.

Suppose charged scalar fields acquire vacuum expectation values at a supersymmetric vacuum, where F-flatness and D-flatness hold. For each broken generator of the gauge symmetry, the supersymmetric Higgs mechanism combines one massless vector multiplet and one chiral superfield into a massive N=1 vector multiplet. The gauge boson absorbs one real Goldstone boson, acquiring its third polarization. The other real scalar field remains physical. The gaugino and the relevant higgsino mix into the four fermionic states. Thus the spin content isUnbroken supersymmetry gives all these states the same mass through supersymmetric mass degeneracy. Remaining massive chiral superfields instead have spin content $(1/2,0,0)$, with two fermionic and two bosonic states of a common mass. The auxiliary fields ensure matching off shell but are not additional propagating particles in these counts.

The super-Higgs mechanism occurs when local supersymmetry is spontaneously broken in supergravity. Its spin-$3/2$ gauge field, the gravitino, absorbs the spin-$1/2$ goldstino:The extra states have helicities $\pm 1/2$, supplementing $\pm 3/2$. The ordinary supersymmetric Higgs mechanism can preserve supersymmetry while breaking the internal gauge symmetry; the super-Higgs mechanism breaks the local supersymmetry itself. Spontaneously broken global supersymmetry leaves a physical massless goldstino, because there is no dynamical gravitino to absorb it.

Choose a null four-momentum with $E>0$ and orient the third axis so that $2{\sigma }^{\mu }{p}_{\mu }=\mathrm{diag}(4E,0)$. The Super-Poincaré algebra givesFor every state $|v⟩$ in a unitary representation, the second anticommutator is the sum $\Vert Q_2^{A}v{\Vert }^2+\Vert (Q_2^A{)}^{†}v{\Vert }^2$. Thus both operators act trivially. A central charge in supersymmetry also vanishes in this massless supermultiplet: its mixed-spinor anticommutator contains the now-trivial $Q_2$. The remaining $\mathcal{N}$ pairs, normalized by $2\sqrt{E}$, satisfy the canonical anticommutation relationsLabel a Clifford vacuum by its highest helicity $\lambda$ and choose the lowering convention $[J_3,a_A^{†}]=-a_A^{†}/2$. Acting with distinct fermionic creation operators produces the fermionic Fock spaceThis proves the helicity spectrum of a massless supermultiplet and the $2^{\mathcal{N}}$ state count. If the internal charges or helicities do not already make the spectrum invariant under the CPT theorem, add its conjugate using the CPT completion of a supermultiplet.

The spin bound for massless supermultiplets follows directly from the width $\mathcal{N}/2$ of this helicity interval. Requiring $|h|\le 1$ gives $\mathcal{N}\le 4$, achieved by the four-dimensional N=4 super Yang-Mills theory vector multiplet with multiplicities $1,4,6,4,1$ at helicities $1,1/2,0,-1/2,-1$. These helicity bounds are necessary spin restrictions for the usual interacting renormalizable quantum field theory; they do not by themselves establish renormalizability for an arbitrary action. Requiring $|h|\le 2$ gives $\mathcal{N}\le 8$. The four-dimensional N=8 supergravity supergravity multiplet attains this bound with highest helicity $2$ and multiplicities $1,8,28,56,70,56,28,8,1$. There is one $+2$ state and one $-2$ state, the two polarizations of a single graviton.

The stronger restriction relevant to matter is the chirality constraint on extended supersymmetry. An $\mathcal{N}=1$ chiral superfield can contain a left-handed Weyl spinor in a complex gauge group representation $R$. By contrast, a full $\mathcal{N}=2$ hypermultiplet consists of $\mathcal{N}=1$ matter in $R\oplus \overline{R}$, and the gauginos of a vector multiplet are in the real adjoint group representation. Higher unbroken extended supersymmetry retains this pairing. A pseudoreal representation may allow a half-hypermultiplet, but it does not yield net chirality in a genuinely complex gauge group representation. Consequently the chiral gauge spectrum of the Standard Model permits at most unbroken $\mathcal{N}=1$ supersymmetry in its four-dimensional low-energy matter sector.