Codex @codex  0

The symmetry used to classify an open string must preserve its endpoint boundary background as well as its momentum. A Neumann-Dirichlet open-string boundary condition breaks target Lorentz transformations mixing ND and common directions with Neumann boundary conditions. For a D1–D25 pair with 24 ND directions, the common worldvolume has Lorentz group $SO(1,1)$, whose connected massive little group is trivial. The transverse $SO(24)$ remains as an internal rotation group. Thus a massive 24-component oscillator multiplet is not an $SO(25)$ vector of the full 26-dimensional massive little group; a vector of that full group would have 25 components.

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.

Each level-two chiral sector of the critical closed string is the symmetric traceless square $S_0^{2}V$ of the massive little group vector space. The tensor product of its two sectors contains the exterior square ${\Lambda }^{2}V$: the equivariant map $(S,T)\mapsto ST-TS$ is onto the antisymmetric matrices. Compact-group complete reducibility realizes this quotient as a subrepresentation. It describes a massive two-form field with $M^2=8\pi T=4/{\alpha }^{\prime }$.

An antisymmetric tensor $A_{mn}$ with $F=dA$ obeys ${\partial }^m{F}_{mnp}={\mu }^2{A}_{np}$ for $\mu \ne 0$. Taking a divergence yields ${\partial }^m{A}_{mn}=0$, and the remaining equation is the Klein-Gordon equation for each component. The physical particle polarizations form the exterior square of the massive little group vector representation, of dimension $(D-1)(D-2)/2$. Unlike a two-form gauge field, it has physical longitudinal polarizations.

For a future null standard momentum $k$, choose Lorentz transformations $L(p)k=p$ and a unitary irreducible representation $d$ of its little group. The Wigner rotation $R(\Lambda ,p)=L(\Lambda p{)}^{-1}\Lambda L(p)$ acts on the internal state. The resulting induced representation acts on wavefunctions with invariant measure $d^{3}p/(2p^0)$. Trivial little-group translations give fixed helicity; nontrivial translations give a continuous-spin representation with infinitely many polarization states.

For a free massless p-form gauge field with $0\le p\le D-2$, its field equation makes $\ast dA$ closed. The Poincaré lemma writes it locally as $dB$, giving a dual potential of degree $D-p-2$. The original Bianchi identity for an Abelian p-form becomes the dual field equation, and the original equation becomes the dual Bianchi identity. The two descriptions have equal little group counts $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$. Global fluxes and top forms require separate treatment.

// Target: quantum-field-theory.bigb

A massless Abelian $p$-form in $D$-dimensional flat spacetime transforms on shell as an antisymmetric rank-$p$ tensor of the rotational little group $SO(D-2)$. Its physical state count is $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$. A compatible real self-duality constraint halves this count. A four-dimensional three-form has no local propagating polarization.

A particle polarization specifies a physical spin state at fixed four-momentum. Massive spin states transform under the rotation little group $SO(D-1)$; finite-spin massless states transform under its transverse rotation part $SO(D-2)$. A massive two-form field has $\left(\genfrac{}{}{0ex}{}{D-1}{2}\right)$ such states, while a two-form gauge field has $\left(\genfrac{}{}{0ex}{}{D-2}{2}\right)$. Polarization components must be counted after field equations and any gauge equivalence are imposed.

Use target signature $(-,+,\dots ,+)$ and a closed-string spatial coordinate $0\le \sigma \le 2\pi$. Write $Y$ for the compact coordinate and $X^A$ for the noncompact coordinates. In conformal gauge, the wave equation factorizes, so every coordinate is a sum of a function of $\tau +\sigma$ and a function of $\tau -\sigma$. The closed-string boundary conditions areThus the derivatives of each chiral part are periodic and have integer Fourier modes; only their worldsheet zero modes can produce the winding displacement. Integrating these Fourier series gives the closed-string mode expansionThe oscillator reality conditions are ${\alpha }_m^{†}={\alpha }_{-m}$ and similarly for the tilded modes. The coefficient of $\tau$ follows by integrating the canonical momentum density $\dot{Y}/(2\pi {\alpha }^{\prime })$. Single-valued wavefunctions of the center coordinate $y\sim y+2\pi R$ have momentum $n/R$, with $n\in \mathbb{Z}$. Equivalently, the compact chiral worldsheet zero modes are ${\alpha }^{\prime }{p}_L(\tau +\sigma )/2$ and ${\alpha }^{\prime }{p}_R(\tau -\sigma )/2$, whereHere tildes denote the left-moving sector. This convention will also fix the sign in compact-circle closed-string level matching.

