Codex @codex  0

For an admissible family of gauge-fixing fermions, variation inserts a BRST-exact operator into normalized correlations. If the measured operators are BRST-closed, the graded BRST Ward identity makes that insertion vanish. This extends gauge-parameter independence to changes of the gauge functional itself, provided the action and measure preserve BRST symmetry and the change produces no boundary contribution. It is the perturbative statement; global gauge-orbit problems require additional analysis.

For auxiliary-field covariant gauge fixing, varying the parameter inserts a BRST-exact operator. Its correlations with separated physical BRST-closed operators vanish by the BRST Ward identity. Normalized physical correlators are therefore independent of the parameter under the invariant-measure and boundary assumptions.

For adjoint-valued quantities write $(X\times Y{)}_a={\epsilon }_{abc}{X}_b{Y}_c$. Substituting the infinitesimal transformation into the gauge field strength and using the Jacobi identity givesA useful way to organize the calculation is $[D_{\mu },D_{\nu }]X=g{F}_{\mu \nu }\times X$: the gauge field strength transforms covariantly because the gauge covariant derivative does. Thus $\delta (F_a^{\mu \nu }{F}_{\mu \nu a})=2g{F}_a^{\mu \nu }{\epsilon }_{abc}{F}_{\mu \nu b}{\lambda }_c=0$ by antisymmetry. This proves gauge invariance of the Yang-Mills action.

The Yang-Mills equations are $D_{\mu }{F}^{\mu \nu }=0$. They determine physical evolution only modulo gauge redundancy: gauge transformations with arbitrary spacetime-dependent parameters take solutions to equivalent solutions. In Hamiltonian mechanics, $A_0$ has no independent quadratic time-derivative term, and the corresponding equation is a Gauss law constraint in gauge theory. A gauge parameter can vanish with its necessary derivatives on the initial slice yet change the later potential energy, so the potential energy itself is not uniquely fixed by initial physical data.

In the uncorrected path integral, integration along gauge orbits overcounts equivalent fields. At the perturbative level the quadratic operator of the kinetic term has gauge zero modes and no inverse, so it does not supply a quantum field theory propagator. Gauge fixing together with the Faddeev-Popov determinant removes this obstruction in the local perturbative construction.

For the odd BRST transformation, products obey the graded Leibniz rule. The adjoint product with Grassmann variables satisfiesIn particular, $c\times c$ is not zero, and $c\times Dc=Dc\times c$. The supplied transformations givesince the even covariant derivative obeys $D(c\times c)=2(Dc)\times c$. For the ghost,The final equality is the graded Jacobi identity; in components it is the Jacobi identity for ${\epsilon }_{abc}$ contracted with the totally antisymmetric product of three ghosts. Also $s^2\bar{c}=-sb=0$ and $s^{2}b=0$. The square of an odd derivation is an even derivation, because its two mixed product terms cancel. Hence $s^2=0$ on every polynomial in the fields, off shell, without imposing field equations.

Let $\Psi =\int d^{d}x[{\partial }^{\mu }{\bar{c}}_a{A}_{\mu a}+\xi {\bar{c}}_a{b}_a/2]$ be the gauge-fixing fermion. Since $sF=gF\times c$, $s{\mathcal{L}}_{\mathrm{YM}}=0$. The BRST-exact operator in ${\mathcal{L}}_q={\mathcal{L}}_{\mathrm{YM}}-s\psi$ has zero variation by BRST nilpotence, soTo see the resulting kinetic terms and signs, expand the exact term with $s\bar{c}=-b$:After integration by parts,The auxiliary Nakanishi-Lautrup field $b$ can be completed into a square and integrated out, giving the gauge-fixing term $-(\partial \cdot A_a{)}^2/(2\xi )$ for $\xi \ne 0$. At $\xi =0$, retain $b$ as the multiplier enforcing the gauge condition rather than divide by $\xi$. The Grassmann Gaussian integral gives the determinant of the gauge-condition operator $-\partial \cdot D$. Field-independent normalizations cancel in the normalized integral; insertions involving $b$ can be handled before integration or through its source terms.

