Conformal Symmetry

Conformal symmetry is invariance under transformations that preserve angles but not necessarily lengths. The conformal group of

d

-dimensional spacetime is locally

S O (d + 1, 1)

(Euclidean) or

S O (d, 2)

(Lorentzian), with

\frac{( d + 1 ) ( d + 2 )}{2}

generators: translations, rotations, dilatations, and special conformal transformations. It governs critical phenomena, massless field theories, string worldsheets, and the AdS/CFT correspondence. Foundational work spans Liouville (1850), Lie (1880s), Bateman–Cunningham (1909), Polyakov (1970s), and Belavin–Polyakov–Zamolodchikov (1984).

A conformal transformation of a (pseudo-)Riemannian manifold $(M, g)$ is a diffeomorphism $ϕ$ such that $ϕ^{*} g = Ω^{2} g$ for a positive smooth function $Ω$ . Equivalently, it preserves angles between curves while rescaling the metric pointwise. Conformal symmetry matters because at a continuous phase transition, the correlation length diverges, scale invariance emerges, and—remarkably—the larger conformal symmetry is realized, constraining critical exponents and correlation functions almost uniquely in $d = 2$ . The surprising fact: in two dimensions the conformal algebra is infinite-dimensional (the Witt/Virasoro algebra), making 2D conformal field theory exactly solvable in many cases, whereas for $d \geq 3$ the group remains finite-dimensional.

The Core Insight

Demanding that physics look the same after a local rescaling of all lengths—while keeping angles intact—is enormously more restrictive than ordinary Poincaré symmetry. It promotes scale invariance to a full conformal group, fixes the form of two- and three-point functions, organizes operators into representations labeled by scaling dimensions and spins, and in $d = 2$ explodes into an infinite tower of conserved currents. Conformal symmetry is the symmetry of criticality and of masslessness.

Formal Statement

Conformal Transformation

Let $(M, g)$ be a (pseudo-)Riemannian manifold of dimension $d$ . A diffeomorphism $ϕ : M \to M$ is conformal if

(ϕ^{*} g)_{μν} (x) = Ω (x)^{2} g_{μν} (x), Ω (x) > 0.

⟳This is the definition; angles

cos θ = \frac{g ( u , v )}{g ( u , u ) g ( v , v )}

are invariant since

Ω^{2}

cancels between numerator and denominator.

An infinitesimal coordinate change $x^{μ} \to x^{μ} + ϵ^{μ} (x)$ is conformal iff $ϵ^{μ}$ satisfies the conformal Killing equation:

\partial_{μ} ϵ_{ν} + \partial_{ν} ϵ_{μ} = \frac{2}{d} (\partial_{\cdot} ϵ) η_{μν},

where $\partial_{\cdot} ϵ \equiv \partial_{ρ} ϵ^{ρ}$ and on flat space $g = η$ .

⟳Vary

δ g_{μν} = \partial_{μ} ϵ_{ν} + \partial_{ν} ϵ_{μ}

; demand it be proportional to

η_{μν}

to preserve conformality, then trace both sides to fix the coefficient as

2/ d

Structure of the Conformal Group ($d\geq 3$)

For flat space $R^{p, q}$ with $d = p + q \geq 3$ , the solutions of [2] form a finite-dimensional Lie algebra isomorphic to $so (p + 1, q + 1)$ , of dimension $\frac{( d + 1 ) ( d + 2 )}{2}$ . The generators are:

Translations $P_{μ}$ ( $d$ of them): $ϵ^{μ} = a^{μ}$ .
Rotations / Lorentz $M_{μν}$ ( $\frac{d ( d - 1 )}{2}$ ): $ϵ^{μ} = ω^{μ}_{ν} x^{ν}$ , $ω$ antisymmetric.
Dilatation $D$ (1): $ϵ^{μ} = λ x^{μ}$ .
Special conformal transformations (SCT) $K_{μ}$ ( $d$ ): $ϵ^{μ} = b^{μ} x^{2} - 2 (b \cdot x) x^{μ}$ .

The finite SCT acts as