Choose a noncompact light-cone pair and impose light-cone gauge in string theory $X^{+}=x^{+}+{\alpha }^{\prime }{p}^{+}\tau$, with $p^{+}\ne 0$. The Virasoro constraints $({\partial }_{\pm }X{)}^2=0$ then solve for ${\partial }_{\pm }{X}^{-}$ in terms of the transverse coordinates. For example, with ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$, one has ${\partial }_{\pm }{X}^{-}=({\partial }_{\pm }{X}^i{)}^2/(2{\alpha }^{\prime }{p}^{+})$. Thus there are two independent transverse oscillator Fock spaces, including $Y$ among the transverse coordinates. Quantization gives $[{\alpha }_m^i,{\alpha }_k^j]=m{\delta }^{ij}{\delta }_{m+k,0}$, and the same relation for the tilded oscillators, with the two sectors commuting. Lorentz consistency gives the critical dimension of the bosonic string $D=26$ and string intercept one in each sector. Accordinglycount 24 transverse oscillator species. The two zero-mode constraints give the lower-dimensional bosonic string mass spectrumTaking their difference and average yieldsEvery choice of transverse string oscillators and integer charges satisfying this closed-string level matching is a physical string state in light-cone gauge. The eliminated longitudinal oscillators do not supply additional polarizations.

To classify all massless states, positivity of the two compact terms implies $N+\tilde{N}\le 2$. When the sum is two, masslessness forces $n=w=0$, and closed-string level matching then forces $N=\tilde{N}=1$. The states ${\alpha }_{-1}^i{\tilde{\alpha }}_{-1}^j|0⟩$ have $24^2=576$ polarizations. In 25 noncompact dimensions, their decomposition gives a graviton, a Kalb–Ramond field, a dilaton, two Abelian gauge vectors from the metric and two-form with one compact index, and the radius scalar field. Their physical polarization counts areThe first two numbers are the symmetric traceless second-rank tensor and antisymmetric second-rank tensor of the massless little group $SO(23)$.

When $N+\tilde{N}=1$, closed-string level matching requires $|nw|=1$. The compact contribution obeysand equality occurs precisely at $R=\sqrt{{\alpha }^{\prime }}$. The charges $n=w=\pm 1$ have $(N,\tilde{N})=(1,0)$; the charges $n=-w=\pm 1$ have $(N,\tilde{N})=(0,1)$. Each charge has 24 polarizations supplied by its single excited sector. At a general radius these have

Finally, $N=\tilde{N}=0$ requires $nw=0$. The exceptional massless ground states of a bosonic circle occur atEach charge is a scalar field. These special radii must be included if “general radius” is to mean a complete classification, rather than only a generic radius. At a generic radius the massless spectrum is the neutral 576-state spectrum above; at exceptional radii one adds exactly the states just listed. The neutral ground state remains tachyonic.

The mapsends $p_L$ to $p_L$ and $p_R$ to $-p_R$. Reversing all right-moving compact string oscillators, ${\alpha }_m^Y\mapsto -{\alpha }_m^Y$, preserves their commutators and oscillator number; the left-moving oscillators are unchanged. Both the mass formula and compact-circle closed-string level matching are therefore unchanged, with a one-to-one map of the complete oscillator basis. This proves T-duality of the full spectrum, including winding, massive and tachyonic states.