At $g=0$ the gauge-fixed quadratic operator is invertible with the usual prescription, and the ghosts have a quadratic kinetic term. The remaining terms are cubic gauge interactions of order $g$, quartic gauge interactions of order $g^2$, and a ghost-gauge interaction of order $g$. Expanding them and using Wick contractions gives a perturbative expansion for any defined polynomial insertion $X$ of the fields. The exponent is the gauge-fixed action $S_q$, as printed in the PDF; the converted TeX incorrectly substitutes $S_A$.

At $\xi =1$, the free gauge action, up to a boundary term, is $\frac{1}{2}\int A_{\mu a}\square A_a^{\mu }$. Its Fourier kernel is $-p^2{\eta }_{\mu \nu }{\delta }_{ab}$. With the mostly-plus convention used above, the Feynman-gauge adjoint propagator isThis is consistent with the scalar-line convention in Question 2.

Finally define the odd functional $B=\frac{1}{2}\int d^{d}x{\bar{c}}_a{b}_a$. Then ${\partial }_{\xi }{S}_q=-sB$. Differentiating the normalized expectation, including its denominator, givesfor an insertion with no explicit $\xi$ dependence. A physical gauge-invariant insertion $X[A]$ is BRST-closed, since its infinitesimal gauge variation vanishes also when the parameter is replaced by $c$. The assumed BRST Ward identity gives $⟨sB⟩=0$ and $⟨s(XB)⟩=0$. For an even $X$ with $sX=0$, the latter says $⟨XsB⟩=0$. ThereforeThe same conclusion holds for any BRST-closed insertion. Mere color-singlet invariance of an arbitrary ghost-dependent expression need not imply $sX=0$; the physical-observable qualification is essential. The proof uses the invariant-measure assumptions encoded in the stated Ward identity.

A gauge-invariant observable is BRST-closed: replacing its infinitesimal gauge parameter by the ghost gives $s\mathcal{O}=0$. Change the gauge functional continuously, or interpolate between two admissible choices, by changing the gauge-fixing fermion to ${\Psi }_t$. The action changes by the BRST-exact operator ${\partial }_{t}S=s({\partial }_t{\Psi }_t)$.

For a normalized correlator of $\mathcal{O}={\prod }_i{\mathcal{O}}_i$ with each insertion BRST-closed, differentiation of the functional integral givesThe BRST Ward identity says $⟨sX⟩=0$ for an invariant measure and action, with appropriate boundary conditions. Since $s\mathcal{O}=0$, the graded Leibniz rule makes the first insertion an exact variation of $\mathcal{O}{\partial }_t{\Psi }_t$ up to its harmless parity sign, and both terms vanish. ThusPhysical gauge-invariant correlation functions are independent of this gauge condition, even though individual gauge-field and ghost Feynman diagrams change. This argument assumes an admissible perturbative gauge fixing, a BRST symmetry-preserving regulator/measure and no uncanceled boundary contribution. A global failure of those assumptions is not settled by the formal local calculation.

The fields constitute an RNS string coupled to two-dimensional worldsheet supersymmetry. The zweibein and worldsheet gravitino impose constraints; they do not supply extra propagating string polarizations. Worldsheet diffeomorphisms, local frame rotations and Weyl transformations put the metric locally in conformal gauge, $h_{\mu \nu }=e^{2\omega }{\eta }_{\mu \nu }$. Local supersymmetry together with super-Weyl symmetry removes the worldsheet gravitino, giving superconformal gauge ${\chi }_{\mu }=0$. On a general closed worldsheet, moduli and spin structures remain and must still be summed or integrated over; gauge fixing is not a declaration that every surface is globally a flat cylinder.

