Abstract
Reviewing the construction of induced representations of the Poincaré group of four-dimensional spacetime we find all massive representations, including the ones on interacting many-particle states. Massless momentum wavefunctions of non-vanishing helicity turn out to be more precisely sections of a U(1)-bundle over the massless shell, a property which to date was overlooked in quantum field theory and in bracket notation. Our traditional notation of states in Hilbert space enables questions about square integrability and smoothness. Their answers complete the picture of relativistic quantum physics. Frobenius reciprocity prohibits massless one-particle states with total angular momentum less than the modulus of the helicity. There is no two-photon state with \(J=1\), explaining the longevity of orthopositronium. Partial derivatives of the momentum wave functions are no operators in the space of massless states with nonvanishing helicity. They allow only for covariant, noncommuting derivatives. The massless shell has a noncommutative geometry with helicity being its topological charge.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Some presentations of relativistic quantum physics, in particular text books on string theory, postulate generators of the Poincaré group in Hilbert space given in terms of position operators \(X=(X^0,X^1,\dots ,X^{D-1})\) and momentum operators \(P=(P^0,P^1,\dots , P^{D-1})\), which generate a \(2D+1\)-dimensional Heisenberg group of unitary operators \(U_a V_b \text {e}^{\text {i} c}\), (\(a,b\in \mathbb {R}^D\), \(c\in \mathbb {R}\)),
where \(a\cdot b = \eta ^{mn}a_m b_n = a_0 b_0 - a_1 b_1 - \dots -a_{D-1} b_{D-1}\). On smooth and rapidly decreasing momentum wave functions \(\Psi : \mathbb R^D \rightarrow \mathscr {V}\,,\,p\mapsto \Psi (p)\), where \(\mathscr {V}\) is a sum of finite dimensional spaces with matrix representations of the Lorentz group and a non-degenerate scalar product, the operators P and X act by multiplication and differentiation
hermitian with respect to the scalar product
and represent the Heisenberg algebra, which in covariant string theory is part of its canonical quantization,
Hence, given matrices \(\Gamma _{mn}: \mathscr {V}\rightarrow \mathscr {V}\) which commute with X and P and generate representations of the Lorentz group, the operators
represent, analogous to angular momentum operators, the Lorentz algebraFootnote 1
Prevalent as this representation is, it is fundamentally flawed [6]: by the Weyl relations (1) \(P^0\) is unitarily equivalent to \(P^0 + b\), \(b\in \mathbb R\),
So the spectrum of \(P^0\) is translation invariant, \(\text {spec}(P^0)=\text {spec}(P^0 + b)\).
In all acceptable relativistic theories \(\text {spec}(P^0)\) is non-negative. Hence they allow neither \(X^0\) nor any operator which employs \(X^0\) such as \(M_{0n}\) in (5). Postulating constraints to restrict the spectrum to positive energy mass shells leads to contradictions [6]. The Heisenberg algebra is incompatible with a unitary representation of the Poincaré group \(\mathfrak P\) on one-particle states.
Another reason to take the Heisenberg algebra as basis for the construction of Lorentz generators may be their action on quantum fields \(\Phi (x)\) with
But neither x nor \( \partial _x\) nor \(\Phi (x)\) are operators in a Hilbert space. The fields are operator valued distributions. Integrated with smooth, rapidly decreasing Schwartz functions f
and applied to the vacuum they generate a set of one-particle states \(\Phi _f \Omega \) which, by the Reeh-Schlieder theorem [20], is dense already if all f are restricted to vanish outside some arbitrarily chosen fixed open subset of \(\mathbb {R}^4\). So the argument x of the fields is not precisely the position of a particle, however suggestive this language about Feynman graphs may be.
To remind the reader we review the construction of induced representations. In appendices we provide the angle of the Wigner rotations in the massive and massless cases, filling the gap which prevented to date the straight forward determination of the Lorentz generators.
In the massive case they act on a sum of Hilbert spaces of fixed spin s, \((2s+1)\in \mathbb N\), which all have the peculiarity to factorize
into a Hilbert space \(\hat{\mathscr {H}_{s}}\) which carries an irreducible spin-s representation of \(\mathfrak {P}\) with unit mass times a Hilbert space \(\mathscr {I}_s\) which is pointwise invariant and is acted upon by the positive mass operator \(M=\sqrt{P^2}\).
One-particle spin-s representations act on the span of eigenspaces of M and are irreducible if and only if \(\mathscr {I}_s = \mathbb C\).
This settles the question, what an interacting representation should be. For it necessary conditions have been specified [25] but no solution. For fixed spin massive representations of \(\mathfrak P\) can differ from the free representation with mass M only by employing an interacting mass \(M'\). On many-particle states it acts in \(\mathscr {I}_s\) as Hamiltonian of the relative motion [5].
Massless representations are not a continuous limit \(m \rightarrow 0\) of massive representations. Their mass shell, the orbit of a massless momentum \(\underline{p}\) under the Lorentz group, encloses a fixed point \(p=0\) and has the topology \(\mathbb R \times S^{D-2}\). Therefore the generators do not act on smooth wavefunctions of \(\mathbb R^{D-1}\) but, as it turns out, on sections of bundles with nontrivial transition functions. We derive these results by elementary analysis from the requirement of square integrability of rotated states.
The implications for the massless local vector field will be dealt with separately.
The helicity of a photon cannot combine with its orbital angular momentum to a rotation invariant state: ‘There is no round photon’. Consequently there is no two-photon state which combines the helicities and the relative orbital angular momentum to \(J=1\), explaining why positronium with \(J=1\) cannot decay into two photons [13, 28]. We derive this result from Frobenius reciprocity of induced representations. So one cannot circumvent it using string-local [17] vector fields rather than local fields.
2 Induced Representations
Mackey’s theorems [15] classify the unitary, strongly measurableFootnote 2 representations \(U\!\! : g\mapsto U_g\) of the Poincaré group \(\mathfrak P\) of a D-dimensional spacetime in a Hilbert space \(\mathscr {H}\), \(U_g: \mathscr {H} \rightarrow \mathscr {H}\), \(U_g U_{g'}=U_{g\,g'}\).
Each U decomposes, uniquely up to unitary equivalence, into a sum of representations (10) which act on a product of \(\hat{\mathscr {H}_s}\) with an irreducible representation, and a pointwise invariant space \(\mathscr {I}_s\).
To describe the irreducible representations in the cases of interest let G denote the cover of the restricted Lorentz group and \(H\subset G\) the cover of the stabilizer of some fixed timelike or lightlike momentum \(\underline{p}\in \mathbb {R}^D\)
The Lorentz orbit of \(\underline{p}\) is a mass shell \(\mathscr {M}\sim G/H\) with \(m > 0\) or \(m=0\),
Their points correspond one-to-one to the left cosets gH, as \(p = g \underline{p} = gh \underline{p} \). As these cosets are either identical or disjoint, G is a bundle over a mass shell \(\mathscr {M}\) with fibers, which are each diffeomorphic to H.
Let R represent H unitarily in a Hilbert space \(\mathscr {V}\), e.g. in \(\mathbb C^{2s + 1}\),
and denote by \(\mathscr {H}_R\) the space of functions \(\Psi : G \rightarrow \mathscr {V}\) which satisfy
\(\mathscr {H}_R\) is mapped to itself by the multiplicative representation of translations a,
and by composition with the inverse Lorentz transformations
One easily confirms that \(U_a\) and \(U_g\) (15) (16) represent \(\mathfrak P\), \(U_a\,U_b = U_{a+b}\) , \(U_g\, U_{g^\prime }=U_{g\,g^\prime }\) and \(U_g\, U_a = U_{b}\, U_g\) with \(b = g a\).
As R is unitary, the scalar product of the values at g of two functions \(\Phi , \Psi \in \mathscr {H}_R\), \(\Phi (g), \Psi (g)\in \mathscr {V}\),
is constant in each left coset gH. So one can define a scalar product in \(\mathscr {H}_R\)
where \(\tilde{\text {d}}\! p = \tilde{\text {d}}\!\, (g\,p)\) is a Lorentz invariant measure. We choose it with the conventional normalization factors of quantum field theory \((m\ge 0\ ,\ D=4)\),
Equipped with this scalar product \(\mathscr {H}_R\) becomes a Hilbert space and U the unitary representation,
which one calls induced by the representation R of the stabilizer H.
Two such induced representations are equivalent if and only if the inducing representations R are equivalent and their masses coincide. They are irreducible only if R is an irreducible representation of H.
The states, on which an irreducible representation acts, are the possible states of a single particle. In sufficient distance to other particles its time evolution is generated for an observer at rest by \(P^0\) and completely determined by its mass, no matter whether it is composite or elementary and whether it is charged or neutral.
3 Sections of Bundles
The momentum wave function of a spin-s particle in state \(\psi \) is a probability amplitude: the integral of its modulus squared on \(\Delta \subset \mathscr {M}\) gives the probability
for measurements of the momentum P to yield a result which lies in \(\Delta \).
It is invertibly related to the more abstract functions \(\Psi \in \mathscr {H}_R\), which have a fixed dependence \(\Psi (gh)=R^{-1}(h)\Psi (g)\) on right factors \(h\in H\). Mathematically the relation is specified by a section \(\sigma \) of the bundle G over the base \(\mathscr {M}\), in physics parlance by a choice of a gauge. The section \(\sigma \) is a set of smooth maps
the local sections, with open domains \(\mathscr {U}_\alpha \subset \mathscr {M}\) which cover \(\mathscr {M} = \cup _\alpha \mathscr {U}_\alpha \). Each \(\sigma _\alpha \) has to cut each fiber over \(\mathscr {U}_\alpha \) once: it assigns smoothly to each \(p\in \mathscr {U}_\alpha \) a Lorentz transformation \(\sigma _\alpha (p)\) which maps \(\underline{p}\) to p, \(\sigma _\alpha (p)\,\underline{p} = p\). This relates in \(\mathscr {U}_\alpha \) each function \(\Psi \in \mathscr {H}_R\) to its momentum wave function
In the intersection of domains local sections are related by their transition function
As \(\Psi \) is in \(\mathscr {H}_R\), momentum wavefunctions are related in \( \mathscr {U}_\alpha \cap \mathscr {U}_\beta \) by
The other way round, to each set of functions \(\psi _\alpha :\mathscr {U}_\alpha \rightarrow \mathscr {V}\) with such transition functions there corresponds the function \(\Psi \in \mathscr {H}_R\) which for g in a fiber over \(\mathscr {U}_\alpha \) is defined by
In the fibers over \(\mathscr {U}_\alpha \cap \mathscr {U}_\beta \) the local sections \(\sigma _\alpha \) and \(\sigma _\beta \) yield the same \(\Psi \).
Left multiplication by g maps \(\sigma _\alpha (p)\) to \(g \sigma _\alpha (p)\) in the fiber over some domain \(\mathscr {U}_\beta \) and related to \(\sigma _\beta (g p)\) by an H-transformation, the Wigner rotation
It enters as follows the transformation of the momentum wave functions, (no sum over \(\alpha \))
These transformations of momentum wave functions represent G, as for \(p\in \mathscr {U}_\alpha \), \(g_1 p\in \mathscr {U}_\beta \) and \(g_2g_1 p\in \mathscr {U}_\gamma \) the Wigner rotations satisfy by (27)
One can drop the denomination of the neighbourhoods in (28)
if one agrees to read equations about values of sections to apply by definition in the neighbourhoods which contain the arguments.
In \(D=4\) for massless representations with non-trivial R the complication of several local sections is unavoidable. Each Lorentz transformation decomposes uniquely and continuously into a product of a boost and a rotation, so the cover of the Lorentz group G has the topology of \(\mathbb R^3 \times S^3 \). It is a non-trivial bundle over the massless shell \(\mathscr {M}_0\) (12) with the topology of \(\mathbb R\times S^2\). SU\((2)\sim S^3\), the cover of SO(3), is a bundle over \(S^2\subset \mathscr {M}_0\) with fibers diffeomorphic to \(S^1\), each winding once around each other fiber.
Stereographic Projection of the Hopf Fibration of \(S^3\) [21]
This bundle, the Hopf bundle, does not allow to extend a local section smoothly to a global section over \(\mathscr {M}_0\). This is demonstrated by the interlocked fibers, which one can cut once – all but one – in their intersection with a disk bordered by one chosen \(S^1\). But this chosen \(S^1\) is not cut in exactly one point. Mathematically: if a global section existed, then G would be
a product manifold \(\mathscr {M}_0 \times H \) of the base and a fiber.Footnote 3 But \(S^3\subset G\) is simply connected – each closed path in \(S^3\) can be continuously shrunk to a point – while \(S^1\) is not, hence \(S^3\ne S^2\times S^1\). So massless representations with nontrivial R have to employ at least two local sections.
4 Smooth Wavefunctions
Each \(\omega \) from the Lie algebra \(\mathfrak g\) of a finite dimensional Lie group G generates by the exponential map the elements \(g_t=\text {e}^{t\,\omega }\), \(t\in \mathbb R\), of a one-parameter group. The skew hermitian generators \(-\text {i}M_\omega \) of the one-parameter subgroups of a unitary representation \(g \mapsto U_g\) , \(U_g:\mathscr {H}(\mathscr {M})\rightarrow \mathscr {H}(\mathscr {M})\), represent \(\mathfrak g\) on the subspace \(\mathscr {D}\) of states \(\Psi \) on which all \(U_{\text {e}^{t\omega }}\) act smoothly [22]
They generate \(U_{\text {e}^{t\,\omega }}=\text {e}^{-\text {i}\, t M_\omega }\) by their (\(\omega \)-dependent) spectral resolution \(E_\lambda \)
The unitary operators \(U_{\text {e}^{t\,\omega }}\) are defined in the complete Hilbert space \(\mathscr {H}\), while the power series \(\sum _k (-\text {i}t M_\omega )^k \Psi /k!\) converges only in an analytic subspace which is unsuitably small for some purposes, e.g. it contains no state \(\Psi \) of compact support.
Because the maps \(g \mapsto U_g \Psi \) are measurable therefore the smoothened states
exist, which are averaged with smooth functions \(f: \mathfrak P \rightarrow \mathbb {C}\) of compact support and with an invariant volume form \(\text {d} \mu _g\), \(\text {d} \mu _{g' g}=\text {d} \mu _g\). These states transform by
Consequently they are infinitely differentiable with respect to the coordinates \(\omega \). They span the Gårding space, which coincides with \(\mathscr {D}\) [3], is dense in \(\mathscr {H} \) and invariant under all \(U_g\) and their generators. It is a common, dense domain of the algebra of the skew hermitian generators [22].
That such a common and dense domain exists for each unitary, strongly measurable representation of a finite-dimensional Lie group justifies in retrospect physicists who manipulate the unbounded generators algebraically not caring about domains.
The rough which one has to take with the smooth: an operator can be safely multiplied with the generators of a Lie group only if it maps smooth states to smooth states. Otherwise their algebraic product may not be defined. Rough operators with discontinuities or singularities in the group orbit, and be it only in a single point, have been shown to be inconsistent with the algebra of the Poincaré generators [7]. Rough operators map physical states to unphysical states on which the Poincaré generators diverge.
5 Massive Representations
If one picks a momentum \(\underline{p}\) from a massive shell \(\mathscr {M}_m\), \(m > 0\) (12), then for an observer at relative rest it has the coordinates \(\underline{p} = (m,0,\dots )\) and \(\mathscr {M}_m\) is its orbit under the restricted Lorentz group. The stabilizer of \(\underline{p}\) is the group of rotations, SO\((D-1)\) which in \(D=4\) is covered by \(H=\)SU(2). Each of its irreducible representations R is determined by its spin s where \(2s+1\), the dimension of R, is a natural number.
Each Lorentztransformation \(\Lambda =L_u O\) can be uniquely and continuously decomposed into a rotation O, \(O^{\text {T}}=O^{-1}\!,\) and a boost \(L_u=L_u^{\text {T}}\) [4],
The boost \(L_u\) maps the four-momentum \(\underline{p}=(m,0,0,0)\) of a massive particle at rest to the momentum \(p=(\sqrt{m^2+\textbf{p}^2},\textbf{p})= m\, u\) of a particle with four-velocity u.
It provides the global section
This choice of a section allows to determine explicitly the generators of (28) by differentiation with respect to t at \(t=0\). The left side yields \(\omega ^i(p)\, \partial _i \Psi -\text {i}\, M_\omega \,\Psi \).Footnote 4
Rotations \(D=\text {e}^\omega \) rotate four-velocities, \(D L_u D^{-1}= L_{Du}\), thus they agree with their Wigner rotation, \(W(D,p)=L_{Du}^{-1}D L_{u}= D\). Let \(D_t=\text {e}^{t\omega }\) be unitarily represented by \(R(\text {e}^{t\omega })\Psi (p) =\bigl (\exp \frac{t}{2}\omega ^{ij}\Gamma _{ij}\bigr )\Psi (p)\) with skew hermitian matrices \(\Gamma _{ij}\), which represent \(\mathfrak {so}(3)\) or \(\mathfrak {su}(2)\) (\(i,j,k,l\in \{ 1,2,3\}\))
The derivative of \(R(\text {e}^{t\omega })\) with respect to t at \(t=0\) is \(\frac{1}{2}\omega ^{ij}\Gamma _{ij}\Psi (p) \). Hence (28) implies
As \(-\text {i}M_{ij}\) generate rotations, \((J^1,J^2,J^3)=(M_{23}, M_{31},M_{12})\) are the components of the angular momentum operator \(\textbf{J}\). It consists of orbital angular momentum \(\textbf{L} = -\text {i}p \times \partial _p\) and spin \(\textbf{S}\) contributed by the matrices \(\text {i}\Gamma \), \(\textbf{J} = \textbf{L} + \textbf{S}\), \([L^i,S^j]=0\).
The component functions of the differential operator on the right side of (38) are the negative of the infinitesimal motion \(\delta p\) of the points p. This motion occurs on the left side of (28) or as inverse transformation \(M_g^{-1}\) in the adjoint transformation
of maps \(f:\mathscr {M} \rightarrow \mathscr {N}\) of manifolds \(\mathscr {M}\) to \(\mathscr {N}\) on which G is realized by transformations \(M_g\) and \(N_g\), \(M_g M_{g'}= M_{g g'}\), \(N_g N_{g'}= N_{g g'}\), \(\text {Ad}_g \text {Ad}_{g'}= \text {Ad}_{g g'}\).
The Wigner rotation \(W(L_u,p)\) rotates from p to \(L_u p\) by the deficit angle \(\delta \) of the hyperbolic triangle with vertices \((L_u p, p, \underline{p})\)
Here \(a=\text {dist}{(\underline{p}, p)}\) and \(b=\text {dist}{(L_u p,p))}\) denote the lengths of two edges and \(\varphi \) is their included angle. We derive this result (110) in Appendix A. Crucial as it is for the determination of the generators, I am unaware of a published derivation. For infinitesimal \(L_u\) and b this yields
As the Wigner rotation of an infinitesimal boost \(l_{0i}\) applied to p rotates from \(\textbf{p}\) to \(- e_i\) or from \( e_i\) to \(\textbf{p}\) it is represented by \(\Gamma _{ij}{p^j}/{(p^0 + m)}\). Combining both infinitesimal changes, we obtain the generators of boosts
The generators (38), (42) are skew hermitian with respect to the scalar product (19). They rotate and boost the four-vector P
and represent the Lorentz algebra (6). For \([-\text {i}M_{ij},-\text {i}M_{kl}]\) this is simple to check. It is manifest for \([-\text {i}M_{ij},-\text {i}M_{0k}]\), because \(p^i, \partial _{p^i}\) and \(\Gamma _{ij}\) transform as vectors or products of vectors under the rotations of momentum and spin. The relations \([-\text {i}M_{0i},-\text {i}M_{0j}]=\text {i}M_{ij}\) hold as if by miracleFootnote 5
Splitting the momenta \(p = m u\) of the wavefunctions into the mass m and the four-velocity \(u=(\sqrt{1+\textbf{u}^2},\textbf{u}), u^2 = 1,\) and allowing the mass m to depend on further invariant variables r, as is the case for many-particle states, the generators of each massive spin-s representation, whether reducible or irreducible, whether free or interacting, are unitarily equivalent to
For each r, the operators \(U^m\) and \(M_{mn}\) generate in \(\hat{\mathscr {H}_s}\) (10) the irreducible unit mass spin-s representation of \(\mathfrak P\).
The space of one-particle states is the span of the eigenspaces of M.
The mass \(M'\) of an interacting representation commutes with all generators \(U^m\) and \(M_{mn}\). So it is invariant under translations \(V_a = \text {e}^{\text {i}U \cdot a}\), generated by \(U^m\), and under Lorentztransformations \(V_{e^\omega }=\text {e}^{-\text {i}/2 \omega ^{mn}M_{mn}}\). To yield a non-trivial S-matrix however, \(M'\) must not commute with M [5]. Both are positive operators in the invariant Hilbert space \(\mathscr {I}_s\) of wavefunctions of r.
On many-particle states, \(U^m\) generates translations of the center while \(M'\) generates the interacting relative motion. The Hamiltonian \(P^{\prime 0}= U^0 M'\) separates not as a sum of Hamiltonians of the motion of the center and of the interacting relative motion, but factorizes as their product [5].
Each interacting representation has the form (45). If one requires the free and the interacting spatial momenta to coincide [25, (3.3.18)],
as is suggested if one employs ’pictures’ of the time evolution which coincide at some time, then this requirement excludes interaction: by (45) \(P^{\prime \, m}= M'\,U^m\) and \(P^{m}= M\,U^m\), hence (46) implies \(M'=M\) and the free and the interacting time evolution coincide, \(P^{\prime \,m}=P^m\).
6 Massless Representations and Helicity
Picking arbitrarily from the massless shell
a momentum \(\underline{p}\), it has for a suitable observer coordinates \(\underline{p} = (1,0,0,\dots 1)\) and \(\mathscr {M}_0\) is its Lorentz orbit. It is the manifold \(S^{D-2}\times \mathbb R\), as \(\textbf{p}\ne 0\) is specified by its direction and its nonvanishing modulus \(|\textbf{p}| = \text {e}^a> 0\). Though the observer has adopted a unit of energy, this does not spoil dilational symmetry as dilations map \(\mathscr {M}_0\) to itself and the transformations \(U_{\text {e}^\lambda }\),
represent them unitarily with respect to the scalar product (19) with \(m=0\).
The apex of the cone, \(p=0\), is a fixpoint of Lorentz transformations and not in \(\mathscr {M}_0\), the orbit of \(\underline{p}\). This discrimination is irrelevant as concerns domains of integration but essential for the domain of smoothness: smooth states have to be smooth in \(\mathscr {M}_0\).
The stabilizer H of \(\underline{p}\) is generated by infinitesimal Lorentz transformations \(\omega \), \(\eta \omega =-(\eta \omega )^{\text {T}}\), with \(\omega \underline{p} = 0\), \(\omega ^m{}_0 + \omega ^m{}_z=0\), thus of the form
Here \(\hat{\omega }\) is a skewsymmetric \((D-2)\times (D-2)\) matrix, which generates a rotation \(w\in \,\)SO\((D-2)\) and \(\textbf{a}\) is a \(D-2\)-vector. Because \(\omega (\textbf{a},0)\) and \(\omega (\textbf{b},0)\) commute they generate translations in \(D-2\) dimensions. They are rotated by w. So H is the Euclidean group \(\text {E}(D-2)\) in \(\mathbb {R}^{D-2}\).
By Mackey’s theorems [15] each massless unitary representation of the Poincaré group \(\mathfrak P\) is a sum of irreducible representations which are induced by unitary irreducible representations of the cover of E\((D-2)\).
By the same theorems each such representation of \(E(D-2)\) acts on the functions of the SO\((D-2)\) orbit, \(S^{D-3}\) or \(\{0\}\), of some \(\underline{q}\in \mathbb R^{D-2}\) and is characterized by a unitary irreducible representation of q’s stabilizer SO\((D-3)\) or, if \(q=0\), SO\((D-2)\).
In \(D=4\), the SO(2)-orbit of \(\underline{q} = (1,0)\) is a circle, its stabilizer is trivial. The induced unitary representation of E(2) acts on wave functions of a circle with some fixed \(q > 0\) and \(h\in \mathbb R\) by
where \(f(\varphi +2\pi )=\text {e}^{\text {i}\,2\pi h }f(\varphi )\). Contrary to its denomination ’continuous spin’ such a representation contains only discrete helicities, the Fourier modes of f. As these infinitely many possible polarizations of massless states make the specific heat of each cavity infiniteFootnote 6 they are observationally excluded. They violate Planck’s radiation law which started quantum theory. Moreover, atomic spectroscopy and polarization filters establish beyond reasonable doubt that photons have two, not infinitely many, mutually orthogonal polarizations.
If \(\underline{q}=0\in \mathbb R^2\), then its orbit under SO\((2)=E(2)/\mathbb R^2\) only consists of \(\underline{q}\). All translations \({\text {e}^{\omega (\textbf{a},0)}}\) in E(2) are represented trivially by \(U_{\text {e}^{\omega (\textbf{a},0)}}= 1\). Each unitary irreducible representation R of SO(2) is one-dimensional and represents a rotation \(D_\delta \) with angle \(\delta \) by multiplication with
where in ray representations h, the helicity, is some real number.
In \(D=4\) there is no global section with which to relate functions in \(\mathscr {H}_R\) (14) to momentum wave functions of \(\mathscr {M}_0\) (23). Therefore we use two local sections \(N_p\) and \(S_p\) to derive the transformation of momentum wave functions. They are differentiable in the north \(\mathscr {U}_N\) outside the negative 3-axis \(\mathscr {A}_-\) and in the south \(\mathscr {U}_S\) outside the positive 3-axis \(\mathscr {A}_+\)
As \(\mathscr {U}_N\) and also \(\mathscr {U}_S\) cover \(\mathscr {M}_0\) up to a set of vanishing measure, one need not distinguish integrals on these sets though as domains of differentiable functions one has to discriminate these sets carefully.
The northern section \(N_p=D_p B_p\) boosts \(\underline{p} = (1,0,0, 1)\) in 3-direction to \(B_p \underline{p} = (|\textbf{p}|,0,0, |\textbf{p}|)\) and rotates around \((-\sin \varphi , \cos \varphi ,0)\) by \(\theta \), \(0\le \theta < \pi \), to \(p = |\textbf{p}| (1,\sin \theta \cos \varphi , \sin \theta \sin \varphi ,\cos \theta )= |\textbf{p}|(1,n_x,n_y,n_z)\),
For \(D_p\) to be smooth at \(\underline{p}\) it is crucial that, different from the prevalent literature [25, (2.5.47)], \(D_p\) acts first by the inverse rotation by \(\varphi \) around \(e_3\) and not only by the two rotations by the Euler angles \(\theta \) around \(e_2\) and by \(\varphi \) around \(e_3\). Their product is discontinuous at \(\theta =0\).
In place of the unhandy \(4\times 4\) Lorentz matrix \(N_p\) one works more easily with its SL\((2,\mathbb C)\) representation \(n_p\) (93, 94) using \(p^\prime = \sqrt{|\textbf{p}|}\), \(\theta ^\prime = {\theta }/{2}\) and
Check that \(n_p\) transforms \(\hat{\underline{p}}=({{\textbf {1}}}- \sigma ^3)\) to \(n_p \,\hat{\underline{p}}\,(n_p)^\dagger = |\textbf{p}| - \textbf{p}\cdot \sigma =\hat{p}\) and leaves invariant the axis \(-p_y \sigma _x + p_x \sigma _y \). In \(\mathscr {U}_N\), \(0\le \theta < \pi \), the section \(n_p\) is smooth. It is discontinuous at \(\mathscr {A}_-\) where the limit \(\theta \rightarrow \pi \) depends on \(\varphi \).
The section
is defined and smooth in the south, \(0<\theta \le \pi \). The corresponding southern section \(S_p\) rotates \(B_p \underline{p}\) in the 1-3-plane by \(\pi \) to \(|\textbf{p}|(1,0,0,-1)\) and then along a great circle by the smallest angle to p, namely by \(\pi - \theta \) around the axis \((\sin \varphi , -\cos \varphi ,0)\).
In their common domain local SL\((2,\mathbb C)\) sections differ by the multiplication from the right (24) with a momentum dependent SL\((2,\mathbb C)\) matrix which represent E(2)
In the case at hand, \(s_p\) differs in \(\mathscr {U}_N\cap \mathscr {U}_S\) from \(n_p\) by a preceding rotation around the 3-axis by \(2\varphi (p)\). Geometrically this angle is the area of the spherical lune (spherical digon) with vertices \(\textbf{e}_z\) and \(- \textbf{e}_z\) and sides (meridians) through \(\textbf{e}_x\) and \(\textbf{p}/|\textbf{p}|\),
The angle \(\delta \) of the Wigner rotation \(W(\Lambda , p)\) \(\Lambda N_p = N_{\Lambda p}W(\Lambda ,p)\) (27), can be easily read off the Iwasawa decomposition (112) of the SL\((2,\mathbb C)\) representation
as twice the phase of \((n_{\Lambda p}\,w)_{22} =|(n_{\Lambda p}\,w)_{22}|\, \text {e}^{\text {i}\delta /2}\).
If \(\Lambda \) is a rotation by \(\alpha \) around an axis \(\textbf{n}\) then \(\lambda \) is given by (93) and the Wigner angle \(\delta \) and its infinitesimal value are
As \(R_{D_\delta } = \text {e}^{-\text {i}h \delta }\), the representation \(-\text {i}\, h\,p_y/(|\textbf{p}| + p_z)\) of the infinitesimal Wigner rotation accompanies e.g. the infinitesimal rotation in the 3-1-plane.
Analogously one determines the Wigner angle of a boost (94)
and, as \(-\text {i}M_{0i} \) boosts from \(e_0\) to \(-e_i\), obtains in \(D=4\) [1, 8, 14]
In D-dimensional spacetime the generators areFootnote 7
where \(p_z = p^{D-1}\), \(i,j,k\in \{1,\dots D-2\}\) and \(h_{ij}= - h_{ji}\), \(h_{ij}^{*\text {T}} = - h_{ij}\), generate a representation of SO\((D-2)\) (37).
In \(D=4\) one has \(h_{ij}=-\text {i}h \varepsilon ^{ij}\), where the real number h, the helicity, is the angular momentum \(\textbf{p} \cdot \textbf{J}/|\textbf{p}|\) in the direction of the momentum \(\textbf{p}\ne 0\),
The mere fact, that differential operators satisfy a Lie algebra on some space of functions does not make them generators of a unitary representation of the corresponding group. This is demonstrated by the operators \(-\text {i}M_{mn}\) (62). On differentiable functions of the northern coordinate patch \(\mathscr {U}_N\) (52) they satisfy the Lorentz Lie algebra (6) in \(D=4\) [1, 8, 14] no matter which real value the helicity h has. The Lorentz Lie algebra does not restrict 2h to be an integer. The operators are formally skew hermitian with respect to the Lorentz invariant measure \(\tilde{\text {d}}\! p\), formally only, because the singularities at \(|\textbf{p}|+ p_z = 0\) need closer investigation.
The operators (62) cannot generate the Lorentz group because the domain \(\mathscr {U}_N\) of the differentiable functions is too small: Lorentz generators act on smooth states, which have to be defined everywhere on the massless shell \(\mathscr {M}_0\). The group acts transitively and contains for each massless momentum p a rotation which maps it to \(\hat{p} \in \mathscr {A}_-=\{p: p^0 = |\textbf{p} | = - p_z > 0\}\).
For \(h\Psi _N(\hat{p}) \ne 0\) the functions \(h (|\textbf{p}| + p_z)^{-1}\Psi _N\) are not defined on \(\hat{p} \in \mathscr {A}_-\) and seem to contradict (16) by which smooth states in \(\mathscr {H}_R\) are transformed to smooth states. One cannot require all wave functions \(\Psi _N\) to vanish on \(\mathscr {A}_-\) because such functions do not span a space which is mapped to itself by rotations. One also cannot take comfort in the misleading argument [9, 23] that the set of singular points of e.g. \(M_{13}\Psi \) has measure zero: The argument is irrelevant as not the measure of the singular set matters but the measure \(\tilde{\mu }(\Gamma _c)\) of the sets \(\Gamma _c = \{p:|M_{13} \Psi (p)|^2 > c \}\), where \(\Psi \) is large. If the limit \( c \rightarrow \infty \) of \(c\,\tilde{\mu }(\Gamma _c)\) does not vanish then \(M_{13}\Psi \) is not square integrable.
That a set of measure zero does not count in quantum physics holds for the elements of each equivalence class of a wave function but not for smooth states and their domain. Each smooth equivalence class contains one unique smooth function on which the generators are defined and act smoothly.
For negative \(p_z\) and with \(x = (p_x^2 + p_y^2)/p_z^2\) one has
because the concave function \(x \mapsto \sqrt{1+x}\) is bounded by its tangent at \(x=0\). So
diverges in a neighbourhood \(\mathscr {U}\) of \(\hat{p} \in \mathscr {A}_-\) at least like the inverse square of the axial distance \(r=\sqrt{p_x^{2}+p_y^2}\).
If \(h\,\Psi _N\) does not vanish in a neighbourhood \(\mathscr {U}\) of \(\hat{p} \in \mathscr {A}_-\) then, for \(M_{31}\Psi _N\) to exist, it must not be differentiable there. Otherwise the multiplicative term of \(M_{31}\Psi _N\) dominates near \(\hat{p}\) where it scales as \( |p_z| / r\). Its squared modulus integrated over a sufficiently small \(\mathscr {U}\) in cylindrical coordinates is bounded from below by a positive number times an r-integral over \(r / r^2 \text {d} r\) which diverges at the lower limit \(r=0\). Hence the multiplicative term alone diverges.
Near \(\mathscr {A}_-\) the derivative term \(D\Psi _N= -p_z \partial _{p_x}\Psi _N\) in \(M_{31}\Psi _N\) has to cancel the multiplicative singularity \(M \Psi _N\) up to a function \(\chi \), which is smooth. This linear inhomogeneous condition \((D + M)\Psi _N=\chi \) is solved by variation of constants, \(\Psi _N = f \Psi _S\), where f satisfies the two homogeneous conditions
for both \(M_{31}\Psi _N\) and \(M_{32}\Psi _N\) to exist. They determine \(f(p)=\text {e}^{-2\text {i}h \varphi (p) }\) up to a factor.
The function \(\Psi _S\) is smooth in the southern coordinate patch \(\mathscr {U}_S\) (52) and related in \(\mathscr {U}_N\cap \mathscr {U}_S\) by the transition function \(f^{-1}=h_{SN}\) to \(\Psi _N\)
Each state \( \Psi \) is given by local sections \(\Psi _N\) and \(\Psi _S\) of a bundle over \(S^2\times \mathbb R\) with transition function \(h_{SN}\) which is defined and smooth in \(\mathscr {U}_N\cap \mathscr {U}_S\) only if 2h is integer. This is why the helicity of a massless particle is integer or half integer. Multiplying (62) with \(h_{SN}\) one obtains from (68)
The same generators result if, along the lines of the derivation of (62), one reads the Wigner angle \(\delta \) from the phase of \((\lambda s_p)_{12}=-|(s_{\Lambda p}w)_{12}|\text {e}^{\text {i}\delta /2}\). All \(M_{mn}\Psi \) are square integrable, rapidly decreasing and smooth if \(\Psi \) is.
For all \(\omega \) in the Lorentz Lie algebra the operators \(-\text {i}M_\omega = - \text {i}/2\, \omega ^{mn}M_{mn}\) are by construction the derivatives of unitary one-parameter groups
which act on the dense and invariant domain \(\mathscr {D}\) of smooth states, where the transformations \(U_{\text {e}^{\omega }}\) and their products represent unitarily the Lorentz group. So \(-\text {i}M_\omega \) not only satisfy the Lorentz algebra but they are skew-adjoint (by Stone’s theorem) and generate a unitary representation of the Lorentz group.
In \(D>4\) dimensions
where \(R_p\) represents the rotation from \(\textbf{p}_{\text {T}}/|\textbf{p}_{\text {T}}|\) to \(\textbf{e}_x\) which leaves vectors orthogonal to the \(\textbf{e}_x-\textbf{p}_{\text {T}}\)-plane pointwise invariant.
For helicity \(h\ne 0\) each continuous momentum wave function \(\Psi \) has to vanish along some line, a Dirac string in momentum space, from \(\ln |\textbf{p}|=-\infty \) to \(\ln |\textbf{p}|=\infty \). Namely, if one removes the set \(\mathscr {N}\), where \(\Psi \) vanishes, from the domains \(\mathscr {U}_N\) and \(\mathscr {U}_S\) then the remaining sets \(\hat{\mathscr {U}}_N\) and \(\hat{\mathscr {U}}_S\) cannot both be simply connected. In \(\hat{\mathscr {U}}_N \) the phase of \(\Psi _N\) is continuous and its winding number along a closed path, being integer, does not change under deformations of the path. For a contractible path this winding number vanishes, as the phase along the path becomes constant upon its contraction. If \(\hat{\mathscr {U}}_N \) is simply connected then it contains a contractible path around \(\mathscr {A}_+\) which also lies in \(\hat{\mathscr {U}}_S\). On this path the phase of \(\Psi _N\) has vanishing winding number but the phase of \(\Psi _S(p)=\text {e}^{2\text {i}\,h\,\varphi (p)}\Psi _N(p)\) winds 2h-fold. So the path cannot be contractible in \(\hat{\mathscr {U}}_S \).
For \(h\ne 0\) and if \(\Psi \) does not vanish on the 3-axis then the partial derivatives of \(\Psi _N\) and \(\Psi _S=\text {e}^{2\,\text {i}\,h\,\varphi (p)}\,\Psi _N\) are not both square integrable. Well defined in \(\mathscr {M}_0 \) and skew hermitian with respect to the measure \(\tilde{\text {d}}\! p\) are the covariant derivatives
with the connection \(\textbf{A}\) in \(\mathscr {U}_N\) and \(\mathscr {U}_S\) given by
and related in \(\mathscr {U}_N \cap \mathscr {U}_S\) by the transition function
The covariant derivative \(D_j\) and the momentum \(P^i\) do not constitute Heisenberg pairs as the commutator \([D_i,D_j]\) yields the field strength of a momentum space monopole of charge h at \(p=0\),
The geometry of the massless shell of particles with nonvanishing helicity is noncommutative.
In terms of the covariant derivative the generators of Lorentz transformations (62), (69) take the rotation equivariant form
They satisfy the Lorentz algebra on account of (75) for arbitrary real h. However, the covariant derivative D is a skew hermitian operator only if 2h is integer.
The integrand \(\mathbb F = \frac{1}{2}\text {d} p^i\text {d} p^j F_{ij}\), the first Chern class, is a topological density: Integrated on each surface \(\mathscr {S}\) which is diffeomorphic to a sphere around the apex \(p=0\) of the cone \(p^0=|\textbf{p}|\) it yields a value
which depends only on the transition function of the bundle. The integral remains constant under smooth, local changes of the connection \(A_i(p)\) of the covariant derivative as the integral of \(\mathbb F(A)= \text {d} (\text {d}\! p^i\, A_i)\) on coordinate patches changes by boundary terms only and they vanish for local changes.
7 Angular Momentum
The massless shell is foliated in spheres with radius \(|\textbf{p}|\), \(\mathscr {M}_0 = \mathbb R_+ \times S^2\). Hence the Hilbert space \(\mathscr {H}(\mathscr {M}_0)\) is a tensor product \(\mathfrak L^2(\mathbb R_+)\otimes \mathscr {H}_h(S^2)\) and \(\mathfrak L^2(\mathbb R_+)\), the space of wave functions of the energy \(E=|\textbf{p}|\), is left pointwise invariant under rotations. In \(\mathscr {H}_h(S^2)\) the SO(3)-representation is induced by the representation of the Wigner rotation \(R_{D_\delta }=\text {e}^{-\text {i}\,h \delta }\) around the 3-axis. Together with the orbital angular momentum \(\mathscr {H}_h \) decomposes into angular momentum multiplets of total angular momentum j. Such a multiplet contains a state \(\Lambda \) which is annihilated by \(J_+ = M_{23}+\text {i}M_{31}\) and by \(M_{12}-j\),
By (62) these are differential equations for \(\Lambda _N\). They become easily solvable if we consider \(\Lambda _N\) as a function of the complex stereographic coordinates
which map the northern domain to \(\mathbb C\). Then the differential equations read
Recollecting that \(w\partial _w\) measures the homogeneity in w, \(w\partial _w\, w^r = r \,w^r\) (where the superscripts denote exponents), the first equation is solved by \(\Lambda _N = w^{j-h}\,g(|w|^2)\) and by the second equation the function g is homogeneous in \(\bigl (1+|w|^2\bigr )\) of degree \(-j\),
The state \(\Lambda \) is smooth only if \(j - h\) is a nonnegative integer. It is square integrable with respect to the rotation invariant measure
if also \(j+h \) is nonnegative which is just the restriction to be smooth also in southern stereographic coordinates. They are related to the northern coordinates in their common domain by inversion at the unit circle,
and \(\Lambda _S\) is smooth only if \(j +h\) is a nonnegative integer
So \(j\ge |h|\): There is no round photon with \(j=0\). This follows also from (64) which for \(h\ne 0\) excludes that all angular momenta \(M_{ij}\) vanish.
The SO(2) representation \(R_{D_\delta } = \text {e}^{-\text {i}h \delta }\), \(2h \in \mathbb Z\), induces in the space of sections over the sphere no SO(3) multiplet with \(j<|h|\) and one multiplet for \(j = |h|, |h| +1, \dots \), i.e. the representation j is induced with multiplicity
Vice versa, the restriction of the SO(3) representation j contains the SO(2) representation h with the multiplicity
These multiplicities exemplify Frobenius reciprocity [15]: The representation h of the subgroup H induces on sections over G/H each representation j of the compact group G with the same multiplicity with which the restriction of j to the subgroup H contains h,
Photons have helicity \(+1\) or \(-1\). By Bose symmetry two-photon states have to satisfy \(\Psi ^{ij}(p_1,p_2)=\Psi ^{ji}(p_2,p_1)\) or
where \(\chi ^{ij}(u,q)\) is the wave function \(\Psi ^{ij}(p_1,p_2)\) in terms of the center variables \(u=(p_1 + p_2)/\sqrt{(p_1 + p_2)^2}\) and the relative momentum [5]
\(L_u^{-1}\) boosts u to \(\underline{u} = (1,0,0,0)\) such that \(q\in \mathbb R^3\). The helicity i is the angular momentum \(m_{q}\) of the first photon in the direction of q and j is the angular momentum of the second photon in the opposite direction \(-q\) (64). Hence the helicities add to angular momentum \(m= i-j\) and \(\chi ^{++}\) and \(\chi ^{--}\) induce rotation multiplets from \(m=0\). As they are two even functions of q they induce two multiplets with even spin \(j=0,2,4,\dots \)
The function \(\chi ^{+-}\) determines \(\chi ^{-+}\). Its helicities combine to angular momentum \(m=2\) which by (85) induces one multiplet with spin \(|j| = 2, 3,\dots \).
So there is no spin-1 multiplet of two photons. This conclusion is the Landau-Yang theorem [13, 28]. It follows without use of quantum field theory from Frobenius reciprocity and Bose symmetry. It clarifies why positronium with \(j=1\) does not decay into two photons: the interaction is Poincaré invariant and therefore preserves the total momentum P and the total spin. But there is no two-photon state with \(j=1\) into which \(j=1\) positronium can decay. There is a three photon state with \(j=1\). But the decay rate to three photons is suppressed roughly by a factor \(\alpha \sim 1/137\) for the production of an additional photon which is why one finds positronium predominantly in its stablest state as orthopositronium with \(j=1\).
8 Conclusions
Analyzing the states on which the Poincaré transformations act unitarily rather than the fields which act on these states we corrected widespread misconceptions about the hermitian generators of Poincaré transformations.
All massive unitary representations, also the ones on interacting many-particle states, decompose into a sum of spin-s representations which each act on a product space \(\hat{\mathscr {H}_s} \times \! \mathscr {J}_s\), where \(\hat{\mathscr {H}}_s\) carries an irreducible, unit mass spin-s representation which acts on the four velocity \(U^m\) and leaves \(\mathscr {J}_s\) pointwise invariant. The free and an interacting representation differ by their mass operators \(M=\sqrt{P^{2}}\) which more precisly are of the form \(1 \times M\) and commute with the four velocity \(U^m\) and the Lorentz generators \(M_{mn}\).
For massless representations we reconciled the smoothness requirements with the singularities which infinitesimally transformed massless states of nonvanishing helicity develop on the negative z-axis (representations in prevalent textbooks are even singular on the complete z-axis). In a different gauge the singularity vanishes on the negative z-axis but reappears on the positive z-axis: the smooth state is a section of a bundle which does not allow globally partial derivatives with respect to the momenta, but only noncommuting covariant derivatives. This constitutes arguably the most elementary example of noncommutative geometry in physics.
The modulus of the helicity is a lower bound of the total angular momentum of massless one-particle states. The same argument, Frobenius reciprocity, excludes a two-photon state with \(J=1\) confirming the Landau-Yang theorem, which prevents orthopositronium to decay into two photons.
The ramifications of the bundle structure of massless states and the smoothness condition on local or string-local quantum fields is beyond the scope of our present analysis and postponed to the future.
Notes
Notation: Let \(T_{a}: x \mapsto x + a\) denote a translation in \(\mathbb R^4\), \(T_\Lambda : x \mapsto \Lambda x\) a Lorentz transformation, and \(T_{a,\Lambda }=T_a T_\Lambda \in \mathfrak P\) a Poincaré transformation. We denote by \(U_{a,\Lambda }\) its unitary representation with generators \(P^m\) and \(M_{mn}= -M_{nm}\), \(U_{a,\text {e}^\omega }= \text {e}^{\text {i}P a}\text {e}^{-\text {i}/2 \omega ^{mn }M_{mn}}\), in a Hilbert space of one-particle states.
For each \(\Psi \in \mathscr {H}\) the map \(f_\psi : \mathfrak P \rightarrow \mathscr {H},\, g \mapsto U_g \Psi \) has to be measurable such that one can average \(\Psi \).
As Florian Oppermann pointed out to me the manifold SO\((1,D-1)\sim \) SO\((D-1)\times \mathbb R^{D-1}\) factorizes into \(\mathscr {M}_0\times E(D-2)\sim S^{D-2}\times \)SO\((D-2)\times \mathbb R^{D-1}\) only in the 4 cases \(D-1=1,2,4,8\) [11, page 292].
The summation index i enumerates coordinates of the mass shell, e.g. the spatial components of the momentum, in terms of which Lorentz transformations act smoothly. The derivatives \(\partial _{p^n},\ n\in \{0,1,2,3\}\), however, are not defined on wave functions of \(\mathscr {M}_m\). They are not functions of \(\mathbb {R}^{1,3}\).
Observe the summation range \(p^kp^k=(p^0)^2-m^2=(p^0+m)(p^0-m)\) .
Eugene Wigner (1948): ‘Es folgt, daß es in einem Hohlraume unendlich viele Zustände gibt, deren Energie unterhalb einer bestimmten Grenze liegt d.h. wenn Partikel, die (12) gehorchen, existieren könnten, würde der Hohlraum eine unendliche Wärmekapazität haben’[27, p. 684]. In English: ‘It follows that a cavity contains infinitely many states with an energy below a given bound. So if particles existed, which satisfy (12), then the cavity would have an infinite heat capacity’.
Note the range of summation \(p^k p^k = |\textbf{p}|^2- p_z^{\,2}=(|\textbf{p}|+ p_z)(|\textbf{p}|- p_z)\).
In \(H^d\), \(d > 2\), the deficit angles of several nonplanar triangles cannot simply be added, because the corresponding rotations around different axes do not commute.
References
Bose, S.K., Parker, R.: Zero-Mass Representation of Poincaré Group and Conformal Invariance. J. Math. Phys. 10, 812–813 (1969)
Dimock, J.: Locality in Free String Field Theory-II. Annales Henri Poincaré 3, 613 (2002). http://arxiv.org/abs/math-ph/0102027
Dixmier, J., Malliavin, P.: Factorisations de fonctions et de vecteurs indéfiniment différentiables. Bull. Sci. Math. 102, 305–330 (1978)
Dragon, N.: The Geometry of Special Relativity - a Concise Course. Springer, Berlin (2012)
Dragon, N.: Relativistic Covariance of Scattering. arXiv:2307.15426
Dragon, N., Oppermann, F.: Heisenberg versus the Covariant String. Int. J. Theor. Phys. 63, 5 (2024)
Dragon, N., Oppermann, F.: The Rough with the Smooth of the Light Cone String. Int. J. Theor. Phys. 62, 271 (2023)
Ek, B., Nagel, B.: Differentiable vectors and sharp momentum states of helicity representations of the Poincaré group. J. Math. Phys. 25, 1662–1670 (1984)
Flato, M., Fronsdal, C., Sternheimer, D.: Difficulties with massless particles? Comm. Math. Phys. 90, 563–573 (1983)
Carl Friederich Gauss Werke, Achter Band, Springer, Berlin (1900) 220–224, Brief an Wolfgang von Bolyai, Göttingen, 6. März 1833
Hatcher, A.: Algebraic Topology, Cambridge University Press, (2002)
Hawton, M.: Position Operator with Commuting Components. Phys. Rev. A 59, 954–959 (1999)
Landau, L.: On the angular momentum of a system of two photons. Doklady Akademii Nauk Ser. Fiz. 60, 207–209 (1948)
Lomont, J.S., Moses, H.E.: Simple Realizations of the Infinitesimal Generators of the Proper Orthochronous Imhomogeneous Lorentz Group for Mass Zero. J. Math. Phys. 3, 405–408 (1962)
Mackey, G.W.: Induced Representations of Locally Compact Groups I. Annals of Mathematics 55, 101–139 (1952). Induced Representations of Locally Compact Groups II. Annals of Mathematics 58, 193–221 (1953). Induced Representations of Groups and Quantum Mechanics. Benjamin, New York (1968)
Mund, J.: String-Localized Quantum Fields, Modular Localization, and Gauge Theories. Talk given at the Fifth International Conference on Mathematical Methods in Physics IC2006, PoS(IC2006)028
Mund, J., Schroer, B., Yngvason, J.: String-localized Quantum Fields and Modular Localization. https://arxiv.org/abs/math-ph/0511042v2
Newton, T.D., Wigner, E.P.: Localized States for Elementary Systems. Rev. Mod. Phys. 21, 400–406 (1949)
Pryce, M.H.L.: The mass-centre in the restricted theory of relativity and its connexion with the quantum theory of elementary particles. Proc. R. Soc. London Ser. A 195, 62 (1948)
Reeh, H., Schlieder, S.: Bemerkungen zur Unitäräquivalenz von Lorentzinvarianten Feldern. Il Nuovo Cimento 22, 1051–1068 (1961)
Richter, D.A.: https://commons.wikimedia.org/wiki/File:Hopfkeyrings.jpg
Schmüdgen, K.: Unbounded Operator Algebras and Representation Theory. Chapter 10, Birkhäuser, Basel (1990). An Invitation to Unbounded Representations of \(\star \)-Algebras on Hilbert Space. Springer Nature Switzerland, Cham (2020)
Sexl, R.U., Urbantke, H.K.: Relativity, Groups, Particles, Springer, Wien (2001)
Ungar, A.A.: Beyond the Einstein Addition Law and its Gyroscopic Thomas Precession. Kluwer Academic Publishers, Dordrecht (2001)
Weinberg, S.: The Quantum Theory of Fields, Cambridge University Press (1995)
Wightman, A.S.: On the Localizability of Quantum Mechanical Systems. Rev. Mod. Phys. 34, 845–872 (1962)
Wigner, E.P.: Relativistische Wellengleichungen. Zeitschrift für Physik A 124, 665–684 (1948)
Yang, C.N.: Selection Rules for the Dematerialization of a Particle into Two Photons. Phys. Rev. 77, 242–245 (1950)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
The work is original research. All sources are cited.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 A. The Wigner Rotation of Massive Particles
To derive the angle of the Wigner rotations, we use the fact that the Lorentz group SO(1, 3) represents SL\((2,\mathbb C)\). For definiteness and to fix our notation we review these well-known relations. We use the \({{\textbf {1}}}\)-matrix \(\sigma ^0\) and the Pauli matrices \(\sigma ^i\), \(i=1,2,3\), with matrix elements \(\sigma ^m_{\alpha \dot{\beta }}\), \(m\in \{0,1,2,3\}\), \(\alpha ,\dot{\beta }\in \{1,2\}\),
and write products
of their linear combinations concisely as
If \(\textbf{m} \parallel \textbf{n}\) then \(\textbf{m}\cdot \mathbf {\sigma }\) and \(\textbf{n}\cdot \mathbf {\sigma }\) commute, they anticommute if \(\textbf{m} \perp \textbf{n}\).
For each unit vector \(\textbf{n}\) one has \((\textbf{n}\cdot \mathbf {\sigma })^2 = {{{\textbf {1}}}}\) and series of \(\textbf{n}\cdot \mathbf {\sigma }\) simplify
The matrices \(\sigma ^m\) are a basis of the real four dimensional vectorspace of hermitian 2\(\times \)2-matrices
Their determinant \(\det \hat{k} = k^m k^n \eta _{mn}= (k^0)^2 - (k^1)^2 - (k^2)^2 - (k^3)^2\) is invariant for all D with \(\det D = 1\) under the linear transformation (\(D^\dagger := D^{*\text {T}}\))
So \(k\mapsto k'= \Lambda _D k\) is a Lorentz transformation and \(D \mapsto \Lambda _D\) is a representation of SL\((2,\mathbb C)\) in SO(1, 3), \(\Lambda _D\Lambda _{D'}=\Lambda _{DD'}\). Physics parlance reverses the relation and claims sloppily that D represents \(\Lambda \).
Explicitly \(U_{\alpha \textbf{n}}\) is unitary and effects a rotation by \(\alpha \) around \(\textbf{n}\). To see this decompose \(\textbf{k}=(\textbf{k}\cdot \textbf{n})\,\textbf{n}+\textbf{k}_\perp \) into parallel and transverse parts and split \(k = k_\parallel + k_\perp \) with \(k_\parallel =(k^0, (\textbf{k} \cdot \textbf{n})\textbf{n})\) and \(k_\perp =(0,\textbf{k}_\perp )\).
\(\hat{k}_\parallel \) commutes with each power series in \(\textbf{n}\cdot \mathbf {\sigma }\). Hence it is invariant
As \(\textbf{k}_\perp \) is orthogonal to \(\textbf{n}\) the matrix \(\hat{k}_\perp \) anticommutes with \(\textbf{n}\cdot \mathbf {\sigma }\) (92)
Therefore \(U (\textbf{k}_\perp \cdot \mathbf {\sigma }) U^\dagger =U^2 (\textbf{k}_\perp \cdot \mathbf {\sigma }) \) and \(U_{\alpha \textbf{n}}^2=U_{2\alpha \,\textbf{n}}\) implies
So \(U_{\alpha \textbf{n}}=\text {e}^{-\text {i}\frac{\alpha }{2}\textbf{n} \cdot \mathbf {\sigma }}\) causes by \(\hat{k}\mapsto U_{\alpha \textbf{n}}\,\hat{k}\,U_{\alpha \textbf{n}}^{\dagger }\) the rotation \(k \mapsto D_{\alpha \textbf{n}}k\) of four-vectors k by the angle \(\alpha \) around the axis \(\textbf{n}\)
Vice versa, to the rotation \(D_{\alpha \,\textbf{n}}\) by \(\alpha \) around the axis \(\textbf{n}\) there corresponds the pair of unitary matrices \(U=\text {e}^{-\text {i}\frac{\alpha }{2}\textbf{n}\cdot \mathbf {\sigma }}\) and \(-U=\text {e}^{-\text {i}\frac{\alpha +2\pi }{2}\textbf{n}\cdot \mathbf {\sigma }}\).
As \(V_{\beta \textbf{n}}=V_{\beta \textbf{n}}^\dagger \) is hermitian and because \(\hat{k}_\perp \) anticommutes with \(\textbf{n}\cdot \mathbf {\sigma }\), the transverse part is invariant
while the longitudinal part \(\hat{k}_\parallel =k^0 - (\textbf{k} \cdot \textbf{n}) \textbf{n}\cdot \mathbf {\sigma }\) commutes and by \(V^2_{\beta \textbf{n}}\overset{94}{=}\ V_{2\beta \textbf{n}}\) transforms as
We conclude
So \(V_{\beta \textbf{n}} \) effects the boost \(L_u\) (35) in direction of \(\textbf{n} = \textbf{u} / |\textbf{u} |\) with rapidity \(\beta \), \(\text {sh} \beta = |\textbf{u}|\). To each boost \(L_u\) there corresponds the pair of \(V_{\beta \textbf{n}} \) and \(-V_{\beta \textbf{n}} \) of SL\((2,\mathbb C)\) matrices. SL\((2,\mathbb {C})\) is a double cover of SO\((1,3)^\uparrow \).
To calculate the Wigner rotation for massive particles
is a ‘Herculean task’ [24] and requires ‘tedious manipulations’ [23]. As we are unaware of a citable derivation, we present here a derivation. It simply reads the Wigner rotation from the product of SL\((2,\mathbb C)\) matrices \(\lambda \), \(l_u\) and w
which correspond to the Lorentz transformation \(\Lambda \), the boosts \(L_u\), \(L_{\Lambda u}\) and the Wigner rotation. Using the notation
the products of two boosts \(l_b l_a\) and of a boost \(l_{-c}\) with a rotation w yield
Both products are equal, \(l_b l_a = l_{-c} w\), if the complex coefficients of the linearly independent matrices \({{\textbf {1}}}\) and the \(\sigma \)-matrices match. Comparing the coefficients determines w without knowing \(l_{-c}\) explicitly.
The coefficients of \({{\textbf {1}}}\) agree only if \(\textbf{n}\cdot \textbf{n}_c=0\). The axis \(\textbf{n}\) of the Wigner rotation is orthogonal to the direction \(\textbf{n}_c\) of the resulting boost; \(\textbf{n}_c\) lies in the plane spanned by \(\textbf{n}_a\) and \(\textbf{n}_b\), as it must: \(l_b\) and \(l_a\) are in the subgroup SO(1, 2) of boosts and rotations in this plane.
With \(\textbf{n}_b \cdot \textbf{n}_a = \cos \varphi \) and \(\textbf{n}_a \times \textbf{n}_b = \textbf{n}\,\sin \varphi \), where \(\varphi \) is the angle included by \(\textbf{n}_a\) and \(\textbf{n}_b\), the comparison of the coefficients of \({{\textbf {1}}}\) and of \(\textbf{n}\cdot \sigma \) yields
The ratio of both equations determines the looked for angle \(\delta =2\delta ^\prime \) [24]
It has the same sign as \(\varphi \), the Wigner rotation \(W({L_u,p})\) rotates from p to \(L_u p\).
In the hyperbolic planeFootnote 8 the area of the hyperbolic triangle is this deficit angle \(\delta =\pi - \alpha -\beta -\gamma \) [10]. The area is bounded by \(\pi \) though the sides of the hyperbolic triangle can be arbitrarily long.
1.2 B. Iwasawa Decomposition
By the Schmidt orthogonalization procedure each matrix \(g\in \text {SL}(d,\mathbb C)\) decomposes continuously into a product of 3 factors, \(g=kan\), where k is from \(K=\text {SU}(d)\), which is compact, a is real and diagonal and from a noncompact abelian subgroup A and n is lower triangular from a subgroup N of exponentials of nilpotent matrices. Elementary algebra confirms such an Iwasawa decomposition of \(g\in \text {SL}(2,\mathbb C)\) to be
where \(ad-bc = 1\) and
The first factor in the decomposition corresponds to a rotation, the second to a boost in \(3\)-direction and the third matrix represents an E\((2)\)-translation (57).
Decompositions of the group SL\((d,\mathbb C)=KAN{ intointoaproductofamaximalcompactsubgroup}~K,\,{ anabeliansubgroup}A{ andanilpotentsubgroup}N{ areequivalent},\,K'=sKs^{-1},\,A'=sKs^{-1}{} { and}N'=sNs^{-1}.{ Forfixedgroups}K,\,A{ and}N{ eachgroupelement}g=kan\) factorizes uniquely.
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
Dragon, N. Bundle Structure of Massless Unitary Representations of the Poincaré Group. Int J Theor Phys 63, 149 (2024). https://doi.org/10.1007/s10773-024-05612-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10773-024-05612-z