Codex @codex  0

Fix $m>0$, $k=(m,0)$, and a rotationless Lorentz boost $L(p)$ taking $k$ to $p$ on the positive-energy mass shell. The little group on the Lorentz spinor double cover is SU(2). Its spin-$s$ irreducible representation induces a unitary representation on $L^2(d^{3}p/(2p^0))\otimes {\mathbb{C}}^{2s+1}$. Here $W(\Lambda ,p)=L(\Lambda p{)}^{-1}\Lambda L(p)$ is the Wigner rotation, lifted to SU(2) when necessary, and the translation convention is $U(I,a)|p⟩=e^{ip\cdot a}|p⟩$. The little-group cocycle proves the group law, and Wigner's classification gives irreducibility. Every nonnegative integer or half-integer spin is allowed on the double cover; descent to the ordinary proper orthochronous Poincaré group requires integer spin, because its $2\pi$ rotation must act as the identity.

For a massive positive-energy unitary irreducible representation of the Poincaré group with signature $(+---)$, choose a rest frame. The Pauli-Lubanski pseudovector has zero time component and spatial components $m{J}_i$, up to a common sign convention. Its square is therefore $-m^2{\mathbf{J}}^2$. The SU(2) little-group representation has spin $s$ and ${\mathbf{J}}^2=s(s+1)$, proving the invariant value. The mass and spin label the massive induced representation of the Poincare double cover.

An oriented pseudo-orthonormal frame in Minkowski spacetime consists of its base point $a$ and a Lorentz matrix $L$ acting on a fixed reference frame. The pairs $(a,L)$ form the Poincaré group, and right multiplication by $(0,h)$ sends the frame to $(a,Lh)$ while fixing its base point. Thus the displayed projection is a principal bundle with group $SO(3,1)$. The full frame bundle uses $O(3,1)$; a specified time orientation restricts to the corresponding connected component.

Use flat target spacetime with metric ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1,\dots ,1)$, and let $h_{ab}$ be an independent Lorentzian worldsheet metric. The Polyakov action isHere $X$ is the string embedding map and $T$ the string tension. Variation of $X$, followed by integration by parts, givesThus the embedding equation isThe boundary term vanishes by periodicity for a closed string. At an open-string boundary it requires, for example, vanishing normal derivative for a Neumann boundary condition, or $\delta X=0$ for a Dirichlet boundary condition. Mixed choices give corresponding endpoint conditions.

Define the induced worldsheet metric ${\gamma }_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. Using $\delta \sqrt{-h}=-\frac{1}{2}\sqrt{-h}{h}_{ab}\delta h^{ab}$, metric variation givesThe second set of equations is therefore the vanishing worldsheet stress tensor:For a nondegenerate induced metric this says $h_{ab}=e^{2\omega }{\gamma }_{ab}$. Substituting into the action gives $S_P=-T\int \sqrt{-\det \gamma }{d}^2\sigma$, proving the classical equivalence of Polyakov and Nambu–Goto actions. The auxiliary metric has not added physical metric degrees of freedom.

There are three important symmetry statements. Worldsheet diffeomorphisms change the parameterization, with $X$ transforming as a scalar and $h$ as a tensor; the integral is invariant. Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$ leave $\sqrt{-h}{h}^{ab}$ invariant specifically in two dimensions. These are gauge redundancies. Locally, the two diffeomorphism functions and one Weyl function fix the three independent components of $h$ to conformal gauge, $h_{ab}=e^{2\omega }{\eta }_{ab}$. Global worldsheet moduli may remain and cannot be gauged away. Separately the flat-target Poincaré group acts globally on $X$ and supplies conserved target momentum and angular momentum, rather than another worldsheet gauge constraint.

In conformal gauge the embedding equations and metric constraints becomeor equivalently ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. The Virasoro constraints must still be imposed: fixing the metric in the action before varying it would miss them. Residual conformal changes of the two null worldsheet coordinates are generated by these constraints. Classically these statements hold in any target dimension; cancellation of the quantum worldsheet Weyl anomaly is a further condition, not part of the classical variation.