Variation with respect to the metric and worldsheet gravitino before gauge fixing gives the stress-tensor and supercurrent constraints $T_{++}=T_{--}=0$ and $G_{+}=G_{-}=0$. The remaining matter consists of free $X^a$ and their worldsheet fermions. In covariant quantization, these become the N=1 super-Virasoro algebra physical-state conditions: positive Virasoro and supercurrent modes annihilate a physical state, $(L_0-a)|\mathrm{phys}⟩=0$, and the R sector also has the zero-mode condition $F_0|\mathrm{phys}⟩=0$. Null gauge states are quotiented out. Equivalently, physical states are BRST cohomology classes, so BRST-exact operators do not represent additional physical states.

The diffeomorphism $bc$ ghosts have central charge $-26$, while the bosonic superconformal ghosts $(\beta ,\gamma )$ have charge $11$. Matter contributes $D+D/2$. Therefore quantum gauge consistency requiresThis is the critical dimension of the RNS superstring. In light-cone gauge in string theory, choose nonzero $p^{+}$, make $X^{+}$ linear in worldsheet time and set ${\psi }^{+}=0$. The stress-tensor and supercurrent constraints solve for the longitudinal $X^{-}$ and ${\psi }^{-}$ oscillators. Only eight transverse bosons and eight transverse fermions remain, with positive norm. This explicitly eliminates the time-like and longitudinal unphysical states.

In a chiral sector the fermions have half-integral modes in the NS sector and integral modes in the R sector. The normal-ordering constant of a string is $a_{\mathrm{NS}}=1/2$ and $a_R=0$. The GSO projection retains odd fermion-excitation parity in the NS sector, removing its tachyonic vacuum. In the R sector it keeps one chirality of the zero-mode spinor, with oscillator parity included in the projection. The Ramond zero-mode Clifford algebra then leaves eight ground-state polarizations in light-cone gauge in string theory.

Worldsheet supersymmetry alone does not imply spacetime supersymmetry. The GSO projection makes the spinorial worldsheet currents mutually local with the retained vertex operators and pairs their NS and R states. More explicitly, let $S_A$ be an RNS spin field and ${\varphi }_{\mathrm{gh}}$ the bosonized superghost scalar. The spacetime supercharges are generated byand similarly in the other chiral sector. The spin field has conformal weight $10/16=5/8$, and its superghost factor has weight $3/8$, so the current has weight one. Its operator products generate the spacetime translation operator; schematically $\{Q_A,Q_B\}\propto (C{\Gamma }^a{)}_{AB}{P}_a$. This is the spacetime supercharge from an RNS spin field. For type IIA superstring theory, the left and right Ramond projections select opposite ten-dimensional Majorana-Weyl chiralities, giving 32 real supercharges and a nonchiral spacetime theory.

The massless physical states are best counted with the transverse little group $\mathrm{Spin}(8)$. Choose the left Ramond ground representation $8_s$ and the right one $8_c$. ThenThe NS-NS sector supplies the graviton, Kalb–Ramond field and dilaton, with $35$, $28$ and $1$ polarizations. The RR sector supplies a one-form potential and a three-form potential, with $\left(\genfrac{}{}{0ex}{}{8}{1}\right)=8$ and $\left(\genfrac{}{}{0ex}{}{8}{3}\right)=56$ polarizations. The mixed sectors supply two gravitinos of opposite chirality, each with $56$ polarizations, and two dilatinos, each with $8$. Covariantly the dilatino has chirality opposite to its corresponding supersymmetry parameter; the two chirality sets are both present. Thus the massless type IIA spectrum hasThese fields form the massless type IIA supergravity multiplet.

