1 Introduction

The well known Lounesto’s spinor classification is a comprehensive and exhaustive categorization based on the bilinear covariants that discloses the possibility of a large variety of spinors, comprising regular and singular spinors which includes the cases of Dirac, Weyl, and Majorana as very particular spinors [1].

Hundreds of textbooks usually show the dual structure for the fermionic spin one-half Dirac field (or also known as eigenspinors of parity operator), only by elucidating a given structure without at least showing explicitly how it actually emerges, or even mentioning the fact that it may not be unique. Now, if other physical fields describing relevant particles exist, one may naturally wonder if they must obey the same dual structure commonly used for Dirac spinors or not. In other words, is the Dirac structure so fundamental?. Both questions are rarely asked in the physics literature. Undertaking a deep analysis of spinorial duals could help us to get closer to answer the above-mentioned questions. The algebraic theory of spinor duals makes use of the rich and well known structure of Clifford algebras to specify all possible duals for arbitrary algebras of any dimension and space(time) signature [2]. However, when the theory of the mass-dimension-one (Elko) spinors was proposed, it was necessary to revisit some fundamental aspects of the Quantum Field Theory, such as spinorial dual theory and (a slightly modification on) the Clifford algebra basis, always aiming to retrieve physical information [3, 4].

Elko spinor, proposed in [5], is a spin-1/2 fermionic field endowed with mass dimension one, built upon a complete set of eigenspinors of the charge conjugation operator, which has the property of being neutral with respect to gauge interactions. On their earlier formulation, these fields were quantum objects which carry a representation of subgroups of the Lorentz group \(H\!O\!M\!(2)\) and \(S\!I\!M\!(2)\) [6], and corresponding semi-direct extension encompassing translation. Recently, a redefinition in the spinor adjoint has lead to a theory endowed with full Lorentz (Poincaré) symmetry. The main features of this formulation, along with the theory of duals may be found in Ref. [7]. As Elko spinors have mass dimension one, there is nothing that precludes the appearance of mass dimension one spinor further in classes (4) and (6) in Lounesto’s classification [8].

In the context of the bilinear structures, it is indeed important to pay attention to the subtleties of Clifford algebra when associating real numbers to the bilinear covariants [4, 9]. All the protocol developed in this paper is based on two fundamental works written by Crawford [10, 11], where he worked out several important formalizations concerning the bispinor algebra, developing a rigorous mathematical mechanism to obtain real bilinear covariants. For a more complete understanding of this subject the reader is also referred to [12,13,14].

In this communication we look for the underlying mathematical approach that allows us to define a spinorial dual structure, by making correct use of the Crawford mechanism to evaluate the bilinear covariants, using the correct composition law of the basis vector of the Clifford algebra (also taking into account the Dirac normalization), and verifying if such forms satisfy the algebraic Fierz–Pauli–Kofink identities (henceforth, we will call FPK identities). In the case they do not satisfy FPK identities, we present a similar procedure based on the Clifford algebra basis modification, which allows us to ensure that the FPK identities hold.

The paper is organized as follows. In the next section we define the basic concepts concerning the construction of the spinorial duals, and then we define a general dual structure. What comes next, for a book-keeping purpose, is an overview on the well-known Lounesto’s classification, showing the main aspects of the classification and the underlying algebraic structure behind it. Thus, we present the proposed program and then, working with a general dual structure, we define a general spinor classification holding the same algebraic structure as Lounesto’s classification does. Finally, we present a mathematical mechanism which ensures real quadratic forms, and also guarantees the FPK identities. In the last section, we conclude with some final remarks.

2 A brief overview on spinorial duals

Spinors may be defined in several different ways. In the context of Clifford algebra, the spinors are defined to be elements of a left minimal ideal, whereas in the context of group theory we say that the spinors are carriers of the fundamental representation of the group. Spinors are used extensively in physics [15], and it is widely accepted that they are more fundamental than tensors (when the spacetime itself is represented by a manifold endowed with a Riemannian- or Lorenzian-metric structure).

The idea that the usual Dirac dual cannot be applied to every spinor is sharp enough to force the development of an accurate criteria in the formalization of spinor duals [2]. As asserted in [16], regarding to the physical observables, authors in [17] classify Elko spinors as type-5. However, the Elko norm is defined taking into account the Elko dual structure, and then all the physical quantities should carry the same dual structure rather than the Dirac one. This fact suggests the necessity of constructing bilinear forms using the correct dual structure. Until the moment, there are three well-established dual structures in the theory of spinors. They are: the Dirac dual, given by

$$\begin{aligned} {\bar{\psi }}_{h}=[\Xi _{D}({\varvec{p}})\psi _{h}]^{\dag }\gamma _0, \end{aligned}$$
(1)

