1. Introduction
It is known that the first and most known example of a theory in which wave functions depend on some orientation variables is the non-relativistic theory of a rigid rotator, constructed by Wigner, Casimir, and Eckart back in the 1930s (see Ref. [
1] for references and historical remarks). In their construction, one reference frame (laboratory, space-fixed,
s.r.f. in what follows) is connected with surrounding objects, while another one (body-fixed,
b.r.f. in what follows) is connected with a rotating body. Correspondingly, there appear two sets of operators of the angular momentum: one related to the
s.r.f. (left generators of the rotation group
) and another related to the
b.r.f. (right generators of the rotation group
). These two sets of generators commute with each other, and the rotator Hamiltonian is constructed from the right generators
. The interpretation of the generators
as projections of the momentum on the
b.r.f. belongs to Wigner and Casimir (1931) and underlies the theory of molecular spectra. In fact, the non-relativistic theory of the rigid rotator is formulated as a theory of a scalar field on the group
.
It should be also noted that a description of relativistic spinning particles can be reformulated in terms of one scalar field depending on the Minkowski space–time coordinates as well as on some auxiliary continuous variables that describe spin. Such a reformulation has a long history, starting with the work [
2] of Ginzburg and Tamm. At the end of the 1940s and the beginning of 1950s, various authors independently introduced fields that depend not only on the Minkowski space–time coordinates but also on a certain set of spinning variables, mainly in connection with the construction of relativistic wave equations (RWEs); see Refs. [
2,
3,
4,
5]. A systematic treatment of these fields as fields on homogeneous spaces of the Poincaré group was presented by Finkelstein in 1955; see Ref. [
6]. He also considered a classification and explicit constructions of homogeneous spaces of the Poincaré group that contains the Minkowski space, which is a homogeneous space of the latter group. In 1964, Lurçat suggested the construction of a quantum theory on the whole Poincaré group, instead of on the Minkowski space (see Ref. [
7]), but this idea was not immediately developed further.
In the 70–90s of the last century, ideas of considering fields on homogeneous spaces of the Poincaré group gained a certain development, in particular, in Refs. [
8,
9,
10,
11,
12,
13,
14,
15,
16,
17]. Properties of different spaces were studied, along with some possibilities for introducing interactions in the spin phase space and possibilities for constructing corresponding Lagrangian formulations. It was found that the choice of a homogeneous space generates restrictions on the corresponding scalar fields. Thus, the authors of Ref. [
8] arrived at the conclusion that the minimal dimension of a homogeneous space suitable for a description of integer and semi-integer spins is equal to eight.
In our previous works [
18,
19,
20,
21], following the ideas of the pioneer works cited above, we developed a quantum description of relativistic orientable objects using a scalar field
, where
depends on the Minkowski space–time coordinates
, with
and on the orientation variables
given by elements of the matrix
. In fact,
is defined on the Poincaré group
, i.e.,
.
At the beginning, we proposed an approach to constructing fields on groups of motions in Euclidean and pseudo-Euclidean spaces, elaborating in detail the cases of two, three, and four dimensions; see Ref. [
18]. In that construction, a scalar field appears as a generating function for usual multicomponent fields. In particular, it was demonstrated that, unlike the case of scalar fields on homogeneous spaces, a field on a group as a whole is closed with respect to discrete transformations. The discrete transformations (
) correspond to involutive automorphisms of the group and are reduced to a complex conjugation and to a change in the arguments of scalar functions
; see Ref. [
22]. Most types of RWE were written in terms of scalar functions
.
By analogy with the non-relativistic theory of the rigid rotator, in the relativistic case, it is supposed that one reference frame (laboratory, space-fixed, s.r.f.) is connected with surrounding objects, while another one (body-fixed, b.r.f.) is connected with an orientable object. The position of the latter is completely determined by the position of the corresponding b.r.f. with respect to some s.r.f., such that all the positions can be given by elements of the Poincaré group. It implies that quantum states of the relativistic orientable objects are described (as was already said above) by scalar wave functions on the Poincaré group.
On this basis, in Ref. [
19], two types of transformations in the space of scalar functions
(see just below) were defined and studied. In Refs. [
20,
21], a method of classifying such objects with respect to the corresponding transformation properties of the functions
was proposed, along with possible ways of introducing interactions of orientable objects.
This present work develops the results of these later studies. As an important part of this development, we represent a more complete classification of orientable objects and draw the attention of readers to the possibility of connecting these results with particle phenomenology. In particular, we consider the possibility of identifying fields described by linear and quadratic functions of z with known elementary particles of spin 0, , and 1.
Now, we proceed with the technical details of the above-mentioned transformations. In this regard, it is useful once again to stress that the position of an orientable object is completely determined by the position of the corresponding
b.r.f. with respect to some
s.r.f. Symmetries of the space containing the orientable object (space–time or external symmetries) determine the behavior of wave functions with respect to the left transformations
,
, whereas the symmetries of the orientable object itself (internal symmetries) determine the behavior of wave functions functions with respect to the right transformations
,
,
As is known, operations (
1) define the left and right regular representations of the Poincaré group. Studying these representations is equivalent to studying representation
of the group
,
in the space of scalar functions
Here, the left multiplication by
corresponds to a change in the
s.r.f., whereas the right multiplication by
corresponds to a change in the
b.r.f. It is easy to verify that Equation (
2) specifies a representation
of the group
in the space of the scalar functions
. In what follows, we call such a representation the double-sided representation.
A classification of functions
on a group is the subject of the harmonic analysis on Lie groups and is carried out using the maximal sets of commuting operators of the group; see, e.g., [
23]. The number of the operators in the maximal set is equal to the number of the group parameters, and the set consists of the Casimir operators and of the (equal in number) functions of the generators in the left and right regular representations (left and right generators).
It is important to emphasize that due to the fact that the groups and act in the same space of function , Casimir operators constructed from the right and left generators coincide. This means that states transformed by a fixed representation of are transformed by the same representation of .
In
dimensions, as noted above and as a consequence of Equation (
2), there appear two sets of 10 generators, the right and the left ones. With these generators in hand, one can construct a maximal set of commuting operators acting in the space of the functions
. The maximal set of commuting operators consists of 10 operators—2 Casimir operators, 4 functions of left generators, and 4 functions of right generators. The last four functions of generators
, which are not expressed in terms of generators
, commute with all the generators
; i.e., they correspond to the internal quantum numbers of the orientable object. A question arises about their physical meaning and (due to the coincidence of the Casimir operators) the possible connection of their eigenvalues with the eigenvalues of the generators of external symmetries
.
Thus, considering the two-sided representation of the group
, we naturally come to the question of the relation between external and internal symmetries and the corresponding quantum numbers. In this regard, one ought to mention that in the 1960s, attempts were made to unite internal and external symmetries in the framework of a one group. Soon, however, the so-called no-go theorem [
24] was proved (under some very general assumptions), stating that the symmetry group of the
S-matrix is locally isomorphic to a direct product of the Poincaré group and the group of internal symmetries. However, on this basis, this has sometimes led to the overly strong conclusion that a non-trivial relation between internal and external symmetries is impossible.
As was already said, transformations (
2) form the direct product of the groups of internal and external symmetries, which removes the case under consideration from the prohibitions of this theorem. Moreover, as is demonstrated below, a non-trivial relation between internal and external quantum numbers is possible. Both transformation groups, corresponding to changing the
s.r.f. and the
b.r.f., are acting in the same space of scalar functions
and have the same Casimir operators which define the mass and the spin. By fixing the eigenvalues of the Casimir operators, and therefore fixing a representation, we obviously impose some conditions on the spectra of both left and right operators that enter the maximal set. Thus, in spite of the fact that the left and the right generators commute, their spectra are not independent. Below, we demonstrate such a relationship using some concrete examples.
We note that the maximal sets of commuting operators are different for the massless and the massive cases, which is why, in what follows, we consider them separately.
By orientable objects, we refer to states that are transformed according to an irrep of the group
. By fixing an irrep of
, we, as a consequence of the law of transformation (
2), fix an irrep of
. This means that irreps (describing multiplets of particles) of
decompose into a sum of
irreps, differing by eigenvalues of generators
(internal quantum numbers). In other words, different particles are states belonging to irrep
, not connected by transformations of
. Note that, unlike the external symmetries, the internal ones can be violated, which is quite similar to the situation observed in the case of the rigid rotator, for which internal symmetries are the symmetries of the rotating body itself.
This work is organized as follows: In
Section 2 and
Section 3, we construct and study maximal sets of commuting operators in the space of functions
on the Poincaré group for the cases of the mass
and
. In
Section 4 and
Section 5, we represent a classification of massless orientable objects of chirality
and formulate the corresponding RWE. In
Section 6, we give a classification of orientable objects with mass
and spin
. In
Section 7 and
Section 8, we consider the ultra-relativistic limit and formulate corresponding RWE. A comparison of the obtained classification of the orientable objects with the particle phenomenology is given in
Section 9; some concluding remarks are summarized in the same section. In
Appendix A, we construct generators of the Lorentz group in the space of the functions
.
2. Field on the Poincaré Group and Maximal Sets of Commuting Operators
The functions
on the Poincaré group
depend on 10 parameters,
where
. Action of the groups
and
in the space of functions
corresponds to the replacements of
s.r.f. and
b.r.f., respectively. Representations (
4) and (5) provide the most general consideration, since regular representations contain all (up to equivalence) irreducible representations (irreps) of the group [
25]. Transformations from
correspond to the symmetries of the containing space, or external ones, and transformations from
correspond to symmetries of the orientable object, or internal symmetries.
The actions on the left and the right correspond to two sets of generators of the Poincaré group. There are ten generators each in the left and right regular representations, which, for brevity, we will call the left and right generators.
The generators of translations and rotations have the form
where
are the operators of orbital momentum projections and
are the operators of spin projections. Here,
, and the operators
and
depend only on
z and
. Their explicit form is given in
Appendix A. It is also convenient to use three-dimensional notations:
,
. Generators from different sets commute with each other.
In consequence of the unimodularity of
matrices
Z, there exist invariant antisymmetric tensors
,
,
,
. Now, spinor indices are lowered and raised according to the rules
Discrete transformations correspond to the automorphisms of the Poincaré group, and their action is reduced to replacing arguments and complex conjugation of functions
[
19,
22].
Classification of functions on the group is carried out using maximal sets of commuting operators. Such a set contains Casimir operators and an equal number operators that are some functions of left and right generators [
23]. In total, in our case, the set contains 10 operators, according to the number of group parameters.
Casimir operators, which label irreps, can be composed of both left and right generators, so that the “left” and “right” mass and spin are the same. For the Poincaré group
, we have the following:
where
As the four functions of the left generators, we choose the set corresponding to the reduction . These include the Casimir operator , which defines the helicity, and the generators of the subgroup .
As the four functions of the left generators, we choose sets corresponding to the reduction
. For Casimir operators of the “right” Lorentz group
, we have
where
and
are operators of spin and boost projections. In contrast to generators
of
, the operators of spin projections
are not generators of
(see (7) and (
6)), and therefore, operators (
12) are functions of right (but not left) generators of the Poincaré group.
For
, we use two sets of commuting operators corresponding to the reduction schemes
In the first case, two generators and of the maximal commutative (Cartan) subgroup of define additive quantum numbers. In the second case, the set includes and Casimir operator of with eigenvalues .
Therefore, we will consider two sets of 10 commuting operators on the group
:
including the Lubanski–Pauli operator
, four left generators
(the eigenvalue of the Casimir operator
is evidently expressed through their eigenvalues), and helicity
, expressed through the left generators. The Casimir operators
and
of
determine the irrep
of the Lorentz group (see
Appendix A).
2.1. Case of Non-Zero Mass
As is known, particles with non-zero mass are characterized by intrinsic parity —the eigenvalue of the space reflection operator P (which defines the outer automorphism of the Poincaré group).
The action of space reflection
P on orientation variables is given by the formula
The operator of the space reflection
anticommutes with the operators
and
, and eigenfunctions of the latter two operators change their sign under the action of
. The set (14) is more convenient for describing states of definite internal parity, because only one operator
from this set does not commute with
. Eigenvalues of
are proportional to
; see (
A8). Thus, one can use the set (14) to characterize eigenstates of the space reflection operator
, with only one change (replacement the sign of
by intrinsic parity
).
Taking the above into account, for the massive fields on the Poincaré group, we will consider the following set of quantum numbers:
Along with the eigenvalues of the two Casimir operators, intrinsic parity labels irreps of the improper Poincaré group.
2.2. Case of Zero Mass
The massless case corresponds to the zero eigenvalue of the Casimir operator,
. The small group is a three-parameter group of motions of a two-dimensional Euclidean space
. This is a non-compact group; its unitary irreps are either infinite-dimensional (the so-called representations with continuous spin) or one-dimensional. In the latter case for representations of zero mass (classified by irreps of
), we have [
26,
27]
In this case, irreps of the Poincaré group are labeled by the chirality
[
23]. Taking into account the identity
, we obtain the following expression for the square of the Lubanski–Pauli operator:
Let us write out the first equation of the system (
17) for the component
:
This equation establishes the equality of helicity and chirality.
For spatial components
, we obtain
In the case of representations
and
, Equation (
19) can be simplified by excluding boost operators
. Consider the operators
and
; see (
A7). We have
for
and
for
; see (
A7). Hence,
, and
Using (
19), one can exclude
,
If the spin for a massive particle marks irreps of the Poincaré group and is determined through the eigenvalue of the Casimir operator , then for massless particles, irreps are marked by the chirality, and the spin in this case is often defined as the modulus of chirality. However, spin 1 particles can have chirality 1 or 0 in the massless limit; in this sense, the identification of spin with the modulus of chirality is not always correct.
For massless particles, we arrive at a set of operators
The eigenvalues of the operators and are fixed and equal to 0, and the helicity (function of the left generators) is equal to the chirality (function of the right generators) and labels the irreps of the Poincaré group.
Thus, in contrast to the massive case, instead of 10, we have only 7 different quantum numbers—helicity (equal to the chirality ), three functions of the left generators (momentum components), three functions of the right generators (), and two internal quantum numbers ( or ).
In contrast to the massive case, described by the Dirac and Duffin–Kemmer equations, associated with operators that do not commute with some generators of (right generators), and, therefore, associated with broken inner symmetries, the massless case does not a priori imply such a violation.
The case also includes functions on the group that depend only on the orientation variables and do not depend on the spatial variables . They are classified according to the irreps of the Lorentz group (the maximal set in this case includes six operators—two Casimir operators and , the left operators and , and the right operators and ). However, these states cannot be localized in any region of the space, and, therefore, they cannot be interpreted as particle states, so we will not consider them here.
The case corresponds to tachyons, the small group is non-compact, and its unitary irreps are either one-dimensional or infinite-dimensional. As in the case of zero mass, spin-finite-dimensional representations are classified according to the irreps of the group .
3. Charge
The physical meaning of the left generators included in the maximal set of operators is well known; two of the four functions of the right generators define the irrep of the Lorentz group . Let us try to understand the physical meaning of the remaining two operators and .
In this regard, let us list the properties of the operator :
Its quantum number is additive.
It has integer eigenvalues for particles of integer spin and half-integer eigenvalues for particles of half-integer spin.
It does not change the sign under the space reflection.
It changes the sign under the charge conjugation.
The spectrum of operators and is the same for a fixed representation of the Lorentz group.
A detailed consideration gives the following classification of particles according to the values of
[
20]:
The
-charge distinguishes not only particles and antiparticles but also the “up–down” components in doublets of elementary fermions:
As a consequence of Equations (
23) and (
24), we may write the following relation between
and some other charges:
where
, and
Q are the lepton, baryon, and electric charges.
Formula (
25) is closely related to the concept of
R-parity. In 1961, Michel and Lurçat [
28] observed that for all the known particles with integer
B, there holds the relation
, and the number
is always even. Later, this observation resulted in the concept of
R-parity, which is positive for all known particles and is defined as
where the multiplier 3 is introduced to account for the inclusion of quarks.
We have already noted (see item 2 above) that
-charge and spin
S must both be either integers or half-integers,
Due to (
25), we have
; therefore, the value
is always positive. For integer
Q, we have
. For fractional
Q (quarks), it is not difficult to verify that
. We see that for all known particles,
.
Thus, consideration of the field on the Poincaré group together with the empirical formula (
25) leads to the connection of spin with internal quantum numbers, expressed in the concept of
R-parity.
Note that
coincides with the projection of the weak isospin
for the left components of particles and the right components of antiparticles. In fact, in the massless limit, formula (
25) turns into the well-known relation
, where
Y is a weak hypercharge. The possible connection of
with the weak gauge group is considered in Ref. [
21].
In the next section, we describe functions
that are polynomial in
z. By considering polynomials of fixed degree
n in
z, we effectively consider the irreps of the Lorentz group
with
. According to the reduction formula (
A9), the values
and
determine the possible range of spin values
S,
, and projections
and
, see
Table 1.
5. Relativistic Wave Equations for Massless Particles
The operators
and
in Equations (
17)–(
20), acting in the space of functions
on the group, are differential in
z and have the same form for all representations. By writing
as polynomials of
z with coefficients
and comparing the coefficients at powers of
z, we can write Equations (
17)–(
20) as matrix equations for
, and their form will be different in different representations.
1.
, the chirality
,
and
. Let us write down the functions corresponding to
:
Substituting these forms into Equation (
18) and comparing coefficients at
and at
, we obtain a pair of Weyl equations:
We obtain the same equations for the case
. For chiralities
, Equation (
21) for spatial components of
will be fulfilled automatically if (
18) is fulfilled. To see this, it is enough to note that in the case under consideration,
.
2.
, the chirality
,
and
. The representations
and
of the Lorentz group are three-dimensional complex conjugate representations by the matrices
. For the complex functions
transforming under
, the combination
is conserved. Let us write functions
and
, corresponding to
and connected by space reflection:
Substituting these forms into Equations (
18) and (
21) and comparing expressions at the orientation variables, we obtain Maxwell equations in the Majorana form:
where
. The column (
)
T is considered as the photon wave function [
29,
30].
3.
, the chirality 0,
. Let us write down the functions corresponding to
:
Substituting these forms into Equation (
18) and comparing coefficients at the orientation variables, we obtain
where
, or
in vector notations. Functions
, corresponding to scalar
, are not included in the equation, because
. Equation (
19) can be written in matrix form:
where the matrices
have two non-zero elements
, and
are obtained from
by adding the first zero row and column. The latter equation is equivalent to the system of Equation (
37) and three equations
, or
.
6. Massive Case
Here, we consider eigenfunctions of the maximal set of 10 commuting operators (12). Since the representations
and
are connected by a space reflection, as mentioned above, to construct states with a certain internal parity instead of chirality
, one has to use the modulus
and the internal parity given by the set of numbers (
16): the mass
m, the spin
S, the parity
, the momentum
the spin projection
, parameters of irrep of the Lorentz group
,
, and
and its projection
.
We will consider the rest frame
; in this frame, the operator
reads as follows:
where
is an eigenvalue of operator
.
The irreps and of the group remain irreducible when reduced to the compact subgroup , yielding of dimension . For such representations, . For other irreps of , upon the reduction, the representation becomes reducible and, for a given , we obtain different values of the spin and irreps of the Poincaré group.
6.1. , spin 0
This corresponds to the case of ordinary scalar functions , which do not depend on orientation variables z. It corresponds to a scalar particle with .
6.2. , Spin 1/2
Consider the representations
and
. The spin
, in the rest frame
Each of the four functions corresponds to a point in
Figure 2b. The different signs of the spin projection
correspond to two possible values of the index
in Equation (
40).
There are eight states, four particles; the particle states in the rest frame differ by their two possible spin projections.
6.3. , Spin 1
The representations
and
are connected by space reflection,
. Each point in
Figure 3b corresponds to three states with different spin projections.
Here, the parentheses around the indices indicate symmetrization.
There are 18 states, three particles; the particle states differ by parity and by three possible spin projection values in the rest frame.
6.4. , Spin 0 and 1
The representation , 16 states in total. The four-dimensional representation, when reduced to a compact subgroup, decomposes into a scalar and a vector .
For
, we have four particles, a singlet
, and a triplet
with respect to
. In the rest frame,
Scalars represent the quadruplet of
. When reduced to the compact subgroup
, they split into a triplet
and a singlet
(see
Figure 4b). In the triplet
, corresponding—according to the empirical formula (
25)—to the same values of electrical charge. With respect to the operator
algebra (see
A7), the scalars form two doublets,
and
(see
Figure 4a).
We note that quantum numbers of the state (zero electric charge and the parity ) coincide with those of the Higgs boson.
For
, we also have four particles, a singlet
and a triplet
with respect to
.
The case
(fields
,
) corresponds to a truly neutral hypothetical particle, which is called the notoph in the literature [
31,
32,
33] (in this case, the corresponding potentials are tensors transforming according to the representations
and
).
Thus, just eight particles (states not connected by transformations ) are associated with the representation .
The above can be summarized in
Table 3. Each of the listed particles can be in several spin states; their number coincides with the dimension of the
representation.
6.5. , Spin 1/2 and 3/2
The representations
and
are related by space reflection,
. There are 32 states in total and eight particles (states that are not connected by transformations
, differing by the values
and by the parity, corresponding to eight points in
Figure 5b. Each point of the weight diagram (
Figure 5b) corresponds to four states (according to the number of possible spin projections).
The representations
and
are related by a space reflection,
. There are 72 states in total. These are 12 spin
particles, differing by the parity, by the values of
and
, and 12 spin
particles, differing by the parity, by the values of
and
The above can be summarized in
Table 4.
8. First-Order Left-Invariant Equations
In the case of massless particles, first-order equations in appear within the framework of the classification of functions with respect to the irreps of the Poincaré group. In contrast, for massive particles, we have two second-order eigenvalue equations for the Casimir operators and . For massive particles, it is impossible to construct first-order equations using only the generators of the Poincaré group. The desired equations must be invariant under the transformations and, for particles with a certain parity, also under space reflection. In this case, invariance with respect to is not required; internal symmetries can be broken.
From the orientation variables
z, one can construct operators that are transformed as vectors with respect to
and
, preserving the degree of polynomials in
z (see Ref. [
19]) as follows:
with one external (left) and one internal (right) index. Only the operators
and
,
are invariant under the space reflection, and the associated four equations possess solutions with a definite inner parity.
Let us consider the following equation:
where
The set of the operators and satisfies the commutation relations of the group .
Obviously, Equation (
49) is not invariant under right boosts, since the operator
does not commute with a part of the right generators, namely with
,
, and
. However, it commutes with
and with generator
of
, which is why particles described by Equation (
49) may have certain values of
and
. And if the parity operator connects only states with different signs of
, then the operator
connects states with all possible values of
and
for a fixed sum
.
Thus, the invariant subspaces of the operators are subspaces of polynomials of degree by z with fixed values of . In particular, such subspaces are the spaces of polynomials and of degree , characterized by .
Let us take a closer look at the case of spin 1/2. Linear functions from the subspace
depend on four variables
,
. For them, we have two equations of the form (
49) with different signs of the mass term. Each of these two equations combines two irreps of the improper Poincaré group, characterized by the same sign of
. One can see that in the rest frame,
In total, for functions linear in orientation variables, we have four equations; their solutions in the rest frame at
are given by the formulas in (
40). Although the particle and its antiparticle belong to different subspaces with
, they are described by equations with the same sign before the mass term.
Let us introduce the generator of the group
corresponding to phase transformations of orientation variables
z:
These transformations, along with external and internal automorphisms of the Poincaré group, can be considered as field symmetry transformations on the Poincaré group; see Ref. [
19]. Polynomials of degree
n in
and of degree
m in
are eigenfunctions of the operator
with the eigenvalue
. In the subspaces of the functions
and
, its eigenvalues coincide with the chirality, defined as
. The chirality operator
commutes with the right and the left generators of the Poincaré group but does not commute with
.
The matrix representation of the Dirac equation can be obtained from Equation (
49) for the functions
and
, which are polynomials of the first order in
z.
For example, substituting functions linear in
z, corresponding to the spin
from the subspace
,
into Equation (
49) and making a comparison of the coefficients at
and
in the left- and right-hand sides, we obtain the Dirac equation:
where
. The action of the chirality operator (
52) amounts to the multiplication by
,
,
Similarly, considering polynomials of the second degree leads to the 10-component Duffin–Kemmer equations, while higher-degree polynomials lead to the Bhabha equations. Note that starting with second-order polynomials in
z, states of the form (
41) transforming according to representations of
or
are not, generally speaking, eigenfunctions of
, and in the rest frame, solutions of these equations contain components that transform according to other representations.
9. Discussion and Conclusions
A classification of relativistic orientable objects and its connection to particle phenomenology is studied. This study is based on the possibility of describing these objects by a scalar field on the Poincaré group. Scalar functions
,
, on the group depend on the Minkowski space coordinates
as well as on the orientation variables
given by elements of the matrix
. The functions have certain transformation properties with respect to both groups
and
; see
Section 1. We classify them with the help of maximal sets of commuting operators constructed from generators of the groups
and
.
We suppose that different particles correspond to states described by functions that are not connected by transformations from (i.e., by a change in the space-fixed reference frame). Such states are classified by eigenvalues of Casimir operators and some functions of the right generators of the group (i.e., generators of the group ).
This way of classification, applied to linear and quadratic functions of z, allows one to identify some of them with known elementary particles of spin 0, , and 1. Below, we list the results of such an identification (the enumeration is given by values of spin and chirality in the massless limit).
Spin 1/2, chirality . Such particles appear in quadruplets, but not in particle/antiparticle pairs.
In the massless case, we have four states and four particles—two doublets of chirality (particles) and (their antiparticles), interconnected by both space reflection and charge conjugation. The particle and the antiparticle differ in charge signs , with each of them appearing in one chiral state only. When reduced to , these two-dimensional representations remain irreducible.
In the real world, the four fundamental fermions (in massless limit) have identical properties, for example, and or and .
In the massive case, we have eight states and four particles, differing in sign and parity ( corresponds to particles and corresponds to antiparticles). In the rest frame, states of one particle differ by two spin projections . The fours and or and of fundamental fermions have analogous properties, excluding the equality of masses.
Spin 1, chirality .
In the massless case, there appear six states and six particles: two triplets of chirality (particles) and (antiparticles), interconnected by both space reflection and charge conjugation. Components of the triplets differ in charge ; each particle is in only one chiral state. When reduced to , these three-dimensional representations remain irreducible.
In the massive case, we have 18 states and six particles, differing in quantum numbers and in parity, (three particles) and (three antiparticles). In the rest frame, the states of one particle differ by three projections of spin, .
These two triples differ only in the signs of chirality () or parity (). Therefore, if it turns out that the other charges of such particles are the same, then they can be considered as different polarization states of one particle. Under this interpretation, we have one triplet, each component of which has two () or six states ().
The triplet of vector bosons (in massless limit) has identical properties with the one considered above. In the massive case, the triplet has similar properties, excluding the equality of masses.
Spin 1, chirality .
In the case , we have an quadruplet of particles, containing two truly neutral particles (, ) and two charged particles (, ). Each particle from the quadruplet can be in three states, which differ in the rest frame by three projections of the spin . In the ultra-relativistic limit, there remains only one state with zero projection of the spin on the direction of motion.
The case corresponds to a truly neutral hypothetical particle, which is called the notoph in the literature.
Chirality . In the massless case, the quadruplet of particles contains two truly neutral particles (), differing by the values of , and two charged particles (). Each particle from the quadruplet has only one chiral state with zero projection of the spin on the direction of motion.
Spin 0. Scalar particles are represented by a singlet (independent of z functions ) and a quadruplet (second-order polynomials in z). The quadruplet consists of two truly neutral particles (, ) and two charged particles (, ). The characteristics of the Higgs boson correspond to both the singlet and to the component of the quadruplet with .
This list exhausts orientable objects described by polynomials of the zeroth, first, and second orders in orientation variables.
Among the states discussed above, there exist states with the same
that differ only by signs of the chirality (or parity, for
). This raises the question: should these states be interpreted as describing different particles, or merely different polarization states of one and the same particle? If we start only from the representation theory of the Poincaré group, we do not obtain any answer to such a question. But using the empirical formula (
25), we see that in the case of spin 1/2, these states differ in the electric charge and, therefore, are states of different particles (electron and neutrino). At the same time, in the case of spin 1, Equation (
25) does not prohibit interpreting them as different polarization states of one and the same particle (photon,
W bosons).
When considering relativistic wave equations and particles described by them, only 8 out of 10 from the maximal set of commuting operators of the Poincaré group are usually used (six left generators and two of four functions of the right generators, with the latter defining the irrep of the Lorentz group ). Here, for the classification of the orientable objects, we have used all 10 operators from the maximal set.
We stress that the results of the developed classification do not contradict the phenomenology of elementary particles and, moreover, in some cases, present the corresponding group-theoretic explanation. In addition, the relationship between the spectra of the left and right generators allows us to give a possible explanation of the relationship between spin and the internal quantum numbers (charges) of particles, expressed in the positivity of R-parity.
In addition, it seems important to note that the composition and properties of particles predicted by the presented classification follow exclusively from the properties of the space–time and are, in a sense, model-independent.