For physical finite-spin one-particle states, a positive-energy Poincaré group representation is labelled by mass and spin $(m,j)$ when $m>0$, or mass and helicity $(0,h)$ when massless. The individual states also carry their four-momentum and a spin projection. For four-dimensional N=1 supersymmetry, the irreducible labels become $(m,j_{msuper})$, with $j_{msuper}$ the superspin, or $(0,h_{msuper})$, with a chosen superhelicity convention. The constituent representation labels arewith the last entry omitted for $j=0$, andA required CPT completion of a supermultiplet adds the conjugate labels $(0,-h),(0,-h-\frac{1}{2})$ and conjugates any internal charges.

The supersymmetry algebra closes on spacetime translations. Its supercharges are Weyl spinors, andThus the composition of two odd supersymmetry transformations moves the spacetime argument. The generators also change spin and connect bosons with fermions. They extend the Poincaré group to the Super-Poincaré group, rather than forming an internal symmetry that commutes with spacetime transformations.

A principal bundle with structural Lie group $G$ is locally a product $U\times G$, with changes of trivialization of the form $(x,g)\mapsto (x,t(x)g)$. Define a right action locally by $(x,g)\cdot h=(x,gh)$. It is independent of trivialization because $t(x)(gh)=(t(x)g)h$. It is smooth and obeys the group-action law. Right multiplication in $G$ is free and transitive, so the global action is free and each fiber is a single orbit. Equivalently these properties and equivariant local triviality can be included in the definition of a principal bundle.

For a representation $\rho :G\to GL(V)$, form the associated vector bundleProjection sends $[p,v]$ to the base point of $p$. A local section $s(x)$ gives coordinates $[s(x),v]$ and hence a local product $U\times V$; on overlaps the principal transition functions act through $\rho$. Because these maps are linear in $v$, the fibers have well-defined vector-space structures.

For an $n$-dimensional manifold, its frame bundle has points $u:{\mathbb{R}}^n\to T_{x}M$ that are linear isomorphisms. Right action is composition $u\cdot A=u\circ A$ for $A\in GL(n,\mathbb{R})$. Coordinate frames provide local trivializations. Its associated bundle for the defining representation is the tangent bundle, by the well-defined map $[u,v]\mapsto u(v)$. A metric restricts the frames to linear isometries and reduces the group to $O(r,s)$; choosing orientation gives the corresponding special-orthogonal reduction.

In Minkowski spacetime choose a reference oriented pseudo-orthonormal frame at the origin. Every such frame is specified by its base point $a\in {\mathbb{R}}^{3,1}$ and a Lorentz transformation $L\in SO(3,1)$. The Poincaré group has multiplicationand its right Lorentz action is $(a,L)\cdot h=(a,Lh)$. Henceis the oriented orthonormal frame bundle of Minkowski spacetime. The same argument with $O(3,1)$ gives the full unoriented bundle. If time orientation is fixed, use the orthochronous components throughout; the use of $SO$ in the printed quotient is an orientation reduction.

For four-dimensional de Sitter spacetime, use the spacelike hyperboloid $x\cdot x={\ell }^2$ in ${\mathbb{R}}^{4,1}$. An element of $SO(4,1)$ maps a fixed unit spacelike vector to $x/\ell$, and its other columns give an oriented pseudo-orthonormal tangent frame. The stabilizer of that unit vector is $SO(3,1)$. This identifies the oriented frame bundle of de Sitter spacetime and its projection:The right stabilizer action changes the tangent frame without changing $x$.

For Anti-de Sitter spacetime, take $x\cdot x=-{\ell }^2$ in ${\mathbb{R}}^{3,2}$. A unit timelike normal has orthogonal complement of signature $(3,1)$, so its stabilizer is again $SO(3,1)$. Appending this normal to a tangent frame realizes the oriented orthonormal frame bundle of anti-de Sitter spacetime asConnected components or orientation/time-orientation restrictions must be chosen consistently. This quotient is the anti-de Sitter quadric, which has a periodic timelike coordinate. If “anti-de Sitter spacetime” denotes its universal cover, pull the frame bundle back to that cover, rather than identify the covered spacetime with the unmodified quotient.

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.

Positive-energy one-particle Poincaré group representations have labels $(m,s)$ for $m>0$, and $(0,h)$ for finite-helicity massless states; individual massive polarizations add $m_s=-s,\dots ,s$. An $\mathcal{N}=1$ massive supermultiplet is labelled by mass $m$ and superspin $j$, with constituent labelsA massless supermultiplet has constituent labelsA CPT completion of a supermultiplet additionally supplies $(0,-h),(0,-h+\frac{1}{2})$, with conjugated internal charges where applicable. Constituent spins/helicities are the labels here, not counts of polarizations.

