Codex @codex  0

Crossing symmetry relates scattering amplitudes by analytic continuation exchanging incoming and outgoing particles. A symmetric four-point scalar amplitude has equivalent descriptions under permutations of the Mandelstam variables.

Use a mostly-plus target Minkowski spacetime metric and restore the string tension by $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string $d=26$. Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.

A tachyon vertex operator isThe worldsheet Green function is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. The operator product expansion with the holomorphic stress-energy tensor gives conformal weights $({\alpha }^{\prime }{k}^2/4,{\alpha }^{\prime }{k}^2/4)$. An integrated string vertex operator must have weights $(1,1)$, so the mass-shell condition is $k^2=4/{\alpha }^{\prime }$, or tachyonic mass parameter $m^2=-4/{\alpha }^{\prime }$.

At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry $c\bar{c}$, while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.

The integral over the constant embedding worldsheet zero mode gives $(2\pi {)}^d{\delta }^{(d)}({\sum }_i{k}_i)$. The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet $(z_1,z_2,z_3,z_4)=(0,z,1,\infty )$; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply $s+t+u=-16/{\alpha }^{\prime }$. Since ${\alpha }^{\prime }{k}_1\cdot k_2=-4-{\alpha }^{\prime }s/2$ and similarly for the pair $(2,3)$, the sphere tachyon position integral becomesHere $\mathcal{N}$ depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.

To evaluate the remaining worldsheet modulus, put $a=-1-{\alpha }^{\prime }s/4$ and $b=-1-{\alpha }^{\prime }t/4$. The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for $\mathrm{Re}a,\mathrm{Re}b>0$ and $\mathrm{Re}(a+b)<1$; the scattering result is its analytic continuation. The third gamma-function argument is $1-a-b=-1-{\alpha }^{\prime }u/4$. Absorbing $\pi$ into $\mathcal{N}$, the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at $q=4(N-1)/{\alpha }^{\prime }$, matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus $g$ has coupling power $g_s^{2g+2}$.

Variation with respect to the Dirac adjoint, the Dirac field, and the real scalar field respectively givesThe derivative in the adjoint equation acts to the left; its sign follows by integrating $i\bar{\psi }{\gamma }^{\mu }{\partial }_{\mu }\delta \psi$ by parts. The Yukawa interaction supplies a spacetime-dependent effective fermion mass and a scalar source.

Use $/p={\gamma }^{\mu }{p}_{\mu }$ and the convention $S_{fi}^{\mathrm{conn}}=i(2\pi {)}^4{\delta }^4(p_f-p_i)\mathcal{M}$. The momentum-space Feynman rules are: a scalar internal line contributes $i/(p^2-m^2+i0)$; an oriented fermion line contributes $i(/p+m)/(p^2-m^2+i0)$; and each scalar-fermion vertex contributes $-ig$ times the identity in spinor space. Impose four-momentum conservation at each vertex. Incoming and outgoing fermions supply $u$ and $\bar{u}$, while incoming and outgoing antifermions supply $\bar{v}$ and $v$; scalar external legs supply one. Loop momenta are integrated with $d^{4}p/(2\pi {)}^4$, a closed fermion loop contributes a minus sign, and graph symmetry factors are included. Relative signs between distinct contractions of identical external fermions follow from their anticommutation relations. These specify the Feynman rules also beyond the tree approximation.

Label incoming momenta $p_1,p_2$ and outgoing momenta $p_3,p_4$, with all external particles on shell. Write the Mandelstam variables as $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$, $u=(p_1-p_4{)}^2$, and abbreviate $D_r=r-m^2+i0$. Spin indices on $u_i,v_i$ are implicit. The six required tree-level Feynman diagrams are:

For two incoming fermions, the two diagrams exchange a scalar in the $t$ and $u$ channels. With external state ordering $b_1^{†}{b}_2^{†}|0⟩$ and $b_3^{†}{b}_4^{†}|0⟩$, the result isEach scalar-exchange contraction has two factors $-ig$ and one scalar Feynman propagator. Exchanging the final fermions reverses the sign, as required by their identical-particle statistics.