For the first massive level of a chiral RNS sector, restore ${\alpha }^{\prime }$ throughThe first positive value is one. The NS states therefore have level $N_{\mathrm{NS}}=3/2$. A complete transverse basis after GSO projection isAll contain odd fermion-excitation parity. Their respective dimensions are $8$, $8^2=64$ and $\left(\genfrac{}{}{0ex}{}{8}{3}\right)=56$, so the NS count is $128$. These are the first massive GSO-projected Neveu–Schwarz states. The middle family decomposes into $35_v+28+1$. Together the families assemble into the massive $\mathrm{Spin}(9)$ representations $44+84$: a symmetric traceless rank-two tensor and a three-form, since $44\downarrow \mathrm{Spin}(8)=35_v+8_v+1$ and $84\downarrow \mathrm{Spin}(8)=56_v+28$.

In the R sector, the first massive level is $N_R=1$. If the retained right-moving ground spinor is $8_c$, its two families areThe Ramond spinors have opposite zero-mode chiralities in these two families: inserting one fermionic oscillator reverses the oscillator contribution to the GSO condition, so the second family must use the opposite zero-mode chirality. Each family has $8\times 8=64$ states. HenceThese first massive GSO-projected Ramond states form the gamma-traceless vector-spinor representation of $\mathrm{Spin}(9)$, of dimension $9\cdot 16-16=128$. Its transverse branching is $8_s+56_s+8_c+56_c$. The right-moving sector therefore contains $128$ bosons and $128$ fermions, a massive chiral superstring supersymmetry multiplet.

For the closed string, closed-string level matching requires the left and right shifted levels to agree. Both chiral sectors at this first massive mass have $128$ NS states and $128$ R states. The bosons lie in the NS-NS sector and RR sector, while the mixed sectors are fermionic. ConsequentlyTheir total is $65536=2^{16}$. A massive ten-dimensional state with 32 real supercharges and no central charges has sixteen fermionic creation operators in its rest-frame supersymmetry algebra, giving a long multiplet of this size. Thus the chiral equality, the four closed sectors and level matching are consistent with the first massive type IIA long supermultiplet, rather than merely matching an isolated number of right-moving states.

The closed string already contains the particle required for quantum gravity. For bosonic string theory in its critical dimension of string theory, the mass-shell condition and closed-string level matching areAt $N=\tilde{N}=1$, the states ${ϵ}_{mn}{\alpha }_{-1}^m{\tilde{\alpha }}_{-1}^n|0;k⟩$ are massless. After imposing the Virasoro constraints and quotienting null string states, the transverse polarization tensor decomposes into symmetric trace-free, antisymmetric and scalar pieces under $SO(D-2)$. They describe a graviton, the Kalb–Ramond field and the dilaton. In particular, the symmetric trace-free sector is a massless spin-two graviton. Its number of degrees of freedom is $D(D-3)/2$.

The state–operator correspondence associates each physical string state with a string vertex operator. For example, the matter part of a massless closed-string vertex operator isIts conformal weights are $(1,1)$, so its integrated form $\int d^{2}z{V}_{ϵ,k}$ is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by $c\bar{c}$ from the worldsheet ghost fields. Physical vertices represent BRST cohomology classes; longitudinal changes of the polarization tensor are BRST-exact operators and decouple from physical scattering amplitudes. For the graviton, this string-state gauge redundancy becomes the linearized target-space diffeomorphism $h_{mn}\mapsto h_{mn}+{\partial }_m{\xi }_n+{\partial }_n{\xi }_m$.

The Polyakov path integral computes a closed-string scattering amplitude by inserting the external string vertex operators, integrating their unfixed positions and the inequivalent worldsheet moduli, and including the worldsheet ghost fields. On a Riemann sphere three positions are fixed by the residual conformal group. For example, contractions of tachyon vertex operators produce the Koba-Nielsen factor, whose position integral gives the Virasoro–Shapiro amplitude.

The string dual resonance property means that one crossing-symmetric scattering amplitude has equivalent expansions in the different channels: its poles exhibit intermediate string states in each channel, rather than separate channel contributions being added again. The scattering-amplitude factorization at a pole identifies the intermediate particle and its couplings. Set $8\pi T=1$, so ${\alpha }^{\prime }=4$ and the closed-string tachyon has $M^2=-1$. For four such external states the Mandelstam variables obey $s+t+u=-4$. The Virasoro–Shapiro amplitude has generic $s$-channel poles at $s=-1,0,1,\dots$, exactly the bosonic string mass spectrum in these units.

The massless pole gives an especially direct check. With overall normalization $C$ and $u=-4-s-t$, the Gamma function recurrence givesThusThe quadratic residue in $t$ contains a spin-two exchange. A scalar exchange alone could not give this angular dependence. Combined with the known massless spectrum and scattering-amplitude factorization, it identifies exchange of the graviton, with possible scalar contributions from the dilaton; the antisymmetric Kalb–Ramond field does not couple to two identical scalar tachyons here. Consequently the graviton participates in interactions, rather than being an isolated free state.

Decoupling longitudinal graviton polarizations forces a universal coupling to the conserved stress-energy tensor. Consistency of this massless spin-two gauge invariance extends the linearized coupling to the nonlinear dynamics of general relativity. At distances large compared with $\sqrt{{\alpha }^{\prime }}$, the gravitational sector of the effective action begins with the Einstein-Hilbert action, alongside dilaton and Kalb–Ramond field terms and higher-derivative string corrections. The infinite tower of string states supplies the short-distance completion of this quantum gravity expansion.

Interactions are organized by string worldsheet topology. A constant dilaton gives the string coupling $g_s=e^{{\Phi }_0}$, and a connected oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$. Its weight is $g_s^{-\chi }$; with $n$ normalized external vertices,The sphere is tree order, the torus is one loop, and each additional handle adds a factor $g_s^2$. Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in $g_s$, with an independent low-energy expansion in ${\alpha }^{\prime }$.

For the one-loop vacuum contribution, torus modular invariance identifies $\tau$ with $(a\tau +b)/(c\tau +d)$, $ad-bc=1$. Integration is over the standard fundamental domain of the modular group,The potential short-proper-time region ${\tau }_2\to 0$, responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in $\mathcal{F}$. Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in $D=26$ the vacuum integrand is proportional to $d^2\tau {\tau }_2^{-14}|\eta (\tau ){|}^{-48}$, with $\eta$ the Dedekind eta function; the complete expression is invariant under the modular group.

Ultraviolet finiteness does not make the bosonic one-loop vacuum energy finite. The remaining long-tube region ${\tau }_2\to \infty$ is an infrared divergence from the tachyon: $|\eta (\tau ){|}^{-48}\sim e^{4\pi {\tau }_2}$. It signals instability of the bosonic vacuum. Tachyon-free consistent backgrounds remove this particular obstruction, though other infrared effects must still be treated. The ultraviolet improvement comes from the extended string and the complete spectrum together with the worldsheet gauge identifications; the genus expansion remains a perturbative description of quantum gravity.

The three unintegrated vertices fix the residual Möbius symmetry of the sphere and saturate its three holomorphic and antiholomorphic ghost zero modes. Moving a fixed insertion changes the amplitude by a BRST-exact operator, whose expectation with physical BRST-closed vertices vanishes. The remaining integrated positions are dummy variables. Thus the amplitude is independent of the chosen coordinates $(z_i,{\bar{z}}_i)$.

The unintegrated closed-string operator $c\tilde{c}\mathcal{O}$ must have total conformal weight $(0,0)$ and ghost number $(1,1)$. Since $c$ and $\tilde{c}$ have weights $(-1,0)$ and $(0,-1)$, the matter operator $\mathcal{O}$ must be a Virasoro primary operator of weightEquivalently, the full operator must be a BRST-closed operator and not a BRST-exact operator. For a momentum-dependent tensor operator, these requirements impose its target-space mass-shell, transversality, and gauge-equivalence conditions.