where the lower index h concerns the helicity, and the operator \(\Xi _D({\varvec{p}})\) can be given as, \(\Xi _{D}({\varvec{p}})=\mathbb {1}\) or \(\Xi _{D}({\varvec{p}})\ne \mathbb {1}\) [18,19,20,21]; and the Elko dual, given by [2, 3]Footnote 1

$$\begin{aligned} {\mathop {\lambda }\limits ^{\lnot }}^{S/A}_{h}=[\Xi _{E}({\varvec{p}})\lambda ^{S/A}_{h}]^{\dag }\gamma _0{\mathcal {O}}, \end{aligned}$$
(2)

where the operator \(\Xi _E({\varvec{p}})\) is responsible to change the spinor helicity of the Elko spinors [7]. In general, the \(\Xi ({\varvec{p}})\) operators, presented in (1) and (2), must satisfy certain conditions given in [7, 22].

Furthermore, \(\Xi ({\varvec{p}})\) has to be idempotent, \(\Xi ^2({\varvec{p}})=\mathbb {1}\), ensuring an invertible mapping [22]. Thus, we have the following possibilities: \(h=h'\), for which \(\Xi ({\varvec{p}})=\mathbb {1}\) and stands for the Dirac usual case, \(\Xi ({\varvec{p}})\ne \mathbb {1}\) stands for the non-standard Dirac adjoint [21], and finally \(h\ne h'\) leading to a more involved operator present in the mass-dimension-one theory [3] and also in flag-dipole theory [23]. Thus, the purpose of the present paper is to invoke a mathematical procedure for determining the spinorial dual structure based on the general form \({\mathop {\psi }\limits ^{\sim }}=[\Xi _G({\varvec{p}})\psi ]^{\dag }\gamma _0\), by analysing the bilinear forms and the related FPK identities. First of all, if the dual structure provides bilinear forms which ensure the FKP quadratic relations, then it will be sufficient to have a well-defined theory. Otherwise, we will show a method that consists in a modification on the basis of the Clifford algebra, so that FPK identities are respected by the bilinear forms obtained from the new dual structure.

3 Basic conceptions on the Lounesto’s classification and Spinorial densities

Let us assume \(\psi \) to be a given spinor belonging to a section of the vector bundle \({\mathbf {P}}_{Spin^{e}_{1,3}}({\mathcal {M}})\times \, _{\rho }{\mathbb {C}}^4\), where \(\rho \) stands for the entire representation space \(D^{(1/2,0)}\oplus D^{(0,1/2)}\), or a given sector of such [10, 11]. The bilinear quantities associated to \(\psi \) read

$$\begin{aligned} \sigma= & {} {\bar{\psi }}\psi ,\; \omega = i{\bar{\psi }}\gamma _5\psi , \nonumber \\ {\mathbf {J}}= & {} {\bar{\psi }} \gamma _\mu \psi \theta ^\mu , \;\; {\mathbf {K}}= -{\bar{\psi }} \gamma _{5} \gamma _\mu \psi \theta ^\mu , \nonumber \\ {\mathbf {S}}= & {} {\bar{\psi }} i \gamma _{\mu \nu } \psi \theta ^\mu \wedge \theta ^\nu , \end{aligned}$$
(3)

where \(\gamma _5 \equiv -i\gamma _{0123}\) and \(\gamma _{\mu \nu } \equiv \gamma _{\mu }\gamma _{\nu }\). Denoting the Minkowski metric by \(\eta _{\mu \nu }\), the set \(\{\mathbb {1},\gamma _{I}\}\) (where \(I\in \{\mu , \mu \nu , \mu \nu \rho , {5}\}\) is a composed index) is a basis for the Minkowski spacetime \({{\mathcal {M}}}(4,{\mathbb {C}})\) satisfying \(\{\gamma _{\mu },\gamma _{\nu }\}=2\eta _{\mu \nu }\mathbb {1}\), and \({\bar{\psi }}=\psi ^{\dagger }\gamma _{0}\) stands for the adjoint spinor with respect to the Dirac dual. Here, we are considering the space–time metric signature (\(+, -, -, -\)). The elements \(\{ \theta ^\mu \}\) are the dual basis of a given inertial frame \(\{ \mathbf{e }_\mu \} = \left\{ \frac{\partial }{\partial x^\mu } \right\} \), with \(\{x^\mu \}\) being the global spacetime coordinates. Through the analysis of the above forms it is possible to construct a specific classification, namely Lounesto’s classification, which provides six disjoint classes for the fermionic spin one-half fields [9]. Commonly, it is always expected to relate (3) with physical observables. For a space–time of dimension \(N = 2n\), the corresponding spinor, \(\psi \), has \(D=2^{n}\) complex components which necessarily satisfy a system of \((D-1)^2\) quadratic relations (FPK identities). From a mathematical point of view, these identities come directly from the completeness of the Dirac matrices.

So, we shall emphasize that, exclusively in the Dirac theory, the above bilinear covariants have particular interpretations. In this context, the mass of the particle is related to \(\sigma \), and the pseudo-scalar \(\omega \) is relevant for parity-coupling (the pseudo-scalar quantity interacts with a pseudo-scalar meson \(\pi ^0\) preserving parity [24]). In addition, \(\sigma \) appears in the mass and self-interaction terms in the Lagrangian, whereas \(\omega \), being \(\mathcal {CP}\)-odd, might probe \(\mathcal {CP}\) features [25]. Beside that, the current four-vector \({\mathbf {J}}\) gives the current of probability, \({\mathbf {K}}\) is an axial vector current, and \({\mathbf {S}}\) is associated with the distribution of intrinsic angular momentum. In fact, \(eJ_0\) is the charge density, whereas \(ec J_k (i, j, k = 1, 2, 3)\) are identified to the (electric) current density [26]. The \(\frac{\hbar }{2} K_\mu \) is interpreted as chiral current (spin density), conserved when \(m=0\) [1]. And, the quantity \(\frac{e\hbar }{2mc} S_{ij}\) is the magnetic moment density, while \(\frac{e\hbar }{2mc} S_{0j}\) is the electric moment density [18, 27,28,29].

In the Dirac theory, the two currents \(J_{\mu }\) and \(K_{\mu }\) are the Noether currents corresponding to the following transformations, respectively, [19]

$$\begin{aligned} \psi (x)\rightarrow & {} \psi ^{\prime }(x) = e^{i\alpha }\psi (x), \end{aligned}$$
(4)
$$\begin{aligned} \psi (x)\rightarrow & {} \psi ^{\prime }(x)= e^{i\alpha \gamma _5}\psi (x). \end{aligned}$$
(5)

The first of these is a U(1) symmetry of the Dirac lagrangian, and explicitly provides the Noether conserved current \(J_{\mu }\). The second, called the chiral transformation, is a symmetry of the derivative term in the lagrangian but not of the mass term. Thus, the Noether theorem confirms that the axial vector current is conserved only if \(m=0\) [19].

We stress that such labels are given accordingly to the way that each one of these quantities (the time-component and space component) behaves under Lorentz transformations (for more details see chapter 17 in reference [30]). Besides, all the above structures are only valid for spinors which have the same dual structure as Dirac spinor does. These mathematical structures mandatorily obey the so-called FPK identities, given by [31]

$$\begin{aligned} {\varvec{J}}^2 = \sigma ^2+\omega ^2, \;\; J_{\mu }K^{\mu } = 0,\;\; {\varvec{J}}^2 = -{\varvec{K}}^2 \nonumber \\ J_{\mu }K_{\nu }-K_{\mu }J_{\nu } = -\omega S_{\mu \nu } - \frac{\sigma }{2}\epsilon _{\mu \nu \alpha \beta }S^{\alpha \beta }, \end{aligned}$$
(6)

in which

$$\begin{aligned} {\varvec{J}}^2 = \eta _{\mu \nu }J^{\mu } J^{\nu } = J^\mu J_\mu , \end{aligned}$$
(7)

where \(\eta _{\mu \nu }\) denotes the Minkowski space–time basis, and similarly \({\varvec{K}}^2 = K_\mu K^\mu \), both clearly being scalars. The above identities are fundamental, not only for classification, but also to guarantee the inversion theorem [10]. Within the Lounesto’s classification scheme, a non-vanishing \({\mathbf {J}}\) is crucial, since it enables to define the so called boomerang [9], which has an ample geometrical meaning in order to assert that there are precisely six different classes of spinors. This is a prominent consequence of the definition of a boomerang. As far as the boomerang is concerned, it is not possible to exhibit more than six types of spinors, according to the bilinear covariants. Indeed, Lounesto’s spinor classification splits them into regular and singular spinors. The regular spinors are those having at least one of the bilinear covariants \(\sigma \) and \(\omega \) non-null. On the other hand, singular spinors have \(\sigma = 0 =\omega \). Consequently the FPK identities are normally replaced by more general conditions [10, 11]

$$\begin{aligned} Z^{2}= & {} 4\sigma Z, \;\;\; Z\gamma _{\mu }Z=4J_{\mu }Z, \;\; Zi\gamma _{5}Z=4\omega Z, \nonumber \\ Z\gamma _{5}\gamma _{\mu }Z= & {} 4K_{\mu }Z,\;\;\; Zi\gamma _{\mu }\gamma _{\nu }Z=4S_{\mu \nu }Z, \end{aligned}$$
(8)

