Circle and Interval Nets: Möbius and Diffeomorphism Covariance

Möbius covariance says that geometry relabels interval algebras, while diffeomorphism covariance asks for a projective unitary implementation of every orientation-preserving smooth circle map, compatible with localization. The projective phase disappears under conjugation, but the interval covariance and local-triviality conditions do not: a group representation that merely normalizes the family of algebras is insufficient.

Required background. Conformal Nets and Covariance Axioms supplies the vacuum net; The Virasoro Algebra and the Stress Tensor supplies the infinitesimal generators; and Groups, Actions, Quotients, and Covers supplies projective actions and central extensions. Helpful background. The State–Operator Correspondence explains why circle rotations measure conformal energy.

Möbius transport of intervals

Identify $S^1$ with the conformal compactification of the real line. An element of $\operatorname{PSL}(2,\mathbb R)$ acts on $x\in\mathbb R\cup\{\infty\}$ by

$$g(x)=\frac{ax+b}{cx+d},\qquad ad-bc=1,$$

and carries every proper interval to another proper interval, with the point at infinity treated by the circle chart. A strongly continuous positive-energy projective representation $U$ implements the geometric action when

$$\operatorname{Ad}U(g)(\mathcal A(I))=\mathcal A(gI), \qquad \operatorname{spec}L_0\subset[0,\infty).$$

The first formula is equality of von Neumann algebras, not equality of individual field coordinates. If $U(g)U(h)=\omega(g,h)U(gh)$, then the scalar cocycle cancels in $\operatorname{Ad}U$; projectivity therefore causes no ambiguity in transporting observables. It still matters for the Virasoro central charge and for comparing inequivalent positive-energy representations.

Passing between the line and circle requires care about complements. The complement of a proper circle interval is another proper interval after taking its interior, whereas a bounded real-line interval has a disconnected complement. Claims about circle Haag duality cannot be transferred by deleting the point at infinity without stating the corresponding dual-net convention.

Diffeomorphism covariance is stronger

A diffeomorphism-covariant net has a strongly continuous projective representation $V$ of $\operatorname{Diff}_+(S^1)$ extending the Möbius implementation and satisfying

$$\operatorname{Ad}V(\gamma)(\mathcal A(I))=\mathcal A(\gamma I).$$

There is also a localization condition: if $\gamma$ is the identity on $I$, then $\operatorname{Ad}V(\gamma)$ acts trivially on $\mathcal A(I)$. Under Haag duality this implies that a diffeomorphism supported in $I$ can be implemented locally, up to phase, by an element affiliated with the interval algebra. These conditions separate geometric covariance from the much weaker statement $V(\gamma)\mathcal A(I)V(\gamma)^*\in\{\mathcal A(J):J\in\mathcal I\}$ with an unspecified $J$. Carpi states the operator-algebraic covariance and local-triviality axioms in Carpi 2004, §2.1, pp. 3–6.

For the Virasoro net at an allowed central charge, the stress tensor is an operator-valued distribution. Its exponentials give bounded generators

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

Energy bounds on the common finite-energy core make $T_c(f)$ essentially self-adjoint, and exponentiation integrates the Virasoro representation to the appropriate central extension of $\operatorname{Diff}_+(S^1)$. This construction and its interval covariance are given in Carpi 2004, §2.4, pp. 9–10. The theorem concerns bounded local algebras generated by exponentials; it does not assert that the unsmeared $T(z)$ is bounded.

Virasoro transport as a worked application

Choose the Cayley chart and $I=(0,1)\subset\mathbb R$. The translation $g(x)=x+1$ is Möbius, so

$$U(g)\mathcal A_c((0,1))U(g)^*=\mathcal A_c((1,2)).$$

At the generator level, a test vector field $f$ is pushed forward to $g_*f$; the stress-tensor anomaly contributes to the projective phase of the implementer, not to the target interval algebra. A general diffeomorphism $\gamma$ similarly gives $V(\gamma)e^{iT_c(f)}V(\gamma)^*$ equal, up to the central phase already lost in conjugation, to the exponential localized in $\gamma I$. This is the operator-algebraic content returned to The Virasoro Algebra and the Stress Tensor.

Two checks are independent. First, composition works on algebras:

$$\operatorname{Ad}V(\gamma_1)\operatorname{Ad}V(\gamma_2) =\operatorname{Ad}V(\gamma_1\gamma_2),$$

because the cocycle is scalar. Second, if $\operatorname{supp}\gamma\subset I'$ and $A\in\mathcal A(I)$, local triviality gives $V(\gamma)AV(\gamma)^*=A$. This checks localization rather than only group multiplication.

Infinitesimal and global consistency

The stress-tensor representation supplies an independent infinitesimal test. Commutators of smeared generators reproduce the Lie bracket of circle vector fields plus a scalar central term. After exponentiation, that scalar becomes precisely the projective multiplier and therefore disappears from conjugation on bounded observables. The support of the vector fields supplies the locality test: generators supported in the complementary interval must act trivially on $\mathcal A(I)$. Passing both tests is still not enough unless the representation integrates to the required global cover of $\operatorname{Diff}_+(S^1)$ and its restriction agrees with the already chosen Möbius implementation.

Adversarial failure

Suppose a projective $V$ preserves the set of local algebras but sends $\mathcal A(I)$ to $\mathcal A(J)$ for some $J\ne\gamma I$. It is a symmetry of an abstract family, not diffeomorphism covariance of the chosen net. Likewise, if a diffeomorphism equal to the identity on $I$ acts nontrivially on $\mathcal A(I)$, the geometric relabeling formula alone does not restore locality. The nonconverse is important: conformal covariance of correlation functions does not by itself construct the bounded implementers or prove their common-domain energy bounds.

Exercises

Show that a projective multiplier cannot alter the transported interval algebra, and explain why this does not make the multiplier physically irrelevant.

Solution

Replacing $V(\gamma)$ by $e^{i\alpha(\gamma)}V(\gamma)$ leaves $V(\gamma)AV(\gamma)^*$ unchanged for every bounded $A$. Therefore the image algebra is phase-independent. The multiplier still records the central extension; its infinitesimal form is the Virasoro central term, so it distinguishes representations and fixes the central charge.

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/circle-interval-nets-mobius-diffeomorphism-covariance” title: “Circle and Interval Nets: Möbius and Diffeomorphism Covariance” description: “How do interval nets on the circle transform under Möbius and diffeomorphism groups, and what extra structure is required beyond conformal covariance of correlators?” tableOfContents: false

---