For a fermion and antifermion, there is $t$-channel scalar exchange and $s$-channel annihilation. Take both initial and final states ordered as fermion creator followed by antifermion creator. ThenThe relative minus is not optional. One way to track it is the antifermion sign of a normal-ordered bilinear: the antifermion scattering part of $:\bar{\psi }\psi :$ is $-d^{†}d\bar{v}v$, whereas its annihilation part is $db\bar{v}u$. Thus the exchange contraction has the opposite fermionic sign to the annihilation contraction before multiplying by $(-ig{)}^{2}i/D_r$. A different overall phase convention for external states changes the common sign of this amplitude, but cannot change the relative sign.

For fermion-scalar scattering, the fermion can absorb the incoming scalar before emitting the outgoing one, or emit first and absorb afterwards. The internal momenta are $p_1+p_2$ and $p_1-p_4$ respectively, givingBoth orderings have the same sign: there is only one open fermion line and no exchange of identical external fermions. There is no scalar-exchange $t$ diagram because this Yukawa interaction has no three-scalar vertex. These amplitudes describe tree scattering in Yukawa theory.

The conjugate complex scalar field has the opposite charge. Thus the derivative on ${\varphi }^{\ast }$ in the kinetic term must mean $(D_{\mu }\varphi {)}^{\ast }=({\partial }_{\mu }-ie{A}_{\mu }){\varphi }^{\ast }$, while the derivative on $\varphi$ is $D_{\mu }={\partial }_{\mu }+ie{A}_{\mu }$. This is the conjugate gauge covariant derivative. Applying the same plus-charge differential operator to both fields would not give the stated gauge-invariant theory. For example, take $A=0$, $\varphi =x^0$ and $\alpha =c{x}^0$; the literal plus-charge kinetic product changes from $1$ to $1+2iec{x}^0$. The opposite-charge interpretation removes this term.

For an arbitrary real function $\alpha (x)$, takeThen $D_{\mu }^{\prime }{\varphi }^{\prime }=e^{-ie\alpha }{D}_{\mu }\varphi$ and the conjugate derivative transforms oppositely. Also $F_{\mu \nu }^{\prime }=F_{\mu \nu }$ because mixed derivatives commute. The kinetic contraction and $|\varphi {|}^2$ are unchanged, proving local U(1) gauge symmetry.

Expanding the covariant kinetic term identifies the interactions:The first term gives the scalar electrodynamics three-point vertex, and the second gives the seagull vertex. For scalar charge flow from an incoming particle of momentum $p$ to an outgoing one of momentum $p^{\prime }$, the factors areThe factor two in the second rule comes from the two identical photon fields. Equivalently, with all momenta incoming, the three-point rule is $ie(r-q{)}^{\mu }$ for a $\varphi$ leg of momentum $q$ and a ${\varphi }^{\ast }$ leg of momentum $r$. An antiparticle line has the opposite charge-flow sign. The vertices are shown with dashed scalar lines and wavy photon lines:

For particle-antiparticle scattering, use incoming $p_1,p_2$ and outgoing $p_3,p_4$, with $p_1,p_3$ particle momenta. At order $e^2$, there are exactly two tree-level Feynman diagrams: $t$-channel photon exchange and $s$-channel annihilation. The seagull vertex has only two scalar legs and cannot alone provide four external scalar legs.

Set $q_t=p_1-p_3=p_4-p_2$ and $q_s=p_1+p_2=p_3+p_4$. The external currents areAll are transverse to the corresponding exchanged momentum: for instance $q_t\cdot J_t=p_1^2-p_3^2=0$ and $q_s\cdot J_s=p_1^2-p_2^2=0$. This is the on-shell scalar quantum electrodynamics Ward identity. With the vertex convention above,The relative sign comes from the opposite particle/antiparticle charge in the exchange diagram and the two equal annihilation-vertex signs.

