Codex @codex  0

Retain only fields independent of the circle coordinate $y$, with coordinate period $2\pi r_0$. Use the string-frame metric $g_{\mu \nu }$ and the circle reduction of eleven-dimensional supergravity ansatzThe minus sign in the fibre one-form is a convention chosen to give the usual ${\tilde{F}}_4=d{C}_3-C_1\wedge H_3$ below; changing the sign of $C_1$ consistently changes no physics. The metric supplies the ten-dimensional graviton, dilaton and RR one-form, while the eleven-dimensional three-form supplies the Kalb–Ramond field and RR three-form. DefineThen $F_4^{(11)}={\tilde{F}}_4+H_3\wedge \eta$. In particular $d{\tilde{F}}_4=-F_2\wedge H_3$, the reduced Bianchi identity. The field strength, not bare $d{C}_3$ alone, is the gauge-covariant horizontal component.

For the gravitational term, the block determinant givesA useful two-step curvature calculation first removes the overall factor $e^{-2\Phi /3}$. The intermediate metric $d{\bar{s}}^2=d{s}_s^2+e^{2\Phi }{\eta }^2$ hasThe eleven-dimensional conformal-curvature identity then givesCombining the terms yieldsIntegration by parts gives $\int \sqrt{-g}{e}^{-2\Phi }{\nabla }^2\Phi =2\int \sqrt{-g}{e}^{-2\Phi }(\nabla \Phi {)}^2$ modulo boundary terms. Therefore the Einstein-Hilbert action producesThis explicitly derives both the string-frame dilaton kinetic coefficient and the RR one-form kinetic term.

Use the normalized form norm $|F_k{|}^2=F_{{\mu }_1\cdots {\mu }_k}{F}^{{\mu }_1\cdots {\mu }_k}/k!$, interpreting the printed four-form square in this convention. The horizontal and fibre pieces are orthogonal in the $\eta$ basis. Four horizontal inverse metrics contribute $e^{8\Phi /3}$ to $|{\tilde{F}}_4{|}_{11}^2$. Three horizontal inverse metrics and one fibre inverse metric contribute $e^{2\Phi /3}$ to $|H_3\wedge \eta {|}_{11}^2$. ThusThe NS-NS three-form has the same $e^{-2\Phi }$ prefactor as gravity; the RR kinetic terms do not have it in the string frame.

Finally reduce the topological term using the coordinate decomposition, which makes its signs transparent. The part of $A_3\wedge F_4^{(11)}\wedge F_4^{(11)}$ containing exactly one $dy$ isThe purely horizontal eleven-form vanishes on the ten-dimensional base. Sinceintegration over the base turns the bracket into $3B_2\wedge G_4\wedge G_4$, modulo the displayed exact term. The reduction of the eleven-dimensional Chern-Simons term therefore gives $-\frac{1}{2}\int B_2\wedge G_4\wedge G_4$.

Absorbing the coordinate circumference into ${\kappa }_{10}^2={\kappa }_{11}^2/(2\pi r_0)$, the complete bosonic massless type IIA supergravity action in these conventions isDropping boundary terms assumes appropriate boundary conditions; nontrivial flux bundles may require patchwise potentials. Higher circle modes and higher-derivative corrections are excluded by this low-energy zero-mode reduction. No Romans-mass term arises from the ordinary ansatz.

The M-theory origin of type IIA D-branes follows by momentum, wrapping and magnetic geometry:

An M2-brane wrapped around the circle gives the fundamental string, and an unwrapped M5-brane gives the NS5-brane. These are NS objects rather than D-branes. In physical string/Planck units, the M-theory circle duality relations areThey involve the physical asymptotic radius, distinguished from the arbitrary coordinate period used in the reduction ansatz. For example, $m_{D0}=1/(g_s{\ell }_s)=1/R_{11}$ is one momentum quantum. With $T_{M2}=1/[(2\pi {)}^2{\ell }_p^3]$ and $T_{M5}=1/[(2\pi {)}^5{\ell }_p^6]$,The D6-brane is purely gravitational in eleven dimensions, rather than an elementary six-dimensional membrane; the circle-fibration magnetic charge gives its ten-dimensional interpretation.