x^{' μ} = \frac{x ^{μ} - b ^{μ} x ^{2}}{1 - 2 b \cdot x + b ^{2} x ^{2}} .

⟳Insert the polynomial ansatz

ϵ^{μ} = a^{μ} + ω^{μ}_{ν} x^{ν} + λ x^{μ} + (b^{μ} x^{2} - 2 (b \cdot x) x^{μ})

into [2]. For

d \geq 3

the third derivative

\partial_{ρ} \partial_{σ} \partial_{τ} ϵ^{μ} = 0

, truncating

ϵ

at quadratic order. Exponentiate the SCT generator; equivalently note SCT = inversion

\circ

translation

\circ

inversion.

Inversion

The discrete inversion $I : x^{μ} \mapsto x^{μ} / x^{2}$ is conformal with $Ω (x) = 1/ x^{2}$ . The SCT is the composition

K_{b} = I \circ T_{- b} \circ I,

with $T_{- b}$ a translation by $- b$ .

⟳Compute

I (x) = x / x^{2}

, translate by

- b

, invert again; algebra collapses to [3]. Inversion is not connected to the identity, so it generates the full

O (p + 1, q + 1)

beyond the connected component.

Conformal Algebra Commutators

With $P_{μ}, M_{μν}, D, K_{μ}$ , the nonzero brackets are

[D, P_{μ}] = i P_{μ}, [D, K_{μ}] = - i K_{μ}, [K_{μ}, P_{ν}] = 2 i (η_{μν} D - M_{μν}), [M_{μν}, P_{ρ}] = i (η_{μ ρ} P_{ν} - η_{ν ρ} P_{μ}), [M_{μν}, K_{ρ}] = i (η_{μ ρ} K_{ν} - η_{ν ρ} K_{μ}) .

⟳

P_{μ}

raises dimension by

+ 1

K_{μ}

lowers by

- 1

as eigen-operators of

ad_{D}

. Rename

J_{μν} = M_{μν}

J_{μ d} = \frac{1}{2} (P_{μ} - K_{μ})

J_{μ, d + 1} = \frac{1}{2} (P_{μ} + K_{μ})

J_{d, d + 1} = D

to verify the

so (p + 1, q + 1)

form.

Why It Holds / Derivation

Why the algebra closes to $\mathfrak{so}(p+1,q+1)$

Step 1. Apply

\partial_{ρ}

to [2] and permute indices. Taking suitable linear combinations gives

(d - 2) \partial_{μ} \partial_{ν} (\partial_{\cdot} ϵ) = 0.

For

d \geq 3

, this forces

\partial_{\cdot} ϵ

to be at most linear in

x

. Step 2. Differentiating once more shows

\partial_{μ} \partial_{ν} \partial_{ρ} ϵ_{σ} = 0

, so

ϵ^{μ}

is a polynomial of degree

\leq 2

. Counting coefficients: constant (

d

), linear antisymmetric + trace (

\frac{d ( d - 1 )}{2} + 1

), quadratic (

d

). Total

\frac{( d + 1 ) ( d + 2 )}{2}

. Step 3. Identify these with

P, M, D, K

. Compute commutators of the corresponding vector fields under the Lie bracket of vector fields; one obtains [5]. Step 4. Define the embedding

J_{A B}

A, B \in {0, \dots, d + 1}

, as in the hint of [5]. The brackets [5] become the standard

so (p + 1, q + 1)

relations

[J_{A B}, J_{C D}] = i (η_{A C} J_{B D} - η_{B C} J_{A D} - η_{A D} J_{B C} + η_{B D} J_{A C}) .

Hence the conformal algebra of

R^{p, q}

(

d \geq 3

) is

so (p + 1, q + 1)

■

The two-dimensional exception

For $d = 2$ the step-1 factor $(d - 2)$ vanishes, so $\partial_{\cdot} ϵ$ is not forced to be linear. In $z = x^{1} + i x^{2}$ the conformal Killing equation reduces to the Cauchy–Riemann equations: every holomorphic map $z \mapsto f (z)$ is conformal. The local algebra is therefore infinite-dimensional—the Witt algebra ${ℓ_{n} = - z^{n + 1} \partial_{z}}$ with

[ℓ_{m}, ℓ_{n}] = (m - n) ℓ_{m + n},

which centrally extends to the Virasoro algebra. Only the global

S L (2, C)

subalgebra (

ℓ_{- 1}, ℓ_{0}, ℓ_{1}

) consists of globally well-defined maps of the Riemann sphere.

⟳With

z = x^{1} + i x^{2}

, [2] in

d = 2

becomes

\partial_{\overset{z}{ˉ}} ϵ^{z} = 0 = \partial_{z} ϵ^{\overset{z}{ˉ}}

; expanding

ϵ^{z} (z) = \sum_{n} a_{n} z^{n + 1}

and computing brackets of

ℓ_{n}

gives [6].

Alexander Polyakov | b. 1945

Polyakov, with Patashinskii and later independently, advanced the idea (early 1970s) that scale invariance at critical points is enhanced to full conformal invariance, fixing correlation functions by symmetry alone. His 1981 work on the conformal anomaly and quantization of the bosonic string ("Polyakov action") made the central charge and Liouville theory central tools, and his constraints on operator product expansions seeded the conformal bootstrap. The 1984 BPZ paper (Belavin, Polyakov, Zamolodchikov) is the founding document of modern 2D CFT.

Building Intuition

Think of conformal maps as transformations that may stretch, but never shear: an infinitesimal circle stays a circle (locally), only its radius changes. In 2D this is exactly complex analyticity—a holomorphic function is a "rotation-and-scaling field," which is why a Mercator-style map distorts areas wildly yet preserves the right angles where meridians cross parallels.

Dilatations $D$ are the heart of the story: at a critical point there is no length scale (correlation length $ξ \to \infty$ , lattice spacing $a \to 0$ ), so the theory cannot tell large from small. Adding SCTs $K_{μ}$ amounts to "scale invariance that varies smoothly from point to point," consistent only when the trace of the stress tensor vanishes, $T^{μ}_{μ} = 0$ . Operators are then sorted by how they respond to zooming: a primary of dimension $Δ$ scales as $ϕ (λ x) = λ^{- Δ} ϕ (x)$ , and $Δ$ directly controls power-law decay of correlators.

The conformal group generators acting on flat space: translation, rotation, dilatation, and special conformal transformation (inversion-translation-inversion).

<svg viewBox="0 0 720 400" xmlns="http://www.w3.org/2000/svg">
<rect width="720" height="400" fill="#0a0e17"/>
<style>
.lbl{fill:#e2e8f0;font-family:sans-serif;font-size:14px}
.ax{stroke:#94a3b8;stroke-width:1}
.curve{stroke:#d4a853;stroke-width:2;fill:none}
.dot{fill:#d4a853}
</style>
<!-- Panel 1: translation -->
<g transform="translate(20,30)">
<line class="ax" x1="0" y1="120" x2="140" y2="120"/>
<line class="ax" x1="20" y1="20" x2="20" y2="140"/>
<circle class="dot" cx="50" cy="90" r="4"/>
<circle class="dot" cx="100" cy="90" r="4" opacity="0.5"/>
<line class="curve" x1="54" y1="90" x2="96" y2="90" marker-end="url(#a)"/>
<text class="lbl" x="20" y="160">Translation P</text>
</g>
<!-- Panel 2: rotation -->
<g transform="translate(200,30)">
<line class="ax" x1="0" y1="120" x2="140" y2="120"/>
<line class="ax" x1="70" y1="20" x2="70" y2="140"/>
<path class="curve" d="M70 60 A60 60 0 0 1 110 90" marker-end="url(#a)"/>
<circle class="dot" cx="70" cy="60" r="4"/>
<text class="lbl" x="20" y="160">Rotation M</text>
</g>
<!-- Panel 3: dilatation -->
<g transform="translate(380,30)">
<line class="ax" x1="0" y1="120" x2="140" y2="120"/>
<line class="ax" x1="20" y1="20" x2="20" y2="140"/>
<circle cx="20" cy="120" r="20" fill="none" stroke="#94a3b8" stroke-width="1"/>
<circle class="curve" cx="20" cy="120" r="50" />
<text class="lbl" x="20" y="160">Dilatation D</text>
</g>
<!-- Panel 4: SCT -->
<g transform="translate(560,30)">
<line class="ax" x1="0" y1="120" x2="140" y2="120"/>
<line class="ax" x1="20" y1="20" x2="20" y2="140"/>
<path class="curve" d="M20 130 C 60 40, 120 60, 130 30"/>
<circle class="dot" cx="20" cy="130" r="4"/>
<circle class="dot" cx="130" cy="30" r="4" opacity="0.5"/>
<text class="lbl" x="0" y="160">SCT K = I T I</text>
</g>
<!-- bottom: angle preservation -->
<g transform="translate(60,250)">
<text class="lbl" x="0" y="0">Angle preserved under conformal map:</text>
<line class="ax" x1="0" y1="40" x2="120" y2="40"/>
<line class="ax" x1="0" y1="40" x2="80" y2="-40"/>
<path class="curve" d="M40 40 A40 40 0 0 0 28 12"/>
<text class="lbl" x="200" y="20">f conformal  ⇒  θ ↦ θ</text>
<line class="ax" x1="400" y1="40" x2="520" y2="20"/>
<line class="ax" x1="400" y1="40" x2="470" y2="-30"/>
<path class="curve" d="M440 36 A40 40 0 0 0 430 8"/>
</g>
<defs>
<marker id="a" markerWidth="8" markerHeight="8" refX="6" refY="3" orient="auto">
<path d="M0,0 L6,3 L0,6 Z" fill="#d4a853"/>
</marker>
</defs>
</svg>

Worked Examples

Two-point function fixed by symmetry

Given: A scalar primary operator

O (x)

of scaling dimension

Δ

in a

d

-dimensional CFT. Find its two-point function

⟨ O (x_{1}) O (x_{2})⟩

. Step 1 — Translation + rotation invariance. The correlator depends only on

r = ∣ x_{1} - x_{2} ∣

⟨ O (x_{1}) O (x_{2})⟩ = G (r) .

Step 2 — Dilatation. Under

x \to λ x

O \to λ^{- Δ} O

, so

G (λ r) = λ^{- 2Δ} G (r) ⟹ G (r) = \frac{C}{r ^{2Δ}} .

Step 3 — Special conformal check. Under [3], the Jacobian factor is

∣ x^{'} - y^{'} ∣ = \frac{∣ x - y ∣}{γ ( x ) ^{1/2} γ ( y ) ^{1/2}}

with

γ (x) = (1 - 2 b \cdot x + b^{2} x^{2})

. The transformation

O (x) \to γ (x)^{Δ} O (x^{'})

leaves

C / r^{2Δ}

invariant. Step 4 — Numerical instance. Take the 3D Ising critical point, magnetization operator

σ

with

Δ_{σ} \approx 0.5181

. Then

⟨ σ (x_{1}) σ (x_{2})⟩ = \frac{C}{∣ x _{1} - x _{2} ∣ ^{2 Δ_{σ}}} \approx \frac{C}{r ^{1.036}} .

⟳Each symmetry kills functional freedom; the only invariant cross-ratio for two points is none, so the form is rigid up to normalization

C

⟨ O (x_{1}) O (x_{2})⟩ = \frac{C}{∣ x _{12} ∣ ^{2Δ}} (dimensionless C)

Central charge from the free boson

Given: The 2D free massless scalar

φ

with action

S = \frac{1}{4 π} \int d^{2} z \partial φ \overset{ˉ}{\partial} φ

. Compute its central charge

c

. Step 1 — Stress tensor.

T (z) = - \frac{1}{2} (\partial φ)^{2}

(holomorphic component), with the propagator

⟨ \partial φ (z) \partial φ (w)⟩ = - 1/ (z - w)^{2}

. Step 2 — OPE. Using Wick's theorem,

T (z) T (w) \sim \frac{c /2}{( z - w ) ^{4}} + \frac{2 T ( w )}{( z - w ) ^{2}} + \frac{\partial T ( w )}{z - w} .

Two contractions of the four

\partial φ

's give the leading double-contraction term:

\frac{1}{4} \cdot 2 \cdot \frac{1}{( z - w ) ^{4}} = \frac{1/2}{( z - w ) ^{4}} .

Step 3 — Read off $c$ . Matching to

\frac{c /2}{( z - w ) ^{4}}

\frac{c /2}{( z - w ) ^{4}} = \frac{1/2}{( z - w ) ^{4}} ⟹ c = 1.

⟳The most singular term in the

T T

OPE has no operator and is pure c-number; its coefficient is

c /2

. Count the

2

ways to fully contract.

c_{free boson} = 1 (dimensionless)

Common Misconceptions

Scale invariance ≠ conformal invariance in general

A common error is to assume any scale-invariant theory is automatically conformally invariant. Scale invariance requires only a conserved dilatation current ( $\partial_{μ} (x^{ν} T^{μ}_{ν}) = 0$ ), i.e. $T^{μ}_{μ} = \partial_{μ} V^{μ}$ for a "virial current" $V^{μ}$ . Full conformal invariance additionally requires this to be improvable to $T^{μ}_{μ} = 0$ (a traceless symmetric stress tensor). In unitary theories this enhancement is proven in $d = 2$ (Zamolodchikov–Polchinski) and strongly supported in $d = 4$ , but it is not a theorem in general $d$ , and counterexamples (non-unitary, or with unbounded virial current) exist.

Elasticity / Maxwell scale vs conformal

Free Maxwell theory $F_{μν} F^{μν}$ in $d$ dimensions is scale invariant for all $d$ but conformally invariant only in $d = 4$ . For $d \neq = 4$ the gauge field has scaling dimension $Δ_{A} = \frac{d - 2}{2}$ that does not match the conformal value required for the stress tensor to be traceless; the trace $T^{μ}_{μ} \propto (d - 4) F^{2}$ vanishes precisely at $d = 4$ . Thus "massless" does not guarantee "conformal" without checking tracelessness.

Connections

Conformal symmetry is the connective tissue of several major structures:

Renormalization Group: fixed points of the RG flow are scale-invariant and (generically) conformal; critical exponents are scaling dimensions of Primary Operators.
Virasoro Algebra: the central extension of the 2D conformal algebra; its representation theory (Kac determinant, minimal models) classifies rational 2D CFTs.
AdS/CFT Correspondence: a CFT in $d$ dimensions is dual to gravity in $(d + 1)$ -dimensional anti–de Sitter space; the conformal group $S O (d, 2)$ is exactly the AdS $_{d + 1}$ isometry group.
Conformal Bootstrap: uses crossing symmetry of four-point functions plus unitarity to numerically pin down CFT data such as the 3D Ising $Δ_{σ}$ .
Weyl Transformation: pointwise rescaling of the metric $g \to e^{2 ω} g$ ; the conformal anomaly measures its breaking at the quantum level.

Real-World Applications

Critical phenomena — universality classes (3D Ising for liquid–vapor and uniaxial magnets) are CFTs; critical exponents $ν, η, β$ are combinations of operator dimensions $Δ_{σ}, Δ_{ϵ}$ .
The conformal bootstrap — record-precision determination of the 3D Ising exponents ( $Δ_{σ} = 0.5181489 (10)$ ) from pure symmetry/unitarity, surpassing Monte Carlo.
String theory — the Polyakov worldsheet is a 2D CFT; Weyl invariance forces the critical dimension $D = 26$ (bosonic) or $D = 10$ (superstring) via cancellation of the conformal anomaly.
AdS/CFT and holography — $N = 4$ super-Yang–Mills (an exact 4D CFT) dual to type IIB strings on AdS $_{5} \times S^{5}$ ; used to model strongly coupled quark–gluon plasma viscosity $η / s = 1/4 π$ .
Condensed matter — quantum critical points, the Wilson–Fisher fixed point, and edge modes of fractional quantum Hall states (chiral 2D CFTs).
Turbulence and 2D statistical models — percolation, self-avoiding walks, and Ising domain walls described by Schramm–Loewner evolution (SLE), the probabilistic face of 2D CFT.
Cosmology — conformal time and Weyl-invariant formulations simplify the dynamics of massless fields and inflationary perturbations.

Historical Development

1850 — Liouville's theorem: In $d \geq 3$ , all conformal maps are compositions of isometries, dilatations, and inversions—foreshadowing the finite-dimensional group.
1870s–1890s — Sophus Lie & Felix Klein: Systematic theory of continuous transformation groups; the conformal group emerges as a Lie group.
1909 — Bateman & Cunningham: Discover that Maxwell's equations in vacuum are invariant under the 15-parameter conformal group $S O (4, 2)$ in 4D.
1936 — Dirac: Conformal-space (projective null-cone) formalism, the "Dirac cone," for manifestly conformal field theory.
1970–1971 — Polyakov, Migdal, Mack–Salam: Conformal invariance at critical points; conformal Ward identities fixing correlators.
1981 — Polyakov: Quantization of the bosonic string, conformal anomaly, and Liouville action; central charge becomes physical.
1984 — Belavin, Polyakov, Zamolodchikov (BPZ): Foundational paper of 2D CFT—Virasoro representations, minimal models, the operator algebra.
1986 — Zamolodchikov's $c$ -theorem: Monotonic decrease of the central charge under RG flow in 2D.
2008–2016 — Numerical conformal bootstrap (Rattazzi, Rychkov, Poland, Simmons-Duffin, et al.): High-precision 3D Ising data, reviving the bootstrap program in $d > 2$ .

Subtleties & Limits

Is scale invariance equivalent to conformal invariance in $d = 4$ ? While proven in

d = 2

, a fully general, rigorous proof in four dimensions for all unitary, interacting theories remains incomplete; strong arguments (Luty–Polchinski–Rattazzi, Dymarsky–Komargodski–Schwimmer–Theisen) exist but rely on assumptions about the spectrum. Classifying CFTs in $d \geq 3$ : Unlike the complete classification of unitary minimal models in

d = 2

via the Virasoro algebra, there is no exhaustive classification of higher-dimensional CFTs; the conformal bootstrap carves out the allowed region but does not yet enumerate all theories. Non-unitary, logarithmic, and irrational CFTs: Logarithmic CFTs (non-diagonalizable

L_{0}

), irrational theories with infinitely many primaries, and CFTs with continuous spectra resist the standard representation-theoretic toolkit. Conformal anomaly coefficients: The general behavior and possible monotonicity (

a

-theorem) of central charges in

d > 4

(e.g. the conjectured 6D

a

-theorem) is only partially understood.