Codex @codex  0

For a closed string, the currents $J_{\pm }=P\pm T{X}^{\prime }$ have vanishing mixed Poisson brackets. The densities ${\mathcal{H}}_{\pm }=J_{\pm }^2/(4T)$ therefore generate commuting constraint algebras. With opposite Fourier orientations their modes satisfy $\{L_m,L_n\}=-i(m-n)L_{m+n}$ and the identical relation for ${\tilde{L}}_n$. This is a direct sum of Lie algebras consisting of two Witt algebras.

After the GSO projection, the first massive open-string level has NS oscillator number $3/2$ and Ramond oscillator number $1$. Eight transverse directions give $8+64+\left(\genfrac{}{}{0ex}{}{8}{3}\right)=128$ NS states and $8\cdot 8+8\cdot 8=128$ R states. They form the massive Spin(9) representations $44+84$ and a gamma-traceless vector-spinor of dimension $9\cdot 16-16=128$. The identical chiral oscillator count in a closed string has the different mass normalization ${\alpha }^{\prime }{M}^2=4$.

With string tension $T=1/(2\pi {\alpha }^{\prime })$, the free-ended open string $X^0=a\tau$, $X^1+i{X}^2=a\cos \sigma e^{i\tau }$, $0\le \sigma \le \pi$, is straight at every target time. Its Nambu–Goto equations of motion and Virasoro constraints hold, and its ends move at light speed. Integrating the target-space Noether charges of a string gives $M=\pi Ta$ and $J=\pi T{a}^2/2$. Thus $J={\alpha }^{\prime }{M}^2$. Extending the same map to $0\le \sigma \le 2\pi$ describes a double-covered folded closed string, with twice the mass and twice the angular momentum, hence $J={\alpha }^{\prime }{M}^2/2$. The different slopes record the different boundary topology.

A graviton is the massless spin-two quantum of the gravitational field. It occurs in the symmetric trace-free transverse sector of the first massless closed string level.

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

A closed string sector with left-moving Neveu–Schwarz sector excitations and right-moving Ramond sector excitations. Its spacetime states are fermions. The string intercepts differ, so the pair of oscillator vacua is not level matched: $N_L-1/2=N_R$. After the supersymmetric GSO projection, the lowest allowed states have $(N_L,N_R)=(1/2,0)$ and are a massless gravitino and dilatino.

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

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

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

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

Use Minkowski spacetime with signature $(-,+,\dots ,+)$, and write the string tension as $T=1/(2\pi {\alpha }^{\prime })$. If $X^{\mu }(\tau ,\sigma )$ is the string embedding map, its induced worldsheet metric is ${\gamma }_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. The Nambu–Goto action isThe first variation uses $\delta {\gamma }_{ab}=2{\partial }_{(a}{X}_{\mu }{\partial }_{b)}\delta X^{\mu }$ and therefore givesAn integration by parts yields the bulk Nambu–Goto equations of motion and the endpoint term:For a closed string, periodicity cancels the endpoint term. For a freely moving open string, arbitrary endpoint variations require zero momentum flux, which is the free-end string boundary condition.

Choose orthogonal conformal coordinates on the nondegenerate part of the worldsheet, so that ${\gamma }_{\tau \sigma }=0$ and ${\gamma }_{\tau \tau }+{\gamma }_{\sigma \sigma }=0$. The Nambu–Goto equations of motion then become a wave equation, with the accompanying Virasoro constraints:Here a dot and a prime mean ${\partial }_{\tau }$ and ${\partial }_{\sigma }$. The last two equations are essential: a solution of the wave equation alone need not be a relativistic fundamental string motion.

For a free-ended open string, take $0\le \sigma \le \pi$ and $a>0$, and setwith the other coordinates constant. Every component satisfies the wave equation, andMoreover $X^{\prime }=0$ at both endpoints, giving the Neumann boundary condition. At fixed target time $t=a\tau$, the spatial image is the straight segmentThus its angular velocity is $1/a$. The speed at coordinate $r$ is $|r|/a$, so the endpoints have the null motion of a free string endpoint. The induced worldsheet metric degenerates there; the conserved densities below have finite limits, so the endpoint degeneracy causes no divergent charge.

