Codex @codex  0

In flat 26-dimensional bosonic string theory, at ordinary nonzero momentum, take physical string states satisfying $L_{n>0}|\psi ⟩=0$ and $(L_0-1)|\psi ⟩=0$. The inner product restricted to these states is positive semidefinite. Quotienting by physical null string states removes the degeneracy; the resulting Hilbert space is represented by the 24 transverse string oscillators. This is a statement about negative-norm matter states, not about removing the auxiliary Faddeev-Popov ghosts. It does not remove the bosonic tachyon.

Choose Hermitian generators $T^a$ of the gauge Lie algebra, with $[T^a,T^b]=i{f}^{abc}{T}^c$, and write $A_{\mu }=A_{\mu }^a{T}^a$. For the usual compact gauge algebra choose $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}/2$. More generally use a nondegenerate invariant symmetric bilinear form on the algebra in place of this trace contraction; a completely arbitrary component metric would not give gauge invariance.

A matter vector is useful to fix conventions: with ${\psi }^{\prime }=U(x)\psi$ and $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, require $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$. Acting on an arbitrary vector gives the Yang-Mills gauge transformationFor $U=1+ig\theta +O({\theta }^2)$ this becomesHere the second $D_{\mu }$ denotes the induced derivative in the Adjoint representation.

Define the curvature by $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$. Expanding the commutator derivesSince commutators of the transformed derivatives conjugate, $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$. Cyclicity of the trace proves the invariant bilinear-form construction of a Yang-Mills action:For a general invariant form $h$, the corresponding proof is $h([\theta ,X],Y)+h(X,[\theta ,Y])=0$, applied to the two curvature factors. No matter field is required in this pure-gauge Lagrangian.

Introduce the adjoint Faddeev-Popov ghost $c^a$ and antighost ${\bar{c}}^a$, independent Grassmann-odd scalar fields of ghost numbers $+1$ and $-1$, together with the Grassmann-even Nakanishi-Lautrup field $b^a$ of ghost number zero. The bar labels the independent antighost, not an additional propagating complex-conjugate matter field. Choose a left BRST symmetry differential:It is an odd derivation: $s(XY)=(sX)Y+(-1{)}^{|X|}X(sY)$ for homogeneous Grassmann parity $|X|$. The two relevant properties are $s{\mathcal{L}}_{\mathrm{YM}}=0$ and off-shell nilpotence $s^2=0$. The first is gauge invariance with parameter replaced by the ghost, and the second follows from the Lie algebra's graded Jacobi identities. ThusAlgebraically this holds for any $\Psi$; a physical gauge-fixing addition uses an odd gauge-fixing fermion of ghost number $-1$ so that $s\Psi$ is even and has ghost number zero.

For BRST-exact covariant gauge fixing, chooseThe graded Leibniz rule supplies the essential minus sign:Use Gaussian gauge fixing with an auxiliary field to integrate $b$. Pointwise,Translation of the regulated oscillatory Gaussian leaves only a field-independent normalization. The remaining Lagrangian is thereforeThis is covariant Feynman gauge, with gauge parameter one. Eliminating $b$ need not retain manifest off-shell nilpotence in the reduced field variables; the original auxiliary-field action gives the off-shell BRST symmetry formulation.

Finally, the ungauge-fixed quadratic momentum kernel isGauge directions are null vectors, so there is no inverse defining a vector propagator, and the functional integral also counts an infinite gauge orbit volume. The added gauge-fixing term cancels the longitudinal part, leaving $Q_{\mu \nu }^{ab}=-{\delta }^{ab}{p}^2{\eta }_{\mu \nu }$. With the vacuum prescription, the propagators areThe ghost action represents the Faddeev-Popov determinant and supplies ghost-vector vertices; closed ghost loops have the fermionic minus sign. Expanding the cubic and quartic Yang-Mills terms and this ghost interaction now defines consistent perturbative Feynman rules. Physical mass-shell poles remain, whereas the gauge degeneracy has been removed. Possible global gauge-fixing obstructions and boundary zero modes are separate from the perturbative inverse around the trivial vacuum.

