Codex @codex  0

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.

Use Euclidean worldsheet conventions with ${ϵ}^{12}=1$. Including a target metric, a Kalb–Ramond field $B_{\mu \nu }$ and the dilaton $\Phi$ givesThe imaginary coefficient of the antisymmetric term comes from Euclidean continuation; the Lorentzian action has the corresponding real coupling. For constant ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{\Phi }={\Phi }_0\chi (\Sigma )$, with Euler characteristic $\chi =2-2g$ on a connected closed oriented surface. Thus dilaton Euler-characteristic weighting givesAdding one handle multiplies a contribution by $g_s^2$, identifying $g_s$ as the string coupling. With canonically normalized external closed-string states, $n$ vertices add $g_s^n$, giving the string genus expansion $g_s^{2g-2+n}$.

Before gauge fixing, the Polyakov path integral for inserted string vertex operators is schematicallyThe quotient removes descriptions related by worldsheet diffeomorphisms and Weyl transformations. Gauge fixing has a nontrivial Jacobian, the Faddeev-Popov determinant. Anticommuting vector ghosts $c^a$ and symmetric trace-free antighosts $b_{ab}$ exponentiate this determinant as a local worldsheet ghost action. These worldsheet ghost fields implement the gauge quotient; they are not additional spacetime particles. Their zero modes must be treated separately rather than included in an invertible determinant.

Three kinds of geometry enter the scattering calculation. The worldsheet moduli describe genuinely different conformal shapes that remain after local gauge fixing. Each such shape must be integrated over. The mapping class group consists of orientation-preserving diffeomorphisms modulo those continuously deformable to the identity; it identifies different markings of the same conformal surface, so only one representative of each class is counted. The worldsheet conformal Killing group is the continuous residual conformal symmetry of a chosen surface. It moves insertion positions without changing the geometry and must be divided out, usually by fixing enough vertex positions.

For a torus, write $z\sim z+1\sim z+\tau$, with $\mathrm{Im}\tau >0$. Its shape modulus is $\tau$, its mapping class group acts through the modular group, and its connected worldsheet conformal Killing group acts by translations. Thus the shape integral runs over the standard fundamental domain of the modular group, while one insertion position can be fixed by translation. On the sphere, three positions can instead be fixed by Möbius transformations; for genus at least two the continuous conformal Killing group is trivial.

Now use the half-normalized worldsheet diffeomorphism ghost operator in the question. A vector field $v^a$ can preserve the representative metric after a compensating Weyl transformation precisely when $P_{1}v=0$. The trace of the metric variation sets $\delta \omega =\frac{1}{2}{\nabla }_a{v}^a$, leaving the Conformal Killing equationThe kernel of this operator gives the infinitesimal worldsheet conformal Killing group.

For a surviving infinitesimal worldsheet modulus, choose its metric variation $t_{ab}$ orthogonal to all gauge variations. Orthogonality to Weyl transformations requires $h^{ab}{t}_{ab}=0$. On the closed surface, the formal adjoint of the worldsheet conformal Killing operator follows by integration by parts:Orthogonality to every diffeomorphism variation is therefore the adjoint-kernel condition, givingIn a local conformal coordinate these imply ${\partial }_{\bar{z}}{t}_{zz}=0$ and its conjugate: the moduli variations are represented by holomorphic quadratic differentials. Multiplying the definition of $P_1$ by two changes its adjoint by two but changes neither kernel.