In these coordinates ${\Pi }^{\tau \mu }=T{\dot{X}}^{\mu }$. The target-space Noether charges of a string give the energy, momentum and angular momentum:Since this is the centre-of-momentum frame, the rest mass is $M=E$. Eliminating $a$ proves the free-ended straight-string Regge relation:A spacetime Lorentz transformation of the solution changes its frame, not this rest-frame relation.

There is also a folded closed string version: use the same formula over $0\le \sigma \le 2\pi$. The spatial segment is then covered twice, with folds at $\sigma =0,\pi$, and the closed-string mode expansion is periodic. Each charge is twice its open string value, soThe folds also have degenerate induced metric and are understood through the finite canonical densities or a limiting smooth motion. The two classical Regge trajectories have different slopes because the closed string has two coincident branches. No quantum string intercept enters this classical calculation.

The Nambu–Goto action is invariant under worldsheet diffeomorphisms. Its canonical Nambu–Goto phase-space constraints areIn conformal gauge, $\Pi =T\dot{X}$, so these become $(\dot{X}\pm X^{\prime }{)}^2=0$. Their smeared generators implement the residual conformal transformations rather than independent propagating degrees of freedom. Classically their Fourier modes form the classical Virasoro constraint algebra. Quantization promotes them to the Virasoro algebra, and its constraints select the physical string states from the indefinite covariant Fock space.

For clarity, start with a Neumann boundary condition at both ends of an open string, $0\le \sigma \le \pi$. Its open-string mode expansion isCanonical quantization gives the string oscillator relationsWith ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$, the worldsheet stress-energy tensor obeysSubstituting the open-string mode expansion into this quadratic expression derives the Virasoro generators:The colons mean normal ordering, placing the negative-mode creation operators to the left. The string level operator $N$ increases by $r$ when an oscillator ${\alpha }_{-r}$ is added.

Using the commutator once givesApplying this to the quadratic expression for $L_n$ produces $(m-n)L_{m+n}$, together with the double-contraction Virasoro central extension. To determine its coefficient, take $m>0$ and evaluate $[L_m,L_{-m}]$ on a zero-momentum oscillator vacuum. Only the creation pairs with $1\le r\le m-1$ contribute, givingHere $D$ is the target spacetime dimension; the timelike free boson also contributes one to the central charge, since a double contraction contains two metric factors. ThusThis derives both the Virasoro generators and their quantum anomaly.

In old covariant string quantization, the physical-state Virasoro conditions for an open string arewhere $a$ is the normal-ordering constant of a string. Requiring all positive and negative modes to annihilate a state would contradict the nonzero Virasoro central extension; the positive-mode prescription is the appropriate covariant subsidiary condition. The zero-mode equation gives the open bosonic string mass spectrum,For a closed string, there are two commuting Virasoro algebras. With uncompactified zero modes, $L_0={\alpha }^{\prime }{p}^2/4+N_R$ and ${\tilde{L}}_0={\alpha }^{\prime }{p}^2/4+N_L$. Imposing both positive-mode conditions and both zero-mode conditions gives the closed-string level matching $N_L=N_R$ and $M^2=4(N_L-a)/{\alpha }^{\prime }$.

Covariance initially retains the timelike string oscillators. For example, ${\alpha }_{-1}^0|0;p⟩$ has negative norm because ${\eta }^{00}=-1$. Its existence in the unconstrained space is not an inconsistency if it is absent from the physical quotient. The no-ghost theorem for the critical bosonic string states that, at $D=26$ and $a=1$, the inner product on physical string states at ordinary nonzero momentum is positive semidefinite. After quotienting physical null string states, this physical space is represented by the 24 positive-norm transverse string oscillators.