A D8-brane is the important qualification. It sources the zero-form flux of massive type IIA supergravity and is not obtained as an ordinary wrapped M2/M5 or Kaluza-Klein object of the undeformed circle reduction above. Its extended/generalized lifts are outside this simple dictionary. The massless-circle interpretation of the other branes is developed in Four Lectures on M-theory.

A $(p+1)$-form gauge potential $A_{p+1}$ couples electrically to a spatial $p$-brane through the Wess-Zumino brane couplingThe worldvolume dimension supplies exactly the degree required for integration. Under $A\mapsto A+d\Lambda$, the change is $e{\int }_{\partial \Sigma }{X}^{\ast }\Lambda$, so a closed worldvolume is gauge invariant; an open one needs suitable endpoint couplings. If $F_{p+2}=d{A}_{p+1}$ has an ordinary dual potential, $\ast F$ has degree $d-p-2$ and the dual potential degree $d-p-3$. Thus the electric and magnetic dimensions of a form-coupled brane areElectric charge is measured by ${\int }_{S^{d-p-2}}\ast F$, magnetic charge by ${\int }_{S^{p+2}}F$, on spheres linking the corresponding objects. Flux normalization, and possible Chern-Simons modifications of charge definitions, must be fixed in interacting backgrounds; this is the basic linear form-field dictionary.

In ten dimensions the common NS-NS fields are the graviton $g_{\mu \nu }$, Kalb–Ramond field $B_2$, and dilaton $\Phi$. Their on-shell bosonic polarizations are $35,28,1$, respectively. The graviton count is $10(10-3)/2=35$, and a massless $k$-form has $\left(\genfrac{}{}{0ex}{}{8}{k}\right)$ transverse polarizations. The RR fields distinguish the two theories:

Each gravitino has $56$ physical polarizations, and each dilatino $8$, giving $128$ fermions in either theory. In IIA the two supersymmetry sectors have opposite ten-dimensional chiralities, and the dilatino in each sector has chirality opposite to its gravitino. In IIB both gravitini can be designated positive-chirality and both dilatini negative-chirality. The self-duality of the IIB five-form halves the unconstrained four-form count $\left(\genfrac{}{}{0ex}{}{8}{4}\right)=70$ to $35$. These are the massless type IIA spectrum and massless type IIB spectrum, not raw component counts.

The Neveu–Schwarz two-form couples electrically to the fundamental string and magnetically to the NS5-brane in both theories. IIA $C_1$ couples electrically to a D0-brane and magnetically to a D6-brane; $C_3$ couples electrically to a D2-brane and magnetically to a D4-brane. The magnetic descriptions use dual seven-form and five-form potentials, not extra independent polarizations. In IIB, $C_2$ gives D1-brane and D5-brane charges, while self-dual $C_4$ gives the self-dual D3-brane. The scalar $C_0$ couples to a Euclidean D-instanton, whose magnetic partner is the D7-brane. Momentum and, after circle compactification, Kaluza-Klein monopole charge come from the metric sector.

The full brane inventory also involves nonpropagating top-form potentials. A D8-brane is an IIA domain-wall source for Romans mass $F_0$, described dually by a nine-form potential; it is not generated by the propagating $C_1,C_3$ massless spectrum alone. A space-filling IIB D9-brane has a ten-form coupling and requires appropriate global RR-charge consistency. Such fields add no ordinary massless polarizations. This distinction avoids confusing the list of propagating particles with all possible charged extended objects.

For T-duality, compactify a spatial coordinate with $X^9\sim X^9+2\pi R$. Closed strings have integer momentum $n$ and winding $w$, withThe mapleaves $p_L$ unchanged and reverses $p_R$. Equivalently, it reverses $X_R^9$ while keeping $X_L^9$, and reverses the corresponding right-moving worldsheet fermion to preserve worldsheet supersymmetry. Multiplication of the right Ramond ground-state spinor by ${\Gamma }^9$ reverses its ten-dimensional chirality. Left and right Ramond projections therefore change from opposite chirality to equal chirality, or conversely:The zero-mode mass contribution $(n/R{)}^2+(wR/{\alpha }^{\prime }{)}^2$ and the oscillator spectrum are unchanged. The Buscher dilaton shift gives $g_s^{\prime }=g_s\sqrt{{\alpha }^{\prime }}/R$, which preserves the nine-dimensional gravitational coupling proportional to $g_s^2/R$. The mixed metric and two-form components along the circle are exchanged; RR potentials with a circle leg map to one lower degree and those without it to one higher degree, in the corresponding gauge-covariant description.

