Spacelike deformations: Higher-helicity fields from scalar fields

TL;DR

This paper introduces spacelike deformations as a novel method to generate higher-helicity fields from scalar fields by modifying translation operators, expanding the framework of quantum field theory beyond Hamiltonian perturbations.

Contribution

It presents the concept of spacelike deformations, demonstrating their application to derive higher-helicity fields from scalar fields, including a new approach to increase scalar field mass.

Findings

Maxwell theory as a spacelike deformation of Klein-Gordon field

Construction of higher-helicity fields from scalar fields

Method to increase scalar field mass via spacelike deformation

Abstract

In contrast to Hamiltonian perturbation theory which changes the time evolution, "spacelike deformations" proceed by changing the translations (momentum operators). The free Maxwell theory is only the first member of an infinite family of spacelike deformations of the complex massless Klein-Gordon quantum field into fields of higher helicity. A similar but simpler instance of spacelike deformation allows to increase the mass of scalar fields.

Equations

$${\mathcal{H}}^{(h)}{|}_{\text{Mo¨b}\times \mathrm{SO}(3)}=\underset{\ell =h}{\overset{\infty }{⨁}}(U^{(\ell +1)}\otimes {\mathcal{D}}^{(\ell )})\oplus (U^{(\ell +1)}\otimes {\mathcal{D}}^{(\ell )}),$$

$$Y_{\ell }(\vec{\nabla }){\phi }^{(\ast )}(x){|}_{x=(t,\vec{0})}$$

$$\vec{\nabla }\cdot \vec{F}=0,\vec{\nabla }\times \vec{F}=i{\partial }_t\vec{F}.$$

$$F_i(t,\vec{0})\stackrel{!}{=}2{\nabla }_i\phi (t,\vec{0})$$

$$\displaystyle\nabla_{i}F_{j}(t,\vec{0})\,\stackrel{{\scriptstyle!}}{{=}}\,\alpha\cdot\Big{(}\nabla_{i}\nabla_{j}-\frac{1}{3}\delta_{ij}\Delta\Big{)}\varphi(t,\vec{0})+i\varepsilon_{ijk}\partial_{t}\nabla_{k}\varphi(t,\vec{0}),$$

$$\displaystyle\begin{array}[]{lll}i[P_{\mu},P_{\nu}]=0,&i[P_{\mu},M_{\kappa\lambda}]=\eta_{\mu\lambda}P_{\kappa}-\eta_{\mu\kappa}P_{\lambda},&i[M_{\kappa\lambda},M_{\mu\nu}]=\eta_{\kappa\mu}M_{\lambda\nu}\pm\dots;\\[2.84526pt] i[D,P_{\mu}]=P_{\mu},&i[D,K_{\mu}]=-K_{\mu},&i[D,M_{\kappa\lambda}]=0;\\[2.84526pt] i[K_{\mu},K_{\nu}]=0,&i[M_{\kappa\lambda},K_{\mu}]=\eta_{\kappa\mu}K_{\lambda}-\eta_{\lambda\mu}K_{\kappa},&i[P_{\mu},K_{\nu}]=-2\eta_{\mu\nu}D+2M_{\mu\nu}.\end{array}$$

$$i[D,P_0]=P_0,i[P_0,K_0]=-2D,i[D,K_0]=-K_0,$$

$$i[M_{ij},M_{kl}]={\delta }_{jk}{M}_{il}-{\delta }_{jl}{M}_{ik}-{\delta }_{ik}{M}_{jl}+{\delta }_{il}{M}_{jk}.$$

$$\mathfrak{so}(2,4)=\mathfrak{h}\oplus \mathfrak{m},[\mathfrak{h},\mathfrak{h}]\subset \mathfrak{h}[\mathfrak{h},\mathfrak{m}]\subset \mathfrak{m}[\mathfrak{m},\mathfrak{m}]\subset \mathfrak{h},$$

$$i[M_{kl},X_i]={\delta }_{li}{X}_k-{\delta }_{ki}{X}_l,$$

$$\displaystyle\begin{array}[]{lll}i[P_{0},P_{k}]=0,&i[P_{0},M_{0k}]=-P_{k},&i[P_{0},K_{k}]=2M_{0k},\\[2.84526pt] i[D,P_{k}]=P_{k},&i[D,M_{0k}]=0,&i[D,K_{k}]=-K_{k},\\[2.84526pt] i[K_{0},P_{k}]=2M_{0k},&i[K_{0},M_{0k}]=-K_{k},&i[K_{0},K_{k}]=0.\end{array}$$

$$(\phi (x)\Omega ,\phi (x^{\prime })\Omega )=(2\pi {)}^{-3}\int \frac{d^{3}p}{2p^0}{e}^{-ip(x-y)}(p^0=|\vec{p}|)$$

$$\displaystyle\begin{array}[]{ll}i[P_{\mu},\varphi(x)]=\partial_{\mu}\varphi(x),&i[M_{\mu\nu},\varphi(x)]=(x_{\mu}\partial_{\nu}-x_{\nu}\partial_{\mu})\varphi(x),\\[2.84526pt] i[D,\varphi(x)]=((x\partial)+1)\varphi(x),&i[K_{\mu},\varphi(x)]=(2x_{\mu}(x\partial)-x^{2}\partial_{\mu}+2x_{\mu})\varphi(x).\end{array}$$

$$|Y{⟩}_t=Y(-i\vec{\nabla })\phi (\vec{x},t){|}_{\vec{x}=0}\Omega ,$$

$$⟨Y,f|Y^{\prime },f^{\prime }⟩=(2\pi {)}^{-3}{\int }_0^{\infty }\frac{p^{2}dp}{2p}\overline{\hat{f}(p)}{\hat{f}}^{\prime }(p)\cdot \int d\sigma (\vec{n})\overline{Y(p\vec{n})}{Y}^{\prime }(p\vec{n}),$$

$$|\vec{p}{}^{2}Y{⟩}_t+{\partial }_t^2|Y{⟩}_t=0\iff |\vec{p}{}^{2}Y,f⟩+|Y,{\partial }_t^{2}f⟩=0$$

$${\int }_0^{\infty }{p}^{2\ell +1}dp\overline{\hat{f}(p)}{\hat{f}}^{\prime }(p)$$

$$P_0|Y_{\ell }{⟩}_t$$

$$D|Y_{\ell }{⟩}_t$$

$$K_0|Y_{\ell }{⟩}_t$$

$$\displaystyle M_{kl}|Y_{\ell}\rangle_{t}=-i\big{|}(p_{k}\partial_{l}-p_{l}\partial_{k})Y_{\ell}\big{\rangle}_{t}$$

$$P_k|Y_{\ell }{⟩}_t$$

$$M_{0k}|Y_{\ell }{⟩}_t$$

$$K_k|Y_{\ell }{⟩}_t$$

$$\displaystyle E_{\ell+1}|p_{k}Y_{\ell}\rangle_{t}=\Big{|}\Big{(}p_{k}-\frac{\vec{p}\,^{2}}{2\ell+1}\partial_{k}\Big{)}Y_{\ell}\Big{\rangle}_{t}\quad\hbox{and}\quad E_{\ell-1}|p_{k}Y_{\ell}\rangle_{t}=-\frac{1}{2\ell+1}\partial_{t}^{2}|\partial_{k}Y_{\ell}\rangle_{t},$$

$$Q|Y{⟩}_t^{\pm }=\pm |Y{⟩}_t^{\pm },J|Y{⟩}_t^{\pm }=|Y{⟩}_{-t}^{\mp }.$$