To see how the Coulomb gauge expression becomes covariant, let $J,K$ be either pair, $q=(q^0,\mathbf{q})$, and initially take $|\mathbf{q}|\ne 0$. The displayed photon propagator givesCurrent conservation gives $\mathbf{J}\cdot \mathbf{q}=q^0{J}^0$ and the same identity for $K$. Since $q^2=(q^0{)}^2-|\mathbf{q}{|}^2$, the temporal coefficient simplifies asThereforeThe common Feynman pole prescription is understood in these formulas. This Coulomb-gauge propagator between conserved currents identity proves equality of the physical amplitudes despite the noncovariant individual propagator components. It should be formed before taking limits such as $\mathbf{q}\to 0$: individual instantaneous and transverse terms can be undefined separately in that limit while their sum has a finite covariant limit away from a physical pole.

Substitution gives the final scattering amplitudeHere $s,t,u$ are the Mandelstam variables for the equal-mass external scalars. This is scalar particle-antiparticle tree scattering; overall external-state phases do not affect its relative channel sign.

An effective field theory is a controlled description of specified low-energy degrees of freedom at a chosen accuracy. It does not require knowing all physics at arbitrarily short distances. If new particles or strong dynamics enter at a scale $M$, processes with characteristic energy and momentum transfers $E\ll M$ can be described using the light fields and interactions consistent with their symmetries. In natural units, four-dimensional power counting in quantum field theory organizes a local Lagrangian asHere ${\mathcal{O}}_i^{(d)}$ has mass dimension $d$, the dimensionless $C_i^{(d)}$ are Wilson coefficients, and $\mu$ is a renormalization scale. In a relativistic vacuum with canonical fields, a typical insertion of a dimension-$d$ interaction contributes an additional power $(E/M{)}^{d-4}$, multiplied by its couplings and any light mass ratios. Additional expansions, such as a loop expansion, must also be specified. Symmetry or on-shell identities can postpone a particular observable's first correction.

The theory is useful when its retained states and expansion parameters adequately describe the experiment. It ceases to be a reliable truncated local description near an omitted particle's production threshold, near a heavy propagator pole, or where the retained dynamics become too strongly coupled for an assumed perturbative expansion. A light particle cannot be removed merely because one wants fewer variables: its propagation can produce nonanalytic momentum dependence that must be represented by retained light fields. Heavy-field decoupling can shift renormalizable masses and couplings as well as generate suppressed interactions; those low-energy parameters must be measured or matched, not assumed unchanged. The ultraviolet cutoff is an organizational scale, while a calculation may use a regulator other than a hard momentum cutoff.

Construction starts by identifying the light particles, the hierarchy of scales, and the exact or approximate symmetries relevant to the problem. Form all allowed local field operators through the desired order in power counting in quantum field theory. Choose an operator basis in effective field theory: remove equivalent terms by integration by parts, algebraic identities and allowed field redefinitions. Operators proportional to lower-order equations of motion can be redundant operators for on-shell amplitudes, provided coefficients are consistently transformed. This reduces bookkeeping without imposing additional physics assumptions.

If an ultraviolet completion is known, determine the Wilson coefficients by matching in effective field theory: calculate low-energy amplitudes or appropriate correlation functions in both descriptions using the same infrared conventions, and adjust coefficients so they agree to the chosen order. Equivalently, integrating out a field performs its path integral while retaining the light fields as backgrounds. Heavy propagators have an analytic expansion below their singularities, producing a derivative expansion; heavy loops also generate local terms and logarithms in their coefficients. Without a specified ultraviolet completion, the coefficients are parameters to be constrained by data.

An effective field theory remains predictive even when it contains nonrenormalizable interactions. At each fixed order in energy and loops there are finitely many required coefficients and counterterms. Renormalization absorbs divergences into that order's allowed operators. The renormalization group evolves the Wilson coefficients between matching and measurement scales, compensating scale dependence in matrix elements and, when appropriate, resumming large logarithms. The truncation error in effective field theory is estimated from the first omitted orders, under a stated coupling-size assumption; it is separate from parameter uncertainty and cannot be inferred merely by writing down infinitely many terms.