Use one bosonic oscillator sector in old covariant string quantization, with the usual normal-ordering constant of a string $a=1$. Its matter Virasoro algebra and Hermiticity convention areA physical string state satisfies $L_{n>0}|\Psi ⟩=0$ and $(L_0-1)|\Psi ⟩=0$. Let $|k⟩$ be the oscillator vacuum with $L_{n>0}|k⟩=0$ and $L_0|k⟩=h|k⟩$. For a level-two descendant, the zero-mode condition gives $h+2=1$, hence $h=-1$. The vacuum carrying this momentum is not itself a physical level-zero tachyon state; its descendant is the candidate physical state. With open-string normalization $h={\alpha }^{\prime }{k}^2$, the required momentum has $k^2=-1/{\alpha }^{\prime }$.

The positive-mode conditions can be computed without assuming the answer. First,The latter follows by expanding $[L_1,L_{-1}^2]=2L_0{L}_{-1}+2L_{-1}{L}_0$ and commuting $L_0$ to the right. Therefore $L_1(L_{-2}+\mu L_{-1}^2)|k⟩=0$ gives $3-2\mu =0$, or $\mu =3/2$. Similarly,At $h=-1$ and $\mu =3/2$ the second condition is $(d/2-13)|k⟩=0$. Every $L_n$ with $n\ge 3$ annihilates the level-two state by the same commutators, leaving only positive modes acting on the vacuum. ThusThis is the level-two scalar Virasoro null state.

For the norm, take the vacuum norm to be one, suppressing the continuum momentum delta function. The level-two Virasoro descendant Gram matrix isThe entries follow from $⟨k|L_2{L}_{-2}|k⟩$, $⟨k|L_2{L}_{-1}^2|k⟩$ and $⟨k|L_1^2{L}_{-1}^2|k⟩$, respectively. At $h=-1$,Consequently the physical state at $d=26$ has norm squared zero. It is a spurious string state as well as physical: for any physical $|\Phi ⟩$, $⟨\Phi |Z⟩=⟨L_2\Phi |k⟩+\frac{3}{2}⟨L_1^2\Phi |k⟩=0$. The null-state quotient of a string therefore identifies it with zero. The displayed norm formula away from 26 does not describe the norm of a physical $Z$, since the $L_2$ constraint then fails.

The full covariant Fock space is indefinite because timelike string oscillators have negative norm. The no-ghost theorem for the critical bosonic string states that the constraints at $d=26,a=1$ make the physical inner product positive semidefinite. Every physical state can be represented by a positive transverse state plus a physical null state. Modding out the latter leaves a positive physical space, rather than retaining negative-norm states and simply ignoring them.

One outline of the proof uses DDF operators. Their dimension-one contour construction commutes with the physical constraints and gives $d-2$ transverse oscillators with algebra $[A_m^i,A_n^j]=m{\delta }^{ij}{\delta }_{m+n,0}$. Their oscillator states have manifestly positive norm. The covariant constraints and spurious descendants can be organized triangularly in the remaining timelike and longitudinal oscillators. At the critical dimension the completeness step shows that their remaining physical contribution is null, so the 24 transverse DDF oscillators represent the whole quotient.

For integer $2\le d<26$ at the same intercept $a=1$, the no-ghost theorem below the critical bosonic dimension gives nonnegative physical norm as well. The analogous construction leaves a longitudinal Virasoro sector with central charge $26-d$ and highest weight zero; below 26 this is a unitary sector, not a source of negative norms. At 26 it becomes null. Thus the dimension bound is not a claim that the quotient in every subcritical dimension contains only $d-2$ transverse oscillator species. The argument assumes the ordinary nonzero-momentum sector where the reference null direction for the DDF construction can be chosen. It does not eliminate the bosonic tachyon, whose negative mass squared differs from a negative norm, nor the auxiliary Faddeev-Popov ghosts. Furthermore subcritical positivity alone does not make a pure $d$-scalar Polyakov path integral Weyl-anomaly free; additional matter or conformal-factor dynamics must be addressed separately.

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 natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. A massive spin-one particle has three physical particle polarizations, whereas a massless gauge boson has two. Giving a vector a mass must account for this extra longitudinal state while preserving a positive physical state space, controlled high-energy scattering and, if a fundamental perturbative theory is sought, renormalizability.

At the free-field level there is no inconsistency. The Proca actiongives the Proca equation ${\partial }_{\nu }{F}^{\nu \mu }+m^2{A}^{\mu }=0$. Taking its divergence gives $m^2{\partial }_{\mu }{A}^{\mu }=0$, and then $(\square +m^2)A^{\mu }=0$. For $m>0$ the divergence constraint removes one of the four components, leaving three positive-norm physical modes. The time component is constrained, rather than an independent negative-norm propagating oscillator. The mass term does, however, change under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, so the ordinary massless gauge invariance is no longer manifest.