If an arbitrary spinor \(\xi \) satisfies \(\xi ^{*}\psi \ne 0\) and belongs to \({\mathbb {C}}\otimes {\mathcal {C}}\ell _{1,3}\), or equivalently if \(\xi ^{\dagger }\gamma _{0}\psi \ne 0 \in {\mathcal {M}}(4,{\mathbb {C}})\), it is possible to recover the original spinor \(\psi \) from its aggregate Z. Such relation is given by \(\psi = Z\xi \), and the aggregate reads

$$\begin{aligned} Z=\sigma +{\mathbf {J}}+i{\mathbf {S}}+{\mathbf {K}}\gamma _{5}-i\omega \gamma _{5}. \end{aligned}$$
(9)

Hence, using (9) and taking into account that we are dealing with singular spinors, it is straightforward to see that the aggregate can be recast as

$$\begin{aligned} Z={\mathbf {J}}(1+i{\mathbf {s}}+ih\gamma _{0123}), \end{aligned}$$
(10)

where \({\mathbf {s}}\) is a space-like vector orthogonal to \({\mathbf {J}}\), and h is a real number [9]. The multivector as expressed in (10) is a boomerang. By inspecting the condition \(Z^{2}=4\sigma Z\), we see that \(Z^2=0\) for singular spinors. However, in order to the FPK identities to hold, it is also necessary that both conditions \({\mathbf {J}}^2=0\) and \(({\mathbf {s}}+h\gamma _{0123})^2=-1\) must be satisfied [32].

As it can be seen, the physical requirement of reality can always be satisfied for the Dirac spinors bilinear covariants [10], by a suitable modification on the basis of the Clifford algebra leading to physical appealing quantities. However, the same assertion cannot be stated for the mass-dimension-one spinors, for which the FPK relations are violated [4]. We suspect that this fact is due to the new dual structure associated to these spinors. It is worth mentioning that the main difference between the Crawford deformation [10, 11] and the one to be accomplished here is that in the former case, the spinors are understood as Dirac spinors, i.e., spinorial objects endowed with single helicity [4], while the protocol that will be developed here is a general procedure that can fit in any case.

4 On the set-up of a generalized Spinor classification

A natural path to classify spinors resides on the Lounesto’s classification. Such classification is built up taking into account the 16 bilinear forms, encompassing Dirac spinors, Flag-dipole spinors [23, 33], Majorana spinors (neutrino), and Weyl spinors (massless neutrino) [9]. This specific classification is based on geometric FPK identities, given in (6) and (8), and displays exclusively six disjoint classes of spinors. This fact is due to the restriction imposed by the FPK identities. Then, it covers all the possibilities of spinors restricted by this geometrical constraint.

The quantum field theory literature usually takes the Dirac dual as the standard one, with no suspicion or need of alternative dual structures as being potentially interesting [2]. However, the development of the theory of dark spinors presented the need for a review of dual structures [3]. A very important and peculiar feature that concerns to the Lounesto’s classification lies in the fact that such classification takes into account (exclusively) the Dirac dual structure. However, if spinors with a more involving dual structure exist, how they may be classified? Is it possible to fit them within Lounesto’s classification? Maybe there is a naive freedom in Lounesto’s classification which allows ous to develop a more general classification, taking into account the appropriated dual structure. In this section we look towards to develop a generalized spinor classification which allows us, in a certain and appropriate mathematical limit, to recover the usual Lounesto’s classification. For the sake of completeness, we will consider the same rigorous mathematical procedure and conditions as Lounesto did. However we will impose a general spinorial dual structure.

Let \(\psi \) be a given (algebraic) spinor which belongs to a section of the vector bundle \({\mathbf {P}}_{Spin^{e}_{1,3}}({\mathcal {M}})\times \, _{\rho }{\mathbb {C}}^4\), where \(\rho \) stands for the entire representation space \(D^{(1/2,0)}\oplus D^{(0,1/2)}\). Such spinor can be described as follows

$$\begin{aligned} \psi = \left( \begin{array}{c@{\quad }c@{\quad }c@{\quad }c} a&b&c&d \end{array} \right) ^{T}, \end{aligned}$$
(11)

in which the components \(a, b, c, d: U\subset {\mathbb {R}}^{1,3}\rightarrow {\mathbb {C}}\) are scalars fields, where U is an open set of the \({\mathbb {R}}^{1,3}\). Unlike what was developed by Lounesto, here we extend the dual structure to cover all possibilities of spinorial duals. Now, let us define the new dual structure as

$$\begin{aligned} {\mathop {\psi }\limits ^{\sim }} {\mathop {=}\limits ^{def}} [\Xi _{G}({\varvec{p}})\psi ]^{\dag }\gamma _0, \end{aligned}$$
(12)