Use the metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ and first consider the connected Poincaré group, ${\mathbb{R}}^{1,3}⋊S{O}^{+}(1,3)$. Physical half-integer spins require unitary representations of its double cover ${\mathbb{R}}^{1,3}⋊SL(2,\mathbb{C})$; genuine representations of the group without this cover permit only integer spin. Write $P^{\mu }=d(P^{\mu })$ and $M^{\mu \nu }=d(M^{\mu \nu })$. Strong continuity gives self-adjoint generators, with commutators understood on a common invariant dense domain.

The commuting translation generators have a joint spectral resolution. Lorentz transformations carry the spectral four-momentum $p$ to $\Lambda p$, so an irreducible representation has its momentum spectral measure concentrated on a single Lorentz orbit. For positive-energy particles the orbits of interest are the future mass shells $p^2=m^2>0$, or $p^2=0$ with $p\ne 0$ and $p^0>0$. The zero-momentum orbit and spacelike or negative-energy orbits are outside these two particle cases.

Choose ${ϵ}^{0123}=1$ and define the Pauli-Lubanski pseudovector with the overall sign conventionThis sign makes the spatial rest-frame vector equal to $m\mathbf{J}$. The generators' Hermiticity and the antisymmetric epsilon contraction make $W^{\mu }$ Hermitian: the ordering correction from commuting $P$ through $M$ contracts metric tensors into epsilon and vanishes. The same antisymmetry proves Pauli-Lubanski orthogonality, $W^{\mu }{P}_{\mu }=0$.

The assumed commutators say that $P^{\mu }$ and $W^{\mu }$ transform as four-vectors and that $W$ commutes with all translations. Consequentlycommute with the entire Poincare algebra. For instance the two terms in the Lorentz commutator with a contracted vector square cancel. The Casimir operators therefore have fixed spectral values in a unitary irreducible representation, by the Schur lemma applied to their spectral projections. A second ingredient, the little group, distinguishes the internal states.

Fix a standard momentum $k$ on the orbit. Its little group is the subgroup of Lorentz transformations leaving $k$ fixed. Choose $L(p)$ with $L(p)k=p$. A Lorentz transformation acts on the internal fibre by the Wigner rotationIf $d_K$ is a unitary irreducible representation of this stabilizer, the induced representation acts on wavefunctions asThe measure $d^{3}p/(2p^0)$ on either future mass shell is Lorentz invariant, so this action is unitary. The identityproves the group multiplication law. Conversely, covariance of the translation spectral resolution supplies precisely these fibres and their stabilizer action. A commuting operator acts fibrewise; transitivity relates its fibre values, and irreducibility of $d_K$ makes it scalar. This explains why the construction gives, and classifies, the unitary irreducible representations on each orbit.

For a timelike momentum choose $k=(m,0,0,0)$. A Lorentz transformation fixing it acts only as a rotation of its spatial orthogonal complement, so the massive particle little group is $SO(3)$, or $SU(2)$ in the double cover. PutThe Poincare algebra gives $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$. The unitary irreducible representations of $SU(2)$ are labelled by $j=0,\frac{1}{2},1,\dots$, with ${\mathbf{J}}^2=j(j+1)$ and $J_3$ eigenvalues $-j,-j+1,\dots ,j$. Evaluation of the Pauli-Lubanski pseudovector at $k$ gives $W^0=0$, $\mathbf{W}=m\mathbf{J}$. Thus the massive Pauli-Lubanski Casimir and particle labels areThe full massive induced representation of the Poincare double cover is infinite-dimensional because momentum ranges continuously over the orbit; its finite internal multiplicity is $2j+1$.

For a null momentum choose $k=(E,0,0,E)$ with $E>0$. The infinitesimal stabilizer generators areTheir commutators with momentum, evaluated at $k$, vanish. From the rotation and boost commutators of the Poincare algebra one obtainsThese are the massless little-group generators of $ISO(2)$: a planar rotation and two commuting null rotations, which act like translations in the little-group algebra. Hence the massless particle little group is the Euclidean plane group, with the appropriate double cover for half-integer spin.

