Abstract
We construct explicit examples of halfsided modular inclusions \(\mathcal {N}\subset \mathcal {M}\) of von Neumann algebras with trivial relative commutants. After stating a general criterion for triviality of the relative commutant in terms of an algebra localized at infinity, we consider a second quantization inclusion \(\mathcal {N}\subset \mathcal {M}\) with large relative commutant and construct a oneparameter family \(\mathcal {N}_\kappa \subset \mathcal {M}_\kappa \), \(\kappa \ge 0\), of halfsided inclusions such that \(\mathcal {N}_0=\mathcal {N}\), \(\mathcal {M}_0=\mathcal {M}\) and \(\mathcal {N}_\kappa '\cap \mathcal {M}_\kappa =\mathbb {C}1\) for \(\kappa >0\). The technique we use is an explicit deformation procedure (warped convolution), and we explain the relation of this result to the construction of chiral conformal quantum field theories on the real line and on the circle.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the operatoralgebraic approach to quantum field theory [Haa96, Ara99], models of quantum field theories on a spacetime \({\mathscr {M}}\) are described by assigning to open regions \(\mathcal {O}\subset {\mathscr {M}}\) von Neumann algebras \(\mathcal {A}(\mathcal {O})\) that act on a common Hilbert space and are subject to various interrelated inclusion, commutation, covariance, and spectral properties. While this setup implements the physical principles underlying quantum field theory clearly and rigorously, it is usually difficult to find examples of models that satisfy the axioms and are nontrivial. This is especially the case if “nontrivial” is understood to mean that the considered quantum field theory should describe particles with nontrivial interaction.
In view of this problem, several researchers have considered indirect descriptions of quantum field theories by simpler data. A possible point of view is to fix one of the local algebras \(\mathcal {M}=\mathcal {A}(\mathcal {O}_0)\), typically isomorphic [BFD87] to the unique hyperfinite factor of type III\({}_1\) [Haa87] and then aim at constructing the net \(\mathcal {O}\mapsto \mathcal {A}(\mathcal {O})\) of all local algebras with the help of group actions, generating von Neumann algebras, and relative commutants – see [BW92, GLW98, BL04, BLS11, Tan14, BJM21] for various implementations of this and related ideas.
In these approaches, it is often of central importance to make sure that the relative commutant of an inclusion \(\mathcal {A}(\mathcal {O})\subset \mathcal {A}({\tilde{\mathcal {O}}})\) is large in some sense or at least nontrivial. However, such an analysis of relative commutants of von Neumann algebras is often a delicate problem as there are basically no means to directly construct any of its elements. Moreover, the inclusions encountered in quantum field theory are not of the form typically studied in operator algebras: The algebras involved are type III\({}_1\) factors, and usually no meaningful notion of index or conditional expectation exists. It is therefore important to find manageable examples in which the structure of the relative commutant can be determined.
In this article we investigate quantum field theories on one of the simplest spacetimes, namely the real line \({{\mathscr {M}}}=\mathbb {R}\), to be thought of as a chiral half of a conformal field theory on a light ray \(\mathbb {R}\subset \mathbb {R}^2\). Such QFTs are closely related to socalled halfsided modular inclusions of von Neumann algebras (Definition 2.1) which, under favourable circumstances, encode the full structure of the field theory. As we will recall in Sect. 2, halfsided modular inclusions \(\mathcal {N}\subset \mathcal {M}\) (or, equivalently, onedimensional Borchers triples) can be grouped into three broad families (A), (B), (C) according to the size of their relative commutant \(\mathcal {N}'\cap \mathcal {M}\). Here case (C) corresponds to triviality of the relative commutant \(\mathcal {N}'\cap \mathcal {M}=\mathbb {C}\). Whereas examples of case (A) and (B) are long since known, the first example of a singular (case (C)) inclusion was found only very recently by Longo, Tanimoto, and Ueda with methods from free probability [LTU19].
The main purpose of this article is to give new examples of singular halfsided inclusions that can be analyzed in detail. To do so, we proceed as follows: In Sect. 3, we give a general criterion for determining case (C) which is based on the algebra localized at the point at infinity of the net \(\mathcal {A}\) associated with the inclusion \(\mathcal {N}\subset \mathcal {M}\) (Definition 2.3), and quite simple in its own right (Proposition 3.4).
In Sect. 4, we introduce our examples. The starting point of our strategy is a second quantization halfsided modular inclusion \(\mathcal {N}\subset \mathcal {M}\), described in terms of simpler “oneparticle” data (an irreducible standard pair) and corresponding Weyl operators. In Sect. 4.1 we perturb a set of generating Weyl operators in a particular and explicit manner depending on a deformation parameter \(\kappa \ge 0\). These deformed operators define halfsided inclusions \(\mathcal {N}_\kappa \subset \mathcal {M}_\kappa \) that coincide with the original second quantized situation for \(\kappa =0\). Our main result is Theorem 4.3, stating that for any \(\kappa >0\), these inclusions have trivial relative commutant.
Our method is put into a broader context in Sect. 4.2. We explain how our initial inclusion can be viewed as arising from a free “bulk QFT” on \(\mathbb {R}^2\) by restriction to a light ray. The deformed inclusion then amounts to carrying out a warped convolution deformation [BLS11] in \(\mathbb {R}^2\) and restrict the resulting QFT back to the light ray.
In Sect. 4.3 we prove Theorem 4.3. This is done by verifying the criterion developed in Sect. 3, which amounts to controlling certain weak limits \(\mathop {{{\,\mathrm{wlim}\,}}}\limits _{t\rightarrow \infty }\sigma _t(S)\) of operators S localized away from \(0\in \mathbb {R}\) under the modular group \(\sigma _t\) of \(\mathcal {M}\) w.r.t. the vacuum vector. We proceed in two steps, first analyzing such limits for unbounded field operator polynomials (Theorem 4.5), and then for bounded operators (Theorem 4.6). Our conclusions and an outlook are presented in Sect. 5.
2 Three Types of HalfSided Modular Inclusions
Definition 2.1
A halfsided modular inclusion is an inclusion of two von Neumann algebras \(\mathcal {N}\subset \mathcal {M}\) on a Hilbert space \(\mathcal {H}\) with a vector \(\Omega \) that is cyclic and separating for both \(\mathcal {N}\) and \(\mathcal {M}\) and such that the modular group \(\sigma _t={{\,\mathrm{ad}\,}}\Delta ^{it}\) of \((\mathcal {M},\Omega )\) acts on \(\mathcal {N}\) according to \(\sigma _t(\mathcal {N})\subset \mathcal {N}\) for all \(t\le 0\).
Definition 2.2
A onedimensional Borchers triple \((\mathcal {M},T,\Omega )\) consists of a von Neumann algebra \(\mathcal {M}\) on a Hilbert space \(\mathcal {H}\), a strongly continuous unitary oneparameter group T with positive generator \({\mathrm {P}}\), and a unit vector \(\Omega \in \mathcal {H}\) such that

a)
\(\Omega \) is cyclic and separating for \(\mathcal {M}\), and \(T(x)\Omega =\Omega \) for all \(x\in \mathbb {R}\),

