Factorizing S-Matrices, Wedge-Local Fields, and Borchers Constructions

In massive $1+1$-dimensional integrable QFT, a suitable scalar two-particle scattering function can be turned into Zamolodchikov–Faddeev operators and polarization-free fields localized in wedges. Those fields define a Borchers triple. Bounded double-cone algebras arise as intersections of opposite wedge algebras only after a separate nontriviality argument, commonly modular nuclearity. Real-axis unitarity alone is not enough: strip analyticity and crossing are used directly in the wedge-commutator proof.

Required background. Scattering Analyticity, Crossing, and Rigorous Bounds supplies the analytic claim domain. Haag–Kastler Nets and Locality supplies the target net, and Isotony, Additivity, Duality, and Primitive Causality supplies wedge intersections and commutants.

Helpful background. Elasticity, Factorization, and Their Hypotheses supplies the many-particle factorization step. Exact S-Matrix Bootstrap, CDD Freedom, and Completeness supplies the physical scattering candidates and their nonuniqueness.

From a scattering function to wedge fields

Consider one neutral scalar particle of mass $m>0$. A scattering function $S_2$ is assumed bounded and analytic in $0<\operatorname{Im}\zeta<\pi$, continuous on the boundary, and to obey, for real $\theta$,

$$S_2(\theta)S_2(-\theta)=1, \qquad \overline{S_2(\theta)}=S_2(-\theta), \qquad S_2(i\pi-\theta)=S_2(\theta).$$

Lechner’s regular class additionally extends boundedly and analytically to a larger strip $-\kappa<\operatorname{Im}\zeta<\pi+\kappa$ for some $\kappa>0$. This pole-free scalar setup excludes bound-state residues; models with poles require modified fields and hypotheses.

The $S_2$-symmetrized Fock space carries creation and annihilation distributions satisfying the Zamolodchikov–Faddeev relations, including

$$z^*(\theta_1)z^*(\theta_2) = S_2(\theta_1-\theta_2) z^*(\theta_2)z^*(\theta_1).$$

These relations encode the factorized collision exchange Zamolodchikov and Zamolodchikov 1979, §§ 2–3, pp. 257–269. On the finite-particle domain define

$$\phi(f)=z^*(f^+)+z(f^-).$$

Except when $S_2=1$, this field is not point-local. Reflect it by the TCP operator to obtain $\phi'$. If $f$ is supported in the left wedge and $g$ in the right wedge, analytic continuation through the physical strip and crossing cancel the ZF exchange factor, giving strong commutativity of the self-adjoint exponentials. This is relative wedge locality Lechner 2008, § 3, Theorem 3.2 and equations (3.38)–(3.43), pp. 832–837.

The Borchers triple and bounded regions

Let

$$\mathfrak M = \{e^{i\overline{\phi(f)}}:\operatorname{supp}f\subset W_L\}'',$$

let $U$ be the positive-energy translation representation, and let $\Omega$ be the Fock vacuum. With the corresponding translation half-sided inclusion, $(\mathfrak M,U,\Omega)$ is a Borchers triple: $\Omega$ is cyclic and separating for $\mathfrak M$, the translation spectrum lies in $\overline V_+$, and translations into the appropriate wedge act by endomorphisms of $\mathfrak M$.

For a double cone represented as an intersection of translated opposite wedges, define

$$\mathfrak A(O_{a,b}) = \operatorname{Ad}U(a)(\mathfrak M) \cap \operatorname{Ad}U(b)(\mathfrak M').$$

Wedge locality makes this assignment local, but the intersection could still be only $\mathbb C1$. For regular $S_2$, Lechner proves modular nuclearity and cyclicity for sufficiently large double cones; if additionally $S_2(0)=-1$, the proof reaches every positive splitting distance Lechner 2008, Definition 3.3, p. 837; Theorems 5.6 and 5.8, pp. 848–851. This is the extra existence step. The general theory of modular and nuclearity conditions belongs to the next chapter.

This chain has three different statuses. The $S_2$-symmetrized Hilbert space and ZF operators are explicit constructions. Relative wedge locality is a theorem using the physical-strip hypotheses. Nontrivial compact localization is a later theorem using modular nuclearity. None of these statements says that every bootstrap solution is realized, that the fields are point-local, or that a Lagrangian with the same formal amplitude has been constructed.

First application: the sinh-Gordon scattering function

Exact S-Matrix Bootstrap, CDD Freedom, and Completeness supplies the sinh-Gordon two-particle amplitude and explains why bootstrap consistency alone is not yet a local construction.

For $0<b<\pi$, take

$$S_2^{\mathrm{ShG}}(\theta) = \frac{\sinh\theta-i\sin b} {\sinh\theta+i\sin b}.$$

It has unit modulus on the real axis, obeys crossing because $\sinh(i\pi-\theta)=\sinh\theta$, and is regular with $S_2(0)=-1$. The corresponding ZF operators give $\phi$ and its reflected partner $\phi'$. For $\operatorname{supp}f\subset W_L$ and $\operatorname{supp}g\subset W_R$,

$$\left[e^{i\overline{\phi(f)}}, e^{i\overline{\phi'(g)}}\right]=0.$$

The contour shift uses the very strip and crossing identity just checked. Modular nuclearity then makes the double-cone intersections nontrivial, and collision theory identifies the resulting local Haag–Kastler model’s scattering operator with the prescribed factorizing matrix in the scalar, pole-free class Lechner 2008, Proposition 6.2 and Theorem 6.3, pp. 854–855.

Failure test: an arbitrary unitary phase

Let $S_2(\theta)=e^{ih(\theta)}$ on the real line with real odd $h$. This gives real-axis unitarity, but an arbitrary $h$ need not extend analytically to the physical strip or obey crossing. The ZF exchange relations can still be written formally; however, the contour in the opposite-wedge commutator cannot be shifted, and the unwanted exchange term need not cancel.

The strongest surviving conclusion is a real-axis factorized scattering algebra. Wedge locality, a Borchers triple, nonzero double-cone algebras, and a local QFT each require their own additional hypotheses.

Independent checks

Before constructing operators, test unitarity, hermitian analyticity, crossing, and all poles in and near the closed physical strip. Next verify the ZF relations on the finite-particle core. Finally evaluate the reflected-wedge commutator twice: algebraically before contour deformation and after the proposed shift. Equality of the two expressions checks that no pole was crossed and that the crossing factor has the correct orientation.

Exercises

Verify unitarity and crossing for $S_2^{\mathrm{ShG}}$.

Solution

For real $\theta$, replacing $\theta$ by $-\theta$ changes both occurrences of $\sinh\theta$ by a sign, so

$$S_2(-\theta)=\frac{\sinh\theta+i\sin b}{\sinh\theta-i\sin b}=S_2(\theta)^{-1}=\overline{S_2(\theta)}.$$

Also $\sinh(i\pi-\theta)=\sinh\theta$, hence $S_2(i\pi-\theta)=S_2(\theta)$. These identities do not alone prove regularity; the pole locations must be checked separately.

References

• Lechner, Gandalf. “Construction of Quantum Field Theories with Factorizing S-Matrices.” Communications in Mathematical Physics 277 (2008): 821–860. DOI; Open PDF.
• Zamolodchikov, Alexander B., and Al. B. Zamolodchikov. “Factorized S-Matrices in Two Dimensions as the Exact Solutions of Certain Relativistic Quantum Field Theory Models.” Annals of Physics 120 (1979): 253–291. DOI.