The definition of $W$ gives $W^0=\mathbf{P}\cdot \mathbf{J}$ and $\mathbf{W}=P^0\mathbf{J}-\mathbf{P}\times \mathbf{K}$. At the standard null momentum,Suppose the little-group representation has finite dimension, as for particles with finitely many polarizations. The commuting Hermitian $N_1,N_2$ have a finite joint spectrum. Conjugation by $e^{-i\varphi R}$ rotates this spectrum through every planar angle. The only finite set invariant under all these rotations is the origin. Thus both $N_i$ vanish, proving that finite-dimensional unitary representations of the massless little group have trivial translations. Irreducibility then leaves a one-dimensional rotation character, $R=hI$. The massless longitudinal Pauli-Lubanski eigenvalues arefor the double cover, with $h\in \mathbb{Z}$ for a genuine $SO(2)$ character. The number $h$ is helicity. Different helicities have the same two Casimir eigenvalues, so the little group is indispensable for the classification. A connected-group irreducible representation has one helicity; if parity is also implemented, it exchanges $h$ and $-h$ and normally requires their pair.

Unitarity alone also permits nontrivial null-rotation generators. The rotation-invariant operator $N_1^2+N_2^2$ is scalar in an irreducible little-group representation; if it has value $(\rho /E{)}^2>0$, one obtains a continuous-spin representation. A concrete realization on angular wavefunctions isThese operators satisfy the same commutators. Periodic or antiperiodic angular wavefunctions give integer or half-integer rotation modes, and the translation generators connect infinitely many such modes. The invariant labels areThese are the additional infinite-polarization massless unitary irreducible representations. Restricting to finitely many particle polarizations excludes them; they must not be ruled out merely by assuming unitarity. This completes the timelike and null cases of the Wigner classification.

Consider positive-energy unitary irreducible representations of the proper orthochronous Poincaré group, allowing its double cover for physical half-integer spin. Use metric $(+---)$ and define the Pauli-Lubanski pseudovector byThis overall sign gives $\mathbf{W}=m\mathbf{J}$ at rest. The antisymmetric tensor and commuting translation generators give $P_{\mu }{W}^{\mu }=0$. The given commutators say $W$ commutes with translations and transforms as a Lorentz vector. Hence both $P^2$ and $W^2$ commute with the Poincare algebra; they are Casimir operators.

The commuting Hermitian translation generators admit generalized joint momentum eigenstates. A Lorentz transformation maps a state at $p$ to a state at $\Lambda p$, so an irreducible representation has momentum support on a single Lorentz orbit. Choose a standard momentum $k$. Its little group consists of the transformations fixing $k$ and acts on the internal states there. Transport those internal states over the orbit by chosen transformations $L(p)k=p$. This gives the construction underlying Wigner's classification.

For timelike future-directed momenta, $P^2=m^2$ with $m>0$ and $k=(m,0,0,0)$. The massive particle little group is SO(3), or SU(2) on the double cover. Write $J_i={ϵ}_{ijk}d(M^{jk})/2$. The rotation commutators give $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$, so the irreducible little-group representation hasAt rest, $W^0=0$ and $\mathbf{W}=m\mathbf{J}$. Thus the massive Pauli-Lubanski Casimir isThe rest spin space has dimension $2s+1$. All $s=0,\frac{1}{2},1,\dots$ occur for the double cover; only integer spin descends to an ordinary single-valued representation of the proper orthochronous Poincare group.

For the detailed representation, choose a Lorentz boost $L(p)$ from $k$ to every point of the positive-energy mass shell. With invariant normalization, states $|p,\sigma ⟩=U(L(p))|k,\sigma ⟩$ transform asThe matrix $R$ fixes $k$, so it is the Wigner rotation in the little group. Its cocycle identityproves the representation law. Translations give phases; with the convention $U(a)|p,\sigma ⟩=e^{ip\cdot a}|p,\sigma ⟩$, this extends to the massive induced representation of the Poincare double cover onThe invariant measure and unitary spin matrices give unitarity. A closed invariant subspace restricts at fixed momentum to a little-group invariant spin subspace; irreducibility of that spin representation and transitivity over the mass shell force the full representation to be irreducible. Conversely the momentum-orbit construction recovers every massive positive-energy irreducible representation. The labels are therefore $(m,s)$.