where the general \(\Xi _{G}({\varvec{p}})\) operator is given by

$$\begin{aligned} \Xi _{G}({\varvec{p}}) = \left( \begin{array}{c@{\quad }c@{\quad }c} m_{11} &{} \cdots &{} m_{14} \\ \vdots &{} \ddots &{} \vdots \\ m_{41} &{} \cdots &{} m_{44} \end{array} \right) , \end{aligned}$$
(13)

with the components \(m_{ij}\in {\mathbb {C}}\). This operator, a priori, must obey the following two main constraints: \(\Xi ^2_{G}({\varvec{p}})=\mathbb {1}\), and also \(\Xi ^{-1}_{G}({\varvec{p}})\) indeed exists, ensuring an invertible map. Notice that if one imposes \(\Xi _{G}({\varvec{p}})\equiv \mathbb {1}\), then we recover the usual Lounesto’s classification. Therefore, the general dual structure is defined as follows

$$\begin{aligned} {\mathop {\psi }\limits ^{\sim }} = \left( \begin{array}{cccc} \overline{am_{3,1}+bm_{{3,2}}+cm_{{3,3}}+dm_{{3,4}}}&{}\\ \overline{am_{{4,1}}+bm_{{4,2}}+cm_{{4,3}}+dm_{{4,4}}}&{}\\ \overline{am_{{1,1}}+bm_{{1,2}}+cm_{{1,3}}+dm_{{1,4}}}&{}\\ \overline{am_{{2,1}}+bm_{{2,2}}+cm_{{2,3}}+dm_{{2,4}}} \end{array} \right) ^{T}, \end{aligned}$$
(14)

where the overline stands for the complex conjugation. Now, by using this structure one can evaluate the 16 bilinear quantities

$$\begin{aligned} {\mathop {\sigma }\limits ^{\sim }}= & {} {\mathop {\psi }\limits ^{\sim }}\psi , \;\; {\mathop {\omega }\limits ^{\sim }} = -i{\mathop {\psi }\limits ^{\sim }}\gamma _5\psi , \nonumber \\ \varvec{{\mathop {J}\limits ^{\sim }}}= & {} {\mathop {\psi }\limits ^{\sim }}\gamma _{\mu }\psi \theta ^{\mu }, \;\; \varvec{{\mathop {K}\limits ^{\sim }}}= -{\mathop {\psi }\limits ^{\sim }}\gamma _5\gamma _{\mu }\psi \theta ^{\mu }, \nonumber \\ \varvec{{\mathop {S}\limits ^{\sim }}}= & {} i{\mathop {\psi }\limits ^{\sim }} \gamma _{\mu }\gamma _{\nu }\psi \theta ^{\mu }\wedge \theta ^{\nu }. \end{aligned}$$
(15)

We highlight that the operator \(\Xi _{G}({\varvec{p}})\) is dimensionless. In such a way, it does not affect the units of the bilinear forms. So far, such spinorial densities allow us to define a generalized spinor classification, providing the first six disjoint classes with \({\mathop {\mathbf{J }}\limits ^{\sim }}\ne 0\), and the remaining three with \({\mathop {\mathbf{J }}\limits ^{\sim }}=0\) (as developed in [34]). Then, it reads

  1. 1.

    \({\mathop {\sigma }\limits ^{\sim }}\ne 0\), \(\quad {\mathop {\omega }\limits ^{\sim }}\ne 0\),      \({\mathop {\mathbf{K }}\limits ^{\sim }}\ne 0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}\ne 0\),

  2. 2.

    \({\mathop {\sigma }\limits ^{\sim }}\ne 0\), \(\quad {\mathop {\omega }\limits ^{\sim }}=0\),     \({\mathop {\mathbf{K }}\limits ^{\sim }}\ne 0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}\ne 0\),

  3. 3.

    \({\mathop {\sigma }\limits ^{\sim }}=0\), \(\quad {\mathop {\omega }\limits ^{\sim }}\ne 0\),     \({\mathop {\mathbf{K }}\limits ^{\sim }}\ne 0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}\ne 0\),

  4. 4.

    \({\mathop {\sigma }\limits ^{\sim }}=0={\mathop {\omega }\limits ^{\sim }},\)      \({\mathop {\mathbf{K }}\limits ^{\sim }}\ne 0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}\ne 0\),

  5. 5.

    \({\mathop {\sigma }\limits ^{\sim }}=0={\mathop {\omega }\limits ^{\sim }},\)      \({\mathop {\mathbf{K }}\limits ^{\sim }}=0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}\ne 0\),

  6. 6.

    \({\mathop {\sigma }\limits ^{\sim }}=0={\mathop {\omega }\limits ^{\sim }},\)      \({\mathop {\mathbf{K }}\limits ^{\sim }}\ne 0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}=0\),

  7. 7.

    \({\mathop {\sigma }\limits ^{\sim }}=0={\mathop {\omega }\limits ^{\sim }},\)      \({\mathop {\mathbf{K }}\limits ^{\sim }}\ne 0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}\ne 0\),   \({\mathop {Z}\limits ^{\sim }} = i({\mathop {\mathbf{S }}\limits ^{\sim }}+{\mathop {\mathbf{K }}\limits ^{\sim }}\gamma _{0123})\),

  8. 8.

    \({\mathop {\sigma }\limits ^{\sim }}=0={\mathop {\omega }\limits ^{\sim }},\)      \({\mathop {\mathbf{K }}\limits ^{\sim }}=0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}\ne 0\),     \({\mathop {Z}\limits ^{\sim }} = i{\mathop {\mathbf{S }}\limits ^{\sim }}\),

  9. 9.

    \({\mathop {\sigma }\limits ^{\sim }}=0={\mathop {\omega }\limits ^{\sim }},\)      \({\mathop {\mathbf{K }}\limits ^{\sim }}\ne 0,\) \(\quad {\mathop {\mathbf{S }}\limits ^{\sim }}=0\),      \({\mathop {Z}\limits ^{\sim }} = i{\mathop {\mathbf{K }}\limits ^{\sim }}\gamma _{0123}\),