$$J{P}_{\mu }=P_{\mu }J,J{M}_{\mu \nu }=-M_{\mu \nu }J,JD=-DJ,J{K}_{\mu }=K_{\mu }J,JQ=-QJ.$$

$${\mathcal{H}}^{\pm }{|}_{\text{Mo¨b}\times \mathrm{SO}(3)}=\underset{\ell =0}{\overset{\infty }{⨁}}{\mathcal{H}}_{\ell }^{\pm },{\mathcal{H}}_{\ell }^{+}\cong {\mathcal{H}}_{\ell }^{-}\cong U^{(\ell +1)}\otimes {\mathcal{D}}^{(\ell )}.$$

$${\tilde{P}}_k:={\sum }_{\ell \ge h}{a}_{\ell }\cdot (E_{\ell +1}{P}_k{E}_{\ell }+E_{\ell }{P}_k{E}_{\ell +1})+{\sum }_{\ell \ge h}{b}_{\ell }\cdot Q\cdot {\epsilon }_{kmn}{P}_0{M}_{mn}{E}_{\ell },$$

$$2{\tilde{M}}_{0k}:=i[K_0,{\tilde{P}}_k],-{\tilde{K}}_k:=i[K_0,{\tilde{M}}_{0k}],$$

$$a_{\ell }^2=\frac{(\ell +1{)}^2-h^2}{(\ell +1{)}^2},b_{\ell }^2=\frac{h^2}{4{\ell }^2(\ell +1{)}^2}$$

$${\sum }_k{\tilde{P}}_k^2=P_0^2.$$

Full text

1 Introduction

The basic idea of Hamiltonian perturbation theory is to start from a time zero algebra (“canonical commutation relations”) equipped with a free time evolution, and perturb the free Hamiltonian such that the observables at later time $\Phi(t):=e^{iHt}\Phi_{0}e^{-iHt}$ (where $H$ is the perturbed Hamiltonian) deviate from the free ones. We present here a “complementary” deformation scheme for free quantum field theories: fixing the algebra along the time axis, we deform the space translations, so as to obtain a different local quantum field theory in Minkowski space.

Despite the apparent similarity, there are many differences, though. Hamiltonian Perturbation Theory (PT) is well-known to be obstructed by Haag’s theorem, which implies that the perturbation is possible on the same Hilbert space only locally. Globally, the perturbed vacuum state is not a state in the “free Hilbert space”, so that one is forced to change the representation of the time zero algebra. The need of renormalization of the mass also shows that one is even forced to change the time zero algebra itself. More precisely, interacting quantum fields in general do not even exist as distributions at a fixed time (see, e.g., [14, 15]).

A recent approach [3], designed to avoid these obstructions, uses instead of a CCR time-zero algebra, an abstract “off-shell” C*-algebra of kinematical fields on spacetime which supports a large class of dynamics (one-parameter groups of time-evolution automorphisms). The invariant states under each dynamics, however, annihilate different ideals of the algebra (“field equations”), such that the corresponding GNS Hilbert spaces cannot be identified for any time-zero subalgebra.

In contrast, Wightman quantum fields can always be restricted to the time axis [2]. Our spacelike deformations are globally well-defined on a subspace of the original Hilbert space. They consist in a redefinition of the generators of the spacelike translations (momentum operators). The perturbed fields away from the time axis are then defined as $\Phi(t,\vec{x})=e^{ix^{k}{\widetilde{P}}_{k}}\Phi_{0}(t,0)e^{-ix^{k}{\widetilde{P}}_{k}}$, where ${\widetilde{P}}_{k}$ are the deformed generators.

In Hamiltonian PT, the “field content” is fixed by the choice of the free theory. The “particle content” is determined by the spectrum of the (renormalized) perturbed Hamiltonian, and may well change, e.g., when the interacting theory has bound states, or confinement occurs. Yet, the relation to the free particle content is usually not entirely lost.

In contrast, our spacelike deformations are (non-perturbative) algebraic deformations that drastically change the field content without changing the Hamiltonian: e.g., one obtains the free Maxwell field by a deformation of a massless free scalar field.

In fact, we know spacelike deformations only for free fields, producing massless higher helicity fields from scalar ones (Sect. 2.3), or massive scalar fields from massless ones (Sect. 3). The reason is that (a) we work on the one-particle space, from which the deformation passes to the Fock space by “second quantization”; and (b) the construction is essentially representation-theoretic. Namely, it transfers the representation of the Poincaré group of one theory to a subspace of the representation space of the other theory by a unitary operator, intertwining the subgroup that fixes the time-axis.222This subgroup consists of the rotations and the Möbius group Möb. The latter is familiar from chiral conformal QFT on the light-ray of two-dimensional CFT. Here, Möb acts in the same way by fractional linear transformations on the (compactified) time axis. It is generated by the time translations and the “conformal inversion” $x=(t,\vec{x})\mapsto\frac{(-t,\vec{x})}{t^{2}-\vec{x}\,^{2}}$, which becomes $t\mapsto-1/t$ on the time axis. We present the deformed generators as (nonlinear) functions of the undeformed generators.

We are therefore far from “interactions via deformation”; but our models illustrate the potential of a new approach, and more sophisticated new ideas may emerge from the present simple prototypes.

2 Helicity deformations

2.1 Background

