Exactly Marginal Deformations and Conformal Manifolds

A marginal operator has dimension $d$ at one CFT. It is exactly marginal only if its deformation remains at a zero of every physical beta function to all orders. When such zeros form a smooth family after redundant directions are removed, the family is a conformal manifold. Two-point functions define a positive metric in unitary theories; contact terms define a connection on operator bundles; dualities and singular loci determine the global geometry.

Required background. Conformal Perturbation Theory and Beta Functions supplies marginality obstructions. Helpful background. Multiplets, Invariants, and Selection Rules explains symmetry-protected zeros and redundant directions.

Marginal is only a first-order statement

Let $\mathcal O_i$ be scalar primaries with $\Delta_i=d$ at a reference CFT, and deform by

S\longmapsto S+\lambda^i\int d^dx\,\mathcal O_i.

Their beta functions begin schematically as

\beta^i(\lambda) =\frac{S_{d-1}}{2}C_{jk}{}^i\lambda^j\lambda^k +O(\lambda^3)

in the hard-sphere convention used on the preceding page. Vanishing of this quadratic obstruction can follow from symmetry or from cancellations. It is necessary, not sufficient: higher integrated correlators, operator mixing, and resonances can generate later terms.

A physical conformal manifold is locally

\mathcal M_c=\{\lambda:\ B^i(\lambda)=0\}/\mathcal G_{\rm red},

where $B^i$ is the flavor-covariant beta function and $\mathcal G_{\rm red}$ identifies redundant deformations. An operator of the form $\partial_\mu J^\mu$ changes sources along a symmetry orbit and does not supply a new CFT coordinate.

The Zamolodchikov metric

Choose tangent operators $\mathcal O_i$ at a point of $\mathcal M_c$ and normalize

\langle\mathcal O_i(x)\mathcal O_j(0)\rangle_\lambda =\frac{G_{ij}(\lambda)}{|x|^{2d}}.

Reflection positivity makes $G_{ij}$ positive definite after null and redundant directions are quotiented, as in the positive operator-space metric entering Zamolodchikov’s 1986 two-dimensional construction. Under a coordinate change $\lambda^i\mapsto\lambda'^i(\lambda)$ , it transforms as a metric. Its components are not invariant numbers.

Differentiating a correlator with respect to $\lambda^k$ inserts $-\int\mathcal O_k$ , but the integral diverges near the existing operators. Subtractions add contact terms that mix the basis:

\partial_k\mathcal O_i =\Gamma_{ki}{}^j\mathcal O_j+\cdots.

The coefficients $\Gamma_{ki}{}^j$ transform as a connection, not a tensor. Curvature, holonomy, and covariant derivatives of physical correlators are invariant. This is why one cannot set all contact terms to zero throughout a curved conformal manifold Kutasov 1989.

The curvature can be expressed through a regulated integrated connected four-point function plus specified subtractions. A useful calculation must state the excision regions, crossing symmetrization, relevant and marginal counterterms, and projection away from redundant operators.

Exact benchmark: the compact boson

The two-dimensional compact free boson supplies a concrete one-parameter family. In a convention with $\alpha'=1$ , its momentum–winding dimensions can be written

\Delta_{n,w}(R) =\frac12\left(\frac{n^2}{R^2}+w^2R^2\right) +N+\bar N,

and the deformation generated by $J\bar J\sim\partial X\bar\partial X$ changes $R$ while preserving $c=1$ . The spectrum is invariant under the T-duality identification

R\sim\frac1R, \qquad n\leftrightarrow w.

Thus $R>0$ is a coordinate on a cover, not the global moduli space. The Zamolodchikov line element is proportional to $(dR/R)^2$ in this coordinate; its overall coefficient depends on the normalization of $J\bar J$ .

At radii $R=0.8,1,1.25$ , the dual pair $0.8\leftrightarrow1.25$ has the same momentum–winding spectrum after $n\leftrightarrow w$ . This exact check separates a coordinate-dependent change of dimensions from the protected central charge and positive metric.

A reproducible calculation should execute this radius benchmark with pinned fixtures and explicit checks.

Local and global questions

Feature	Local statement	Global qualification
Marginality	$B^i=0$ in tangent directions	zeros may end or meet singular strata
Metric	positive $G_{ij}$ in a unitary smooth patch	coordinates can be identified by dualities
Operator basis	connection removes contact-term ambiguity covariantly	bundles can have nontrivial holonomy
Curvature	regulated integrated four-point datum	singularities can obstruct continuation
Exactly marginal coordinate	tangent primary modulo redundancies	a global coordinate need not exist

This is the conformal-manifold portion of the chapter’s scheme matrix: metric components and connections are coordinate dependent; curvature scalars, distances when finite, and duality-invariant spectra are geometric.

Common pitfalls

Calling every dimension- $d$ scalar exactly marginal. Dimension $d$ removes only the linear beta term. Integrated OPE singularities can obstruct the deformation at quadratic or higher order.

Treating the Zamolodchikov metric components as observables. They transform under reparametrization. State the coupling coordinate and operator normalization, or quote an invariant geometric quantity.

Ignoring redundant directions. A total derivative or flavor rotation can look like a beta function or a tangent vector. Quotient it before counting the dimension of $\mathcal M_c$ .

Exercises

Show that the compact-boson spectrum is invariant under $R\mapsto1/R$ and $n\leftrightarrow w$ .

Solution

Substitution gives $n^2/R^2+w^2R^2\mapsto w^2/(1/R)^2+n^2(1/R)^2=w^2R^2+n^2/R^2$ . Oscillator levels are unchanged.

References

Kutasov, D. “Geometry on the Space of Conformal Field Theories and Contact Terms.” Physics Letters B 220 (1989): 153–158. DOI.
Zamolodchikov, A. B. “Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory.” JETP Letters 43 (1986): 730–732. INSPIRE record.