Energy Bounds, Strong Locality, and Smeared Vertex Operators

The passage from mode estimates to local von Neumann algebras has two logically separate steps. Polynomial bounds and Fourier decay define closed smeared fields on a shared smooth domain. Strong locality then requires a theorem about their closures for disjoint supports. The Virasoro field illustrates both: its modes obey a universal positive-energy estimate, but the vanishing distributional commutator must still be upgraded to strong commutativity.

Required background. Unitary VOAs, Energy Bounds, and Strong Locality supplies the analytic target. Unbounded Operators, Domains, Closure, and Adjoints supplies domain terminology. Quantum Fields as Operator-Valued Distributions supplies test-function smearing.

Helpful background. Coincident Products and Contact Terms clarifies why nonsmeared coincident products are not ordinary operators.

From a mode inequality to a smeared field

Let $v$ be homogeneous and suppose

$$\lVert v_n\psi\rVert\leq M(1+|n|)^s \lVert(1+L_0)^k\psi\rVert.$$

For $f\in C^\infty(S^1)$, the partial sums $\sum_{|n|\leq N}\widehat f_nv_n\psi$ are Cauchy because smooth Fourier coefficients decrease faster than any power. This proves convergence on finite-energy vectors and the Sobolev-type bound

$$\lVert Y(v,f)\psi\rVert \leq C_v\lVert f\rVert_{H^{s+1}} \lVert(1+L_0)^k\psi\rVert,$$

where Cauchy–Schwarz compares the weighted $\ell^1$ sum to $H^{s+1}$. The precise index is not canonical—one may use a stronger Sobolev norm—but its order must dominate the mode growth. Adjoint estimates show closability, and commutators with $L_0$ show that $\mathcal H^\infty$ is invariant. These are the domain facts needed before multiplying or exponentiating fields.

If formal locality gives a distribution supported on the diagonal, then $[Y(u,f),Y(v,g)]\psi=0$ on $\mathcal H^\infty$ whenever $\operatorname{supp}f\cap\operatorname{supp}g=\varnothing$. To infer commuting von Neumann algebras, one needs essential self-adjointness plus an analytic-vector or energy-bound criterion, or another argument that proves the closures strongly commute. A mode estimate for each $n$ without a summable test-function estimate does not even define the same operator-valued distribution.

Virasoro energy estimate

The first QFT application is the stress tensor developed in The Virasoro Algebra and the Stress Tensor. In a positive-energy unitary representation with $L_n^*=L_{-n}$ and central charge $c\geq0$, the Goodman–Wallach estimate used by Carpi and collaborators is

$$\lVert L_n\psi\rVert \leq \sqrt{\frac c2}\,(1+|n|)^{3/2} \lVert(1+L_0)\psi\rVert.$$

See Carpi et al. 2018, Proposition 3.2, PDF pp. 16–17. The exponent is independently visible from

$$[L_n,L_{-n}]=2nL_0+\frac c{12}(n^3-n)\mathbf1:$$

on a fixed-energy vector, the central term makes the squared norm grow as $|n|^3$. Thus the $3/2$ power is dimensionally and algebraically natural.

Define the smeared stress tensor

$$T(f)=\sum_{n\in\mathbb Z}\widehat f_nL_n$$

on finite-energy vectors and take its closure. For real $f$, the adjoint relation makes it symmetric and the positive-energy estimates provide the common core. The Virasoro commutator smears to

$$[T(f),T(g)] =iT(fg'-f'g)+i\frac{c}{24\pi}\int f'''g\,\mathrm d\theta\,\mathbf1,$$

with signs fixed by the Fourier convention. If $f$ and $g$ have disjoint supports, every displayed product vanishes. This gives weak commutativity on the core.

Upgrading to interval locality

The upgrade uses more than the last equation. The energy estimate integrates the Virasoro representation to a positive-energy projective unitary representation of $\mathrm{Diff}^+(S^1)$. Flows generated by vector fields supported in disjoint intervals commute, so the corresponding one-parameter unitaries commute. Their self-adjoint generators are the closures of the real smeared stress tensors. Hence the spectral calculi commute, proving strong commutativity. More generally, a simple unitary VOA generated by weight-one currents and Hermitian Virasoro vectors is strongly local Carpi et al. 2018, Theorem 8.3 and Example 8.4, PDF pp. 59–60.

This mechanism verifies the concrete application: the polynomial Virasoro bound controls smearing, the integrated diffeomorphism action controls closures, and disjoint support gives commuting interval algebras. As a check, $f=1$ gives $T(f)=L_0$ with no central contribution, while the modes $f=e^{in\theta}$ recover the Virasoro relations.

One can cross-check the direction from the net side. Energy-damped vectors make interval-localized fields into operator-valued distributions affiliated with the local algebra, and modular localization fixes their covariance and adjoints under suitable hypotheses Fredenhagen and Jörß 1996, §§2–3, pp. 545–550. This reconstruction does not replace the mode estimate: it presupposes a local net and energy regularity, whereas the VOA construction is using estimates to produce that net.

Adversarial domain tests

Two shortcuts fail. First, an estimate for $L_n$ whose constant grows faster than every polynomial may be useless after smooth smearing because smooth Fourier decay is superpolynomial but not generally exponential. Second, a formal or quadratic-form commutator that vanishes only on a noninvariant dense subspace does not establish strong commutativity. In either case the strongest conclusion is a partial field assignment on the stated domain, not a local algebra. One must supply a summable Fourier bound, an invariant core for adjoints and products, and a closure-level commutativity theorem.

Exercises

1. Derive a Sobolev estimate from the weighted $\ell^1$ norm of Fourier coefficients.

Solution

Write $(1+|n|)^s|\widehat f_n|=(1+|n|)^{-1}(1+|n|)^{s+1}|\widehat f_n|$ and apply Cauchy–Schwarz. The first squared sequence is summable and the second is the $H^{s+1}$ norm up to equivalent circle weights.

2. Check the support of $fg'-f'g$ when $f$ and $g$ have disjoint supports.

Solution

Derivatives do not enlarge the closed support of a smooth function. Both $fg'$ and $f'g$ therefore vanish identically. The same argument kills $f'''g$, so the core commutator is zero.

References

• Carpi, Sebastiano, Yasuyuki Kawahigashi, Roberto Longo, and Mihály Weiner. “From Vertex Operator Algebras to Conformal Nets and Back.” Communications in Mathematical Physics 364 (2018), 101–145. DOI. Open PDF.
• Fredenhagen, Klaus, and Martin Jörß. “Conformal Haag–Kastler Nets, Pointlike Localized Fields and the Existence of Operator Product Expansions.” Communications in Mathematical Physics 176 (1996), 541–554. DOI.