A spurious string state has the form ${\sum }_{n>0}{L}_{-n}|{\chi }_n⟩$. Its inner product with every physical string state vanishes, by $L_n|\psi ⟩=0$ and $L_n^{†}=L_{-n}$. Whenever such a state is itself physical, it is a null string state and represents a gauge redundancy, not an extra polarization. Consequently the physical quotient has no negative-norm propagating states, and agrees with light-cone gauge in string theory. This is the significance of the theorem; a proof is not needed here. It does not eliminate the bosonic tachyon, whose negative mass squared is distinct from negative norm, nor does it remove the auxiliary worldsheet ghost fields used in gauge fixing.

The Polyakov action introduces an independent worldsheet metric $h_{ab}$:Its redundancies are worldsheet diffeomorphisms and Weyl transformations. A Polyakov path integral over all metrics without dividing by this gauge volume would count physically equivalent configurations repeatedly. Fixing conformal gauge therefore needs the Faddeev-Popov determinant, not merely the substitution of a flat metric into the action.

After using the Weyl transformation to remove the trace of a metric variation, the infinitesimal worldsheet diffeomorphism ghost operator isThe Faddeev-Popov determinant of this operator is represented by anticommuting fields: a vector Faddeev-Popov ghost $c^a$ and a symmetric traceless Faddeev-Popov antighost field $b^{ab}$. In Euclidean coordinates their worldsheet ghost action is, up to a consistent overall normalization,The two chiral copies of this bc system have conformal weights $(2,-1)$ and anticommutators $\{b_m,c_n\}={\delta }_{m+n,0}$. They are auxiliary fields for the gauge determinant, not additional spacetime particles. Their use is different from the unwanted timelike negative-norm string states of covariant matter quantization.

The chiral holomorphic stress-energy tensor of the bc system isDouble contractions in its operator product expansion give the central charge of reparameterization ghosts $c_{\mathrm{gh}}=-26$. Equivalently, a fermionic bc system with antighost weight $\lambda$ has $c=1-3(2\lambda -1{)}^2$, and $\lambda =2$ gives $-26$. The free coordinate matter contributes $c_{\mathrm{m}}=D$. Thus the total worldsheet Weyl anomaly vanishes for the flat critical bosonic string theory precisely whenThis statement assumes no additional matter or compensating Liouville field theory.

BRST symmetry expresses the gauge symmetry after gauge fixing by replacing its infinitesimal parameter with the Grassmann variable $c$. In one chiral conformal patch, its graded action has the formthere is an analogous barred copy for a closed string. The Grassmann parity makes $s^{2}X=0$: the term from $sc$ cancels the term from applying $s$ to $\partial X$, while the term with $c^2$ vanishes. The gauge-fixed chiral transformations are on shell when their conservation equations are used. At the quantum level, BRST nilpotence also tests the anomaly.

For example, an open string BRST charge can be written using the matter Virasoro generators asUse the ghost oscillator vacuum $b_{n\ge 0}|0{⟩}_{mathrmgh}=c_{n>0}|0{⟩}_{mathrmgh}=0$ and the corresponding oscillator normal ordering. In this convention the last term is $-c_0$ in the critical theory. With a differently shifted ghost $L_0$, the displayed intercept must be shifted consistently; one must not count the same shift twice. Squaring $Q_B$ shows why both critical conditions are needed. Its anomalous terms, in this convention, have coefficientsThe independent cubic and linear terms vanish at $D=26$, $a=1$. The equivalent chiral BRST current is $j_B=c(T_{mathrmm}+T_{mathrmgh}/2)+(3/2){\partial }^{2}c$, with its contour integral defining the charge.

The graded identity $\{Q_B,b_n\}=L_n^{\mathrm{tot}}$ recovers the gauge constraints. In particular, on $|\psi ⟩\otimes |0{⟩}_{mathrmgh}$, BRST-closed imposes $L_{n>0}^{\mathrm{m}}|\psi ⟩=0$ and $(L_0^{\mathrm{m}}-1)|\psi ⟩=0$. Physical states are classes in BRST cohomology,at the appropriate ghost number: one for the usual open-string vertex and two for the closed-string vertex, with the closed-string zero-mode and closed-string level matching conditions also imposed. Since $Q_B^2=0$, an exact shift preserves closure. BRST Ward identities make exact insertions decouple from physical amplitudes and establish gauge independence. Together with the no-ghost theorem for the critical bosonic string, this explains how the auxiliary ghosts enforce gauge invariance while the physical spectrum retains positive norm.