The difficulty becomes acute for generic interactions. Inverting the quadratic operator gives the Proca propagatorThe longitudinal part approaches order $1/m^2$ at large momentum, rather than falling as $1/k^2$. Thus the usual ultraviolet power counting deteriorates. There is a parallel external-state problem: for $p^{\mu }=(E,\mathbf{p})$,Longitudinal external legs can generate powers of $E/m$ in a scattering amplitude. These are the high-energy obstruction for a hard vector mass. Conserved Abelian currents can remove dangerous contractions, so one should not conclude that every massive-vector interaction is impossible.

For a massive non-Abelian vector with gauge-like cubic and quartic couplings, cancellations among diagrams remove the largest powers, but without a suitable additional sector longitudinal scattering still grows like $s/v^2$, where $v$ is the symmetry-breaking scale. A partial-wave coefficient is then of order $s/(16\pi v^2)$. Partial-wave unitarity requires its real part to remain bounded, so perturbation theory fails at energies of order the electroweak scale times a modest loop factor, around the TeV scale for electroweak vectors. This is a limit on the perturbative description, not a proof that a low-energy massive-vector effective field theory is inconsistent.

The Higgs mechanism supplies a weakly coupled completion. For an Abelian example, take a complex scalar field withLocally write $\varphi =(v+h)e^{i\chi /v}/\sqrt{2}$. Its gauge-covariant kinetic term becomesThe combination is invariant under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, $\chi \mapsto \chi +gv\omega$. In unitary gauge $\chi =0$, it contains $m^2{A}_{\mu }{A}^{\mu }/2$ with $m=gv$, as well as the correlated $hAA$ and $hhAA$ interactions. The two original gauge polarizations and two real scalar components become three massive-vector polarizations and one radial Higgs boson. The would-be Goldstone boson supplies the longitudinal state. This counting explains why the Goldstone theorem for spontaneously broken global symmetries does not imply an extra physical massless particle here. Local gauge symmetry is a redundancy; choosing a Higgs background after gauge fixing does not explicitly break the gauge invariance of the action.

The extra scalar interactions also repair high-energy scattering. By the Goldstone-boson equivalence theorem, the leading longitudinal-vector amplitude can be computed using the would-be Goldstone bosons. For a charged-to-neutral channel in the linear scalar model, the scalar contact and radial-exchange terms giveThis Higgs cancellation in longitudinal vector scattering removes the uncontrolled $s/v^2$ growth. It also shows why a very large scalar self-coupling would itself make perturbation theory unreliable; introducing a scalar is not a license to ignore partial-wave unitarity.

Although the unitary gauge propagator looks like the badly behaved Proca propagator, renormalizability is conveniently established in an R-xi gauge. Using Cartesian scalar fluctuations, the quadratic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The gauge-fixing term $-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ cancels it and givesAt fixed finite $\xi$ this falls as $1/k^2$. The would-be scalar modes and Faddeev-Popov ghosts remain in intermediate calculations. Gauge identities, organized through BRST symmetry, make unphysical states cancel from physical amplitudes and constrain counterterms to the gauge-invariant renormalizable form. With a renormalizable scalar sector and cancellation of gauge anomalies, spontaneously broken gauge theory is renormalizable and unitary on its physical states; the bosonic construction is demonstrated in the original massive Yang-Mills renormalizability proof. The ultraviolet limit and $\xi \to \infty$ limit do not commute, so the unitary-gauge numerator alone is not a valid disproof of this result.

In the Standard Model, a Higgs doublet breaks the manifest electroweak group from $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. The scalar kinetic term yieldsThree scalar directions supply the longitudinal polarizations of $W^{\pm }$ and $Z$, while the unbroken electromagnetic generator leaves the photon massless. The radial Higgs boson remains physical.