A concrete example is heavy scalar exchange in effective field theory. Take a light real scalar field $\phi$ and a heavy real scalar field $S$, withThe coupling $a$ has mass dimension one. The light-field symmetry is $\phi \mapsto -\phi$. For $m^2\ge 0$ and $\lambda >3a^2/M^2$, the displayed scalar potential is bounded below: completing the square in $S$ leaves a positive light quartic. Thus the example can be treated as a stable theory around $S=\phi =0$, with weak enough couplings for the tree approximation.

At tree level the heavy equation of motion is $(M^2+\square )S=-a{\phi }^2/2$. Substitute its solution back into the action, including both its quadratic and source terms, to obtainThis is a derivative expansion valid for small momentum transfers, not an exact local replacement near the pole. The first term gives ${\lambda }_{\mathrm{eff}}=\lambda -3a^2/M^2$ in the $-{\lambda }_{\mathrm{eff}}{\phi }^4/4!$ convention. After integration by parts, the next term is $+a^2({\partial }_{\mu }{\phi }^2)({\partial }^{\mu }{\phi }^2)/(8M^4)$; it is a dimension-six local operator. Writing $a=g_{\ast }M$ puts its coefficient in the usual $g_{\ast }^2/M^2$ form. These coefficients are a tree-level matching in effective field theory result.

One can directly check the matching through the on-shell scattering amplitude for $\phi \phi \to \phi \phi$. With $s,t,u$ the Mandelstam variables, the full theory has three heavy-exchange channels:For $|s|,|t|,|u|\ll M^2$,The effective field theory reproduces these terms in order: a shifted quartic, then local derivative interactions. Since $s+t+u=4m^2$ on shell, the first derivative correction is a light-mass-dependent constant; it vanishes for $m=0$. This illustrates why an operator basis in effective field theory can trade some derivative operators for mass-dependent or higher-field interactions using field redefinitions. For massless external particles, the first nonconstant correction in this four-point tree amplitude starts at the following order.

The example exhibits the central logic: keep the light field, encode virtual heavy exchange in matched local coefficients, and control the error by expanding in momentum divided by the heavy scale. No heavy particle is actually produced in the domain of the approximation. Near $s=M^2$, the full propagator is resonant and the truncated effective field theory fails; retaining $S$ or adopting a different description is then necessary. Light loops are computed within the effective field theory, while higher-order matching supplies the corresponding heavy corrections.

Take an oriented closed string in flat, critical bosonic string theory, with ${\alpha }^{\prime }=1/(2\pi T)$ and a mostly-plus target Minkowski metric. After continuation of the worldsheet to Euclidean signature, the Polyakov path integral sums over embeddings $X$ and worldsheet metrics, divided by worldsheet diffeomorphisms and Weyl transformations. In a flat target its kinetic action isTarget-time continuation or analytic continuation of external momenta defines the Lorentzian scattering amplitude; a naive real Euclidean Gaussian for timelike $X^0$ would not be convergent.

An external tachyon is represented by the tachyon vertex operator $V_p(z,\bar{z})=:e^{ip\cdot X}:$, with conformal weights $h=\bar{h}={\alpha }^{\prime }{p}^2/4$. The physical integrated vertex has $(h,\bar{h})=(1,1)$, so $p^2=4/{\alpha }^{\prime }$. Schematically its tree amplitude isThe Faddeev-Popov determinant from conformal gauge is represented by the worldsheet ghost fields. At tree level the worldsheet is a Riemann sphere, whose unpunctured complex structure has no moduli. Its residual conformal automorphisms are the Möbius transformations, $PSL(2,\mathbb{C})$. Fix three insertion points, accompanying their unintegrated vertices by the required $c\tilde{c}$ ghost factors. The remaining $N-3$ complex insertion positions are integrated over the sphere; equivalently one integrates all positions and divides by the residual conformal group.