Let $Y$ be the compact coordinate, identified modulo $2\pi R$. The closed string may wrap the circle:Single-valued momentum eigenfunctions $e^{ipY}$ require $p=n/R$, $n\in \mathbb{Z}$. These are the momentum and winding modes. Write the chiral zero-mode momenta asThe left-moving string oscillators will be tilded: $N_L=\tilde{N}$, $N_R=N$. This fixes the sign in compact-circle closed-string level matching.

Define the lower-dimensional mass by $M^2=-p_{\mathrm{noncompact}}^2$. The two closed-string physical-state Virasoro conditions, with bosonic string intercept one, areTheir average and difference derive the complete free bosonic string mass spectrum on the circle:The allowed states have nonnegative integer oscillator levels and obey the Virasoro constraints within each chiral sector. Compactification has not removed oscillator polarizations; it has added quantized compact momentum and allowed winding while changing the lower-dimensional interpretation of those polarizations.

At large $R$, the momentum and winding modes with $w=0$ have closely spaced momentum energies $|n|/R$, whereas nonzero winding costs $|w|R/{\alpha }^{\prime }$. At small $R$ their roles reverse. The precise equality is T-duality:It leaves $p_L$ unchanged and reverses $p_R$, and leaves the mass formula and closed-string level matching unchanged. On the string embedding map it reverses the right-moving part of $Y$. Therefore the small-radius spectrum is the large-radius spectrum of the dual theory, rather than a spectrum in which all charged states simply become heavy.

At a generic radius, the neutral level $(N_L,N_R)=(1,1)$ contains the lower-dimensional graviton, Kalb–Ramond field and dilaton, two gauge bosons from the mixed components of the metric and two-form, and the radius modulus of a string compactification. The two vector charges are the Cartan charges of $U(1{)}_L\times U(1{)}_R$.

Consider instead the following charged states:Every state satisfies compact-circle closed-string level matching. The single noncompact string oscillator supplies a vector polarization. At the massless point, the level-one Virasoro constraint imposes transverse polarization and its physical null string state identifies polarizations differing by the noncompact momentum. Thus these are genuine lower-dimensional vector states. Their squared mass isThus four additional charged massless spin-one particles appear atFor $(N_L,N_R)=(0,1)$ the charges have $p_R=0$, $p_L=\pm 2/\sqrt{{\alpha }^{\prime }}$; for $(1,0)$ they have $p_L=0$, $p_R=\pm 2/\sqrt{{\alpha }^{\prime }}$. This identifies the two pairs of charged roots.

The enhanced gauge group can be derived rather than just inferred from counting. At the self-dual circle, the chiral compact boson satisfies $Y_L(z)Y_L(u)\sim -({\alpha }^{\prime }/2)\log (z-u)$. The self-dual circle current algebra has currentsThe exponentials have conformal weight ${\alpha }^{\prime }{p}_L^2/4=1$. Free-boson contractions give the operator product expansionsThey form the level-one SU(2) Lie algebra, and there is an independent right-moving copy. The string vertex operators $J_L^a\bar{\partial }{X}^{\mu }$ and $\partial X^{\mu }{J}_R^a$ give the six massless vectors. ConsequentlyChanging $R$ gives the four charged vectors the mass found above, consistent with the radius deformation as a Higgs mechanism.

For completeness, the enhanced spectrum also has scalar fields. Using a compact rather than noncompact oscillator in the four singly excited charged families gives four scalars. At $(N_L,N_R)=(0,0)$, closed-string level matching requires $nw=0$; the mass equation then gives the four charges $(\pm 2,0),(0,\pm 2)$. These exceptional massless ground states of a bosonic circle give another four scalars. Together with the radius scalar they form nine scalars in the $(3,3)$ representation, in addition to the neutral dilaton. The ever-present neutral bosonic tachyon still has $M^2=-4/{\alpha }^{\prime }$. The enhancement establishes the additional massless vectors, not stability of the entire bosonic vacuum.