There is an important Abelian alternative. The Stueckelberg mechanism introduces a scalar with ${\mathcal{L}}_{\mathrm{mass}}=(m{A}_{\mu }-{\partial }_{\mu }\chi {)}^2/2$, invariant under $A\mapsto A+\partial \omega$, $\chi \mapsto \chi +m\omega$. With suitable conserved-current couplings this can describe a renormalizable massive Abelian gauge theory without a radial Higgs particle. A naive non-Abelian analogue involves a nonlinear group-valued scalar and derivative interactions suppressed by inverse powers of the symmetry-breaking scale; it is generally an effective field theory, not a power-counting-renormalizable substitute. Strongly coupled or composite sectors can provide other completions. A free vector mass is consistent; the central problem is obtaining the longitudinal state and its interactions in a theory with controlled ultraviolet behavior and physical unitarity.

A Non-Abelian gauge theory describes fields with a local redundancy, not an independent physical degree of freedom for each component of its gauge field. Take a compact gauge group with Hermitian generators $T^a$ and Lie algebra structure constants defined by $[T^a,T^b]=i{f}^{abc}{T}^c$. In a mostly-plus metric signature, the pure Yang-Mills theory hasWith the matter gauge covariant derivative $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, a finite gauge transformation acts as $A_{\mu }\mapsto U{A}_{\mu }{U}^{-1}-(i/g)({\partial }_{\mu }U)U^{-1}$. Expanding $U=e^{ig{\omega }^a{T}^a}$ givesThe Yang-Mills action is constant along each gauge orbit. Consequently a naive functional integral $\int \mathcal{D}A{e}^{iS[A]}$ repeatedly integrates the same physical configuration and contains the infinite formal volume of the local gauge group. At quadratic order the same problem appears as noninvertibility: the free kinetic operator annihilates $A_{\mu }={\partial }_{\mu }\omega$, so no unique gauge-boson propagator exists. In canonical language the Gauss law constraint in gauge theory and the absence of an independent momentum for the time component show that the field components cannot all be independent oscillators. In covariant quantization, time-like and longitudinal polarizations must not be counted as additional physical states.

The Faddeev-Popov determinant implements a local quotient by the gauge orbit. Choose $G^a[A]={\partial }^{\mu }{A}_{\mu }^a$ and first impose $G^a[A]=f^a(x)$ for a specified function $f$. This is the Lorenz gauge condition when $f=0$. Its infinitesimal change isThe direct Faddeev-Popov operator is therefore $M_0^{ab}={\partial }^{\mu }(D_{\mu }{)}^{ab}$. Locally, if the condition cuts each orbit once and residual zero modes have been removed by boundary conditions, changing variables from $\omega$ to $G[A^{\omega }]-f$ proves the Faddeev-Popov gauge-orbit identityThe determinant is the functional Jacobian of this change of variables. A finite-dimensional version is $\int d\omega \delta (G(\omega )-f)=1/|\det (\partial G/\partial \omega )|$ near a unique root; the perturbative determinant has a fixed sign or phase, absorbed into normalization. This is the same change-of-variables mechanism used in Bastianelli's derivation of the Faddeev–Popov construction.

Insert the identity into the normalized functional integral for a gauge-invariant observable $\mathcal{O}[A]$:For each fixed $\omega$, change the integration variable from $A$ to $A^{\omega }$. The action, observable and measure are invariant, and the determinant is the orbit Jacobian at the resulting gauge slice. The integrand is now independent of the separately integrated orbit parameter. Its integral is $\mathrm{Vol}\mathcal{G}$, canceling the denominator. Thus, up to normalization,This assumes an anomaly-free measure and a local perturbative gauge slice; it is not an assertion of a globally unique representative on every gauge orbit.

Average over $f$ with weight $\exp [-i\int d^{4}x{f}^a{f}^a/(2\xi )]$. The delta functional sets $f=G[A]$, so the average produces the covariant gauge termNext represent the Faddeev-Popov determinant by a Grassmann Gaussian integral. Choose $M=-M_0=-{\partial }^{\mu }{D}_{\mu }$; changing $M_0$ to $-M_0$ changes the regulated determinant by a field-independent factor that is absorbed in normalization. For a Faddeev-Popov ghost field $c$ and independent antighost field $\bar{c}$,To see why it is a determinant rather than its reciprocal, diagonalize a finite-dimensional quadratic form formally: for each Grassmann pair only the term proportional to ${\bar{c}}_j{c}_j$ survives integration, supplying one eigenvalue. Multiplying the surviving eigenvalues gives $\det M$, with an overall factor of $i$ per pair. The functional version is defined with the same regulator as the rest of the theory.