The embedding fields are free, withTheir zero-mode integral gives momentum conservation, and their nonzero-mode Gaussian integral gives the Koba-Nielsen factorThis explains the sphere tachyon position integral without needing its evaluation. For four tachyons the resulting Virasoro–Shapiro amplitude displays the exchanged string spectrum directly.

Use all-incoming external momenta and introduce $u=-(p_1+p_4{)}^2/(8\pi T)$ alongside the two printed dimensionless Mandelstam variables. Since $p_a^2=8\pi T$ and ${\sum }_a{p}_a=0$, one obtains $s+t+u=-4$. The physical center-of-mass energy squared in the $s$ channel is $s_{\mathrm{phys}}=8\pi Ts=4s/{\alpha }^{\prime }$. The $t$ channel measures the analogous crossed momentum transfer, with sign determined by the mostly-plus convention. Rewriting the Gamma factors in a symmetric form givesThe Gamma function poles imply, at generic fixed values of the other invariant,The denominator Gamma factors can remove residues at special intersecting channel kinematics; the statement concerns a generic single-channel limit. An $s$-channel pole occurs when the intermediate momentum $p_1+p_2$ satisfies the mass-shell condition for a closed-string state:The pole at $s=-1$ exchanges the ground-state tachyon, the pole at $s=0$ exchanges massless states, and the positive integer poles exchange the infinite massive tower. The $t$-channel interpretation is the crossed version. Factorization means that each residue is a sum of products of couplings to intermediate physical states that couple to the chosen external particles. It need not expose every representation at that mass.

For example, the Gamma function recurrence and Gamma function residue at a nonpositive integer give the dimensionless Virasoro–Shapiro amplitude pole residueThe residue polynomial has degree $2n$, consistent with maximum spin $2n$ in the exchanged level. The amplitude also has the corresponding $u$-channel poles by crossing symmetry.

The massless fields can be treated as target backgrounds rather than separate asymptotic insertions. Write the target metric as $G_{mn}={\eta }_{mn}+h_{mn}$, introduce a Kalb–Ramond field $B_{mn}$, and a dilaton $\Phi$. In conventional Euclidean signs their string nonlinear sigma model action isHere ${ϵ}^{ab}$ is the antisymmetric tensor density. The three backgrounds correspond to the graviton, antisymmetric tensor and scalar states at closed-string level one. Expanding the vacuum functional in $h,B,\Phi$, then Fourier expanding the backgrounds, produces exactly their integrated string vertex operators. Its functional derivatives therefore generate the amplitudes with massless external strings. The connected vacuum functional organizes connected amplitudes; the spacetime effective action organizes the corresponding vertices after treating massless propagation consistently.

At momenta small compared with $1/\sqrt{{\alpha }^{\prime }}$, massive string propagators can be expanded in powers of momenta over their masses. The analytic part of the amplitudes consequently determines local higher-derivative interactions, ordered by powers of ${\alpha }^{\prime }$. Massless exchange poles are retained through propagation of the massless fields, rather than expanded into local contact terms. Up to field redefinitions, the leading massless-sector action in the string-frame metric isThe terms denoted $O({\alpha }^{\prime })$ contain additional derivatives, including curvature-squared terms in the bosonic theory. The expansion concerns the massless sector around the perturbative bosonic background; the tachyon instability remains and is not cured by omitting its field from this displayed action. Thus this is a formal perturbative effective description, not a claim of a stable bosonic vacuum.

Finally split the dilaton into a constant and its variation, $\Phi ={\Phi }_0+\varphi$. By the Gauss-Bonnet theorem, its dilaton Euler-characteristic weighting on a connected closed oriented surface follows fromDefine the string coupling by $g_s=e^{{\Phi }_0}$. A genus-$g$ path integral is weighted byThe sphere carries $g_s^{-2}$, the torus carries $g_s^0$, and each extra handle adds $g_s^2$. At higher genus one integrates over complex-structure moduli as well as insertion points, with the associated antighost insertions supplying the correct moduli measure. With canonically normalized external vertices an $N$-point genus-$g$ amplitude scales as $g_s^{2g-2+N}$.

