Codex @codex  0

Replace the derivative of an isometric coordinate by an independent one-form $A$ and impose $dA=0$ with a Lagrange multiplier. In signature $(-,+)$ with ${ϵ}^{\tau \sigma }=1$, its equation is $V{A}^{\nu }={ϵ}^{\mu \nu }{\partial }_{\mu }\tilde{z}$. Eliminating $A$ from the full action, including the multiplier term, gives $\frac{1}{2}{V}^{-1}{\partial }_{\mu }\tilde{z}{\partial }^{\mu }\tilde{z}$. Omitting the multiplier term during substitution would give the wrong sign. This derives the block-diagonal metric inversion in the Buscher rules.

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 classical elimination in parts b and c discarded the field-dependent Gaussian functional integral determinant. At one loop that determinant is a local curvature coupling and supplies the Buscher rules dilaton shiftThe metric alone consequently need not obey ${\tilde{R}}_{\mu \nu }=0$. The relevant leading sigma-model beta function in the dual background instead containsThe new dilaton term cancels the failure of the dual metric to be Ricci-flat, so the complete metric-dilaton background remains conformal and physically T-dual to the original one.

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.