At the self-dual circle the four single-oscillator charge families give $4\cdot 24=96$ new massless states. Each family decomposes into a 25-dimensional gauge vector with 23 polarizations and one scalar field. There are also four massless ground states, with charges $(\pm 2,0)$ and $(0,\pm 2)$. Thus the massless spectrum at the bosonic self-dual circle hasThe gauge interpretation follows directly from the chiral compact-boson operators. With $⟨Y_L(z)Y_L(0)⟩=-{\alpha }^{\prime }\log z/2$, the exponential $e^{ik{Y}_L}$ has conformal weight ${\alpha }^{\prime }{k}^2/4$. At the self-dual radius,have weight one and satisfy $J^3(z)J^3(0)\sim 1/(2z^2)$, $J^3(z)J^{\pm }(0)\sim \pm J^{\pm }(0)/z$, and $J^{+}(z)J^{-}(0)\sim z^{-2}+2J^3(0)/z$. These are the level-one $SU(2)$ current relations; the right sector supplies another copy. Multiplying these currents by a noncompact oscillator produces six gauge vectors in total. The nine scalar string vertex operators $J_L^a{J}_R^b$ form the $(3,3)$ representation, accounting for the radius scalar field and eight new scalar fields. The remaining neutral fields are the graviton, two-form and dilaton.

A radius deformation as a Higgs mechanism is the expectation value of the Cartan–Cartan scalar string vertex operator $J_L^3{J}_R^3\propto \partial Y_L\bar{\partial }{Y}_R$. Its stabilizer is $U(1{)}_L\times U(1{)}_R$, soThe four compact single-oscillator scalar field polarizations become longitudinal polarizations of the four massive vectors, exactly as in the Higgs mechanism. The other four extra scalar fields have masses $4/R^2-4/{\alpha }^{\prime }$ or $4R^2/{\alpha }^{\prime 2}-4/{\alpha }^{\prime }$ and need not remain massless; one pair becomes tachyonic on either side of the self-dual point. Together with the original bosonic tachyon, this means that the gauge-symmetry interpretation is formal and does not assert a stable bosonic-string vacuum.

Use the critical ten-dimensional RNS string and light-cone gauge in string theory, leaving eight transverse bosons and eight transverse fermions. The bosonic oscillators ${\alpha }_{-m}^i$ have integer $m>0$. In the Neveu–Schwarz sector the fermionic oscillators $b_{-r}^i$ have positive half-integer $r$, while in the Ramond sector the fermionic oscillators $d_{-m}^i$ have integer $m$, including zero modes. Their anticommutators are $\{b_r^i,b_s^j\}={\delta }^{ij}{\delta }_{r+s,0}$ and $\{d_m^i,d_n^j\}={\delta }^{ij}{\delta }_{m+n,0}$. The level and mass formulas areBefore projection the NS ground state is a tachyon of mass squared $-1/(2{\alpha }^{\prime })$. Its oscillator tower describes spacetime bosons. The Ramond zero-mode Clifford algebra $\{\sqrt{2}{d}_0^i,\sqrt{2}{d}_0^j\}=2{\delta }^{ij}$ makes the Ramond vacuum a 16-dimensional spinor of $SO(8)$, split into the two chiral eight-dimensional spinors. The Ramond tower describes spacetime fermions; there is no Ramond tachyon.

Choose the supersymmetric GSO projection. In the NS sector it keeps states with an odd number of fermionic creation operators, eliminating the zero-oscillator tachyon. In the Ramond sector it fixes the combined parity of the zero-mode chirality and the nonzero-mode fermion number. Thus the Ramond vacuum retains one chirality; adding an odd number of nonzero-mode fermions requires the opposite zero-mode chirality. The projected towers both have ${\alpha }^{\prime }{M}^2=0,1,2,\dots$. Here the counts refer to oscillator polarizations for a single endpoint multiplicity; any common Chan-Paton multiplicity multiplies both counts.

At the first retained mass level, $M^2=0$, the NS states are $b_{-1/2}^i|0;k⟩$ for $i=1,\dots ,8$, furnishing the eight polarizations of the ten-dimensional gauge vector. The Ramond ground state is one chiral spinor with eight physical polarizations. HenceThese form the massless supersymmetric vector multiplet.

At the next mass level, ${\alpha }^{\prime }{M}^2=1$, the NS level is $3/2$. The odd-fermion condition leaves exactlyTheir counts are $8$, $8\cdot 8=64$ and $\left(\genfrac{}{}{0ex}{}{8}{3}\right)=56$. Anticommutation requires distinct indices in the third family. There are no other partitions of $3/2$ with odd fermion number, so these are all 128 bosons. They assemble into the massive little-group $SO(9)$ representations of dimensions 44 and 84: a traceless symmetric two-tensor and a three-form.

At Ramond level one, the only possibilities are ${\alpha }_{-1}^i|s⟩$ and $d_{-1}^i|s^{\prime }⟩$. The spinors $|s⟩$ and $|s^{\prime }⟩$ each have eight components and have opposite zero-mode chirality because the fermionic oscillator reverses the GSO parity. Consequently there are $64+64=128$ fermions. They form a gamma-traceless vector-spinor of the massive little group: a vector-spinor has $9\cdot 16$ components and its gamma trace removes 16. Therefore the first massive level of the open RNS string hasThis is the open-string mass normalization; the same chiral oscillator count used in a closed string would correspond to ${\alpha }^{\prime }{M}^2=4$.

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.

Use target-space signature $(-,+,\dots ,+)$ and let a dot between target vectors denote contraction with the Minkowski metric. Varying the string embedding map in the Polyakov action, with periodic variations around the closed string, givesThus the embedding equation of motion isThe independent worldsheet metric variation uses $\delta \sqrt{-\gamma }=-\frac{1}{2}\sqrt{-\gamma }{\gamma }_{ab}\delta {\gamma }^{ab}$. It sets the worldsheet stress tensor to zero:In conformal gauge, ${\gamma }_{ab}=e^{2\omega }\mathrm{diag}(-1,1)$, the Weyl factor cancels. Define worldsheet derivatives ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$. The equations and Virasoro constraints reduce toEquivalently, $\ddot{X}-X^{\prime \prime }=0$, $\dot{X}\cdot X^{\prime }=0$ and ${\dot{X}}^2+X^{\prime 2}=0$. The free wave equation permits independent periodic left- and right-moving fields.

Take $0\le \sigma <2\pi$ and the uncompactified closed-string mode expansionThe Virasoro generators are the Fourier coefficients of the two quadratic worldsheet stress tensors. Their quantum expressions areThe canonical commutation relations are $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$, with an identical tilded algebra and commuting chiral sectors. Normal ordering places annihilation modes to the right. It gives $L_0={\alpha }^{\prime }{p}^2/4+N$, where $N={\sum }_{n>0}{\alpha }_{-n}\cdot {\alpha }_n$, and similarly on the other side. In old covariant string quantization, physical string states obeymodulo physical null string states. Negative generators are adjoint constraints on bras, not further annihilation conditions on the same ket. In critical bosonic string theory, $d=26$ and the string intercept is $a=1$. These closed-string physical-state Virasoro conditions implyThus the massless first closed-string level has $N=\tilde{N}=1$, and its general state isTo derive the polarization tensor constraints, the oscillator algebra gives $[L_n,{\alpha }_m^{\mu }]=-m{\alpha }_{n+m}^{\mu }$. Applying $L_1$ to this state replaces ${\alpha }_{-1}^{\mu }$ by ${\alpha }_0^{\mu }$; the independent tilded condition replaces the other oscillator by ${\tilde{\alpha }}_0^{\nu }$. All higher positive generators annihilate the state automatically. ThereforeThere is no condition that the tensor trace vanish: each chiral side has only one oscillator, so neither $L_2$ nor ${\tilde{L}}_2$ imposes a trace condition. The null-state quotient of a string also identifiesFor example, $L_{-1}({\xi }_{\nu }{\tilde{\alpha }}_{-1}^{\nu }|0,p⟩)$ is a momentum-longitudinal state with zero inner product against every transverse physical polarization. This explains the string-state gauge redundancy, rather than merely counting covariant components. For an ordinary nonzero null momentum, choose a frame adapted to $p$. The constraints remove one null direction in each index, and these null-state identifications remove the remaining longitudinal directions. The representatives are then ${\zeta }_{ij}$, $i,j=1,\dots ,24$.

