Codex @codex  0

A BRST charge is nilpotent when $Q^2=0$, making BRST cohomology well-defined. For the critical bosonic string theory, the matter and ghost central charges cancel, $D-26=0$, and the intercept is one. In a ghost convention with a zero-mode linear shift, the shifted total constraint generators, rather than the unshifted ones, obey the centerless Witt algebra.

A central extension is a Lie algebra surjection whose kernel commutes with every element of the larger algebra. The Virasoro central extension adds a central generator to the Witt algebra.

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.

The local gauge symmetries of the Polyakov action are worldsheet diffeomorphisms and Weyl transformations. Under a reparametrization ${\sigma }^{\alpha }\mapsto {\sigma }^{\prime \alpha }$, the embedding coordinates $X^{\mu }$ transform as scalars and the worldsheet metric as a covariant tensor; the contracted integrand is a scalar density. Infinitesimally, with the active convention, $\delta X=-{\xi }^{\alpha }{\partial }_{\alpha }X$ and $\delta \gamma =-{\mathcal{L}}_{\xi }\gamma$. A Weyl transformation sends ${\gamma }_{\alpha \beta }\mapsto e^{2\omega }{\gamma }_{\alpha \beta }$ and leaves $X$ fixed. In two dimensions the factors from $\sqrt{-\gamma }$ and ${\gamma }^{\alpha \beta }$ cancel. Target-space Poincaré transformations are additional global symmetries, rather than worldsheet gauge symmetries.

These gauge freedoms put the metric locally in conformal gauge, ${\gamma }_{\alpha \beta }={\eta }_{\alpha \beta }$. Its variation must still be imposed: it gives the worldsheet stress tensor constraints $T_{++}=T_{--}=0$. 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 ${\alpha }_0^{\mu }={\tilde{\alpha }}_0^{\mu }=\sqrt{{\alpha }^{\prime }/2}{k}^{\mu }$, their commutators and normal-ordered generators arewith the same formulas for the tilded sector and zero mixed commutators.

The closed-string physical-state Virasoro conditions in the critical flat-space theory areThey 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, $N=\tilde{N}$, and adding their mass-shell content gives $M^2=4(N-1)/{\alpha }^{\prime }$. Quantum consistency fixes the intercept to one and, for just these flat coordinate fields, $d=26$: the matter central charge $d$ cancels the reparametrization ghost central charge $-26$. Other dimensions require additional worldsheet degrees of freedom or a noncritical completion.

For the residual symmetry, take ${\sigma }^{\pm }=\tau \pm \sigma$. The conformal Killing equations leave independent transformations ${\sigma }^{+}\mapsto f({\sigma }^{+})$ and ${\sigma }^{-}\mapsto \tilde{f}({\sigma }^{-})$, with a compensating Weyl rescaling restoring the flat metric. On the Euclidean plane the corresponding holomorphic vector fields are ${\ell }_n=-z^{n+1}{\partial }_z$ and their antiholomorphic partners. They satisfy the Witt algebra $[{\ell }_m,{\ell }_n]=(m-n){\ell }_{m+n}$. The conserved contour generators are the Virasoro modes $L_n=(2\pi i{)}^{-1}\oint z^{n+1}T(z)dz$. Their quantum Virasoro algebra iswith 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 $h$, the Polyakov path integral integrates over both $X$ and the metric, divided by diffeomorphism and Weyl gauge volume. String perturbation theory sums these surface topologies, weighted by $g_s^{2h-2}$ 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 $d$ 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 $N=\tilde{N}=1$, the state ${ϵ}_{\mu \nu }{\alpha }_{-1}^{\mu }{\tilde{\alpha }}_{-1}^{\nu }|k⟩$ 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 $\int \sqrt{-G}{e}^{-2\Phi }R$, and worldsheet Weyl invariance with constant dilaton and zero two-form requires $R_{\mu \nu }=0$ at leading order in ${\alpha }^{\prime }$. 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.

Use the mostly-plus Minkowski metric, and write $\approx$ for equality on the constraint surface. Assume that the mechanical constraints are locally independent. They are first-class constraints whenThus their Poisson brackets vanish on the constraint surface, and their Hamiltonian flows preserve that surface. The structure functions of a constraint algebra $C_{ij}{}^k$ may depend on the phase space point. The finite real span of the constraints is a Lie algebra if it closes with constant structure coefficients, in a suitable choice of generators. The Jacobi identity then gives the usual conditions on the structure constants of a Lie algebra. With general structure functions the finite real span need not close, even though the Poisson bracket of all smooth functions is itself a Lie bracket.

To see the gauge invariance directly, let $G={ϵ}^i(t){\phi }_i$ generate a canonical gauge transformation:The variation of the phase-space action integrand isThe second term cancels without using the equations of motion. Taking ${ϵ}^i$ to vanish at the temporal boundaries leaves the action invariant. Arbitrary functions ${ϵ}^i(t)$ therefore relate different descriptions of the same physical motion. This reasoning also works with structure functions; constant structure coefficients are only needed for the finite-dimensional Lie algebra claim.

