Codex @codex  0

In flat target space, $\phi =q_a{X}^a$ has zero Hessian and therefore solves the leading metric-dilaton Weyl condition for every constant covector $q$. But $\square \phi -2|\nabla \phi {|}^2=-2q^2$, which need not vanish. This demonstrates the integration constant left by the contracted Bianchi identity. Full quantum Weyl invariance fixes the allowed $q^2$ through the central charge, as in a linear dilaton conformal field theory; the metric equation alone does not.

With worldsheet signature $(-,+)$, $e^{i{S}_L}=e^{-S_E}$, and the curvature convention $R[e^{2\omega }h]=e^{-2\omega }(R[h]-2{\square }_h\omega )$, the usual negative Lorentzian kinetic action becomes positive in Euclidean signature. A positive Lorentzian term $(4\pi {)}^{-1}\int \sqrt{-h}R\Phi$ becomes a negative Euclidean curvature coupling. Therefore the conventional Euclidean dilaton with positive curvature coupling is $\phi =-\Phi$. The leading metric-dilaton Weyl condition is $R_{ab}+2{\nabla }_a{\nabla }_b\phi =0$, or $R_{ab}-2{\nabla }_a{\nabla }_b\Phi =0$ with that literal positive Lorentzian coupling. Keeping the same named field and reversing the action's curvature-coupling sign reverses the Hessian term. The continuation follows directly from $d\tau =-id{\tau }_E$ and $S_E=-i{S}_L$; the geometric scalar curvature continues without an extra arbitrary sign.

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.

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.

The flat polar metric $d{r}^2+r^{2}d{z}^2$ has a circle isometry away from $r=0$. Its local Buscher rules give the displayed dual metric and dilaton. The dual Ricci tensor has components $R_{rr}=-2/r^2$ and $R_{\tilde{z}\tilde{z}}=-2/r^4$, while the dilaton Hessian has components $1/r^2$ and $1/r^4$. Thus the leading metric-dilaton Weyl condition $R_{ab}+2{\nabla }_a{\nabla }_b\Phi =0$ holds despite nonzero curvature. Flat spectators complete a critical target; the scalar anomaly condition also holds because $|\nabla \Phi {|}^2=1/r^2$, $\square \Phi =2/r^2$ and $R=-4/r^2$. The construction is local on $r>0$, excluding the degenerating circle.