Let be the induced worldvolume metric and write . Varying the embedding in the auxiliary-metric brane action and integrating by parts gives
The boundary contribution, including its relative factor, is
At initial and final times one fixes the endpoint configurations or uses variations of compact support. At a spatial boundary, free target directions require Neumann boundary conditions ; fixed directions require Dirichlet boundary conditions . Mixed conditions must make this boundary pairing vanish. A closed brane has no spatial boundary. Since the auxiliary worldvolume metric enters without derivatives, its variation produces no extra boundary term.
Using , variation of the inverse worldvolume metric gives
Taking the trace yields . For , this forces , and substitution gives . For a nondegenerate timelike embedding, eliminating the auxiliary worldvolume metric therefore gives twice the worldvolume area, with the overall physical brane tension supplied by the action normalization.
For , the traced metric equation is an identity, and the remaining equation only says . It fixes the worldsheet metric up to a Weyl transformation, rather than determining it uniquely. Indeed is Weyl invariant precisely in two worldvolume dimensions, and the constant term vanishes precisely at . This is the Weyl-invariance exception for the string among branes. In a nondegenerate interior it gives the familiar classical equivalence of Polyakov and Nambu–Goto actions; degeneracies at a free string endpoint must be treated through the original equations.
For the open string, choose conformal gauge on . The embedding equation is the wave equation, and NN means at both spatial endpoints. For these operator formulas restore the conventional overall normalization , with ; the overall factor does not change the preceding classical equations. Its open-string mode expansion is
Reality requires . Canonical quantization gives
The metric equation is the vanishing of the worldsheet stress tensor: . The two endpoint-compatible mode expansions contain the same string oscillator family. Their quadratic coefficients are the classical Virasoro constraints.
For the operators, use normal ordering with positive-index string oscillators as annihilators:
Thus has modes before the quantum ordering correction. The physical-state Virasoro conditions for an open string are
One imposes only the positive modes on kets, with the adjoint conditions on bras, as in Gupta-Bleuler quantization. Requiring every positive and negative mode to annihilate the same state would conflict with the Virasoro central extension. The intercept is the zero-mode ordering constant. The standard critical bosonic string theory has and ; in light-cone gauge in string theory the transverse zero-point energy gives , while full anomaly-free Lorentz or BRST quantization fixes the critical values. The mass constraint is then , with .
To compute the Virasoro algebra, commute a quadratic generator with one string oscillator:
These identities and the Jacobi identity imply that commutes with every string oscillator and with the center-of-mass coordinates and momenta. Mode number permits a scalar term only for . Its coefficient follows from the formal zero-momentum Fock vacuum, on which . For ,
The two possible string oscillator contractions give
The timelike target coordinate still contributes one to this central charge: its two metric signs cancel in . Consequently
This is the free-boson Virasoro central term. It vanishes for the three global conformal modes .
To keep the intercept convention separate, define . The Virasoro zero-mode shift changes the displayed central term to
The matter central charge here is , not . Covariant worldsheet ghost fields contribute ; their inclusion cancels the anomaly at , while the intercept is handled by the appropriate zero-mode and physical-state convention.
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.
The ungauge-fixed Polyakov action has worldsheet diffeomorphism and Weyl transformation symmetries. They must survive quantization so that conformal gauge remains a valid gauge choice. In a curved target, the string nonlinear sigma model has a field-dependent coupling . Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.
Restore the Euclidean normalization . Use a covariant background field expansion of a string sigma model, with geodesic fluctuations about a slowly varying embedding. The quadratic fluctuation operator contains the target Riemann curvature tensor coupled to two background embedding derivatives. The ultraviolet coincident propagator is : the kinetic operator supplies , and the two-dimensional momentum integral supplies . Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to . The resulting one-loop metric counterterm gives
The trace of the worldsheet stress tensor contains this coefficient multiplying , together with the curvature anomaly controlled by total central charge. Thus, with zero antisymmetric background, constant dilaton, and the critical matter/ghost system,
The central-charge condition also requires if there is no extra internal conformal theory. This is a leading-order equation: higher-curvature terms enter the beta function at higher orders in , so a Ricci-flat metric alone is not a general all-orders quantum consistency criterion.
To derive the local T-duality, work where the spacelike Killing vector has nonzero norm . Use dimensionless coordinates and units for the duality formulas. The isometry makes the action depend on only through its derivatives. Replace those derivatives by an independent worldsheet one-form , and enforce its flatness with a Lagrange multiplier . With and , the relevant first-order worldsheet duality action is
Varying sets . Locally , recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying gives , or
Substituting into the entire first-order worldsheet duality action, including the multiplier term, gives
The multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rules
The coordinate map is , . The original equation is precisely the integrability condition for ; conversely the original identity becomes the dual equation. Thus this transformation exchanges an equation of motion with the Bianchi identity for an Abelian p-form. It reverses one chiral derivative and preserves the other.
For full closed-string equivalence, the local derivation must include the global data. For a free compact circle isometry, the period of and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius becomes a circle of radius when dimensions are restored. A spacelike Killing field alone does not fix these periods or ensure a free global circle action; the global qualifications of Abelian T-duality are additional to the local field transformation.
At the quantum level integrating out also gives a regulated functional determinant. The Buscher dilaton shift is
in the stated units and conventional Euclidean dilaton normalization. It generates the dilaton curvature coupling even though the original dilaton vanished. The dilaton curvature coupling is defined before fixing conformal gauge; its metric variation improves the worldsheet stress tensor even when the reference worldsheet is flat. As a normalization check, for this block-diagonal background. The local dual metric by itself is therefore only part of the equivalent quantum background.
With a nonconstant dilaton and no antisymmetric field, the leading metric-dilaton Weyl condition is
together with the scalar dilaton anomaly condition. It does not demand separately. The new Ricci tensor can be nonzero while the Hessian of the shifted dilaton compensates it.
For a direct example, take flat polar coordinates away from the origin, with and flat spectator directions. The polar-coordinate T-dual background is
Here
Both metric equations vanish. In critical dimension the scalar equation also holds: . The example is local on ; the circle degenerates at the excluded origin.
Nonzero dual Ricci curvature is consistent because quantum T-duality transforms the dilaton as well as the metric. The displayed curvature equations and classical Buscher rules are interpreted at their stated leading derivative order; higher-order renormalized descriptions require the corresponding corrections and field-redefinition conventions. A constant is a special case in which the dual metric may also remain Ricci-flat.
The fields constitute an RNS string coupled to two-dimensional worldsheet supersymmetry. The zweibein and worldsheet gravitino impose constraints; they do not supply extra propagating string polarizations. Worldsheet diffeomorphisms, local frame rotations and Weyl transformations put the metric locally in conformal gauge, . Local supersymmetry together with super-Weyl symmetry removes the worldsheet gravitino, giving superconformal gauge . On a general closed worldsheet, moduli and spin structures remain and must still be summed or integrated over; gauge fixing is not a declaration that every surface is globally a flat cylinder.
Variation with respect to the metric and worldsheet gravitino before gauge fixing gives the stress-tensor and supercurrent constraints and . The remaining matter consists of free and their worldsheet fermions. In covariant quantization, these become the N=1 super-Virasoro algebra physical-state conditions: positive Virasoro and supercurrent modes annihilate a physical state, , and the R sector also has the zero-mode condition . Null gauge states are quotiented out. Equivalently, physical states are BRST cohomology classes, so BRST-exact operators do not represent additional physical states.
The diffeomorphism ghosts have central charge , while the bosonic superconformal ghosts have charge . Matter contributes . Therefore quantum gauge consistency requires
This is the critical dimension of the RNS superstring. In light-cone gauge in string theory, choose nonzero , make linear in worldsheet time and set . The stress-tensor and supercurrent constraints solve for the longitudinal and oscillators. Only eight transverse bosons and eight transverse fermions remain, with positive norm. This explicitly eliminates the time-like and longitudinal unphysical states.
In a chiral sector the fermions have half-integral modes in the NS sector and integral modes in the R sector. The normal-ordering constant of a string is and . The GSO projection retains odd fermion-excitation parity in the NS sector, removing its tachyonic vacuum. In the R sector it keeps one chirality of the zero-mode spinor, with oscillator parity included in the projection. The Ramond zero-mode Clifford algebra then leaves eight ground-state polarizations in light-cone gauge in string theory.
Worldsheet supersymmetry alone does not imply spacetime supersymmetry. The GSO projection makes the spinorial worldsheet currents mutually local with the retained vertex operators and pairs their NS and R states. More explicitly, let be an RNS spin field and the bosonized superghost scalar. The spacetime supercharges are generated by
and similarly in the other chiral sector. The spin field has conformal weight , and its superghost factor has weight , so the current has weight one. Its operator products generate the spacetime translation operator; schematically . This is the spacetime supercharge from an RNS spin field. For type IIA superstring theory, the left and right Ramond projections select opposite ten-dimensional Majorana-Weyl chiralities, giving 32 real supercharges and a nonchiral spacetime theory.
The massless physical states are best counted with the transverse little group . Choose the left Ramond ground representation and the right one . Then
The NS-NS sector supplies the graviton, Kalb–Ramond field and dilaton, with , and polarizations. The RR sector supplies a one-form potential and a three-form potential, with and polarizations. The mixed sectors supply two gravitinos of opposite chirality, each with polarizations, and two dilatinos, each with . Covariantly the dilatino has chirality opposite to its corresponding supersymmetry parameter; the two chirality sets are both present. Thus the massless type IIA spectrum has
These fields form the massless type IIA supergravity multiplet.
For the first massive level of a chiral RNS sector, restore through
The first positive value is one. The NS states therefore have level . A complete transverse basis after GSO projection is
All contain odd fermion-excitation parity. Their respective dimensions are , and , so the NS count is . These are the first massive GSO-projected Neveu–Schwarz states. The middle family decomposes into . Together the families assemble into the massive representations : a symmetric traceless rank-two tensor and a three-form, since and .
In the R sector, the first massive level is . If the retained right-moving ground spinor is , its two families are
The Ramond spinors have opposite zero-mode chiralities in these two families: inserting one fermionic oscillator reverses the oscillator contribution to the GSO condition, so the second family must use the opposite zero-mode chirality. Each family has states. Hence
These first massive GSO-projected Ramond states form the gamma-traceless vector-spinor representation of , of dimension . Its transverse branching is . The right-moving sector therefore contains bosons and fermions, a massive chiral superstring supersymmetry multiplet.
For the closed string, closed-string level matching requires the left and right shifted levels to agree. Both chiral sectors at this first massive mass have NS states and R states. The bosons lie in the NS-NS sector and RR sector, while the mixed sectors are fermionic. Consequently
Their total is . A massive ten-dimensional state with 32 real supercharges and no central charges has sixteen fermionic creation operators in its rest-frame supersymmetry algebra, giving a long multiplet of this size. Thus the chiral equality, the four closed sectors and level matching are consistent with the first massive type IIA long supermultiplet, rather than merely matching an isolated number of right-moving states.
Independent metric and Hamiltonian parametrization. The Lorentzian Polyakov action is
The worldsheet metric is independent of the embedding. Its equation sets the traceless worldsheet stress tensor to zero, making the metric locally conformal to the induced worldsheet metric; substitution recovers the Nambu–Goto action. Eliminating momentum in the Nambu-Goto phase-space action instead gives . On the positive-lapse branch, choose the independent metric, up to a positive Weyl transformation, as
Its determinant is . Multiplication by recovers the reduced density, including the mixed term . This proves the phase-space identification of the Polyakov metric.
Conformal gauge and residual coordinate freedom. In the Hamiltonian formulation, conformal gauge is . The equations become , while and remain as constraints. In the metric formulation, conformal gauge is , or simply after fixing Weyl invariance. The metric parametrization proves these choices equivalent. Gauge-fixing the metric does not discard the Virasoro constraints.
With , independent reparameterizations multiply the flat metric by a conformal factor. A compensating Weyl transformation restores its chosen representative. Infinitesimally the Conformal Killing equation is . These are the residual conformal transformations of two-dimensional Minkowski spacetime, with the periodicity conditions appropriate to a closed string.
Ghost determinant and anomaly. For gauge conditions , the Faddeev-Popov determinant is the determinant of the linearized variation
Insert this determinant in the gauge-fixed path integral and exponentiate it with anticommuting ghosts and antighosts: the additional action is proportional to . In metric gauge fixing, the trace is removed by Weyl invariance, and a worldsheet diffeomorphism changes the trace-free metric through
Consequently is a vector ghost and a symmetric trace-free antighost. A conventional normalization of the worldsheet ghost action is
A rescaling of the antighost changes only this overall kinetic normalization. In conformal gauge, after normalizing the chiral fields, the kinetic terms are
The closed-string ghosts are periodic, with independent left and right systems. Their conformal weights are for and for , so the supplied bc ghost system expression gives . Each free embedding boson has central charge one per chirality. Hence
This central charge of reparameterization ghosts cancels the string conformal anomaly in each chirality separately. Having two sectors does not double the required target dimension.
Channel variables, poles and the vector state. With particles 1,2 incoming and 3,4 outgoing, the Mandelstam variables are and . They measure squared center-of-mass energy and momentum transfer. In the specified units , the external tachyon mass squared is , so .
The Gamma function residue at is . At , its argument varies with the opposite sign to . The Gamma function recurrence gives
Thus the Veneziano amplitude pole residues are
For generic fixed the simple poles are . A zero of the residue product at an exceptional negative integer makes the corresponding pole removable. Fixed must be away from its own channel poles; fixing it at a channel singularity does not give an ordinary finite meromorphic function of .
At , the residue is . This is proportional to , the contraction of conserved scalar-pair vector currents. Each current is orthogonal to the exchanged momentum because the external masses in its pair are equal. Alternatively, with scattering-angle cosine , one has ; at this pole , a pure spin-one angular dependence. Therefore
The massless vector pole of the Veneziano amplitude is the massless open-string vector seen in the two-tachyon exchange channel.
Set and take the closed-string spatial coordinate periodic with period . One convenient Lorentzian convention for the conformal gauge action is
The two anticommuting bc ghost systems are the Faddeev-Popov ghosts of the worldsheet metric gauge fixing. Their fields have conformal weights and . Ghost normalizations can be rescaled without changing the algebra. After a Wick rotation the two terms become the familiar holomorphic and antiholomorphic and actions.
Let and include both matter and ghost contributions. With the conventional plane normalization of the zero mode, their Virasoro algebra is
Each free coordinate boson contributes central charge , including the timelike coordinate after the usual analytic continuation. The weight- bc ghost system contributes in each chiral sector. Thus the total central charge is .
The Virasoro constraints originate in a gauge symmetry. A nonzero central term is a quantum obstruction to realizing that gauge symmetry without an anomaly; equivalently, the BRST charge fails to be nilpotent. Cancellation of the worldsheet Weyl anomaly therefore requires
This is the critical dimension of the bosonic string. The accompanying physical-state normal-ordering condition gives the usual matter intercept in each sector. A shift of the zero-mode convention changes the linear term in the central polynomial, but cannot change the required cancellation of its cubic coefficient.
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.
The conformal condition is a quantum worldsheet Weyl anomaly cancellation, not the classical metric equation of the Polyakov action. Assume a smooth target metric, no antisymmetric background field, and curvature/gradient scales large compared with . Use and , consistent with the Ricci-scalar Weyl transformation in the hint.
A sign convention in the printed action must be made explicit. With worldsheet signature , continuation and sends its negative kinetic term to a positive Euclidean kinetic term, while its positive Lorentzian curvature coupling becomes a negative Euclidean curvature coupling. Define the conventional Euclidean dilaton by for this literal action. Then . The Lorentzian dilaton coupling sign convention is therefore important: a convention with a negative Lorentzian curvature coupling would instead use and reverse every term linear in the printed below.
For completeness, the metric part of the one-loop calculation can be obtained by a geodesic background field expansion of a string sigma model. Write . Its quadratic Euclidean action contains
Here . In dimension , the ultraviolet coincident contraction has pole with an infrared regulator. Contracting the curvature term gives a divergence . It is cancelled by the metric counterterm , giving the one-loop sigma-model beta function before the dilaton improvement. Equivalently its local Euclidean Weyl variation is , with terms proportional to the embedding equations understood as field redefinitions.
Set in the supplied curvature transformation. On a closed string worldsheet, integration by parts gives
The chain rule and leading string embedding map equation imply
The kinetic embedding equation suffices for extracting the leading metric coefficient. More precisely, the full Euclidean embedding equation makes the parenthesis , giving a curvature contribution to the Weyl variation. This contributes to the scalar coefficient below rather than to the leading metric tensor coefficient. Combining the curvature counterterm anomaly with this variation gives the leading metric-dilaton Weyl condition:
This is the gravitational equation in the string frame, rather than an ordinary Einstein equation with a minimally coupled scalar. In terms of the field and signs literally printed in this Lorentzian action it reads
The frequently used is obtained if the printed is identified with the conventional Euclidean dilaton, which requires the opposite Lorentzian curvature-coupling sign. Both conventions describe the same mathematics after , but one cannot change only the field equation silently. Also, vanishing of this tensor coefficient is the metric part of Weyl invariance; the dilaton curvature coefficient and central-charge condition remain to be checked.
Now derive the scalar consequence without presupposing its integration constant. The contracted Bianchi identity gives . The Ricci identity applied to the gradient of a scalar gives
Diverging the metric equation and then substituting yields
Thus the bracket is constant on each connected target component. Its trace equation is , so the dilaton equation from contracted Bianchi identity becomes
The second equation uses the literal printed sign convention. These are nonlinear scalar wave equations analogous to the Klein-Gordon equation. For the exponentiated dilaton wave equation, put ; differentiating twice gives
Here is the Lorentzian Laplace-Beltrami operator, and is a Lorentzian contraction, not necessarily nonnegative.
The Bianchi and Ricci identities alone do not imply . The linear dilaton counterexample to zero integration constant is flat target space with : the tensor equation holds for every constant , while . A non-null disproves any deduction of the zero-constant scalar equation from that tensor equation alone.
The leading dilaton Weyl anomaly coefficient is obtained as follows. The matter and reparameterization-ghost central charges give the constant . Expanding the curvature coupling along the same geodesic fluctuation gives the quadratic term ; its coincident contraction is cancelled by , giving the term . The full embedding-equation contribution identified above supplies . Therefore full leading-order bosonic-string Weyl invariance also requires
It fixes . Hence in the critical theory, or under boundary conditions making the constant vanish,
This explains precisely the extra input needed for a zero-mass Klein-Gordon-type equation. In noncritical dimension the corresponding equation has the central-charge-deficit constant, subject to the usual controlled-background assumptions.
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.
For covariant quantization of the bosonic string,
All other commutators between independent canonical variables vanish. The covariant Fock vacuum obeys for every and every . Normal ordering moves these annihilating string oscillators to the right and gives
Then . Its commutator grades a Fock state basis by , although its inner product is indefinite because of the timelike oscillator.
The quantum Virasoro algebra has central charge :
The Virasoro central extension comes from commutators needed to order infinite oscillator sums; it is a quantum effect absent from the classical Poisson brackets. Replacing a classical Poisson bracket by a commutator cannot recover that term without a regularized ordering calculation.
If a state were annihilated by every nonzero , the commutator would imply . The commutator would then imply . For , only the zero vector is annihilated by all nonzero Virasoro constraints. This explains why only positive modes annihilate a physical string state.
The vacuum is a physical string state when . At level one all states have the form . Since , the positive-mode Virasoro constraints give
Thus the complete level-one conditions and norm are
with the common vacuum normalization suppressed.
For , choose spacelike momentum , . A purely timelike polarization has and norm . Hence a negative-norm physical string state exists when .
For , the mass-shell condition gives . In a rest frame, forces , leaving positive-norm vector-particle polarizations, those of a massive vector.
For and nonzero null momentum, leaves a null direction . The corresponding null string state is . It is orthogonal to every physical string state because annihilates them. Quotienting by this gauge redundancy, , leaves positive vector-particle polarizations. Thus the level-one spectrum agrees with light-cone gauge in string theory at . This level-one argument alone does not establish consistency or absence of negative norms at all higher levels.
Use the classically equivalent Polyakov action, fix worldsheet diffeomorphisms and Weyl invariance, and perform a Wick rotation of the string worldsheet. In complex coordinates, the worldsheet ghost action for the closed string is
The worldsheet ghost fields are anticommuting. Their conformal weights are , and , . The two chiral sectors are counted separately.
In either chiral sector, each embedding coordinate is a free boson conformal field theory with central charge one. For the bc system, putting in gives . Cancellation of the worldsheet Weyl anomaly requires
The antiholomorphic sector gives the same equation, rather than doubling the required critical dimension of string theory. This dimension count assumes flat target spacetime with just the embedding fields; more general internal conformal field theories change the matter accounting.
For the spinning string, the worldsheet Majorana fermions have conformal weight . At , the complex anticommuting bc system has ; a real Majorana spinor contributes half of this. Hence real worldsheet Majorana fermions contribute per chiral sector. Ramond sector versus Neveu–Schwarz sector changes their mode numbers and vacuum energies, not this local central charge.
The additional local worldsheet supersymmetry has a fermionic gauge parameter, so its superconformal ghosts are commuting fields forming a beta-gamma system, with conformal weights and in the holomorphic sector. Commuting statistics reverse the sign of the bc system formula, giving
Together with the reparameterization worldsheet ghost fields, their total central charge is . Thus
These cancellations make the string worldsheet gauge symmetries compatible with quantization; in the BRST symmetry formulation they enter the nilpotence condition for the BRST operator.
The holomorphic part of the free-boson worldsheet propagator gives
Apply Wick theorem to . The two double contractions give , while the single contractions reconstruct and its derivative. Thus the stress-tensor operator-product expansion is
and the embedding coordinates have central charge .
The holomorphic stress-energy tensor generates an infinitesimal conformal transformation through
Taking the three residues gives
The third derivative is the anomalous term that prevents from transforming as an ordinary weight-two Virasoro primary operator.
With Virasoro algebra modes , a second contour calculation gives
so . This Virasoro central extension is the quantum conformal anomaly. In string theory the matter and ghost contributions must cancel; gives the critical dimension of string theory and makes the BRST operator nilpotent.
The free embedding scalars contribute . The ordinary diffeomorphism ghosts contribute . The fermionic pair has and contributes . Each of the fermionic pairs has and contributes . Each bosonic pair has and contributes , and there are two such pairs. The total holomorphic central charge is therefore
Cancellation of the worldsheet Weyl anomaly requires , so
The antiholomorphic sector gives the same condition.
Differentiating gives the contractions needed for Wick theorem. The free-boson part of supplies , corresponding to central charge one. The cross-contractions between and produce the required lower poles but no fourth-order scalar term. Finally,
so the product of the two improvement terms contributes . Matching this with in the stress-tensor operator-product expansion gives the linear dilaton conformal field theory
Take embedding coordinates and give one coordinate the background charge . The remaining free bosons contribute , while the distinguished coordinate contributes , so the matter central charge is
The worldsheet ghosts contributes . Cancellation of the worldsheet Weyl anomaly therefore requires
which is real for and produces a noncritical bosonic string.
In target-space language the dilaton is linear in this coordinate, so the local string coupling changes exponentially. One end of the target direction is weakly coupled and the other is strongly coupled. Consequently string perturbation theory is trustworthy only in the weak-coupling region, rather than throughout the full background.
The holomorphic free boson contributes central charge , while one real chiral free fermion contributes . Equivalently, the double contractions in give
Since the fourth-order coefficient is ,