Sixfold Discrete Symmetry Explains Dark Matter

# I. INTRODUCTION, NOTATION, AND THE MAIN RESULTS # 1.1 Introduction Dark Matter is not exotic! We show the existence of six sectors of fermion fields, of which one is our ordinary matter and five others are their symmetric twins, symmetric but not identical to ordinary matter. The motivation for this article is the sixfold symmetry of fermion fields which is apparent in the Pauli algebra formulation [8] of the Dirac equation but is hidden in its standard four-component form. The solutions to the six symmetric versions of the Dirac equation form what is referred to as the six sectors of fermion fields, and the solutions to six versions of Maxwell's equations form the six sectors of the electromagnetic field. The mathematical reason for the sixfold symmetry are the six representations of the Clifford algebra $\mathrm{Cl}_{1,2}$ into the algebra of two-by-two complex matrices $M_2(\mathbb{C})$ . The key to this is the table in Section 6. The group of discrete symmetries of fermion fields are the automorphisms of the first Pauli group $G_{1}$ , with inner automorphisms containing the charge conjugation and the mass inversion [8]. The outer automorphisms are the subgroup of order two with the parity involution, taken direct product with the permutation group on three letters. (See 9.1). We construct an operator that calculates the values of the electric and magnetic fields coupled to the fermion field out of the fermion field spinor, with all quantities taking values in the Pauli algebra of two by two complex matrices (4.1). The resulting second order wave equation has a coupling matrix which is unique for each of the six versions, obtained by applying the outer automorphisms of the Pauli algebra. The six versions of the Dirac equation do have the same scalar equations, which raises a question, will their solutions be distinct? This question is answered positively in (7) by showing that if a field belongs to two different sectors then its mass equals zero. Another naturally arising question is, does there exist any electromagnetic transmission between different sectors? It is answered in the negative in (4.1). For each of the six sectors, there is a different coupling matrix connecting its electromagnetic field to its fermion field, thus precluding electromagnetic signals between different sectors. # 1.2 Notation All quantities considered here are elements of the Pauli algebra of complex $2 \times 2$ matrices, written in the basis of Pauli matrices. Only lower indices are used and instead of upper and lower indices the change of sign of the vector component is indicated by the bar. $\sigma_0$ being identity is omitted. $$ \begin{array}{l} a = a _ {0} + \underline {{a}} = \sigma_ {0} a _ {0} + \sigma_ {1} a _ {1} + \sigma_ {2} a _ {2} + \sigma_ {3} a _ {3} \\ \bar {a} = a _ {0} - \underline {{a}} = \sigma_ {0} a _ {0} - \sigma_ {1} a _ {1} - \sigma_ {2} a _ {2} - \sigma_ {3} a _ {3} \\ a \bar {a} = \bar {a} a = \det a \\ \end{array} $$ Any element can be written as a sum of its scalar component and its vector component. The "bar" operation switches the sign of the vector component leaving the scalar component unchanged. The "star" operation is taking the Hermitian conjugate. Their composition "bar-star", in either order, is an automorphism of the Pauli algebra, similar to complex conjugation. It is an outer automorphism since it replaces the determinant of an element with its complex conjugate. The subalgebra $\mathbb{H} \in M_2(\mathbb{C})$ fixed by the bar-star automorphism is called the subalgebra of real quaternions, and their products with $i$ are called imaginary quaternions. Their sign is changed by the bar-star operation. $$ u, v \in \mathbb {H} \quad \Longleftrightarrow \quad \overline {{u}} ^ {*} = u \quad \overline {{(i v)}} ^ {*} = - i v \quad \overline {{u + i v}} ^ {*} = u - i v $$ It is shown in [8] that the bar-star automorphism is the parity symmetry. A real quaternion $u = u_0 + \underline{u}$ has a real scalar component $u_0$ and imaginary vector component $\underline{u}$ , vice versa for imaginary quaternions. The differential, where $\partial_{\alpha}$ stands for $\frac{\partial}{\partial x_{\alpha}}$ $$ \begin{array}{l} \partial = \partial_ {0} + \underline {{\partial}} = \sigma_ {0} \partial_ {0} + \sigma_ {1} \partial_ {1} + \sigma_ {2} \partial_ {2} + \sigma_ {3} \partial_ {3} \tag {1.1} \\ \bar {\partial} = \partial_ {0} - \underline {{\partial}} = \sigma_ {0} \partial_ {0} - \sigma_ {1} \partial_ {1} - \sigma_ {2} \partial_ {2} - \sigma_ {3} \partial_ {3} \\ \end{array} $$ Their composition in either order is the d'Alembertian, multiplied by the identity matrix: $$ \partial \bar {\partial} = \bar {\partial} \partial = \square $$ The EM four-potential: $A = A_{0} + \underline{A} = \sigma_{0}A_{0} + \sigma_{1}A_{1} + \sigma_{2}A_{2} + \sigma_{3}A_{3}$ Inner and outer products of vector components: $$ \underline {{a}} \cdot \underline {{b}} := \frac {1}{2} (\underline {{a}} \underline {{b}} + \underline {{b}} \underline {{a}}) \qquad \underline {{a}} \wedge \underline {{b}} := \frac {1}{2} (\underline {{a}} \underline {{b}} - \underline {{b}} \underline {{a}}) \qquad \underline {{a}} \underline {{b}} = \underline {{a}} \cdot \underline {{b}} + \underline {{a}} \wedge \underline {{b}} $$ $$ \underline {{a}} \cdot \underline {{b}} = a _ {1} b _ {1} + a _ {2} b _ {2} + a _ {3} b _ {3} \qquad \qquad \underline {{a}} \wedge \underline {{b}} = \left| \begin{array}{c c c} i \sigma_ {1} & i \sigma_ {2} & i \sigma_ {3} \\ a _ {1} & a _ {2} & a _ {3} \\ b _ {1} & b _ {2} & b _ {3} \end{array} \right| $$ The electric and magnetic fields: $$ E = - \partial_ {0} \underline {{A}} - \underline {{\partial}} A _ {0} \qquad i \underline {{B}} = \underline {{\partial}} \wedge \underline {{A}} = \left| \begin{array}{c c c} i \sigma_ {1} & i \sigma_ {2} & i \sigma_ {3} \\ \partial_ {1} & \partial_ {2} & \partial_ {3} \\ A _ {1} & A _ {2} & A _ {3} \end{array} \right| $$ The four-component spinor of the Dirac equation is written using letters rather than indices and is completed with the second column as follows: $$ \Psi = \left[ \begin{array}{l} a \\ b \\ c \\ d \end{array} \right] \longrightarrow \left[ \begin{array}{l l} a & b ^ {*} \\ b & - a ^ {*} \\ c & - d ^ {*} \\ d & c ^ {*} \end{array} \right] = \left[ \begin{array}{l} i v \\ u \end{array} \right] $$ The lower square of the two-column matrix is an element $u$ of the subalgebra of real quaternions $\mathbb{H}$ and is unchanged by the bar-star automorphism. The upper square $iv$ is a product of a real quaternion with imaginary unit $i$ and its sign is changed by the bar-star automorphism (this can be checked by direct calculation). Their sum is called the Pauli algebra spinor: $$ u = \left[ \begin{array}{c c} c & - d ^ {*} \\ & \\ d & c ^ {*} \end{array} \right] \quad i v = \left[ \begin{array}{c c} a & b ^ {*} \\ & \\ b & - a ^ {*} \end{array} \right] \quad \psi = u + i v \quad \overline {{\psi}} ^ {*} = u - i v $$ # 1.3 The Main Results a) Pauli algebra Dirac equation and the inhomogeneous wave equation for our sector, both with their bar-star conjugates, see Section 5. b) The second order wave equation coupling the fermion field to EM field: $$ \left(\square + \mathrm {m} ^ {2} - \mathrm {q} ^ {2} \det A\right) \psi(i\sigma_{3}) = \mathrm {q} (\bar {\partial} \bar {A} + A \partial) \psi $$ where $i\sigma_{3}$ is the coupling matrix, again specifically for our sector. c) The six symmetric versions of all equations: they are obtained from the six different representations of the Clifford algebra $\mathrm{Cl}_{1,2}$ into the algebra of matrices $M_2(\mathbb{C})$ . Each of these versions has its own coupling matrix that connects between the fermion field and the EM field. d) The group of discrete symmetries of fermion fields: they correspond to the group of automorphisms of the first Pauli group $G_{1}$ , with inner automorphisms being the charge conjugation, the mass inversion, and their composition, and the outer automorphisms being the group of order two containing the parity involution taken direct product with the group of permutations on three letters. (see 9.1) # II. PROOF OF EQUIVALENCE OF THE PAULI ALGEBRA VERSION TO THE STANDARD DIRAC EQUATION Proposition 2.1. The standard Dirac equation taken together with its Hermitian conjugate is equivalent to the Pauli algebra Dirac equation taken together with its bar-star image. Proof. The original Dirac equation: $(i\gamma^{\mu}D_{\mu} - \mathrm{m})\Psi = 0$ is multiplied by $-i$ and is rewritten in two by two blocks with separate matrices for the differentials and for the EM interaction term. The left column of the equation below are the four scalar equations of the standard Dirac equation and the right column are the equations of the Hermitian conjugate Dirac equation, though they appear in different order. The matrices $i\sigma_{3}$ appear because without them the right column would have the opposite sign. $$ \left[ \begin{array}{l l} \partial_ {0} & \underline {{\partial}} \\ - \underline {{\partial}} & - \partial_ {0} \end{array} \right] \left[ \begin{array}{l} i v \\ u \end{array} \right] + \mathrm {q} \left[ \begin{array}{l l} A _ {0} & - \underline {{A}} \\ \underline {{A}} & - A _ {0} \end{array} \right] \left[ \begin{array}{l} i v \\ u \end{array} \right] \left[ i \sigma_ {3} \right] + \mathrm {m} \left[ \begin{array}{l} i v \\ u \end{array} \right] \left[ i \sigma_ {3} \right] = 0 \tag{2.1} $$ (It is useful at this point to rewrite the equation without blocks and check that the four equations in the left column are those of the Dirac equation and the four equations in the right column are of its Hermitian conjugate). We now multiply the equation on the right by $i\sigma_3$ and rewrite it as two equations in Pauli algebra, and also switch the signs in the second equation: $$ \partial_ {0} i v (i \sigma_ {3}) + \underline {{\partial}} u (i \sigma_ {3}) - q A _ {0} i v + q \underline {{A}} u - m i v = 0 $$ $$ \partial_ {0} u (i \sigma_ {3}) + \underline {{\partial}} i v (i \sigma_ {3}) - q A _ {0} u + q \underline {{A}} i v + m u = 0 $$ Next add and subtract the two equations recalling that $\psi = u + iv$ , $\overline{\psi}^{*} = u - iv$ : $$ \partial_ {0} \psi (i \sigma_ {3}) + \underline {{\partial}} \psi (i \sigma_ {3}) - q A _ {0} \psi + q \underline {{A}} \psi + m \bar {\psi} = 0 $$ $$ \partial_ {0} \overline {{\psi}} ^ {*} (i \sigma_ {3}) - \underline {{\partial}} \overline {{\psi}} ^ {*} (i \sigma_ {3}) - \mathrm {q} A _ {0} \overline {{\psi}} ^ {*} - \mathrm {q} \underline {{A}} \overline {{\psi}} ^ {*} + \mathrm {m} \psi = 0 $$ We obtain the Pauli algebra Dirac equation and its bar-star conjugate: $$ \begin{array}{l} \partial \psi (i \sigma_ {3}) - q \bar {A} \psi + m \bar {\psi} ^ {*} = 0 \\ \\overline{\psi} (i \sigma_{3}) - q \bar{A} ^ {*} + m \psi = 0 \end{array} \tag{2.2} $$ $$ \bar {\partial} \overline {{\psi}} ^ {*} (i \sigma_ {3}) - \mathrm {q} A \overline {{\psi}} ^ {*} + \mathrm {m} \psi = 0 $$ These two equations are transformed one into the other by the bar-star automorphism, because $\partial$ and $A$ are real. # III. OBTAINING THE MAXWELL'S EQUATIONS FROM THE PAULI ALGEBRA DIRAC EQUATIONS We apply the differential $\partial$ to the four-potential $A$ : $$ \partial A = (\partial_ {0} + \underline {{\partial}}) (A _ {0} + \underline {{A}}) = \partial_ {0} A _ {0} + \underline {{\partial}} \cdot \underline {{A}} + \partial_ {0} \underline {{A}} + \underline {{\partial}} A _ {0} + \underline {{\partial}} \wedge \underline {{A}} = L - \underline {{E}} + i \underline {{B}} $$ where the three summands are the scalar Lorentz sum, the electric field and the magnetic field. Next apply the bar-star conjugate of the differential, whose composition with differential is the d'Alembertian, and that the current $J = \square A$ : (see Eq. 5.1) $$ \begin{array}{l} J = \square A = \bar {\partial} (\partial A) = (\partial_ {0} - \underline {{\partial}}) (L - \underline {{E}} + i \underline {{B}}) = \\ = \partial_ {0} L - \partial_ {0} \underline {{E}} + \partial_ {0} i \underline {{B}} - \underline {{\partial}} L + \underline {{\partial}} \cdot \underline {{E}} + \underline {{\partial}} \wedge \underline {{E}} - i \underline {{\partial}} \cdot \underline {{B}} - i \underline {{\partial}} \wedge \underline {{B}} \\ \end{array} $$ The summands in this equation are of four different types and we rewrite the four separate sub-equations for each type: real scalar $\partial_0L + \underline{\partial}\cdot \underline{E} = 0$ imaginary scalar $\underline{\partial}\cdot i\underline{B} = 0$ real vector $\underline{J} +\partial_0\underline{E} +\underline{\partial} L + \underline{\partial}\wedge i\underline{B} = 0$ imaginary vector $\partial_0 i\underline{B} +\underline{\partial}\wedge \underline{E} = 0$ In order to see that these are the four Maxwell's equations we rewrite them in a more traditional order: $$ \begin{array}{l} \underline {{\partial}} \cdot \underline {{E}} = - \partial_ {0} L \\ \underline {{\partial}} \cdot i \underline {{B}} = 0 \\ \underline {{\partial}} \wedge \underline {{E}} = - \partial_ {0} i \underline {{B}} \\ \underline {{\partial}} \wedge i \underline {{B}} = - \underline {{J}} - \partial_ {0} \underline {{E}} - \partial L \\ \end{array} $$ The Lorentz sum $L$ appears in the equations because there was no fixing of a gauge. Its time derivative is minus the charge density. The minus sign before the current in the last equation is because the wedge product introduces one more copy of $i$ and $i^2 = -1$ . See also [5]. # IV. SECOND ORDER WAVE EQUATION COUPLING THE FERMION AND THE EM FIELDS 4.1 Reciprocal expressions for the spinor and its bar-star image The equations 2.2 allow to express $\overline{\psi}^*$ in terms of $\psi$ and vice versa express $\psi$ in terms of $\overline{\psi}^*$ . Then combine to obtain second order equations for both: $$ \begin{array}{l} \overline {{\psi}} ^ {*} = - \frac {1}{\mathrm {m}} \left(\partial \psi (i \sigma_ {3}) - \mathrm {q} \bar {A} \psi\right) \\ \psi = - \frac {1}{\mathrm {m}} \left(\bar {\partial} \overline {{\psi}} ^ {*} (i \sigma_ {3}) - \mathrm {q} A \overline {{\psi}} ^ {*}\right) \\ \end{array} $$ Now plug in: $$ \psi = \frac {1}{\mathrm {m} ^ {2}} \left(\bar {\partial} \left(\partial \psi (i \sigma_ {3}) - \mathrm {q} \bar {A} \psi\right) (i \sigma_ {3}) - \mathrm {q} A \left(\partial \psi (i \sigma_ {3}) - \mathrm {q} \bar {A} \psi\right)\right) $$ $$ \overline {{\psi}} ^ {*} = \frac {1}{\mathrm {m} ^ {2}} \left(\partial \left(\bar {\partial} \overline {{\psi}} ^ {*} (i \sigma_ {3}) - \mathrm {q} A \overline {{\psi}} ^ {*}\right) (i \sigma_ {3}) - \mathrm {q} \bar {A} \left(\bar {\partial} \overline {{\psi}} ^ {*} (i \sigma_ {3}) - \mathrm {q} A \overline {{\psi}} ^ {*}\right)\right) $$ Simplify: $$ \psi = \frac {1}{\mathrm {m} ^ {2}} \left(- \square \psi - \mathrm {q} \bar {\partial} (\bar {A} \psi) (i \sigma_ {3}) - \mathrm {q} A \partial \psi (i \sigma_ {3}) + \mathrm {q} ^ {2} \det (A) \psi\right) $$ $$ \bar {\psi} ^ {*} = \frac {1}{\mathrm {m} ^ {2}} \left(- \square \bar {\psi} ^ {*} - \mathrm {q} \partial (A \bar {\psi} ^ {*}) (i \sigma_ {3}) - \mathrm {q} \bar {A} \bar {\partial} \bar {\psi} ^ {*} (i \sigma_ {3}) + \mathrm {q} ^ {2} \det (A) \bar {\psi} ^ {*}\right) $$ Rewriting we have: $$ \left(\square + \mathrm {m} ^ {2} - \mathrm {q} ^ {2} \det A\right) \psi = - \mathrm {q} (\bar {\partial} \bar {A} + A \partial) \psi (i \sigma_ {3}) $$ $$ \left(\square + \mathrm {m} ^ {2} - \mathrm {q} ^ {2} \det A\right) \bar {\psi} ^ {*} = - \mathrm {q} \left(\partial A + \bar {A} \bar {\partial}\right) \bar {\psi} ^ {*} (i \sigma_ {3}) $$ Multiplying on the right by $i\sigma_{3}$ we have: Proposition 4.1. Coupling of Fermion and EM Fields $$ \left(\square + \mathrm {m} ^ {2} - \mathrm {q} ^ {2} \det A\right) \psi (i \sigma_ {3}) = \mathrm {q} (\bar {\partial} \bar {A} + A \partial) \psi $$ $$ \left(\square + \mathrm {m} ^ {2} - \mathrm {q} ^ {2} \det A\right) \bar {\psi} ^ {*} (i \sigma_ {3}) = \mathrm {q} (\partial A + \bar {A} \bar {\partial}) \bar {\psi} ^ {*} $$ Again, these two equations are transformed one into the other by the bar-star automorphism. Taking into account the placement of brackets in 4.1, the right sides should be understood as $$ \left(\square + \mathrm {m} ^ {2} - \mathrm {q} ^ {2} \det A\right) \psi (i \sigma_ {3}) = \mathrm {q} \bar {\partial} (\bar {A} \psi) + \mathrm {q} A (\partial \psi) $$ $$ \left(\square + \mathrm {m} ^ {2} - \mathrm {q} ^ {2} \det A\right) \bar {\psi} ^ {*} (i \sigma_ {3}) = \mathrm {q} \partial \left(A \bar {\psi} ^ {*}\right) + \mathrm {q} \bar {A} (\bar {\partial} \bar {\psi} ^ {*}) \tag {4.1} $$ # V. THE PAULI ALGEBRA LAGRANGIAN The purpose of this section is to rewrite the Lagrangian of quantum electrodynamics in Pauli algebra form. Then the Lagrangian is rewritten in terms of Clifford algebra $\mathrm{Cl}_{1,2}$ . Next we use the six representations of the Clifford algebra $\mathrm{Cl}_{1,2}$ into the algebra of two by two complex matrices $M_2(\mathbb{C})$ so as to construct the six symmetric forms of the Dirac Lagrangian and of the Dirac equation. The main difference between the standard QED Lagrangian [6], [9], [11]: $$ \mathcal{L}_{QED} = \overline {{\Psi}} \left(i \gamma^ {\mu} \partial^ {\mu} - m\right) \Psi - q A _ {\mu} \overline {{\Psi}} \gamma^ {\mu} \Psi - \frac {1}{4} F ^ {\mu \nu} F _ {\mu \nu} $$ and the Pauli algebra Lagrangian used here is the use of the multiplicative structure of the algebra. The other difference is that unlike the usual recovering the equations of motion from the Lagrangian using the Euler-Lagrange equations, another procedure is used, namely equating to zero the formal derivatives. This results in Pauli algebra Dirac equation [8], and the inhomogeneous wave equations. Here is the Pauli algebra version of the QED Lagrangian: $$ \begin{array}{l} \mathscr{L} = ^{*} \partial \psi (i \sigma_ {3}) - q \psi^{*} \bar{A} \psi + m \psi^{*} \bar{\psi} ^{*} + (\bar {\partial A}) \partial A + \\ + \bar{\partial} ^{*} (i \sigma_ {3}) - q \bar{\psi} A \bar{\psi} ^{*} + m \bar{\psi} \psi + (\bar {\bar{\partial}} \bar{A}) \bar{\partial} \bar{A} \\ \end{array} $$ The Lagrangian is intentionally written in two lines because these lines are transformed one into the other by the bar-star automorphism of the Pauli algebra (see [8]). The Lagrangian can also be written in terms of the conserved current $J$ : $$ \begin{array}{l} \mathscr{L} = ^{*} \partial \psi (i \sigma_ {3}) - \frac {1}{2} (\bar{A} J + \bar {J} A) + m \psi^{*} \bar{\psi} ^{*} + \bar{A} \square A \\ + \quad - \bar {\partial} \bar{\psi} ^{*} (i \sigma_ {3}) - \frac {1}{2} (A \bar {J} + J \bar{A}) + m \bar{\psi} \psi + A \square \bar{A} \\ \end{array} $$ The reason for this is that $\bar{\partial}\partial A = \partial \bar{\partial} A = \square A$ and also (see 5.3) $$ q \psi^{*} \bar {A} \psi + q \bar {\psi} A^{*} = \frac {1}{2} (\bar {A} J + A \bar {J} + \bar {J} A + J \bar {A}) $$ Recovering the equations of motion is done by equating to zero the formal derivatives of the Lagrangian with respect to $\psi^{*},\overline{\psi},\bar{A},A$ $$ \frac {\partial \mathcal {L}}{\partial \psi^{*}} = 0 \qquad \frac {\partial \mathcal {L}}{\partial \overline{\psi}} = 0 \qquad \frac {\partial \mathcal {L}}{\partial \overline {{A}}} = 0 \qquad \frac {\partial \mathcal {L}}{\partial A} = 0 $$ This results in four equations: $$ \begin{array}{l} \partial \psi (i \sigma_ {3}) - q \bar {A} \psi + m \bar {\psi} ^ {*} = 0 \tag {5.1} \\ \bar {\partial} \overline {{\psi}} ^ {*} (i \sigma_ {3}) - q A \overline {{\psi}} ^ {*} + m \psi = 0 \\ - J + \square A = 0 \\ - \bar {J} + \square \bar {A} = 0 \\ \end{array} $$ The first two equations are the Pauli algebra Dirac equation [8], and the last two are the inhomogeneous wave equations [4]. The sign of the d'Alembertian used here is the opposite of the sign in [4]. The differential, the four-potential and the four-current are elements of the Pauli algebra $M_2(\mathbb{C})$ split into scalar and vector parts as follows: $$ \begin{array}{l} \partial = \partial_{\mu} \sigma_{\mu} = \partial_ {0} + \underline {{\partial}} \quad \bar {\partial} = \partial_ {0} - \underline {{\partial}} \\ A = A ^ {\mu} \sigma_{\mu} = A ^ {0} + \underline {{A}} \quad \bar {A} = A ^ {0} - \underline {{A}} \\ J = J ^ {\mu} \sigma_{\mu} = J ^ {0} + \underline {{J}} \quad \bar {J} = J ^ {0} - \underline {{J}} \\ \end{array} $$ If $u\in \mathbb{H}$ then $u^{*} = \bar{u}$ , $\overline{u}^{*} = u$ . For $iv$ the opposite holds $(iv)^{*} = -i\bar{v}$ . For any $\psi \in M_2(\mathbb{C})$ $\bar{\psi}\psi = \operatorname*{det}(\psi)I_2$ Both compositions of the differential and its bar are the d'Alembertian: $\partial \bar{\partial} = \bar{\partial}\partial = \square$ . Hence: $$ \overline {{(\partial A)}} \partial A = \bar {A} \bar {\partial} \partial A = \bar {A} \square A $$ $$ \overline {{(\bar {\partial} \bar {A})}} \bar {\partial} \bar {A} = A \partial \bar {\partial} \bar {A} = A \square \bar {A} $$ The Lagrangian is rewritten separating the elements into their scalar and vector parts. This will be used when writing the representation independent form of the Lagrangian. $$ \begin{array}{l} \mathscr {L} = \boldsymbol{\psi} (\partial_{0} + \underline{\partial}) \psi (i \sigma_ {3}) + m \psi^ {*} \overline {{\psi}} ^ {*} + \overline {{\psi}} (\partial_{0} - \underline{\partial}) \overline {{\psi}} ^ {*} (i \sigma_ {3}) + m \overline {{\psi}} \psi \\ - \frac {1}{2} \left[ \left(A ^ {0} - \underline {{A}}\right) \left(J ^ {0} + \underline {{J}}\right) + \left(J ^ {0} - \underline {{J}}\right) \left(A ^ {0} + \underline {{A}}\right) \right] + \left(A ^ {0} - \underline {{A}}\right) \square \left(A ^ {0} + \underline {{A}}\right) \\ - \frac {1}{2} \left[ \left(A ^ {0} + \underline {{A}}\right) \left(J ^ {0} - \underline {{J}}\right) + \left(J ^ {0} + \underline {{J}}\right) \left(A ^ {0} - \underline {{A}}\right) \right] + \left(A ^ {0} + \underline {{A}}\right) \square \left(A ^ {0} - \underline {{A}}\right) \\ \end{array} $$ Taking into account that $$ \psi^{*} = \bar {u} - i \bar {v} \quad \bar{\psi} = \bar {u} + i \bar {v} \quad \bar{\psi} ^ {*} = u - i v \quad \psi = u + i v $$ and the expressions for the current ([7], Proposition 8) which imply: $$ J ^ {\alpha} = \frac {1}{2} \operatorname{tr} (\psi^ {*} \sigma^ {\alpha} \psi); J ^ {0} = q (\bar {u} u + \bar {v} v) \sigma_ {0}; \underline {{J}} = J ^ {k} \sigma_ {k} = i q (\bar {u} \sigma_ {k} v - \bar {v} \sigma_ {k} u) \sigma_ {k} $$ the Lagrangian is rewritten in quaternionic functions $u$ and $v$ as follows: $$ \begin{array}{l} \frac {1}{2} \mathcal {L} = (\bar {u} \partial_ {0} u + \bar {v} \partial_ {0} v) (i \sigma_ {3}) - (\bar {u} \underline {{\partial}} v - \bar {v} \underline {{\partial}} u) \sigma_ {3} \tag{5.2} \\ - q A _ {0} (\bar {u} u + \bar {v} v) + i q A _ {k} (\bar {u} \sigma_ {k} v - \bar {v} \sigma_ {k} u) + \\ + A _ {0} \square A _ {0} - \underline {{A}} \square \underline {{A}} + m (\bar {u} u - \bar {v} v) \\ \end{array} $$ Equating to zero the derivatives $$ \frac {\partial \mathcal {L}}{\partial \bar {u}} = 0 \quad \frac {\partial \mathcal {L}}{\partial \bar {v}} = 0 $$ results in equations $$ \partial_ {0} u (i \sigma_ {3}) - \underline {{\partial}} v \sigma_ {3} - q A ^ {0} u + i q \underline {{A}} v + m u = 0 $$ $$ \partial_ {0} v (i \sigma_ {3}) + \underline {{\partial}} u \sigma_ {3} - q A ^ {0} v - i q \underline {{A}} u - m v = 0 $$ which are equivalent to the first two equations of 5.1, which are the Pauli algebra Dirac equations. This can be checked by multiplying the second equation by $i$ and then adding and subtracting with the first equation. In order to have a representation-independent form of the Lagrangian, the quaternionic functions, the real $u$ and the imaginary $iv$ , need to be written first in terms of sigma matrices and then in terms of generators of the Clifford algebra: $$ u = \left[ \begin{array}{c c} c & - d ^ {*} \\ d & c ^ {*} \end{array} \right] = \left[ \begin{array}{c c} c _ {0} + i c _ {1} & - d _ {0} + i d _ {1} \\ d _ {0} + i d _ {1} & c _ {0} - i c _ {1} \end{array} \right] = c _ {0} \sigma_ {0} + i d _ {1} \sigma_ {1} - i d _ {0} \sigma_ {2} + i c _ {1} \sigma_ {3} $$ $$ i v = \left[ \begin{array}{c c} a & b ^ {*} \\ b & - a ^ {*} \end{array} \right] = \left[ \begin{array}{c c} a _ {0} + i a _ {1} & b _ {0} - i b _ {1} \\ b _ {0} + i b _ {1} & - a _ {0} + i a _ {1} \end{array} \right] = i a _ {1} \sigma_ {0} + b _ {0} \sigma_ {1} + b _ {1} \sigma_ {2} + a _ {0} \sigma_ {3} $$ # 5.1 Proof that the two forms of Lagrangian are the same Proposition 5.1. The two sums forming the interaction terms in the Lagrangian are equal: $$ q \psi^ {*} \bar {A} \psi + q \bar {\psi} A \bar {\psi} ^ {*} = \frac {1}{2} (\bar {A} J + A \bar {J} + \bar {J} A + J \bar {A}) \tag {5.3} $$ Proof. The probability current $J^{\mu}$ is calculated out of the real quaternionic and imaginary quaternionic components of the Pauli algebra spinor as follows: $$ J ^ {\mu} = u ^ {*} \sigma_ {\mu} (i v) + (i v) ^ {*} \sigma_ {\mu} u $$ (Here the components of the conserved current $J$ are understood not as numbers, but as scalar two by two matrices). This can be checked by using the two-column completion of $\Psi$ as described in 1.2 and in [8], and then rewriting the usual formula for the probability current [11] with $2 \times 2$ blocks $iv$ and $u$ . We need to calculate separately the scalar and the vector components of the current: $$ J _ {0} = q \left[ u ^ {*} u + (i v) ^ {*} (i v) \right] \sigma_ {0} \quad \underline {{J}} = J _ {k} \sigma_ {k} = q \left[ u ^ {*} \sigma_ {k} (i v) + (i v) ^ {*} \sigma_ {k} u \right] \sigma_ {k} $$ (Note that both $u^{*}u + (iv)^{*}(iv)$ and $u^{*}\sigma_{k}(iv) + (iv)^{*}\sigma_{k}u$ are real scalars) To prove 5.3 we calculate separately the left side and the right side. The spinor $\psi = u + iv$ is decomposed as sum of a real quaternionic function $u$ and an imaginary quaternionic function $iv$ . We begin with the left side: $$ \begin{array}{l} L. S. = q \psi^ {*} \bar {A} \psi + q \overline {{\psi}} A \bar {\psi} ^ {*} = \\ q \left[ u ^ {*} + (i v) ^ {*} \right] \left(A _ {0} - \underline {{A}}\right) (u + i v) + q \left[ u ^ {*} - (i v) ^ {*} \right] \left(A _ {0} + \underline {{A}}\right) (u - i v) = \\ = q (\bar {u} - i \bar {v}) (A _ {0} - \underline {{A}}) (u + i v) + q (\bar {u} + i \bar {v}) (A _ {0} + \underline {{A}}) (u - i v) = \\ = 2 q A _ {0} (\bar {u} u + \bar {v} v) \sigma_ {0} - 2 i q A _ {k} (\bar {u} \sigma_ {k} v - \bar {v} \sigma_ {k} u) \sigma_ {k} = \\ = 2 q A _ {0} [ u ^ {*} u + (i v) ^ {*} (i v) ] \sigma_ {0} - 2 q A _ {k} [ u ^ {*} \sigma_ {k} (i v) + (i v) ^ {*} \sigma_ {k} u ] \sigma_ {k} \\ \end{array} $$ (Note that the expressions in square brackets are real scalars) Now calculate the right side: $$ \begin{array}{l} R. S. = \frac {1}{2} (\bar {A} J + A \bar {J} + \bar {J} A + J \bar {A}) = \\ = \frac {1}{2} [ (A _ {0} - \underline {{A}}) (J _ {0} + \underline {{J}}) + (A _ {0} + \underline {{A}}) (J _ {0} - \underline {{J}}) + \\ + (J _ {0} - \underline {{J}}) (A _ {0} + \underline {{A}}) + (J _ {0} + \underline {{J}}) (A _ {0} - \underline {{A}})] = \\ = 2 \left(A _ {0} J _ {0} - 2 \underline {{A}} \cdot \underline {{J}} - 2 \underline {{A}} \wedge \underline {{J}} - 2 \underline {{J}} \wedge \underline {{A}}\right) = \\ = 2 \left(A _ {0} J _ {0} - 2 \underline {{A}} \cdot \underline {{J}}\right) \\ \end{array} $$ (the last equality because the outer product is anticommutative) Now use the expressions for the current in (5.4): $$ R. S. = 2 q A _ {0} \left[ u ^ {*} u + (i v) ^ {*} (i v) \right] \sigma_ {0} - 2 q A _ {k} \left[ u ^ {*} \sigma_ {k} (i v) + (i v) ^ {*} \sigma_ {k} u \right] \sigma_ {k} \tag {5.4} $$ $$ L. S. = R. S. $$ # VI. THE CLIFFORD ALGEBRA LAGRANGIAN The Pauli algebra $M_2(\mathbb{C})$ is isomorphic to the Clifford algebra $\mathrm{Cl}_{1,2}$ so that every element can be expressed in its three generators: $$ \mathrm{e}_{0}^{2}=1, \quad \mathrm{e}_{1}^{2}=-1, \quad \mathrm{e}_{2}^{2}=-1 \tag{6.1} $$ The table below defines six matrix representations of $\mathrm{Cl}_{1,2}$ into $M_2(\mathbb{C})$ , of which the first is chosen to be the standard one. The automorphisms of $M_2(\mathbb{C})$ are labelled by their action on the three cyclic subgroups of order 4 of the finite quaternion group $Q_8$ . These automorphisms form a group isomorphic to the group of permutations of three letters, see [2], [1]. Here the finite quaternion group is (including their opposite signs): $$ Q _ {8} = \left\{\sigma_ {0}, - i \sigma_ {1}, - i \sigma_ {2}, - i \sigma_ {3} \right\} \leftrightarrow \left\{1, \textbf {i}, \textbf {j}, \textbf {k} \right\} $$ This action can be seen in the columns corresponding to the generators $$ \mathbf {e} _ {1}, \mathbf {e} _ {2}, \mathbf {e} _ {1} \mathbf {e} _ {2} $$ The subscripts $ijk$ in the following table show the isomorphism between the outer automorphisms of $Q_{8}$ and the group of permutations of three letters. The morphisms between the representations are obtained by combining the inverse of one representation with another. The automorphism of $M_2(\mathbb{C})$ converting the $DE_{123}$ into $DE_{231}$ for example will be $$ \varphi_ {2 3 1} \circ \varphi_ {1 2 3} ^ {- 1} $$ Here is the table for $\varphi_{ijk}:\mathrm{Cl}_{1,2}\to M_2(\mathbb{C})$ : <table><tr><td>φijk</td><td>e0</td><td>e1</td><td>e2</td><td>e1e2</td><td>e0e1</td><td>e0e2</td><td>e0e1e2</td></tr><tr><td>φ123</td><td>σ3</td><td>-iσ1</td><td>-iσ2</td><td>-iσ3</td><td>σ2</td><td>-σ1</td><td>-iσ0</td></tr><tr><td>φ231</td><td>σ1</td><td>-iσ2</td><td>-iσ3</td><td>-iσ1</td><td>σ3</td><td>-σ2</td><td>-iσ0</td></tr><tr><td>φ312</td><td>σ2</td><td>-iσ3</td><td>-iσ1</td><td>-iσ2</td><td>σ1</td><td>-σ3</td><td>-iσ0</td></tr><tr><td>φ213</td><td>σ3</td><td>-iσ2</td><td>-iσ1</td><td>iσ3</td><td>-σ1</td><td>σ2</td><td>iσ0</td></tr><tr><td>φ132</td><td>σ2</td><td>-iσ1</td><td>-iσ3</td><td>iσ2</td><td>-σ3</td><td>σ1</td><td>iσ0</td></tr><tr><td>φ321</td><td>σ1</td><td>-iσ3</td><td>-iσ2</td><td>iσ1</td><td>-σ2</td><td>σ3</td><td>iσ0</td></tr></table> The action of the bar-star automorphism and of the bar and of "star" (Hermitian conjugate) anti-automorphisms on the generators of the Clifford algebra can be seen in the following table: <table><tr><td>operation</td><td>e0</td><td>e1</td><td>e2</td><td>e1e2</td><td>e0e1</td><td>e0e2</td><td>e0e1e2</td></tr><tr><td>bar-star</td><td>-1</td><td>1</td><td>1</td><td>1</td><td>-1</td><td>-1</td><td>-1</td></tr><tr><td>bar</td><td>-1</td><td>-1</td><td>-1</td><td>-1</td><td>-1</td><td>-1</td><td>1</td></tr><tr><td>star</td><td>1</td><td>-1</td><td>-1</td><td>-1</td><td>1</td><td>1</td><td>-1</td></tr></table> Now use $\varphi_{123}^{-1}$ to rewrite all the vector expressions in terms of generators of the Clifford algebra, according to the first line in the table. The $\sigma_0$ being identity is omitted. $$ \underline{\partial} = -\mathrm{e}_{0}\mathrm{e}_{2}\partial_{1} + \mathrm{e}_{0}\mathrm{e}_{1}\partial_{2} + \mathrm{e}_{0}\partial_{3} $$ $$ \underline{A} = -\mathrm{e}_{0}\mathrm{e}_{2}A^{1} + \mathrm{e}_{0}\mathrm{e}_{1}A^{2} + \mathrm{e}_{0}A^{3} \tag{6.2} $$ $$ \underline{J} = -\mathrm{e}_{0}\mathrm{e}_{2}J^{1} + \mathrm{e}_{0}\mathrm{e}_{1}J^{2} + \mathrm{e}_{0}J^{3} $$ The other elements of the Lagrangian that depend on the representation are $i\sigma_{3}$ and $\sigma_3$ , and according to the first line of the table, they should be replaced with $-\mathrm{e}_1\mathrm{e}_2$ and with $\mathbf{e}_0$ Now one can write the representation-independent Lagrangian, by substituting 6.2 into 5.2. In this article the substitution is done only for the case of the free Dirac equation. If the six representations are applied to all the expressions in the Lagrangian and in the resulting equations, then the morphisms between representations will transform solutions into solutions. Both the new Pauli algebra spinors and the corresponding new equations will be different but the underlying eight equations of the Dirac equation and its Hermitian conjugate will be exactly the same. This raises the question, will the solutions to the transformed equations be the same as before, or will they be genuinely different? This question is answered in 7.1. Only the free Dirac equation is needed there, so here is its representation-independent form: $$ \left(\partial_{0} - \mathrm{e}_{0}\mathrm{e}_{2}\partial_{1} + \mathrm{e}_{0}\mathrm{e}_{1}\partial_{2} + \mathrm{e}_{0}\partial_{3}\right) \psi + \mathrm{e}_{0}\mathrm{e}_{1}\mathrm{e}_{2}\mathrm{m}\overline{\psi}^{*}\mathrm{e}_{0} = 0 \tag{6.3} $$ # VII. THE SIX SECTORS OF FERMION FIELDS ARE DISTINCT The method used to show this is the mass inversion symmetry, described in [8]. For convenience this short argument is reproduced here. Given a solution $\psi$ of the free Dirac equation define $\psi' = \psi \sigma_3$ . Then multiply this equation, which appears first, on the right by $\sigma_3$ , and recall that $\overline{\sigma_3}^* = -\sigma_3$ : $$ \partial \psi = i \operatorname {m} \overline {{\psi}} ^ {*} \sigma_ {3} \quad \partial \psi \sigma_ {3} = i \operatorname {m} \overline {{\psi}} ^ {*} \sigma_ {3} \sigma_ {3} \quad \partial \psi \sigma_ {3} = - i \operatorname {m} (\overline {{\psi \sigma_ {3}}}) ^ {*} \sigma_ {3} \quad \partial \psi^ {\prime} = - i \operatorname {m} \overline {{\psi^ {\prime}}} ^ {*} \sigma_ {3} $$ So $\psi'$ is also a solution of the Dirac equation but with the mass of opposite sign. Proposition 7.1. Only massless spinors can be solutions to two versions of the free Dirac equation belonging to two different sectors. Proof. These are the six versions of the free Dirac equation obtained by applying the six representations to the representation-independent free Dirac equation : 123 $(\partial_0 + \sigma_1\partial_1 + \sigma_2\partial_2 + \sigma_3\partial_3)\psi -i\mathrm{m}\overline{\psi}^*\sigma_3 = 0$ 231 $(\partial_0 + \sigma_2\partial_1 + \sigma_3\partial_2 + \sigma_1\partial_3)\psi -i\mathrm{m}\overline{\psi}^*\sigma_2 = 0$ 312 $(\partial_0 + \sigma_3\partial_1 + \sigma_1\partial_2 + \sigma_2\partial_3)\psi -i\mathrm{m}\overline{\psi}^*\sigma_1 = 0$ 213 $(\partial_0 - \sigma_2\partial_1 - \sigma_1\partial_2 + \sigma_3\partial_3)\psi +i\mathrm{m}\overline{\psi}^*\sigma_3 = 0$ (7.1) 132 $(\partial_0 - \sigma_1\partial_1 - \sigma_3\partial_2 + \sigma_2\partial_3)\psi +i\mathrm{m}\overline{\psi}^*\sigma_1 = 0$ 321 $(\partial_0 - \sigma_3\partial_1 - \sigma_2\partial_2 + \sigma_1\partial_3)\psi +i\mathrm{m}\overline{\psi}^*\sigma_2 = 0$ Suppose that the spinor is a solution of two different equations, with the same mass. We can always use the morphisms between representation to make the first of two equations the top line 123. Now let the second equation be any other except 213 (this case will be dealt with separately). For example suppose the second equation is 231. Multiply both equations on the right by $\sigma_3$ : 123 $(\partial_0 + \sigma_1\partial_1 + \sigma_2\partial_2 + \sigma_3\partial_3)\psi' + i\mathrm{m}\overline{\psi'}^*\sigma_3 = 0$ 231 $(\partial_0 + \sigma_2\partial_1 + \sigma_3\partial_2 + \sigma_1\partial_3)\psi^{\prime} - i\mathrm{m}\overline{\psi^{\prime}}^{*}\sigma_{2} = 0$ So $\psi'$ is a solution for the first equation with mass $m$ and for the second with mass $m$ , which is only possible if the mass is zero. This argument applies to all lines except 213 where we do not have the anticommutation. For the lines 123 and 213 suppose that $\mathrm{m} \neq 0$ and consider also their bar-star equations: $$ \begin{array}{l} \left(\partial_ {0} + \sigma_ {1} \partial_ {1} + \sigma_ {2} \partial_ {2} + \sigma_ {3} \partial_ {3}\right) \psi - i \mathrm {m} \bar {\psi} ^ {*} \sigma_ {3} = 0 \\ \left(\partial_ {0} - \sigma_ {2} \partial_ {1} - \sigma_ {1} \partial_ {2} + \sigma_ {3} \partial_ {3}\right) \psi + i \mathrm {m} \overline {{\psi}} _ {\ast} ^ {*} \sigma_ {3} = 0 \\ \left(\partial_ {0} - \sigma_ {1} \partial_ {1} - \sigma_ {2} \partial_ {2} - \sigma_ {3} \partial_ {3}\right) \bar {\psi} ^ {*} - i \operatorname {m} \psi \sigma_ {3} = 0 \tag {7.3} \\ \left(\partial_ {0} + \sigma_ {2} \partial_ {1} + \sigma_ {1} \partial_ {2} - \sigma_ {3} \partial_ {3}\right) \bar {\psi} ^ {*} + i \operatorname {m} \psi \sigma_ {3} = 0 \\ \end{array} $$ Subtracting the first two lines and the last two lines we get $$ \frac {1}{2} (\sigma_ {1} + \sigma_ {2}) (\partial_ {1} + \partial_ {2}) \psi = i \operatorname {m} \overline {{\psi}} ^ {*} \sigma_ {3} \quad \frac {1}{2} (\sigma_ {1} + \sigma_ {2}) (\partial_ {1} + \partial_ {2}) \overline {{\psi}} ^ {*} = - i \operatorname {m} \psi \sigma_ {3} $$ Combining we get $\frac{1}{2\mathrm{m}^2} (\partial_1 + \partial_2)^2\psi = \psi$ and with a change of coordinates we have an ODE $$ \frac {1}{2 \mathrm {m} ^ {2}} \frac {\partial^ {2} \psi}{\partial s ^ {2}} - \psi = 0 $$ with real roots of its characteristic equation. So $\psi$ is an exponential function and this is incompatible with it being normalizable. # VIII. THE LACK OF ELECTROMAGNETIC INTERACTION BETWEEN DIFFERENT SECTORS We consider the six symmetric versions of the equation (4.1) that links the fermion field to the electromagnetic field. In the version labeled by the permutation 123 the linking matrix is $i\sigma_{3}$. A look at the fourth column of the table (6) shows that the representation independent expression is $-e_1e_2$. Its values under the six representations are all different, showing a specific coupling within each sector. There are also the six symmetric versions of Maxwell's equations, see 3. The operator $\underline{\partial}$ which equals $\sigma_{1}\partial_{1} + \sigma_{2}\partial_{2} + \sigma_{3}\partial_{3}$ under the representation $\varphi_{123}$ changes under the other representations according to the table 6. This produces six symmetric, but non-identical copies of Maxwell's equations. # IX. THE GROUP OF DISCRETE SYMMETRIES Proposition 9.1. The group of discrete symmetries of fermion fields is the group of automorphisms of the first Pauli group $G_{1}$ where the abelian normal subgroup of inner automorphisms consists of identity, the charge conjugation symmetry $C$, the mass inversion symmetry $M$ and their composition. The group of outer automorphisms is a direct product of the group of order two generated by the parity symmetry, which is the bar-star automorphism, and the group of permutations on three letters, generated by permuting the three spatial derivatives with the three sigma matrices. Proof. The proof consists of identifying the discrete symmetries with elements of the automorphism group $Aut(G_1)$ The inner automorphisms of the first Pauli group $G_{1}$ are the conjugations by $\sigma_{1}$ which is the charge conjugation symmetry $C$, by $\sigma_{3}$ which is the mass inversion symmetry $M$, and by their product $i\sigma_{2}$, which is $CM = MC$. (This appears in [8], except it appears as right multiplication by the sigma matrix rather than conjugation as here). Rewriting the short exact sequence $$ 1 \longrightarrow \operatorname{Inn} G_{1} \longrightarrow \operatorname{Aut} G_{1} \longrightarrow \operatorname{Out} G_{1} \longrightarrow 1 $$ we have $$ 1 \longrightarrow C _ {2} \times C _ {2} \longrightarrow \operatorname{Aut} G _ {1} \longrightarrow C _ {2} \times S _ {3} \longrightarrow 1 $$ where in the outer automorphisms the cyclic group of order two is generated by the parity transformation "bar-star" and the group of permutations permutes between spatial derivatives and the three sigma matrices. The parity transformation inverts the signs of the three spatial derivatives and the three components of the vector potential. Recalling that there are two versions of the Pauli algebra Dirac equation related by the bar-star automorphism, this transformation essentially replaces the spinor with its bar-star image $\overline{\psi}^*$ and vice versa. Since the choice between them is arbitrary, there are only six sectors of fermion fields and not twelve. The group of automorphisms of $G_{1}$ is described in [10]. # X. CONCLUSIONS AND OPEN QUESTIONS For the six-fold discrete symmetry to be a candidate to explain dark matter, two issues need to be addressed: first, show that the six sectors of free fermion fields are genuinely distinct from each other; and second, show the absence of electromagnetic interaction between different sectors. The first issue is addressed in (7.1). The second follows from the unique matrix coupling the fermion field to the EM field in (4.1). What remains is the important caveat, that the six-fold symmetry must be extended to weak and strong interactions to be a reasonable explanation. This is not addressed in the present article. According to [3] the universe consists of approximately $5\%$ ordinary baryonic matter, $\sim$ $26\%$ dark matter, and $\sim 61\%$ dark energy. This gives the ratio of dark matter to ordinary matter of $5.2:1$ which is close to $5:1$ , as predicted by the six-fold symmetry. # Declarations Funding: This research received no external funding. Conflicts of Interest: The authors declare no conflict of interest.

Generating HTML Viewer...