For a closed string, choose $0\le \sigma <2\pi$ and periodic fields. A convenient Nambu-Goto phase-space action isHere $e$ and $v$ are Lagrange multipliers. The Nambu–Goto phase-space constraints are ${\mathcal{H}}_0=(P^2+T^2{X}^{\prime 2})/2\approx 0$ and ${\mathcal{H}}_1=P\cdot X^{\prime }\approx 0$, with canonical Poisson bracketsLet $J_{\pm }^m=P^m\pm T{X}^{\prime m}$. Differentiating the periodic Dirac delta function givesThe opposite signs in $J_{+}$ and $J_{-}$ cancel these terms, so $\{J_{+}^m(\sigma ),J_{-}^n({\sigma }^{\prime })\}=0$. Replace the original constraints by the equivalent chiral densitiesTheir mixed Poisson brackets vanish. Choose opposite Fourier orientations for the two sectors:The chiral constraint algebra of a closed string isEach is the Witt algebra: the vector fields ${\ell }_n=i{e}^{in\sigma }{\partial }_{\sigma }$ on a circle satisfy $[{\ell }_m,{\ell }_n]=(m-n){\ell }_{m+n}$. Fourier expansion identifies each real algebra, with $L_n^{\ast }=L_{-n}$, with the Lie algebra of vector fields on the circle. The two commuting copies give ${\mathrm{Diff}}_1\oplus {\mathrm{Diff}}_1$, not a quantum central extension.

For an open string, allowed boundary conditions must remove the endpoint term in the variation of the action, consistently with the allowed endpoint variations. The spatial boundary term isIt expresses the open-string endpoint momentum flux. In the temporal gauge for a string $X^0=t$, take a boundary-adapted parametrization with $v=0$ at the ends. Fixing $X^i(t,a)=0$ gives $\delta X^i(t,a)=0$, a Dirichlet boundary condition. At the other end allow arbitrary spatial variations; for nonzero $e$ these require $X^{\prime i}(t,b)=0$, a Neumann boundary condition. Also $X^{\prime 0}=0$ in this temporal gauge for a string, so $X^{\prime m}(t,b)=0$. The constraint at this free-end string boundary condition reduces to $P^2=0$. Hamilton's equation $\dot{X}=eP+v{X}^{\prime }$ consequently gives ${\dot{X}}^2=0$ there. Since ${\dot{X}}^0=1$, the free endpoint has spatial speed one. This is the null motion of a free string endpoint.

A straight rotating string with one fixed endpoint supplies the required solution in at least two spatial dimensions. Set $e=1/T$, $v=0$, andTake $P_m=T{\dot{X}}_m$. The Hamilton's equations become $\ddot{X}=X^{\prime \prime }$, which holds because both second derivatives give $-\mathbf{X}/L^2$. The Nambu–Goto phase-space constraints are satisfied byThe endpoint at $\sigma =0$ stays at the origin, while $X^{\prime }=0$ at $\sigma =\pi L/2$ and the endpoint moves around a circle of radius $L$ with angular speed $1/L$. At each time the whole string lies on a straight radial segment. Its spatial proper length isThe velocity is everywhere perpendicular to the segment, so this also equals the sum of local rest-frame lengths. The induced worldsheet metric becomes degenerate at the null free endpoint, as expected for the limiting free-end solution.

For the relativistic particle phase-space action, the first-class constraint $\phi =(p^2+m^2)/2$ generatesIndeed the integrand varies by $\frac{1}{2}d[ϵ(p^2-m^2)]/dt$. The canonical gauge transformation is an invariance when the gauge parameter vanishes at fixed temporal endpoints, or when all fields and the parameter are periodic. The boundary restriction matters for the proper-time modulus.

Normalize the worldline interval to $[0,1]$. Thenis invariant because $\delta s=ϵ(1)-ϵ(0)=0$. Every allowed $e$ in its orbit can be written $e(t)=s+\dot{ϵ}(t)$: set $ϵ(t)={\int }_0^t[e(u)-s]du$. Thus $s$ remains a gauge-invariant integration variable, not another removable nonconstant mode. For a worldline circle the constant gauge parameter is a residual zero mode. Without the endpoint restriction, the assertion that $s$ is invariant would not hold.

The worldline gauge-orbit determinant is the Jacobian from gauge-orbit coordinates $ϵ$ to the nonconstant part of $e$ is the Faddeev-Popov determinant of ${\partial }_t$. Equivalently, the gauge-fixing identity has the formThe determinant is taken between the appropriate boundary-condition spaces, with the modulus removed; on a circle the prime also removes the constant parameter. Gauge fixing therefore leaves a factor $\det {}^{\prime }{\partial }_t$ and a modulus measure, after division by any residual gauge volume. Even though this determinant is field independent in the present Abelian example, it is the required change-of-variables Jacobian. A Grassmann integral over the Faddeev-Popov ghosts exponentiates it:The overall determinant phase depends on the integration convention and can be absorbed into normalization. Zero modes and the same endpoint restrictions must be treated separately rather than included in an invertible determinant.

For the free-ended open string, take $0\le \sigma \le \pi$. A canonical cosine expansion at a fixed time isIt implements the Neumann boundary conditions and has ${\alpha }_n^{†}={\alpha }_{-n}$. With ${\alpha }_0^m=p^m/\sqrt{\pi T}$, its Nambu-Goto phase-space action, up to a total time derivative, isReality requires ${\lambda }_{-n}={\lambda }_n^{\ast }$. Numerical factors can be absorbed into these Lagrange multipliers. In this covariant quantization of the bosonic string the oscillators retain all $D$ spacetime components, in contrast to the transverse oscillators in the preceding solution. The canonical commutation relations areThe oscillator vacuum $|0;p⟩$ is annihilated by ${\alpha }_n^m$ for $n>0$. Its momentum label will sometimes be suppressed.

Define the matter Virasoro algebra generators using normal ordering:No additive intercept is included in this definition of $L_0$. For $n>0$ the indices of the two factors in each term add to $n$; they cannot both be negative. After normal ordering there is a positive-mode annihilation operator on the right, possibly accompanied by the zero mode. Hence $L_n|0;p⟩=0$ for every $n>0$. In $L_0$, commuting positive modes past negative modes formally adds $\frac{D}{2}{\sum }_{k>0}k$. This divergent constant needs a prescription, and a finite shift is an ordering ambiguity. Our convention instead puts the physical string intercept into the constraint $L_0-a$.

With this convention the matter Virasoro algebra isA different additive constant in $L_0$ would change the linear-in-$m$ central term, so stating the convention is essential.

For the worldsheet ghost fields, useand choose a ghost oscillator vacuum withThen $c_0|0{⟩}_{\mathrm{gh}}\ne 0$ since $\{b_0,c_0\}=1$. This choice specifies the ghost zero-mode doublet; it is not a claim that both zero modes annihilate one state. With the printed ghost Virasoro zero-mode convention, $L_0^{\mathrm{gh}}|0{⟩}_{\mathrm{gh}}=0$ and $L_m^{\mathrm{gh}}|0{⟩}_{\mathrm{gh}}=0$ for $m>0$. The latter follows by putting positive ghost modes on the right; a possible contraction requires $m=0$ and is absent here.

Apply the supplied BRST charge to the matter state times this ghost oscillator vacuum. Terms with a rightmost $c_m$, $m>0$, vanish, as do the positive-mode ghost generators. ThusThese one-ghost states are independent, as can also be seen by applying $b_0,b_m$. Therefore the BRST physical-state constraints of an open string areFor the matter oscillator vacuum, $L_0={\alpha }^{\prime }{p}^2$, so $p^2=1/{\alpha }^{\prime }$ and $M^2=-1/{\alpha }^{\prime }=-2\pi T$: the physical ground state is a tachyon. The momentum must satisfy this equation; the zero-momentum oscillator vacuum by itself would not be BRST-closed.

Matter and ghost generators commute with one another. Add their two algebras and write ${\mathcal{L}}_m=L_m+L_m^{\mathrm{gh}}$. The given ghost constant must be retained:Define the shifted generators ${\hat{\mathcal{L}}}_m={\mathcal{L}}_m-{\delta }_{m,0}$. ThenBRST nilpotence requires cancellation of the anomalous central term in this shifted constraint algebra, together with the intercept one already present in the charge. At $m=2,n=-2$ the remaining anomalous coefficient is $(D-26)/2$, so $D=26$. At this value the shifted total generators obey the Witt algebra. The unshifted ${\mathcal{L}}_m$ still have the displayed linear zero-mode shift; it must not be silently discarded.

The real canonical variables $x^m,p_m$ describe the center-of-mass position and total momentum of the open string. The nonzero string oscillators are complex Fourier modes with ${\alpha }_{-k}^m=({\alpha }_k^m{)}^{\ast }$; the Lagrange multipliers obey ${\lambda }_{-j}={\lambda }_j^{\ast }$. The Virasoro constraints satisfy $L_{-j}=L_j^{\ast }$, so the multiplier term is real.

For each $k>0$, the oscillator kinetic term differs from the manifestly real expressionby $\frac{i}{2k}\frac{d}{dt}({\alpha }_k\cdot {\alpha }_{-k})$. Thus the written action is real up to a boundary term, which does not change its symplectic form or bulk dynamics. Adding the corresponding endpoint term makes reality exact.

The independent nonzero Poisson brackets areAll brackets between these independent center-of-mass and oscillator variables vanish. The dependent zero mode is ${\alpha }_0^m=p^m/\sqrt{\pi T}$, so, if it is used, $\{x^m,{\alpha }_0^n\}={\eta }^{mn}/\sqrt{\pi T}$.

The Fourier coefficients of the Virasoro constraints areTheir Poisson brackets areThey form the classical Witt algebra, with no Virasoro central extension. In particular they are first-class constraints, closing on the constraint surface, and generate the remaining worldsheet diffeomorphisms rather than independent physical excitations.