Primary Fields, Cylinder Maps, and Mode Expansions

The previous page turned the holomorphic stress tensor into a machine for producing Ward identities. Insert $T(z)$ into a correlator, take residues, and the result is an infinitesimal conformal transformation of the other insertions. This page repackages that statement in the language that dominates two-dimensional CFT: primary fields, radial quantization, and Virasoro modes.

The main idea is that the singular part of the OPE

$$T(z)\mathcal O(w,\bar w)$$

does more than say how $\mathcal O$ transforms. It also defines an infinite family of local fields obtained by acting on $\mathcal O$ with stress-tensor modes. A primary field is the starting point of such a family; its descendants are generated by $L_{-1},L_{-2},\ldots$ and by the antiholomorphic modes $\bar L_{-1},\bar L_{-2},\ldots$. This is the bridge from local OPEs to the Hilbert-space language of states on a circle.

Cylinder coordinates and the sphere

Plane–cylinder map and stress-tensor modes

We use complex Euclidean coordinates

$$z=x^1+ix^2, \qquad \bar z=x^1-ix^2, \qquad \partial={\partial\over\partial z}, \qquad \bar\partial={\partial\over\partial\bar z}.$$

The cylinder coordinate is

$$w=\tau+i\varphi, \qquad \varphi\sim\varphi+2\pi, \qquad z=e^w.$$

A primary field of weights $(h,\bar h)$ transforms under a holomorphic change of coordinate $z=f(w)$ as

$$\mathcal O_{w}(w,\bar w) = \left({df\over dw}\right)^h \left({d\bar f\over d\bar w}\right)^{\bar h} \mathcal O_z(f(w),\bar f(\bar w)).$$

For the plane–cylinder map this becomes

$$\mathcal O_{\rm cyl}(w,\bar w) = z^h\bar z^{\bar h}\mathcal O_{\rm plane}(z,\bar z), \qquad z=e^w.$$

Stress-tensor modes are normalized by

$$L_n={1\over2\pi i}\oint dz\,z^{n+1}T(z), \qquad T(z)=\sum_{n\in\mathbb Z}L_n z^{-n-2}.$$

The stress tensor transforms as a quadratic differential under Möbius maps. Under a general conformal map it also has a quantum Schwarzian term, and the cylinder Hamiltonian has a vacuum shift proportional to the central charge. Those effects are previewed here and derived after the central charge is introduced.

A Euclidean cylinder has coordinates $(\tau,\varphi)$ with $\varphi$ periodic. The exponential map

$$z=e^{\tau+i\varphi}$$

turns translation in $\tau$ into radial rescaling in the plane and translation in $\varphi$ into rotation around the origin. Thus the infinite cylinder is the punctured plane: the far past $\tau\to-\infty$ is $z=0$, and the far future $\tau\to+\infty$ is $z=\infty$.

The exponential map $z=e^w$, $w=\tau+i\varphi$, sends the Euclidean cylinder to the punctured plane. Equal-$\tau$ circles become circles of fixed radius $|z|=e^\tau$, and evolution in $\tau$ becomes radial evolution.

One may instead think of a compact cylinder with two caps attached. For example, a coordinate $\theta\in[0,\pi]$ with $\varphi\sim\varphi+2\pi$ describes a sphere if all values at $\theta=0$ are identified and all values at $\theta=\pi$ are identified. A scalar function regular on the sphere must approach a direction-independent limit at each cap. For a holomorphic function in the coordinate patch near infinity, regularity in $z'=1/z$ means

$$f(z)=a+{b\over z}+{c\over z^2}+\cdots, \qquad z\to\infty.$$

Therefore

$$\partial_z f(z)=-{b\over z^2}+O(z^{-3}).$$

For a general smooth scalar the expansion may also contain powers of $1/\bar z$; the displayed holomorphic series is the one relevant to chiral fields. This elementary observation is the source of many useful falloff conditions. If a holomorphic one-form is regular at infinity, its coefficient in the $z$ coordinate falls as $z^{-2}$. Under the inversion used to cover the sphere, the stress tensor transforms as a quadratic differential because inversion is Möbius and its Schwarzian vanishes. Let

$$z'={1\over z}, \qquad dz'=-{dz\over z^2}.$$

If

$$T(z)dz^2=T'(z')dz'^2$$

and $T'(z')$ is regular near $z'=0$, then