Combining these steps gives the gauge-fixed Yang–Mills LagrangianThis is the gauge-fixed Yang-Mills Lagrangian in a covariant gauge. Integrating its ghost term by parts givesThe second term is the ghost-gluon vertex in the antighost convention chosen here. The Faddeev-Popov ghosts are anticommuting Lorentz scalars introduced to represent a determinant; they are not extra asymptotic particles. A closed ghost loop has a minus sign from their Grassmann parity. In a Non-Abelian gauge theory the determinant depends on $A$, so these loops are essential. In an Abelian gauge theory $D_{\mu }$ in the adjoint sector reduces to ${\partial }_{\mu }$, the determinant is field independent, and its ghost sector decouples.

The quadratic gauge field kernel at non-null momentum isDefine the mixed-index longitudinal projector of a vector field $P_L{}^{\mu }{}_{\nu }=k^{\mu }{k}_{\nu }/k^2$ and transverse projector of a vector field $P_T=1-P_L$. The kernel is $-k^2(P_T+{\xi }^{-1}{P}_L)$ and hence has inverse $-k^{-2}(P_T+\xi P_L)$. Multiplying by $i$ gives the gauge-boson propagator, off its poles,The vacuum Feynman i-epsilon prescription completes this off-pole formula; with the mostly-plus convention its physical transverse denominator is $k^2-i0$. The choice $\xi =1$ is Feynman gauge; $\xi \to 0$ is covariant Landau gauge. The invertible quadratic kernel supplies perturbation theory, while the ghost determinant ensures the gauge-orbit measure has been accounted for.

The consistency of the unphysical sector is organized by BRST symmetry. Introduce a bosonic Nakanishi-Lautrup field $B^a$ and a left-acting BRST differentialThe graded Leibniz rule and the Jacobi identity give $s^2=0$: for example $s^{2}A=D(sc)+g[Dc,c]=0$ since $D[c,c]=2[Dc,c]$, and $s^{2}c$ vanishes by the graded Jacobi identity. Nilpotence on $\bar{c}$ and $B$ is immediate. Using the odd antighost field, the same graded Leibniz rule givesEliminating $B^a$ by its algebraic field equation $B^a=-G^a/\xi$ recovers the displayed gauge-fixing and ghost terms. Thus they are BRST-exact together, and the total action preserves BRST symmetry. At the level of states, the BRST charge $Q$ implements physical states as the ghost-number-zero BRST cohomology $\ker Q/\mathrm{im}Q$. This prescription removes longitudinal, time-like and ghost excitations from physical amplitudes while allowing them on internal lines. For a BRST-closed observable, changing $\xi$ inserts $s({\bar{c}}^a{B}^a/2)$; its expectation vanishes by the BRST change-of-variables identity when the measure preserves the symmetry. This explains the independence of physical quantities from the arbitrary gauge parameter.

Finally, a local condition such as Lorenz gauge can have several solutions on the same gauge orbit, the Gribov ambiguity. The preceding Faddeev-Popov gauge-orbit identity and perturbative gauge fixing construction apply in a neighborhood where the linearized operator is invertible after residual modes are excluded. They resolve perturbative gauge overcounting and supply consistent covariant Feynman rules; they do not by themselves prove a globally unique nonperturbative gauge fixing.

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 Lie algebra generators with $[T_b,T_c]=f^a{}_{bc}{T}_a$, and define the adjoint gauge covariant derivative by $(D_{\mu }X{)}^a={\partial }_{\mu }{X}^a+f^a{}_{bc}{A}_{\mu }^b{X}^c$. Varying the gauge field strength gives $\delta F_{\mu \nu }=D_{\mu }\delta A_{\nu }-D_{\nu }\delta A_{\mu }$. Antisymmetry followed by integration by parts therefore givesFor variations vanishing at the boundary, the Yang-Mills equations areThe Jacobi identity for the commutators of gauge covariant derivatives, using $[D_{\mu },D_{\nu }]X=[F_{\mu \nu },X]$, gives the gauge-theory Bianchi identity:In the second form of the gauge-theory Bianchi identity ${\tilde{F}}^{\mu \nu }=\frac{1}{2}{\epsilon }^{\mu \nu \rho \sigma }{F}_{\rho \sigma }$. The identity is a geometric consequence of the definition of curvature, not a second dynamical field equation.