b)
\(T(x)\mathcal {M}T(x)^{1}\subset \mathcal {M}\) for \(x\ge 0\).
We recall that in the situation of a onedimensional Borchers triple \((\mathcal {M},T,\Omega )\), Borchers’ Theorem [Bor92] asserts that
where \(J,\Delta \) are the modular data of \((\mathcal {M},\Omega )\). Thus T extends to a (anti)unitary representation U of the affine group G of \(\mathbb {R}\) (the “\(ax+b\) group”).
As a consequence of (2.1), the inclusion \(\mathcal {N}:=T(1)\mathcal {M}T(1)\subset \mathcal {M}\) is halfsided modular. Conversely, given a halfsided modular inclusion \((\mathcal {N}\subset \mathcal {M},\Omega )\), there exists a strongly continuous unitary oneparameter group T such that \((\mathcal {M},T,\Omega )\) is a onedimensional Borchers triple, and \(\mathcal {N}=T(1)\mathcal {M}T(1)\) [Wie93, AZ05]. We will therefore use the terms halfsided modular inclusion and onedimensional Borchers triple interchangeably to describe this structure. In addition to \(\mathcal {N},\mathcal {M},\Omega ,T,U\), we will constantly use the notations
To avoid confusion, we also emphasize that the modular data \(\Delta ,J\) will always be the ones of \((\mathcal {M},\Omega )\), so that no further subscript like \(\Delta _\mathcal {M}\) will be necessary.
We will ask in addition that the vacuum vector \(\Omega \) is uniquely characterized (up to multiples) by the condition that it is invariant under T, namely \({\text {ker}}{\mathrm {P}}=\mathbb {C}\Omega \). We will refer to this condition as “uniqueness of the vacuum”. In this case, \(\mathcal {M}\) is a factor, more specifically a type III\({}_1\) factor [Lon79, Wie93] (disregarding the trivial case \({\text {dim}}\mathcal {H}=1\)).
The physical interpretation of these data is as follows: \(\Omega \) denotes the vacuum state of a chiral half of a conformal QFT on a light ray, and T corresponds to translations along that light ray. The algebra \(\mathcal {M}\) is generated by all observables localized in the right half ray \(\mathbb {R}_+ \) as expressed by the halfsided invariance under translations in Definition 2.2. Similarly, the commutant \(\mathcal {M}'\) contains the observables localized in the left half ray \(\mathbb {R}_\). Observables localized in bounded intervals \(I\subset \mathbb {R}\) (We denote the set of all open bounded intervals \(I\subset \mathbb {R}\) by \(\mathcal {I}\)) can be extracted from this setting by forming appropriate relative commutants.
Definition 2.3
Let \((\mathcal {N}\subset \mathcal {M},\Omega )\) be a halfsided modular inclusion with associated representation T of \(\mathbb {R}\). For bounded intervals \((a,b)\subset \mathbb {R}\), we define
and call the resulting map \(\mathcal {I}\ni I\mapsto \mathcal {A}(I)\subset \mathcal {B}(\mathcal {H})\) from bounded intervals of \(\mathbb {R}\) to von Neumann algebras in \(\mathcal {B}(\mathcal {H})\) the local net associated with \((\mathcal {N}\subset \mathcal {M},\Omega )\).
As is well known, the local net \(I\mapsto \mathcal {A}(I)\) associated with any halfsided modular inclusion has many physically relevant properties: (i) It is a net, i.e. preserves inclusions, (ii) it is local in the sense that \(\mathcal {A}(I_1)\) and \(\mathcal {A}(I_2)\) commute if the intervals \(I_1\) and \(I_2\) are disjoint, and (iii) it is covariant in the sense that
The data \((\mathcal {A}(I))_{I\in \mathcal {I}},U,\Omega \) are therefore quite close to satisfying all axioms of chiral conformal field theory [Lon08]. However, while it is clear from the definition that \(\Omega \) is separating for any \(\mathcal {A}(I)\), \(I\in \mathcal {I}\), it is in general not cyclic. Since the selfadjoint elements of \(\mathcal {A}(I)\) are interpreted as the observables measurable in I, this is a point that needs to be investigated carefully.
As a rough notion of “size” of the local observable content, we define the local subspace as
The following statement is well known but of crucial importance here, so we briefly recall its (ReehSchlieder type) proof (see, for example [BLM11, Lemma 5.1]).
Lemma 2.4
The subspace (2.5) is independent of the choice of interval \(I\in \mathcal {I}\).
Proof
We will show that for an arbitrary interval \(I\in \mathcal {I}\), a vector \(\Psi \perp \mathcal {A}(I)\Omega \) satisfies \(\Psi \perp \mathcal {A}({\tilde{I}})\Omega \) for all \({\tilde{I}}\in \mathcal {I}\); this implies the claim.
Having fixed I and \(\Psi \) in this manner, pick \(I_0\subset I\) such that \(\overline{I_0}\subset I\), so that \(f(x):=\langle \Psi ,T(x)A\Omega \rangle \), \(A\in \mathcal {A}(I_0)\), vanishes for small enough x. Since the generator of T is positive, f analytically continues to the complex upper half plane. Hence, by the edge of the wedge theorem, \(f(x)=0\) for all x, i.e. \(\Psi \perp \mathcal {A}(I_0+x)\Omega \) for all \(x\in \mathbb {R}\). Choosing x such that \(I_0+x=(0,a)\) for some \(a>0\), we next consider \(g(t):=\langle \Psi ,\Delta ^{it}B\Omega \rangle \), \(B\in \mathcal {A}(0,a)\). As the modular group acts by dilations, we have \(\sigma _t(\mathcal {A}(0,a))=\mathcal {A}(0,e^{2\pi t}a)\subset \mathcal {A}(0,a)\) for \(t>0\); this yields \(g(t)=0\) for \(t>0\). On the other hand, \(\mathcal {A}(0,a)\subset \mathcal {M}\) implies that the vector \(B\Omega \) lies in the domain of \(\Delta ^{1/2}\). Hence g has an analytic extension to the strip \(\frac{1}{2}<{\text {Im}}t<0\), and we may again apply the edge of the wedge theorem to conclude \(g(t)=0\) for all t.
As any interval \({\tilde{I}}\) arises from \(I_0\) by dilation and translation, the claim follows. \(\square \)
We denote the orthogonal projection onto \({\mathcal H}_\mathrm{loc}\) by \(P_\mathrm{loc}\). Note that we always have \(\Omega \in {\mathcal H}_\mathrm{loc}\), so the projection \(P_{\Omega }\) onto \(\mathbb {C}\Omega \) is always a subprojection of \(P_\mathrm{loc}\). Each halfsided inclusion therefore belongs to exactly one of the following three cases:
 (A):

The standard case: \(P_\mathrm{loc}=1\).^{Footnote 1}
 (B):

The intermediate case: \(P_{\Omega }\lneq P_\mathrm{loc}\lneq 1\).
 (C):

The singular case: \(P_\mathrm{loc}=P_{\Omega }\).
As the algebra \(\mathcal {A}((0,1))\) of the unit interval (0, 1) coincides with the relative commutant \(\mathcal {N}'\cap \mathcal {M}\) of \(\mathcal {N}\subset \mathcal {M}\), and \({\mathcal H}_\mathrm{loc}=\overline{\mathcal {A}((0,1))\Omega }\), the three cases can also be described in terms of \(\mathcal {N}'\cap \mathcal {M}\). Namely, the standard case (A) is equivalent to \(\mathcal {N}'\cap \mathcal {M}\) having \(\Omega \) as a cyclic vector, the intermediate case (B) is equivalent to \(\mathcal {N}'\cap \mathcal {M}\ne \mathbb {C}1\) being nontrivial but not having \(\Omega \) as a cyclic vector, and the singular case (C) is equivalent to \(\mathcal {N}'\cap \mathcal {M}=\mathbb {C}1\) being trivial, i.e. the inclusion \(\mathcal {N}\subset \mathcal {M}\) being singular.
 (A):

From the point of view of applications to conformal quantum field theory, the standard case (A) is the desired situation. In this case, U extends to a strongly continuous representation of the Möbius group PSL\((2,\mathbb {R})\) and \(\mathcal {A}\) can be formulated as a net on the unit circle which transforms covariantly under this Möbius action. Indeed, Guido, Longo, and Wiesbrock have shown that there is a bijection between (isomorphism classes of) standard (case (A)) halfsided modular inclusions and strongly additive local conformal nets on the circle [GLW98, Cor. 1.9]. Many examples of case (A) are known, for instance halfsided inclusions generated by chiral Wightman fields and all halfsided inclusions arising from second quantization of standard pairs (see Sect. 4).
 (B):

The intermediate case (B) is closely related to the standard case (A). In fact, since the algebras \(\mathcal {A}(I)\), \(I\in \mathcal {I}\), and the Grepresentation U leave \({\mathcal H}_\mathrm{loc}\) invariant, one can in case (B) restrict all data to \({\mathcal H}_\mathrm{loc}\) and then obtain a standard onedimensional Borchers triple
$$\begin{aligned} \mathcal {M}_\mathrm{loc} := \bigvee _{I\in \mathcal {I},I\subset \mathbb {R}_+}\mathcal {A}(I)_{{\mathcal H}_\mathrm{loc}} \subset \mathcal {B}({\mathcal H}_\mathrm{loc}),\qquad T_\mathrm{loc} := T_{{\mathcal H}_\mathrm{loc}}, \qquad \Omega . \end{aligned}$$(2.6)The above comments about case (A) apply to the triple \((\mathcal {M}_\mathrm{loc}, T_\mathrm{loc},\Omega )\) on \({\mathcal H}_\mathrm{loc}\) without changes.
Several examples of case (B) are known, see for example [BLM11]. Further examples can be constructed by taking tensor products of case (A) and (C).
 (C):

From the point of view of quantum field theory, the singular case (C) is pathological as it describes a net without any (nontrivial) local observables. In case (C), \(\mathcal {N}\subset \mathcal {M}\) is an irreducible subfactor coming from a halfsided modular inclusion.
Only very recently a first example of case (C) has been found: Longo, Tanimoto, and Ueda [LTU19] use methods of free probability to construct singular halfsided modular inclusions.
Summarizing the above discussion, it is known that all three cases occur. However, there exist also many undecided examples for which it is currently unclear to which of the cases (A),(B),(C) they belong. For example, the short distance scaling limits of integrable quantum field theories considered in [BLM11] fall into two infinite families (+) and (−) depending on the sign of the limit of the scattering function at infinite rapidity transfer. Examples from family (+) could be of case (A), (B), or (C), and examples from family (−) could be of case (B) or (C), but in all but two special examples, the exact case is not known. In field theories with several particle species and internal degrees of freedom the spectrum of possibilities is even much wider [Sco].
Given the similarity of cases (A) and (B), it is therefore an important question to develop tools that allow to decide whether a given halfsided inclusion is singular or not.
As mentioned before, halfsided modular inclusions with unique vacuum are examples of type III\({}_1\) subfactors which do not allow for the application of wellknown techniques for investigating their relative commutant. For instance, such a subfactor does not allow for a normal conditional expectation \(\mathcal {M}\rightarrow \mathcal {N}\), and no meaningful notion of index exists. These inclusions can also never be split [DL84] so that the ideas relating to modular compactness/nuclearity [BDL90, BL04] do not apply here. This lack of tools explains the many undecided examples.
3 HalfSided Inclusions and the Algebra at Infinity
Our condition for detecting the singular case \(\mathrm{(C)} \) is based on the notion of an algebra at infinity, familiar from the study of quasilocal algebras [BR87]. For our purposes, the right definition is the following.
Definition 3.1
Let \((\mathcal {N}\subset \mathcal {M},\Omega )\) be a halfsided modular inclusion and \(\mathcal {A}\) its associated local net. Its algebra at infinity is the von Neumann algebra
Equivalent formulations of the algebra at infinity are
Indeed, since \(\alpha _x(\mathcal {M})\vee \alpha _{x}(\mathcal {M}')=\mathcal {A}(I_x)'\), where \(I_x=(x,x)\), \(x>0\), we have the inclusion \(\subset \) at the first equality sign, and the opposite inclusion follows by isotony. By Borchers’ Theorem, we have \(\sigma _t(\mathcal {N}\vee J\mathcal {N}J)=\sigma _t(\alpha _1(\mathcal {M})\vee \alpha _{1}(\mathcal {M}'))=\alpha _{e^{2\pi t}}(\mathcal {M})\vee \alpha _{e^{2\pi t}}(\mathcal {M}')\), which implies the last formula for \({\mathscr {A}_\infty }\).
It is instructive to compare \({\mathscr {A}_\infty }\) with the algebras at left/right infinity, namely
If the vacuum is unique, one always has \( {\mathscr {A}_\infty }_\mathrm{right}={\mathscr {A}_\infty }_\mathrm{left}=\mathbb {C}1\) because the translations act trivial on them [Lon84]. The algebra \({\mathscr {A}_\infty }\) at (left and right) infinity can however be large:
Proposition 3.2
Let \((\mathcal {N}\subset \mathcal {M},\Omega )\) be a halfsided modular inclusion with algebra at infinity \({\mathscr {A}_\infty }\). The following are equivalent:

(a)
\(\mathcal {N}\subset \mathcal {M}\) is singular (case (C)), i.e. \(P_\mathrm{loc}=P_{\Omega }\).

(b)
\({\mathscr {A}_\infty }=\mathcal {B}(\mathcal {H})\).

(c)
\(P_{\Omega }\in {\mathscr {A}_\infty }\).
Proof
a) \(\Rightarrow \) b) In the singular case (C), we have \(\mathcal {A}(I)'=(\mathbb {C}1)'=\mathcal {B}(\mathcal {H})\) for all \(I\in \mathcal {I}\) and therefore \({\mathscr {A}_\infty }=\mathcal {B}(\mathcal {H})\). b) \(\Rightarrow \) c) is trivial. For c) \(\Rightarrow \) a) we take \(A\in \mathcal {A}((0,1))=\mathcal {N}'\cap \mathcal {M}\). Then \(P_{\Omega }\in \mathcal {A}((0,1))'\), i.e. \(A\Omega =AP_{\Omega }\Omega =P_{\Omega }A\Omega =\omega (A)\Omega \). Since \(\Omega \) separates \(\mathcal {A}((0,1))\), we get \(A=\omega (A)1\) and hence a). \(\square \)
Every element \(X\in {\mathscr {A}_\infty }\) can be understood as an obstruction to the existence of local observables \(A\in \mathcal {A}(I)\) because A has to commute with X.
We next discuss how to obtain elements of \({\mathscr {A}_\infty }\). The idea is to consider an operator \(A\in \mathcal {N}\vee J\mathcal {N}J\), i.e. localized in \((\infty ,1]\cup [1,\infty )\), and scale it with the modular group to operators \(\sigma _t(A)\) localized in \((\infty ,e^{2\pi t}]\cup [e^{2\pi t},\infty )\). In the limit \(t\rightarrow \infty \) we then obtain elements of \({\mathscr {A}_\infty }\).
Before we explain this further, let us recall that the uniqueness of the vacuum implies the weak limits
This is the case because as a consequence of the representation theory of G, the restrictions of the selfadjoint generators \({\mathrm {P}}\) and \(\log \Delta \) to the orthogonal complement \(P_{\Omega }^\perp \mathcal {H}\) of \(\mathbb {C}\Omega \) have purely absolutely continuous spectrum, see e.g. [Lon08]. The limits (3.4) then follow by application of the RiemannLebesgue Lemma.
Lemma 3.3
Let \(A\in \mathcal {N}\vee J\mathcal {N}J\) be such that \(\sigma _t(A)\) converges weakly to \(L\in \mathcal {B}(\mathcal {H})\) as \(t\rightarrow \infty \). Then a) \(L\in {\mathscr {A}_\infty }\), b) \([L,\Delta ^{it}]=0\) for all \(t\in \mathbb {R}\), c) \(L\Omega =\omega (A)\Omega \).
Proof