Summing connected worldsheets of every genus of a surface yields the string-loop effective action expansionEach coefficient has its own low-energy ${\alpha }^{\prime }$ expansion. The two parameters have different roles: ${\alpha }^{\prime }$ resolves finite string size through higher derivatives, while $g_s^2$ counts additional string loops.

Flavour issue in the printed effective interaction. The displayed charged-current factor uses an Electron field even for the muon-neutrino term. Taken literally, this introduces an extra ${\nu }_{\mu }e$ charged-current interaction, contradicting the Standard Model diagrams in part (a). In the Standard Model that factor uses the charged lepton of the same flavour; for Electron scattering the charged-current contribution is therefore present only for ${\nu }_e$. The weak flavour selection in neutrino-electron scattering fixes the physically consistent assignment used below. The literal printed consequence is given afterwards, so the discrepancy is explicit.

At leading order in the Electron mass and in the four-fermion regime, define ${\Gamma }_L^{\alpha }={\gamma }^{\alpha }(1-{\gamma }^5)$. The weak neutral current yields the scattering amplitudeAn overall amplitude phase has no observable effect. The Fermi interaction is valid when the exchanged invariants are small compared with the squared weak-boson masses.

Average over the two initial Electron spin states, and sum over final spins. There is no averaging over a sterile right-handed incoming neutrino. Using the fermion spin sum, the averaged square isTo display the trace contraction, defineThe supplied gamma matrix trace identities give the two tensors $8(S(k^{\prime },k)+iE(k^{\prime },k))$ and $4[(c_V^2+c_A^2)S(p^{\prime },p)+2i{c}_V{c}_{A}E(p^{\prime },p)]$. Symmetric-antisymmetric mixed contractions vanish. Set $X=(k^{\prime }\cdot p^{\prime })(k\cdot p)$ and $Y=(k^{\prime }\cdot p)(k\cdot p^{\prime })$. The remaining contractions are $S(k^{\prime },k)S(p^{\prime },p)=2(X+Y)$ and $E(k^{\prime },k)E(p^{\prime },p)=-2(X-Y)$, using the stated negative epsilon-contraction sign. Their sum givesThe massless Mandelstam variables satisfy $s+t+u=0$, and the two products are $s^2/4$ and $u^2/4$, respectively. Therefore

In the centre-of-momentum frame, momentum conservation gives $E=\sqrt{s}/2$. If $z=\cos \theta$ is the angle cosine between $p$ and $p^{\prime }$, then $u=-s(1+z)/2$. The massless two-body Lorentz-invariant phase space is $d{\rho }_2=d\Omega /(32{\pi }^2)$, while the flux is $2s$. ThusIntegrate ${\int }_{-1}^{1}dz=2$ and ${\int }_{-1}^1(1+z{)}^{2}dz=8/3$:Consequently the intended coefficients areThis is the massless neutrino-electron contact cross-section.

For completeness, the literal printed muon-neutrino charged-current term would instead shift both couplings by one, exactly as in part (c):For arbitrary real $c_V,c_A$, its linear terms cannot be represented by the requested quadratic form with coupling-independent constants. The Standard Model result and the literal printed interaction are not the same problem.

Independent metric and Hamiltonian parametrization. The Lorentzian Polyakov action isThe worldsheet metric is independent of the embedding. Its equation sets the traceless worldsheet stress tensor to zero, making the metric locally conformal to the induced worldsheet metric; substitution recovers the Nambu–Goto action. Eliminating momentum in the Nambu-Goto phase-space action instead gives $(\dot{X}-u{X}^{\prime }{)}^2/(2e)-e{T}^2{X}^{\prime 2}/2$. On the positive-lapse branch, choose the independent metric, up to a positive Weyl transformation, asIts determinant is $-e^2{T}^2$. Multiplication by $-T/2$ recovers the reduced density, including the mixed term $-u\dot{X}\cdot X^{\prime }/e$. This proves the phase-space identification of the Polyakov metric.