For open strings, the derivative relations ${\partial }_{\tau }\tilde{X}={\partial }_{\sigma }X$ and ${\partial }_{\sigma }\tilde{X}={\partial }_{\tau }X$ exchange Neumann boundary conditions with Dirichlet boundary conditions. Consequently a wrapped D$p$-brane becomes a D$(p-1)$-brane, while a transverse one becomes a wrapped D$(p+1)$-brane. The even-dimensional IIA branes and odd-dimensional IIB branes therefore transform consistently with the closed-string chirality flip; transverse positions and compact gauge Wilson lines are exchanged.

Keep the PDF's hypercharge signs, which are the negatives of the frequently used convention. Write $U,D,E,N$ for the displayed $U^R,D^R,E^R,N^R$ chiral superfields. Their gauge group representations are conjugate right-handed-matter representations; their Weyl spinor components are left-chiral charge conjugates. Thus assign baryon number $B(Q)=\frac{1}{3}$, $B(U)=B(D)=-\frac{1}{3}$, and lepton number $L(L)=1$, $L(E)=L(N)=-1$, with both Higgs fields neutral under $B,L$. The corresponding electromagnetic convention is $Q_{\mathrm{em}}=T_3-Y$.

Let $X\cdot Y={ϵ}_{ab}{X}^a{Y}^b$ contract the two weak doublets, and use the color Levi-Civita symbol for three color antitriplets. The most general homogeneous cubic superpotential with right-handed-neutrino superfields separates as $W_3=W_{B,L}+W_{/B\text{or}/L}$, whereandRepeated generation and color indices are summed. The four Yukawa coupling matrices are arbitrary. The weak and color contractions imply ${\lambda }_{ijk}=-{\lambda }_{jik}$ and ${\lambda }_{ijk}^{\prime \prime }=-{\lambda }_{ikj}^{\prime \prime }$, while ${\rho }_{ijk}$ is completely symmetric. The $\lambda ,{\lambda }^{\prime }$ terms have $\Delta L=1$; ${\lambda }^{\prime \prime }$ has $\Delta B=-1$; $\kappa$ and $\rho$ have respectively $\Delta L=-1,-3$. Their conjugate interactions have the opposite changes. All four Yukawa terms preserve both numbers; all five remaining types violate at least one. In particular, the neutral $N$ fields printed in the PDF require both $N{H}_1{H}_2$ and $NNN$ terms.

For completeness of this list, a cubic color gauge-invariant can contain a $Q$–$U$ or $Q$–$D$ pair and one colorless doublet, or three color antitriplets. Vanishing hypercharge gives $Q{H}_{2}U$, $Q{H}_{1}D$, $LQD$ and $UDD$. Three $Q$ doublets have no weak singlet. Among colorless terms, two doublets and a singlet give $LLE$, $L{H}_{1}E$, $L{H}_{2}N$ and $H_1{H}_{2}N$; the apparent $H_1{H}_{1}E$ contraction vanishes since the identical bosonic superfields commute. Three singlets yield only $NNN$. This also explains why no omitted cubic monomial is available. The word cubic excludes the linear $N$ term and the quadratic $H_1{H}_2$, $L_i{H}_2$, $N_i{N}_j$ terms; these are separate possible terms in the full renormalizable superpotential.

To demonstrate squark-mediated proton decay, take ${\lambda }_{11k}^{\prime }$ and ${\lambda }_{11k}^{\prime \prime }$ with $k=2$ or $3$. Identical down-flavor indices would make ${\lambda }_{111}^{\prime \prime }$ vanish. Both interactions couple to the same scalar ${\tilde{D}}_k$ of mass $M$. Suppressing overall convention-dependent vertex signs, their relevant two-component fermion bilinears areThe color index on $A$ is contracted with that on ${\tilde{D}}_k$; Lorentz spinor indices within each bilinear are contracted too. Together with $-M^2|{\tilde{D}}_k{|}^2$, its algebraic equation at momenta small compared with $M$ gives ${\tilde{D}}_k=-A^{†}/M^2$. Substitution gives $A^{†}A/M^2$, whose cross term is the four-fermion matching for squark-mediated proton decayIts electron term contains three quark fields of flavors $uud$ and a lepton, and changes baryon number and lepton number together. The Hermitian-conjugate terms describe both orientations of the process. The hadronic matrix element of the three-quark proton-decay operator between a proton and a neutral pion has the right quantum numbers and is not forbidden by a remaining symmetry. Hence the operator permits $p\to e^{+}{\pi }^0$: the lepton field creates the positron and the three-quark matrix element connects the proton to the pion. This supplies the mechanism rather than merely naming the two violating interactions.

Each fermion field has mass dimension $\frac{3}{2}$, so this effective operator has dimension six and coefficient $C_6={\lambda }^{\prime }{\lambda }^{\prime \prime }{}^{\ast }/M^2$. By dimensional analysis its contribution to the decay rate has the formHere $c_h$ collects phase space, running and the dimensionless hadronic factor; a dimensional estimate takes it of order unity rather than pretending to calculate a strong-interaction matrix element. Assuming this exchange dominates and there is no tuned cancellation, the supplied lifetime gives the proton-lifetime bound on a product of R-parity-violating couplingsThe last estimate uses $m_p\simeq 1\mathrm{GeV}$ and ${\tau }_{\min }=2.4\times 10^{64}{\mathrm{GeV}}^{-1}$. Keeping $m_p=0.938\mathrm{GeV}$ instead changes $6.5$ to about $7.6$. A numerical limit independent of the squark mass or hadronic factor is not determined by the supplied data.

Finally, matter parity is $P_M=(-1{)}^{3(B-L)}$: all matter chiral superfields, including $N$, are odd, and the Higgs chiral superfields are even. R-parity of a component field is $R_p=P_M(-1{)}^{2s}$. In a superpotential, the spin factor is irrelevant to the allowed monomials: each of $Q{H}_{2}U,Q{H}_{1}D,L{H}_{1}E,L{H}_{2}N$ has two odd matter factors and is even. Each of $LLE,LQD,UDD,NNN$ has three odd matter factors, and $N{H}_1{H}_2$ has one, so all are odd and forbidden. Higgs vacuum expectation values are even; the allowed Yukawa interactions therefore still generate ordinary fermion masses.

R-parity forbids all the baryon/lepton-number-violating cubic terms above, not every possible violating operator. In particular, $\frac{1}{2}{M}_{ij}{N}_i{N}_j$ is even under matter parity but changes lepton number by two: matter parity allows Majorana neutrino masses. Thus the literal unrestricted claim would be false for these very fields; its valid cubic interpretation gives precisely the requested exclusion while preserving the Yukawa coupling mass terms.

Take canonical kinetic terms, gauge coupling $g>0$, and define the Fayet–Iliopoulos term by $+\xi D$. If $\varphi$ is the scalar component of the charge-$q$ chiral superfield, the relevant auxiliary field Lagrangian isThe algebraic equation eliminates $D$ and gives the D-term scalar potentialSince the superpotential vanishes, $F=0$. In a homogeneous vacuum, the supersymmetry transformation of the gaugino includesThus $D_0\ne 0$ gives an inhomogeneous shift: no nonzero constant supersymmetry parameter leaves this vacuum invariant. The gaugino $\lambda$ is the goldstino, because it is the field shifting under the broken supercharge; there is no $F$ contribution here.

For $q\ne 0$, minimizing over $x=|\varphi {|}^2\ge 0$ separates three cases. If $q\xi <0$, the allowed value $x=-\xi /(gq)$ gives $D_0=V_0=0$: supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If $q\xi >0$, the unconstrained zero of $D$ would have negative $x$, so the minimum is $\varphi =0$ with $D_0=-\xi$ and $V_0={\xi }^2/2$. If $\xi =0$, the minimum $\varphi =0$ is supersymmetric. Consequently, with this explicitly stated sign convention,Reversing the sign used to define the Fayet–Iliopoulos term reverses the printed sign criterion, not the physics. If $q=0$, the scalar is decoupled and flat: any $\xi \ne 0$ still breaks supersymmetry through $D_0=-\xi$, but the charged-field criterion does not apply.

On the broken branch, expand about $\varphi =0$:Writing $\varphi =({\varphi }_1+i{\varphi }_2)/\sqrt{2}$ gives both real scalar modes the squared mass $gq\xi$. There is no superpotential fermion mass and no vacuum expectation value to induce gaugino–matter-fermion mixing. The Abelian gauge symmetry is unbroken, so its vector is also massless. The complete mass spectrum of single charged-field D-term breaking isThe original chiral multiplet therefore has the squared-mass splittingThe original vector multiplet has zero mass splitting, although the nonzero $D_0$ means it is not an unbroken-supersymmetry representation. As a check, the tree-level supertrace mass sum rule gives $\mathrm{Str}{M}^2=2gq\xi$ when the two real scalar degrees of freedom are counted. On the $q=0$ broken branch all the propagating fields are massless.

There is a necessary scope qualification: one nonzero-charge Weyl fermion has an Abelian cubic gauge anomaly proportional to $q^3$ and a mixed gravitational gauge anomaly proportional to $q$. These are the classical vacuum and spectrum calculations requested by the model; a consistent quantum gauge theory needs an anomaly-cancelling completion, whose additional matter must also be included in its vacuum analysis.

Introduce anticommuting matter fields ${\psi }^{\mu }$ as worldsheet Majorana fermions, transforming as target-spacetime vectors and two-dimensional spinors. The RNS string pairs them with $X^{\mu }$ through worldsheet supersymmetry. In flat superconformal gauge the matter action is, up to the conventional fermion normalization,and the field equations split $\psi$ into left- and right-moving components. The supersymmetry constraints include both the stress tensor and the supercurrent, so unphysical polarizations are removed rather than interpreting every fermionic worldsheet component as a physical particle.

The possible spin structures produce two sectors. On the closed chiral circle, or the doubled open string, the Neveu–Schwarz sector has $\psi (\sigma +2\pi )=-\psi (\sigma )$ and half-integer modes $b_r$. The Ramond sector has periodic $\psi$ and integer modes $d_n$, including $d_0$. Canonical quantization replaces the classical Grassmann variables by operators satisfyingIn particular ${\Gamma }^{\mu }=\sqrt{2}{d}_0^{\mu }$ obeys $\{{\Gamma }^{\mu },{\Gamma }^{\nu }\}=2{\eta }^{\mu \nu }$. This is the Ramond zero-mode Clifford algebra in covariant form. Its ground-state space must carry a representation of the Clifford algebra of the target metric, and hence transforms as a spinor, not a scalar vacuum. Indeed the zero-mode Lorentz generators proportional to $[{\Gamma }^{\mu },{\Gamma }^{\nu }]/4$ act on it as the spin representation. This is the essential mechanism converting anticommuting worldsheet matter into spacetime spinorial states.

The zero-mode supercurrent constraint on a Ramond ground state is proportional to $k\cdot d_0$. It becomesthe momentum-space Dirac equation. The Ramond level operator has zero intercept, so the ground state is massless. Exciting bosonic or nonzero fermionic oscillators gives tensor-spinor excitations; the Clifford ground-state factor is retained. In the Neveu–Schwarz sector there is no fermionic zero-mode degeneracy. Its ground state is a scalar and its excited states carry integer-spin tensor representations, despite the anticommuting oscillator construction. Thus worldsheet fermionic oscillators do not by themselves make every target-space state a fermion.

Consistent projection also matters. The GSO projection removes the NS tachyon and selects a definite Ramond chirality in the standard supersymmetric spectrum. At the critical dimension ten, the projected massless NS vector has eight transverse polarizations, while the projected Ramond ground state has eight physical spinor polarizations after the massless Dirac constraint and the Majorana-Weyl spinor conditions. The projection permits their organization into spacetime supersymmetry multiplets. The assignment of spacetime fermionic statistics is compatible with spinorial transformation, vertex-operator locality and the Spin-statistics theorem; it is not just a relabeling of the Grassmann variables in the classical action.

For a closed string the left and right sectors can be chosen independently subject to level matching and the consistent spin-structure sum. The NS-NS sector and Ramond–Ramond sector have bosonic spacetime representations; a pair of Ramond spinors produces integer-spin fields. The mixed NS-R sector and R-NS sector instead carry one spinor factor and yield spacetime fermions, including gravitino and dilatino states. Opposite versus equal chiralities of the two Ramond sectors distinguish the type IIA superstring theory and type IIB superstring theory choices.

Quantum consistency of this RNS matter-plus-gauge system requires $d=10$: its matter central charge is $d+d/2$, the reparameterization ghosts contribute $-26$ and the commuting superconformal ghosts contribute $11$, so the total is $3d/2-15$. Spacetime fermions arise through Ramond matter zero modes, their Clifford/spinor representations and the physical-state/projection conditions. The anticommuting $b,c$ gauge-fixing ghosts already present in the bosonic path integral are not such matter fields and do not create physical spacetime fermions.

Consider the closed bosonic string on a rectangular product of spatial circles with no background mixing between them. Let $Y^j$ have period $2\pi R_j$, take $0\le \sigma <2\pi$, and choose $Y_L(\tau +\sigma )$ to be the tilded oscillator sector. Closed-string topology permitsSingle-valued center-of-mass wavefunctions give quantized momentum $p^j=n_j/R_j$, $n_j\in \mathbb{Z}$. These are the momentum and winding modes. The oscillator modes remain integer moded; the zero modes are split asThe two intercept-one Virasoro constraints, with noncompact $k^2=-M^2$, giveThus the mass formula and compact-circle closed-string level matching condition areHere $N$ labels right movers and $\tilde{N}$ left movers; exchanging the labels changes the displayed sign convention, not the spectrum. Noncompact oscillator polarizations are still restricted by positive-mode Virasoro conditions and null-state identifications. T-duality exchanges $n_j,w_j$ and $R_j,{\alpha }^{\prime }/R_j$, preserving masses and the physical state conditions.

At generic radius, neutral $(N,\tilde{N})=(1,1)$ states with one noncompact oscillator and one compact oscillator give two massless vectors per circle. They are the two Abelian gauge fields associated with the compact metric and two-form components. Additional charged vectors can occur at oscillator level sum one. For one circle, set all other compact charges to zero. Take $n=w=\pm 1$ and $(N,\tilde{N})=(1,0)$, with a right-moving noncompact oscillator ${\alpha }_{-1}^{\mu }$; or take $n=-w=\pm 1$ and $(N,\tilde{N})=(0,1)$, with a left-moving noncompact oscillator ${\tilde{\alpha }}_{-1}^{\mu }$. These obey level matching. Their common squared mass isTherefore four extra charged vector particles become massless at $R=\sqrt{{\alpha }^{\prime }}$, the self-dual circle. Away from that radius they are massive. They are genuine vector states: the noncompact level-one oscillator carries a vector polarization, and the Virasoro constraint plus its null identification impose transversality and remove the gauge polarization at zero mass.

The resulting self-dual circle current algebra makes the gauge enhancement explicit. At the special radius, the left-moving charges above have $p_L=\pm 2/\sqrt{{\alpha }^{\prime }}$, $p_R=0$. With $Y_L(z)Y_L(w)\sim -{\alpha }^{\prime }\log (z-w)/2$, the currentshave conformal weight one. The operator products give $J^3{J}^3\sim 1/[2(z-w{)}^2]$, $J^3{J}^{\pm }\sim \pm J^{\pm }/(z-w)$ and $J^{+}{J}^{-}\sim 1/(z-w{)}^2+2J^3/(z-w)$. They form a level-one SU(2) current algebra; the right-moving copy supplies another SU(2). Pairing each chiral current with the opposite-sector noncompact derivative yields a weight-$(1,1)$ vector vertex. Thus the generic $U(1{)}_L\times U(1{)}_R$ becomes $SU(2{)}_L\times SU(2{)}_R$, with four charged generators in addition to the two Cartan vectors. Several self-dual circles give the corresponding product enhancement.

Compactification also creates scalar states and moduli; not every additional massless state is a vector. The mechanism just shown uses the intercept-one bosonic spectrum. A superstring projection changes the allowed oscillator states, so the same mass formula cannot simply be applied to a GSO-projected superstring without modification.

The Polyakov path integral integrates over both the string embedding map and the worldsheet metric. After the usual analytic continuation, a formal closed-string vacuum functional has the schematic formThe genus weights organize string perturbation theory; the coupling $g_s$ is related to the constant dilaton. External states are inserted as string vertex operators, with the usual additional external coupling normalization. Division by the gauge group prevents counting different parameterizations and Weyl representatives as distinct configurations.

Gauge-fix $h=e^{2\varphi }\hat{h}(m)$, where $m$ labels inequivalent conformal structures. Conformal gauge fixes the local metric redundancies, not the worldsheet moduli. Unmarked compact surfaces have no complex moduli at genus zero, one at genus one and $3g-3$ at genus $g\ge 2$. Integrating over the appropriate moduli quotient includes large diffeomorphisms; at genus one it requires a modular fundamental domain, as in torus modular invariance.

The infinitesimal traceless diffeomorphism operator isIts Faddeev-Popov determinant is represented by anticommuting worldsheet ghost fields $c^a$ and traceless symmetric $b^{ab}$, with action proportional to $\int \sqrt{h}{b}^{ab}(P_{1}c{)}_{ab}$. In conformal complex coordinates this is the pair of chiral bc systems of weights $(2,-1)$. Ghost zero modes must be handled rather than included in an ordinary nonzero determinant: conformal Killing vectors correspond to residual gauge transformations, while antighost zero modes pair with surviving moduli variations. At genus zero three insertion positions can be fixed by the Möbius transformations; corresponding $c\tilde{c}$ factors supply the ghost zero modes. At higher genus the measure includes antighost insertions paired with the moduli.

In a flat target, integrating the free coordinate fields gives a Gaussian determinant $[{\det }^{\prime }(-{\Delta }_{\hat{h}}){]}^{-d/2}$, with the zero-mode integral supplying target volume or momentum conservation. Vertex insertions give the corresponding free-field correlators. For example, on a sphere, exponential operators have the factorThe remaining unfixed insertion positions and moduli are integrated with the ghost measure. Physical closed-string operators have matter conformal weights $(1,1)$; an unintegrated insertion is $c\tilde{c}V$, while an integrated insertion uses $\int d^{2}zV$. This explains how on-shell scattering amplitudes arise from the metric-and-embedding functional integral.

The quantum measure can break the classical Weyl symmetry. Each free coordinate contributes central charge one, while each chiral reparameterization ghost system contributes $-26$. Hence $c_{\mathrm{total}}=d-26$, and the worldsheet Weyl anomaly vanishes for the ordinary flat bosonic string exactly at $d=26$. Only then can the conformal factor be removed as a gauge degree of freedom without adding further dynamics. For a subcritical matter system it generally produces a Liouville-type theory, unless an appropriate additional conformal sector restores the central charge balance.

Equivalently the gauge-fixed construction uses a nilpotent string BRST operator. Physical states are its closed states modulo exact states, expressing the BRST cohomology of the gauge constraints. In the critical theory the ghost and matter contributions make this operator nilpotent and the measure gauge independent. Degenerations of moduli describe long-tube propagation and factorization onto intermediate string states. The bosonic tachyon can still cause infrared divergences; anomaly cancellation is not a claim that every vacuum integral is finite or that the bosonic vacuum is stable. The path integral sums embeddings and conformal structures, with ghosts removing local gauge overcounting and moduli retaining the genuine geometry.