On the bilinear covariants associated to mass dimension one spinors

In this paper we approach the issue of Clifford algebra basis deformation, allowing for bilinear covariants associated to Elko spinors which satisfy the Fierz-Pauli-Kofink identities. We present a complete analysis of covariance, taking into account the involved dual structure associated to Elko. Moreover, the possible generalizations to the recently presented new dual structure are performed.


I. INTRODUCTION
The so-called Elko spinors are a new set of spinors with a complex and interesting structure on its own. Historically, they were proposed by Ahluwalia and Grumiller when studying properties of the Majorana spinor. Similar to them, Elko spinors are eingenspinors of the charge conjugation operator, C, but they have dual helicity and can take positive (self-conjugated) and negative (anti-self-conjugated) eigenvalues of C, whilst the Majorana ones take only the positive value and carry single-helicity.
From the physical point of view, Elko spinors are constructed to be invisible to the other particles (i.e., it does not couple with the fields of the Standard Model, except for the Higgs boson), becoming a natural candidate to dark matter [1]. Mathematically, the dual helicity peculiarity forces to a redefinition of the dual spinor structure, as can be seem in [1]. This idiosyncrasy reflects itself when constructing the spin sums for the Elko spinors, which breaks Lorentz symmetry. However, the spin sums are invariant under transformations of the Very Special Relativity (VSR) [2][3][4]. There are several areas in which Elko spinors have been studied, from accelerator physics [5][6][7][8] to cosmology [9][10][11][12][13][14][15][16][17][18][19]. In particular, the appreciation of new dual structures bring interesting possibilities within the algebraic scope [20,21].
As it is well known, much of the physics associated to spinor fields is unveiled from its bilinear covariants by the simple reason that single fermions are not directly experienced. In this context it is indeed important to pay special attention to the subtleties of Clifford algebra when associating real numbers to the bilinear covariants [22]. It may sound as an secondary issue, but in fact the opposite is true. In two outstanding papers in the ninetieths [23,24], Crawford worked out several important formalizations concerning the bispinor algebra. Among these, a rigorous procedure to obtain real bilinear covariants was developed. The general aim of this paper is to make use of this procedure to envisage what (if any) bilinear covariants are real when dealing with mass dimension one spinors. To the best of our hope, the results to be shown here may shed some light on the observables associated to these spinors. With suitable, but important, changes we take advantage of the formalism developed in [23] in order to study the bilinear covariants associated to the Elko spinor case. After a complete analysis, including the right observance of the Fierz-Pauli-Kofink (FPK) [25,26] relations, we arrive at the subset of real bilinear covariants.
Quite recently, new possibilities concerning the field adjoint possibilities was investigated in deep [27,28]. These formalizations may lead to a local and full Lorentz spin 1/2 field also endowed with mass dimension one, evading, thus, the Weinberg's no-go theorem [29]. We also have investigated the bilinears to this case, and in some extent the aforementioned program may be applied, leading to similar conclusions. This paper is organized as follows: in Section II we introduce the bilinears covariant and proceed with the Clifford algebra basis deformation then, in Section III we analyze its covariant structure. Both these sections are related to Elko spinors as objects whose spin sums break Lorentz symmetry. The natural background symmetry is, then, encoded into the orthochronous proper Lorentz subgroup, leaving for the Appendix B an analogous investigation taking into account VSR Elko spinors. In Section IV, we conclude with some remarks about the results we found.

II. BILINEAR ANALYSIS
Let ψ be a given spinor field belonging to a section of the vector bundle P Spin e 1,3 (M) × ρ C 4 where ρ stands for the entire representation space D (1/2,0) ⊕ D (0,1/2) , or a given sector of such. The bilinear covariants associated to ψ, as usual, reads where the Dirac matrices are written in the Chiral (or Weyl) representation In general grounds, it is always expected to associate (1) to physical observables. For instance, in the usual case, bearing in mind the relativistic description of the electron, σ the invariant length, J is associated to the current density, K is the spin projection in the momentum direction, and S is the momentum electromagnetic density. The bilinear covariants, as well known, obey the so-called Fierz-Pauli-Kofink (FPK) identities, given by [30] It can be seen that the physical requirement of reality can always be satisfied for Dirac spinors bilinear covariants [23], by a suitable deformation of the Clifford basis leading to physical appealing quantities. Unfortunately, the same cannot be stated for mass dimension one spinors, as Elko spinors. Actually, a straightforward calculation shows an incompatibility in the usual construction of bilinear covariants. In fact, one of the FPK identities is violated. The reason rests upon the new dual structure associated to these spinors. It is worth to mention that the main difference between the Crawford deformation [23,24] 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. Therefore, the dual structure is the usual oneψ(p) = ψ † (p)γ 0 and the required normalization is also ordinary. On the other hand Elko spinors, due to its own formal structure, need a dual redefinition This redefinition leads, ultimately, to a new normalization culminating in a basis deformation satisfying the FPK identities.
Let us make these assertions more clear by explicitly showing the mentioned problem. In order to guarantee the sequential readability of the paper we leave for the Appendix A a brief, but self contained, overview on the spinorial formal structure of Lorentz breaking Elko fields. Taking advantage of what was there defined, we use as an example the spinor λ S {−,+} (p) and its dual given by, respectively We reinforce once again that the dual structure associated to Elko spinors are obtained in a very judicious fashion [28], leaving no space to modifications, exception made to the generalizations found in Ref. [1,28]. Using (4) and (5), as a direct calculation shows, Eqs. (1) give and As it can be verified, the above bilinear covariants do not obey the FPK equations. More specifically, the relation containing S µν is not satisfied. In view of this problem, we revisited the formulation performed in [23] in order to find out an appropriated Clifford basis upon which the bilinear covariants can be constructed, leading to the right verification of the FPK relations. The price to be paid is that only a subset of bilinear covariants comprises real quantities.