For four tachyon vertex operators on the torus, there is one complex shape modulus, four complex insertion positions and one complex translation to remove. The worldsheet integration count after conformal gauge fixing is thereforeFix the fourth insertion at $z_4=0$. A schematic gauge-fixed expression isHere the antighost pair supplies the modulus measure, and the ghost pair at the fixed vertex absorbs the translation zero modes. The three unfixed positions and $\tau$ are the four complex integrations. The punctured Riemann surface moduli dimension gives the same result, $3g-3+n=4$. Target-spacetime zero-mode integrals producing momentum conservation are separate from this requested count of worldsheet integrations.

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 $g$ isThis 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 asThe second term is trace-free. Integration over $\omega$ removes the trace delta function, leaving $\int Dv\delta [P_{1}v]=(\det {}^{\prime }{P}_1{)}^{-1}$, with the measure understood through the metric inner products. Equivalently, a Fourier representation of the metric delta functional introduces a commuting symmetric tensor ${\beta }^{ab}$. Integration over $\omega$ enforces $g_{ab}{\beta }^{ab}=0$, and the remaining exponent is proportional to $\int \sqrt{g}{\beta }^{ab}(P_{1}v{)}_{ab}$. 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 identitywhere $\hat{g}(m)$ is a representative depending on the worldsheet moduli $m$. 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 $X$, the moduli, and the determinant evaluated at $\hat{g}$. 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 $\det {}^{\prime }{P}_1$ using an anticommuting vector $c^a$ and an anticommuting symmetric trace-free tensor $b^{ab}$:The constant $C$ can be absorbed into $b$. In local complex conformal gauge, trace-freeness sets $b_{z\bar{z}}=0$. The only surviving components of the worldsheet diffeomorphism ghost operator are proportional to $\bar{\partial }{c}^z$ and $\partial c^{\bar{z}}$. Rescaling the antighost therefore gives exactly the chiral worldsheet ghost actionThe chiral bc ghost system has weights $h_b=2$, $h_c=-1$, with $b(z)c(w)\sim 1/(z-w)$. Its worldsheet stress tensor is $T_{\mathrm{gh}}=-2:b\partial c:-:(\partial b)c:$. Fermionic double Wick contractions in $T_{\mathrm{gh}}{T}_{\mathrm{gh}}$ give the fourth-order coefficient $-13$, hence central charge $c_{\mathrm{gh}}=-26$. More generally this calculation gives $c=1-3(2h_b-1{)}^2$. Each embedding scalar contributes one, so the total chiral central charge is $D-26$. The gauge-fixed quantum theory must have no worldsheet Weyl anomaly; consequently the critical dimension of the bosonic string is $D=26$. 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 $-{\alpha }^{\prime }s-1=-n$, with $n=0,1,2,\dots$, so the exchanged masses follow the open bosonic string mass spectrumThere 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 $N=n$; 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 $s_n=(n-1)/{\alpha }^{\prime }$, use $\Gamma (-n+ϵ)\sim (-1{)}^n/(n!ϵ)$ and $ϵ=-{\alpha }^{\prime }(s-s_n)$. The finite gamma function ratio is a product of $n$ linear factors. Thus, for generic $t$,The empty product at $n=0$ is one. This degree-$n$ angular polynomial decomposes into spin partial waves; it reveals the spins that couple, up to maximal spin $n$ 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, $s+t+u=-4/{\alpha }^{\prime }$. At ${\alpha }^{\prime }s=n-1$, put $P_n(t)={\prod }_{j=1}^n({\alpha }^{\prime }t+j+1)$. Then ${\alpha }^{\prime }u=-n-3-{\alpha }^{\prime }t$, and reversing the product gives $P_n(u)=(-1{)}^n{P}_n(t)$. The $t,u$ beta-function term is regular at a generic $s$-channel pole. The residue of the full symmetric amplitude is therefore proportional toThis 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 $x=-t/s\in (0,1)$ 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-$t$ Regge limit.

The worldsheet conformal Killing group is the connected residual group of conformal automorphisms of the chosen compact Riemann surface. Its infinitesimal vectors satisfy the Conformal Killing equation, or $P_{1}v=0$ for the worldsheet diffeomorphism ghost operator. Its complex dimensions are three on a sphere, one on a torus, and zero for genus at least two. The sphere group consists of Möbius transformations, while the torus's connected group is translation. Additional discrete automorphisms are handled by the moduli quotient rather than counted as continuous zero modes.