Conformal gauge and residual coordinate freedom. In the Hamiltonian formulation, conformal gauge is $e=1/T,u=0$. The equations become $\ddot{X}-X^{\prime \prime }=0$, while ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$ remain as constraints. In the metric formulation, conformal gauge is ${\gamma }_{ab}=e^{2\omega }{\eta }_{ab}$, or simply ${\eta }_{ab}$ after fixing Weyl invariance. The metric parametrization proves these choices equivalent. Gauge-fixing the metric does not discard the Virasoro constraints.

With ${\sigma }^{\pm }=t\pm \sigma$, independent reparameterizations ${\sigma }^{\pm }\mapsto f_{\pm }({\sigma }^{\pm })$ multiply the flat metric by a conformal factor. A compensating Weyl transformation restores its chosen representative. Infinitesimally the Conformal Killing equation is ${\partial }_{-}{c}^{+}=0,{\partial }_{+}{c}^{-}=0$. These are the residual conformal transformations of two-dimensional Minkowski spacetime, with the periodicity conditions appropriate to a closed string.

Ghost determinant and anomaly. For gauge conditions $G_A(\varphi )=0$, the Faddeev-Popov determinant is the determinant of the linearized variationInsert this determinant in the gauge-fixed path integral and exponentiate it with anticommuting ghosts and antighosts: the additional action is proportional to $\int b^A{M}_{AB}{c}^B$. In metric gauge fixing, the trace is removed by Weyl invariance, and a worldsheet diffeomorphism changes the trace-free metric throughConsequently $c^a$ is a vector ghost and $b^{ab}$ a symmetric trace-free antighost. A conventional normalization of the worldsheet ghost action isA rescaling of the antighost changes only this overall kinetic normalization. In conformal gauge, after normalizing the chiral fields, the kinetic terms areThe closed-string ghosts are periodic, with independent left and right systems. Their conformal weights are $2$ for $b$ and $-1$ for $c$, so the supplied bc ghost system expression gives $c_{\mathrm{gh}}=-2(6\cdot 2^2-6\cdot 2+1)=-26$. Each free embedding boson has central charge one per chirality. HenceThis central charge of reparameterization ghosts cancels the string conformal anomaly in each chirality separately. Having two sectors does not double the required target dimension.

Channel variables, poles and the vector state. With particles 1,2 incoming and 3,4 outgoing, the Mandelstam variables are $s=-(p_1+p_2{)}^2$ and $t=-(p_1-p_3{)}^2$. They measure squared center-of-mass energy and momentum transfer. In the specified units ${\alpha }^{\prime }=1$, the external tachyon mass squared is $-1$, so $s+t+u=-4$.

The Gamma function residue at $-n$ is $(-1{)}^n/n!$. At $s=n-1$, its argument $-1-s$ varies with the opposite sign to $s$. The Gamma function recurrence givesThus the Veneziano amplitude pole residues areFor generic fixed $t$ the simple poles are $-1,0,1,\dots$. A zero of the residue product at an exceptional negative integer $t$ makes the corresponding pole removable. Fixed $t$ must be away from its own channel poles; fixing it at a channel singularity does not give an ordinary finite meromorphic function of $s$.

At $s=0$, the residue is $-(t+2)=-(t-u)/2$. This is proportional to $(p_1-p_2)\cdot (p_3-p_4)$, the contraction of conserved scalar-pair vector currents. Each current is orthogonal to the exchanged momentum because the external masses in its pair are equal. Alternatively, with scattering-angle cosine $z$, one has $t=-2(s/4+1)(1-z)$; at this pole $t+2=2z$, a pure spin-one angular dependence. ThereforeThe massless vector pole of the Veneziano amplitude is the massless open-string vector seen in the two-tachyon exchange channel.