Nonperturbative Local C*-Net Developments: Construction and Scope

Nonperturbative local nets now arise from several genuinely different constructions, but their conclusions must not be merged. For regular factorizing two-particle S-matrices in $1+1$ dimensions, wedge-local fields plus modular nuclearity give nontrivial double-cone von Neumann algebras and, in the stated class, the prescribed scattering theory. A separate dynamical C*-algebra construction assigns a nontrivial local net to a scalar Lagrangian through exact unitary relations. Neither theorem establishes a four-dimensional interacting vacuum representation or a general nonperturbative completion of the formal Epstein–Glaser series.

Required background. Haag–Kastler nets and locality fixes the net properties to be proved. Factorizing S-matrices and wedge-local Borchers constructions constructs the wedge algebra. Modular nuclearity in wedge-local constructions supplies the phase-space estimate needed for compact localization. Helpful background. Constructive cutoff removal explains a distinct measure-theoretic route to existence. Asymptotic completeness in known models fixes the scattering claim that must be proved separately.

From a regular scattering function to compact localization

Let $S_2(\theta)$ be a scalar two-particle scattering function. The wedge construction assumes unitarity and Hermitian analyticity on the real rapidity line, crossing symmetry in the physical strip $0<\operatorname{Im}\theta<\pi$, and sufficient bounded analyticity. Regularity means that $S_2$ extends boundedly to a strictly larger strip $-\kappa<\operatorname{Im}\theta<\pi+\kappa$ for some $\kappa>0$. In the scalar case the Yang–Baxter equation is automatic; matrix-valued theories require it as additional input.

The Zamolodchikov–Faddeev relations

$$z^\dagger(\theta_1)z^\dagger(\theta_2) =S_2(\theta_1-\theta_2) z^\dagger(\theta_2)z^\dagger(\theta_1)$$

define an $S_2$-symmetric Fock space. A polarization-free field built from $z^\dagger$ and $z$ is localized in a wedge, not at a point. Its reflected partner commutes in the opposite wedge because the rapidity contour can be moved through the physical strip and crossing converts the exchanged factor correctly. Taking bounded functions of these fields and closing weakly gives a standard right-wedge algebra $\mathcal M$ with translations $U$ and vacuum $\Omega$: a Borchers triple.

Wedge locality alone leaves open whether a compact intersection contains anything beyond scalars. For a spacelike translation $x$ into the wedge, define