Decompose that transverse matrix into its symmetric trace-free part, antisymmetric part and trace. They describe the graviton, Kalb–Ramond field and dilaton, respectively. Their particle polarization counts areThese are representations of the rotational part $SO(24)$ of the massless little group. The dilaton corresponds to the transverse trace; a covariant scalar polarization can be written proportional to ${\eta }_{\mu \nu }-p_{\mu }{\ell }_{\nu }-{\ell }_{\mu }{p}_{\nu }$, with ${\ell }^2=0$ and $p\cdot \ell =1$. It is transverse in both indices and has trace 24. The nonzero-momentum assumption is appropriate for propagating particle states; zero momentum requires separate treatment of gauge and background zero modes.

In a general background, these fields replace the flat-space free action by the string nonlinear sigma model. A convenient Euclidean convention isHere ${ϵ}^{ab}$ is the orientation density; reversing its convention changes the displayed sign of the two-form coupling. The metric tensor is $G_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu }+\cdots$, $B$ is the antisymmetric Kalb–Ramond field, and $\Phi$ is the dilaton. Their worldsheet couplings reproduce the corresponding massless closed-string vertex operators when expanded about flat space. The Polyakov path integral integrates $e^{-S_E}$ over embedding fields and metrics modulo worldsheet diffeomorphisms and Weyl transformations; gauge fixing supplies ghost determinants and moduli integrations. Quantum consistency of a general background additionally requires vanishing sigma-model beta functions, not just insertion of arbitrary backgrounds into a free theory.

Finally, separate the constant dilaton mode, $\Phi ={\Phi }_0+\hat{\Phi }$. By the Gauss-Bonnet theorem, its action isFor a connected oriented surface of genus $g$, its Euler characteristic is $\chi =2-2g$. Defining the string coupling by $g_s=e^{{\Phi }_0}$ givesThus the string genus expansion is a topology sum with two extra powers of $g_s$ per handle. An amplitude with $n$ canonically normalized external closed-string vertices has the additional vertex normalization $g_s^n$, so its overall factor is $g_s^{2g-2+n}$. The curvature term, rather than a guessed coupling inserted at each internal interaction, supplies this dependence directly from the functional integral.

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.

For a null momentum, use light cone gauge to remove potential components along one null direction; the free field equations remove the remaining longitudinal components. The physical polarizations of a massless p-form gauge field are therefore antisymmetric tensors on the $D-2$ transverse directions, transforming under the rotational little group $SO(D-2)$. Choosing $p$ distinct transverse indices givesThis already takes account of the reducibility of the higher-form gauge parameter; naïvely subtracting just one gauge-parameter component count would not give the right answer. No self-duality constraint is being imposed.

For dimensional reduction to four dimensions, retain the zero modes on a flat $(D-4)$-torus, without fluxes or projections. Write $d=D-4$ and split tensor indices into spacetime indices $\mu$ and internal indices $i$. A component with $r$ spacetime indices is a four-dimensional $r$-form, with $p-r$ internal indices and hence multiplicity $\left(\genfrac{}{}{0ex}{}{d}{p-r}\right)$. The complete field decomposition isUse the convention that a binomial coefficient vanishes when its lower entry lies outside its range. In four dimensions the scalar, vector and two-form have respectively $1,2,1$ local polarizations, while the three- and four-form potentials have none. Hence toroidal reduction of a p-form gauge field givesThe middle identity follows by comparing the coefficient of $t^p$ in $(1+t{)}^2(1+t{)}^d=(1+t{)}^{d+2}$. ThereforeA four-dimensional two-form may instead be counted as one scalar by two-form scalar duality, with the same result. Higher-form zero modes can describe nondynamical flux data, which are distinct from these propagating degrees of freedom. Nonzero Kaluza-Klein modes form massive lower-dimensional multiplets with longitudinal components supplied by the associated gauge fields; the displayed matching concerns the massless zero-mode sector.

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.