1.8 Particles and Interactions 87
applied. Henceforth, we shall use the term free particle to refer to either a
free material particle or a photon. If A is a finite set of free particles, then
each element of A has a unique world momentum vector. The sum of these
vectors is called the total world momentum (or total 4-momentum) of A.
A contact interaction in M is a triple (A,x,
˜
A), where A and
˜
A are two
finite sets of free particles, neither of which contains a pair of particles with
linearly dependent world momenta, and x is an event such that
(a) x is the terminal point of all the particles in A (i.e., for each (α, m)inA
with α :[a, b] →M,wehaveα(b)=x),
(b) x is the initial point of all the particles in
˜
A,and
(c) the total world momentum of A equals the total world momentum of
˜
A.
Intuitively, the event x should be regarded as the collision of all the particles
in A, from which emerge all the particles in
˜
A (which may be physically
quite different than those in A, e.g., it has been observed that the collision of
two electrons can result in three electrons and a positron). The prohibition
on pairs of particles with linearly dependent world momenta in the same set
is based on the presumption that two such particles would be physically in-
distinguishable. Property (c) is called the conservation of world momentum
and contains the appropriate relativistic generalizations of two classical con-
servation principles: the conservation of momentum and the conservation of
energy.
Several conclusions concerning contact interactions can be drawn directly
from the results we have available. Consider, for example, an interaction
(A,x,
˜
A)inwhich
˜
A consists of a single photon. Then the total world mo-
mentum of
˜
A isnullsothesamemustbetrueofA.
Since the world momenta
of the
individual particles in A are all either timelike or null and all are future-
directed, Lemma 1.4.3 implies that all of these world momenta must be null
and parallel. Since A cannot contain two distinct photons with parallel world
momenta, A must also consist of a single photon which, by (c), must have the
same world momentum as the photon in
˜
A. In essence, “nothing happened
at x”. We conclude that no nontrivial interaction of the type modelled by our
definition can result in a single photon and nothing else.
A contact interaction (A,x,
˜
A) is called a disintegration or decay if A
consists of a single free particle.
Exercise 1.8.6 Analyze a disintegration (A,x,
˜
A)inwhichA consists of a
single photon.
Suppose that A consists of a single free material particle of proper mass
m
0
and
˜
A consists of two material particles with proper masses m
1
and m
2
(such disintegrations do, in fact, occur in nature, e.g., in α-emission). Let
P
0
,P
1
and P
2
be the world momenta of the particles with masses m
0
,m
1
and m
2
respectively. Appealing to (1.8.1), the Reversed Triangle Inequality