$$\mathcal A(O_x)=\mathcal M\cap \operatorname{Ad}U(x)(\mathcal M'), \qquad \Xi(x):\mathcal M\to\mathcal H, \quad \Xi(x)A=\Delta^{1/4}U(x)A\Omega.$$

Here $O_x$ is the double cone cut out by two opposite wedges and $\Delta$ is the modular operator of $(\mathcal M,\Omega)$. If $\Xi(x)$ is nuclear, the inclusion is split and the intersection is nontrivial with a cyclic vacuum. Regularity supplies the complex-rapidity margin used to estimate the $n$-particle components of $\Xi(x)$; factorial and exponential bounds then make the nuclear norms summable. Lechner proves nuclearity for sufficiently large splitting distance for regular $S_2$, and for every positive distance in the class with $S_2(0)=-1$ Lechner 2008, Definition 3.3 and Theorems 5.6 and 5.8, pp. 837, 848–851.

Thus translations of $\mathcal A(O_x)$ form a nontrivial local Poincaré-covariant net in $1+1$ dimensions. In the same pole-free scalar class, collision theory proves asymptotic completeness and identifies the scattering operator with the input factorizing matrix Lechner 2008, Proposition 6.2 and Theorem 6.3, pp. 854–856. These are distinct theorem steps: regular strip analyticity gives the estimate; modular nuclearity gives compact-localized observables; scattering analysis gives completeness and the S-matrix identification.

First application: one explicit regular factorizing model

Choose the sinh-Gordon-type scattering function

$$S_2(\theta)= \frac{\sinh\theta-i\sin(\pi B)} {\sinh\theta+i\sin(\pi B)}, \qquad 0<B<1.$$

For real $\theta$, numerator and denominator are conjugate, so $|S_2(\theta)|=1$. Since $\sinh(i\pi-\theta)=\sinh\theta$, crossing gives $S_2(i\pi-\theta)=S_2(\theta)$. The denominator’s nearest zeros determine a positive strip margin away from the physical strip for fixed $B$ in the regular regime, and $S_2(0)=-1$. These checks place the model in the class for which the all-positive-distance nuclearity theorem applies. The wedge algebra therefore has nontrivial double-cone intersections; the exact scattering function is then recovered by the separate collision theorem. This is the rigorous construction behind the factorized-scattering hypotheses, not an inference from bootstrap consistency alone.

An independent check is the free limit of the relations. Setting $S_2=1$ changes the exchange law to bosonic symmetry and the wedge field to a free scalar field. Compact local algebras are already known there, but that observation cannot substitute for the nuclearity proof at nontrivial $S_2$; it only verifies the normalization and exchange convention.

A distinct dynamical C*-algebra theorem

Buchholz and Fredenhagen start instead with abstract unitaries $S_L(F)$ labelled by compactly supported real functionals. They impose causal factorization and a dynamical relation implementing field shifts relative to a scalar Lagrangian $L$, then take the C*-completion of the resulting group algebra. Local subalgebras are generated by labels supported in $O$. The relations yield isotony, locality, covariance for invariant $L$, and nontriviality; localized interactions are related by relative S-operators Buchholz and Fredenhagen 2020, §§3–5, pp. 953–966.

This is a genuine non-formal C*-algebra. Its theorem does not automatically supply a vacuum, spectrum condition, particle interpretation, or a representation realizing a chosen interacting four-dimensional scalar model. Those become state and representation problems. Nor is this abstract C*-algebra asserted to be the norm completion of the formal pAQFT algebra. The two constructions share causal ideas but have different objects and proof obligations.

Adversarial test: remove the regularity strip

Choose an $S_2$ satisfying real-line unitarity and physical-strip crossing but with singularities arbitrarily close to a boundary, so that no larger bounded strip exists. The contour argument may still prove wedge locality, yet the analytic margin in the nuclear-norm estimate is gone. The correct conclusion is then: a Borchers triple and wedge-local model have been constructed; nontriviality of double-cone intersections by this theorem is unproved.

The converse failure is concrete:

$$\text{wedge locality}\;\not\Longrightarrow\; \mathcal M\cap\operatorname{Ad}U(x)(\mathcal M')\ne\mathbb C1.$$

One must find a replacement phase-space estimate, strengthen the scattering-function hypotheses, or leave compact localization open.

Exercises

1. Verify real-line unitarity. Prove $S_2(\theta)S_2(-\theta)=1$ for the displayed function and real $\theta$.

Solution

Because $\sinh(-\theta)=-\sinh\theta$, the numerator of $S_2(-\theta)$ is minus the denominator of $S_2(\theta)$ and its denominator is minus the numerator. Their product is one. For real $\theta$ this is also $|S_2(\theta)|^2=1$.

2. Identify the missing implication. A proposed construction proves only $[\phi(f),\phi'(g)]=0$ for opposite-wedge supports. What additional map must be controlled to conclude compact-localized observables exist by the theorem above?

Solution

It must prove nuclearity of $\Xi(x):A\mapsto\Delta^{1/4}U(x)A\Omega$ for the required wedge translation. Opposite-wedge commutation establishes wedge locality but gives no nontriviality statement for the intersection.

References

• Buchholz, Detlev, and Klaus Fredenhagen. “A C*-Algebraic Approach to Interacting Quantum Field Theories.” Communications in Mathematical Physics 377 (2020): 947–969. DOI; Open preprint.
• Lechner, Gandalf. “Construction of Quantum Field Theories with Factorizing S-Matrices.” Communications in Mathematical Physics 277 (2008): 821–860. DOI; Open manuscript.