$$T(z)=T'(1/z){1\over z^4}=O(z^{-4}).$$

This conclusion is also valid quantum mechanically for the inversion map. The anomalous Schwarzian matters for non-Möbius maps such as the exponential map from the plane to the cylinder, not for the two coordinate patches of the sphere.

A holomorphic scalar regular at $z=\infty$ has an expansion in powers of $1/z$. Its holomorphic derivative falls as $z^{-2}$. Because inversion has zero Schwarzian, the quantum stress tensor also transforms as a quadratic differential between the two sphere patches, giving $T(z)=O(z^{-4})$ when no operator is inserted at infinity.

For vacuum correlators on the sphere, this falloff is equivalent to saying that $T(z)$ has no pole at infinity. When inserted into correlators with local operators, $T(z)$ is meromorphic: its poles occur only where other operators are inserted.

Primary fields as local tensors

A local field $\mathcal O(z,\bar z)$ is called primary if, under a finite conformal coordinate change,

$$z=f(w), \qquad \bar z=\bar f(\bar w),$$

it transforms like a local tensor of type $(h,\bar h)$:

$$\boxed{ \mathcal O_w(w,\bar w) = \left({df\over dw}\right)^h \left({d\bar f\over d\bar w}\right)^{\bar h} \mathcal O_z(f(w),\bar f(\bar w)). }$$

The scaling dimension and Euclidean spin are

$$\Delta=h+\bar h, \qquad s=h-\bar h.$$

For a pure scale transformation $z=\lambda w$, the field transforms as

$$\mathcal O_w(w,\bar w)=\lambda^h\bar\lambda^{\bar h}\mathcal O_z(\lambda w,\bar\lambda\bar w).$$

For a real positive $\lambda$, this is governed by $\Delta$. For a rotation $\lambda=e^{i\alpha}$, it is governed by $s$.

The infinitesimal version follows by setting

$$z\mapsto z+\epsilon(z), \qquad \bar z\mapsto\bar z+\bar\epsilon(\bar z).$$

To first order, a primary transforms as

$$\delta \mathcal O = \epsilon\partial\mathcal O+h(\partial\epsilon)\mathcal O + \bar\epsilon\bar\partial\mathcal O+\bar h(\bar\partial\bar\epsilon)\mathcal O.$$

The holomorphic part is the same formula that appeared in the stress-tensor Ward identity. The double pole in $T(z)\mathcal O(w)$ measures $h$; the simple pole translates the insertion.

On the cylinder, $z=e^w$, so $dz/dw=z$. Hence

$$\boxed{ \mathcal O_{\rm cyl}(w,\bar w) = e^{hw+\bar h\bar w}\mathcal O_{\rm plane}(e^w,e^{\bar w}). }$$

This formula is a useful warning: the same abstract operator has different coordinate representatives on the plane and cylinder. The cylinder field includes the Jacobian factor needed to make its correlation functions covariant.

Ward identity revisited

Let

$$X=\mathcal O_1(z_1,\bar z_1)\cdots\mathcal O_n(z_n,\bar z_n),$$

where all $\mathcal O_k$ are primary. Away from insertions, stress-tensor conservation together with vanishing trace gives

$$\bar\partial T=0.$$

Here the vanishing of the trace component $T_{z\bar z}$ is what lets conservation reduce to holomorphicity; the two statements are not separate assumptions. Therefore $\langle T(z)X\rangle$ is meromorphic in $z$, and its singularities are fixed by how the insertions transform. The holomorphic Ward identity is

$$\boxed{ \left\langle T(z)\prod_{k=1}^n\mathcal O_k(z_k,\bar z_k)\right\rangle = \sum_{k=1}^n \left[ {h_k\over (z-z_k)^2} +{1\over z-z_k}{\partial\over\partial z_k} \right] \left\langle \prod_{k=1}^n\mathcal O_k(z_k,\bar z_k)\right\rangle. }$$

The antiholomorphic identity is the same with $T,h,z,\partial$ replaced by $\bar T,\bar h,\bar z,\bar\partial$.

One way to derive the formula is to temporarily allow $\epsilon(z,\bar z)$ to be nonholomorphic. A local coordinate change varies the action by a term of the form

$$\delta S\sim\int d^2z\,(\bar\partial\epsilon)T(z),$$

with the overall factor fixed by the residue convention. In the path integral,

$$\langle \delta S\,X\rangle=\langle\delta X\rangle.$$