The RNS string adds worldsheet Majorana fermions ${\psi }^{\mu }$ to the coordinate fields $X^{\mu }$. The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action iswhere ${\rho }^a$ are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current $G\propto \psi \cdot \partial X$.

Each real worldsheet Majorana fermion contributes $1/2$ to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes $-26$, and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights $(3/2,-1/2)$, with central charge $11$. ThusIn light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.

On the doubled spatial interval of an open string, the two allowed fermionic periodicities areThey arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators $d_n$, including $d_0$, and the Neveu–Schwarz sector has half-integer oscillators $b_r$, $r\in \mathbb{Z}+1/2$, without zero modes. In either sector,A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.

The Ramond zero-mode Clifford algebra isHence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation $p_{\mu }{\Gamma }^{\mu }u=0$. In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.

The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is $\frac{1}{2}\zeta (-1)=-1/24$. Per fermion it is the negative of the corresponding half-sum. Since $\zeta (-1,1/2)=1/24$, the eight transverse pairs giveThus $a_{\mathrm{NS}}=1/2$, $a_{\mathrm{R}}=0$, and the open string mass formula is ${\alpha }^{\prime }{M}^2=N-a$. This distinguishes the lowest states explicitly:

The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining $F_{\mathrm{osc}}$ so that the NS vacuum has $F_{\mathrm{osc}}=0$, its projector isIt removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may writeHere $F_{\mathrm{osc}}$ counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.

For a closed string, both chiral zero-mode constraints must hold:This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.

For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by $C_1,C_3$, with transverse counts $8+56=64$. The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are $C_0,C_2,C_4$, with self-dual five-form field strength, giving $1+28+35=64$. Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.

If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential $C_2$, and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select $SO(32)$. This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.

Use a mostly-plus Minkowski metric and string tension $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. The Polyakov action isVarying the auxiliary metric sets its worldsheet stress-energy tensor to zero and makes $h$ conformal to the induced metric. Substitution gives the equivalent Nambu–Goto action $-T\int \sqrt{-\det ({\partial }_{a}X\cdot {\partial }_{b}X)}$. The string coupling is separate from $T$. A constant dilaton contributes $S_{\Phi }={\Phi }_0\chi (\Sigma )$ to the Euclidean action, by the Gauss-Bonnet theorem, including its boundary term when necessary. With $g_s=e^{{\Phi }_0}$, a connected worldsheet has weight $g_s^{-\chi }$. For an oriented closed surface of genus $g$, this is $g_s^{2g-2}$; with $b$ boundaries it is $g_s^{2g+b-2}$. Normalizing each external closed string vertex with a factor $g_s$ gives $g_s^{2g+M-2}$ for $M$ external closed strings. This is the string genus expansion.

The local gauge symmetries are worldsheet diffeomorphisms, under which $X$ is a scalar field, and Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$. Two coordinate functions and one Weyl function locally fix the three components of the two-dimensional metric, giving conformal gauge $h_{ab}=e^{2\omega }{\eta }_{ab}$ and then $\omega =0$. Globally one instead chooses a fiducial metric and integrates over the worldsheet moduli; conformal Killing transformations can remain. Target-space Poincaré transformations are global symmetries, not additional local gauge freedoms.

For an infinitesimal coordinate change $v$, the trace-free metric variation isAfter the Weyl trace is removed, gauge fixing produces the Faddeev-Popov determinant of this operator. An anticommuting vector $c^a$ and symmetric traceless tensor $b_{ab}$ represent that determinant through a Grassmann Gaussian integral. The resulting worldsheet ghost action is, up to field-normalization conventions,In complex coordinates this is a sum of chiral $b\bar{\partial }c$ and antichiral $\tilde{b}\partial \tilde{c}$ terms. The worldsheet ghost fields have conformal weights two and minus one. Their central charge is $-26$, while the $d$ free embedding bosons contribute $d$. In the critical dimension the total anomaly cancels, consistently with the stated nilpotence of the BRST charge.