For a nonzero future null momentum choose $k=(E,0,0,E)$. The massless particle little group is $ISO(2)$. With $K_i=d(M^{0i})$, its massless little-group generators arewith $[J_3,N_1]=i{N}_2$, $[J_3,N_2]=-i{N}_1$ and $[N_1,N_2]=0$. Evaluating the Pauli-Lubanski vector gives $W^2=-E^2(N_1^2+N_2^2)$.

In a finite-dimensional unitary little-group representation, the joint spectrum of the commuting Hermitian $N_1,N_2$ is finite and invariant under continuous planar rotations. Its only possible values are zero. Thus finite-dimensional unitary representations of the massless little group have trivial translations. Irreducibility then leaves a one-dimensional rotation character of helicity $h$, givingHelicity supplies an additional label that the two zero Casimirs cannot distinguish. It is integer for the ordinary group and may be half-integer on its physical double cover. Nontrivial little-group translations instead lead to an infinite-dimensional continuous-spin representation with $W^2<0$; the Poincare algebra by itself allows these too. This completes the timelike and nonzero null cases of physical interest.

Use units $c=\hslash =1$ and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. Composing two affine Poincaré group transformations, with the rightmost applied first, givesThe translations form a normal subgroup, so this is the semidirect product of the Lorentz group with ${\mathbb{R}}^{1,3}$. The transformations $(\mathrm{diag}(1,R),0)$, $R\in SO(3)$, fix time and the spatial origin. Their products and inverses correspond to $R{R}^{\prime }$ and $R^{-1}$, hence they form a subgroup isomorphic to SO(3).

A rotationless Lorentz boost changes the velocity of a frame without adding a spatial rotation. For $|\mathbf{v}|<1$ a convenient active convention iswith $B(0)=I$. It satisfies $B^{T}gB=g$, $\det B=1$, and $B(m,0)=(m\gamma ,m\gamma \mathbf{v})$. Collinear boosts form a one-parameter subgroup with additive rapidity, but general boosts do not. For nonzero boosts along $x$ and $y$, $(B_x{B}_y{)}_{02}={\gamma }_x{\gamma }_y{v}_y$ while $(B_x{B}_y{)}_{20}={\gamma }_y{v}_y$: their product is not symmetric, whereas every rotationless boost above is symmetric. The product contains a Wigner rotation. Infinitesimally, the Poincare algebra gives $[K_i,K_j]=-i{ϵ}_{ijk}{J}_k$ for Hermitian generators, so the boost generators do not close amongst themselves.

There is a group-versus-cover qualification in the spin range: an honest unitary representation of the proper orthochronous Poincaré group permits integer spin only. Half-integer spin requires its double cover $SL(2,\mathbb{C})⋉{\mathbb{R}}^{1,3}$, or a projective unitary representation of the ordinary group. The construction below gives the requested range on that double cover and descends for integer spin.

Fix $m>0$ and the rest momentum $k=(m,0)$. Its little group consists of rotations: if a proper orthochronous Lorentz transformation fixes $k$, its time column is $(1,0)$, the metric condition forces the corresponding time row, and the remaining block belongs to SO(3). On the Lorentz spinor double cover, this little group is SU(2). Choose its irreducible spin-$s$ representation, with rest-frame states $|k,s,\sigma ⟩$, $\sigma =-s,-s+1,\dots ,s$, and matrices $D^{(s)}$, the Wigner D-matrices.

For each $p$ on the forward mass shell, $p^2=m^2$, $p^0>0$, choose the standard rotationless Lorentz boost $L(p)=B(\mathbf{p}/p^0)$ and defineThe labels are canonical spin projections, defined by this choice of boosts. For any proper orthochronous $\Lambda$, factorThe last factor fixes $k$ and hence is a Wigner rotation. On the double cover, use its lift to SU(2). Taking the translation convention $U[I,a]|p,s,\sigma ⟩=e^{ip\cdot a}|p,s,\sigma ⟩$ yields the massive induced representation of the Poincare double cover:The argument of the translation phase is $\Lambda p$, since $U[\Lambda ,a]=U[I,a]U[\Lambda ,0]$. The Wigner rotation identityproves the Lorentz part of the representation law; the phases multiply according to the affine product already derived.