Taking $\epsilon$ to be supported in small annuli around the insertions reduces the integral to contours. The residue of $\epsilon(z)T(z)$ around $z=z_k$ gives

$$\epsilon(z_k)\partial_{z_k}\mathcal O_k +h_k(\partial\epsilon)(z_k)\mathcal O_k,$$

which is exactly the infinitesimal primary transformation.

The same statement can be read as an OPE:

$$\boxed{ T(z)\mathcal O_k(w,\bar w) \sim {h_k\mathcal O_k(w,\bar w)\over (z-w)^2} +{\partial_w\mathcal O_k(w,\bar w)\over z-w}. }$$

The symbol $\sim$ means equality of singular terms as $z\to w$. The regular terms are not determined by the primary transformation law alone. They are the next subject.

Radial quantization and the state–operator map

On the plane, choose circles centered at the origin as equal-time slices. Radial ordering replaces ordinary time ordering. The Euclidean time coordinate is

$$\tau=\log |z|.$$

A local operator inserted at the origin prepares a state on any circle surrounding the origin:

$$|\mathcal O\rangle=\mathcal O(0)|0\rangle.$$

This is the state–operator map. It is especially natural after the plane–cylinder map because circles $|z|=e^\tau$ become constant-$\tau$ slices of the cylinder. In a twisted, fermionic, or defect sector, the insertion may also specify boundary or monodromy data on that circle; the correspondence then holds sector by sector rather than in a single undifferentiated Hilbert space. In noncompact theories or theories with continuous spectrum, some local insertions can prepare delta-normalizable or distributional states, so normalizability must be assessed separately.

In radial quantization, a local insertion at the origin defines a state on a surrounding circle. Dilatations become translations in cylinder time $\tau$, so the scaling dimension of the operator becomes the cylinder energy, up to the central-charge vacuum shift introduced later.

The holomorphic and antiholomorphic zero modes will generate scale transformations and rotations. For a primary state,

$$L_0|\mathcal O\rangle=h|\mathcal O\rangle, \qquad \bar L_0|\mathcal O\rangle=\bar h|\mathcal O\rangle.$$

Thus

$$(L_0+\bar L_0)|\mathcal O\rangle=\Delta|\mathcal O\rangle, \qquad (L_0-\bar L_0)|\mathcal O\rangle=s|\mathcal O\rangle.$$

Classically, the cylinder Hamiltonian is $L_0+\bar L_0$. Quantum mechanically, the Schwarzian term shifts it. For left- and right-moving central charges $c$ and $\bar c$ on a cylinder of circumference $2\pi$,

$$H_{\rm cyl}=L_0+\bar L_0-{c+\bar c\over24}.$$

In a parity-invariant theory $c=\bar c$, this is $L_0+\bar L_0-c/12$. The next lessons derive the shift from the $T(z)T(w)$ OPE.

Stress-tensor modes

Since $T(z)$ is holomorphic away from insertions, its contour integrals are stable under deformations that do not cross insertions. Around the origin define

$$\boxed{ L_n={1\over2\pi i}\oint dz\,z^{n+1}T(z). }$$

Equivalently,

$$\boxed{ T(z)=\sum_{n\in\mathbb Z}L_n z^{-n-2}. }$$

The mode $L_n$ is the residue of $z^{n+1}T(z)$. The expansion $T(z)=\sum_n L_n z^{-n-2}$ is the Laurent expansion of the stress tensor in radial quantization.

To find how $L_n$ acts on a primary, use the Ward identity with

$$\epsilon(z)=z^{n+1}.$$

To avoid confusing the plane coordinate with the cylinder coordinate $w$, call the insertion point $a$. The infinitesimal transformation gives

$$\delta_n\mathcal O(a,\bar a) = \left(a^{n+1}\partial_a+(n+1)h a^n\right)\mathcal O(a,\bar a).$$

Thus, in the holomorphic sector,

$$\boxed{ [L_n,\mathcal O(a,\bar a)] = \left(a^{n+1}\partial_a+(n+1)h a^n\right)\mathcal O(a,\bar a) }$$

for a primary field. The antiholomorphic formula is

$$[\bar L_n,\mathcal O(a,\bar a)] = \left(\bar a^{n+1}\bar\partial_{\bar a}+(n+1)\bar h\bar a^n\right)\mathcal O(a,\bar a).$$

