Use a mostly-plus target metric tensor and the standard open-string mode expansion convention . The integer string oscillator level is , whose eigenvalues are nonnegative integers. Then , so the string mass-shell condition gives
The ground state is a tachyon, and the level-one state is massless. The physical string state conditions in old covariant string quantization are
Only the positive-mode Virasoro constraints annihilate a ket; their negative-mode partners annihilate the corresponding bra. Imposing both signs on every ket would contradict the nonzero Virasoro central extension.
The central charge comes from normal ordering the quadratic oscillator expressions. Classically their Poisson brackets have no central term. Quantum mechanically, moving annihilation operators through creation operators produces double contractions. From the oscillator commutator one obtains , which gives the noncentral part .
The coefficient is fixed by the free-boson Virasoro central term. On a formal zero-momentum vacuum, for ,
The two contraction pairings give
Here ; the time coordinate contributes one, just as each spatial coordinate does. Comparing with the Virasoro algebra proves
This counts covariant target coordinates. It is distinct from the physical transverse polarizations. Including the central charge of reparameterization ghosts gives ; cancellation of the worldsheet Weyl anomaly gives the usual critical dimension of the bosonic string .
A general level-one state is
The zero-mode constraint requires . Since , the remaining nontrivial positive-mode constraint is ; all with act trivially at this level. Thus the polarization vector is transverse to a nonzero null momentum.
There is also a null string state . It is physical when and orthogonal to every physical polarization. The null-state quotient of a string therefore identifies
Choose . Transversality sets , and the null-state identification removes this common component. The remaining spatial components have positive norm. Hence the physical level-one states form a massless vector with polarizations, or 24 at the critical dimension. The removed component is gauge redundancy. States violating the constraints, including independent timelike negative-norm polarizations, are unphysical; physical null states are removed by the quotient rather than counted as additional particles.
The Polyakov action has independent worldsheet metric and embedding fields . Varying the metric before imposing a gauge gives
Worldsheet diffeomorphisms and Weyl transformations allow conformal gauge locally. The Weyl factor then cancels out of the classical action, leaving
These are free two-dimensional scalar fields, but the surviving metric equations require
Equivalently, and . Gauge fixing does not license dropping these Virasoro constraints.
For an ordinary open string, the boundary conditions relate the two chiral sectors. With , their independent Fourier generators are
The classical oscillator Poisson brackets give the classical Virasoro constraint algebra
Thus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses . The oscillator commutator gives
For example, for the extra vacuum term is . This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is ; the worldsheet ghost fields have charge . Quantum consistency sets and the string intercept to one.
In old covariant string quantization the physical-state Virasoro conditions for an open string are
Physical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.
At , the oscillator vacuum is a single spacetime scalar field with : the bosonic tachyon. At , write . The zero-mode equation gives , and gives . The null descendant identifies . This leaves 24 physical polarizations of a massless gauge vector.
At , use the level-two open-string polarization decomposition
The mass is . The oscillator commutators give all the nontrivial positive-mode conditions:
Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states , with , shift
The additional level-two scalar Virasoro null state shifts
Substitution into the two physical equations verifies the null-state conditions; the second residual is . Because is timelike, these null shifts span all components of , so choose a representative with . The physical conditions then say and . In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with polarizations. The light-cone basis independently gives states and symmetric states . Hence
For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature and use
Take and the constant parameter to be real Grassmann-odd Majorana components, with . Put . Apart from the common factor , the combined Lagrangian is
The rigid transformations can be written
or, in components,
For the part, the bosonic variation is , while the fermionic variation is . Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetry
Thus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on its commutator for parameters is the translation
On the same translation follows using and ; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.
The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ,
The free-field contractions give and conformal weight for , where . Consequently the modes obey the N=1 super-Virasoro algebra
Dropping the central terms gives the classical graded constraint algebra. Integer gives the Ramond sector; half-integer gives the Neveu–Schwarz sector. In the displayed conformal-plane convention in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square .
Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains . The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are , so cancellation with gives the critical dimension of the RNS superstring ; the NS and Ramond intercepts are respectively and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.
Use and keep each constant odd supersymmetry parameter on the left. The transformation of a fermion may be written or , since the bosonic derivative commutes with the parameter. The variation itself is even, so it obeys the ordinary product rule; the signs below arise when moving an odd parameter past an odd field.
First consider the transformation. Suppress target indices and put . Its bosonic part varies as
For the first fermion, moving to the left gives
The second fermion does not vary under . Since , these terms combine to . The other parameter gives the same cancellation with and . Therefore
This proves worldsheet supersymmetry invariance up to the rigid worldsheet supersymmetry boundary term, without using field equations.
For an open string, the boundary term is part of the invariance statement. For example, a Neumann endpoint has and compatible fermion gluing , . The spatial boundary flux vanishes when . Both endpoints must admit the same preserved parameter. Opposite gluing signs, giving the Neveu–Schwarz sector, do not preserve a nonzero constant parameter at both ends. Thus the local bulk identity and the existence of a global rigid charge on a particular open-string sector are distinct. The local superconformal symmetry remains the basis of the string constraints; this is consistent with the spin-structure obstruction to constant worldsheet supersymmetry.
Now write and , . The other two components vanish. The action implies , and , so these supercurrents are chiral and conserved locally. At equal time, the given canonical commutation relations imply
With , contraction with this commutator gives
The parameter-weighted charge is even. Since the parameters anticommute with the fermions,
Using the PDF's normalization yields
Thus the charge generates all the specified supersymmetry transformations. Dropping the factor in the fermion anticommutator, as happens in the converted TeX, would fail this check. The original PDF has the correct factor.
To calculate the supercurrent bracket, put and . The equal-time bosonic relations give
Bosonic and fermionic fields commute. Expanding the two current products, commuting the bosonic factors once and using the fermion anticommutator gives the noncentral part
For an ordinary smooth bilocal coefficient, the distributional derivative identity is
For the fermion bilinear, its coincident classical value, or its coincident normal-ordered value, is zero by antisymmetry against the symmetric target metric. The second term is . Since , we have . It follows that the noncentral current bracket is
This is the canonical supercurrent bracket of free RNS matter. The other chirality similarly gives and on shell.
The printed current identity is the classical, or noncentral, part of the algebra. Fully quantized coincident products require normal ordering; the matter algebra then also has a central contact term proportional to in the current anticommutator. The 10 bosons and 10 real fermions contribute matter central charge . The central term cannot be discarded in a literal quantum operator identity, although it is irrelevant to identifying the local noncentral stress tensor above.
The other brackets close on these same currents. The stress-tensor commutator contains and and, quantum mechanically, a central term. The stress-tensor–supercurrent commutator contains and , expressing the conformal weight of . The supercurrent anticommutator contains and its central term. In a conventional normalization of Fourier modes these form the N=1 super-Virasoro algebra:
Here and are central terms supported at zero total mode number; their detailed coefficients are not needed for this request. The indices are half-integers in the Neveu–Schwarz sector and integers in the Ramond sector. Opposite chiralities commute or anticommute as appropriate.
For the closed RNS string, impose a copy of the constraints in each chirality. In the Neveu–Schwarz sector, the physical conditions are
In the Ramond sector, use vacuum-normal-ordered generators with zero Ramond intercept. Then
The Ramond zero-mode equation is essential: its square gives the mass-shell condition in this convention, , and on the oscillator ground sector it is the spacetime Dirac constraint. In a convention whose unshifted plane generator has , the zero-mode equation instead sets that shifted combination to zero; these are the same condition, not competing intercepts.
For either choice, the corresponding tilded constraints hold on the other side. Both chiral mass-shell conditions and closed-string level matching are required:
The state sectors are NS–NS, NS–R, R–NS and R–R. Quotienting physical null states removes unphysical longitudinal polarizations; equivalently, use the appropriate BRST cohomology including the superconformal ghosts. A consistent superstring also specifies the GSO projection. It is an additional sector selection, not a replacement for these local super-Virasoro constraints. Physical states satisfy both chiral positive-mode and zero-mode constraints, level matching, and the null-state quotient; Ramond states additionally obey the fermionic zero-mode constraint.
For an oriented Euclidean string worldsheet with metric , use the string nonlinear sigma model action
Here is an antisymmetric density with . The factor in the Euclidean Kalb–Ramond field term follows from continuing the real Lorentzian two-form coupling; reversing orientation or the convention for reverses its sign. The conventional positive Euclidean dilaton coupling is being used. With worldsheet boundaries its curvature coupling also needs , where is the boundary geodesic curvature, to have the proper topological normalization for constant .
All three terms are invariant under worldsheet diffeomorphisms. Target-coordinate changes act on by their ordinary scalar and tensor transformation rules, making the target description covariant as well. For the two-form there is also the target gauge symmetry . Its change in the closed-worldsheet action is an integral of an exact two-form and hence zero. With boundaries it is instead ; an endpoint gauge field with cancels it.
Under a local Weyl transformation , the metric term is invariant because the two-dimensional factors and cancel. The term is independent of and is separately invariant. The curvature transforms as
On a closed surface the dilaton variation is consequently
Thus a general nonconstant dilaton term is not separately invariant under Weyl transformations. Its variation is the Weyl variation of a nonconstant dilaton coupling; it vanishes for constant after the boundary completion where necessary.
For , the Gauss-Bonnet theorem gives . In the Euclidean path integral the resulting weight is
For a connected orientable genus- surface with boundaries, , so the weight is . A closed-string handle therefore adds two powers of string coupling. External vertex normalizations add their own coupling factors; they are distinct from this dilaton Euler-characteristic weighting. The constant dilaton controls the string genus expansion, rather than adding a force to the classical embedding equation.
Quantization treats the target fields as position-dependent couplings of a two-dimensional interacting quantum field theory. Expanding around a background embedding gives fluctuation vertices involving target curvature and derivatives of and . Short-distance contractions require local counterterms, so the target fields become renormalized couplings. In particular a curvature vertex contracted once yields a Ricci tensor counterterm proportional to . Each additional sigma-model loop brings another power of and more target derivatives. The expansion is useful when the target variation scale is large compared with ; it is not the separate expansion in powers of .
After gauge fixing, a worldsheet Weyl anomaly would make amplitudes depend on the discarded local conformal factor. Quantum consistency therefore requires the trace anomaly to vanish, including the reparameterization worldsheet ghost field contribution. In a conventional renormalization scheme the resulting bosonic sigma-model Weyl anomaly coefficients start as
The barred quantities include the dilaton stress-energy tensor improvement; ordinary coupling sigma-model beta functions can differ by field redefinitions or target diffeomorphisms. Setting these coefficients to zero gives differential equations for the background fields order by order, including the metric gravitational equation and the antisymmetric-field equation. These conventions for the leading coefficients are described in the background-field lecture notes. Higher orders supply higher-curvature and higher-derivative corrections. This explains how spacetime dynamics follows from quantum gauge consistency of the worldsheet, not from asking only for a classical stationary worldsheet in an arbitrarily chosen background.
The apparently noninvariant dilaton term is essential outside the critical dimension because its stress-energy tensor improvement can cancel the quantum central charge mismatch. A flat constant-dilaton background has matter central charge and worldsheet ghost field central charge . If , changing the constant value of only changes and cannot cure that mismatch.
A concrete solution is the linear dilaton conformal field theory with , , and . Its metric and antisymmetric-field anomaly coefficients vanish, while the scalar condition is
One can also see this cancellation directly from the improved holomorphic stress-energy tensor. With the positive Euclidean curvature convention above,
The free-field contraction is . Differentiating it twice at each point gives a fourth-order pole from the improvement. Since the fourth-order stress-tensor pole is , the matter central charge becomes . The worldsheet ghost field contribution then cancels it. This is why a classical Weyl variation need not mean inconsistency: it can cancel the quantum variation of the other terms. For the required gradient is spacelike; for it is timelike in the Lorentzian target theory. Such backgrounds are not flat constant-dilaton Minkowski vacua with full target Lorentz symmetry, nor does a central charge cancellation by itself prove stability or unitarity of every noncritical background. If the conformal factor is instead retained dynamically, its Liouville field theory supplies the corresponding noncritical description.
Take on the strip . Varying the Grassmann-odd worldsheet Majorana fermions gives , and, up to the orientation of the strip boundary, the surface term
At each endpoint it vanishes if with , with the same relation on variations. A common sign can be absorbed by redefining one chiral field, so set . Since and , the second endpoint imposes . Equal endpoint signs give the periodic Ramond sector, and opposite endpoint signs give the antiperiodic Neveu–Schwarz sector:
These gluing choices preserve the Neumann-endpoint worldsheet supersymmetry conditions and give integer or half-integer worldsheet Majorana fermion modes, respectively.
First fix a normalization issue in the original PDF. With its stated canonical string oscillator algebra, the standard superconformal current mode is
without the printed factor . To check the Ramond supercurrent zero-mode square directly, pair positive and negative integer modes:
The zero-mode Clifford relations give . Different anticommute, and so do with the zero-mode term. The two same-sign terms in vanish by antisymmetry of the fermions and symmetry of the bosonic product. The cross terms give
The second term comes from commuting through , so the frequency factor is essential. Therefore
Here uses vacuum-annihilating Ramond normal ordering; its string intercept is zero. A plane-to-cylinder central shift must be included consistently if a different zero-mode convention is used.
For the mode actually printed, the algebra instead gives . Already the oscillator-free term gives , whereas . Thus the requested identity is not valid with both that prefactor and the supplied string oscillator algebra. Removing the prefactor gives the identity just derived. Renaming as would fix this isolated equality but would spoil the usual Virasoro normalization and the subsequent mass formula. We use the standard normalized modes in the remaining physical constraints; their vanishing is unaffected by a common nonzero rescaling.
The RNS string physical-state conditions in the two sectors are
The last condition is the fermionic zero-mode constraint; its square implies the Ramond mass-shell condition. Physical null string states are quotiented. Matter central charge is , while the reparameterization worldsheet ghost fields and superconformal ghosts contribute . Thus is the critical dimension of the RNS superstring, with and .
To solve the constraints, choose , so , and work on a patch with . In light-cone gauge in string theory fix all nonzero and all to zero. For the Ramond sector, the printed restriction to nonzero fermion modes is not by itself complete: one must also reduce the longitudinal fermionic zero modes using the zero-mode supersymmetry constraint. The usual reduced light-cone description sets the remaining to zero as well and retains the transverse Clifford algebra. Covariantly this reduction is the Dirac equation on the ground-state particle polarization; it is not an extra unconstrained canonical string oscillator.
With this reduction the string oscillator generators have the form
Repeated runs over the eight transverse directions. The coefficient in comes from the fermion worldsheet stress tensor ; for , positive and negative combine to give the occupation energy . Thus the light-cone super-Virasoro constraints are explicitly solved by
Here is in the NS sector and zero in the R sector. The zero-mode equation says . All longitudinal excitations are consequently determined by transverse bilinears. The critical dimension and string intercepts are necessary for the resulting quantum theory to preserve the target Lorentz algebra.
The frequency-weighted Neveu–Schwarz level operator is
The PDF's displayed number operator omits the fermion frequency weights and the term. With the stated anticommutators that cannot be a level operator: it would assign no level to the first fermionic excitation. The bosonic term already includes its frequency through , whereas the fermionic term must include its frequency explicitly.
One independent way to obtain the string intercept is the transverse zero-point energy. Each periodic boson contributes . Each antiperiodic real fermion contributes , with the minus sign due to fermionic normal ordering. For example a common exponential cutoff gives
Subtracting the local divergent terms leaves , so the NS string intercept is . In the Ramond sector the integer fermions instead contribute per component and cancel the bosonic contribution, giving .
The unprojected NS sector oscillator vacuum has and
It is a spacetime scalar tachyon. The first excitation has and is massless, with eight vector particle polarizations. Covariantly its particle polarization obeys modulo the longitudinal null particle polarization, leaving the same eight degrees of freedom.
The R sector oscillator vacuum is also massless, but it is degenerate because . The operators give the target Clifford algebra, and becomes . At nonzero null momentum this Dirac equation leaves sixteen unprojected on-shell spinor states. Equivalently the eight transverse zero modes give the sixteen-dimensional spin representation of . Thus the Ramond ground state describes spacetime fermions, not a single scalar oscillator vacuum.
To define the GSO projection explicitly, let count excited NS fermions and give its vacuum even parity. Then
It retains odd fermion number, removes the tachyon, and retains the eight massless vector particle polarizations. In the Ramond sector let be transverse chirality and count nonzero-mode fermions. Choose one consistent chirality sign and use
Each operator squares to itself. At the ground level retains one eight-dimensional spinor chirality, so the retained spectrum has eight massless bosonic and eight massless fermionic states. The parity convention can instead assign the NS vacuum odd parity and write a plus projector; the retained states are identical.
Equality continues at every mass level. Let count , suppressing common momentum and endpoint-label factors, and set . The projected string oscillator generating functions are
The Ramond factor eight follows because either chirality projector selects eight ground states for every nonzero-oscillator parity. The Jacobi abstruse identity makes the bracket equal to , so
This proves level-by-level equality of bosonic and fermionic multiplicities. The appropriate spacetime supercharge from an RNS spin field relates the two sectors; the projection ensures that it acts within the retained state space. These sector and chirality conventions agree with the primary superstring lecture notes. Equal total counts alone are not the definition of the projection; they follow from the stated parity selection and the string oscillator identity.
The local gauge symmetries of the Polyakov action are worldsheet diffeomorphisms and Weyl transformations. Under a reparametrization , the embedding coordinates transform as scalars and the worldsheet metric as a covariant tensor; the contracted integrand is a scalar density. Infinitesimally, with the active convention, and . A Weyl transformation sends and leaves fixed. In two dimensions the factors from and cancel. Target-space Poincaré transformations are additional global symmetries, rather than worldsheet gauge symmetries.
These gauge freedoms put the metric locally in conformal gauge, . Its variation must still be imposed: it gives the worldsheet stress tensor constraints . The field equation is the wave equation, and periodicity of a closed string gives independent left- and right-moving oscillator sets. In a normalization with , their commutators and normal-ordered generators are
with the same formulas for the tilded sector and zero mixed commutators.
The closed-string physical-state Virasoro conditions in the critical flat-space theory are
They act on the oscillator Fock space, and physical spurious (null) states are quotiented out. Equivalently physical states are the suitable BRST cohomology classes. Positive modes constrain kets; their adjoints constrain bras, so one does not impose every positive and negative matter mode on the same ket. Subtracting the two zero-mode equations gives closed-string level matching, , and adding their mass-shell content gives . Quantum consistency fixes the intercept to one and, for just these flat coordinate fields, : the matter central charge cancels the reparametrization ghost central charge . Other dimensions require additional worldsheet degrees of freedom or a noncritical completion.
For the residual symmetry, take . The conformal Killing equations leave independent transformations and , with a compensating Weyl rescaling restoring the flat metric. On the Euclidean plane the corresponding holomorphic vector fields are and their antiholomorphic partners. They satisfy the Witt algebra . The conserved contour generators are the Virasoro modes . Their quantum Virasoro algebra is
with a second independent copy for the right movers. These are the generators of the residual conformal transformations, including their quantum central extension.
The two-dimensional quantum-gravity interpretation of strings follows from what is integrated, not from an analogy: at genus , the Polyakov path integral integrates over both and the metric, divided by diffeomorphism and Weyl gauge volume. String perturbation theory sums these surface topologies, weighted by before external-state coupling factors. Gauge fixing leaves worldsheet ghost determinants and integrals over worldsheet moduli. Thus it is two-dimensional quantum gravity coupled to the coordinate matter fields. A flat gauge is local; general higher-genus surfaces retain conformal-structure moduli and need not admit a globally flat representative.
Target-space gravity is a different conclusion. At , the state is massless, transverse in both indices, and has longitudinal gauge identifications. Its symmetric traceless transverse polarization is a graviton; the antisymmetric and scalar polarizations give the Kalb–Ramond field and dilaton. The graviton gauge identification is precisely the linearized metric diffeomorphism. Moreover the leading string-frame massless effective action contains , and worldsheet Weyl invariance with constant dilaton and zero two-form requires at leading order in . Thus both the propagating massless spin-two state and its low-energy interactions reproduce gravity. Closed strings contain the graviton and yield Einstein gravity in their low-energy massless sector, together with other fields and higher-derivative corrections; the bosonic tachyon instability remains.
Take with coordinate zero equal to and coordinate one to . In the supplied representation set
They satisfy the Clifford algebra . For anticommuting spinor components and an ordinary matrix , relabelling the two summed indices gives
Now , whereas and are symmetric. Therefore the Majorana Grassmann bilinear interchange yields
These signs require fermionic, Grassmann-odd fields; commuting spinors would have the opposite interchange signs.
In flat conformal gauge, suppress the common factor and write the combined density as . The supersymmetry variation including its odd parameter is an even derivation. From we obtain
Also , so interchanging odd spinors gives . The two density variations, with target contractions understood, are therefore
In the second term the symmetric second derivative annihilates the antisymmetric part of . Using now gives the exact off-shell identity
Thus the action is invariant when this boundary flux vanishes and the transformation preserves the field boundary conditions, for example with suitable falloff or compatible supersymmetric endpoint conditions. On a spatial circle, periodic fields admit the constant parameter; antiperiodic fermions with periodic bosons require the local superconformal treatment, since a nonzero constant parameter would make the boson variation antiperiodic. The constant parameter and ordinary derivatives describe rigid supersymmetry in flat gauge; a locally supersymmetric curved-worldsheet formulation includes the worldsheet gravitino. The result is the rigid worldsheet supersymmetry boundary term without using field equations.
For the commutator on , keep the order of the odd parameters:
For the fermion, the order is equally important. Moving through both odd factors in incurs two minus signs. Consequently
To check the spinor matrix explicitly, set , , with all four components anticommuting and monomials ordered . Then
Direct multiplication gives . Hence
Variation of the fermion action gives the Dirac equation . On this equation the second term vanishes, proving
This is on-shell closure of rigid worldsheet supersymmetry; the action's invariance was off shell, but its fermionic transformation algebra closes in this field content only on shell.
The associated superconformal current is proportional to , of conformal weight . Its fermionic modes extend the stress-tensor generators to the N=1 super-Virasoro algebra:
The modes are half-integral in the Neveu–Schwarz sector and integral in the Ramond sector. Their anticommutator giving a Virasoro generator is the conformal-mode counterpart of the translation commutator just derived. Ten coordinate bosons and ten Majorana fermions give matter central charge , canceled by the usual reparametrization and superconformal ghosts in the critical RNS string.
In a two-dimensional conformal field theory, a quasi-primary operator of conformal weights obeys
for global conformal, or Möbius, transformations. A primary operator obeys this law for every locally invertible holomorphic and antiholomorphic conformal coordinate change. Quasi-primary is therefore weaker: the stress tensor at nonzero central charge is quasi-primary, but its Schwarzian transformation term prevents it from being primary under a general map.
A primary state is a simultaneous eigenstate of with eigenvalues , satisfying
A quasi-primary state need only satisfy the corresponding conditions. Negative modes of the Virasoro algebra generate descendants.
In radial quantization, a local operator at the origin prepares a state on a surrounding circle; logarithmic radius is Euclidean time. The state–operator correspondence is . Acting with a Virasoro generator means inserting its stress-tensor contour around that operator. For a primary operator, the operator product expansion is
Multiplication by and the contour residue give , , and for . Conversely the contour modes are the coefficients of the singular expansion; vanishing positive modes removes every pole of order three and higher. The remaining double and simple poles generate precisely the primary transformation law. The antiholomorphic argument is identical. This proves the state-operator correspondence for Virasoro primaries in both directions.
An integrated string vertex operator is integrated with . The measure transforms with weights , so conformal invariance requires its matter operator to have weights . In old covariant string quantization the same requirement is and . The ghost-dressed unintegrated vertex has total weights . Physical states are identified modulo null string states, or more systematically by BRST cohomology; raw counting of all primary operators includes gauge redundancy.
For a free embedding boson the holomorphic stress tensor is . Contracting it with gives weight ; every holomorphic oscillator of level adds to that weight. Thus
With Lorentzian target signature, , so the closed-bosonic-string mass shell from primary weights is
The ground state is tachyonic, level one is massless, and higher levels are massive. The primary conditions also constrain the polarization tensors; the two zero-mode conditions fix the mass and level matching.
For the commuting beta-gamma system, write . The displayed exchange leaves the arguments attached to their respective fields. Exchanging the arguments instead gives
This radial-ordering sign in commuting beta-gamma contractions must be kept when differentiating. Expanding the total derivative in the proposed stress tensor gives
The contraction and its derivative give
Similarly and give
There are no higher poles. Both fields are holomorphic and , so
To compute the central charge, put and . Only double Wick contractions can give the fourth-order pole in . Their coefficients are
where only the double-contraction terms are shown. For example, the mixed contraction uses and . All Wick pairings have bosonic signs. Therefore the fourth-order coefficient is
The stress-tensor operator product expansion has fourth-order coefficient , yielding
This is the stress tensor of a commuting beta-gamma system calculation. Single contractions supply the usual terms, with the potential third-order terms canceling.
The string nonlinear sigma model regards the target-space metric, the Kalb–Ramond field and the dilaton as couplings of the two-dimensional worldsheet theory. Schematically its Euclidean terms are
Quantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge , while the reparameterization bc ghost system contributes in each chirality. In the critical flat background cancellation therefore requires . In a curved background, vanishing improved sigma-model beta functions further imposes field equations for . For example, the leading metric condition is
These are spacetime conditions because the couplings are functions of the embedding coordinates, not additional worldsheet coordinates.
The leading equations arise by varying the string-frame massless effective action
The factor is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the expansion; higher genera give string-loop corrections. Thus conformal consistency of the quantum worldsheet determines the low-energy target equations and their action. This is a massless-sector truncation: the bosonic tachyon is not removed by writing an action only for .
For a brane embedding , the D-brane worldvolume pullbacks are
The dilaton is evaluated at the embedding. When denotes the physical tension in a background with constant mode , the convention is , so in that vacuum. Equivalently one can use and a coefficient with the constant not already included. The physics is the same; the two conventions must not count that constant factor twice.
Several features motivate the Dirac-Born-Infeld action. Without gauge or two-form fields, it is the relativistic induced-volume action for a tensionful extended object. An open-string boundary couples to its gauge potential , so a bulk transformation is canceled by . Thus only can enter. For slowly varying constant field strength, the open-string disk partition function resums its dependence into the determinant; expansion gives the Maxwell kinetic term. The disk has Euler characteristic one, giving rather than the closed-string sphere's . Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.
Explicitly, in flat background and static gauge with transverse fluctuations , the weak-field expansion starts as
The linear term in the antisymmetric matrix vanishes; the quadratic term follows from expanding . Thus the DBI action contains both the scalar and gauge kinetic energies, while higher powers and derivatives are string-scale corrections.
For two coincident D-branes, an oriented open string has independent labels at its ends. Its Chan-Paton factors are the matrix units . The four massless vector modes span the Lie algebra of : diagonal strings supply the two Abelian fields, and oppositely oriented interbrane strings supply the off-diagonal modes. Joining strings multiplies these matrices, producing the non-Abelian commutators. Transverse vector polarizations become adjoint scalar fields. This is Coincident-D-brane gauge enhancement.
The massless gauge/scalar dynamics reduce to dimensionally reduced Yang-Mills theory in a flat background with constant dilaton and vanishing pulled-back , at energies and field variations well below the string scale. More precisely, derivative corrections satisfy , and one expands in small dimensionless field strengths and scalar gradients rather than retaining the full nonlinear determinant. Weak string coupling suppresses loop corrections. After subtracting the constant brane vacuum energy and using the scalar normalization fixed below, the coefficient is
A bosonic brane additionally has an open-string tachyon; the displayed action governs its massless sector and is not a stable complete truncation. For supersymmetric branes the corresponding leading action also has the massless fermions.
There is a sign qualification in the printed scalar potential. With the stated , take Hermitian and to mean the literal matrix product. Then dimensional reduction has
Consequently . The consistent low-energy action is
This is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is , because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take , with Pauli matrices. Then , so the literal printed plus sign would make the static energy negative and unbounded below. The printed plus sign is consistent only if its square denotes the positive norm , rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.
In an ordinary separated-brane vacuum the scalar expectation values commute and can be simultaneously diagonalized:
Their eigenvalue vectors specify the transverse positions, up to the normalization to be determined. The trace encodes the center of mass; their difference encodes separation. When the two vectors coincide, every transformation commutes with the vacuum. When they are distinct, only independent diagonal phases do, so the unbroken group is . The off-diagonal vectors acquire mass by the Higgs mechanism.
Write the off-diagonal entries of as and and put . At a constant diagonal vacuum, , so
The quadratic off-diagonal gauge kinetic term is with , and the scalar kinetic term supplies . Comparing these with the complex massive-vector action gives
Here the term W-boson means this broken-generator vector, not specifically an electroweak particle. The normalization places the gauge coupling outside the action, so no extra multiplies these ; rescaling to canonically normalized scalar fields moves that coupling into the usual Higgs mass formula.
The corresponding open-string vector oscillator stretched over distance has classical stretching mass . Its unstretched mass contribution vanishes because it is the vector level, rather than the bosonic tachyon level. Equating it with the gauge-theory mass gives
The component relation follows by rotational covariance and a common choice of transverse origin; a uniform translation adds the same constant to both brane coordinates. This is the D-brane scalar-position normalization. Together with the string tension determined in Question 1, it fixes the exact normalization of scalar eigenvalues as brane positions.
Use the free-boson operator product expansion
Write and . The needed Wick contractions are and . For , the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in , while the other contracts with . Including the factor gives
A primary operator has no cubic pole. Hence the first vertex is primary precisely when
The antiholomorphic conformal weight is . Primarity alone puts no mass-shell condition on .
For , the holomorphic cubic pole is . The antiholomorphic operator product expansion gives the analogous pole involving . Thus the transversality of derivative-exponential primary vertices requires
There is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights ; for this vertex that gives .
Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external through gives
Multiplying by and Taylor expanding at produces
This proves that is a primary operator with weight . To find the central charge, in the two double-contraction pairings contribute, before the overall factor ,
The single Wick contractions give , so
Comparing the leading term with proves , as in the free chiral Majorana fermion conformal field theory.
With four embedding bosons and the ordinary reparameterization bc ghost system, cancellation of the worldsheet Weyl anomaly in each chirality requires
Thus there are 44 real left-moving and 44 real right-moving fermions, equivalently 44 two-dimensional nonchiral Majorana fermions. These are internal free fermions in a four-dimensional bosonic string. Adding internal matter to the bosonic string does not introduce local worldsheet supersymmetry or its superghosts.
For the requested polynomial string vertex operators, work in the unprojected Neveu–Schwarz sector. A full model also chooses spin structures and a consistent projection, which the central-charge condition alone does not specify. If the holomorphic and antiholomorphic oscillator contributions to the conformal weights are , physicality requires
Therefore only equal levels at most one can contribute to the requested nonpositive bosonic string mass spectrum.
With zero fermion insertions, level zero gives the tachyon vertex operator , a scalar with . Level one gives the massless closed-string vertex operator , with the transverse conditions above and the string-state gauge redundancy that removes longitudinal polarizations. The physical transverse polarization tensor decomposes into a symmetric trace-free graviton, an antisymmetric Kalb–Ramond field, and a scalar dilaton. In four spacetime dimensions these have respectively two, one, and one physical polarizations; the two-form can be dualized to a scalar.
With two fermion insertions there are two possibilities. One fermion in each chirality gives
These are scalar tachyons before any projection. There is no spacetime derivative or spacetime polarization to impose a vector transversality condition.
Two different fermions in the same chirality form an antisymmetric fermion bilinear, a weight-one current ; equal-species undifferentiated bilinears vanish. Closed-string level matching then requires a weight-one bosonic derivative in the opposite chirality. The resulting string vertex operators are
They have and are gauge vectors, with and , and likewise for . Each chirality supplies gauge vectors. The fermion bilinears generate the two current algebras associated with the Special orthogonal Lie algebra, giving the unprojected gauge group . The tempting vertex alone fails closed-string level matching because its weights are before the common momentum contribution. Additional derivatives raise the levels above the nonpositive-mass range; a product of a left and a right bilinear has four fermion insertions and is outside this requested sector. This completes the zero- and two-fermion vertices of an internally fermionized bosonic string; a specified global projection can remove some of the listed states.
Locally in the space of worldsheet metrics, divide out the volume of worldsheet diffeomorphisms and Weyl transformations. With stabilizer zero modes omitted, the inverse Faddeev-Popov determinant at a metric is
This is the linearized orbit integral: the delta functional is the product of the metric-component delta functions, and its Jacobian is the inverse determinant of the gauge-orbit map. The omitted zero modes and any metric moduli must be handled separately; this local formula is not an integration over the physical moduli themselves.
The trace elimination in string Faddeev-Popov gauge fixing is essential. In two dimensions, split the variation as
The second term is trace-free. Integration over removes the trace delta function, leaving , with the measure understood through the metric inner products. Equivalently, a Fourier representation of the metric delta functional introduces a commuting symmetric tensor . Integration over enforces , and the remaining exponent is proportional to . This gives the same inverse Faddeev-Popov determinant and explains why its tensor variable must be trace-free.
For the Polyakov path integral, insert the gauge-fixing identity
where is a representative depending on the worldsheet moduli . Gauge invariance of the action, measure, and Faddeev-Popov determinant lets us change variables along the gauge orbit. Its volume cancels the original gauge-group denominator, leaving an integral over , the moduli, and the determinant evaluated at . This is how the determinant enters the numerator of the gauge-fixed integral, despite the inverse determinant occurring in the orbit integral above.
A fermionic Gaussian integral exponentiates using an anticommuting vector and an anticommuting symmetric trace-free tensor :
The constant can be absorbed into . In local complex conformal gauge, trace-freeness sets . The only surviving components of the worldsheet diffeomorphism ghost operator are proportional to and . Rescaling the antighost therefore gives exactly the chiral worldsheet ghost action
The chiral bc ghost system has weights , , with . Its worldsheet stress tensor is . Fermionic double Wick contractions in give the fourth-order coefficient , hence central charge . More generally this calculation gives . Each embedding scalar contributes one, so the total chiral central charge is . The gauge-fixed quantum theory must have no worldsheet Weyl anomaly; consequently the critical dimension of the bosonic string is . Zero-mode insertions for Conformal Killing vector fields and moduli do not change this local anomaly calculation.
For the Veneziano amplitude, first examine an ordered beta-function term. A pole occurs when , with , so the exchanged masses follow the open bosonic string mass spectrum
There is a tachyon at level zero, a massless vector at level one, then an infinite tower with equally spaced squared masses. In oscillator quantization these levels are ; the poles alone do not determine all oscillator degeneracies or all states that might fail to couple to the chosen external particles.
The Veneziano amplitude pole residue gives considerably more information than a pole position. Near , use and . The finite Gamma function ratio is a product of linear factors. Thus, for generic ,
The empty product at is one. This degree- angular polynomial decomposes into spin partial waves; it reveals the spins that couple, up to maximal spin in the ordered channel, and the corresponding products of three-point couplings. For example, the level-one linear residue encodes vector exchange. A single external-state amplitude need not separate all states with the same mass and spin.
There is a qualification specific to the sum printed in the question. For four identical on-shell tachyons, . At , put . Then , and reversing the product gives . The beta-function term is regular at a generic -channel pole. The residue of the full symmetric amplitude is therefore proportional to
This is odd-level pole cancellation in the symmetric Veneziano amplitude. The fully symmetrized identical-tachyon amplitude has only even-level poles at generic angle, including the tachyon but not the massless vector. This is an external-state selection rule, not removal of odd-level states from the string theory. Ordered amplitudes, or suitable amplitudes with color factors and different external states, retain those exchanges. Thus interpreting every candidate Gamma function pole as a pole of the printed sum would give a false inference about that amplitude.
At high energy with fixed, the Gamma function reflection formula followed by the Stirling formula gives the fixed-angle softness of an open-string amplitude:
up to oscillatory factors and possible additional cancellations. The bracket is positive at a genuinely nonforward fixed angle. This is the envelope away from resonance poles, or the corresponding analytically continued asymptotic regime; it is not a uniform bound through real-axis poles. String scattering is exponentially soft at fixed angle, unlike the typical power-law behavior of point-particle interactions. The finite string length distributes a hard collision over an extended object. This is evidence of improved ultraviolet behavior, not by itself a proof that every loop amplitude is finite. The fixed-angle limit also differs from the fixed- Regge limit.
Choose a Euclidean string worldsheet and the usual normalization of the Polyakov action. For a closed oriented worldsheet , the string nonlinear sigma model is
Here is the alternating density, not the tensor with components . The imaginary coefficient in the Kalb–Ramond field term is the Euclidean continuation; in Lorentzian signature this term is real. is the spacetime metric and the dilaton.
All three terms have worldsheet diffeomorphism invariance, and are covariant under spacetime coordinate transformations when , , and are transformed together. Under a Weyl transformation , is invariant in two dimensions, so the metric coupling has classical Weyl invariance. The antisymmetric coupling is independent of the worldsheet metric, so it too has classical Weyl invariance.
The curvature coupling requires care. An infinitesimal Weyl transformation gives . Integration by parts on the closed worldsheet therefore gives the Weyl variation of a nonconstant dilaton coupling:
A constant dilaton coupling is topological and Weyl invariant; a general varying dilaton coupling is not separately classically Weyl invariant. Its classical variation participates in canceling the quantum worldsheet Weyl anomaly, producing the improved background equations below.
To relate these background couplings to the flat-space bosonic string mass spectrum, expand and express and as superpositions of plane waves. The perturbation of the action is a sum of integrated string vertex operators of the form
This is the vertex of in the massless first closed-string level. Its conformal weights are , so marginality gives . The primary operator conditions give transversality, and the string-state gauge redundancy removes longitudinal components. The symmetric trace-free polarization tensor is the graviton and perturbs ; its antisymmetric part is the Kalb–Ramond field and perturbs . The scalar physical polarization is the dilaton. At the level of background fields its vertex involves the metric trace and the curvature improvement, so an arbitrary off-shell metric trace should not simply be identified with the physical dilaton without this distinction.
The spacetime gauge invariance of the antisymmetric coupling is
Indeed its action is . Its variation is
for a closed worldsheet, by Stokes theorem. In components this is the total derivative : the term containing vanishes by antisymmetry. Thus only the Kalb-Ramond field strength can enter the local spacetime equations. With boundaries, a compensating boundary gauge-field transformation is needed.
Separate the dilaton into a constant and a varying part. The Gauss-Bonnet theorem gives
for a connected closed orientable genus- worldsheet. Its Euclidean path-integral weight contains
Consequently the sum over worldsheet topologies is the string genus expansion , with each coefficient integrating over that genus's worldsheet moduli. Each extra handle costs , which is the loop-counting factor of string perturbation theory. With the usual normalization of external closed-string vertices, the connected amplitude carries . This dilaton Euler-characteristic weighting is distinct from the expansion in of a fixed-worldsheet string nonlinear sigma model.
Finally quantize that two-dimensional theory. The background fields are its couplings. The background field expansion of a string sigma model, in target-space normal coordinates, contains curvature vertices quadratic in the fluctuation . Contracting their two fluctuation indices produces the Ricci tensor multiplying . Logarithmic short-distance contractions renormalize , , and , giving functional sigma-model beta functions. Gauge independence requires vanishing of the worldsheet Weyl anomaly, including the classical improvement from the varying dilaton, not merely an arbitrary choice of renormalization scale.
For clarity, in conventional leading-order normalization the improved coefficients are
Here . The constant term in the dilaton coefficient is the matter-plus-ghost central charge deficit. At , setting these coefficients to zero gives the leading spacetime field equations
For the last equation, take the trace of the first, , and combine it with ; this verifies the coefficients and signs. These are equivalently the equations from the leading string-frame massless effective action
Higher worldsheet orders give higher-derivative corrections, whereas additional handles give string-loop corrections controlled by . Thus quantum consistency of a two-dimensional string nonlinear sigma model determines the dynamics of its spacetime background fields. These leading coefficient conventions agree with the primary string-theory lectures' background-field calculation.
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.