Normalize the generalized momentum states by $⟨p,s,\sigma |q,s,\tau ⟩=2p^0(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q}){\delta }_{\sigma \tau }$. The invariant mass shell measure $d^{3}p/(2p^0)$ and unitarity of $D^{(s)}$ make the induced representation unitary on $L^2(d^{3}p/(2p^0))\otimes {\mathbb{C}}^{2s+1}$. This covariant normalization accounts for the absence of an energy square-root factor in the displayed transformation law. To see irreducibility, translations force an operator in the commutant to act within momentum fibres; the little-group action and Schur lemma make its action scalar on each irreducible spin fibre. Lorentz transitivity on the forward mass shell makes this scalar constant. The commutant is therefore scalar, so the unitary representation is irreducible. Conversely, the simultaneous translation spectrum and its little-group representation give the massive positive-energy sector of Wigner's classification.

Thus every $m>0$ and $s\in \{0,\frac{1}{2},1,\dots \}$ gives such an irreducible representation on the double cover. Its central element over a $2\pi$ spatial rotation acts as $(-1{)}^{2s}$. Since this rotation is the identity in the ordinary Poincaré group,

For the parity operator, put $\Pi =\mathrm{diag}(1,-1,-1,-1)$ and $\bar{p}=\Pi p=(p^0,-\mathbf{p})$. The extension obeys $PU[\Lambda ,a]P^{-1}=U[\Pi \Lambda \Pi ,\Pi a]$. At rest, $P$ commutes with the rotations; Schur lemma therefore gives $P|k,s,\sigma ⟩={\eta }_P|k,s,\sigma ⟩$ with a common phase $|{\eta }_P|=1$. Since $\Pi L(p)\Pi =L(\bar{p})$, the parity action on canonical massive spin states isFor the usual reflection convention $P^2=I$, ${\eta }_P=\pm 1$ is the intrinsic parity. Canonical spin is an axial quantity and its label $\sigma$ is unchanged; a helicity label instead changes sign because momentum is reversed. Either intrinsic parity extends a given massive spin representation.

A symmetry preserves the action, possibly up to a boundary term. In a classical field theory, this connects transformations of fields to conserved quantities. In a quantum field theory, it also constrains states, observables and scattering amplitudes. Continuous symmetries have Noether currents; discrete symmetries can be equally important without supplying a current through the same theorem.

For a local density depending on fields ${\Phi }_a$ and their first derivatives, define ${\Pi }_a^{\mu }=\partial \mathcal{L}/\partial ({\partial }_{\mu }{\Phi }_a)$ and ${\mathcal{E}}_a=\partial \mathcal{L}/\partial {\Phi }_a-{\partial }_{\mu }{\Pi }_a^{\mu }$. Suppose a one-parameter transformation has fixed-coordinate variation $\delta {\Phi }_a=\epsilon R_a$ and satisfies $\delta \mathcal{L}=\epsilon {\partial }_{\mu }{K}^{\mu }$. The Noether's first theorem asserts thatFor Grassmann-valued fields the derivatives and ordering are chosen consistently; the same integration-by-parts argument applies. To prove the theorem, expand the density variation and integrate its derivative term once algebraically:Comparison with the assumed divergence gives ${\partial }_{\mu }{j}^{\mu }=-{\sum }_a{\mathcal{E}}_a{R}_a$. On shell every Euler-Lagrange expression vanishes. Integrating this continuity equation over space gives the Noether charge $Q=\int j^0{d}^{3}x$ and $dQ/dt=-{\int }_{\partial {\mathbb{R}}^3}\mathbf{j}\cdot d\mathbf{S}$. Thus $Q$ is conserved whenever the boundary flux vanishes. Boundary conditions are part of the conservation statement; the local identity alone does not discard nonzero flux.

Translations illustrate the theorem in every relativistic field theory. For $R_a=a^{\nu }{\partial }_{\nu }{\Phi }_a$ and $K^{\mu }=a^{\mu }\mathcal{L}$, the current is $a^{\nu }{T}^{\mu }{}_{\nu }$, whereThe four charges are energy and momentum. For the Klein-Gordon field they reduce to the expressions derived in Question 1. Lorentz invariance gives angular momentum and boost currents. With a symmetric improved stress-energy tensor, these are $M^{\lambda \mu \nu }=x^{\mu }{T}^{\lambda \nu }-x^{\nu }{T}^{\lambda \mu }$. The canonical Dirac expression also carries an intrinsic spin current; improvement incorporates it into the symmetric tensor. Together translations and Lorentz transformations form the Poincaré group.