The three modes $L_{-1},L_0,L_1$ correspond to the holomorphic global conformal transformations

$$\epsilon(z)=1, \qquad \epsilon(z)=z, \qquad \epsilon(z)=z^2.$$

They generate translations, dilatations/rotations, and special conformal transformations in the holomorphic sector.

The OPE-to-descendant dictionary

Set the primary insertion at the origin. The Laurent expansion of $T$ gives

$$T(z)\mathcal O(0) =\sum_{n\in\mathbb Z}z^{-n-2}(L_n\mathcal O)(0).$$

Comparing with the primary OPE,

$$T(z)\mathcal O(0) \sim {h\mathcal O(0)\over z^2}+{\partial\mathcal O(0)\over z},$$

we identify

$$L_0\mathcal O=h\mathcal O, \qquad L_{-1}\mathcal O=\partial\mathcal O, \qquad L_n\mathcal O=0\quad(n>0).$$

The regular terms define new local fields:

$$T(z)\mathcal O(0) = {h\mathcal O(0)\over z^2} +{\partial\mathcal O(0)\over z} +(L_{-2}\mathcal O)(0) +z(L_{-3}\mathcal O)(0)+\cdots.$$

These fields are descendants of $\mathcal O$. Acting repeatedly with negative modes generates the conformal family

$$\mathcal O, \quad L_{-1}\mathcal O, \quad L_{-2}\mathcal O, \quad L_{-1}^2\mathcal O, \quad L_{-3}\mathcal O, \quad \ldots.$$

A primary field is annihilated by positive modes at the origin and is an eigenfield of $L_0$. Negative modes generate descendants. The singular part of $T(z)\mathcal O(0)$ identifies $L_0\mathcal O$ and $L_{-1}\mathcal O$; the regular part begins with $L_{-2}\mathcal O$.

This resolves a subtle point about “closing” an operator algebra. Even if a theory has only finitely many primary representations of the chosen chiral algebra, as in a rational CFT—and in particular finitely many Virasoro primaries in a minimal model—it still has infinitely many local fields once descendants are included. The finite data organize primary families and their OPE coefficients, not a finite list of every local field.

Mode expansions of primary fields

The stress tensor is the most important example of a mode expansion, but the same plane–cylinder logic applies to any chiral field. Choose a sector in which the cylinder field obeys

$$O_{\rm cyl}(w+2\pi i)=e^{-2\pi i\alpha}O_{\rm cyl}(w).$$

Its allowed mode numbers are $r\in\mathbb Z+\alpha$, and a chiral primary of weight $h$ has the expansions

$$\boxed{ O(z)=\sum_{r\in\mathbb Z+\alpha}O_r z^{-r-h}. }$$

The shift by $h$ is not a decorative convention. It is what makes the cylinder field have the ordinary Fourier/Laplace expansion. Since

$$O_{\rm cyl}(w)=e^{hw}O(e^w),$$

we get

$$\boxed{ O_{\rm cyl}(w)=\sum_{r\in\mathbb Z+\alpha}O_r e^{-rw}. }$$

The modes are extracted by

$$O_r={1\over2\pi i}\oint_0 dz\,z^{r+h-1}O(z),$$

where the contour and fractional power are understood in the chosen sector. Periodic cylinder fields have $\alpha=0$ and integer moding. Fermions, disorder fields, and twisted sectors may have half-integer or more general fractional shifts. That shift is not a failure of the construction; it records the monodromy around the spatial circle. For a full nonchiral field, one may similarly write a double expansion with sector-dependent left and right mode sets,

$$O(z,\bar z)=\sum_{r,\bar r}O_{r,\bar r}z^{-r-h}\bar z^{-\bar r-\bar h}.$$

A rotation on the plane is a spatial translation on the cylinder. The field picks up the phase

$$e^{2\pi i(h-\bar h)}=e^{2\pi is}.$$

A strictly local bosonic field has integer spin $s$, while fermions require a spin-structure choice and twist fields require branch-cut data. This is the same monodromy logic that made order–disorder composites behave as fermions in the Ising model.

Example: the cylinder two-point function

Take a primary with a nonzero two-point pairing—either a self-conjugate field or a field paired with its conjugate—and keep the weights general. We suppress the conjugation label on the second insertion. On the plane, choose the normalization