a)
At fixed \(t\in \mathbb {R}\), we have \(\sigma _{t}(A)\in \sigma _{t}(\mathcal {N}\vee J\mathcal {N}J)=\alpha _{e^{2\pi t}}(\mathcal {M})\vee \alpha _{e^{2\pi t}}(\mathcal {M}')=:\mathcal {M}_{t}\). Since \(\mathcal {M}_{t}\subset \mathcal {M}_{s}\) for \(t<s\), the weak limit L is an element of \(\bigcap _{t<0}\mathcal {M}_{t}={\mathscr {A}_\infty }\).

b)
By assumption, \(\sigma _t(A)\rightarrow L\) weakly as \(t\rightarrow \infty \). Thus also \(\sigma _{t+s}(A)\rightarrow L\) weakly. But \(\sigma _{t+s}(A)=\Delta ^{is}\sigma _t(A)\Delta ^{is}\rightarrow \sigma _s(L)\) as \(t\rightarrow \infty \), so \(\sigma _s(L)=L\) follows.

c)
By assumption, \(\sigma _t(A)\rightarrow L\) weakly as \(t\rightarrow \infty \), and hence \(\Delta ^{it}A\Omega =\sigma _t(A)\Omega \rightarrow L\Omega \) weakly. But on the other hand, \(\Delta ^{it}A\Omega \rightarrow P_{\Omega }A\Omega =\omega (A)\Omega \) by (3.4). Thus \(L\Omega =\omega (A)\Omega \).
\(\square \)
By the BanachAlaoglu Theorem, the bounded sequence \(\sigma _t(A)\), \(t\rightarrow \infty \), has weak limit points. So the above lemma could be reformulated in terms of weak limit points to avoid the assumption of existence of the weak limit. However, for us the above form will be sufficient.
Our criterion for singular inclusions now follows by combining Proposition 3.2 and Lemma 3.3.
Proposition 3.4
Let \((\mathcal {N}\subset \mathcal {M},\Omega )\) be a halfsided modular inclusion with unique vacuum. The following are equivalent:

a)
\(\mathcal {N}\subset \mathcal {M}\) is singular (case (C)).

b)
There exists \(T\in \mathcal {N}\vee J\mathcal {N}J\) such that \(T\Omega \ne 0\) and \(\mathop {{{\,\mathrm{slim}\,}}}\limits _{t\rightarrow \infty }T\Delta ^{it}\) exists.

c)
There exist \(S\in \mathcal {N}\vee J\mathcal {N}J\) such that
$$\begin{aligned} \mathop {{{\,\mathrm{wlim}\,}}}\limits _{t\rightarrow \infty }\sigma _t(S)=P_{\Omega }. \end{aligned}$$(3.5)
Proof
a) \(\Rightarrow \) b) If \(\mathcal {N}\subset \mathcal {M}\) is singular, we have \(\mathcal {N}\vee J\mathcal {N}J=\mathcal {B}(\mathcal {H})\) and hence we may choose \(T=P_{\Omega }\) to satisfy the assumptions in b).
b) \(\Rightarrow \) c) Let \(L\in \mathcal {B}(\mathcal {H})\) denote the strong limit of \(T\Delta ^{it}\) as \(t\rightarrow \infty \). Then in particular \(T\Delta ^{it}\rightarrow L\) weakly. But \(\Delta ^{it}\rightarrow P_{\Omega }\) weakly, so we conclude \(L=TP_{\Omega }\). This implies \(\sigma _t(T^*T)=(T\Delta ^{it})^*\cdot T\Delta ^{it}\rightarrow L^*L=P_{\Omega }T^*TP_{\Omega }=\Vert T\Omega \Vert ^2P_{\Omega }\) weakly. Since \(T\Omega \ne 0\) by assumption, we may consider \(S=T^*T/\Vert T\Omega \Vert ^2\) which satisfies the assumption in c).
c) \(\Rightarrow \) a) The weak limit \(\mathop {{{\,\mathrm{wlim}\,}}}\limits _{t\rightarrow \infty }\sigma _t(S)=P_{\Omega }\) lies in \({\mathscr {A}_\infty }\) by Lemma 3.3, which implies a) by Proposition 3.2. \(\square \)
In the next section, we will give examples of halfsided modular inclusions which we will demonstrate to be singular by verifying Proposition 3.4 c).
4 Second Quantization Inclusions and Their Deformations
4.1 Definition of the deformed and undeformed inclusions
In this section we describe the particular halfsided modular inclusions that we will investigate. Our starting point is a standard subspace version of a Borchers triple, namely a nondegenerate standard pair \((T_1,H)\) [LW11].
Definition 4.1
A standard pair \((T_1,H)\) on a complex Hilbert space \(\mathcal {H}_1\) consists of

a)
a closed real subspace \(H\subset \mathcal {H}_1\) that is standard, namely cyclic in the sense that \(H+iH\) is dense in \(\mathcal {H}\), and separating in the sense \(H\cap iH=\{0\}\),