A. Deformation of the Clifford algebra basis
As it is well known, the very constitutive relation of the Clifford algebra is given by where g µν is a N = 2n even-dimensional space-time metric, which in Cartesian coordinates has the form diag(1, −1, ..., −1). The generators of the Clifford algebra are, then, the identity I and the vectors γ µ , usually represented as square matrices. The standard approach dictates the complementation of the Clifford algebra basis, in order to guarantee real bilinear covariants. This complement is performed by the composition of the vector basis, used as building blocks [23] As it is easy to see, the lowest M value is two (the smallest combination), nevertheless, it runs in the range M = 2, 3, ..., N . In this respect, the elements that form the (real) Clifford algebra basis are whereγ ≡γ µ1µ2...µN−N . In view of the new elements appearing in the definition of the Elko dual, it is necessary to adequate the Clifford algebra basis complementation. As shown previously, it is absolutely necessary for the right appreciation of the FPK relations. We shall stress that for the Dirac spinorial case, the set (13) is suitable deformed (by a slightly different normalization) in order to provide real bilinear covariants. We shall pursue something similar here, and we are successful in correction the problem related to the FPK relations. Notwithstanding, only a subset of bilinear covariants ends up real in the Elko spinorial case.
The first two bilinear arising from the Clifford algebra basis are where ¬ λh (p) = [Ξ(p)λ h (p)] † γ 0 is identified as the Elko dual spinor 1 . The operator Ξ(p) is responsible to change the spinor "helicity" (better said, the type of Elko spinor), here labeled by h. All the details concerning such an operator can be found in Ref. [28]. The requirement σ = σ † leads automatically to γ 0 = Ξ † (p)γ † 0 Ξ(p) since Ξ 2 (p) = 1. This constraint is readily satisfied, in such a way that (14) is real 2 . By the same token, one should require J µ = J † µ . This imposition leads to the constraint γ 0 γ µ = Ξ † (p)γ † µ γ † 0 Ξ(p) which, however, cannot be fulfilled. This is an important point. In fact, the counterpart associated to Dirac spinors is simply γ −1 0 γ † µ γ 0 = γ µ , a constraint naturally achieved. The new dual structure, therefore, has forced a new interpretation of the bilinear covariants. Firstly, as a matter of fact, for mass dimension one spinors J µ cannot be associated to the conserved current. Obviously, in order to have ∂ µ J µ = 0 it is necessary the use of the Dirac equation. This truism has lead to interesting algebraic possibilities [20], but the point to be emphasized here is that there is no problem in having a complex quantity related to the bilinear J µ . The additional important consequence of an imaginary J µ is that in order to satisfy the FPK equations one must have K µ or S µν also imaginary.
Notice that, instead of the usual Crawford deformation, here we do not arrive at an entire real bilinear set. In fact, in trying to implement the full reality condition it is mandatory to change the building block of the Clifford basis γ µ . It would inevitably lead, however, to a change in the constitutive algebraic relation of the Clifford algebra (11). Therefore, this change must be excluded. It is important to emphasize, moreover, that even being willing to accept a modification of (11) the resulting constraint to get a real set of bilinears cannot be fulfilled.
Having said that, we may proceed deforming the usual basis in order to redefine bilinear covariants which satisfy the FPK identities. Making use of Eq. (12) and considering that the norm for the Elko spinor is real we have It can be readily verified that the following redefinition ofγ µ1µ2...µN−M is appropriate to ensure K µ as a real quantity: With the redefinition above, one is able to define the bispinor Clifford algebra basis as in (13), but with the gammas given by (17). As an example, consider the four-dimensional space-time. In this case the basis is given, accordingly, by where γ 5 = −iγ 0 γ 1 γ 2 γ 3 . Now, with the real Clifford algebra basis at hands, it is possible to construct the bilinear forms, given by From above construction, after a simple but tedious checking process, one ensures that the slight modifications of the bilinear covariants are enough to guarantee that the FPK identities (3) are satisfied. After all, we arrive at σ and K µ as real non null quantities. As remarked in the Introduction, to the best of our hope these quantities shall be considered in the determination of possible experimental outcomes of the Elko construction.

III. COVARIANT STRUCTURE
So far we have worked out quantities defined as (21) claiming that they must be faced as bilinear covariants. While they are bilinear quantities, their covariant structure must be evinced. All the issue is related to the (necessary) presence of the Ξ(p) operator.
Supposing that the Elko spinor belongs to a linear representation of the symmetry group in question, in such a way that seen in another frame the field undergoes a transformation as There is a Dirac-like operator that annihilates Elko [28] (no related to the field dynamics) given by from which we shall investigate the covariance. Applying the transformation (22) for the fields in the equation (23), we find The momentum can be written as p µ ↔ i∂ µ and the partial derivative transforms usually as ∂ ′µ = Λ µ β ∂ β . Therefore, in order to ensure covariance of Eq. (23) it is necessary the following behavior of the Dirac matrices and the Ξ(p) operator, respectively Equation (25) is the usual requirement to be imputed to the gamma matrices in order to achieve a covariant Dirac equation. The requirement (26) is the new ingredient of the Elko theory, which must be investigated. Interestingly enough, from the expression (A13), along with (25), it is possible to see that [28,31] and therefore as expected. Once verified the right transformations, we are able to evince the bilinear quantities. Starting from σ, we have implying σ a scalar. Repeating the same procedure for the remaining bilinear forms, we obtain Therefore, the nomenclature previously adopted is indeed adequate to the case at hands. We shall finalize pointing out that the investigation of covariance in which concerns SIM (2), HOM (2) Lorentz subgroups is taken into account in Appendix B. The analysis is quite analogous, and the physical statements are essentially the same.

IV. FINAL REMARKS
In this paper we have shown that it is necessary to deform the usual Clifford algebra in order to ascertain the right observance of the Fierz-Pauli-Kofink identities, regarding Elko spinor fields. As a result, only a subset of bilinear covariants are real. After have found the proper deformation, and observed its dependence on the new dual operator, we study the covariance of the relevant quantities showing explicitly its behavior under a typical transformation of the relativistic group in question.
We would like to finalize this paper by returning to the point raised at the end of the introductory Section. As already mentioned, in Refs. [28,29] it is described a subtle way to evade Weinberg's no-go theorem, by exploring another possibility of the dual structure, this time constructing the dual with the additional requirement of Lorentz invariant spin sums. Additional mathematical support was given in [27]. In the formulation presented in [28], it was taken a great care in the new dual structure in order not to jeopardize the simplest bilinear σ, i. e., it was required the spinor as an eigenspinor of the new operator, say O 3 , entering into the dual redefinition. By assuming associativity between O and S, whose meaning is the same of Section III (except that the full Lorentz group is the relativistic group at hands), and that Eq. (23) still holding, we have which can be recast into the form Therefore the following identifications immediately hold From (30) one sees that the new operator must transform as O ′ = S(Λ)OS −1 (Λ), leading to the same transformation rule of (26) for the operator Ξ(p). In this vein the covariance of (23) is ensured. The whole covariant analysis of the corresponding bilinear quantities, then, follow immediately leading essentially to the same results.
It is worth mentioning that Elko form a complete set of eigenspinors of C with positive (S) and negative (A) eigenvalues. Another important aspect about these spinors is that they are constructed in such a way that carry dual helicity.
From the last considerations, the explicit form of Elko, in an arbitrary referential is and The action of the boost operator Λ ± (p µ ) over the spinors, in the rest-frame, is given by (A6) To summarize the notation, we choose to define the boost factor by The four rest spinors are shaped by two self-conjugate and the other two are anti-self-conjugate The associated components are defined by imposing they to be eigenfunctions of helicity operator, resulting in the left-hands components given by and the right-hand components presented as Once performed the formal structure for the Elko spinors, we can now define the dual by the following general formula with the operator Ξ(p) defined as in a matricial form, it reads where Ξ 2 (p) = I and Ξ −1 (p) indeed exists and is equal Ξ(p) itself [28]. Now the explicit form for the dual can be readily written as For more details about the whole construction, please see [28].

Appendix B: VSR Elko spinors
As extensively shown in [2] and [3], Elko spinors can be understood as objects carrying a linear representation of SIM(2) or HOM(2) Lorentz subgroups. In this vein, it is important to explore a possible Clifford algebra basis deformation in this case, if necessary obviously.
In order to illustrate the situation, we shall make use of the Elko spinors founded in [3]. Notice that, in general, the helicity operator does not commute with the VSR boost. Therefore, one cannot freely chose the rest spinors as a basis for such an operator. This is the kernel of the subtle difference between the Elko spinors studied along the main text and the spinors here investigated.
For an arbitrary momentum, it is possible to see that in the VSR scope we have [3] χ as its dual, whose construction obeys the same previous prescription, i. e., χ This operator acts in VSR spinors just as the Ξ(p) operator does in usual Elko spinors: it change the spinor type, obeys Ξ 2 (p) V SR = 1 and have determinant equal to one, ensuring the existence of the inverse.