Conformal Nets and Covariance Axioms

A conformal net is not one algebra carrying a conformal-group action. It is an isotone assignment of von Neumann algebras to proper intervals of the circle, represented on one vacuum Hilbert space and equipped with locality, covariant positive-energy dynamics, and a cyclic invariant vacuum. Those data make localization part of the theory and turn informal chiral fields into bounded operator algebras.

Required background. Haag–Kastler Nets and Locality supplies the net viewpoint; Complex Coordinates and Local Conformal Symmetry fixes the circle description; and Operator Algebras and Positive Functionals: a Bridge supplies von Neumann closures and vacuum states. Helpful background. Chiral Blocks, Sewing, and Modular Invariance gives the correlator-side comparison, while AdS3/CFT2 and the Brown–Henneaux Central Charge motivates positive-energy chiral representations.

Interval algebras in the vacuum representation

Let $\mathcal I$ be the set of nonempty, connected, nondense open arcs $I\subset S^1$. A Möbius covariant net consists of a separable Hilbert space $\mathcal H$, von Neumann algebras $\mathcal A(I)\subset B(\mathcal H)$, a strongly continuous projective unitary representation $U$ of $\operatorname{PSU}(1,1)$, and a unit vector $\Omega$. In the standard vacuum formulation the following conditions are imposed.

• Isotony: $I_1\subset I_2$ implies $\mathcal A(I_1)\subset\mathcal A(I_2)$.
• Locality: $I_1\cap I_2=\varnothing$ implies $[\mathcal A(I_1),\mathcal A(I_2)]=0$.
• Covariance: $U(g)\mathcal A(I)U(g)^*=\mathcal A(gI)$.
• Positive energy: the self-adjoint generator $L_0$ of rotations has $\operatorname{spec}L_0\subset[0,\infty)$.
• Vacuum: $U(g)\Omega=\Omega$ up to the irrelevant projective phase, $\Omega$ is the unique invariant ray, and $\Omega$ is cyclic for $\bigvee_I\mathcal A(I)$.

These are representation-level assertions. A different locally normal representation of the same abstract net can describe a charged sector and need not contain an invariant vacuum. Conversely, cyclicity for the global algebra is not locality. Under the vacuum axioms, positivity and covariance yield the Reeh–Schlieder property: $\Omega$ is cyclic and separating for each interval algebra. Irreducibility, $\bigvee_I\mathcal A(I)=B(\mathcal H)$, follows from uniqueness of the vacuum in the usual formulation; it should not be silently substituted for the interval assignment. The precise standard definition and these immediate consequences are stated in Kawahigashi 2015, §3.1, pp. 16–18.

Pointlike currents are generally unbounded operator-valued distributions. The net is instead built from bounded functions of smeared fields, and the double commutant is essential:

$$\mathcal A(I)=\{W(f):f\in C^\infty(S^1,\mathbb R),\ \operatorname{supp}f\subset I\}^{\prime\prime}.$$

Thus every domain issue is absorbed into the construction of the Weyl unitaries before the local von Neumann algebra is formed; no claim is being made that a current $J(z)$ exists as a bounded operator at a point.

The U(1) current as the first test

For the vacuum U(1) current, let $J(f)$ be the real smeared current and $W(f)=e^{iJ(f)}$. With a conventional normalization, the Weyl relations read

$$W(f)W(g)=e^{-i\sigma(f,g)/2}W(f+g), \qquad \sigma(f,g)=\frac{1}{2\pi}\int_{0}^{2\pi} f(\theta)g'(\theta)\,\mathrm d\theta .$$

If $f$ and $g$ have disjoint supports, integration is local and $\sigma(f,g)=0$; hence the corresponding Weyl operators commute. Support inclusion gives isotony immediately. The positive-energy Fock representation supplies $\Omega$, and the second-quantized Möbius representation transports test functions and has nonnegative rotation generator. Standard-subspace density then makes the vacuum cyclic for each interval algebra. This verifies the interval inclusion, disjoint commutation, vacuum cyclicity, and positive generator required by the exact Affine Current Algebras and WZW Models application. Carpi gives the current-net construction and its charged representations in Carpi 2004, §4, pp. 21–23.

An independent algebraic check is the commutator phase:

$$W(f)W(g)W(f)^*W(g)^*=e^{-i\sigma(f,g)}\mathbf 1.$$

It is exactly the identity for disjoint supports, but not for overlapping ones. This distinguishes locality from mere commutativity in one selected state. Positive energy is also independent: replacing $U$ by a representation whose rotation generator is unbounded below can preserve covariance of the algebras while destroying the conformal-net axiom.

Vacuum data versus charged representations

The vacuum representation fixes more than a preferred vector. Its cyclicity and separating property let modular theory recover geometric information from each pair $(\mathcal A(I),\Omega)$, while the unique invariant ray distinguishes the vacuum sector from charged positive-energy representations. A locally normal representation $\pi$ may preserve every inclusion and every local commutation relation, yet have no invariant vector and no reason for $\pi(\mathcal A(I))$ to act irreducibly on the same Hilbert space. It is therefore important to say whether a statement concerns the vacuum net, its abstract quasilocal algebra, or one representation of that algebra. Sector theory later compares such representations by localized endomorphisms; it does not alter the defining vacuum axioms.

Failure boundary

The adversarial construction with only $\mathcal M=\bigvee_I\mathcal A(I)$, $U$, and $\Omega$ retains a global covariant quantum system, but it has forgotten which observables lie in which intervals. There is then no statement of isotony, locality, Haag duality, or a localized sector. A second failure keeps all interval algebras but omits $L_0\ge0$; it is a Möbius-covariant local net in a weaker sense, not a positive-energy conformal net. Neither global irreducibility nor formal current commutators repairs the missing hypothesis.

Exercises

Let $f$ and $g$ be real smooth functions supported in disjoint intervals. Prove directly that their Weyl unitaries commute, and identify the step that fails when the supports overlap.

Solution

Disjoint supports imply $f g'=0$ pointwise, so $\sigma(f,g)=0$. The Weyl relation gives $W(f)W(g)=W(f+g)=W(g)W(f)$. For overlapping supports, the integral defining $\sigma(f,g)$ need not vanish; the group commutator is then the nontrivial phase $e^{-i\sigma(f,g)}$.

References

• Carpi, Sebastiano. “On the Representation Theory of Virasoro Nets.” Communications in Mathematical Physics 244 (2004), 261–284.
• Kawahigashi, Yasuyuki. “Conformal Field Theory, Tensor Categories and Operator Algebras.” Journal of Physics A 48 (2015), 303001. slug: “mathematical-qft/conformal-nets-vertex-algebras/conformal-nets-covariance-axioms” title: “Conformal Nets and Covariance Axioms” description: “What interval-indexed von Neumann algebra data and covariance, vacuum, locality, isotony, and positive-energy axioms define a conformal net?” tableOfContents: false

---