b)
a strongly continuous unitary oneparameter group \(T_1(x)=e^{ix{\mathrm {P}}_1}\) with positive nonsingular generator \({\mathrm {P}}_1>0\), \({\text {ker}}{\mathrm {P}}_1 =\{0\}\),
such that
As is well known, a standard pair gives rise to a halfsided modular inclusion / onedimensional Borchers triple by second quantization. Namely, consider the Bose Fock space \(\mathcal {H}\) over \(\mathcal {H}_1\) with its canonical vacuum vector \(\Omega \) and Weyl unitaries V(h), \(h\in \mathcal {H}_1\). Then the von Neumann algebra
the second quantized representation \(T(x)=e^{ix{\mathrm {P}}}\), \({\mathrm {P}}=\Gamma ({\mathrm {P}}_1)\), and the Fock vacuum \(\Omega \) form a onedimensional Borchers triple \((\mathcal {M}(H),T,\Omega )\) with unique vacuum. It is known that such triples always belong to the standard case (A) (see [LL15, Proposition 2.3], related to [BGL02, Thm. 4.5]). The modular data \(\Delta ,J\) of \((\mathcal {M}(H),\Omega )\) arise from the modular data \(\Delta _1,J_1\) of H (defined by polar decomposition of \(S_1:H+iH\rightarrow H+iH,h+ih\mapsto hih\)) by second quantization. The commutant of \(\mathcal {M}(H)\) is \(\mathcal {M}(H)'=\mathcal {M}(H')\), where \(H'=\{\psi \in \mathcal {H}_1\,:\,{\text {Im}}\langle \psi ,h\rangle =0\,\forall h\in H\}=J_1H\) is the symplectic complement of H [LRT78].
A standard pair \((T_1,H)\) is called irreducible iff the Grepresentation generated by the oneparameter groups \(T_1(x)\) and \(\Delta ^{it}\) is irreducible. In this case, the pair is unique up to unitary equivalence and can be presented in the form [LL15, p. 40, case (i)]
with standard subspace [LL15, Lemma 4.1]
Here \(\mathbb H^2(\mathbb S_\pi )\) denotes the Hardy space on the strip \(\mathbb S_\pi =\{\zeta \in \mathbb {C}\,:\,0<{\text {Im}}\zeta <\pi \}\), namely all those \(\psi \in L^2(\mathbb {R})\) that are boundary values of analytic functions \(\psi :\mathbb S_\pi \rightarrow \mathbb {C}\) with \(\sup _{0<\lambda<\pi }\int _\mathbb {R}\psi (\theta +i\lambda )^2d\theta <\infty \). The modular data of H are
It should be noted that elements in H can be obtained from real functions on \(\mathbb {R}_+\) by Fourier transform, namely the map
carries \(C_{c,\mathbb {R}}^\infty (\mathbb {R}_+)\) into a dense subspace of H,
We now explain the structure of the deformed versions of \((\mathcal {M},T,\Omega )\) which will depend on a real deformation parameter \(\kappa \). To that end, we introduce explicit generating operators on Fock space \(\mathcal {H}\). In the following, \(\mathcal {D}\subset \mathcal {H}\) will always denote the dense subspace of finite particle number, and for \(\Psi \in \mathcal {H}\), its nparticle component will be denoted \(\Psi _n\), \(n\in \mathbb {N}\).
Given \(\kappa \in \mathbb {R}\) and \(\psi \in \mathcal {H}_1\) we define an annihilation type operator by [GL07]
For \(\kappa =0\), the operator \(a_0(\psi )\) reduces to the familiar Bose annihilation operator. The reason for the exponential factors \(e^{i\kappa \sinh (\theta \theta _k)}\) in (4.8) will be explained below.
We then define a field operator as
which is a welldefined closable operator on \(\mathcal {D}\) depending linearly on \(\xi \). Let us recall the following facts [Lec12]:

\(\varphi _\kappa (h)\) is essentially selfadjoint on \(\mathcal {D}\) for \(h\in H\). (The selfadjoint closure will be denoted by the same symbol.)

For \(\kappa \ge 0\), we have \([e^{i\varphi _\kappa (h)},e^{i\varphi _{\kappa }(h')}]=0\) for all \(h\in H\), \(h'\in H'\).

\(U(x,t)\varphi _\kappa (\xi )U(x,t)^{1}=\varphi _\kappa (U_1(x,t)\xi )\) for any \(x\ge 0\) and any \(t\in \mathbb {R}\).

\(J\varphi _\kappa (\xi )J=\varphi _{\kappa }(J_1\xi )\).

\(\Omega \) is cyclic for the algebra of all polynomials in \(\varphi _\kappa (h)\), \(h\in H\).
These structures are summarized in the following proposition.
Proposition 4.2
Let \(\kappa \ge 0\) and
Then \((\mathcal {M}_\kappa ,T,\Omega )\) is a onedimensional Borchers triple with unique vacuum on the Bose Fock space \(\mathcal {H}\) over \(\mathcal {H}_1\). For \(\kappa =0\) we have \(\mathcal {M}_0=\mathcal {M}(H)\), the second quantization of the irreducible standard pair \((H,T_1)\).
In the following, we will use a subscript \(\kappa \) to refer to the “deformed” von Neumann algebra \(\mathcal {M}_\kappa \), its subalgebra \(\mathcal {N}_\kappa =T(1)\mathcal {M}_\kappa T(1)\), algebra at infinity \({\mathscr {A}_\infty }_\kappa \), local subspace \({{\mathcal H}_\mathrm{loc}}_\kappa \), etc. Note, however, that independently of \(\kappa \), we are always working on the same Hilbert spaces \(\mathcal {H}_1\) and \(\mathcal {H}\), using the same vacuum vector \(\Omega \) and the same standard subspace H.
By definition, the translations T(x) are the same for all \((\mathcal {N}_\kappa \subset \mathcal {M}_\kappa ,\Omega )\), \(\kappa \ge 0\). We remark that also the modular data of \((\mathcal {M}_\kappa ,\Omega )\) are independent of \(\kappa \), and that the commutant of \(\mathcal {M}_\kappa \) is given by [BLS11]
Our main result is the following theorem.
Theorem 4.3
Consider the family of onedimensional Borchers triples \((\mathcal {M}_\kappa ,T,\Omega )\), \(\kappa \ge 0\), defined in (4.10). For \(\kappa =0\), this inclusion is standard (case (A)), and for any \(\kappa >0\), this inclusion is singular (case (C)).
This results highlights that despite the properties that the triples \((\mathcal {M}_\kappa ,T,\Omega )\) share for all \(\kappa \ge 0\), there are also essential differences between the undeformed \((\kappa =0)\) and deformed (\(\kappa >0\)) cases. Not only are the von Neumann algebras \(\mathcal {M}_\kappa \) not of second quantization form for \(\kappa >0\), but their local subspaces \({{\mathcal H}_\mathrm{loc}}_\kappa \) and relative commutants \({\mathcal {N}_\kappa }'\cap \mathcal {M}_\kappa \) depends on \(\kappa \) in a “discontinuous” manner. Whereas the triple for \(\kappa =0\) describes a (chiral half of) a local QFT, the local observable content becomes trivial for \(\kappa >0\).
It is also interesting to consider this situation from the point of view of the representations of the affine and Möbius groups. In the situation encountered here, the modular data \(\Delta ,J\) of \((\mathcal {M}_\kappa ,\Omega )\) are independent of the deformation parameter \(\kappa \). So the representation U of G (“\(ax+b\) group”) extends to a representation \(\hat{U}_0\) of the Möbius group under which the net \(\mathcal {A}_0\) associated with \((\mathcal {N}_0\subset \mathcal {M}_0,\Omega )\) transforms covariantly; this extension can be realized with the modular data of \(\mathcal {A}_0(I)\), \(I\in \mathcal {I}\). But the net associated with \((\mathcal {N}_\kappa \subset \mathcal {M}_\kappa ,\Omega )\), \(\kappa >0\), is trivial, in particular \({\hat{U}}_0(g)\) does not map \(\mathcal {M}_\kappa \) onto \(\mathcal {A}_\kappa ((0,1))\) for \(g(x)=\frac{1}{x+1}\). Hence, contrary to a statement sometimes found in the literature, extension of G to a Möbius group representation is not sufficient for the existence of local observables – one also has to ensure that the extended representation acts correctly on the net.
This circle of ideas might connect to ongoing research relating modular theory of standard subspaces and representation theory [NÓ17, NÓ21].
4.2 Twodimensional nets and warped convolution
In this subsection we describe the deformations from a different perspective that highlights their structural properties and explains the formula (4.8). The main point is that we may view the onedimensional Borchers triple \((\mathcal {M}(H),T,\Omega )\) also as a twodimensional one. This point of view will give us sufficient room to work with a deformation scheme (warped convolution) that requires a suitable action of \(\mathbb {R}^2\), see also [Tan12, LST13] for related constructions.
By definition, every onedimensional Borchers triple \((\mathcal {M},T,\Omega )\) comes with a representation T of the onedimensional translation group that acts according to \(T(x)\mathcal {M}T(x) \subset \mathcal {M}\) for \(x\ge 0\) (Definition 2.2). In comparison, a twodimensional Borchers triple \((\mathcal {M},\underline{T},\Omega )\) is defined as a von Neumann algebra \(\mathcal {M}\) with standard vector \(\Omega \) and a unitary representation \(\underline{T}\) of the twodimensional translation group, such that \(\Omega \) is invariant under \(\underline{T}\),
and both oneparameter groups \(\underline{T}(x,0)\) and \(\underline{T}(0,y)\) have positive generators.
The parameters x, y should be thought of as the light ray coordinates of vectors \(\xi \in \mathbb {R}^2\), namely \(x=\xi _\), \(y=\xi _+\) with \(\xi _\pm =\frac{1}{2}(\xi _0\pm \xi _1)\), where \(\xi _0\) is the temporal and \(\xi _1\) the spatial coordinate of \(\xi \). Then \(\underline{T}\) is a positive energy representation and the inequalities \(x>0,y<0\) describe the right wedge in \(\mathbb {R}^2\), namely \(W_R=\{\xi \in \mathbb {R}^2\,:\,\pm \xi _\pm >0\}\).
Clearly, any twodimensional Borchers triple is also a onedimensional one by setting \(T(x):=\underline{T}(x,0)\). Conversely, a onedimensional Borchers triple is also a twodimensional one by making the trivial choice \(\underline{T}(x,y):=T(x)\).
For onedimensional Borchers triples \((\mathcal {M},T,\Omega )\) arising from second quantization of standard pairs \((H,T_1)\), there exist however always nontrivial extensions of T to a representation \(\underline{T}\) of \(\mathbb {R}^2\). In [LW11, Cor. 2.5], all strongly continuous oneparameter groups \({\tilde{T}}_1(y)\) commuting with \(T_1(x)\) and satisfying \({\tilde{T}}_1(y)H\subset H\) for \(y\le 0\) have been classified. These oneparameter groups include in particular^{Footnote 2}
where \({\mathrm {P}}_1\) is the generator of \(T_1\), and \(m^2\ge 0\) a parameter with the interpretation of mass square. We remark that (4.13) are the only possibilities with positive generator in case \((H,T_1)\) is irreducible: In fact, assuming that the generator \({\tilde{{\mathrm {P}}}}_1\) of \({\tilde{T}}_1\) is positive, Borchers’ commutation relations imply that the product \({\mathrm {P}}_1{\tilde{{\mathrm {P}}}}_1\) commutes with U and is thus a multiple of the identity by irreducibility.
Since the value of \(m^2>0\) in (4.13) plays no role for our investigations, we will set it to \(m^2=1\).
In the case of the presentation (4.4) of the irreducible standard pair, \({\tilde{T}}_1\) takes the form
and we can summarize our discussion as follows.
Lemma 4.4

a)
The unitary \(\mathbb {R}^2\)representation on \(L^2(\mathbb {R},d\theta )\) given by^{Footnote 3}
$$\begin{aligned} (\underline{T}_1(\xi )\psi )(\theta ) = e^{ip(\theta )\cdot \xi }\psi (\theta ),\qquad \xi \in \mathbb {R}^2,\qquad p(\theta ):=(\cosh \theta ,\sinh \theta ) \end{aligned}$$(4.15)has positive energy and satisfies
$$\begin{aligned} \underline{T}_1(\xi )H\subset H,\qquad \xi \in W_R. \end{aligned}$$(4.16)It is related to \(T_1\) by \(\underline{T}_1(\xi )=T_1(\xi _)\tilde{T}_1(\xi _+)\), where \(\xi _\pm =\frac{1}{2}(\xi _0\pm \xi _1)\).

b)
The second quantization von Neumann algebra \(\mathcal {M}(H)\) (4.2), the second quantization \(\underline{T}\) of \(\underline{T}_1\), and the Fock vacuum \(\Omega \) form a twodimensional Borchers triple.
Proof
a) Formula (4.15) follows from (4.14) by using light ray coordinates, and positivity is clear. b) follows immediately from a) by second quantization. \(\square \)
In the setting of a twodimensional Borchers triple, \(\underline{T}(\xi )\), \(\xi \in \mathbb {R}^2\) and \(\Delta ^{it}\), \(t\in \mathbb {R}\), generate a representation of the Poincaré group \(\mathcal {P}\) on twodimensional Minkowski space \(\mathbb {R}^2\). The oneparameter group of Lorentz boosts in \(\mathcal {P}\) will be denoted \(\Lambda _t\), i.e. \((\Lambda _t\xi )_\pm =e^{\pm t}\xi _\pm \).
Once we are in a situation of a twodimensional Borchers triple \((\mathcal {M},\underline{T},\Omega )\), we are in position to apply the warped convolution deformation [BLS11]. This is a deformation procedure for two (or higher) dimensional Borchers triples based on a deformation of smooth operators \(A\in \mathcal {B}(\mathcal {H})\). Here we call an operator \(A\in \mathcal {B}(\mathcal {H})\) smooth if the functions \(x\mapsto \underline{T}(x)A \underline{T}(x)\) are smooth in the norm topology of \(\mathcal {B}(\mathcal {H})\). A vector \(\Psi \in \mathcal {H}\) is called smooth if \(x\mapsto \underline{T}(x)\Psi \) is smooth in the norm topology of \(\mathcal {H}\).
Choosing a real \((2\times 2)\) matrix Q that is antisymmetric w.r.t. the Minkowski inner product, i.e. necessarily of the form
for some \(\kappa \in \mathbb {R}\), one then considers the integral expression (for smooth A and \(\Psi \))
Interpreted in an oscillatory sense, this integral defines a map \(A_\kappa :\mathcal {H}^\infty \rightarrow \mathcal {H}^\infty \) that can be extended to a bounded operator, still denoted \(A_\kappa \). It is easy to see that \(A_0=A\) and \(A_\kappa \Omega =A\Omega \); for further properties we refer to [BLS11].
In the context of the Borchers triple \((\mathcal {M},\underline{T},\Omega )\), one then defines
Note that as \(A\mapsto A_\kappa \) is not an algebra homomorphism, this algebra contains also elements that are not of the form \(B_\kappa \), \(B\in \mathcal {M}\).
By exploiting the positivity of the joint spectrum \(S\subset \mathbb {R}^2\) of the generators of \(\underline{T}\) one can then show: If \(Q_\kappa S\) lies in the right wedge \(W_R\), then \(\Omega \) is standard for \(\mathcal {M}_\kappa \). This condition is equivalent to \(\kappa \ge 0\) and explains this restriction on the parameter in Proposition 4.2. Furthermore, one can show that the commutant of \(\mathcal {M}_\kappa \) is given by the opposite deformation of the commutant of \(\mathcal {M}\) (4.11). Since the action of the translations on deformed operators \(A_\kappa \) is easy to control, it then follows that also \((\mathcal {M}_\kappa ,\underline{T},\Omega )\) is a Borchers triple [BLS11].
The initial deformation formula (4.8) for the annihilation operator \(a_\kappa (\xi )\) amounts to using the representation \(\underline{T}\) in the warped convolution and checking \(a_\kappa (\xi )=a_0(\xi )_\kappa \). The exponential factors involving \(\sinh \) appear in (4.8) because
We also recall that elements of H can be generated from test functions on \(\mathbb {R}^2\), completing the twodimensional picture. Namely, the maps
generate H according to
The operatorvalued distribution \(\phi _0\) on \(\mathbb {R}^2\) defined by
is nothing but the free scalar Klein Gordon field of unit mass on twodimensional Minkowski space; it coincides with \(\varphi _0(f^+)\) for \(f\in C_{c,\mathbb {R}}(W_R)\). For any \(\kappa \ge 0\), the operators \(\phi _\kappa (f)\), \(f\in C_c^\infty (W_R)\), are affiliated with \(\mathcal {M}_\kappa \).
To summarize, the definition (4.10) amounts to considering the free KleinGordon field in two dimensions, performing a warped convolution deformation with parameter \(Q_\kappa \), and restricting the deformed quantum field theory to the light ray. For physical interpretations of such a light ray holography (in a somewhat different context), see for instance [Sch02]. It should also be noted that the deformed field theory (and related models, including models in higher dimensions) are interacting in the sense of having a nontrivial Smatrix; see [GL07] for twoparticle scattering and [Due18, Due19] for an analysis of nparticle scattering.
4.3 Analysis of the deformed inclusions
This section is devoted to the proof of Theorem 4.3 by verifying the weak limit criterion in Proposition 3.4 c), namely the existence of \(S\in {\mathcal {N}_\kappa }\vee J\mathcal {N}_\kappa J\) such that \(\sigma _t(S)\rightarrow P_{\Omega }\) weakly as \(t\rightarrow \infty \). We will proceed in two steps: In a first step, we will consider field polynomials as an unbounded analogue of S, and prove a corresponding limit formula by investigating their correlation functions. In the second step, we will pass to bounded S.
In preparation for the first step we recall Wightman type properties of the fields \(\phi _\kappa \), \(\kappa \in \mathbb {R}\), see [GL08] for details.
We will use the vectors \(\Psi (F)\), \(F\in {\mathscr {S}}((\mathbb {R}^2)^n)\), that are defined by linear and continuous extension (kernel theorem) of \(\Psi (f_1\otimes \ldots \otimes f_n):=\phi _0(f_1)\cdots \phi _0(f_n)\Omega \), \(f_1,\ldots ,f_n\in {\mathscr {S}}(\mathbb {R}^2)\). On these vectors, \(\phi _\kappa \) acts according to [Sol08, GL08]
where the deformed tensor product \(\otimes _\kappa \) between two test functions \(G\in {\mathscr {S}}(\mathbb {R}^{2m})\), \(F\in {\mathscr {S}}(\mathbb {R}^{2n})\), \(n,m\in \mathbb {N}\), is defined in Fourier space by
For \(\kappa =0\), this reduces to the ordinary tensor product \(\otimes =\otimes _0\). For every \(\kappa \in \mathbb {R}\), the deformed tensor product \(\otimes _\kappa \) is an associative continuous product on the tensor algebra over \({\mathscr {S}}(\mathbb {R}^2)\) which is Poincarécovariant in the sense
While translation covariance is obvious from (4.24), covariance under boosts \(\Lambda _t\) follows because \(Q_\kappa \) is boost invariant [GL07].
As a consequence of translation covariance of \(\otimes _\kappa \) and translation invariance of the vacuum state, we have in particular
We also recall that the vacuum state is given by npoint functions the structure of which is fixed by Wick’s Theorem. Namely, we have
where \(F^*(x_1,\ldots ,x_n)=\overline{F(x_n,\ldots ,x_1)}\) and the npoint function \(W_n\in {\mathscr {S}}'(\mathbb {R}^{2n})\) is best described by its Fourier transform
Here the twopoint function is given by, \(p=(p^0,p^1),q=(q^0,q^1)\in \mathbb {R}^2\)
The sum \(\sum _{(\lambda ,\mu )}\) in (4.28) runs over all partitions \((\lambda ,\mu )\) of \(\{1,\ldots ,n\}\) into \(\frac{n}{2}\) disjoint pairs \((\lambda _k,\mu _k)\), \(k=1,\ldots ,n/2\), with \(\lambda _k<\mu _k\). We will refer to the partitions \((\lambda ,\mu )=\{(\lambda _1,\mu _1),\ldots ,(\lambda _{n/2},\mu _{n/2})\}\) and their parts \((\lambda _k,\mu _k)\) as contractions. Given an orthogonal projection P, we will also use the standard notation \(P^\perp =1PP^\perp \).
Theorem 4.5
Let \(\kappa \ne 0\). Let X be a polynomial in the field operators \(\phi _\kappa (f)\), \(f\in {\mathscr {S}}(\mathbb {R}^2)\) and \(Y'\) a polynomial in the field operators \(\phi _{\kappa }(g)\), \(g\in {\mathscr {S}}(\mathbb {R}^2)\). Then, for any vectors \(\Psi ,\Psi '\) of finite particle number, we have
Proof
As the left and right hand sides of (4.30) are linear in X and \(Y'\), it is sufficient to consider field monomials, namely
where \(n,m\in \mathbb {N}_0\), and the functions \(f_1,\ldots ,f_n,g_1,\ldots ,g_m\in C_c^\infty (\mathcal {R}^2)\) are arbitrary.
Furthermore, it is sufficient to consider vectors \(\Psi ,\Psi '\) that are not only of finite particle number but also in the Wightman domain \(\mathcal {D}_W\) of the undeformed field \(\phi _0\), namely
where \(l\in {\mathscr {S}}(\mathbb {R}^{2a})\), \(r\in {\mathscr {S}}(\mathbb {R}^{2b})\), and \(a,b\in \mathbb {N}_0\) are arbitrary.
Since the intersection \(\mathcal {D}_W\cap \mathcal {H}_k\) with any kparticle space is dense in \(\mathcal {H}_k\), and \(\sigma _t(XY')\) is uniformly bounded on \(\mathcal {H}_k\), it follows that (4.30) holds for arbitrary finite particle number vectors \(\Psi ,\Psi '\) if we can establish it for \(\Psi ,\Psi '\) of the form (4.32).
In the interest of a compact formula for the scalar product \(\langle \Psi ',\sigma _t(XY')\Psi \rangle \) in question (4.30), we introduce shorthand notations for the following Schwartz functions:
as well as \(f^\kappa =f^{\kappa ,0},g^{\kappa }=g^{\kappa ,0}\). With these notations, we may repeatedly apply (4.23), the associativity of \(\otimes _\kappa \), and (4.26), to get
For odd \(N:=n+m+a+b\), (4.33) vanishes. By distinguishing a few even/odd cases it is easy to see that in this case, the right hand side of (4.30) also vanishes. For example, \(\langle \Psi ',\Omega \rangle \langle \Omega ,\Psi \rangle \omega (XY')\) can only be nonzero if \(n+m\), a, and b are all even, which is incompatible with N being odd; and similar for the other terms in the right hand side of (4.30).
For even N, (4.33) equals a sum over contractions, namely
The exponential terms originate from the deformed tensor products (4.24), and as a shorthand notation, we have introduced the sums of the momenta \(p_k\in \mathbb {R}^2\) appearing in the four functions,
For any contraction \((\lambda ,\mu )\), the above integrand goes to zero pointwise as \(t\rightarrow \pm \infty \). The tdependence of the integrals \(W_{(\lambda ,\mu )}(t)\) depends however on the structure of \((\lambda ,\mu )\), so that we have to distinguish a few different cases.
To this end, we introduce the index sets
corresponding to variables of \({\tilde{l}}\), \({\tilde{f}}^\kappa \), \(\tilde{g}^{\kappa }\), and \({\tilde{r}}\), respectively.

(I)
A contraction \((\lambda ,\mu )\) is of type (I) if there exists \(k\in \{1,\ldots ,N/2\}\) such that either \(\lambda _k\) or \(\mu _k\) (but not both) lie in \(\mathcal {I}(l)\cup \mathcal {I}(r)\). In this case, the contraction connects a variable of \({\tilde{f}}^\kappa \) or \({\tilde{g}}^{\kappa }\) to a variable of \({\tilde{l}}\) or \({\tilde{r}}\).

(II)
A contraction \((\lambda ,\mu )\) is of type (II) if it is not of type (I) and if for all \(k\in \{1,\ldots ,N/2\}\), the statement \(\lambda _k\in \mathcal {I}(f)\) is equivalent to \(\mu _k\in \mathcal {I}(f)\). Then also \(\lambda _k\in \mathcal {I}(g)\) is equivalent to \(\mu _k\in \mathcal {I}(g)\). In this case, we call the contraction \((\lambda _k,\mu _k)\) f internal and g internal, respectively.

(III)
A contraction \((\lambda ,\mu )\) is of type (III) if it is not of type (I) or type (II), and if there exists \(k\in \{1,\ldots ,N/2\}\) such that \(\lambda _k\in \mathcal {I}(l)\) and \(\mu _k\in \mathcal {I}(r)\). In this case, \((\lambda ,\mu )\) connects \({\tilde{f}}^\kappa \) and \({\tilde{g}}^{\kappa }\), and also \({\tilde{l}}\) and \({\tilde{r}}\), but there are no contractions between \({\tilde{l}},{\tilde{r}}\) and \({\tilde{f}}^\kappa ,{\tilde{g}}^{\kappa }\) as in type (I).

(IV)
A contraction \((\lambda ,\mu )\) is of type (IV) if it is not of type (I), (II), or (III). In this case \((\lambda ,\mu )\) connects \({\tilde{f}}^\kappa \) and \({\tilde{g}}^{\kappa }\), but all variables of \({\tilde{l}}\) are contracted amongst themselves, and likewise for \({\tilde{r}}\).
Clearly these cases are mutually exclusive and exhaust all possibilities.
(I) Beginning our analysis of the four cases, we claim that
In this case, the exponential factors \(e^{ip(l)\cdot Q_\kappa p(f)}e^{ip(g)\cdot Q_\kappa p(r)}\) in (4.34) are irrelevant and we may estimate (4.34) by triangle inequality. After carrying out all integrations over the delta distributions in the twopoint functions \(\tilde{W}_2(p,q)=\varepsilon (p^1)^{1}\delta (p^0\varepsilon (p^1))\delta (p+q)\), setting the momenta \(p_{\lambda _k}\), \(k=1,\ldots ,N/2\), equal to \(p_{\mu _k}\) and restricting the \(p_{\mu _k}\) to the upper mass shell, i.e. constraining them to the form \(p_{\mu _k}=(\varepsilon (p_{\mu _k}^1),p_{\mu _k}^1)\), we may then substitute \(\sinh \theta _k:=p_{\mu _k}^1\), \(dp_{\mu _k}^1/d\theta _k=\varepsilon (p_{\mu _k}^1)\). Since the boosts \(\Lambda _t\) act by shifts in the rapidities \(\theta _k\), this shows that we have
where \(F\in {\mathscr {S}}(\mathbb {R}^N)\) is a Schwartz function, \(\varvec{\theta }\), \(\varvec{\theta }'\), \(\varvec{\theta }''\), and \(\varvec{\theta }'''\) are the rapidity transforms of the variables of \({\tilde{l}}\), \({\tilde{f}}^\kappa \), \({\tilde{g}}^{\kappa }\), and \(\tilde{r}\), respectively, and the shorthand notations \(\varvec{\theta }'t := (\theta _1't,\ldots ,\theta _n't)\) and \(\varvec{\theta }''t := (\theta _1''t,\ldots ,\theta _m''t)\) have been introduced.
We now estimate F in terms of Schwartz seminorms in order to obtain
Here the first product arises from those contractions \((\lambda _k,\mu _k)\) that link tdependent and tindependent variables; by the type (I) assumption this product is not empty. The second product arises from those contractions \((\lambda _k,\mu _k)\) that link either two tindependent or two tdependent variables. In the above form, it is then clear that dominated convergence can be applied, and we arrive at the claimed limit \(\mathop {\lim }\limits _{t\rightarrow \pm \infty }W_{(\lambda ,\mu )}(t)=0\).
(II) We move on to type (II) contractions, and claim that in this case \(W_{(\lambda ,\mu )}(t)\) does not depend on t.
By definition of type (II), all variables of \({\tilde{f}}^\kappa \) are contracted amongst themselves, and likewise for \(\tilde{g}^{\kappa }\). In view of the energy momentum delta distributions \(\delta (p+q)\) in the twopoint function, in this case we observe that on the support of \(\prod _{k=1}^{N/2}\tilde{W}_2(p_{\lambda _k},p_{\mu _k})\), the sums p(f) and p(g) (4.35) vanish. Thus the exponential terms in (4.34) drop out and the integrand becomes a factor of three functions in independent variables: a) \(\tilde{l}(p_1,\ldots ,p_a){\tilde{r}}(p_{a+n+m+1},\ldots ,p_N)\), b) \(\tilde{f}^\kappa (\Lambda _t p_{a+1},\ldots ,\Lambda _t p_{a+n})\), and c) \(\tilde{g}^{\kappa }(\Lambda _t p_{a+n+1},\ldots ,\Lambda _t p_{a+n+m})\). In view of the structure of a type (II) contraction, also \(\prod _{k=1}^{N/2}\tilde{W}_2(p_{\lambda _k},p_{\mu _k})\) splits in the same manner so that \(W_{(\lambda ,\mu )}(t)\) factors into a product of three integrals. Now the substitutions \(p_j\mapsto \Lambda _{t}p_j\) in the integrals over \({\tilde{f}}^\kappa \) and \({\tilde{g}}^{\kappa }\) eliminate all tdependence, i.e. \(W_{(\lambda ,\mu )}(t)\) is given by
By this factorization, the sum over all type (II) contractions decomposes into a product of three sums, running over all contractions of \(\mathcal {I}(l)\cup \mathcal {I}(r)\), \(\mathcal {I}(f)\), and \(\mathcal {I}(g)\), respectively.
According to Wick’s Theorem, the first sum (contractions of \(\mathcal {I}(l)\cup \mathcal {I}(r)\)) coincides with \(\omega (\phi _0(l)\phi _0(r))=\langle \Psi (l^*),\Psi (r)\rangle =\langle \Psi ',\Psi \rangle \). The contractions of \(\mathcal {I}(f)\) sum to \(W_n(f^\kappa )=\omega (\phi _\kappa (f_1)\cdots \phi _\kappa (f_n))=\omega (X)\), and analogously the contractions of \(\mathcal {I}(g)\) sum to \(\omega (Y')\).
Hence we obtain
(III) We claim
The initial part of the following arguments works for both, type (III) and type (IV). As there are no contractions connecting \(\tilde{f}^\kappa ,{\tilde{g}}^{\kappa }\) with \({\tilde{l}},{\tilde{r}}\) for these types, we can again remove the tdependence in the variables of \({\tilde{f}}^\kappa \) and \({\tilde{g}}^{\kappa }\) by substituting \(p_j\mapsto \Lambda _{t}p_j\). This substitution does not introduce tdependence in the variables of \({\tilde{l}}\) and \({\tilde{r}}\), but only in the exponentials, resulting in the factor \(\exp (ip(l)\cdot Q_\kappa \Lambda _{t}p(f))\exp (i\Lambda _{t}p(g)\cdot Q_\kappa p(r))\). Since all variables \(p_k\) with \(k\in \mathcal {I}(f)\cup \mathcal {I}(g)\) are contracted amongst themselves, we have \(p(f)+p(g)=0\) and \(p(l)+p(r)=0\) on the support of the delta distributions. Taking into account the antisymmetry of \(Q_\kappa \), this simplifies the exponential factor to \(\exp (2ip(l)\cdot Q_\kappa \Lambda _{t}p(f))\).
After these remarks, we switch again to rapidity parameterization as for type (I) and obtain
Here \(L\in {\mathscr {S}}(\mathbb {R}^{(a+b)/2})\) arises from \({\tilde{l}}\otimes {\tilde{r}}\) by rapidity parameterization and identifying variables via integration of delta distributions (hence only half of the original \(a+b\) many variables remain). The function \(F\in {\mathscr {S}}(\mathbb {R}^{(n+m)/2})\) arises from \({\tilde{f}}^{\kappa }\otimes {\tilde{g}}^{\kappa }\) in the same way.
The exponential factor \(\prod _{j,k}e^{2i\kappa \sinh (\theta _j\theta _k'+t)}\) in (4.39) is obtained from the previously described \(\exp (2ip(l)Q\Lambda _{t}p(f))\) as follows: First we note that contractions \((\lambda _k,\mu _k)\) that are finternal (i.e. \(\{\lambda _k,\mu _k\}\subset \mathcal {I}(f)\)) have the effect that the partial summand \(p_{\lambda _k}+p_{\mu _k}=0\) vanishes from p(f) (4.35), and analogously for linternal contractions and p(l). Hence the exponential term takes the form \(\exp (2ip'(l)Q_\kappa \Lambda _{t}p'(f))\), where the primes indicate that the sums (4.35) run only over those momenta that are not removed by linternal or finternal contractions.
As \(p(\theta )\cdot Q_\kappa \Lambda _{t}p(\theta ')=\kappa \sinh (\theta \theta '+t)\), this explains the product \(\prod _{j,k}\) in (4.39) which runs over the remaining not selfcontracted variables.
Since we are not in type (II), at least one such variable of \(\tilde{f}^\kappa \) is contracted with a variable of \({\tilde{g}}^{\kappa }\), i.e. the product over k is not empty.
Now we distinguish between type (III) and (IV). In type (III), the product over j is also not empty (that is, \((\lambda ,\mu )\) connects \({\tilde{l}}\) and \({\tilde{r}}\)). We claim that
To show this, we use a RiemannLebesgue type argument and use integration by parts to exploit the oscillatory term \(\prod _{j,k}e^{2i\kappa \sinh (\theta _j\theta '_k+t)}\); this is the point were \(\kappa \ne 0\) enters the proof of the theorem. We pick some j occuring in this product, and rewrite the preceding integral as
Expanding the derivatives and using \(\left \frac{\partial }{\partial \theta _j}\frac{1}{\cosh (\theta _j\theta _k'+t)}\right \le \frac{1}{\cosh (\theta _j\theta _k+t)}\), it is then easy to see that the integrand goes to zero pointwise as \(t\rightarrow \pm \infty \). Since \(\cosh x\ge 1\), we have an integrable majorant and may apply dominated convergence to conclude the claimed limit (4.40).
(IV) Type (IV) contributions are also described by (4.39). But in contrast to type (III), there is no contraction between \({\tilde{l}}\) and \({\tilde{r}}\) in this case, which results in the product \(\prod _{j,k}\) in (4.39) dropping out. So as in type (II), it follows that \(W_{(\lambda ,\mu )}(t)\) is independent of t in type (IV), and the sum over all type (IV) contractions splits into three sums: a) the contractions of all variables of \({\tilde{l}}\), b) the contractions of all variables of \({\tilde{r}}\), and c) the contractions of all variables of \(\tilde{f}^\kappa \) and \({\tilde{g}}^{\kappa }\).
The sum a) yields \(\omega (\phi _0(l_1)\cdots \phi _0(l_a))=\langle \Psi (l^*),\Omega \rangle =\langle \Psi ',\Omega \rangle \), and similarly the sum b) results in \(\langle \Psi (r),\Omega \rangle =\langle \Psi ,\Omega \rangle \).
To evaluate the sum c), note that we are here summing only those contractions between \({\tilde{f}}^\kappa \) and \({\tilde{g}}^{\kappa }\) that are connecting \({\tilde{f}}^\kappa \) and \({\tilde{g}}^{\kappa }\) and not those contractions that are finternal and ginternal. Hence the sum c) yields
and we obtain
Summing all types (I)–(IV), we arrive at
This finishes the proof of the theorem. \(\square \)
It should be noted that the proof of Theorem 4.5 did not use any specific support properties of f and g, i.e. strict localization of the operators \(X,Y'\) was not required. Also we did not only evaluate the limit \(t\rightarrow \infty \), corresponding to scaling points in \(x\in \mathbb {R}\backslash \{0\}\) to \(\infty \) (as in Proposition 3.4), but also the opposite limit \(t\rightarrow +\infty \), which corresponds to scaling x to 0.
We next transfer the limiting behaviour established in Theorem 4.5 to arbitrary (bounded) operators in the von Neumann algebras \(\mathcal {M}_\kappa \), \({\mathcal {M}_\kappa }'\) (4.10).
Theorem 4.6
Consider the Borchers triple \((\mathcal {M}_\kappa ,T,\Omega )\) defined in (4.10) and let \(\kappa >0\). Then, for any \(A\in \mathcal {M}_\kappa \), \(B\in {\mathcal {M}_\kappa }'\),
Remark: Note that by setting \(A=1\) or \(B=1\), (4.41) reproduces \(\sigma _t(A)\rightarrow \omega (A)1\) and \(\sigma _t(B)\rightarrow \omega (B)1\) in accordance with the fact that these limits are contained in the type III\({}_1\) factors \(\mathcal {M}\) and \(\mathcal {M}'\) and fixed points of the modular group, thus trivial.
Proof
As shorthand notations, we will write \(\Psi _A=A\Omega \) and \(P_{AB}=\omega (AB)P_{\Omega }+\omega (A)\omega (B)P_{\Omega }^\perp \) for the expression appearing in (4.41), and similarly for various other operators. Note that \(P_{AB}=\sigma _t(P_{AB})\) is invariant under the modular group.
The idea of the proof is to consider expectation values \(\langle \Psi ',\sigma _t(ABP_{AB})\Psi \rangle \) in special vectors, namely vectors of the form \(\Psi '=\Psi _{L^*}\), \(\Psi =\Psi _R\), where L, R are closed operators affiliated with \({\mathcal {M}_\kappa }'\) (“left”) and \(\mathcal {M}_\kappa \) (“right”), respectively, and with domains such that \(\Omega \in \mathcal {D}(L^*)\cap \mathcal {D}(R)\). As \(\mathcal {M}_\kappa \) and \(\mathcal {M}'_\kappa \) are stable under the modular group, this implies \(\sigma _t(A^*)\Omega \in \mathcal {D}(L^*)\), \(\sigma _t(B)\in \mathcal {D}(R)\), and \(L^*\sigma _t(A^*)\Omega =\sigma _t(A^*)L^*\Omega \), \(R\sigma _t(B)\Omega =\sigma _t(B)R\Omega \), so that we may rewrite the expectation value in question as
This symmetry in the roles of A, B and L, R also holds for the claimed limit \(\langle \Psi ',P_{AB}\Psi \rangle \), namely
Hence
We mention as an aside that this symmetric formula implies that in case the limit (4.41) holds for \(t\rightarrow \infty \), then it also holds for \(t\rightarrow +\infty \), and vice versa.
In a first step, we will choose L, R to be field operator polynomials as in Proposition 4.5, but smeared with test functions supported on the left and right, so that L is affiliated with \({\mathcal {M}_\kappa }'\) and R is affiliated with \({\mathcal {M}_\kappa }\). The operators A, B are taken to be bounded and (for technical reasons) smooth, i.e. \(A\in {\mathcal {M}_\kappa }^\infty \), \(B\in {{\mathcal {M}_\kappa }'}^\infty \). We mention in passing that due to the localization properties of \(\mathcal {M}_\kappa ,{\mathcal {M}_\kappa }'\), the smooth elements of these von Neumann algebras form strongly dense \({}^*\)subalgebras [BLS11]. Generalizing the limit formula (4.30) of Proposition 4.5 to vectors \(\Psi ',\Psi \) that are not necessarily of finite particle number, but rather of the form \(\Psi '=\Psi _{A^*}\), \(\Psi =\Psi _B\), we will show below that the right hand side of (4.42) converges to 0 as \(t\rightarrow \pm \infty \).
Postponing the proof of this part for a moment, let us explain how it implies the conclusion of the theorem. Taking into account (4.42) and the fact that the vectors \(\Psi _{L^*}\), \(\Psi _R\) range over dense subspaces of \(\mathcal {H}\) as L, R vary within the limitations explained above (ReehSchlieder property), and \(\sigma _{t}(ABP_{AB})\), \(t\in \mathbb {R}\), is uniformly bounded in operator norm, the claimed weak limit \(\sigma _t(AB)\rightarrow P_{AB}\) follows immediately for smooth A, B.
To eliminate the assumption of smoothness, we then consider (4.42) once more, this time with smooth A, B as before, and bounded, not necessarily smooth \(L\in {\mathcal {M}_\kappa }'\), \(R\in \mathcal {M}_\kappa \). At this stage we know that the left hand side of (4.42) goes to zero as \(t\rightarrow \pm \infty \), and hence the desired limit \(\langle \Psi _{A^*},\sigma _{t}(LRP_{LR})\Psi _B\rangle \rightarrow 0\) holds (right hand side of (4.42)). But as the smooth subalgebras \({\mathcal {M}_\kappa }^\infty \subset \mathcal {M}_\kappa \) and \({{\mathcal {M}_\kappa }'}^\infty \subset {\mathcal {M}_\kappa }'\) are strongly dense, they have \(\Omega \) as a cyclic vector. Hence the limit carries over to arbitrary vectors on the left and right hand sides of the scalar product, and the proof is finished.
It remains to show that the right hand side of (4.42) converges to 0 for field operator polynomials L, R as in Proposition 4.5 and arbitrary smooth \(A\in {\mathcal {M}_\kappa }^\infty \), \(B\in {\mathcal {M}_\kappa '}^\infty \). To that end, let \(Q_n:=P_0\oplus \ldots \oplus P_n\) denote the orthogonal projection onto the subspace of particle number at most n in our Fock space \(\mathcal {H}\). The projections \(Q_n^\perp \) leave the domain of \(L^*\) invariant, and we may estimate according to
Since L, R are field operator polynomials, they change particle number only by a finite amount, i.e. there exists \(m\in \mathbb {N}\) such that for all \(n\in \mathbb {N},t\in \mathbb {R}\)
The first term contains only vectors of finite particle number on the left and right and therefore converges to 0 as \(t\rightarrow \pm \infty \) by Proposition 4.5. The third term goes to zero as \(n\rightarrow \infty \) because \(Q_n^\perp ,Q_{nm}^\perp \rightarrow 0\) strongly in this limit. Hence it is sufficient to show that the two norms \( \Vert \sigma _t(L^*)Q_n^\perp \Psi _{A^*}\Vert \), \(\Vert \sigma _t(R)Q_{nm}^\perp \Psi _B\Vert \) go to zero as \(n\rightarrow \infty \), uniformly in \(t\in \mathbb {R}\).
At this point, our smoothness assumption on A and B enters. Namely, since A, B are smooth, the vectors \(\Psi _{A^*},\Psi _B\) lie in particular in \(\bigcap _{k\ge 0}\mathcal {D}({\mathrm {P}}_0^k)\), where \({\mathrm {P}}_0\) is the generator of the time translations, i.e. the second quantization of \(\frac{1}{2}({\mathrm {P}}+{\mathrm {P}}^{1})\ge 1\). This implies \({\mathrm {P}}_0\ge N\) (the particle number operator, the second quantization of the identity), and hence \(\Psi _{A^*},\Psi _B\in \bigcap _{k\ge 0}\mathcal {D}(N^k)\). On the other hand, there exists \(k\in \mathbb {N}\) such that \(L^* N^{k}\) and \(RN^{k}\) are bounded because each single field operator \(\phi _{\pm \kappa }(f)\), \(f\in {\mathscr {S}}(\mathbb {R}^2)\), satisfies \(\Vert \phi _{\pm \kappa }(f)N^{1/2}\Vert <\infty \). Choosing k large enough in this manner, and observing that \(Q_n^\perp \) and \(\Delta ^{it}\) commute with N, we can estimate according to
which goes to zero as \(n\rightarrow \infty \), uniformly in t, as required. The second norm \(\Vert \sigma _t(R)Q_{nm}^\perp \Psi _B\Vert \) can be estimated analogously. \(\square \)
To conclude singularity of the relative commutant \(\mathcal {N}_\kappa '\cap \mathcal {M}_\kappa \) from this we need the following simple lemma.
Lemma 4.7
Let \((\mathcal {N}\subset \mathcal {M},\Omega )\) be a halfsided modular inclusion on a Hilbert space \(\mathcal {H}\) of dimension \({\text {dim}}\mathcal {H}>1\). Then \(\omega =\langle \Omega ,\,\cdot \,\Omega \rangle \) is not a product state on \(\mathcal {N}\vee J\mathcal {N}J\).
Proof
Let \(A\in \mathcal {N}\), \(B\in J\mathcal {N}J\). Then also \(\alpha _x(A)\in \mathcal {N}\) for any \(x>0\). If \(\omega \) was a product state, we would therefore have \(\langle A^*\Omega ,T(x)B\Omega \rangle =\omega (\alpha _x(A)B)=\omega (A)\omega (B)=\langle A^*\Omega ,P_{\Omega }B\Omega \rangle \) for \(x>0\). As \(\Omega \) is cyclic for \(\mathcal {N}\) and \(J\mathcal {N}J\), this would imply \(T(x)=P_{\Omega }\), which is only possible if \(P_{\Omega }=1\), i.e. \(\mathcal {H}=\mathbb {C}\Omega \) is onedimensional. \(\square \)
Proof of Theorem 4.3
As recalled earlier, the statement for \(\kappa =0\) is a consequence of the second quantization structure of \(\mathcal {M}_0=\mathcal {M}(H)\). For \(\kappa >0\), we pick \(A\in \mathcal {N}_\kappa \), \(B\in J\mathcal {N}_\kappa J\). According to Lemma 3.3 and Theorem 4.6,
lies in the algebra at infinity. In view of Lemma 4.7, we may choose A, B in such a way that the coefficient \(\omega (AB)\omega (A)\omega (B)\) in front of \(P_{\Omega }\) is not zero. Then
satisfies \(\sigma _t(S)\rightarrow P_{\Omega }\) weakly as \(t\rightarrow \infty \), and Proposition 3.4 c) gives the result. \(\square \)
5 Conclusion and Outlook
After the free product construction of Longo, Tanimoto and Ueda [LTU19], the halfsided inclusions constructed in this paper provide further and arguably simpler examples of singular Borchers triples, giving further insight into the structure of the family of all halfsided modular inclusions.
Although Proposition 3.4 provides a necessary and sufficient condition for a halfsided inclusion to be singular, it seems difficult to use it in order to prove nonsingularity. So the ideas presented here consist first and foremost in a method for constructing “counterexamples” to the preferred standard case (A). However, this method might well inform complementary methods that are designed to exclude the singular case (C), or help settle the status of the various undecided examples.
In this work, it became apparent that halfsided inclusions are very sensitive to deformations and their relative commutant can vary “discontinuously” with a deformation parameter. It also seems likely that there exist many singular halfsided inclusions. In view of the weak limit formula (4.41) that is generic for any \(A\in \mathcal {M}_\kappa \), \(B\in {\mathcal {M}_\kappa }'\), it is not unreasonable to expect that any standard halfsided inclusion \(\Lambda =(\mathcal {N}\subset \mathcal {M},\Omega )\), not necessarily arising from a standard pair by second quantization, can be deformed to a oneparameter family of halfsided inclusions \((\Lambda _\kappa )_{\kappa \ge 0}\) such that^{Footnote 4}\(\Lambda _0=\Lambda \) and \(\Lambda _\kappa \) is singular for every \(\kappa >0\).
Notes
This terminology is justified by the fact that in this case, \(\Omega \) is a standard (cyclic and separating) vector for the relative commutant \(\mathcal {N}'\cap \mathcal {M}=\mathcal {A}(0,1)\), but it is not “standard” in the sense of representing the generic situation.
This is also easily checked directly in case of the standard pair (4.4).
Here, “\(\cdot \)” denotes the Minkowski inner product.
Work in progress.
References
Araki, H.: Mathematical Theory of Quantum Fields. Int. Series of Monographs on Physics, Oxford University Press, Oxford (1999)
Araki, H., Zsido, L.: Extension of the structure theorem of Borchers and its application to halfsided modular inclusions. Rev. Math. Phys. 17, 491–543 (2005)
Buchholz, D., D’Antoni, C., Longo, R.: Nuclear maps and modular structures 2: applications to quantum field theory. Commun. Math. Phys. 129, 115 (1990)
Buchholz, D., Fredenhagen, K., D’Antoni, C.: The universal structure of local algebras. Commun. Math. Phys. 111, 123 (1987)
Brunetti, R., Guido, D., Longo, R.: Modular localization and Wigner particles. Rev. Math. Phys. 14:759–786 (2002). arXiv:0203.021. https://doi.org/10.1142/S0129055X02001387
Barata, J.C.A., Jäkel, C.D., Mund, J.: The \(P(\varphi {})_2\) model on the de Sitter space. to appear in Mem. Am. Math. Soc. (2021). arXiv:1311.2905v1
Buchholz, D., Lechner, G.: Modular nuclearity and localization. Ann. Henri Poincaré 5:1065–1080 (2004). arXiv:0402.072. https://doi.org/10.1007/s0002300401908
Bostelmann, H., Lechner, G., Morsella, G.: Scaling limits of integrable quantum field theories. Rev. Math. Phys. 23, 1115–1156 (2011). https://doi.org/10.1142/S0129055X11004539
Buchholz, D., Lechner, G., Summers, S.J.: Warped convolutions, Rieffel deformations and the construction of quantum field theories. Commun. Math. Phys. 304, 95–123 (2011). https://doi.org/10.1007/s0022001011371
Borchers, H.J.: The CPT theorem in twodimensional theories of local observables. Commun. Math. Phys. 143, 315–332 (1992). https://doi.org/10.1007/BF02099011
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics I. Springer, Berlin (1987)
Baumgärtel, H., Wollenberg, M.: Causal Nets of Operator Algebras. Akademie Verlag (1992)
Doplicher, S., Longo, R.: Standard and split inclusions of von Neumann algebras. Invent. Math. 75, 493–536 (1984)
Duell, M.: Nparticle scattering in relativistic wedgelocal quantum field theory. Commun. Math. Phys. 364:203–232 (2018). arXiv:1711.02569v2. https://doi.org/10.1007/s002200183183z
Duell, M.: Nonlocal methods in Haag–Ruelle scattering theory. PhD thesis, TU Munich (2019). https://mediatum.ub.tum.de/1459296
Grosse, H., Lechner, G.: Wedgelocal quantum fields and noncommutative Minkowski space. JHEP 11:012 (2007). arXiv:0706.3992 [hepth]. https://doi.org/10.1088/11266708/2007/11/012
Grosse, H., Lechner, G.: Noncommutative deformations of wightman quantum field theories. JHEP 09, 131 (2008). https://doi.org/10.1088/11266708
Guido, D., Longo, R., Wiesbrock, H.: Extensions of conformal nets and superselection structures. Commun. Math. Phys. 192:217–244 (1998). arXiv:9703.129. https://doi.org/10.1007/s002200050297
Haagerup, U.: Conne’s bicentralizer problem and uniqueness of the injective factor of type III1. Acta Math. 158(1), 95 (1987). https://doi.org/10.1007/BF02392257
Haag, R.: Local Quantum Physics—Fields, Algebras, Second Edition Particles. Springer, Berlin (1996)
Lechner, G.: Deformations of quantum field theories and integrable models. Commun. Math. Phys. 312(1), 265–302 (2012). https://doi.org/10.1007/s002200111390y
Lechner, G., Longo, R.: Localization in nets of standard spaces. Commun. Math. Phys. 336(1), 27–61 (2015). https://doi.org/10.1007/s0022001421992
Longo, R.: Notes on algebraic invariants for noncommutative dynamical systems. Commun. Math. Phys. 69, 195–207 (1979)
Longo, R.: Solution of the factorial Stone–Weierstraß conjecture. An application of the theory of standard split W*inclusions. Invent. Math. 76:145–155 (1984)
Longo, R.: Lectures on Conformal Nets—Part 1. In Von Neumann algebras in Sibiu, pp. 33–91. Theta (2008). http://www.mat.uniroma2.it/~longo/Lecture_Notes_files/LNPart1.pdf
Leylands, P., Roberts, J.E., Testard, D.: Duality for Quantum Free Fields. Preprint (1978)
Lechner, G., Schlemmer, J., Tanimoto, Y.: On the equivalence of two deformation schemes in quantum field theory. Lett. Math. Phys. 103(4), 421–437 (2013). https://doi.org/10.1007/s1100501205999
Longo, R., Tanimoto, Y., Ueda, Y.: Free products in AQFT. Ann. Inst. Fourier (Grenoble), 3(69):1229–1258 (2019). arXiv:1706.06070
Longo, R., Witten, E.: An algebraic construction of boundary quantum field theory. Commun. Math. Phys. 303(1), 213–232 (2011). https://doi.org/10.1007/s0022001011335
Neeb, K.H., Ólafsson, G.: Antiunitary Representations and Modular Theory, Volume 113 of Banach Center Publications, pp. 291–362. Pol. Acad. Sciences (2017). arXiv:1704.01336v1
Neeb, K.H., Ólafsson, G.: Wedge domains in compactly causal symmetric spaces. (2021). arXiv:2107.13288v1
Schroer, B.: Lightfront formalism versus holography and chiral scanning. In: Kapuscik, E., Horzela, A. (Eds.) Quantum Theory and Symmetries, Proceedings of the Second International Symposium, Kraków, Poland, 18–21 July 2021, pp. 165–182 (2002). arXiv:0108.203
Scotford, C. PhD thesis. Work in Progress
Soloviev, M.A.: On the failure of microcausality in noncommutative field theories. Phys. Rev., D77:125013 (2008). arXiv:0802.0997. https://doi.org/10.1103/PhysRevD.77.125013
Tanimoto, Y.: Construction of wedgelocal nets of observables through LongoWitten endomorphisms. Commun. Math. Phys. 314(2), 443–469 (2012). https://doi.org/10.1007/s0022001214627
Tanimoto, Y.: Construction of twodimensional quantum field models through LongoWitten endomorphisms. Forum Math. Sigma 2(E7) (2014). arXiv:1301.6090v1. https://doi.org/10.1017/fms.2014.3
Wiesbrock, H.: Half sided modular inclusions of von Neumann algebras. Commun. Math. Phys. 157, 83–92 (1993)
Acknowledgements
Support by the German Research Foundation DFG through the Heisenberg project “Quantum Fields and Operator Algebras” (LE 2222/31) is gratefully acknowledged.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Kawahigashi
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lechner, G., Scotford, C. Deformations of HalfSided Modular Inclusions and Nonlocal Chiral Field Theories. Commun. Math. Phys. 391, 269–291 (2022). https://doi.org/10.1007/s0022002204324x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0022002204324x