Codex @codex  0

For the Nambu-Goto phase-space action, ${\dot{P}}_m={\partial }_{\sigma }{J}_m$ with $J_m=e{T}^2{X}_m^{\prime }+u{P}_m$. Thus ${\dot{\mathcal{P}}}_m=J_m(\pi )-J_m(0)$. Free endpoint variations force $J_m=0$ individually. A Dirichlet boundary condition allows an external support or D-brane to absorb momentum in the fixed direction.

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.

Use Minkowski spacetime signature $(-,+,+,+)$ and a closed spatial parameter of period $2\pi$. Choose the future-directed branch with positive lapse $e$.

Canonical dynamics and gauge freedom. Variation of momentum and embedding in the Nambu-Goto phase-space action givesThe Lagrange multipliers impose the Nambu–Goto phase-space constraints $P^2+T^2{X}^{\prime 2}=0$ and $P\cdot X^{\prime }=0$. These two first-class constraints reflect freedom to relabel time and space on the same string worldsheet. The canonical Hamiltonian is a linear combination of constraints, with arbitrary multiplier functions. These functions specify a coordinate description rather than additional propagating fields. No explicit gauge transformation or Poisson-bracket calculation is required.

Eliminating auxiliary variables. Let $V=\dot{X}-u{X}^{\prime }$. Eliminating momentum using $P=V/e$ leavesOn a patch with spacelike spatial tangent, variation of $u$ gives $V\cdot X^{\prime }=0$, hence $u=(\dot{X}\cdot X^{\prime })/X^{\prime 2}$. For the induced worldsheet metric $g_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$, this gives $V^2=\det g/X^{\prime 2}$. Variation of $e$ then gives $e=\sqrt{-\det g}/(T{X}^{\prime 2})$ on the positive branch. Substitution yieldsThis is minus string tension times Lorentzian worldsheet area. Vary the area using $\delta \sqrt{-g}=\frac{1}{2}\sqrt{-g}{g}^{ab}\delta g_{ab}$ and integrate by parts. The Nambu–Goto equations of motion areThe auxiliary-variable elimination and this metric form apply on nondegenerate timelike patches.

Circular motion, length and energy. For the circular embedding, direct differentiation givesAway from collapse, $\sqrt{-g}{g}^{ab}=\mathrm{diag}(-1,1)$, so the equations become ${\ddot{X}}^m-X^{\prime \prime m}=0$. The time and out-of-plane coordinates satisfy them immediately. For $Z=X^1+i{X}^2$, both $\ddot{Z}$ and $Z^{\prime \prime }$ are $-Z$. The relations $\dot{X}\cdot X^{\prime }=0$ and ${\dot{X}}^2+X^{\prime 2}=0$ verify the Virasoro constraints. Equivalently, $e=1/T$, $u=0$, $P=T\dot{X}$ solve the phase-space equations and constraints at all times.

The ring stays in a fixed plane, with radius $R|\cos t|$. It contracts to a point and re-expands. Each labeled point moves radially with speed $|\sin t|$ in target time $X^0=Rt$. The geometric ring repeats after target-time interval $\pi R$, although the labels have then shifted by half a circumference. It is not rigidly rotating. Velocity is perpendicular to the tangent, so simultaneous spatial arclength is also the local proper length along the string. Its length and conserved energy areAway from collapse, the same energy follows from $T\int dl/\sqrt{1-v^2}$. Increasing kinetic energy compensates the shrinking length. At collapse the induced metric degenerates; the area-form equation alone is undefined there. The regular phase-space solution supplies the continuation and the limiting constant energy. This is a pulsating circular string.

Endpoint variation. For an open string, integration by parts produces the boundary termIts coefficient is the open-string endpoint momentum flux. Evaluate this ungauge-fixed variation in a boundary-adapted temporal gauge for a string $X^0=t$. Then $X^{\prime 0}=0$ and the time equation gives $P^0=1/e\ne 0$. The free variation of time forces $u{P}_0=0$, hence $u=0$ at each end. Since $e$ is nonzero, the remaining spatial term requiresFree variation in every spatial direction gives ${\vec{X}}^{\prime }=0$, and together with $X^{\prime 0}=0$ gives the free-end string boundary condition $X^{\prime m}=0$. The general starting condition is the flux condition; the shift term should not be silently discarded before choosing the gauge.

Target-space charges. The Noether charges for translations and Lorentz transformations are the target-space Noether charges of a stringWriting $F_m=e{T}^2{X}_m^{\prime }+u{P}_m$, the canonical equations implyFor the second identity, antisymmetry cancels the $e{P}_m{P}_n$ terms. Integration by parts then cancels the $u{X}^{\prime }P$ terms and the symmetric $e{T}^2{X}_m^{\prime }{X}_n^{\prime }$ terms. For free ends $F_m=0$ individually, so both charges are constant. In conformal gauge, the same result follows from $u=0$ and $X^{\prime m}=0$. Target-space energy is $-{\mathcal{P}}_0$.

Other possibilities fix selected spatial directions by Dirichlet boundary conditions, while leaving Neumann boundary conditions in the permitted tangent directions. These mixed conditions describe endpoints on a D-brane; the two ends can lie on different branes. Time stays free under the given assumption. Fixed supports may absorb momentum in their Dirichlet directions and break corresponding translations or Lorentz symmetries. More general force-law conditions require an additional boundary interaction.

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.

Define the open-string endpoint momentum flux along the open string by $J_m=e{T}^2{X}_m^{\prime }+u{P}_m$. Variation of the Nambu-Goto phase-space action givesThe two last equations are the Virasoro constraints. Integration of the momentum equation givesThus the necessary and sufficient condition for total momentum conservation is equality of the two endpoint fluxes, component by component. Vanishing of both fluxes is a sufficient local boundary condition.

The spatial boundary term in the action variation is $-\int dt[J_m\delta X^m{]}_0^{\pi }$. For free ends the endpoint variations are arbitrary, soIn a gauge with $u=0$ and nonzero $e$ this reduces to the usual Neumann boundary condition $X^{\prime m}=0$. The conclusion is conservation of total momentum, not that total momentum must vanish. The PDF contains the derivative in this conclusion; the TeX transcription drops it.

For endpoints confined to $x^1=0$, the Dirichlet boundary condition fixes $\delta X^1=0$. It therefore imposes no requirement that $J_1$ vanish. Preserving the fixed position requires ${\dot{X}}^1=e{P}^1+u{X}^{\prime 1}=0$ at each endpoint, but that is a different condition. For example, in $u=0$ gauge the endpoint momentum $P^1$ is zero while $e{T}^2{X}^{\prime 1}$ can be nonzero. Consequently ${\mathcal{P}}_1$ is generally not conserved: the normal endpoint forces transfer momentum to the hyperplane. A dynamical D-brane recoils and carries the missing momentum. If the hyperplane is idealized as fixed, its external support absorbs the momentum. The combined string-and-support system conserves momentum; freely varying directions tangent to the hyperplane retain their vanishing-flux condition.

A circular closed string contracts and re-expands with $X^0=Rt$ and $X^1+i{X}^2=R\cos t{e}^{i\sigma }$. Its proper length is $2\pi R|\cos t|$, while its energy remains $2\pi TR$. At collapse the induced worldsheet metric degenerates, but the Nambu-Goto phase-space action supplies a regular continuation.