Use units , metric , and . Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta are
Canonical quantization in the Heisenberg picture imposes, at the same time ,
All other independent equal-time commutators vanish: in particular , together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian density
The Euler-Lagrange equations are . The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure . A convenient expansion is
The minus sign is a phase convention: replacing by produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,
when . The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.
Substitution into the spatial integral for makes the diagonal terms proportional to and . Terms creating or annihilating a pair have and a coefficient , so they cancel. The result before vacuum subtraction is
Commuting past leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:
A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.
The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy and mass , because
Repeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.
For the global phase transformation , , Noether theorem gives . Its divergence is
With vanishing boundary flux, the integral of is a conserved charge. Substituting the modes gives, before charge normal ordering, . The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operator
The mode commutators imply and , so
Thus the particle carries charge , the antiparticle carries charge , and a state with occupation numbers has charge . Also and , agreeing with the phase transformation and charge conservation.
A Majorana spinor equals its transform under charge conjugation, so its spinor components are not independent of their conjugates. In a real two-dimensional gamma matrix representation it can be taken real, with anticommuting Grassmann variables as components. Each target index labels a separate worldsheet Majorana fermion; it is not itself a target-space spinor.
Use worldsheet signature and the real gamma matrices
Take with . Define the chirality matrix with the chosen worldsheet orientation by
It squares to one and anticommutes with each gamma matrix. Chirality is its eigenvalue, selected by the chiral projectors. Its overall sign is conventional.
Writing , the fermion equation of motion becomes
Hence
The first profile travels toward increasing , and the second toward decreasing . Thus the choice of chirality orientation realizes the requested worldsheet chirality and propagation direction correspondence; reversing the orientation interchanges the labels.
For the rigid worldsheet supersymmetry variation, let be a constant Grassmann-odd Majorana spinor. With the displayed conventions,
The minus sign follows from . A second identity from the Majorana Grassmann bilinear interchange is . Keeping these Grassmann signs is essential.
The bosonic kinetic variation is . The two fermionic kinetic variations, using the two identities above, give the full result
For the second equality use and symmetry of the second embedding derivative. No field equation has been used. Thus the variation is an off-shell total derivative:
This is the rigid worldsheet supersymmetry boundary term. It vanishes when the boundary flux vanishes, for example on a closed worldsheet with compatible fields and variations. On a spatial circle, a constant supersymmetry parameter must also respect the chosen spin structure. Periodic fermions allow this rigid transformation; antiperiodic fermions and a constant parameter would give an antiperiodic and fail to preserve a periodic bosonic embedding. The local action identity remains valid, but global symmetry requires compatible boundary data. This is the spin-structure obstruction to constant worldsheet supersymmetry.
For the spectrum, assume the usual critical RNS string, physical-state constraints, a nonzero null target momentum, and the supersymmetric GSO projection. Analyze just one chiral sector. Its matter central charge is ; the bc system and superconformal ghosts contribute . Therefore gives the critical dimension of the RNS superstring . Light-cone gauge in string theory leaves eight transverse bosonic and eight transverse fermionic string oscillator directions.
In the Neveu–Schwarz sector, the normal-ordering intercept is . The massless level is and has states
The GSO projection retains these eight transverse vector polarizations while removing the tachyonic ground state. They are spacetime bosons, although the creating string oscillator is a worldsheet fermion. In covariant language transversality and the longitudinal null-state quotient leave polarizations.
In the Ramond sector, bosonic and fermionic zero-point energies cancel, so and the ground states are massless. The eight transverse fermion zero modes obey
This Ramond zero-mode Clifford algebra acts on a sixteen-dimensional ground-state space. Its two chirality subspaces each have dimension eight. The GSO projection keeps one, an or spinor of , the rotation subgroup of the massless little group. These are spacetime fermions. Equivalently a ten-dimensional Majorana-Weyl spinor has sixteen real components before the massless Dirac equation reduces the physical polarization count to eight.
Consequently the massless chiral RNS spectrum after GSO projection satisfies
The GSO projection is essential: without it, the transverse Ramond sector would retain both eight-dimensional spinor chiralities. These are counts for one chiral sector, not the tensor-product counts of the full closed-string spectrum.
Apply the Grassmann Gaussian integral to a regulated finite collection of field components. Up to a field-independent measure normalization and phase,
In the continuum this is a formal functional determinant, including spinor and spacetime indices. Its meaningful definition requires a regulator and boundary conditions. A complex Dirac field supplies a determinant, not the inverse square root obtained for a real commuting field.
The comparison is clean after Wick rotation. A free real scalar field with positive Euclidean operator has
Taking a logarithm gives for the scalar and for the Dirac field. The opposite statistics sign is the determinant counterpart of the minus sign for a closed fermion loop. The magnitude also differs because a Dirac field has several independent spin and antiparticle degrees of freedom.
The vacuum energy sign of a fermionic oscillator makes the comparison explicit. A real scalar mode contributes ; each independent fermionic oscillator contributes . There is one oscillator per scalar momentum, but a massive Dirac field has two particle and two antiparticle oscillators. Thus the vacuum energy densities are formally
Equivalently, the large Euclidean-time vacuum functional behaves as . Both displayed vacuum energies are ultraviolet divergent; a common regularization in quantum field theory and the appropriate renormalization are needed before comparing them. The zero-point vacuum energies of bosons and fermions have opposite signs, but do not cancel without matching masses and degrees of freedom. Normal ordering removes an additive vacuum constant in nongravitating flat-space theory. Coupling to the metric in general relativity makes that constant contribute to the cosmological constant, so it cannot simply be discarded without a renormalization condition.
For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator are
The Euler-Lagrange field equation is , or . Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:
The Heisenberg equation of motion then gives and , so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.
Resolve the free field into positive- and negative-frequency plane waves. With and ,
Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent to
For example, the two mixed terms in each supply half the Dirac delta function. Thus the normalization is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with and its annihilation operator and creation operator.
Choose the Fock vacuum by . Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yields
where a finite volume can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator is
In particular, and . A one-particle state therefore has positive energy, momentum , and invariant mass . A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.
A momentum eigenstate extends throughout space. A localized particle is described by a superposition such as
Its wave packet evolves through the phase ; a narrow packet has group velocity , whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.
Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,
This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so for spacelike . Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator is
which propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.
Finally, commuting creation operators imply
The multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are with : any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.
The quantized real scalar field describes positive-energy, mass-, spin-zero bosons that are their own antiparticles; commuting creation operators give Bose statistics, and local field commutators enforce microcausality.
For occupation much smaller than , expand the square root in the Holstein–Primakoff transformation. To leading order , and . Consequently
Periodic boundaries count each occupation in two bonds. The linear spin-wave approximation is therefore
The displayed fluctuation Hamiltonian is bilinear and conserves boson number. The omitted terms are magnon interactions, quartic at the first omitted order. With occupation held of order one, they are smaller by than the order- quadratic terms. The polarized vacuum has no zero-point depletion in this ferromagnetic expansion.
Set . Work on the strip in conformal gauge, with worldsheet signature and target signature . In light-cone gauge in string theory, the independent fields are the transverse coordinates. Put the Neumann boundary condition at and the Dirichlet boundary condition at ; reversing the endpoints exchanges cosine and sine modes without changing the spectrum. The fixed endpoint is .
Varying the transverse Polyakov action gives and the spatial boundary contribution . At the free endpoint this vanishes precisely when ; at the fixed endpoint . Separation of variables then gives with , hence , . These are Neumann-Dirichlet open-string boundary conditions. No dynamical transverse worldsheet zero mode survives: a constant solution must equal the prescribed , and a linear-in- solution violates the free-end condition.
Write . The orthogonality relation reduces the action to independent harmonic oscillators:
The canonical commutation relations determine normalized annihilation operators at
Thus . These formulas derive the quantization from the action rather than import integer-moded open-string rules.
For the usual phased string oscillators, set and for . Then the half-integer open-string oscillator expansion and algebra are
The corresponding field momentum density is . Completeness of the mixed-boundary eigenfunctions gives , where . This is a distribution identity on the mixed-boundary function space, not an unrestricted value at a fixed endpoint with a Dirichlet boundary condition.
Classically, the transverse Virasoro algebra zero-mode generator is
There is no transverse momentum term. If the two light-cone directions are common directions with Neumann boundary conditions, the full zero-mode constraint adds : . This assumption about the longitudinal directions is needed to interpret oscillator levels as target-space masses.
Quantizing the symmetrically ordered transverse generator gives , where the string level operator is . Each harmonic oscillator contributes to the vacuum energy. Use zeta function regularization and the Riemann zeta function with the actual half-integer spectrum:
Consequently the Neumann-Dirichlet string zero-point energy is
In the common convention , the normal-ordering constant of a string is . This positive shift differs from the vacuum energy of 24 integer-moded transverse bosons. The difference between those two vacuum energies is . To distinguish zero-mode conventions, the ND twist conformal weight is per transverse boson. With 24 bosons, the plane matter generator is ; its physical open-string condition is exactly the strip/light-cone constraint used here. The transverse plane and strip constants differ by the central charge shift . A common exponential frequency cutoff independently gives , confirming the finite part and avoiding invalid termwise manipulation of divergent sums.
Let . The lowest levels of a fully transverse ND bosonic string are
The third level has two excitations; there is no oscillator. Its indices are symmetric because the creation operators commute. With and the common longitudinal momentum convention, the rest energies and masses obey
At fixed positive the corresponding light-cone energies are ; the table lists excitation levels, not a spectrum that remains discrete if longitudinal momentum is varied continuously.
The surviving transverse rotations form . The ground state is a scalar, the next level its vector, and the third level the symmetric square of the vector. Separating its trace gives
The trace state is proportional to ; subtracting this trace gives the 299-dimensional symmetric traceless square.
There is a qualification to the printed “little group”. The little group with mixed string boundary conditions must preserve the endpoints as well as momentum. These boundary conditions break the full 26-dimensional Lorentz group, so the massive states above cannot be classified as representations of the unbroken 26-dimensional massive little group . In a D1–D25 realization the common worldvolume has Lorentz group and trivial connected massive little group; acts on the ND coordinates as an internal rotation group. The scalar, vector and symmetric trace-free decomposition is under the surviving transverse SO(24), with this boundary-background qualification.
A Majorana spinor equals its charge conjugation, , with conventional phase choices absorbed into . The two-component worldsheet Majorana fermion therefore has no independent complex conjugate components; in a Majorana representation its components can be real Grassmann variables. The same condition applies to the constant supersymmetry parameter. Grassmann statistics matter in the variation: replacing the spinors by commuting numerical vectors would give the wrong bilinear interchange signs.
The displayed rigid transformation is understood in flat conformal gauge. Take , , and choose
Here is a valid invariant charge-conjugation form: and . These concrete matrices make all signs checkable; equivalent Majorana conventions give the same result with their consistently transformed bars.
Let and , so . Suppressing the common factor in the action, the flat kinetic density is
The rigid variations have and . The supersymmetry variation is even, so its product rule has no extra graded sign. From the Majorana Grassmann bilinear interchange identities,
For example the last identity follows by moving the Grassmann-odd parameter through , then using and the transpose relations twice. No equation of motion has been used.
The two kinetic variations are
The Clifford algebra turns the first fermionic term plus the bosonic variation into . In the second term, commute the partial derivatives and use the same algebra: the antisymmetric gamma product drops out, leaving . Together they are precisely the rigid worldsheet supersymmetry boundary term:
Therefore . It vanishes on a closed or periodic worldsheet, for compactly supported changes, or under compatible supersymmetric endpoint conditions. The local total-derivative identity is off shell; the boundary assumptions are needed to call the integrated action invariant.
The flat-gauge qualification is substantive. On an arbitrary curved worldsheet, spinors need a zweibein and spin connection and a constant spinor parameter need not exist. A fully covariant locally supersymmetric action also involves the worldsheet gravitino; the isolated ordinary-derivative expression does not prove rigid invariance for arbitrary . We have proved the intended rigid symmetry of its flat gauge-fixed action, with the fermionic term inside the same integral and overall normalization. If the displayed last term were read as outside the integral, it would not even define an action.
For phenomenology, bosonic string theory has no spacetime fermions and its usual vacuum contains a tachyon. The spinning string has a Ramond sector, whose fermionic zero modes form a spacetime Clifford algebra and give spacetime spinor states, as well as a Neveu–Schwarz sector. In suitable consistent theories the GSO projection removes the tachyonic NS ground state and keeps the appropriate Ramond chirality. The critical dimension of the RNS superstring is 10 rather than 26: bosons and real fermions have matter central charge per chiral sector, while the reparameterization and superconformal ghosts contribute , so the total anomaly cancels at .
Suitable GSO-projected superstrings admit spacetime fermions and a tachyon-free spectrum, making them more promising for particle physics than the bosonic string. Rigid worldsheet supersymmetry alone does not establish a tachyon-free spacetime theory or realistic phenomenology. The projection, consistent sectors and compactification in string theory are additional input; spacetime supersymmetry and a realistic four-dimensional spectrum are not automatic consequences of this classical action.
Fix a positive-mass unitary irreducible representation at rest, with . Use the central charge in supersymmetry convention
The conjugate relation is , with the dotted epsilon tensor the conjugate of the undotted one. The supercharges commute with and the central charges. Their Lorentz transformation is that of a Weyl spinor; together with the ordinary Poincare algebra, these relations specify the Super-Poincaré algebra. Take and write . This makes the normalization of the mass bound explicit: a convention that writes instead has .
When , define four fermionic annihilation operators and their fermionic creation operators by
In the rest frame they obey the canonical anticommutation relations and . Choose a spin-zero Clifford vacuum annihilated by all four . Acting with each distinct creator at most once constructs the fermionic Fock space
The five levels have the binomial coefficient multiplicities , so the massive supermultiplet contains states. The four creators are two copies of the spin-one-half SU(2) representation. Their second exterior power is
Here the first factor carries physical spin and the second counts the two supersymmetries. Thus level two contains one spin-one triplet and three spin-zero singlets; levels one and three each contain two spin-one-half doublets. The final spin content is
Even levels give eight boson states and odd levels eight fermion states, exhibiting boson-fermion degeneracy in a supermultiplet.
For nonzero , pair the two supersymmetries before normalizing. Define
The rest-frame algebra gives and consequently
For , divide by to recover four normalized oscillators. Positivity of the Hilbert space norm proves the BPS bound in supersymmetry, since
Therefore
For a BPS state saturating this bound, both and their adjoints annihilate every state of the representation. Four of the eight real supercharges act trivially. Only the two oscillators remain, so a scalar Clifford vacuum gives a shortened massive supermultiplet with two spin-zero states and one spin-one-half doublet:
This is the irreducible count at fixed central charge. A CPT completion of a supermultiplet can require the charge-conjugate multiplet as well, doubling it to eight states; the full hypermultiplet count must not be confused with this four-state count. Saturation is a representation-theoretic relation between mass and conserved charge: shortening persists while the state remains BPS, although its existence can change across parameter space.
For even , unitary skew-diagonalization of an antisymmetric matrix brings the central-charge matrix to blocks , . Repeat the oscillator construction separately for each block. Every block supplies two oscillators with norm and two with norm , giving
If blocks saturate, complex oscillators disappear, leaving . Starting with spin , the irreducible state count and preserved fraction are
The largest massive shortening, , preserves one-half. The ordinary massive representation has . This rest-frame discussion excludes , where the massless supermultiplet construction uses a null momentum instead.
Work in four-dimensional Minkowski spacetime, with in a unitary representation. The usual Super-Poincaré algebra has the Poincare algebra and possible internal Lorentz scalars as its even generators, and only the stated Weyl spinors as its odd generators. This closure assumption is essential: Lorentz covariance alone would also permit additional tensor-valued generators. It is the setting selected by the Haag–Łopuszański–Sohnius theorem for ordinary interacting relativistic theories.
The Spinor representation of the Lorentz group gives
Here denotes the Lorentz algebra matrices in the convention of the paper. Moving to the left changes the sign; definitions using Hermitian Lorentz algebra generators may also put an explicit into these matrices. The conjugate relation acts on the dotted Weyl spinor indices.
The tensor product of group representations
is a Lorentz four-vector. The only such even generator is , so the mixed anticommutator must be
Applying Hermitian conjugation makes a Hermitian matrix. Positivity of for every linear combination of supercharges makes a positive semidefinite matrix on a positive-energy physical superalgebra representation. Remove any null supercharges, which act trivially, and use a unitary diagonalization of a normal matrix followed by rescaling to obtain . Thus counts the independent nontrivial supercharges.
For equal chirality, the tensor product of group representations is
Consequently the tentative equal-chirality anticommutator can contain and a symmetric spinor tensor , where is the intertwining operator for Lorentz covariance onto . Symmetry of the anticommutator under forces and . At this stage is an internal Lorentz scalar, hence commutes with ; its full centrality will follow below.
To determine the commutator with translations, Lorentz covariance and the absence of additional odd generators leave only
and the relation obtained by Hermitian conjugation. The graded Jacobi identity for , using , gives
where means entrywise complex conjugation. This equation alone would not imply . Contract the graded Jacobi identity
with . The term drops out because its spinor tensor is symmetric, and makes the remaining left side vanish. Substitution of the mixed anticommutator makes the right side a nonzero numerical multiple of . Thus . It follows that and , whence . Applying Hermitian conjugation proves the same assertion for :
Returning to the uncontracted graded Jacobi identity now gives . Since the Lorentz algebra generators do not commute with translations, the tentative term must have . Hence
In particular for . The dotted-dotted anticommutator follows by Hermitian conjugation applied to the second relation.
The graded Jacobi identity for , together with , gives . As a Lorentz scalar, commutes with , and it already commutes with . Closure and Lorentz covariance make for some coefficients. Apply the graded Jacobi identity once more:
Thus . Since every and is itself an anticommutator of supercharges, the 's also commute with each other and their conjugates. Therefore are central charges in supersymmetry of the displayed algebra. Additional R-symmetry automorphisms are not among the generators specified here.
For boson-fermion degeneracy in a supermultiplet, fix a physical four-momentum with , and take the finite internal space of states at that four-momentum. Let be fermion parity. It anticommutes with each supercharge and its adjoint. For any fixed , summing the diagonal spinor indices gives
because and the Pauli matrices are traceless. Cyclicity of the operator trace and imply
The supertrace of the preceding summed anticommutator therefore vanishes:
This counts physical boson and fermion degrees of freedom, including polarizations. The phrase “any representation” needs a qualification: a one-dimensional even supersymmetric vacuum with has one boson and no fermion. Thus the equality applies to positive-energy physical supermultiplets with finite state counts at fixed four-momentum, not to arbitrary abstract superalgebra representations or unregulated infinite-dimensional operator traces.
Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices give
For every and every state ,
Positivity therefore gives on this massless supermultiplet. The equal-chirality anticommutator then shows that every central charge in supersymmetry vanishes on this superalgebra representation.
Normalize the remaining supercharges as fermionic raising and lowering operators:
They obey the canonical anticommutation relations
Choose a Clifford vacuum of helicity annihilated by every . Such a vector exists because the commuting fermion number operators have eigenvalues and , and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states are
The canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention , its adjoint has . Thus the Clifford vacuum is the highest-helicity state and
Reversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level- states form the exterior power , which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:
Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain states, so a physical massless supermultiplet has boson and fermion states.
These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity to and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second -state supermultiplet, with highest helicity . A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is ; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.
For the conventional bounds on extended supersymmetry, suppose all massless states satisfy . The helicity spectrum of a massless supermultiplet occupies an interval of width , whereas the available interval has width . Hence
An ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting gives for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing gives
for its supersymmetric vector multiplet.
Allowing gravity permits , so for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with :
It has states, boson and fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.
Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities can carry a complex gauge group representation . Its CPT completion of a supermultiplet supplies the right-handed antiparticle in , as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in . Consequently a chiral gauge spectrum is possible.
For , the matter hypermultiplet has helicities before internal charge conjugation. If it carries a complex gauge group representation , its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two chiral superfields, one in and one in . These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every algebra contains an subalgebra, the same obstruction applies to greater extended supersymmetry.
Therefore a conventional chiral gauge spectrum is possible only for or . Here means no supersymmetry; among theories with actual supersymmetry, only qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.
Use the canonical Kähler potential and normalize superspace integration by . The superspace Lagrangian density is
The full superspace integration produces a D-term, while the chiral superfield integral produces an F-term. Work in chiral coordinates for the chiral-superfield component expansion, so the omitted spacetime-derivative terms do not enter the extraction of .
Set . A Taylor expansion of the superpotential gives
Higher terms vanish because there are only two Grassmann variables . With and , their anticommutation gives . Thus
The canonical Kähler potential contributes . Consequently the part of the Lagrangian density containing the auxiliary field is
The fermion terms coming from the superpotential are
The Weyl spinor kinetic term and the complex scalar field kinetic term are canonical because .
Treat and as independent variables in their algebraic Euler-Lagrange equations. They give
Equivalently,
After eliminating the auxiliary field, the Lagrangian density contains , so the F-term scalar potential is
It is nonnegative for arbitrary complex , since it is a modulus squared. A supersymmetric vacuum satisfies F-flatness, so its zeros are:
If and these coincide; if and only the origin remains; if every constant is a supersymmetric vacuum.
To compare masses, expand around a supersymmetric vacuum satisfying , writing . With ,
Writing gives the scalar field mass term ; the Weyl spinor has physical mass . Therefore the supersymmetric mass degeneracy is
In particular, at the boson and fermion masses are both . At the second supersymmetric vacuum the sign of reverses, but the physical mass is again . Equality here concerns fluctuations about a supersymmetric vacuum, not arbitrary backgrounds with .
In the convention and , the same superpotential coefficient gives and . The supersymmetric relation between quartic and Yukawa couplings is therefore
If instead the Yukawa interaction is written , then and the same physical relation is . The numerical factor depends on the definition of the Yukawa coupling.
The perturbative non-renormalization theorem applies to the local holomorphic superpotential in the Wilsonian effective action, using regularization in quantum field theory that preserves supersymmetry. There are two complementary ways to see why it applies here.
First, in supergraph calculations in perturbative quantum field theory, the algebra of supersymmetric covariant derivatives puts any candidate local correction to the superpotential into a full superspace integration. It therefore corrects a D-term, such as the Kähler potential, rather than a local chiral F-term. Turning such a contribution into an apparent chiral integral would require nonlocal inverse spacetime derivatives, schematically . These are excluded from the local Wilsonian effective action with a fixed nonzero momentum cutoff. This gives the diagrammatic non-renormalization theorem.
Second, the holomorphy argument for superpotential non-renormalization treats and as background chiral spurions, so the Wilsonian effective action superpotential is a holomorphic function of , with no dependence on or . Assign an ordinary spurion charge and an R-charge as follows:
The superpotential has ordinary charge zero and R-charge two, since has R-charge minus two. A prospective holomorphic monomial must therefore satisfy
For perturbative corrections, regularity at and requires nonnegative powers of the couplings. Regularity in is justified by keeping a nonzero Wilsonian momentum cutoff and retaining as a light field. Hence only and survive: the existing and structures. The quadratic coefficient is fixed by the free theory at , where there are no interaction loops. The cubic coefficient is fixed at first order in , where a connected three-field interaction has only its tree-level Feynman diagram; loop corrections would require further powers of the interaction couplings, which the holomorphy argument for superpotential non-renormalization charge constraints forbid. Thus
A field-independent constant is physically irrelevant in this rigid model; the spurion charges would in any case require , which is not regular at .
The Kähler potential can still receive wave-function renormalization. For example, gives the canonical field normalization , and consequently
These canonically normalized parameters can run with the renormalization scale; this does not contradict the holomorphic non-renormalization theorem. When massless modes are included in the full quantum effective action, nonlocal terms associated with infrared divergences can also imitate an F-term. Distinguishing that action from the local Wilsonian effective action is part of the theorem's convention.
For each one-particle state , a boson occupation number can be any . Its contribution to the grand canonical partition function is the geometric series
The noninteracting modes factorize, so
Convergence requires . Since the lowest energy is zero, the limiting maximum chemical potential is
A boson is an identical particle whose total multiparticle quantum state is symmetric under exchange of any two particles, whereas a fermion has a total state that is antisymmetric under every exchange. The Spin-statistics theorem associates integer spin with bosons and half-integer spin with fermions.
For three distinguishable spin-one particles, the spin Hilbert space has dimension
Let
be the total angular momentum operator. Since each particle has
we have
The Hamiltonian operator is consequently
On the total-spin sector with quantum number , its energy eigenvalue is
The Clebsch-Gordan decomposition may be performed by first coupling particles and . Their intermediate spin is , and coupling the third spin gives
Thus the three spin-one angular-momentum decomposition contains total spin with multiplicities . Multiplying each multiplicity by the multiplet dimension gives
The degeneracies sum to , as required.
When the particles are indistinguishable, their integer spin makes them bosons. Their common spatial wavefunction is symmetric, so their spin wavefunction must also lie in the symmetric three-spin-one subspace. Its decomposition is
Hence only the and levels remain, now with one copy of each multiplet: