The Heisenberg spinor field classification and its interplay with the Lounesto's classification

Dirac linear spinor fields were obtained from non-linear Heisenberg spinors, in the literature. Here we extend that idea by considering not only Dirac spinor fields but spinor fields in any of the Lounesto's classes. When one starts considering all these classes of fields, the question of providing a classification for the Heisenberg spinor naturally arises. In this work the classification of Heisenberg spinor fields is derived and scrutinized, in its interplay with the Lounesto's spinor field classification.


I. INTRODUCTION
The so-called Lounesto's classification of spinor fields is constituted of six classes of regular and singular spinor fields, assorted with respect to the values attained by their respective bilinear covariants. The Majorana, Dirac, and Weyl spinors, although occupying a privileged spot in this classification, are discrete points in six immense spinor spaces. Several non-standard spinor fields, beyond the Majorana, Dirac, and Weyl ones, were found and studied in this context. Refs. [1,2] pave a reciprocal Lounesto's classification, asserting the most general type of spinor field in each one of Lounesto's class. Important samples of new spinor fields can be seen, e. g., in Refs. [3][4][5][6][7][8][9][10][11][12][13][14][15]. In addition, new classifications in string theory [16] and new anyonic spinor fields [17] were derived and scrutinized. Once the Lounesto's standard spinor field classification is restricted to the U(1) gauge symmetry, splitting off classes of charged and neutral spinors, Ref. [18] then implemented other gauge symmetries, where in particular the gauge symmetry in electroweak theory was introduced and spinor doublets were then classified and studied. The Lounesto's spinor field classification corresponds, in this extended classification, to a sole Pauli singlet [18]. VSR symmetries and DKP algebras were also investigated in the context of Lounesto spinor fields in Refs. [19,20].
On the other hand, very little is known about the Heisenberg spinors in this context. The Heisenberg equation governs the dynamics of diverse spinor fields, constituting the Inomata-McKinley spinor fields one of its particular solution. On the other hand, some regular spinor fields can be constructed upon appropriate linear mixtures of Inomata-McKinley spinor fields [21]. Dirac spinor fields were described by a non-linear mixture of Heisenberg spinors fields [22], to show that neutrinos are quantum field states of Heisenberg spinor fields. Besides, Heisenberg dynamics was employed to study anisotropic cosmological models, generated by a non-linear fermionic ultra-relativistic fluid [23].
The main aim here is to propose a spinor field classification of Heisenberg spinor fields, and relate it to the Lounesto's classification. A byproduct of our development in this paper is, in particular, to emulate previous constructions that describe Dirac spinor fields as Heisenberg ones, to further encompass all types of spinor fields in both the Heisenberg and the Lounesto's classification. This paper is organized as follows: after reviewing the Lounesto's classification and presenting the bilinear covariants, the regular and singular spinor fields in Sect. II, Sect. III devotes to derive and present the Heisenberg classification of spinor fields and to scrutinize the interplay between Heisenberg spinor fields and the ones in the Lounesto's classification. Sect. IV draws the concluding remarks and further discussion.
The Lounesto's classification consists of the following six classes of spinor fields: Physical observables, as the current density and spin density in the electron Dirac's theory, correspond to the bilinear covariants J and K, respectively, whereas S plays the role of the spin density. More precisely, after an appropriate scaling by the electron charge, e, the Planck constant (over 2π), , and the speed of light, c, the temporal component eJ 0 is interpreted as the electrical charge density, whereas ecJ k (i, j, k = 1, 2, 3) represents the electric current density. The spatial components (e /2mc)S ij stand for the magnetic moment density, and the (e /2mc)S 0j is the electric moment density. Finally ( /2)K µ is the chiral current density. The interpretation of the scalar, σ, and pseudoscalar, ω, is less clear, however σ 2 + ω 2 can be interpreted as a probability density.
In addition, σ appears as mass and self-interaction terms in spinor Lagrangians, whereas ω, being CP-odd, might probe CP features. . However, not all the spinor fields in the Lounesto's classification share similar interpretations. In addition, for some other particular subclasses of the Lounesto's classification, the Fierz-Pauli-Kofink relations can be verified [24]: The inequality J = 0 is valid for the entire classes in Lounesto's classification. Ref. [28] constructed three more classes that are beyond Lounesto's classification, corresponding to J = 0, playing the role of ghost spinor fields. The Lounesto's classification splits the spinor fields into singular ones, with both vanishing σ and ω, and regular ones, where at least one between the scalar and pseudoscalar bilinear covariants are not equal to zero. Dirac spinor fields are regular spinor fields of type-(1), whereas Majorana ones are in a subclass of type-(5), flagpole, spinor fields. Besides, Weyl spinor fields are dipole spinor fields of type- (6). Singular spinor fields have, besides the Majorana and Weyl spinors, other representatives [10,[25][26][27]. Most of the subclasses in the Lounesto's classification have been explored and a lot of room is available for spinor fields that can play important roles in high energy physics [5].
The Fierz-Pauli-Kofink relations, (3a) -(3c), are not, in general, satisfied by all the singular spinor fields. The very definition of a Fierz aggregate, as a multivector field whose homogeneous components are the bilinear covariants themselves, yields the relations It replaces the Fierz-Pauli-Kofink relations (3a) -(3c) for the singular spinor fields that do not obey them. Eqs. (5a) -(5d) are the most general ones and hold for any spinor field in the entire Lounesto's classification.

III. HEISENBERG SPINOR FIELDS CLASSIFICATION
In what follows natural units shall be used. Let one considers the Heisenberg equation [22] iγ µ ∂ µψ − 2s (σ + iωγ 5 )ψ = 0 for a Heisenberg spinor field,ψ, in which the constant s has the dimension of (length) 2 . Hereon ringed quantities are constructed with respect to Heisenberg spinors.
The Heisenberg scalar and pseudoscalar bilinear covariants respectively readσ =ψψ , Hereon the spinor field ψ, which may lie in any Lounesto spinor field class, will be named a Lounesto spinor field, whereasψ will be called a Heisenberg spinor field. LetJ, S,K be the Heisenberg bilinear covariants corresponding toψ, with definitions analogous to (1b) -(1d). By using Eq. (11), it is possible to compute the bilinear covariants of the ψ Lounesto spinor field in terms of the ones corresponding to theψ Heisenberg spinor field. Defining the left and right chiral projectors, one can writeψ L = P Lψ andψ R = P Rψ , as well as ψ L = P L ψ and ψ R = P R ψ. The Heisenberg spinorψ can be split into chiral ones Given F, G complex numbers, writing an arbitrary spinor field in the Lounesto's classification as is equivalent of emulating the usual expression for chiral spinor fields, ψ L = e Fψ L and ψ R = e Gψ R . The physical role played by F and G and useful expressions involving the dynamics of Heisenberg and Inomata spinors are presented in Appendix A.
Ref. [22] imposes some conditions on a Dirac spinor field, for it to be described as a particular mixture of Heisenberg spinor fields. Let one remembers that a Dirac spinor field is a very particular state into the first class of spinors in Lounesto's classification. Now we extend this idea and consider not only Dirac spinor fields (2a) but the entire Lounesto's classification of spinor fields, (2a) -(2f). In order to implement such an extension, it will be necessary to first provide a classification of Heisenberg spinor fields and the interplay between the Lounesto's classes of spinor fields and Heisenberg spinor fields.
To relate the standard bilinear covariants to the ones constructed upon Heisenberg spinor fields, the scalar σ = ψψ is written as Using the fact that P R and P L are self-adjoint, together with P L γ 0 = γ 0 P R and P R γ 0 = γ 0 P L , yields In addition, as P R and P L are orthogonal idempotents, Eqs. (9) imply that σ =ψ(e F +G * P L + e G+F * P R )ψ (14) =ψ Defining the complex number z = e F +G * yields σ =ψ(Re(z) + Im(z)iγ 5 )ψ = Re(z)σ + Im(z)ω (16) Performing similar calculations for the other bilinear covariants, the following set of equations, that sets the bilinear covariants with respect to the Heisenberg ones, can be obtained, where x = e F +F * = e 2Re(F ) and y = e G+G * = e 2Re(G) . This system of equations is not fully coupled, being equivalent to three independent systems of equations, where ⋆ denotes the Hodge operator, that satisfies ⋆⋆ = −id in M . Also, iψγ µ γ ν γ 5 ψ = −⋆S µν and iψγ µ γ ν γ 5ψ = −⋆S µν . Since the modulus of the complex number z = 0 is always positive, then the matrices in (18) and (20) are invertible. Furthermore, since the determinant of the matrix in (19) is xy/2 and x = 0 and y = 0, this matrix is also invertible. In order to establish the classification of the Heisenberg spinor, it will be helpful to invert these equations, arriving at: S µν Aiming to establish a classification for the Heisenberg spinorψ, analogous to the Lounesto classification for the field ψ, at a first sight one could think of a classification forψ with the exact same classes proposed by Lounesto. However, Eq. (22) shows that J = 0 does not implyJ = 0, and since all the Lounesto classes assume non-vanishing current density, the Heisenberg spinor field classification has to contain more classes in order to alloẘ J = 0. Due to these facts, the Heisenberg spinor field classification is contained within the following classes: (1)K = 0,S = 0,ω = 0,σ = 0, (2)K = 0,S = 0,ω = 0,σ = 0, In this listJ = 0 unless the contrary is stated. We have used the same numbering as in the Lounesto classification but adding a " * " superscript to the classes withJ = 0. Note that by virtue of Eq. (3c), this is only possible for singular spinors. From Eqs. In what follows every case in the Lounesto's spinor field classification for ψ will be studied, deriving the corresponding Heisenberg spinor fieldsψ that give origin to it.
Type-1 Lounesto spinor field: in this case, as asserted before,ψ does correspond to a regular spinor field. Hence σ = 0 orω = 0. HenceJ = 0, as stated above. This implies thatK = 0 as well, for it being zero would contradict the Fierz identity (3c), once one uses (3b). Also, Eq. (23) yieldsS = 0. Eq. (21) implies that It is evident that in the case of z being either real or imaginary, thenψ is of type (24a). If z is neither real nor a pure imaginary, then different possibilities arise.
As explained for the two previous types,J = 0,K = 0 andS = 0. Eq. (21) yields Hence, if both Re(z) and Im(z) are non null, thenψ is of type (24a). If z is real, thenψ is in the class (24c). If z is a pure imaginary, then the Heisenberg spinor field lies into the class (24b).
Type-3 Lounesto spinor field: Analogously, the spinor fieldψ will be regular. Hence, eitherσ = 0 orω = 0. Similarly for the Heisenberg type-1 case,J = 0,K = 0 andS = 0. Eq. (21) yields Hence, if both Re(z) and Im(z) are different of zero, then ψ is of type (24a). If z is real, thenψ is in the class (24b), and if z is a pure imaginary, then the Heisenberg spinor field is an element of the class (24c).
Type-4 Lounesto spinor field: this spinor field is singular, henceσ =ω = 0. Since S = 0, thenS = 0. The vector and pseudovector bilinear covariants, for the Heisenberg field, are given bẙ If x = y thenJ = J/x = 0,K = K/x = 0. In this caseψ belongs to the class (24d). If x = y then we have three possibilities. If the condition J = y−x y+x K is satisfied, then it can be seen from (28), thatJ = 0 andK = 0. Hence, the Heisenberg spinor lies in the class (24e). If the condition J = y+x y−x K is satisfied, it is clear from (28) thatJ = 0 andK = 0. Hence, the Heisenberg spinor is of type (24f). If neither of the former two conditions hold, thenJ = 0 andK = 0 and, in consequence,ψ is of type (24d).
Type-6 Lounesto spinor: This case is very similar to the type-4 one, asσ =ω = 0 andS = 0. The vector and pseudovector equations for the Heisenberg field are the same that in the type-4 spinor (28). Hence, if x = y thenJ = J/x = 0,K = K/x = 0. In this caseψ belongs to the class (24h).
If x = y then three possibilities arise. If the condition J = y−x y+x K is satisfied, then it can be seen from (28) thatJ = 0 andK = 0. The Heisenberg spinor field, in this case, lies in the class (24i). If the condition J = y+x y−x K holds, then (28) yieldsJ = 0 andK = 0. Hence, the Heisenberg spinor is of type (24f). If neither of the former conditions hold, thenJ = 0 andK = 0 and in consequenceψ is of type (24h).
One can combine all these results in the following tables for regular and singular Lounesto spinor fields: Lounesto Spinors 1 2 3 z not pure σ = Im(z) Re(z) ω311 σ = − Re(z) Im(z) ω2 None of the above1 z real123 z imaginary132
then the results in the tables can be expressed using F and G instead of x, y and z.
The results shown in the tables comprise the interplay between the Lounesto's and the Heisenberg spinor fields, yielding a new classification that can play a prominent role in searching for new fermionic fields and their applications in gravitation and field theory. Paving the Heisenberg spinor field also makes the Lounesto's classifications to be better understood.

IV. CONCLUSIONS
We have considered a spinor field contained in any class of the Lounesto's classification as a particular linear combination of right and left projections of a Heisenberg spinor field. In that scenario we aimed to establish a classification for the Heisenberg spinor field and a correspondence between the two classifications. Such a goal is attained, the results being expressed in Tables II and  III. Some interesting points about the interplay between Heisenberg and Lounesto spinor are observed. First, a spinor in a Lounesto's class is regular if and only if it comes from a regular Heisenberg spinor, which allowed us to split the results into Tables II and III. Second, from these tables, one can realize that the correspondence between regular classes depend only on the imaginary part of the functions F and G, in Eq. (11), whereas for singular spinors it depends on the real part of these functions. Last, provided that ψ is a Lounesto spinor field, the corresponding Heisenberg spinor field can never belong to the class (24g). Hence, not all the classes with vanishing current density in Ref. [28] are necessary for the Heisenberg field classification.
Let one considers an arbitrary spinor field, ψ, whose dynamics is governed by the Dirac equation. It is worth to emphasize that the fact that ψ satisfies the Dirac equation does not impose almost any condition on ψ, in the context of the Lounesto's classification. In fact, there are regular and singular spinor fields, in every single class in the Lounesto's classification that satisfies the Dirac equation. Hence, although the Dirac equation imposes some type of spinor in each class, the amount of spinor fields in each class in Lounesto's classification is still large.
One of our motivations to introduce the Heisenberg spinor field classification was to better understand the Lounesto's classification, as well as to provide a complementary point of view that has been still not encompassed by the Lounesto's classification. The main motivation regarding this classification consists of the dynamics and kinematics that governs the spinor fields in all subclasses in Lounesto's classification. For example, Majorana (mass dimension 3/2) and Elko spinor fields (mass dimension 1) [10,29,30] are neutral spinor fields in the class 5 of flagpoles spinor fields [25], according to the Lounesto's classification. However, there is a charged spinor field, representative of a subclass in the class 5 of Lounesto's classification, that satisfies the Dirac equation in some gravitational background [31]. Hence, only knowing the class in Lounesto's classification does not guarantee to find the dynamics ruling the spinor field, although some exclusive options are clear once the equations of motion are known. As the Heisenberg classification, here proposed, is somehow related to the Heisenberg equation, it can therefore provide a clue on the dynamics of the related spinor field in Lounesto's classification. As important as the Wigner classification in this context is the classification in Ref. [2], as it places a physical classification of the degrees of freedom of the spinor fields. Complementary equations to the Fierz-Pauli-Kofink identities were shown to be similar to the Pauli-Lubanski axial vector, and the classification in Ref. [2] emulates the Wigner one. We can just concretely assert about resemblances between the Heisenberg and the Wigner classification after deriving and exploring the analogue of the Fierz-Pauli-Kofink identities in the Heisenberg classification. As they might be obtained from the Fierz-Pauli-Kofink identities (3a) -(3c), since the Heisenberg and Lounesto spinors are related by Eq. (11), it is worth in a near future to implement the analogue of the Fierz-Pauli-Kofink identities for the Heisenberg classification, to precisely answer this important question.
In Ref. [22] a Dirac spinor (class 1 in the Lounesto's classification) was built up from a Heisenberg spinor, and solutions to the Dirac equation were obtained using Inomata-McKinley solutions of the Heisenberg equation. Tables II and III would make possible to seek for solutions of the Dirac equation for other classes of Lounesto spinor fields. As a prototypical Heisenberg dynamics was employed to study anisotropic cosmological models [23], one may then explore this kind of dynamics for other types of Heisenberg spinor fields in the context of the minimal geometric deformation [32].
for a, b ∈ C. Any Ψ spinor field that satisfies Eq. (A1) is an Inomata spinor field. The integrability condition of Eq. (A1) reads Re(a) = Re(b). Let R, S be scalar fields such that K µ = ∂ µ R and J µ = ∂ µ S, or equivalently [22] Ref. [22] then shows the following respective expressions for F and G: