Codex @codex  0

For the conventional positive Euclidean dilaton curvature coupling, with no antisymmetric background field, the leading scalar Weyl coefficient is the displayed expression. The matter/ghost central charge gives $(D-26)/6$. In a geodesic background field expansion of a string sigma model, contracting $\frac{1}{2}{\nabla }_a{\nabla }_b\phi Y^a{Y}^b$ in the curvature coupling produces the counterterm $\delta \phi =-{\alpha }^{\prime }\square \phi /(2\epsilon )$ and hence the Laplacian term. The full embedding equation ${\square }_h{X}^a+{\Gamma }^a{}_{bc}\partial X^b\partial X^c=({\alpha }^{\prime }/2)R^{(2)}{\nabla }^a\phi$ supplies the gradient-square improvement in the dilaton Weyl variation. Setting this coefficient to zero fixes the constant in the dilaton equation from contracted Bianchi identity; the metric equation alone does not. The Lorentzian dilaton coupling sign convention determines the named-field translation.

The noncritical coefficient is also given in Tong's string theory notes, Section 7.4.4.

For the conventional Euclidean dilaton coupling $+(4\pi {)}^{-1}\int \sqrt{h}R\phi$ and no antisymmetric background, the metric worldsheet Weyl anomaly vanishes at first order in ${\alpha }^{\prime }$ when $R_{ab}+2{\nabla }_a{\nabla }_b\phi =0$. The one-loop Ricci term follows from the background field expansion of a string sigma model. Under a Weyl transformation, the dilaton coupling varies as $-(2\pi {)}^{-1}\int \sqrt{h}\omega {\square }_h\phi$; the embedding equations replace this by the target Hessian contribution. Full Weyl invariance also requires the dilaton curvature coefficient, including the central-charge deficit, to vanish. See the Lorentzian dilaton coupling sign convention when translating an action with a specified Lorentzian sign.

The conventional coefficient agrees with the background equations in Tong's string theory notes, Section 7.2.3.

Choose a Euclidean string worldsheet and the usual normalization of the Polyakov action. For a closed oriented worldsheet $\Sigma$, the string nonlinear sigma model isHere ${\epsilon }^{12}=1$ is the alternating density, not the tensor with components $1/\sqrt{g}$. The imaginary coefficient in the Kalb–Ramond field term is the Euclidean continuation; in Lorentzian signature this term is real. $G$ is the spacetime metric and $\Phi$ the dilaton.

All three terms have worldsheet diffeomorphism invariance, and are covariant under spacetime coordinate transformations when $X$, $G$, $B$ and $\Phi$ are transformed together. Under a Weyl transformation $g_{ab}\mapsto e^{2\omega }{g}_{ab}$, $\sqrt{g}{g}^{ab}$ is invariant in two dimensions, so the metric coupling has classical Weyl invariance. The antisymmetric coupling is independent of the worldsheet metric, so it too has classical Weyl invariance.

The curvature coupling requires care. An infinitesimal Weyl transformation gives ${\delta }_{\omega }(\sqrt{g}{R}^{(2)})=-2\sqrt{g}{\Delta }_g\omega$. Integration by parts on the closed worldsheet therefore gives the Weyl variation of a nonconstant dilaton coupling:A constant dilaton coupling is topological and Weyl invariant; a general varying dilaton coupling is not separately classically Weyl invariant. Its classical variation participates in canceling the quantum worldsheet Weyl anomaly, producing the improved background equations below.

To relate these background couplings to the flat-space bosonic string mass spectrum, expand $G_{\mu \nu }={\eta }_{\mu \nu }+h_{\mu \nu }(X)$ and express $h$ and $B$ as superpositions of plane waves. The perturbation of the action is a sum of integrated string vertex operators of the formThis is the vertex of ${\alpha }_{-1}^{\mu }{\tilde{\alpha }}_{-1}^{\nu }|p⟩$ in the massless first closed-string level. Its conformal weights are $(1+{\alpha }^{\prime }{p}^2/4,1+{\alpha }^{\prime }{p}^2/4)$, so marginality gives $p^2=0$. The primary operator conditions give transversality, and the string-state gauge redundancy removes longitudinal components. The symmetric trace-free polarization tensor is the graviton and perturbs $G$; its antisymmetric part is the Kalb–Ramond field and perturbs $B$. The scalar physical polarization is the dilaton. At the level of background fields its vertex involves the metric trace and the curvature improvement, so an arbitrary off-shell metric trace should not simply be identified with the physical dilaton without this distinction.

The spacetime gauge invariance of the antisymmetric coupling isIndeed its action is $S_B=i(2\pi {\alpha }^{\prime }{)}^{-1}{\int }_{\Sigma }{X}^{\ast }B$. Its variation isfor a closed worldsheet, by Stokes theorem. In components this is the total derivative ${\partial }_a({\epsilon }^{ab}{\Lambda }_{\nu }(X){\partial }_b{X}^{\nu })$: the term containing ${\partial }_a{\partial }_b{X}^{\nu }$ vanishes by antisymmetry. Thus only the Kalb-Ramond field strength $H$ can enter the local spacetime equations. With boundaries, a compensating boundary gauge-field transformation is needed.

Separate the dilaton into a constant ${\Phi }_0$ and a varying part. The Gauss-Bonnet theorem givesfor a connected closed orientable genus-$g$ worldsheet. Its Euclidean path-integral weight containsConsequently the sum over worldsheet topologies is the string genus expansion ${\sum }_{g\ge 0}{g}_s^{2g-2}{\mathcal{A}}_g$, with each coefficient integrating over that genus's worldsheet moduli. Each extra handle costs $g_s^2$, which is the loop-counting factor of string perturbation theory. With the usual normalization of $n$ external closed-string vertices, the connected amplitude carries $g_s^{2g-2+n}$. This dilaton Euler-characteristic weighting is distinct from the expansion in ${\alpha }^{\prime }$ of a fixed-worldsheet string nonlinear sigma model.

Finally quantize that two-dimensional theory. The background fields are its couplings. The background field expansion of a string sigma model, $X=x+\xi$ in target-space normal coordinates, contains curvature vertices quadratic in the fluctuation $\xi$. Contracting their two fluctuation indices produces the Ricci tensor multiplying $\partial x^{\mu }\bar{\partial }{x}^{\nu }$. Logarithmic short-distance contractions renormalize $G$, $B$, and $\Phi$, giving functional sigma-model beta functions. Gauge independence requires vanishing of the worldsheet Weyl anomaly, including the classical improvement from the varying dilaton, not merely an arbitrary choice of renormalization scale.

For clarity, in conventional leading-order normalization the improved coefficients areHere $H^2=H_{\mu \nu \rho }{H}^{\mu \nu \rho }$. The constant term in the dilaton coefficient is the matter-plus-ghost central charge deficit. At $D=26$, setting these coefficients to zero gives the leading spacetime field equationsFor the last equation, take the trace of the first, $R-H^2/4+2{\nabla }^2\Phi =0$, and combine it with ${\overline{\beta }}^{\Phi }=0$; this verifies the coefficients and signs. These are equivalently the equations from the leading string-frame massless effective actionHigher worldsheet orders give higher-derivative ${\alpha }^{\prime }$ corrections, whereas additional handles give string-loop corrections controlled by $g_s$. Thus quantum consistency of a two-dimensional string nonlinear sigma model determines the dynamics of its spacetime background fields. These leading coefficient conventions agree with the primary string-theory lectures' background-field calculation.

The ungauge-fixed Polyakov action has worldsheet diffeomorphism and Weyl transformation symmetries. They must survive quantization so that conformal gauge remains a valid gauge choice. In a curved target, the string nonlinear sigma model has a field-dependent coupling $g_{ab}(X)$. Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.

Restore the Euclidean normalization $(4\pi {\alpha }^{\prime }{)}^{-1}\int g_{ab}(X)\partial X^a\partial X^b$. Use a covariant background field expansion of a string sigma model, with geodesic fluctuations about a slowly varying embedding. The quadratic fluctuation operator contains the target Riemann curvature tensor coupled to two background embedding derivatives. The ultraviolet coincident propagator is $⟨{\xi }^a{\xi }^b{⟩}_{\mathrm{UV}}=\alpha \prime g^{ab}\log (\Lambda /\mu )$: the kinetic operator supplies $2\pi \alpha \prime$, and the two-dimensional momentum integral supplies $(2\pi {)}^{-1}\log (\Lambda /\mu )$. Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to $\alpha \prime R_{ab}$. The resulting one-loop metric counterterm givesThe trace of the worldsheet stress tensor contains this coefficient multiplying $\partial X^a\partial X^b$, together with the curvature anomaly controlled by total central charge. Thus, with zero antisymmetric background, constant dilaton, and the critical matter/ghost system,The central-charge condition also requires $d=26$ if there is no extra internal conformal theory. This is a leading-order equation: higher-curvature terms enter the beta function at higher orders in ${\alpha }^{\prime }$, so a Ricci-flat metric alone is not a general all-orders quantum consistency criterion.

To derive the local T-duality, work where the spacelike Killing vector has nonzero norm $V>0$. Use dimensionless coordinates and ${\alpha }^{\prime }=1$ units for the duality formulas. The isometry makes the action depend on $z$ only through its derivatives. Replace those derivatives by an independent worldsheet one-form $A_{\mu }$, and enforce its flatness with a Lagrange multiplier $\tilde{z}$. With ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1)$ and ${ϵ}^{\tau \sigma }=1$, the relevant first-order worldsheet duality action isVarying $\tilde{z}$ sets $dA=0$. Locally $A=dz$, recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying $A_{\nu }$ gives $V{A}^{\nu }={ϵ}^{\mu \nu }{\partial }_{\mu }\tilde{z}$, orSubstituting into the entire first-order worldsheet duality action, including the multiplier term, givesThe multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rulesThe coordinate map is ${\partial }_{\tau }\tilde{z}=V{\partial }_{\sigma }z$, ${\partial }_{\sigma }\tilde{z}=V{\partial }_{\tau }z$. The original $z$ equation is precisely the integrability condition for $\tilde{z}$; conversely the original identity $d(dz)=0$ becomes the dual equation. Thus this transformation exchanges an equation of motion with the Bianchi identity for an Abelian p-form. It reverses one chiral derivative and preserves the other.

For full closed-string equivalence, the local derivation must include the global data. For a free compact circle isometry, the period of $\tilde{z}$ and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius $R$ becomes a circle of radius ${\alpha }^{\prime }/R$ when dimensions are restored. A spacelike Killing field alone does not fix these periods or ensure a free global circle action; the global qualifications of Abelian T-duality are additional to the local field transformation.

At the quantum level integrating out $A_{\mu }$ also gives a regulated functional determinant. The Buscher dilaton shift isin the stated units and conventional Euclidean dilaton normalization. It generates the dilaton curvature coupling even though the original dilaton vanished. The dilaton curvature coupling is defined before fixing conformal gauge; its metric variation improves the worldsheet stress tensor even when the reference worldsheet is flat. As a normalization check, $e^{-2\tilde{\Phi }}\sqrt{|\tilde{g}|}=e^{-2\Phi }\sqrt{|g|}$ for this block-diagonal background. The local dual metric by itself is therefore only part of the equivalent quantum background.

With a nonconstant dilaton and no antisymmetric field, the leading metric-dilaton Weyl condition istogether with the scalar dilaton anomaly condition. It does not demand ${\tilde{R}}_{ab}=0$ separately. The new Ricci tensor can be nonzero while the Hessian of the shifted dilaton compensates it.

For a direct example, take flat polar coordinates away from the origin, with $d{s}^2=d{r}^2+r^{2}d{z}^2$ and flat spectator directions. The polar-coordinate T-dual background isHereBoth metric equations vanish. In critical dimension the scalar equation also holds: $4|\tilde{\nabla }\tilde{\Phi }{|}^2-4\tilde{\square }\tilde{\Phi }-\tilde{R}=4/r^2-8/r^2+4/r^2=0$. The example is local on $r>0$; the circle degenerates at the excluded origin.

Nonzero dual Ricci curvature is consistent because quantum T-duality transforms the dilaton as well as the metric. The displayed curvature equations and classical Buscher rules are interpreted at their stated leading derivative order; higher-order renormalized descriptions require the corresponding corrections and field-redefinition conventions. A constant $V$ is a special case in which the dual metric may also remain Ricci-flat.

Use the standard Euclidean convention $e^{-S_E}$ and restore the curvature normalization explicitly. Let $\phi$ be the conventional dimensionless dilaton, whose worldsheet term isFor constant ${\phi }_0$, the Gauss-Bonnet theorem gives $S_{\phi }={\phi }_0\chi (\Sigma )$. A closed surface of genus $g$ has Euler characteristic $\chi =2-2g$, so its contribution is weighted byThusThis is the dilaton normalization and Euler-characteristic weighting of string perturbation theory. If the unit curvature coefficient in the printed expression is retained literally in this Euclidean convention, then $\phi =4\pi \Phi$ and $g_s=e^{4\pi {\Phi }_0}$. If $\Phi$ denotes the conventional dilaton, the usual omitted $1/(4\pi )$ is understood and $g_s=e^{{\Phi }_0}$. One must specify that normalization before exponentiating the field. Lorentzian overall signs are fixed consistently by Wick rotation.

For the sigma-model beta function, usewith vanishing two-form and dilaton. Perform the background field expansion of a string sigma model covariantly by setting $X={\exp }_{\bar{X}}\eta$. In Riemann normal coordinates, the quadratic fluctuation action isThe covariant derivative contains the pulled-back target connection. This expansion accounts for the connection vertices as well as the normal-coordinate metric expansion; keeping only a single metric tadpole would not give a covariant answer.

Integrating the Gaussian fluctuations gives $\frac{1}{2}\mathrm{Tr}\log \Delta$, whereContracting the curvature vertex with the short-distance propagator traces $R^a{}_{cad}$ to the Ricci tensor $R_{cd}$. In dimensional regularization at $d=2-ϵ$, the logarithmic integral is $\int d^{d}p/(2\pi {)}^d(p^2+{\mu }^2{)}^{-1}=1/(2\pi ϵ)+O(1)$. With the stated curvature convention the divergent effective action isIt is cancelled by the metric counterterm $\delta g_{ab}={\alpha }^{\prime }{R}_{ab}/ϵ$. Equivalently, write $g^{\mathrm{bare}}={\mu }^{-ϵ}(g+{\alpha }^{\prime }R/ϵ+\cdots )$. Differentiating the bare coupling at fixed value gives the one-loop metric beta function of a string sigma modelThis loop is a loop of two-dimensional fluctuation fields: its expansion is in $\alpha \prime$, not a change of worldsheet genus or an extra power of $g_s$. The sign here defines the renormalization scale to increase toward the ultraviolet. For a round target sphere, positive Ricci curvature makes its squared radius increase with that scale, consistent with the usual asymptotic freedom of the inverse-radius sigma-model coupling. With the printed kinetic coefficient $1/2$ taken literally, $2\pi {\alpha }^{\prime }=1$ and the leading coefficient is $R_{ab}/(2\pi )$. Requiring the metric beta function to vanish gives $R_{ab}=0$ at this order. Full bosonic-string Weyl consistency also requires the other anomaly coefficients, including the critical-dimension condition when the dilaton vanishes.

For T-duality, choose coordinates $(y,x^i)$ adapted to the isometry and use ${\alpha }^{\prime }=1$ units for the local Buscher rules. Assume $g_{yy}\ne 0$, with a spacelike isometry for the usual unitary circle duality. In light-cone worldsheet coordinates take the convention that $E=g+B$ multiplies ${\partial }_{+}{X}^a{\partial }_{-}{X}^b$. Gauge translations of $y$, replace ${\partial }_{\pm }y$ by $A_{\pm }$, gauge fix $y=0$, and impose flatness with a multiplier $\tilde{y}$. The relevant first-order Lagrangian isIntegrating out $\tilde{y}$ gives a locally pure-gauge connection and hence the original model. Instead integrate the last term by parts and solve the algebraic equations for $A_{\pm }$:Substitution givesReading its symmetric and antisymmetric parts yields the Buscher dual of a metric with vanishing two-form:The spectator metric is the Schur complement of $g_{yy}$. Reversing the orientation of $\tilde{y}$ reverses the displayed mixed two-form signs; our multiplier and $E=g+B$ conventions fix them.

The metric rules arise already from the classical algebraic elimination. For quantum equivalence the regulated Gaussian measure also produces the Buscher dilaton shiftFor a compact isometry the multiplier periodicity and flat-connection sectors implement the exchange of momentum and winding. On a circle, restoring dimensions gives $R^{\prime }={\alpha }^{\prime }/R$. Thus the calculation derives the local dual background, while the measure and global sectors explain how it becomes a string-theory duality.

The conformal condition is a quantum worldsheet Weyl anomaly cancellation, not the classical metric equation of the Polyakov action. Assume a smooth target metric, no antisymmetric background field, and curvature/gradient scales large compared with $\sqrt{{\alpha }^{\prime }}$. Use $[{\nabla }_a,{\nabla }_b]v^c=R^c{}_{dab}{v}^d$ and $R_{ab}=R^c{}_{acb}$, consistent with the Ricci-scalar Weyl transformation in the hint.

A sign convention in the printed action must be made explicit. With worldsheet signature $(-,+)$, continuation $\tau =-i{\tau }_E$ and $e^{i{S}_L}=e^{-S_E}$ sends its negative kinetic term to a positive Euclidean kinetic term, while its positive Lorentzian curvature coupling becomes a negative Euclidean curvature coupling. Define the conventional Euclidean dilaton by $\phi =-\Phi$ for this literal action. Then $S_{E,\mathrm{dil}}=(4\pi {)}^{-1}\int \sqrt{h}{R}^{(2)}\phi$. The Lorentzian dilaton coupling sign convention is therefore important: a convention with a negative Lorentzian curvature coupling would instead use $\phi =\Phi$ and reverse every term linear in the printed $\Phi$ below.

For completeness, the metric part of the one-loop calculation can be obtained by a geodesic background field expansion of a string sigma model. Write $X={\exp }_{\bar{X}}Y$. Its quadratic Euclidean action containsHere $D_{\mu }{Y}^a={\partial }_{\mu }{Y}^a+{\Gamma }^a{}_{bc}{\partial }_{\mu }{\bar{X}}^b{Y}^c$. In dimension $2-\epsilon$, the ultraviolet coincident contraction has pole $⟨Y^a{Y}^b{⟩}_{\mathrm{div}}={\alpha }^{\prime }{g}^{ab}/\epsilon$ with an infrared regulator. Contracting the curvature term gives a divergence $-(4\pi \epsilon {)}^{-1}\int \sqrt{h}{R}_{cd}\partial {\bar{X}}^c\partial {\bar{X}}^d$. It is cancelled by the metric counterterm $\delta g_{ab}={\alpha }^{\prime }{R}_{ab}/\epsilon$, giving the one-loop sigma-model beta function ${\beta }_{ab}^g={\alpha }^{\prime }{R}_{ab}+O({\alpha }^{\prime 2})$ before the dilaton improvement. Equivalently its local Euclidean Weyl variation is $-(4\pi {)}^{-1}\int \sqrt{h}\omega R_{ab}\partial X^a\partial X^b$, with terms proportional to the embedding equations understood as field redefinitions.

Set $\Omega =e^{\omega }$ in the supplied curvature transformation. On a closed string worldsheet, integration by parts givesThe chain rule and leading string embedding map equation implyThe kinetic embedding equation suffices for extracting the leading metric coefficient. More precisely, the full Euclidean embedding equation makes the parenthesis $({\alpha }^{\prime }/2)R^{(2)}{\nabla }^a\phi$, giving a curvature contribution $-({\alpha }^{\prime }/4\pi )\int \sqrt{h}\omega R^{(2)}|\nabla \phi {|}^2$ to the Weyl variation. This contributes to the scalar coefficient below rather than to the leading metric tensor coefficient. Combining the curvature counterterm anomaly with this variation gives the leading metric-dilaton Weyl condition:This is the gravitational equation in the string frame, rather than an ordinary Einstein equation with a minimally coupled scalar. In terms of the field and signs literally printed in this Lorentzian action it readsThe frequently used $R_{ab}+2{\nabla }_a{\nabla }_b\Phi =0$ is obtained if the printed $\Phi$ is identified with the conventional Euclidean dilaton, which requires the opposite Lorentzian curvature-coupling sign. Both conventions describe the same mathematics after $\Phi \mapsto -\Phi$, but one cannot change only the field equation silently. Also, vanishing of this tensor coefficient is the metric part of Weyl invariance; the dilaton curvature coefficient and central-charge condition remain to be checked.

Now derive the scalar consequence without presupposing its integration constant. The contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. The Ricci identity applied to the gradient of a scalar givesDiverging the metric equation and then substituting $R_{ab}=-2{\nabla }_a{\nabla }_b\phi$ yieldsThus the bracket is constant on each connected target component. Its trace equation is $R+2{\square }_g\phi =0$, so the dilaton equation from contracted Bianchi identity becomesThe second equation uses the literal printed sign convention. These are nonlinear scalar wave equations analogous to the Klein-Gordon equation. For the exponentiated dilaton wave equation, put $F=e^{-2\phi }=e^{2\Phi }$; differentiating twice givesHere ${\square }_g={\nabla }^a{\nabla }_a$ is the Lorentzian Laplace-Beltrami operator, and $|\nabla \phi {|}^2=g^{ab}{\partial }_a\phi {\partial }_b\phi$ is a Lorentzian contraction, not necessarily nonnegative.

The Bianchi and Ricci identities alone do not imply $C=0$. The linear dilaton counterexample to zero integration constant is flat target space with $\phi =q_a{X}^a$: the tensor equation holds for every constant $q$, while $C=-2q^2$. A non-null $q$ disproves any deduction of the zero-constant scalar equation from that tensor equation alone.

The leading dilaton Weyl anomaly coefficient is obtained as follows. The matter and reparameterization-ghost central charges give the constant $(D-26)/6$. Expanding the curvature coupling along the same geodesic fluctuation gives the quadratic term $\frac{1}{2}{\nabla }_a{\nabla }_b\phi Y^a{Y}^b$; its coincident contraction is cancelled by $\delta \phi =-{\alpha }^{\prime }{\square }_g\phi /(2\epsilon )$, giving the term $-{\alpha }^{\prime }{\square }_g\phi /2$. The full embedding-equation contribution identified above supplies $+{\alpha }^{\prime }|\nabla \phi {|}^2$. Therefore full leading-order bosonic-string Weyl invariance also requiresIt fixes $C=(D-26)/(3{\alpha }^{\prime })$. Hence in the critical $D=26$ theory, or under boundary conditions making the constant vanish,This explains precisely the extra input needed for a zero-mass Klein-Gordon-type equation. In noncritical dimension the corresponding equation has the central-charge-deficit constant, subject to the usual controlled-background assumptions.