Physical states are BRST cohomology classes at the appropriate ghost number: $\ker Q/\mathrm{im}Q$, with $Q|\varphi ⟩=0$ and $|\varphi ⟩\sim |\varphi ⟩+Q|\chi ⟩$. Nilpotence ensures that an exact state is closed and that the equivalence is well-defined. For the usual open string representatives the physical ghost number is one. BRST-exact excitations describe gauge or null directions rather than additional physical particles.

To calculate the ghost oscillator Virasoro generators, use the elementary fermionic identitieswhen $A,B,C$ are odd. In the first commutator only $\{c_{-k},b_n\}={\delta }_{k,n}$ survives, givingIn the second only $\{b_{m+k},c_n\}={\delta }_{m+k+n,0}$ survives, givingNormal-ordering constants commute with the string oscillators and do not change these results.

For the last request choose the ghost oscillator vacuum $|\downarrow ⟩$ with $b_{m>0}|\downarrow ⟩=c_{m>0}|\downarrow ⟩=b_0|\downarrow ⟩=0$. The given conditions restrict a general state to $|\varphi ⟩=|\Psi ⟩\otimes |\downarrow ⟩$ with no nonzero ghost excitations. Indeed, the positive modes annihilate both members of each creation–annihilation pair, and $b_0$ selects one member of the ghost zero-mode doublet. Use the ghost Virasoro zero-mode convention compatible with the displayed explicit $-c_0$ term. Reordering the charge givesThe normal-ordered cubic term annihilates $|\downarrow ⟩$. If both $c$ modes are creators, $m,n\ge 0$, the $b_{m+n}$ mode is an annihilator, including $b_0$. If either $c$ is an annihilator, normal ordering puts an annihilator on the right. ConsequentlyThese ghost states are independent. Acting with $b_0$ isolates $(L_0^{\alpha }-1)|\Psi ⟩$, while $b_m$, $m>0$, isolates $L_m^{\alpha }|\Psi ⟩$. Thus closure is equivalent toConversely these conditions make every term in $Q|\varphi ⟩$ vanish. They are exactly the physical-state Virasoro conditions for an open string; the cohomology quotient additionally identifies physically equivalent representatives.

Separate the constant embedding coordinate from its nonzero modes. Its integral gives the momentum-conservation delta function; below this is understood and absorbed into the amplitude normalization on the momentum-conserving locus. For the nonzero modes the Euclidean Polyakov action is quadratic, with worldsheet Green functionTreat the tachyon vertex operators as normal ordered, removing coincident self-contractions. The Gaussian functional integral, or the same calculation by Wick's theorem, givesAll remaining determinants are independent of the insertion points and momenta and enter the overall constant. This derives the Koba-Nielsen factor and the requested position integral.

For the Möbius transformation $f(z)=(az+b)/(cz+d)$, $ad-bc=1$, one hasThe transformed Koba-Nielsen factor contributes, at insertion $r$, the power $-{\alpha }^{\prime }{\sum }_{s\ne r}{k}_r\cdot k_s$ of $|c{z}_r+d|$. Four-momentum conservation makes this power ${\alpha }^{\prime }{k}_r^2$. The complete differential integrand therefore transforms byIt is invariant when ${\alpha }^{\prime }{k}_r^2=4$ for every external tachyon. The correlator alone is covariant; the integration measures are necessary for invariance. The group acting faithfully on the sphere is $PSL(2,\mathbb{C})$, with the two elements $\pm I$ of $SL(2,\mathbb{C})$ acting identically.

The apparent integral over all positions includes the residual conformal-group gauge volume. Divide by it and fix three distinct insertions. The Faddeev-Popov determinant, equivalently the three-point worldsheet ghost correlator and its conjugate, contributesSet $z_1=\Lambda$, $z_2=0$, $z_4=1$, then send $\Lambda$ to infinity on the sphere; the sign of the real direction is irrelevant. The factors involving $z_1$ behave as $|\Lambda {|}^{{\alpha }^{\prime }{k}_1\cdot {\sum }_{s\ne 1}{k}_s}=|\Lambda {|}^{-4}$, while $J\sim |\Lambda {|}^4$. They cancel, leaving $z_3=z$ as the one integration variable.