The first examples to be demonstrated rely on a recent observation in [9]: For the massless free fields of any integer helicity $h>0$, the one-particle spaces ${\mathcal{H}}^{(h)}$ are proper subspaces of the one-particle space ${\mathcal{H}}={\mathcal{H}}^{(0)}$ of the complex massless free scalar field. More precisely, ${\mathcal{H}}^{(h)}$ as representations $U_{h}\oplus U_{-h}$ of the Poincaré group extend to representations $U_{(h)}$ of the conformal group, whose restriction to the subgroup ${\rm\textsf{M\"{o}b}}\times{\mathrm{SO}}(3)$ is given by

[TABLE]

where ${\mathcal{D}}^{(\ell)}$ are the spin-$\ell$ representations of ${\mathrm{SO}}(3)$, and $U^{(d)}$ are the irreducible positive-energy representations of Möb with lowest eigenvalue $d$ of the “conformal Hamiltonian” $L_{0}=\frac{1}{2}(P_{0}+K_{0})$. (We follow rather standard notation for the generators of the conformal group, fixing conventions in Sect. 2.2; for more details on the relations between the various groups and representations, see Sect. 2.2 and [9].) The doubling is due to the “electric” and “magnetic” degrees of freedom. The same decomposition with $h=0$ holds for the complex scalar field, where the doubling corresponds to the subspaces of charge $\pm 1$.

${\rm\textsf{M\"{o}b}}\times{\mathrm{SO}}(3)$ is the subgroup of the conformal group that fixes the time axis $\vec{x}=0$. The vectors transforming in the displayed subrepresentations are spacelike derivatives of fields on the time axis, that transform like quasiprimary fields under Möb, applied to the vacuum vector $\Omega$. For the scalar field, these fields are simply [4]

[TABLE]

($\varphi^{(*)}$ stands for both $\varphi$ and the conjugate field $\varphi^{*}$) with harmonic333A polynomial in ${\mathbb{R}}^{n}$ is harmonic iff $\Delta Y=0$ where $\Delta=\sum_{k=1}^{n}\partial_{k}^{2}$ is the Laplacian. In this paper, $n=3$. homogeneous polynomials $Y_{\ell}$ of degree $\ell$, transforming like spin-$\ell$ multiplets of quasiprimary fields of scaling dimension $d=\ell+1$. For $h>0$, when the electric and magnetic fields are combined into a complex field tensor $F_{j_{1}\dots j_{h}}=E_{j_{1}\dots j_{h}}+iB_{j_{1}\dots j_{h}}$, the equations of motion impose linear relations among the fields $\nabla_{i_{1}}\dots\nabla_{i_{r}}F_{j_{1}\dots j_{h}}(x)|_{x=(t,\vec{0})}$. The decomposition (2.1) implies that the time-axis field content is given by exactly two quasiprimary spin-$\ell$ multiplets (one for both $F$ and $F^{*}$) of scaling dimension $d=\ell+1$ for each $\ell\geq h$, and that the Casimir operator of the Lie algebra of the rotations (eigenvalues $\ell(\ell+1)$) and the Casimir operator of the Lie algebra of the Möbius group (eigenvalues $d(d-1)$) coincide in the one-particle representation.

In this count, as $h$ increases, the field content decreases. The lowest fields of the scalar theory are given by $\varphi^{(*)}(t,\vec{0})$ ($\ell=0$, $d=1$) and $\vec{\nabla}\varphi^{(*)}(t,\vec{0})$ ($\ell=1$, $d=2$), while, e.g., the Maxwell theory starts at $\ell=1$, $d=2$ with the vector field $\vec{F}^{(*)}=\vec{E}\pm i\vec{B}$. In this sense, contrary to intuition, the higher-helicity theories have less degrees of freedom than the lower-$h$ theories.

In [9], these facts were exploited to estimate the trace of $e^{-\beta L_{0}}$, whose finiteness then implies the split property for all finite-helicity massles free quantum field theories. Here, we take them as the starting point of spacelike deformation, as already speculated in [9]: we unitarily identify the common subrepresentations $\ell\geq h$ of the subgroup ${\rm\textsf{M\"{o}b}}\times{\mathrm{SO}}(3)$, and find the necessary modification of the representation of the remaining generators.

To illustrate the idea, consider the case $h=1$ (Maxwell). The Maxwell equations for $\vec{F}$ read

[TABLE]

The component fields $F_{k}(t,\vec{0})$ on the time axis transform in the same way under Möbius transformations of the time axis and rotations, like the fields $\nabla_{k}\varphi(x,\vec{0})$ of the complex massless Klein-Gordon theory. Similarly, the fields $(\nabla_{i}F_{j}+\nabla_{j}F_{i})(t,\vec{0})$ of spin 2 transform in the same way as the fields $(\nabla_{i}\nabla_{j}-\frac{1}{3}\delta_{ij}\Delta)\varphi(t,\vec{0})$.

Because the representations of the Möbius and rotation groups on the one-particle spaces are the same – except for the absence of the subrepresentation with $\ell=0$ in the Maxwell theory – we can algebraically identify these pairs of fields along the time axis. We get

[TABLE]

[TABLE]

where the Maxwell equations dictate the anti-symmetric part in (2.3) as well as the absence of an $\ell=0$ contribution; the two-point function fixes the normalizations, giving $|\alpha|^{2}=12$.

The problem is apparent: the left-hand side of (2.3) is the derivative of the left-hand side of (2.2), which is not true for the right-hand sides. The spatial derivatives being implemented by the momentum operators $P_{k}$, we conclude that while the Möbius and rotation generators of both theories (including the Hamiltonian $P_{0}$) can be identified, their spatial momentum operators must differ.

We are going to determine the momentum operators ${\widetilde{P}}_{k}$ of the Maxwell theory as polynomials of the conformal and charge generators of the Klein-Gordon theory (and along with them the boosts and the generators of spatial special conformal transformations). Then, starting from the identification (2.2) as a definition of the Maxwell field on the time axis, and acting with ${\widetilde{U}}(\vec{x})=e^{ix^{k}{\widetilde{P}}_{k}}$ on $\varphi(t,\vec{0})$, one obtains the Maxwell field everywhere in Minkowski space. The same works for any helicity $h>0$.

As a second instance, we present the spacelike deformation of the massless scalar field into the massive scalar field in Sect. 3.

The mere existence of such deformations should not be too surprising, given that “all Hilbert spaces are the same”. The noticeable facts are that the deformations fix parts of the symmetry, and that they can be given on the remaining generators by explicit formulae.

2.2 Preliminaries about the conformal Lie algebra

We denote by $P_{\mu}$, $M_{\mu\nu}$, $D$, $K_{\mu}$ the generators of translations, Lorentz transformations, dilations, and special conformal transformations in the conformal Lie algebra ${\mathfrak{so}(2,4)}$, respectively. Their commutators are explicitly

[TABLE]

In particular, we have the Lie subalgebras ${\mathfrak{m\ddot{o}b}}$:

[TABLE]

and ${\mathfrak{so}(3)}$:

[TABLE]

Lemma 2.1**.**

The parity reflection $(t,\vec{x})\mapsto(t,-\vec{x})$ defines a symmetric space decomposition of the conformal Lie algebra

[TABLE]

where ${\mathfrak{h}}={\mathfrak{m\ddot{o}b}}\oplus{\mathfrak{so}(3)}=\mathrm{Span}(P_{0},D,K_{0},M_{kl})$ and ${\mathfrak{m}}=\mathrm{Span}(P_{k},M_{0k},K_{k})$. The generators of ${\mathfrak{m}}$ transform like vectors under ${\mathfrak{so}(3)}$:

[TABLE]

and ${\mathfrak{m\ddot{o}b}}$ acts on ${\mathfrak{m}}$ as a ${\mathfrak{m\ddot{o}b}}$-module like

[TABLE]

In particular, $({\operatorname{ad}}_{P_{0}})^{3}=0$ and $({\operatorname{ad}}_{K_{0}})^{3}=0$ on ${\mathfrak{m}}$.

Proof: Immediate from (2.7). ∎

In the sequel, we shall need the action of the generators on suitable vectors in the $h=0$ representation. This representation is realized on the one-particle space ${\mathcal{H}}$ of the real massless scalar field $\varphi$. Its two-point function

[TABLE]

is invariant under the infinitesimal conformal transformations444We use the same symbol for the second-quantized generators on the Fock space, as for the generators on the one-particle space.

[TABLE]

Because Wightman fields can be restricted to the time axis [2], they only need smearing in the time variable. We may thus introduce, for polynomials $Y(\vec{p})$ on momentum space ${\mathbb{R}}^{3}$, improper one-particle vectors

[TABLE]

such that $|Y,f\rangle:=\int f(t)\,|Y\rangle_{t}\,dt$ are proper one-particle vectors. They span the one-particle space [4]. Their inner product is, in spherical coordinates,

[TABLE]

where $p=|\vec{p}|$, $\vec{p}=p\vec{n}$, and $d\sigma$ is the invariant measure on the unit sphere. The wave equation $\square\varphi=0$ states that

[TABLE]

i.e., these vectors have zero norm w.r.t. the inner product (2.17).

${\mathrm{SO}}(3)$ acts on $Y(\vec{p})$ by rotation of the argument. The harmonic homogeneous polynomials $Y_{\ell}$ of degree $\ell$ carry the irreducible representation ${\mathcal{D}}^{(\ell)}$. Hence $|Y_{\ell}\rangle_{t}$ belong to $E_{\ell}{\mathcal{H}}$.

The inner product (2.17) for harmonic homogeneous polynomials is diagonal w.r.t. $\ell$, and the resulting $p$-integral in (2.17)

[TABLE]

is the two-point function of a chiral quasi-primary field (“conformal current”) of scaling dimension $d=\ell+1$, which defines the inner product for the representation $U^{(\ell+1)}$ of Möb. In this way, the decomposition (2.1) for $h=0$ becomes manifest [4].

From (2.15) and the invariance of the vacuum vector $\Omega$, one reads off the action of the conformal generators on $|Y_{\ell}\rangle_{t}$ for harmonic homogeneous polynomials $Y_{\ell}$ of degree $\ell$. They act (for simplicity of notation on the improper states) as differential operators on $Y$ and w.r.t. $t$:

[TABLE]

[TABLE]

[TABLE]

The equality of the Casimir operators $\frac{1}{2}M_{kl}M_{kl}$ of ${\mathfrak{so}(3)}$ and $\frac{1}{2}(P_{0}K_{0}+K_{0}P_{0})-D^{2}$ of ${\mathfrak{m\ddot{o}b}}$ with eigenvalues $\ell(\ell+1)$ on $|Y_{\ell}\rangle_{t}$, as well as the mass-shell condition $P_{k}^{2}=P_{0}^{2}$ can be directly verified from these formulae and (2.18).

We shall need to control the spin of the vectors on the right-hand sides. The generators of ${\mathfrak{so}(3)}$ and of ${\mathfrak{m\ddot{o}b}}$ clearly commute with $E_{\ell}$, hence (2.2) and (2.21) have again spin $\ell$. The polynomial $\partial_{k}Y_{\ell}$ is again harmonic, hence $|\partial_{k}Y_{\ell}\rangle_{t}$ in (2.2) has spin $\ell-1$. Since $p_{k}Y_{\ell}-\frac{\vec{p}\,^{2}}{2\ell+1}\partial_{k}Y_{\ell}$ is harmonic, the vector $|p_{k}Y_{\ell}\rangle_{t}$ splits into

[TABLE]

where we have used (2.18) in the latter. All other projections vanish.

Finally, for the complex scalar field, we have two copies of states $|Y\rangle^{\pm}_{t}$ with the same actions (2.2)–(2.2) of ${\mathfrak{so}(2,4)}$ and actions of the unitary charge and anti-unitary PCT operators

[TABLE]

$Q$ commutes with the conformal generators, while

[TABLE]

2.3 Main result

Let ${\mathcal{H}}={\mathcal{H}}^{+}\oplus{\mathcal{H}}^{-}$ the one-particle space of the complex massless Klein-Gordon field, where the superscript $\pm$ stands for the eigenvalue $\pm 1$ of the charge operator $Q$. As representations of ${\rm\textsf{M\"{o}b}}\times{\mathrm{SO}}(3)$, both ${\mathcal{H}}^{\pm}$ decompose as

[TABLE]

Let $E_{\ell}$ be the projections onto the subspaces ${\mathcal{H}}_{\ell}={\mathcal{H}}^{+}_{\ell}\oplus{\mathcal{H}}^{-}_{\ell}$, $E^{(h)}=\sum_{\ell\geq h}E_{\ell}$, and ${\mathcal{H}}^{(h)}=E^{(h)}{\mathcal{H}}=\bigoplus_{\ell\geq h}{\mathcal{H}}_{\ell}$. Let $P_{\mu}$, $M_{\mu\nu}$, $D$, $K_{\mu}$ the generators of the conformal Lie algebra (2.7) represented on the one-particle space of the complex massless Klein-Gordon field.

The main result defines deformed generators ${\widetilde{P}}_{k}$ (the translations of the deformed QFT) in terms of the generators of the scalar QFT on the subspace ${\mathcal{H}}^{(h)}$ of the one-particle space of the scalar QFT. The deformation is a simple ansatz for a vector operator of scaling dimension 1, that (unlike the undeformed $P_{k}$) admits also transitions ${\mathcal{H}}^{\pm}_{\ell}\to{\mathcal{H}}^{\pm}_{\ell}$.

Proposition 2.2**.**

Let $h$ a non-negative integer. For $k=1,2,3$, make an ansatz for self-adjoint deformed generators ${\widetilde{P}}_{k}$, ${\widetilde{M}}_{0k}$, ${\widetilde{K}}_{k}$ of ${\mathfrak{m}}$ on ${\mathcal{H}}^{(h)}=E^{(h)}{\mathcal{H}}$ by

[TABLE]

[TABLE]

where the coefficients $a_{\ell}$, $b_{\ell}$ are real.

*(i) The deformed generators ${\widetilde{P}}_{k}$, ${\widetilde{M}}_{0k}$, ${\widetilde{K}}_{k}$ satisfy the correct commutation relations (2.25) with the PCT operator.

(ii) Together with the undeformed generators $P_{0}$, $D$, $K_{0}$ of ${\mathfrak{m\ddot{o}b}}$ and $M_{kl}$ of ${\mathfrak{so}(3)}$, they satisfy the conformal Lie algebra (2.7) on ${\mathcal{H}}^{(h)}$ if and only if*

[TABLE]

*and all coefficients $b_{\ell}$ have the same sign.

(iii) The generators ${\widetilde{P}}_{k}$ as specified by (ii) satisfy the mass-shell condition on ${\mathcal{H}}^{(h)}$:*

[TABLE]

(iv) The resulting representation of the Lie algebra ${\mathfrak{so}(2,4)}$ integrates to a true (i.e., not a covering) representation ${\widetilde{U}}$ of the conformal group, which is equivalent to the irreducible representation $U_{(h)}$ of the conformal group.

Proof: (i) is immediate by (2.24). To prove (ii), we start with a Lemma.

Lemma 2.3**.**

*(i) The deformed generators (2.27), (2.28) fulfill the correct $[{\mathfrak{h}},{\mathfrak{m}}]$ commutation relations (2.8) and (2.12) independent of the specification of the coefficients.

(ii) The remaining $[{\mathfrak{m}},{\mathfrak{m}}]$ commutation relations are also true on ${\mathcal{H}}_{\ell}$ ($\ell\geq h$), if and only if*

[TABLE]

Proof of the Lemma: (i) is obvious because the projections $E_{\ell}$ and the charge operator $Q$ commute with ${\mathfrak{h}}={\mathfrak{m\ddot{o}b}}\oplus{\mathfrak{so}(3)}$, and the remaining operators $P_{k}$ and $\varepsilon_{kmn}M_{mn}$ transform like vectors under ${\mathfrak{so}(3)}$ and commute with $P_{0}$ and have the correct commutator with $D$ (“scaling dimension 1”, (2.7)), while the commutators with $K_{0}$ are part of the definition.

(ii) follows by repeated application of ${\operatorname{ad}}_{K_{0}}$ and ${\operatorname{ad}}_{P_{0}}$ to (2.31), using (2.12) and (2.8). ∎

(Alternatively, the correct Poincaré commutation relations

[TABLE]

would also serve the same purpose as (2.31).)

The remaining task for the proof of (ii) of the proposition is just a verification of (2.31), where ${\widetilde{P}}_{k}$ is given by (2.27) and

[TABLE]

by (2.28). Using (2.2)–(2.2), one has to prove that for harmonic homogeneous polynomials $Y_{\ell}$ of degree $\ell$, the commutators $[{\widetilde{P}}_{k},{\widetilde{K}}_{l}]$ make no transitions ${\mathcal{H}}_{\ell}\to{\mathcal{H}}_{\ell\pm 2}$:

[TABLE]

(which turns out to be automatically satisfied by the ansatz), as well as

[TABLE]

where the actions of the subsequent operators depend on the intermediate projections, given by (2.23). E.g., the first term in the first condition (2.32) (for $\ell+1$) becomes

[TABLE]

which has to be worked out with (2.2)–(2.2). Exploiting the identity for harmonic homogeneous polynomials $Y_{\ell}$ (proven by contraction with $\varepsilon_{akl}$ and using (2.23))

[TABLE]

one finds that the first condition is satisfied if and only if

[TABLE]

Similarly, the second condition (2.32) reduces to

[TABLE]

Eliminating $b_{\ell}^{2}$ from (2.34a) and (2.34b), one gets a simple recursion

[TABLE]

hence $(\ell+1)^{2}(a_{\ell}^{2}-1)=const$. The initial condition $a_{h-1}=0$ gives $const=-h^{2}$, hence (2.29). (2.33) shows that $b_{\ell}$ have constant sign.

This proves (ii). Evaluation of (2.30) on arbitrary vectors $|Y_{\ell}\rangle^{\pm}_{t}$ with the given values (2.29), yields the desired result, proving (iii).

Finally, to prove (iv) we note that the spectrum of $L_{0}$ in the deformed representation of ${\mathfrak{so}(2,4)}$ is a subset of its spectrum on ${\mathcal{H}}^{(0)}$, hence integer. Therefore ${\widetilde{U}}$ integrates to a true representation of the conformal group. Knowing the multiplicities of the subrepresentations of ${\widetilde{U}}|_{{\rm\textsf{M\"{o}b}}\times{\mathrm{SO}}(3)}$, and comparing with (2.1), one concludes that ${\widetilde{U}}$ is unitarily equivalent to the irreducible representation $U_{(h)}$. ∎

The signs of $b_{\ell}$ may be chosen positive without loss of generality, via the unitary charge conjugation. Also the coefficients $a_{\ell}$ may all be chosen positive via a unitary involution in the center of ${\mathfrak{m\ddot{o}b}}\oplus{\mathfrak{so}(3)}$.

2.4 Field algebras

The construction of a local QFT on the Fock space ${\mathcal{F}}^{(h)}=\Gamma({\mathcal{H}}^{(h)})$ over ${\mathcal{H}}^{(h)}$ is routine.

The deformed representation ${\widetilde{U}}$ of the conformal group (equivalent to $U_{(h)}$ by Prop. 2.2(iv)) on the one-particle space ${\mathcal{H}}^{(h)}$ lifts to the Fock space ${\mathcal{F}}^{(h)}$ by second quantization.

For open intervals $I\subset{\mathbb{R}}$ (the time axis), let $O_{I}$ be the corresponding doublecone spanned by $I$, and define ${\widetilde{A}}(O_{I}):=A(O_{I})|_{{\mathcal{F}}^{(h)}}$, where $A(O)$ are the local algebras of the scalar field theory. For arbitrary doublecones, choose an interval $I$ and a conformal transformation $g$ such that $gO_{I}=O$, and define

[TABLE]

The definition is unambiguous because if $g_{1}O_{I_{1}}=O=g_{2}O_{I_{2}}$, then $g_{2}^{-1}g_{1}(I_{1})=I_{2}$, hence $g:=g_{2}^{-1}g_{1}\in{\rm\textsf{M\"{o}b}}\times{\mathrm{SO}}(3)$, hence ${\widetilde{U}}(g)A(I_{1}){\widetilde{U}}(g)^{*}=A(I_{2})$. Thus, the net

[TABLE]

is conformally covariant.

Because for any pair of spacelike separated doublecones, there is a conformal transformation $g$ mapping the doublecones into the forward and backward lightcones, respectively, locality follows from the Huygens property of the scalar field ($A(V_{+})$ commutes with $A(V_{-})$) by covariance (see, e.g., [10]).

2.5 Field equations

At the level of fields, we define a symmetric and traceless field tensor $F^{(*)}_{j_{1}\dots j_{h}}(t,\vec{0})$ by identification with the multiplet of derivative fields $Y_{j_{1}\dots j_{h}}(-i\vec{\nabla})\varphi^{(*)}(t,\vec{0})$ (where $Y_{j_{1}\dots j_{h}}$ is the appropriately normalized symmetric traceless tensor of harmonic polynomials of spin $\ell=h$) restricted to ${\mathcal{F}}^{(h)}$, and hence $F^{(*)}_{j_{1}\dots j_{h}}(t,\vec{0})\Omega$ with the (improper) spin-$h$ vectors $|Y_{j_{1}\dots j_{h}}\rangle^{\pm}_{t}$ of ${\mathcal{H}}^{\pm}_{h}$. We define $F^{(*)}_{j_{1}\dots j_{h}}(t,\vec{x})$ by the adjoint action of ${\widetilde{U}}(\vec{x})=e^{ix_{k}{\widetilde{P}}_{k}}$ such that $F^{(*)}_{j_{1}\dots j_{h}}(t,\vec{x})\Omega$ are (improper) vectors in ${\mathcal{H}}^{(h)\pm}$. Then $F^{(*)}(x)$ smeared within a doublecone $O$ are affiliated with the algebra ${\widetilde{A}}(O)$, hence they are local fields.

In order to make the identification of the deformed field thus defined with the free field of helicity $\pm h$, we have to establish the equation of motion [9]

[TABLE]

where $F=E+iB$, and $E_{j_{1}\dots j_{h}}$ and $B_{j_{1}\dots j_{h}}$ are symmetric traceless “electric” and “magnetic” tensors. On the time axis, we have by construction

[TABLE]

With Prop. 2.2, we compute

[TABLE]

With (2.23), this implies

[TABLE]

because \big{(}p_{k}-\frac{\vec{p}\,^{2}}{2h+1}\partial_{k}\big{)}Y_{kj_{2}\dots j_{h}} and $\varepsilon_{kmn}p_{m}\partial_{n}Y_{kj_{2}\dots j_{h}}$ and \varepsilon_{kjm}\big{(}p_{k}-\frac{\vec{p}\,^{2}}{2h+1}\partial_{k}\big{)}Y_{jj_{2}\dots j_{h}} are symmetric traceless tensors of rank $r=h-1,h-1,h$, respectively, of harmonic homogeneous polynomials of degree $\ell=h+1,h,h+1$, respectively, which vanish since $r\neq\ell$.

Now, the recursion Y_{nj_{2}\dots j_{h}}=\big{(}p_{n}-\frac{\vec{p}\,^{2}}{2h-1}\partial_{n}\big{)}Y_{j_{2}\dots j_{h}} together with harmonicity and homogeneity of $Y_{j_{2}\dots j_{h}}$ imply $(p_{n}\partial_{m}-p_{m}\partial_{n})Y_{nj_{2}\dots j_{h}}=-(h+1)Y_{mj_{2}\dots j_{h}}$. Since $2(h+1)b_{h}=1$, we conclude that the higher Maxwell equations hold on the time axis and on the vacuum vector:

[TABLE]

The complex conjugate higher Maxwell equations for $F^{*}=E-iB$ are guaranteed by the presence of the operator $Q$ in (2.27), that switches the sign of $i$ in the right-hand side of (2.36) for the vectors $|Y\rangle_{t}^{-}$ of charge $-1$.

At this point, it becomes apparent how the charge of the scalar field is re-interpreted as the sign of the helicity of the higher Maxwell field.

By applying the spacelike translations ${\widetilde{U}}(\vec{x})$ to (2.38), we conclude that the higher Maxwell equations on the vacuum vector hold everywhere in Minkowski space. Because $F^{(*)}$ are local fields on the time axis, by conformal covariance they are local on Minkowski spacetime. Then the Reeh-Schlieder theorem ensures that the higher Maxwell equations hold as operator equations.

2.6 Unitary implementation

It is clear from our identification of the helicity-deformed representation on the subspace $E^{(h)}{\mathcal{H}}_{0}$ of the one-particle space for the complex scalar field with the known representation on the higher-helicity one-particle space, that there must exist a unitary operator $U$ intertwining the two representations. While our result Prop. 2.2 was found without knowing this unitary, we could identify it a posteriori for the case $h=1$ (Maxwell). We sketch the essential steps.

To prevent confusion, we rename the one-particle Hilbert space and its (improper) vectors of Sect. 2.3 as ${\mathcal{H}}_{\rm scl}$ and $|Y\rangle^{\rm scl}_{t}{}^{\pm}=Y(-i\vec{\nabla})\varphi^{(*)}(x)\Omega|_{x=(t,\vec{0})}$, and we introduce the one-particle Hilbert space of the Maxwell theory ${\mathcal{H}}_{\rm Maxw}$ and its (improper) vectors

[TABLE]

where $\vec{Y}=(Y_{1},Y_{2},Y_{3})$ is a triple of polynomials, and the sum convention for vector indices is understood. We consider only the case of charge $+$ and suppress the superscript. The case of charge $-$ is identical, up to a change of sign, see below.

The respective inner products deriving from the respective two-point functions are

[TABLE]

[TABLE]

For the conjugate field $\vec{E}-i\vec{B}$, only the $\varepsilon_{ijk}$-term would change sign. We write the latter as

[TABLE]

where

[TABLE]

The null vectors of these inner products are (2.18) respectively

[TABLE]

The action of the conformal generators on the vectors in ${\mathcal{H}}_{\rm Maxw}$ is similar as (2.2)–(2.2), with modifications due to the vector character of the field and its scaling dimension 2. They will be displayed in due context in the proof of Prop. 2.5.

We now introduce operators $V_{i}$ and $\nabla_{i}$ on ${\mathcal{H}}_{\rm scl}$:

[TABLE]

and operators $V:{\mathcal{H}}_{\rm Maxw}\to{\mathcal{H}}_{\rm scl}$ and $V^{*}:{\mathcal{H}}_{\rm scl}\to{\mathcal{H}}_{\rm Maxw}$:

[TABLE]

Here, $\vec{\nabla}Y(\vec{p})$ denotes the gradient w.r.t. $\vec{p}$. These operators are well-defined because they respect the respective null vectors.

The following Lemma and Proposition provide the desired unitary operator.

Lemma 2.4**.**

*(i) The range of $V_{i}$ is orthogonal to the $\ell=0$ subspace $E_{0}{\mathcal{H}}_{\rm scl}$.

(ii) It holds $T_{ij}\nabla_{j}=iV_{i}^{*}$

(iii) It holds $T_{ij}=V_{i}^{*}C^{-1}V_{j}$ where $C=\frac{1}{2}M_{kl}M_{kl}=\sum_{\ell}\ell(\ell+1)E_{\ell}$ is the Casimir operator.

(iv) $V^{*}$ is the adjoint of $V$.*

Proposition 2.5**.**

*(i) It holds $VV^{*}=C$.

(ii) The operator $U=C^{-\frac{1}{2}}V:{\mathcal{H}}_{\rm Maxw}\to({\mathbf{1}}-E_{0}){\mathcal{H}}_{\rm scl}$ is unitary. In other words, $U$ arises by polar decomposition of $V^{*}=U^{*}C^{\frac{1}{2}}$.

(iii) $U$ intertwines the actions of ${\mathfrak{m\ddot{o}b}}\oplus{\mathfrak{so}(3)}$ on ${\mathcal{H}}_{\rm Maxw}$ and $({\mathbf{1}}-E_{0}){\mathcal{H}}_{\rm scl}$.

(iv) $U$ intertwines the actions of the generators $P_{k}$, $M_{0k}$, $K_{k}$ of ${\mathfrak{m}}$ on ${\mathcal{H}}_{\rm Maxw}$ with the actions of the deformed generators of ${\mathfrak{m}}$ according to Prop. 2.2 on $({\mathbf{1}}-E_{0}){\mathcal{H}}_{\rm scl}$.*

The proofs proceed by direct computation heavily using (2.2)–(2.2) and the present definitions. It could be rewarding to have a more elegant proof providing a better insight into the algebraic nature of the deformation.

Proof of the Lemma: (i) Obvious because $M_{kl}E_{0}=0$.

(ii) Straight computation, using (2.21).

(iii) The lengthy computation goes as follows: One first shows, for harmonic polynomials $Y_{\ell}$ of degree $\ell$, that $\nabla_{k}C^{-1}V_{j}|Y_{\ell}\rangle^{\rm scl}_{t}=i\delta_{jk}|Y_{\ell}\rangle^{\rm scl}_{t}+$ terms annihilated by $T_{ik}$ (summation over $k$), and then uses (ii). For the first step, the identities

[TABLE]

and their adjoint are extensively exploited.

(iv) Straight computation:

[TABLE]

[TABLE]

∎

Proof of the Proposition: (i) Straight computation: $VV^{*}=-iV_{i}\nabla_{i}=C$ because the $i\varepsilon_{ikl}$-terms vanish.

(ii) On the range $({\mathbf{1}}-E_{0}){\mathcal{H}}_{\rm scl}$ of $V$, $C^{-\frac{1}{2}}$ is well defined. Then $UU^{*}=C^{-\frac{1}{2}}VV^{*}C^{-\frac{1}{2}}={\mathbf{1}}$ by virtue of (i). On the other hand, using (ii) of the Lemma,

[TABLE]

hence $U^{*}U={\mathbf{1}}$ as well.

(iii) Because $M_{kl}$ commute with $C$ and $\vec{V}$ transforms as a vector, it is easily seen that the chain of maps $U^{*}P_{0}U$ takes $|\vec{Y}\rangle^{\rm Maxw}_{t}$ to $-i|(p_{k}\partial_{l}-p_{l}\partial_{k})\vec{Q}+Q_{l}\vec{e}_{k}-Q_{k}\vec{e}_{l}\rangle^{\rm Maxw}_{t}$, which is the action of $M_{kl}$ in the Maxwell one-particle space; the additional terms as compared to (2.21) account for the vector character of the Maxwell field.

Because $P_{0}$ commute with $V_{i}$ and with $C$, $U^{*}P_{0}U$ takes $|\vec{Y}\rangle^{\rm Maxw}_{t}$ to $-i\partial_{t}|\vec{Y}\rangle^{\rm Maxw}_{t}=P_{0}|\vec{Y}_{t}\rangle^{\rm Maxw}$.

Because $V_{i}$ scale like $\vec{P}$, $U^{*}DU$ takes $|\vec{Y}\rangle^{\rm Maxw}_{t}$ to $-it\partial_{t}|\vec{Y}\rangle^{\rm Maxw}_{t}-i|(\vec{p}\cdot\vec{\nabla})\vec{Y}+2\vec{Y}\rangle^{\rm Maxw}_{t}$, which is the action of $D$ in the Maxwell one-particle space. The factor $2$ as compared to (2.2) reflects to the scaling dimension $2$ of the Maxwell field.

Finally, for $K_{0}$, it suffices to note that the equality of Casimir operators $\frac{1}{2}M_{kl}M_{kl}=C=\frac{1}{2}(P_{0}K_{0}+K_{0}P_{0})-D^{2}=P_{0}K_{0}-D^{2}-iD$ holds in both representations by (2.1). Since $U$ intertwines $M_{kl}$, $D$ and $P_{0}$, it also intertwines $C$ and $K_{0}=P_{0}^{-1}(C+D^{2}+iD)$.

(iv) It suffices to verify $UP_{k}U^{*}=\widetilde{P}_{k}$. The others then follow by (2.12) because $U$ intertwines $K_{0}$. One computes the various contributions $E_{\ell^{\prime}}VP_{k}V^{*}|Q_{\ell}\rangle^{\rm scl}_{t}$, and by dividing by the respective eigenvalues of $C^{\frac{1}{2}}$, one obtains (2.27) with the correct coefficients (2.29). ∎

3 Mass deformation

A second, and much simpler, instance of spacelike deformation is the construction of the massive Klein-Gordon field as a deformation of the spacelike translations and boosts of the massless Klein-Gordon field. It is “complementary” to the corresponding Hamiltonian deformation treated in [6].

In the present instance, we can just write down the deformed generators. Because the massive one-particle vectors have energy $p^{0}\geq m$, the spectral projection $E_{m}=\theta(P_{0}-m)$ will play the role of the projection $E^{(h)}$ in Sect. 2.3.

The Lie algebra of the Poincaré group again has a symmetric space decomposition ${\mathfrak{h}}\oplus{\mathfrak{m}}$, where ${\mathfrak{h}}={\mathfrak{t}}\oplus{\mathfrak{so}(3)}$ (${\mathfrak{t}}=$ time translations), and ${\mathfrak{m}}$ is spanned by the spacelike momenta and the boost generators. By definition, the rotations $M_{kl}$ and the Hamiltonian $P_{0}$ remain undeformed. Thus, the deformed boosts ${\widetilde{M}}_{0k}$ also determine the deformed momenta ${\widetilde{P}}_{k}=-i[P_{0},{\widetilde{M}}_{0k}]$.

We return to the real scalar field, and denote by $\varphi_{0}$ and $\varphi_{m}$ the massless and massive fields.

For the massless field, we write $|Y\rangle_{t}:=Y(-i\vec{\nabla})\varphi_{0}(t,\vec{0})\Omega$ as before, and for the massive field denote $|Y\rangle^{m}_{t}:=Y(-i\vec{\nabla})\varphi_{m}(t,\vec{0})\Omega$. The massive two-point function yields

[TABLE]

where $p^{0}=\sqrt{p^{2}+m^{2}}$, $\vec{p}=p\vec{n}$, and $d\sigma$ is the invariant measure on the unit sphere. The Klein-Gordon equation becomes $|\vec{p}\,^{2}Y\rangle_{t}^{m}+(\partial_{t}^{2}+m^{2})|Y\rangle^{m}_{t}=0$ w.r.t. the inner product (3.1).

The inner product (3.1) is diagonal w.r.t. the spin of the polynomials $Y$, $Y^{\prime}$. Consequently, it is a direct sum of inner products for polynomials $Y_{\ell}$ of spin $\ell$ as before

[TABLE]

Passing to the integration variable $\omega=p_{0}$, one has

[TABLE]

It will be advantageous to pass to their Fourier transforms $|Y\rangle^{m}_{\omega}=\int dt\,e^{-i\omega t}\,|Y\rangle^{m}_{t}$, such that

[TABLE]

Then the identification $U:{\mathcal{H}}_{m}\to E_{m}{\mathcal{H}}_{0}$ of the massive one-particle space ${\mathcal{H}}_{m}$ with the subspace $E_{m}{\mathcal{H}}_{0}$ of the massless one-particle space ${\mathcal{H}}_{0}$

[TABLE]

is unitary w.r.t. the respective inner products (3.1) for $m=0$ and for $m>0$. In view of (3.1), the same equation (3.4) remains true for all homogeneous polynomials of degree $\ell$; this is compatible with (2.18) and (3.3) by virtue of $\omega^{2}-m^{2}=\omega^{2}\cdot\sigma(\omega^{2})$.

The deformed Poincaré generators on $E_{m}{\mathcal{H}}_{0}$ arise by the unitary conjugation ${\operatorname{Ad}}_{U}$ of the known action of the massive Poincaré generators on ${\mathcal{H}}_{m}$, i.e., the pull-back under the identification (3.4). The massive Poincaré generators $P_{\mu}$ and $M_{\mu\nu}$ act on $|Y_{\ell}\rangle^{m}_{t}$ in exactly the same way as the corresponding massless generators on $|Y_{\ell}\rangle_{t}$ in (2.2)–(2.2). In particular, the deformation preserves the Hamiltonian $P_{0}$ and the generators $M_{kl}$ of rotations. The deformation of the spacelike momenta gives immediately

[TABLE]

The mass-shell condition

[TABLE]

is trivially fulfilled by (3.5).

For the deformed boosts on $E_{m}{\mathcal{H}}_{0}$, one gets

[TABLE]

Using (2.2)–(2.2), this can be seen to be equivalent to

[TABLE]

(where the operator ordering has been adjusted so as to match the coefficient $\ell+\frac{3}{2}$). Because in the massless one-particle representation the Casimir operators $C=\frac{1}{2}M_{kl}M_{kl}$ of ${\mathfrak{so}(3)}$ and $\frac{1}{2}(P_{0}K_{0}+K_{0}P_{0})-D^{2}$ of ${\mathfrak{m\ddot{o}b}}$ coincide, this can also be written

[TABLE]

By construction (unitary conjugation with $U$) the deformed generators on the subspace $E_{m}{\mathcal{H}}_{0}$ are self-adjoint and satisfy the Poincaré commutation relations. Indeed, the hermiticity, as well as the commutator $i[P_{0},{\widetilde{M}}_{0k}]=-{\widetilde{P}}_{k}$, are also explicitly verified without much effort. The explicit verification of the commutation relation $i[{\widetilde{M}}_{0k},{\widetilde{M}}_{0l}]=M_{kl}$ does not directly give the desired result, but rather

[TABLE]

This equals $M_{kl}$ on $E_{m}{\mathcal{H}}_{0}$ because $M_{0k}P_{l}+M_{l0}P_{k}+M_{kl}P_{0}=\varepsilon_{klj}W^{j}$, and the Pauli-Lubanski operator $W^{\mu}=\frac{1}{2}\varepsilon^{\mu\nu\kappa\lambda}M_{\nu\kappa}P_{\lambda}$ vanishes in the massless scalar representation.

4 Summary

We have presented two families of examples of spacelike deformations that allow to construct new quantum field theories by fixing the restriction of a given QFT to the time axis, and deforming only the “transverse” symmetry generators. The remarkable feature is that the scheme admits the change of discrete quantum numbers (the helicity in our first example).

Both instances of spacelike deformation presented here make essential use of the enveloping algebra of the Lie algebra of the respective spacetime symmetry group (conformal, resp. Poincaré).

In both cases, it is true that we knew the expected deformation from the outset. But only in the mass deformation case did we know the unitary operator that transfers the massive generators to the massless one-particle space, and we used this knowledge to compute the deformed generators. In contrast, Prop. 2.2 is a uniqueness result, once the subspace is specified on which the deformation is supposed to be defined.

It is not difficult to see that one can also deform any given helicity $h^{\prime}>0$ to a helicity $h>h^{\prime}$, and any given mass $m^{\prime}>0$ to a mass $m>m^{\prime}$, as would be expected from the underlying pattern of inclusions of Hilbert spaces. One only needs to re-adjust the numerical coefficients of $E_{\ell^{\prime}}{\widetilde{P}}_{k}E_{\ell}$ in (2.27), and replace $\sigma(P_{0})$ in (3.7) by $\sqrt{(P_{0}^{2}-m^{2})/(P_{0}^{2}-m^{\prime 2})}$. On the other hand, increasing mass and spin simultaneously might not be possible by lack of an inclusion of one-particle representations of the subgroup fixing the time axis. However, it seems possible to get a representation with $m>0$ and $s>0$ by deforming the direct sum of massless helicity representations running over all $|h|\leq s$, because conversely, the restriction of a massive spin-$s$ representation to the rotation subgroup is the direct sum of the restrictions of helicity-$h$ representations with $|h|\leq s$.

The case of interacting theories will need methods going beyond representation theory of spacetime symmetry groups. Similar ideas leading to integrable models in two spacetime dimensions were previously pursued in [1, Sect. 4]. Here, based on an operator-algebraic deformation result for chiral conformal QFT [8], models with translation generators $P_{0}=\frac{1}{2}(P+m^{2}/P)$ and $P_{1}=\frac{1}{2}(P-m^{2}/P)$, satisfying the mass-shell condition $P_{0}^{2}-P_{1}^{2}=m^{2}$, were constructed starting from a Möbius covariant QFTs with generator $P$.

5 Outlook

Our constructions may give insights into the modular theory of local algebras for massive theories [7, 13], which is not as well known as for massless theories. Let us explain the idea.

In a generic QFT, if the local algebras $A(O_{I})=A(I)$ for doublecones $O_{I}$ spanned by an interval $I$ along the time axis are given, then they are defined for general doublecones by the adjoint action of Poincaré transformations. In Sect. 2.3 and Sect. 3, the deformed local algebras on the time axis arise just by restriction of the undeformed local algebras to the respective second-quantized subspace $\Gamma(E^{(h)}){\mathcal{F}}_{0}$ or $\Gamma(E_{m}){\mathcal{F}}_{0}$.

In the case of helicity deformations, one may adopt a different point of view, referring only to the representations of the conformal group. Namely, given a unitary representation ${\widetilde{U}}$ of Möb on ${\mathcal{H}}$ and its extension by the anti-unitary PCT operator $J$, the Brunetti-Guido-Longo construction [5] (BGL) allows to define a real Hilbert space $H({\mathbb{R}}_{+})\subset{\mathcal{H}}$ such that $H({\mathbb{R}}_{+})\cap iH({\mathbb{R}}_{+})=\{0\}$ and $\overline{{\mathbb{C}}\,H({\mathbb{R}}_{+})}={\mathcal{H}}$. This definition uses only the dilations and $J$. Acting with ${\widetilde{U}}(g)$, $g\in{\rm\textsf{M\"{o}b}}$, one obtains a net of real standard subspaces $I\mapsto H(I)$ on the intervals of the circle. This net of subspaces is local in the sense that the symplectic complement $H(I)^{\prime}\equiv(iH(I))^{\perp}$ of $H(I)$ coincides with $H(I^{\prime})$, where $I^{\prime}$ is the complement of $I$ in $S^{1}$ and orthogonality $\perp$ refers to the real part of the scalar product. Upon second quantization, these properties turn into locality of a Möbius covariant chiral net of local algebras with the Reeh-Schlieder property. It trivially restricts to a net on the time axis by deleting the point $-1\in S^{1}$ and identifying $S^{1}\backslash\{-1\}$ with ${\mathbb{R}}$ via the Cayley transform.

If the unitary representation of Möb extends to a representation of the four-dimensional conformal group on ${\mathcal{H}}$, then the net of standard subspaces on $S^{1}$ extends to a conformally covariant net $O\mapsto H(O)$ on the four-dimensional Dirac manifold, which in turn restricts to a net on Minkowski spacetime. By second quantization, one obtains a Huygens local net of local algebras $O\mapsto A(O)$. “Huygens locality” (= commutativity also at timelike distance) is a consequence of the locality along the time axis, that is guaranteed by the BGL construction.

By construction, the modular group of $H({\mathbb{R}}_{+})$ is given by the dilations, and that of $H(I)$ is the one-parameter subgroup of Möb that fixes the interval $I$. It follows that the modular groups of the local algebras $A(O)$ ($O$ a doublecone or a wedge) in the vacuum state are the subgroups of the conformal group (conjugate to boost subgroups) that fix the doublecone or wedge $O$. In the construction of Sect. 2.3, the one-particle space is given by $E^{(h)}{\mathcal{H}}$, the representation of the Möbius group remains undeformed, and the local subspaces and local algebras away from the time axis are constructed with the deformed translations and boosts. Because the projection $E^{(h)}$ commutes with the representation of Möb, it is automatic that the modular groups on the time axis coincide with those of the scalar field restricted to $E^{(h)}{\mathcal{H}}$, and away from the time axis are conjugate by deformed Poincaré transformations.

The situation is very different in the mass deformation of Sect. 3. Because the spectral projection $E_{m}$ does not commute with the dilations, the latter are not defined on the subspace ${\mathcal{H}}_{m}$, and the BGL construction is not possible. Indeed, it is well-known that in the massive case, $H_{m}({\mathbb{R}}_{+})$ (to be identified with $H_{m}(V_{+})$ in the net on Minkowski spacetime) has trivial symplectic complement ([11, 12]), in contrast to the duality $(iH_{0}({\mathbb{R}}_{+}))^{\perp}=H_{0}({\mathbb{R}}_{-})$ in the massless case. On the other hand, we know that the massive local subspace $H_{m}(I)$ of an interval $I$ on the time axis coincides with the local subspace $H_{m}(O_{I})$ for the doublecone $O_{I}$ spanned by $I$; and by the work [6] of Eckmann and Fröhlich, we have a local unitary equivalence between the massive and massless time-zero algebras. Specifically, there is a unitary operator $U_{R}$ such that for intervals $I_{r}=(-r,r)\subset{\mathbb{R}}$ symmetric around $t=0$ and $r<R$, one has $H_{m}(O_{r})=U_{R}H_{0}(O_{r})$ where $O_{r}$ is the causal completion of the time-zero ball of radius $r$. Thus, the modular groups of $H_{m}(O_{r})$ are, for $r<R$, conjugate to the known modular groups of $H_{0}(O_{r})$ by $U_{R}$. Increasing $R$, the unitary $U_{R}$ will change, but the subspaces $H(I_{r})$ for $r<R$ and their modular groups remain unchanged. Thus, the modular groups for $r<R_{1}<R_{2}$ commute with $U_{R_{2}}U_{R_{1}}^{*}$, and a more detailed investigation of the unitaries $U_{R}$ would be worthwhile to get a first insight into the hitherto unknown massive modular groups.

This information about the modular groups then passes to arbitary doublecones via the adjoint action of the deformed translations and boosts, as constructed in Sect. 3.

Acknowledgment. We thank Roberto Longo for valuable discussions, and the referee for suggesting improvements. Our work was supported in part by GNAMPA-INdAM, the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006, and by the ERC Advanced Grant 669240 QUEST “Quantum Algebraic Structures and Models”.