where we have three regular classes and six singular classes. For spinors respecting the Dirac dynamics, \({\mathop {\mathbf{J }}\limits ^{\sim }}\) will be the conserved current, whereas the last three classes describe spinors obeying only the Klein-Gordon equation [34]. We stress that, up to date, classes with \({\mathop {\mathbf{J }}\limits ^{\sim }}=0\) have only mathematical significance, since no associated physical entities have been observed yet. Through an exhaustive analysis of the FPK geometric identities, we can also guarantee that these are the only nine possible classes to be constructed.

Because of this, the Elko spinor [4] belongs to class-2 of the above classification, i.e., it belongs to a regular class. It is important to highlight why we are looking for such brand new classification.

The need for a real interpretation of such bilinear densities arises at this particular point, and then the statement presented in section 11.1 of [24], shall shed some light for the interpretation that we are searching for.

Thus, for the general classification developed above, \({\mathop {\sigma }\limits ^{\sim }}\) still stands for the invariant length. Moreover, the four-vector \({\mathop {\mathbf{J }}\limits ^{\sim }}\) represents the electric current density for charged particles, whereas for neutral particles it can be interpreted as the effective electromagnetic current four-vector [35]. The bilinear \({\mathop {\mathbf{K }}\limits ^{\sim }}\) shall be related with the spin alignment due to a coupling with matter or electromagnetic field. Finally, \({\mathop {\mathbf{S }}\limits ^{\sim }}\) is related to the electromagnetic momentum density for charged particles. Although for neutral particles, we can infer that it may correspond to the momentum spin-density, or even it may represent spin precession (spin oscillation) in the presence of matter or electromagnetic fields [36]. Such effect is caused by the neutral particle interaction with matter polarized by external magnetic field or, equivalently, by the interaction of the induced magnetic momentum of a neutral particle with the magnetic fields [37, 38, and references therein]. On the other hand, the physical interpretation of the bilinear \({\mathop {\omega }\limits ^{\sim }}\) is not clear enough for us. The observations above are a hint towards the physical meaning of the bilinears in this general classification.

Finally, let us consider the behaviour of the bilinear forms for the spinor under charge conjugation. To accomplish such task, we use the protocol described in [24], which is based on the antisymmetrization of the corresponding bilinears. In this case, the antisymmetrized bilinear forms can be defined by

$$\begin{aligned} ({\bar{\psi }}\Gamma _{i}\psi )^{anti}=\frac{1}{2}({\bar{\psi }}\Gamma _{i}\psi - \psi ^{T}\Gamma _{i}^{T}{\bar{\psi }}^{T}). \end{aligned}$$
(16)

As usual, for the Dirac spinors we have that \(Cu_{\pm }=iv_{\pm }\) and \(Cv_{\pm }=iu_{\pm }\), for Majorana \(C\psi _M=\psi _M\), and for Elko \(C\lambda ^{S/A}=\pm \lambda ^{S/A}\) [7]. Therefore, in the Dirac case, \(J_{\mu }^{anti}\) matches \(J_{\mu }\) given in (3), whereas for neutral particles like Majorana and Elko we have the following

$$\begin{aligned} J_{\mu }^{anti} = 0,\quad \;\text{ and }\quad \; K_{\mu }^{anti} = 0. \end{aligned}$$
(17)

Then, Majorana and Elko fermions are neutral, and hence they cannot have any electromagnetic interaction, which is in agreement with what was discussed about the electric and magnetic charges, \(e_{{\mathbf {M}}}\) and \(q_{{\mathbf {M}}}\), in [39].

5 A Detour on the Clifford algebra basis modification: Dirac normalization and real spinorial densities issue

This section is reserved for a more careful and formal analysis regarding the general bilinear forms. Here we specify a protocol that should be followed if the previous prescription somehow does not respect the FPK identities, or if the calculated bilinear forms are not real quantities. Then, we will modify the basis of Clifford algebra by employing the Dirac normalization procedure [10], in order to ensure real bilinear forms which satisfy properly the FPK identities. Another method to modify the Clifford algebra can be found in Ref [40]. Consider the well-known constitutive relation of the Clifford algebra

$$\begin{aligned} \lbrace \gamma _{\mu }, \gamma _{\nu }\rbrace = 2\eta _{\mu \nu }\mathbb {1}, \quad \mu ,\nu = 0,1,2,\ldots ,N-1, \end{aligned}$$
(18)

where \(\eta _{\mu \nu }\) is a \(N=2n\) even-dimensional space–time metric, diagonal\((1,-1,\ldots ,-1)\). The generators of the Clifford algebra are the identity \(\mathbb {1}\), the vectors \(\gamma _\mu \) (commonly represented by square matrices), and products of the vector basis, given by [10],

$$\begin{aligned} {\tilde{\gamma }}_{\mu _{1}\mu _{2} \cdots \mu _{N-M}} \equiv \frac{1}{M!}\epsilon _{\mu _{1}\mu _{2} \cdots \mu _{N}}\gamma ^{\mu _{N-M+1}}\gamma ^{\mu _{N-M+2\ldots }}\gamma ^{\mu _{N}}.\nonumber \\ \end{aligned}$$
(19)

As one can easily check, the lowest value of M is two, which stands for the smallest possible combination, and the highest is \(M=N\). Moreover, the elements that form the real Clifford algebra basis are given by

$$\begin{aligned} \lbrace \Gamma _{i}\rbrace \equiv \lbrace \mathbb {1}, \gamma _{\mu }, {\tilde{\gamma }}_{\mu _{1}\mu _{2}\ldots \mu _{N-2}},\ldots , {\tilde{\gamma }}_{\mu },{\tilde{\gamma }}\rbrace , \end{aligned}$$
(20)

where \({\tilde{\gamma }}\equiv {\tilde{\gamma }}_{\mu _{1}\mu _{2} \cdots \mu _{N-N}}\).

Now, the existence of the \(\Xi _G({\varvec{p}})\)-operator, appearing in the general definition of the spinorial dual structure, makes necessary to adequate the Clifford algebra basis, in order to get the right appreciation of the FPK relations. We highlight that, for the Dirac spinor case, the set (20) is suitable deformed in order to provide real bilinear covariants.

The first two main structures arising from the Clifford algebra basis are defined as

$$\begin{aligned} {\mathop {\sigma }\limits ^{\sim }} \equiv {\mathop {\psi }\limits ^{\sim }}\mathbb {1}\psi , \;\;\text{ and }\;\; {\mathop {J}\limits ^{\sim }}_{\mu } \equiv {\mathop {\psi }\limits ^{\sim }}\gamma _{\mu }\psi , \end{aligned}$$
(21)

where \({\mathop {\psi }\limits ^{\sim }}\) is defined in (12). The requirement of reality \({\mathop {\sigma }\limits ^{\sim }}={\mathop {\sigma }\limits ^{\sim }}^\dag \) automatically leads to \(\gamma _0 = \Xi _G({\varvec{p}})\gamma _0\Xi _G({\varvec{p}})\), since \(\Xi _G^{2}({\varvec{p}})=\mathbb {1}\). This constraint is satisfied, in such a way that (21) is real. Requiring the same condition on \({\mathop {J}\limits ^{\sim }}_{\mu }\) in (21), it leads to the following constraint \(\gamma _0\gamma _{\mu } = \Xi _G^{\dag }({\varvec{p}})\gamma _{\mu }^{\dag }\gamma _0\Xi _G({\varvec{p}})\), which cannot be fulfilled by the Clifford vector basis. We highlight that if one performs any change in \(\gamma _{\mu }\), it may lead to a change in the constitutive relation of the Clifford algebra (18), which in general leads to inconsistencies, and then we would be forced to give up on the present approach. Clearly, that modification must be discarded.

Hereupon, we may deform the usual basis in order to redefine the bilinear covariants, in such a way that they satisfy the FPK relations. From equation (19), and by considering that the norm for the spinors must assume real values, we have

$$\begin{aligned}&{\tilde{\gamma }}_{\mu _{1}\cdots \mu _{N-M}}\\&\quad = \frac{i^{M(M-1)/2}}{M!}\Xi _G({\varvec{p}})\epsilon _{\mu _{1}\cdots \mu _{N}}\gamma ^{\mu _{N-M+1}\cdots }\gamma ^{\mu _{N}}\Xi _G({\varvec{p}}). \end{aligned}$$

From the last equation, we can define the bispinor Clifford algebra basis as in (20). For instance, let us consider the four-dimensional space–time, i.e \(N=4\). In this specific case the basis is given by

$$\begin{aligned}&M = 4 \quad \Rightarrow \quad {\tilde{\gamma }} = -i \Xi _G({\varvec{p}})\gamma _5\Xi _G({\varvec{p}}), \end{aligned}$$
(22)
$$\begin{aligned}&M = 3 \quad \Rightarrow \quad {\tilde{\gamma }}_{\mu } = -\Xi _G({\varvec{p}})\gamma _5\gamma _{\mu }\Xi _G({\varvec{p}}), \end{aligned}$$
(23)
$$\begin{aligned}&M = 2 \quad \Rightarrow \quad {\tilde{\gamma }}_{\mu \nu } = i\Xi _G({\varvec{p}}) \gamma _{\mu }\gamma _{\nu } \Xi _G({\varvec{p}}). \end{aligned}$$
(24)

After some algebra, it can be shown that the above modifications are sufficient to assure that the FPK identities (6) are fully satisfied. Notice that if one imposes \(\Xi _G({\varvec{p}})=\mathbb {1}\), we recover the usual Crawford deformation and the general bilinear forms recast into (3). It is worth pointing out that the above basis modification procedure does not necessarily provide a set of real bilinear quantities. All the forms in (3) were built upon spin one-half fermions under the Dirac dual structure. However, as it was shown, this may not be unique, and if more dual spinorial structures exist, then new classifications and bilinears forms must be constructed and analyzed.

6 Final remarks

In the present communication we have developed a general spinor classification based on a general dual structure consistent with the FPK quadratic relations. The bilinear forms play a very important role, not only in classifying spinors, but also to provide a physical interpretation. Thus, we have used the general procedure to interpret the physics related to the eigenspinors of parity operator and eigenspinors of charge conjugation operator. In fact, given a spinor related to some of the mentioned symmetries, such a relation will provide a physical interpretation of the bilinear forms, as the case of the Dirac, Majorana and Weyl spinors. Note that only a small group of spinors are physically relevant, and then the spinors, which are not related to above mentioned symmetries, should be analyzed in other scenarios, to ascertain whether they can possibly carry physical information, or only exist by algebraic construction.

As one can easily see, the Lounesto’s classification is a very particular case of the one proposed in here. Such general classification encompasses exclusively nine classes. This restriction is due to the FPK algebraic relations, which can never be evaded. In this construction we look for accommodating all types of particles, both charged and neutral. Although we have found a restricted set of fermionic spin-1/2 particles that can be classified, we still seek to develop a classification where any other particle can be fitted. As highlighted in [41], a new range of possibilities still open windows to compose the standard model of high energy physics. This line of reasoning began when a new dual structure was presented in the literature, the Elko’s dual structure. Thus, we wonder whether or not these spinors should be classified within Lounesto’s classification, since they evade the dual spinorial structure imposed in such classification. Under these circumstances, we suppose that each spinor that has a different dual structure may present different interactions, different mass dimensionality, and then it needs an specific spinorial classification.

Regarding to the interpretation of the bilinear forms, as we have already mentioned in the course of the paper, for an exact understanding we need to know the mass dimension of the spinor, and evidently the possible couplings. In such a way, we would be able to infer about the physical interpretation of the bilinear by following the same path that Lounesto follows for the classification of Dirac spinors. As previously was thought, neutral particles do not carry any electric current or can not electromagnetically interact, so in this sense the current and the axial-current vanish in the antisymmetrization programme, as already expected. Albeit still several studies related to neutral particles are in development and the results obtained are just simple observations, we expect that this may help us by bringing a coherent interpretation to the bilinear forms for such particles, and somehow making an association with the effective current density, momentum and spin precession in the presence of matter fields and even electromagnetic fields. To conclude the program presented here, we also proposed a subtle basis modification on the Clifford algebra. Such a procedure is intended to use the general spinorial dual on the construction of the 16 basis elements. This mathematical procedure undergoes on a basis modification on Clifford algebra in order to provide new bilinear forms (via Dirac normalization method), leading to real spinorial densities, and also quantities that hold the FPK identities. Thus, such a mechanism is mathematically necessary if everything we have developed so far does not provide real spinorial densities, or does not satisfy FPK identities.