$$\left\langle\mathcal O(z_1,\bar z_1)\mathcal O(z_2,\bar z_2)\right\rangle_{\rm plane} ={1\over z_{12}^{2h}\bar z_{12}^{2\bar h}}, \qquad z_{12}=z_1-z_2.$$

Using $z_i=e^{w_i}$ and

$$\mathcal O_{\rm cyl}(w_i,\bar w_i)=z_i^h\bar z_i^{\bar h}\mathcal O_{\rm plane}(z_i,\bar z_i),$$

we find

$$\begin{aligned} \left\langle\mathcal O_{\rm cyl}(w_1,\bar w_1)\mathcal O_{\rm cyl}(w_2,\bar w_2)\right\rangle &= {(z_1z_2)^h(\bar z_1\bar z_2)^{\bar h} \over (z_1-z_2)^{2h}(\bar z_1-\bar z_2)^{2\bar h}} \\ &= {1\over \left(2\sinh{w_{12}\over2}\right)^{2h} \left(2\sinh{\bar w_{12}\over2}\right)^{2\bar h}}. \end{aligned}$$

For equal cylinder time, $w_{12}=i\varphi_{12}$ and $\bar w_{12}=-i\varphi_{12}$. A spinless field with $h=\bar h=\Delta/2$ then has the periodic angular dependence

$$\left\langle\mathcal O_{\rm cyl}(\varphi_1)\mathcal O_{\rm cyl}(\varphi_2)\right\rangle \propto {1\over \left(2\sin{|\varphi_{12}|\over2}\right)^{2\Delta}},$$

up to the conventional short-distance phase that depends on how the Euclidean branch is chosen. The important physics is clean: a power law on the plane becomes a periodic power law on the cylinder.

Summary

Primary fields are the tensor-like local fields of a two-dimensional CFT. Their finite coordinate transformation law fixes their infinitesimal transformation law, and the latter is encoded in the singular OPE with the stress tensor.

The plane–cylinder map $z=e^w$ turns radial quantization into ordinary Euclidean time evolution on a circle. A local operator at the origin creates a state on a surrounding circle, and the eigenvalues of $L_0$ and $\bar L_0$ become the scaling dimension and spin.

The stress tensor has a Laurent expansion

$$T(z)=\sum_n L_n z^{-n-2},$$

and the OPE

$$T(z)\mathcal O(0)=\sum_n z^{-n-2}(L_n\mathcal O)(0)$$

is the dictionary between local operator products and Hilbert-space generators. A primary is annihilated by $L_n$ for $n>0$ at the origin; negative modes generate descendants.

Common pitfalls

A primary field is not the same thing as an arbitrary scaling operator. A descendant such as $\partial\mathcal O$ has a definite scaling dimension, but it does not transform as an independent primary.

The stress tensor transforms as a quadratic differential under Möbius maps, for which the Schwarzian vanishes. Under a general conformal map—including the exponential plane–cylinder map—it acquires the anomalous Schwarzian term fixed by the central charge.

A finite number of primary fields does not mean a finite number of local fields. Each primary generally has an infinite descendant tower.

For circumference $2\pi$, the general cylinder Hamiltonian is $L_0+\bar L_0-(c+\bar c)/24$. The familiar $L_0+\bar L_0-c/12$ assumes $c=\bar c$; its constant term is the cylinder Casimir energy.

Integer moding is a sector choice, not a universal property of every chiral field. Spin structures and twisted boundary conditions shift the allowed mode numbers.

Exercises

Exercise 1: Quadratic-differential falloff at infinity

Let $T(z)dz^2$ be a quadratic differential. Show that if it is regular at $z=\infty$, then $T(z)=O(z^{-4})$ as $z\to\infty$.

Solution

Use the local coordinate near infinity

$$z'={1\over z}.$$

Then

$$dz'=-{dz\over z^2}, \qquad (dz')^2={dz^2\over z^4}.$$

A quadratic differential is coordinate independent:

$$T(z)dz^2=T'(z')(dz')^2.$$

Therefore

$$T(z)=T'(z'){1\over z^4}=T'(1/z){1\over z^4}.$$

If $T'(z')$ is regular at $z'=0$, then $T'(1/z)=T'(0)+O(1/z)$, and hence

$$T(z)=O(z^{-4}).$$

Exercise 2: Mapping a two-point function to the cylinder

Starting from the plane two-point function

