Abstract
We introduced in a previous paper a general notion of asymptotic morphism of a given local net of observables, which allows to describe the sectors of a corresponding scaling limit net. Here, as an application, we illustrate the general framework by analyzing the Schwinger model, which features confined charges. In particular, we explicitly construct asymptotic morphisms for these sectors in restriction to the subnet generated by the derivatives of the field and momentum at time zero. As a consequence, the confined charges of the Schwinger model are in principle accessible to observation. We also study the obstructions, that can be traced back to the infrared singular nature of the massless free field in \(d=2\), to perform the same construction for the complete Schwinger model net. Finally, we exhibit asymptotic morphisms for the net generated by the massive free charged scalar field in four dimensions, where no infrared problems appear in the scaling limit.
Similar content being viewed by others
Notes
Where this means of course that one has to disregard the fact that performing measurements at arbitrarily small length scales requires unbounded energies.
A representation of \({\mathfrak {W}}\) in which \(\tau ^{(0)}\) is unitarily implemented on a separable Hilbert space is constructed in [25].
The results in [12] also suggest that the scaling limit of the C*-subalgebra of the scaling algebra generated by (smoothed-out) functions \(\lambda \mapsto W(\delta _\lambda f)\) and \(\lambda \mapsto W(|\log \lambda |^{1/2}\delta _\lambda f)\) is isomorphic to \(\mathcal{A}^{(0)}\otimes \mathcal{Z}\), with \(\mathcal{Z}\) (a subalgebra of) the center of \({\mathcal {A}}_{0,\iota }^{(m)}\).
Note that if \({{\text {supp}}\,}f\subset O\), since O is open it is always possible to choose \({{\text {supp}}\,}h\) so small that \(\underline{\alpha }_h{\underline{W}}(f) \in \underline{\mathfrak {A}}^{(m)}(O)\).
References
Acerbi, F., Morchio, G., Strocchi, F.: Theta vacua, charge confinement and charged sectors from nonregular representations of CCR algebras. Lett. Math. Phys. 27, 1–11 (1993)
Araki, H.: Mathematical Theory of Quantum Fields. Oxford University Press, New York (1999)
Araki, H., Shiraishi, M.: On quasifree states of the canonical commutation relations (I). Publ. RIMS 7, 105–120 (1971/72)
Araki, H., Yamagami, S.: On the quasi-equivalence of quasi-free states of the canonical commutation relations. Publ. RIMS 18, 283–338 (1982)
Bahns, D., Fredenhagen, K., Rejzner, K.: Local nets of von Neumann algebras in the Sine-Gordon model, arXiv:1712.02844
Becher, P., Joos, H.: \(1 + 1\)-dimensional quantum electrodynamics as an illustration of the hypothetical structure of quark field theory. In: De Guevara, P.L., et al. (eds.) Proceedings of 5th International Winter Meeting on Fundamental Physics, Madrid (1977)
Bogolubov, N.N., Logunov, A.A., Oksak, A.I., Todorov, I.T.: General Principles of Quantum Field Theory. Kluwer Academic Publishers, Dordrecht (1990)
Bostelmann, H., D’Antoni, C., Morsella, G.: Scaling algebras and pointlike fields. A nonperturbative approach to renormalization. Commun. Math. Phys. 285, 763–798 (2009)
Bostelmann, H., D’Antoni, C., Morsella, G.: On dilation symmetries arising from scaling limits. Commun. Math. Phys. 294, 21–60 (2010)
Bostelmann, H., Lechner, G., Morsella, G.: Scaling limit of integrable quantum field theories Rev. Math. Phys. 23, 1115–1156 (2011)
Buchholz, D.: Product states for local algebras. Commun. Math. Phys. 36, 287–304 (1974)
Buchholz, D.: Quarks, gluons, colour: facts or fiction? Nucl. Phys. B 469, 333–353 (1996)
Buchholz, D., D’Antoni, C., Fredenhagen, K.: The universal structure of local algebras. Commun. Math. Phys. 111, 123–135 (1987)
Buchholz, D., D’Antoni, C., Longo, R.: Nuclearity and thermal states in conformal field theory. Commun. Math. Phys. 270, 267–293 (2007)
Buchholz, D., Mack, G., Todorov, I.T.: The current algebra on the circle as a germ of local field theories. Nuclear Phys. B Proc. Suppl. 5B, 20–56 (1988)
Buchholz, D., Verch, R.: Scaling algebras and renormalization group in algebraic quantum field theory. Rev. Math. Phys. 7, 1195–1239 (1995)
Buchholz, D., Verch, R.: Scaling algebras and renormalization group in algebraic quantum field theory. II. Instructive examples. Rev. Math. Phys. 10, 775–800 (1998)
Ciolli, F.: Massless scalar free field in 1+1 dimensions. I. Weyl algebras products and superselection sectors. Rev. Math. Phys. 21, 735–780 (2009)
Connes, A.: Noncommutative Geometry. Academic Press, San Diego, CA (1994)
Conti, R., Morsella, G.: Scaling limit for subsystems and Doplicher-Roberts reconstruction. Ann. H. Poincaré 10, 485–511 (2009)
Conti, R., Morsella, G.: Asymptotic morphisms and superselection theory in the scaling limit. J. Noncommut. Geom. 8, 735–770 (2014)
D’Antoni, C., Morsella, G.: Scaling algebras and superselection sectors: Study of a class of models. Rev. Math. Phys. 18 (2006), 565–594; Erratum: ibid. 19 (2007), 567–569
D’Antoni, C., Morsella, G., Verch, R.: Scaling algebras for charged fields and short-distance analysis for localizable and topological charges. Ann. Henri Poincaré 5, 809–870 (2004)
D’Antoni, C., Morsella, G., Verch, R.: Scaling algebras for charge carrying quantum fields and superselection structure at short distances. In: Prospects in Mathematical Physics, pp. 31–43, Contemp. Math., 437, Amer. Math. Soc., Providence, RI (2007)
Dereziński, J., Meissner, K.: Quantum massless field in 1+1 dimensions. In: Mathematical Physics of Quantum Mechanics, pp. 107–127. Lecture Notes in Phys, vol. 690. Springer, Berlin (2006)
Doplicher, S., Roberts, J.E.: Why there is a field algebra with a compact gauge group describing the superselection structure in particle physics. Commun. Math. Phys. 131, 51–107 (1990)
Driessler, W.: Duality and absence of locally generated superselection sectors for CCR-type algebras. Commun. Math. Phys. 70, 213–220 (1979)
Eckmann, J.P., Fröhlich, J.: Unitary equivalence of local algebras in the quasifree representation. Ann. Inst. H. Poincaré Sect. A 20, 201–209 (1974)
Figliolini, F., Guido, D.: The Tomita operator for the free scalar field. Ann. Inst. Henri Poincaré A 51, 419–435 (1989)
Fredenhagen, K.: Lokale Struktur und Polarzerlegung des geladenen Skalarfeldes. Diplomarbeit, Hamburg University (1973)
Glimm, J., Jaffe, A.: The \(\lambda (\phi ^4)_2\) quantum field theory without cutoffs III. The physical vacuum. Acta Math. 25, 203–267 (1970)
Haag, R.: Local Quantum Physics. Fields, Particles, Algebras, 2nd edn. Springer, Berlin (1996)
Hislop, D., Longo, R.: Modular structure of the local algebras associated with the free massless scalar field theory. Commun. Math. Phys. 84, 71–85 (1982)
Lowenstein, J.H., Swieca, J.A.: Quantum electrodynamics in two dimensions. Ann. Phys. 78, 172–195 (1971)
Martinazzi, L.: Fractional Adams-Moser-Trudinger type inequalities. Nonlinear Anal. 127, 263–278 (2015)
Müger, M.: Superselection structure of massive quantum field theories in \(1+1\) dimensions. Rev. Math. Phys. 10, 1147–1170 (1998)
Olver, F. W. J.: Bessel functions of integer order, in Handbook of mathematical functions, M. Abramowitz, I. A. Stegun eds., \(9^\text{th}\) printing, Dover publications
Roberts, J.E.: Lectures on algebraic quantum field theory. In: Kastler, D. (ed.) The Algebraic Theory of Superselection Sectors. Introduction and Recent Results (Palermo, 1989), pp. 1–112. World Scientific, River Edge, NJ (1990)
Streater, F., Wilde, I.F.: Fermion states of a Boson field. Nucl. Phys. B 24, 561–575 (1970)
Takesaki, M.: Theory of Operator Algebras, I. Springer, Heidelberg (1979)
Verch, R.: Local definitness, primarity and quasiequivalence of quasifree Hadamard quantum states in curved spacetime. Commun. Math. Phys. 150, 507–536 (1994)
Weidmann, J.: Linear Operators in Hilbert Spaces, Graduate Texts in Mathematics 68. Springer, Berlin (1980)
Acknowledgements
We are grateful to D. Buchholz and to D. Guido for useful discussions about the subject of this work and to D. Buchholz also for his comments on a preliminary version, and we thank E. Valdinoci for pointing out reference [35]. R. C. is partially supported by the Sapienza Ricerca Scientifica 2017 grant “Algebre di Operatori e Analisi Armonica Noncommutativa”. G. M. is partially supported by the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006, the ERC Advanced Grant 669240 “Quantum Algebraic Structures and Models”, the INDAM-GNAMPA, and the Tor Vergata University grant “Operator Algebras and Applications to Noncommutative Structures in Mathematics and Physics”.
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.
On the Quasiequivalence of Vacuum States of Different Masses in 2D
On the Quasiequivalence of Vacuum States of Different Masses in 2D
Recall that in Sect. 3 we defined the von Neumann algebras
In this appendix we provide a proof of the following result.
Theorem A.1
For each bounded interval \(I \subset {\mathbb {R}}\) there exists a von Neumann algebra isomorphism \(\phi \) between \(\mathcal{C}^{(m)}(O_I)\), \(m>0\), and \(\mathcal{C}^{(0)}(O_I)\) such that \(\phi (\pi ^{(m)}(W(f))) = \pi ^{(0)}(W(f))\).
To show this fact, we make appeal to the general results of [4]. To make contact with the formalism employed there in the description of CCR algebras, we introduce then the notation
considered as a real vector space, and we define the complex vector space \(K := \mathcal{D}_0(I) \oplus \mathcal{D}_0(I)\) with complex structure defined by
Moreover, we define a conjugate linear involution \(\Gamma : K \rightarrow K\) and an indefinite inner product \(\gamma : K \times K \rightarrow {\mathbb {C}}\) as
with \(\langle \cdot , \cdot \rangle \) the standard scalar product on \(L^2({\mathbb {R}})\). They satisfy \(\gamma (\Gamma x, \Gamma y) = -\gamma (y,x)\) for all \(x, y \in K\). To these data, [3, Sec. 2] associates the self-dual CCR algebra \({\mathfrak {A}}(K,\gamma ,\Gamma )\). This is the \(*\)-algebra generated by symbols \(B(f_1 \oplus f_2)\), \(f_1 \oplus f_2 \in K\), satisfying the natural relations suggested by the identification of \(B(f_1 \oplus f_2)\) with the Fock space operators \(\varphi (f_1) + i \varphi (f_2)\), where \(\varphi (f) = \phi ({{\mathrm {Re}}\,}f) - \pi ({{\mathrm {Im}}\,}f) = \frac{1}{\sqrt{2}} \big [ a(\omega _m^{-1/2} {{\mathrm {Re}}\,}f + i \omega _m^{1/2} {{\mathrm {Im}}\,}f) + a(\omega _m^{-1/2} {{\mathrm {Re}}\,}f + i \omega _m^{1/2} {{\mathrm {Im}}\,}f)^* \big ]\). Notice that \(\pi ^{(m)}(W(f)) = e^{i \varphi (f)}\) for \(m>0\), while \(\pi ^{(0)}(W(f)) = e^{i \varphi (f)} \otimes \mathbf{1}\) acts on the tensor product of the (Bosonic) Fock space on \(\mathcal{D}_0({\mathbb {R}})\) with a nonseparable multiplicity space.
We now introduce the \({\mathbb {R}}\)-bilinear map \(\langle \cdot , \cdot \rangle _m : \mathcal{D}_0({\mathbb {R}}) \times \mathcal{D}_0({\mathbb {R}}) \rightarrow {\mathbb {C}}\), \(m \ge 0\), defined by
It is clear that \({{\mathrm {Re}}\,}\langle \cdot , \cdot \rangle _m\) is a real scalar product inducing the norm \(\Vert \cdot \Vert _m\) on \(\mathcal{D}_0({\mathbb {R}})\) and it is easy to verify that \({{\mathrm {Im}}\,}\langle f, g \rangle _m = \frac{1}{2} {{\mathrm {Im}}\,}\langle f, g \rangle \). We can then introduce on \( K \times K\) the hermitian form
This is nothing but \(\big \langle \Omega ^{(m)},(\varphi (f_1) + i \varphi (f_2))^* (\varphi (g_1) + i \varphi (g_2))\Omega ^{(m)}\big \rangle \) if \(m>0\) and \(\big \langle \Omega ^{(0)},\big [(\varphi (f_1) + i \varphi (f_2))^* (\varphi (g_1) + i \varphi (g_2))\big ] \otimes \mathbf{1}\, \Omega ^{(0)}\big \rangle \) otherwise.
One verifies that \(S_m(x,x) \ge 0\) and \(S_m(x,y) - S_m(\Gamma y,\Gamma x) = \gamma (x,y)\) for all \(x,y \in K\), and then, by [3, Lem. 3.5], there exists a unique quasi-free state \(\varphi _m= \varphi _{S_m}\) on \({\mathfrak {A}}(K,\gamma ,\Gamma )\) such that \(\varphi _m(x^*y) = S_m(x,y)\).
We now observe that \({{\mathrm {Re}}\,}K := \{x \in K\,:\, \Gamma x = x\} = \mathcal{D}_0(I)\oplus \{0\}\), and that for \(f,g \in \mathcal{D}_0(I)\) we get
Then, by [4, Prop. 3.4] and by the separating property of the vacuum vector for \(\mathcal{C}^{(m)}(O_I)\), the Weyl operators \(W_{S_m}(x)\), \(x \in {{\mathrm {Re}}\,}K\), in the GNS representation of \({\mathfrak {A}}(K,\gamma ,\Gamma )\) induced by \(\varphi _m\) generate a von Neumann algebra isomorphic to \(\mathcal{C}^{(m)}(O_I)\) for all \(m \ge 0\).
The next step is to define the scalar product
and to observe that
implies \(f_1 \oplus f_2 = 0\). Then the main Theorem of [4] implies that the statement of Thmorem A.1 holds if and only if:
- 1.
the (Hausdorff) topologies induced on K by \(\langle \cdot , \cdot \rangle _{S_m}\) and \(\langle \cdot , \cdot \rangle _{S_0}\) coincide;
- 2.
denoting by \({\bar{K}}\) the completion of K in the above topology, and by \({\tilde{S}}_m, \tilde{S}_0 : {\bar{K}} \rightarrow {\bar{K}}\) the bounded (by [4, Lem. 3.2]) operators defined by
$$\begin{aligned} S_m(x,y) = \langle x, \tilde{S}_m y\rangle _{S_m}, \quad S_0(x,y) = \langle x, \tilde{S}_0 y\rangle _{S_m}, \qquad x,y \in K, \end{aligned}$$(A.3)(with \(\langle \cdot ,\cdot \rangle _{S_m}\) extended by continuity to \({\bar{K}}\)), the operator \(\tilde{S}_m^{1/2}- \tilde{S}_0^{1/2}\) is Hilbert-Schmidt.
The remaining part of this appendix is devoted to showing the validity of 1. and 2.
Proposition A.2
The topologies induced on K by \(\langle \cdot , \cdot \rangle _{S_m}\) and \(\langle \cdot , \cdot \rangle _{S_0}\) coincide.
Proof
By (A.2), it is sufficient to show that the norms \(\Vert \cdot \Vert _m\), \(\Vert \cdot \Vert _0\) are equivalent on \(\mathcal{D}_0(I)\). Now, by the Parseval identity and by the fact that \(\omega _m^{\pm 1/2}\) maps real functions to real functions,
and therefore it is sufficient to show that the \(\pm 1\) norms
are respectively equivalent for \(m \ne 0\) and \(m = 0\).
The inequalities \(\Vert f\Vert _{m,-1} \le \Vert f\Vert _{0,-1}\), \(\Vert f\Vert _{0,1} \le \Vert f\Vert _{m,1}\) are obvious. We now prove that \(\Vert f\Vert _{m,1} \le C \Vert f\Vert _{0,1}\) for some \(C > 0\). As in [29], by the inequality
we get
and the required inequality is obtained by applying [35, Thm. 1] with \(n=1\), \(p=2\), \(\Omega = I\). Indeed, since \(t \le e^{\pi t}\) for all \(t \ge 0\),
and moreover there exist \(c' > 0\) such that \(\Vert (-\Delta )^{1/4} f\Vert _{L^2(I)} \le c' \Vert (-\Delta )^{1/4} f\Vert _{L^2({\mathbb {R}})} = c' \Vert f\Vert _{0,1}\), see [35, Rem. 2]. Summing up, we obtain \(\Vert f\Vert _{m,1}^2 \le (\sqrt{1+m^2}+m c_{1,2}\, c'^2\, |I|)\Vert f\Vert _{0,1}^2\).
Finally, we prove \(\Vert f\Vert _{0,-1} \le C \Vert f\Vert _{m,-1}\) for some \(C > 0\). Using (A.4) again, we have
If we now consider a function \(\varphi \in \mathcal{D}({\mathbb {R}})\) such that \(\varphi ({\varvec{x}}) = 1\) for all \({\varvec{x}}\in I\), we have \(f = f \varphi \), and therefore
where in the second equality we have introduced the function \(\psi ({\varvec{p}},{\varvec{q}}) := \frac{{\hat{\varphi }}({\varvec{p}}-{\varvec{q}})-{\hat{\varphi }}(-{\varvec{q}})}{{\varvec{p}}}\) and used the fact that \(\int _{\mathbb {R}}d{\varvec{q}}\hat{f}({\varvec{q}}) \hat{\varphi }(-{\varvec{q}}) = \hat{f}(0) = 0\). From this, the required estimate will follow by an application of the Cauchy-Schwarz inequality, provided we can show that
To this end, we write \(\psi ({\varvec{p}},{\varvec{q}}) = \hat{\varphi }'(-{\varvec{q}}) + \int _0^{\varvec{p}}d{\varvec{s}}\, \hat{\varphi }''({\varvec{s}}-{\varvec{q}})({\varvec{p}}-{\varvec{s}})\) and we recall that \(\hat{\varphi }\) is a Schwartz function, which entails the existence of a constant \(K > 0\) such that \(|\hat{\varphi }''({\varvec{s}})| \le K/(1+|{\varvec{s}}|)^2\). Using then the fact that
for \(|{\varvec{q}}| > 1\), \(|{\varvec{p}}| \le 1\), we obtain the estimate
This, together with the obvious estimate \(\int _{|{\varvec{p}}| \le 1} d{\varvec{p}}|{\varvec{p}}| \int _{\mathbb {R}}d{\varvec{q}}\,\omega _m({\varvec{q}})|\hat{\varphi }'(-{\varvec{q}})|^2 < +\infty \), shows, by the Minkowski inequality, the validity of (A.5). All in all, we obtain \(\Vert f\Vert _{0,-1} \le C \Vert f\Vert _{m,-1}\) with \(C = [\sqrt{1+m^2}+C_1(m)]^{1/2}\). \(\quad \square \)
We stress that, thanks to a general result by Buchholz [11, Appendix B], the condition 2. above is satisfied if \(\tilde{S}_m - \tilde{S}_0\) is a trace-class operator on \({\bar{K}}\). In order to get a more explicit expression for these operators, we observe that, thanks to (A.1) and [4, Lem. 3.2], there holds, for all \(m \ge 0\), the estimate
and therefore the symplectic form \({{\mathrm {Im}}\,}\langle \cdot ,\cdot \rangle \) extends by continuity to the real Hilbert space \((\overline{\mathcal{D}_0(I)}^{\Vert \cdot \Vert _m}, {{\mathrm {Re}}\,}\langle \cdot ,\cdot \rangle _m)\), and there exist bounded antisymmetric operators \(R_m : \overline{\mathcal{D}_0(I)}^{\Vert \cdot \Vert _m}\rightarrow \overline{\mathcal{D}_0(I)}^{\Vert \cdot \Vert _m}\), \(m \ge 0\), such that
It is then a straigthforward computation to verify that (A.3) is satisfied if
with \(T : \overline{\mathcal{D}_0(I)}^{\Vert \cdot \Vert _m}\rightarrow \overline{\mathcal{D}_0(I)}^{\Vert \cdot \Vert _m}\) the (symmetric) bounded (by Proposition A.2) operator defined by
Therefore the condition that \(\tilde{S}_m - \tilde{S}_0\) is trace class is equivalent to the condition that \(\mathbf{1}- T\) is trace class on \(\overline{\mathcal{D}_0(I)}^{\Vert \cdot \Vert _m}\).
We also observe, in passing, that by [41, Lem. 3.3] the factoriality of \(\mathcal{C}^{(m)}(O_I)\) is equivalent to the fact that \(R_m\) or \(R_0\) (and then both) is injective with dense range. (Moreover, by antisymmetry, \(R_m\) is injective if and only if it has dense range.) If this is the case, it is also easy to check that \(T = R_m R_0^{-1}\).
We also put on record the following formula for the matrix elements of \(\mathbf{1}- T\):
Thus we see that if we define \(\mathcal{H}_m^\pm (I) := \overline{\mathcal{D}_0(I,{\mathbb {R}})}^{\Vert \cdot \Vert _{m,\pm 1}}\), there holds \(\overline{\mathcal{D}_0(I)}^{\Vert \cdot \Vert _m} \cong \mathcal{H}_m^-(I) \oplus \mathcal{H}_m^+(I)\), and in this decomposition
with bounded \(Q^\pm : \mathcal{H}_m^\pm (I) \rightarrow \mathcal{H}_m^\pm (I)\).
Lemma A.3
There holds
with
where \(K_0\) is the modified Bessel function of order zero. Moreover \(Q^-\) is continuously differentiable and with second derivative in \(L^2_{loc}({\mathbb {R}})\).
Proof
From (A.6) we see that \(\langle f,Q^-g\rangle _{m,-1} \) is the difference between the scalar field two-point functions for masses \(m>0\) and zero evaluated on the time zero line, and from, e.g., [37, 9.6.21], we obtain
In order to treat the second term, we define functions \(F, G \in \mathcal{D}(I,{\mathbb {R}})\) by \(F({\varvec{x}}) := \int _{\infty }^{\varvec{x}}d{\varvec{y}}\,f({\varvec{y}})\), \(G({\varvec{x}}) := \int _{-\infty }^{\varvec{x}}d{\varvec{y}}\,g({\varvec{y}})\), so that \({\hat{f}}({\varvec{p}}) = -i{\varvec{p}}{\hat{F}}({\varvec{p}})\), \({\hat{g}}({\varvec{p}}) = -i{\varvec{p}}{\hat{G}}({\varvec{p}})\). With this definition, we get
where the last equality is obtained by the dominated convergence theorem, observing that for \(({\varvec{x}}- {\varvec{y}})^2 +\varepsilon ^2 < 1\) the inequality
holds, and the right hand side is an integrable function.
Finally, the last statement is obtained from the fact that there exist analytic functions \(\varphi _1\), \(\varphi _2\) defined in a neighbourhood of the origin, such that [37, 9.6.12-13]
and moreover \({\varvec{x}}\mapsto \log |{\varvec{x}}|\) belongs to \(L^2_{loc}({\mathbb {R}})\). \(\quad \square \)
Lemma A.4
The operator \(Q^-\) is of trace class on \(\mathcal{H}^-_m(I)\).
Proof
We can of course assume \(I =(-1,1)\). By the change of variables \({\varvec{\xi }}:= {\varvec{x}}-{\varvec{y}}\), \({\varvec{\eta }}:= {\varvec{x}}+{\varvec{y}}\) we can write
with \(\varphi \in \mathcal{D}({\mathbb {R}},{\mathbb {R}})\) such that \(\varphi ({\varvec{\xi }}) = 1\) for \(|{\varvec{\xi }}| \le 2\) and \(\varphi ({\varvec{\xi }}) = 0\) for \(|{\varvec{\xi }}| \ge 3\). We now expand the function \(Q^- \varphi \) in Fourier series on the interval \([-4, 4]\), obtaining
with a totally convergent expansion, that is \(\sum _{k \in {\mathbb {Z}}} |Q_k^-| < \infty \), since the periodized \(Q^- \varphi |_{[-4,4]}\) is in \(C^1({\mathbb {R}})\). Actually, \(Q_k^- = -\frac{{Q_k}''}{k^2}\), with \(Q''_k\) the Fourier coefficients of \(\frac{d^2}{d{\varvec{\xi }}^2}(Q^-\varphi ) \in L^2([-4,4])\) (by the previous Lemma), and therefore, by the Cauchy-Schwartz and Bessel inequalities,
It is therefore legitimate to interchange the series with the \({\varvec{\xi }}\)-integration:
Let now \(\chi \in \mathcal{D}({\mathbb {R}},{\mathbb {R}})\) be such that \(\chi ({\varvec{x}}) = 1\) for \(|{\varvec{x}}| \le 1\) and \(\chi ({\varvec{x}}) = 0\) for \(|{\varvec{x}}| \ge 2\). Then
with \({\hat{\psi }}_k^-({\varvec{p}}) := \frac{\omega _m({\varvec{p}})}{2}[ {\hat{\chi }}({\varvec{p}}+\frac{\pi k}{4})+{\hat{\chi }}({\varvec{p}}-\frac{\pi k}{4})]\), \({\hat{\varphi }}_k^-({\varvec{p}}) := \frac{\omega _m({\varvec{p}})}{2i}[ {\hat{\chi }}({\varvec{p}}+\frac{\pi k}{4})-{\hat{\chi }}({\varvec{p}}-\frac{\pi k}{4})]\). Extending the definitions of \(\Vert \cdot \Vert _{m,-1}\) and \(\langle \cdot , \cdot \rangle _{m,-1}\) to \(\mathcal{S}({\mathbb {R}},{\mathbb {R}})\), and observing that, for all \(k \in {\mathbb {Z}}\),
for suitable constants \(C_1, C_2 > 0\), one gets the estimates \(\Vert \psi _k^-\Vert _{m,-1}, \Vert \varphi _k^-\Vert _{m,-1} \le \sqrt{C_1+C_2|k|}\). Thus in particular \(\psi _k^-,\varphi _k^- \in \overline{\mathcal{S}({\mathbb {R}},{\mathbb {R}})}^{\Vert \cdot \Vert _{m,-1}}\) for all \(k \in {\mathbb {Z}}\), and therefore, if \(P^- : \overline{\mathcal{S}({\mathbb {R}},{\mathbb {R}})}^{\Vert \cdot \Vert _{m,-1}} \rightarrow \mathcal{H}_m^-(I)\) denotes the orthogonal projection,
and, taking into account the fact that \(\langle f, Q^- g\rangle _{m,-1}\) is real,
Now, since by the above estimates
and similarly for \(\sum _{k \in {\mathbb {Z}}} |Q_k^-| \Vert P^-\varphi _k^-\Vert _{m,-1}^2\), \(\sum _{k \in {\mathbb {Z}}} |Q_k^-| \Vert P^-\psi _k^-\Vert _{m,-1}\Vert P^-\varphi _k^-\Vert _{m,-1}\), and recalling that \(\mathcal{D}_0(I,{\mathbb {R}})\) is dense in \(\mathcal{H}_m^-(I)\), we obtain the thesis using [42, Thm. 7.12]. \(\square \)
Lemma A.5
There holds
with
where \(K_1\) is the modified Bessel function of order one. Moreover \(Q^+\) is in \(L^2_{loc}({\mathbb {R}})\).
Proof
We start observing that, by differentiating under the integral sign, one gets
Since the r.h.s. is integrable in a right neighbourhood of \(m=0\),
By [37, 9.6.13], we have \(|K_0(z)| \le C_1 |\log z| + C_2\), \(|z| \le 2m\), for suitable constants \(C_1\) and \(C_2\) and, since
we can apply Fubini’s Theorem and interchange the order of the integrals, thus obtaining
Making use of [37, 9.6.28], we see that \(m' K_0(m'|{\varvec{x}}-{\varvec{y}}|) = \frac{1}{|{\varvec{x}}- {\varvec{y}}|^2} \frac{\partial }{\partial m'} \big (-m' |{\varvec{x}}- {\varvec{y}}| K_1(m' |{\varvec{x}}- {\varvec{y}}|) \big )\) and therefore, also observing that \(\lim _{z \rightarrow 0} z K_1(z) = 1\) by [37, 9.6.11], we find the required expression for \(Q^+\) as in the statement.
Finally, the last claim readily follows again from [37, 9.6.11] according to which
for suitable analytic functions \(\varphi _1\) and \(\varphi _2\). \(\quad \square \)
Lemma A.6
The operator \(Q^+\) is of trace class on \(\mathcal{H}^+_m(I)\).
Proof
As in the proof of Lemma A.4, we assume that \(I=(-1,1)\). We also employ \(\varphi \) and \(\chi \) as defined there. We define \(F({\varvec{\xi }}) = \int _{-2+|{\varvec{\xi }}|}^{2-|{\varvec{\xi }}|} d{\varvec{\eta }}\, f\Big (\frac{{\varvec{\eta }}+{\varvec{\xi }}}{2}\Big ) g\Big (\frac{{\varvec{\eta }}-{\varvec{\xi }}}{2}\Big )\) and \(R({\varvec{\xi }}) = \int _{-2}^{\varvec{\xi }}d{\varvec{\xi }}' Q^+({\varvec{\xi }}').\) Therefore,
where we used integration by parts, the fact that \(F(\pm 2)=0\) and that \(F'({\varvec{\xi }})\) exists for all \({\varvec{\xi }}\ne 0\) and is integrable in \([-2,2]\). We expand the function \(R \varphi \) in Fourier series on the interval \([-4, 4]\), obtaining
and notice that, again integrating by parts, \(R_k = \frac{1}{2\pi i k} \int _{-4}^4 d{\varvec{\xi }}(R\varphi )' ({\varvec{\xi }}) e^{-i\frac{\pi k}{4}{\varvec{\xi }}} =: \frac{ 4 Q^+_k}{i \pi k}\), \(k \ne 0\). Since \((R\varphi )' \in L^2([-4,4])\) by the previous lemma, it follows that \(\sum _k |Q^+_k|^2 < +\infty \) and hence
We are then allowed to interchange the integral with the series in (A.7) and obtain
Now, similarly to the proof of Lemma A.4,
with \({\hat{\psi }}_k^+({\varvec{p}}) := \frac{1}{2 \omega _m({\varvec{p}})}[ {\hat{\chi }}({\varvec{p}}+\frac{\pi k}{4})+{\hat{\chi }}({\varvec{p}}-\frac{\pi k}{4})]\), \(\hat{\varphi }_k^+({\varvec{p}}) := \frac{1}{2i \omega _m({\varvec{p}})}[ {\hat{\chi }}({\varvec{p}}+\frac{\pi k}{4})-{\hat{\chi }}({\varvec{p}}-\frac{\pi k}{4})]\). Observe that, for all \({\varvec{p}}\in {\mathbb {R}}\),
for a suitable \(C>0\). Therefore, for all \(k \in {\mathbb {Z}}\setminus \{0\}\),
which implies that \(\Vert \psi _k^+\Vert _{m,1}, \Vert \varphi _k^+\Vert _{m,1} \le \frac{C'}{\sqrt{ |k|}}\), \(k \ne 0\). Thus, we obtain that \(\sum _k |Q_k^+| \, \Vert P^+ \psi _k^+\Vert _{m,1}^2\), \(\sum _k |Q_k^+| \, \Vert P^+ \varphi _k^+\Vert _{m,1}^2\) and \(\sum _k |Q_k^+| \, \Vert P^+ \psi _k^+\Vert _{m,1} \Vert P^+ \varphi _k^+\Vert _{m,1}\) are all convergent, and the conclusion follows as in the proof of Lemma A.4. \(\quad \square \)
Rights and permissions
About this article
Cite this article
Conti, R., Morsella, G. Asymptotic Morphisms and Superselection Theory in the Scaling Limit II: Analysis of Some Models. Commun. Math. Phys. 376, 1767–1801 (2020). https://doi.org/10.1007/s00220-019-03564-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-019-03564-8