Internal symmetries act on field components without moving spacetime points. The global phase symmetry of a complex scalar field, $\delta \varphi =-i\epsilon \varphi$, hasIts charge distinguishes particles and antiparticles. A Dirac phase transformation $\delta \psi =-i\epsilon \psi$ gives $j^{\mu }=\bar{\psi }{\gamma }^{\mu }\psi$. This is preserved by the real-scalar Yukawa interaction, because the phases of $\bar{\psi }$ and $\psi$ cancel; consequently fermion number is conserved even while scalar and fermion particles interact. A multiplet of real scalars with a potential depending only on ${\sum }_a{\varphi }_a^2$ has orthogonal internal rotations. Their antisymmetric currents can be written $j_{ab}^{\mu }={\varphi }_a{\partial }^{\mu }{\varphi }_b-{\varphi }_b{\partial }^{\mu }{\varphi }_a$.

Discrete examples include $\varphi \mapsto -\varphi$ for an even real-scalar potential, parity symmetry in quantum field theory, and charge conjugation, which interchanges a complex scalar with its conjugate and reverses the electromagnetic potential. Discrete transformations are not generated by an infinitesimal continuous parameter, so Noether theorem does not attach a local conserved current to each of them. Nevertheless they forbid interaction terms and relate physical processes.

A global symmetry in field theory uses parameters constant across spacetime and can act nontrivially on physical states. A gauge redundancy allows arbitrary spacetime-dependent parameters and relates descriptions of the same physical configuration. In scalar electrodynamics, replacing the scalar's global phase by a local phase requires the compensating gauge transformation of $A_{\mu }$ and the gauge covariant derivative; the invariant contraction uses the opposite representation for ${\varphi }^{\ast }$. In Yang-Mills theory, matter transforms in a representation of a non-Abelian gauge group and the gauge potential transforms so that covariant derivatives and field strengths transform covariantly. Gauge fixing, such as Coulomb gauge, chooses representatives of these descriptions rather than changing physical predictions. The current-contracted propagator identity of Question 3 illustrates why a noncovariant gauge choice leaves scattering Lorentz invariant.

The arbitrary local parameter produces a stronger statement than one independent conserved charge for each function. For the abelian scalar transformation, vary the action with an arbitrary compactly supported $\alpha (x)$ and integrate its derivative term:ThereforeThis consequence of Noether second theorem, the Noether identity for abelian scalar gauge symmetry, holds off shell: gauge invariance makes the field equations dependent. In Hamiltonian language the same redundancy is reflected by the Gauss law constraint in gauge theory and the elimination of unphysical gauge degrees of freedom. Gauge transformations that vanish at the boundary are redundancies; transformations with nontrivial boundary behaviour can instead carry physical surface charges. This is why identifying every gauge transformation with a zero-charge operation would be too strong.

Finally, symmetry of the action need not imply symmetry of a chosen vacuum. For a complex scalar with a symmetry-preserving potential whose minima occur at nonzero $|\varphi |$, different constant phases label degenerate vacua. Choosing one breaks the global phase symmetry of the state; the Goldstone theorem supplies a massless mode under its usual relativistic assumptions. When the same phase is gauged, the Higgs mechanism describes the phase degree of freedom becoming the longitudinal polarization of a massive gauge boson; the local redundancy is still present in the underlying description. At the quantum level a classical symmetry can also fail through a quantum anomaly, so a classical Noether derivation alone does not guarantee an exact quantum Ward identity. Conserved charges, physical global transformations and local gauge redundancy are related but distinct consequences of symmetry.

The Skyrme model represents the three pions by a field in the special unitary group $SU(2)$,with Pauli matrices ${\tau }_a$. Near $U=1$, the three tangent components are the pion fields, with a normalization scale suppressed here. Define $L_{\mu }=U^{†}{\partial }_{\mu }U$. In one useful sign convention with metric $(+---)$, the action consists ofwhere $c_2,c_4>0$ and the last term is optional, with $c_0\ge 0$ proportional to a common pion mass squared. The first term is a nonlinear sigma model kinetic term, and the second is the four-derivative term of the Skyrme model. For a static configuration of size $s$, the two derivative contributions scale as $E_2\propto s$ and $E_4\propto 1/s$, whereas a mass term scales as $s^3$. This Derrick scaling explains why the four-derivative term can stabilize a finite size instead of allowing collapse.