From Pointlike Fields to Nets and Affiliated Operators

Pointlike quantum fields are unbounded operator-valued distributions, while Haag–Kastler nets are built from bounded algebras. Passing from one to the other therefore requires closability, common invariant cores, essential self-adjointness or another controlled functional calculus, and strong—not merely formal—commutativity. In the reverse direction, recovering pointlike fields from a net needs short-distance phase-space bounds; a net generally admits many field coordinatizations.

Required background. Wightman Fields, Domains, and Axioms supplies the common-domain field framework. Haag–Kastler Nets and Locality supplies the target net, and Quasilocal C*-Algebras and Inductive Limits supplies its bounded completion.

Helpful background. Quantum Fields as Operator-Valued Distributions explains why smearing is compulsory. Fields, Observables, and Interpolating Operators separates a field coordinate from the observable content it generates.

Affiliation and strong local generation

Let $\mathfrak M\subset\mathcal B(\mathcal H)$ be a von Neumann algebra. A closed densely defined operator $T$ is affiliated with $\mathfrak M$ when

$$u'T\subset Tu' \qquad\text{for every unitary }u'\in\mathfrak M'.$$

For self-adjoint $T$, this is equivalent to every spectral projection of $T$ lying in $\mathfrak M$, or equivalently to $e^{itT}\in\mathfrak M$ for every $t\in\mathbb R$. Affiliation is the precise sense in which an unbounded observable belongs to a bounded-operator algebra.

Suppose $f\mapsto\phi(f)$ is an operator-valued distribution on a common dense invariant domain $\mathcal D$. For real $f$, assume $\phi(f)$ is symmetric and essentially self-adjoint on $\mathcal D$. A field-generated local algebra may then be defined by

$$\mathfrak A_\phi(O) = \left\{ e^{it\overline{\phi(f)}}: t\in\mathbb R, \ f\in C_c^\infty(O,\mathbb R) \right\}''.$$

Spectral projections could be used instead. The definition immediately makes $\overline{\phi(f)}$ affiliated with $\mathfrak A_\phi(O)$. It also gives isotony by inclusion of test-function supports.

Locality needs more. A form identity

$$\langle\Psi,[\phi(f),\phi(g)]\Phi\rangle=0, \qquad \Psi,\Phi\in\mathcal D,$$

does not by itself imply that the self-adjoint closures strongly commute. One must prove commutation of the spectral measures—or equivalently of all exponentials—when the supports are spacelike separated. Analytic-vector arguments can supply this upgrade under suitable common-domain bounds. Nelson’s theorem gives a standard essential-self-adjointness mechanism when a dense set of analytic vectors is available Nelson 1959, Theorems 1–2, pp. 574–579.

Energy bounds and the reverse construction

A typical polynomial energy bound has the form

$$\lVert\phi(f)\Psi\rVert \leq C\,p_s(f)\, \lVert(1+H)^k\Psi\rVert, \qquad \Psi\in\mathcal D,$$

where $p_s$ is a finite test-function seminorm. Such a bound controls continuity, makes the energy-smooth vectors a natural core, and can support closability and products. It is not, by itself, a universal theorem of essential self-adjointness or strong locality; the relevant domain and analytic-vector hypotheses must still be checked.

Conversely, starting with $O\mapsto\mathfrak A(O)$ does not automatically produce a distribution $x\mapsto\phi(x)$. Fredenhagen and Hertel impose high-energy control and study limits of bounded local observables as their localization regions shrink, recovering pointlike fields with controlled energy behavior Fredenhagen and Hertel 1981, pp. 555–561. The result is a field content associated with the net, not a unique preferred field: relatively local composites, derivatives, or nonlinear redefinitions can generate the same bounded algebras.

First application: the free scalar field generates its net

Quantum Fields as Operator-Valued Distributions supplies the smeared free scalar used in this construction.

On bosonic Fock space let $\mathcal D_{\mathrm{fin}}$ be the finite-particle vectors and, for real $f$, write

$$\phi(f)=a^*(f_+)+a(f_+),$$

where $f_+$ is the positive-frequency mass-shell restriction. Creation and annihilation estimates give

$$\lVert\phi(f)\Psi\rVert \leq 2\lVert f_+\rVert\, \lVert(N+1)^{1/2}\Psi\rVert.$$

Finite-particle vectors are analytic for $\phi(f)$, so $\phi(f)$ is essentially self-adjoint there. Its exponential is the represented Weyl operator,

$$e^{i\overline{\phi(f)}}=W(f).$$

The double-cone algebra generated by these unitaries is therefore

$$\mathfrak A(O)=\left\{W(f):\operatorname{supp}f\subset O\right\}''.$$

If $f$ and $g$ are spacelike separated, the causal propagator obeys $E(f,g)=0$, and the Weyl relations prove commutation of all exponentials. Thus the construction gives strong locality, not only a vanishing commutator on $\mathcal D_{\mathrm{fin}}$. Every $\overline{\phi(f)}$ with support in $O$ is affiliated with $\mathfrak A(O)$. The distinction between the abstract Weyl algebra and exponentiation inside a regular Fock representation is explained in Fewster and Rejzner 2020, § 4.2, pp. 17–19.

Failure test: exponentiating an uncontrolled field

If $\phi(f)$ is unclosable, it has no closed operator to which the spectral theorem applies. If it is symmetric but not essentially self-adjoint, different self-adjoint extensions can yield different unitary groups. Declaring one of those exponentials local without proving extension independence and strong commutativity does not define a canonical net. Likewise, vanishing quadratic-form commutators on a small core need not make the spectral projections commute.

The strongest surviving object may be a partial star algebra of fields on a common domain. A bounded local net requires a controlled closure or resolvent construction plus a proof of isotony and strong locality.

Independent checks

For every generator record the common core, adjoint relation, closure, and functional calculus. Then test

$$e^{it\overline{\phi(f)}}e^{is\overline{\phi(g)}} = e^{is\overline{\phi(g)}}e^{it\overline{\phi(f)}}$$

for spacelike supports, not only the formal commutator. Finally compare two candidate generating field families by taking their double commutants region by region. Equality of selected correlation functions is not enough to establish equality of nets.

Exercises

Let $T$ be self-adjoint and suppose $e^{itT}\in\mathfrak M$ for every $t\in\mathbb R$. Show that $T$ is affiliated with $\mathfrak M$.

Solution

If $u'\in\mathfrak M'$ is unitary, it commutes with every $e^{itT}$. By uniqueness in Stone’s theorem, $u'$ preserves $\operatorname{Dom}T$ and $u'Tu'^{-1}=T$. Hence $u'T\subset Tu'$, the affiliation condition. Equivalently, Fourier approximation to the spectral calculus shows that all spectral projections of $T$ lie in $\mathfrak M$.

References

• Fewster, Christopher J., and Kasia Rejzner. “Algebraic Quantum Field Theory—an Introduction.” In Progress and Visions in Quantum Theory in View of Gravity, 1–61. Cham: Birkhäuser, 2020. DOI; Open PDF.
• Fredenhagen, Klaus, and Joachim Hertel. “Local Algebras of Observables and Pointlike Localized Fields.” Communications in Mathematical Physics 80 (1981): 555–561. DOI.
• Nelson, Edward. “Analytic Vectors.” Annals of Mathematics 70 (1959): 572–615. DOI.