$$\left\langle\mathcal O(z_1,\bar z_1)\mathcal O(z_2,\bar z_2)\right\rangle ={1\over z_{12}^{2h}\bar z_{12}^{2\bar h}},$$

derive the cylinder two-point function under $z=e^w$.

Solution

The cylinder field is

$$\mathcal O_{\rm cyl}(w_i,\bar w_i) =z_i^h\bar z_i^{\bar h}\mathcal O_{\rm plane}(z_i,\bar z_i), \qquad z_i=e^{w_i}.$$

Thus

$$\left\langle\mathcal O_{\rm cyl}(w_1)\mathcal O_{\rm cyl}(w_2)\right\rangle = {(z_1z_2)^h(\bar z_1\bar z_2)^{\bar h}\over(z_1-z_2)^{2h}(\bar z_1-\bar z_2)^{2\bar h}}.$$

Now

$$z_1-z_2=e^{(w_1+w_2)/2}\left(e^{w_{12}/2}-e^{-w_{12}/2}\right) =2e^{(w_1+w_2)/2}\sinh{w_{12}\over2}.$$

The exponential prefactor cancels $(z_1z_2)^h=e^{h(w_1+w_2)}$, giving

$$\left\langle\mathcal O_{\rm cyl}(w_1,\bar w_1)\mathcal O_{\rm cyl}(w_2,\bar w_2)\right\rangle = {1\over\left(2\sinh{w_{12}\over2}\right)^{2h} \left(2\sinh{\bar w_{12}\over2}\right)^{2\bar h}}.$$

Exercise 3: Virasoro modes acting on a primary

Use the OPE

$$T(z)\mathcal O(a,\bar a) \sim {h\mathcal O(a,\bar a)\over(z-a)^2} +{\partial_a\mathcal O(a,\bar a)\over z-a}$$

to show that

$$[L_n,\mathcal O(a,\bar a)] = \left(a^{n+1}\partial_a+(n+1)h a^n\right)\mathcal O(a,\bar a).$$

Then identify $L_0\mathcal O(0)$, $L_{-1}\mathcal O(0)$, and $L_n\mathcal O(0)$ for $n>0$.

Solution

By definition,

$$L_n={1\over2\pi i}\oint dz\,z^{n+1}T(z).$$

To compute the action on $\mathcal O(a,\bar a)$, shrink the contour onto the insertion. The residue is

$${1\over2\pi i}\oint_a dz\,z^{n+1} \left[ {h\mathcal O(a,\bar a)\over(z-a)^2} +{\partial_a\mathcal O(a,\bar a)\over z-a} \right].$$

The simple-pole term gives

$$a^{n+1}\partial_a\mathcal O(a,\bar a).$$

For the double pole, use

$${1\over2\pi i}\oint_a dz\,{f(z)\over(z-a)^2}=f'(a).$$

With $f(z)=z^{n+1}$, this gives

$$(n+1)a^n h\mathcal O(a,\bar a).$$

Therefore

$$[L_n,\mathcal O(a,\bar a)] = \left(a^{n+1}\partial_a+(n+1)h a^n\right)\mathcal O(a,\bar a).$$

At $a=0$ this formula is most safely interpreted through the OPE at the origin:

$$T(z)\mathcal O(0) = \sum_m z^{-m-2}(L_m\mathcal O)(0).$$

Comparing with the primary OPE gives

$$L_0\mathcal O(0)=h\mathcal O(0), \qquad L_{-1}\mathcal O(0)=\partial\mathcal O(0), \qquad L_n\mathcal O(0)=0\quad(n>0).$$

References and further reading

Belavin, Polyakov, and Zamolodchikov, “Infinite conformal symmetry in two-dimensional quantum field theory,” Nuclear Physics B 241 (1984), for the original CFT bootstrap framework.

P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, chapters 4–6, for primary fields, radial quantization, and Virasoro representations.

P. Ginsparg, “Applied Conformal Field Theory,” Les Houches lectures, for a concise and practical introduction to plane–cylinder maps and operator-state correspondence.

A. M. Polyakov, Gauge Fields and Strings, chapter 9, for the stress tensor, OPE, and CFT viewpoint in the broader random-surface/string setting.

Further reading

This lesson preserves the manuscript’s sphere-to-cylinder-to-mode sequence. For maintained accounts of the cylinder Hamiltonian and the operator-state construction, see The cylinder map and radial Hamiltonian and The state–operator correspondence.