# Spinor symmetries and underlying properties

## Abstract

By exploring a spinor space whose elements carry a spin 1/2 representation of the Lorentz group and satisfy the the Fierz–Pauli–Kofink identities we show that certain symmetries operations form a Lie group. Moreover, we discuss the reflex of the Dirac dynamics in the spinor space. In particular, we show that the usual dynamics for massless spinors in the spacetime is related to an incompressible fluid behavior in the spinor space.

## 1 Introduction

Spinors have constituted a comprehensive mathematical object of study, with a variety of applications in Physics. In particular, spinors are the main ingredient in the description of fermionic particles, that encode ordinary matter in the Universe. Fundamentally constructed upon the Lorentz group, a lot have been looked at the spacetime symmetries, underlying the Lounesto classification, rather than the symmetries of the spinor space itself. The Lounesto classification of spinor fields allocates classical spinors into six disjoint classes of regular and singular spinors. Regular spinors encompass Dirac spinors, and the singular ones, constituting flag-dipole, flagpole and dipole structures, comprehend the Majorana and Weyl spinors. References [2, 3] constructed a reciprocal classification for spinors, including gauge field theoretical aspects. Astonishingly, spinors satisfying the Dirac equation in several backgrounds have been found into five out of the six Lounesto’s classes. However, the subclasses of spinors, in each spinor class, whose equations of motion have been already established, are not fully determined. In other words, each spinor class has subclasses with precise dynamics, but the problem of categorizing the dynamics of all spinors in each class is intricate. Several approaches were scrutinized in Refs. [3, 4, 5, 6, 7, 8, 9, 10]. However, for example the fifth class of singular spinors has at least three subclasses: neutral spinors satisfying Majorana equation, eigenspinors of the charge conjugation operator with dual helicity, satisfying Elko coupled first order equations of motion, and also charged spinors satisfying the Dirac equation that induce an underlying fluid flow structure in some background spacetimes [6]. The Lounesto spinor classification, encompassing classes of charged and neutral spinors under the U(1) gauge symmetry, was extended in Ref. [5] to non-Abelian gauge symmetries. A second-quantized field theoretical approach [4] poses a similar classification in the framework of second quantization. Unexpected tensorial objetcs emerging from the spinor dynamics were also found in Ref. [11]. Therefore, it is clear that the question regarding the dynamics and kinematics of all spinors in Lounesto classification lacks still.

Within this motivation, a hybrid paradigm, uniting the symmetries on the spinor space and the spinors as representatives of the spinor classes in Lounesto classification, was previously proposed [12]. The ideia was to use this spinor representation space to envisage physical characteristics as an output of geometric, algebraic and topological properties of the constructed space, \(\Sigma \), by exploring the point of view of spinors completely characterized by its bilinear covariants. In this work we continue exploring such a space, this time further exploring symmetries acting upon spinors themselves. Naturally, these symmetries should preserve each one of the spinor classes in Lounesto classification. Starting from its definition we investigate symmetries properties in the spinor space. It is shown that (invertible) symmetries transformations are rescaling for every bilinear covariants components constituting a subgroup of \(GL(4,{\mathbb {C}})\). Also, the possibility of projective representations is explored, where we highlight an algebraic parallel of a superselection rule. These results are presented in Sect. 3 which is preceded by a review about the Lounesto spinor classification.

Section 4 is reserved to the investigation of the usual Dirac dynamics in the spinor space \(\Sigma \). Assuming the existence of a homomorphism between \(\Sigma \) and an open set of \(\mathbf{P}_{Spin_{1,3}^e}\times _\tau {\mathbb {C}}^4\) (see further specifications of this bundle in Sect. 2) it is shown, under certain general conditions, that for massless spinors an analog of the Liouville theorem may be set. This section is finished contrasting such a result for the case of exotic spinors. In the final section we conclude.

## 2 Lounesto classification

*M*denote the Minkowski spacetime. Spinors are objects in the spinor bundle, \(\mathbf{P}_{Spin_{1,3}^e}\times _\tau {\mathbb {C}}^4\) associated to

*M*, carrying the so-called \(\tau ={\left( 1/2, 0\right) }\oplus {\left( 0, 1/2\right) }\) representations of the Lorentz group [13, 14, 15]. Due to several applications, arbitrary bases \(\{\upgamma ^\mu \}\subset \Omega (M)=\oplus _{i=0}^4\Omega ^i(M)\) of the exterior bundle may be adopted. The bilinear covariants are the following exterior bundle sections [16],

We remark, by passing, that spinors not obeying to the FPK equations, the so-called amorphous spinors [17, 18], shall be treated in what follows as non-physical spinors.

## 3 Symmetries in the spinorial space

Let us denote a given bilinear by \({\bar{\psi }}\Gamma \psi \), for which \(\Gamma \) is any element of the set \(\{{\mathbb {I}},\gamma _5,\gamma _\mu ,\gamma _5\gamma _\mu ,\gamma _{\mu }\gamma _{\nu }\}\), where \({\mathbb {I}}\) stands for the identity matrix, and the spinor dual is the usual (Dirac) one. Lounesto classification depends whether a given subset of bilinear is null or not, respecting the FPK identities. The relevant aspect to be emphasized here is that, concerning classical spinors in physics, the Lounesto classification is based in the physical observables and, hence, the belonging to a given type is by itself a physical information. This remark motivates the following definition.^{1}

### Definition

A symmetry in the physical spinor space is any linear or anti-linear operation preserving the spinor type.

Thus any phase multiplying a spinor is also a symmetry and one is facing a ray representation of spinors, very much like the use of Hilbert space vectors in quantum mechanics, representing physical states. Denoting by \(\Sigma _i\) the part of the spinor space encompassing type-*i* spinors \((i\in \{1, 2,\ldots ,6\})\), with \(\Sigma =\cup _{i=1}^6\Sigma _i\), a certain spinor \(\psi \) is better characterized by an equivalence class representing its ray, denoted by *R*. Hence \(\psi \in R \subset \Sigma _i \subset \Sigma \).

*S*be a transformation leading rays into symmetry-preserving rays, that is

^{2}Depending on the bilinear dealt with, \(\beta _\Gamma \) must be replaced by an array, or disposed into a matrix structure, albeit this is not important now. In the case of the \(\Sigma _6\) space, the representation of a general symmetry \(S_6\) can be straightforwardly displayed by a block diagonal matrix of one of the two following forms:

^{3}

*A*and

*B*are \(2\times 2\) matrices with only

*A*or

*B*necessarily non-null. In fact, for a general singular spinor \(\psi =(a,b,c,d)^\intercal \), the transformation \(S_i\), \(i=4,5,6\), must preserve the algebraic relation \(a=\frac{bcd^*}{\Vert c\Vert ^2}\). On the other hand, the opposite relation \(a\ne \frac{bcd^*}{\Vert c\Vert ^2}\), must be preserved for regular spinors [2].

Being \(\chi \) a mapping between \(\Sigma \) and the dual space \({\bar{\Sigma }}\), which is defined in a quite similar manner to \(\Sigma \), we will restrict our analysis to the case in which \(\chi \) is one-to-one. The reason is simple: being \(\chi \) not one-to-one, then to an element of a given *R*, say \(e^{i\alpha }\psi \) with \(\alpha \in {\mathbb {R}}\), it would correspond \(e^{-i\beta }{\bar{\psi }}\) in \({\bar{\Sigma }}\), with \(\beta \) possibly different of \(\alpha \). Then \({\bar{\psi }}'\Gamma \psi '=e^{i(\alpha -\beta )}{\bar{\psi }}\Gamma \psi \), breaking the symmetry.

In the following we are interested in symmetries such that, for every *S* leading from a ray to another one, there should exist an inverse mapping, \(S^{-1}\), pulling the transformation back. Besides, if \(S_1\) transforms a ray *R* into \(R'\) and \(S_2\) leads \(R'\) into \(R''\), then the acting of \(S_1\) followed by \(S_2\) should have the same effect of an unique transformation, say \(S_3\), going directly from *R* to \(R''\). Taking all into account, provided associativity, symmetries transformations, if allowed, may form a group. We stress that the existence of symmetry transformations without inverse for all spinor types is, in principle, not forbidden. Not invertible symmetry transformations may also be physically relevant. However, we concentrate in the invertible case, since we are interested in a possible group structure.^{4}

### Lemma

*The invertible symmetry transformations allowed are a simple rescaling*, up to a sign, *for all bilinear covariants components*.

### Proof

With these results we are able to enunciate the next theorem.

### Theorem

The symmetry transformations allows the space of spinors to perform a subgroup of \(GL(4,{\mathbb {C}})\).

### Proof

*X*and

*Y*both satisfying (5) for, say, \(\beta _{\Gamma X}\) and \(\beta _{\Gamma Y}\), respectively. Hence

We finalize this section by stating some facts about the representation of the symmetry group found in the spinor space. As a matter of fact, while symmetry transformations act upon rays, the operators representing the above group transform spinors itself. In this regard, the representation will inherit most of the group properties. Denoting by *O*(*S*) the operator representing the symmetry action in the spinor space, the resulting state \(O(S_1)O(S_2)\psi \) differs from \(O(S_1 S_2)\psi \), as usual, by a phase at most. This is, of course, the indication of a possible projective representation. At this point we have not enough information about the topology of the subgroup referred in the above theorem, although the elimination of its central charge seems to be reachable. Hence we willl postpone the elimination, so to speak, of the projective representation for the future. Instead we would like to point out an interesting peculiarity of the representation.

*k*) upon which the operators act, exception made to forbidden states, whose existence is precluded by means of a superselection rule [20]. The general picture may be straightforwardly recalled as follows: taking the sum of two spinors, say \(\psi _m\) and \(\psi _n\), and representing the transformation we have \(O(S_1)O(S_2)(\psi _m+\psi _n)=e^{i\phi _{mn}}O(S_1 S_2)(\psi _m+\psi _n)\). After working out the right-hand side and acting with \(O^{-1}(S_1S_2)\), we are left with

*O*is assumed unitary, for simplicity. Clearly, a solution for the above equation is \(\phi _{mn}=\phi _m=\phi _n\) pointing to a phase independent to the state, but as symmetries transformations are allowed in this space, \(\psi _m\) and \(\psi _n\) may well be connected, and therefore it is hard to accept that the independence of the phases is reached by chance. In this regard, the very existence of the symmetry may be faced as the analogue of the superselection rule. As a final comment, we remark that the reasoning just outlined cannot be applied to type-

*i*spinors as a whole, as the type is not necessarily preserved by the sum of spinors [1]. Regarding representations in the sector of \(\Sigma _i\), for which the type is not preserved by the sum, the situation is quite unclear so far.

## 4 Dynamics avatar

*i*spinors may be faced as an additional step towards the continuity of such a sector of \(\Sigma \). However, any spinor in this space may be endowed of a dynamics inherited from the dynamics in spacetime. In this section we will investigate the behavior of spinors as elements in \(\Sigma \). Let \({\bar{\varphi }}\) be a one-to-one, linear, and invertible mapping from \(\Sigma \) to sections of \(\mathbf{P}_{Spin_{1,3}^e}\times _\tau {\mathbb {C}}^4\), i. e.

*U*, denoted by \({\bar{\varphi }}^{-1}(U)\). In analogy to the Dirac operator \({\mathcal {D}}\), let \(\nabla \) be a “dynamical” operator (an automorphism) in \(\Sigma \) such that

*m*the mass parameter. Therefore

### Proposition

*Massless spinors representing conserved states in* \({\mathcal {F}}\subset \Sigma _i\), *with orientable* \(\partial {\mathcal {F}}\), *behave as an incompressible fluid*.

### Proof

The massive case is just inconsistent. We are currently investigating this case, for which, we speculate, none conservative equation analogue can be stated, but have not a satisfactory interpretation for that so far. Before concluding this section, we would like to contrast our results with the case concerning exotic spinors.

*M*, is not simply connected there is not only one spinorial structure [23]. This fact is traduced by the non triviality of the (first) cohomology group \(H^1(M, {\mathbb {Z}}_2)\). The non trivial topology is then reflected in the dynamics [24, 25], by means of an additional term in the Dirac operator now reading \(\tilde{{\mathcal {D}}}=i\gamma ^{\mu }\partial _{\mu }+i\gamma ^\mu \partial _\mu \theta (\vec {x},t)-m{\mathbb {I}}={\mathcal {D}}+i\gamma ^\mu \partial _\mu \theta (\vec {x},t)\), where \(\theta (\vec {x},t)\) is a real scalar function (for mathematical details see, for instance, [26]). Concerning the topics approached in Sect. 2, there are very few substantial differences in dealing with exotic spinors instead of usual spinors. As a matter of fact, it is still possible to define a spinor space for exotic spinors and, as before, we also will have a categorization of the spinorial space into types. The unique novelty is that there are three more possible types of spinors, but the results of the previous section remain valid. A noteworthy difference occurs in the appreciation of the proposition above to exotic spinors. Denoting exotic spinors in the exotic spinorial space (\({\tilde{\Sigma }}\)) by \({\tilde{\psi }}\) (and its spacetime counterpart by \({\tilde{\Psi }}(\vec {x},t)\)), it is fairly direct to see that the analogue of Eq. (17) for the case at hands reads

## 5 Concluding remarks

In Sect. 3 we show the possibility of symmetries transformations in the spinor space as elements of a subgroup of \(GL(4,{\mathbb {C}})\). These symmetries respect the Lounesto classification and so do not across the spinor type. While relevant results on their own, we would like here to give a comprehensive account on results. In Ref. [28] it was proposed an interpolation between sectors of a given representation, encompassing spinors satisfying the Heisenberg equation of motion, which could lead to the neutrino oscillation even in the massless case. All these spinors was shown to belong to Lounesto type-1 case [29]. The results here explored may serve as a first step towards the mathematical investigation of such an interpolation, in the sense that it was conjectured to be performed by an unitary operator [28] whose action preserves the spinor type [29].

In Sect. 4, we explore the interelationship between the dynamics occurring in the spacetime and its reflex in the spinor space. The interplay between spinors, bilinear covariants and hydrodynamics was implemented in Refs. [6, 27], in the context of the Lounesto spinor classification. In Ref. [27] suitable black hole backgrounds were considered, having a current density that interpolates between a timelike Killing vector field at the spatial infinity and the null Killing vector field on the black hole event horizon. This current density was identified to a spinor fluid flow. In Ref. [6], flag-dipole spinors, satisfying the Dirac equation in another black hole background was shown to induce an underlying fluid flow structure in the background spacetime. These two results are quite particular, relating fluid mechanics to the Lounesto classification. On the other hand, the results in the Proposition here presented are universal, relating the dynamics of certain spinors with the equations of motion of incompressible fluids. The investigation of this result in the context of exotic spinors was presented. It was shown that unusual topology in the spacetime leads to a modification in the spinor space dynamics. While some modification is generically expected, since the connection is changed, we emphasize that the dynamical interplay was strong enough to reveal that unusual topology forbids the perfect fluid behavior. We are currently investigating additional developments of this interplay, as well its limitations.

## Footnotes

- 1.
For details in the spinorial space definition, see [12]. Here we just remark that this space comprises only spinors obeying the FPK identities.

- 2.
- 3.
As the apparatus is representation-independent, we are adopting the Weyl representation for the \(\gamma \) matrices.

- 4.
The particular case of type-6 spinors does not require the whole matrix \(S_6\) being invertible for having the group structure. It is sufficient being the non-null block invertible.

## Notes

### Acknowledgements

JMHS thanks to CNPq (Grant No. 303561/2018-1) for partial financial support. RdR is grateful to FAPESP (Grant No. 2017/18897-8), to CNPq (Grants No. 406134/2018-9 and No. 303293/2015-2) and to HECAP - ICTP, Trieste, for partial financial support, and this last one also for the hospitality. RTC is grateful to CAPES and UNESP | Guaratingueta post-graduation program for financial support.

## References

- 1.P. Lounesto,
*Clifford Algebras and Spinors*(Cambridge Univ. Press, Cambridge, 2001)CrossRefGoogle Scholar - 2.R.T. Cavalcanti, Int. J. Mod. Phys. D
**23**, 1444002 (2014). arXiv:1408.0720 [hep-th]ADSCrossRefGoogle Scholar - 3.L. Fabbri, Int. J. Geom. Methods Mod. Phys.
**13**, 1650078 (2016). arXiv:1603.02554 [gr-qc]MathSciNetCrossRefGoogle Scholar - 4.L. Bonora, J.M. Hoff da Silva, R. da Rocha, Eur. Phys. J. C
**78**, 157 (2018). arXiv:1711.00544 [hep-th]ADSCrossRefGoogle Scholar - 5.L. Fabbri, R. da Rocha, Phys. Lett. B
**780**, 427 (2018). arXiv:1711.07873 [hep-th]ADSCrossRefGoogle Scholar - 6.R. da Rocha, R.T. Cavalcanti, Phys. At. Nucl.
**80**, 329 (2017). arXiv:1602.02441 [hep-th]CrossRefGoogle Scholar - 7.R. da Rocha, W.A. Rodrigues Jr., Mod. Phys. Lett. A
**21**, 65 (2006). [math-ph/0506075]ADSCrossRefGoogle Scholar - 8.R. da Rocha, L. Fabbri, J.M. Hoff da Silva, R.T. Cavalcanti, J.A. Silva-Neto, J. Math. Phys.
**54**, 102505 (2013). arXiv:1302.2262 [gr-qc]ADSMathSciNetCrossRefGoogle Scholar - 9.R. Abłamowicz, I. Gonçalves, R. da Rocha, J. Math. Phys.
**55**, 103501 (2014). arXiv:1409.4550 [math-ph]ADSMathSciNetCrossRefGoogle Scholar - 10.J.M. Hoff da Silva, R.T. Cavalcanti, Mod. Phys. Lett. A
**32**, 1730032 (2017). arXiv:1708.06222 [physics.gen-ph]ADSCrossRefGoogle Scholar - 11.L. Fabbri, Eur. Phys. J. C
**78**, no. 9, 783 (2018) [arXiv:1810.01290 [physics.gen-ph]] - 12.J. M. Hoff da Silva, C.H. Coronado Villalobos, R. da Rocha, R.J. Bueno Rogerio, Eur. Phys. J. C
**77**(2017) 487 [arXiv:1702.05034 [math-ph]] - 13.R.A. Mosna, W.A. Rodrigues Jr., J. Math. Phys.
**45**, 2945 (2004). arXiv:math-ph/0212033 ADSMathSciNetCrossRefGoogle Scholar - 14.W.A. Rodrigues Jr., J. Math. Phys.
**45**, 2908 (2004). arXiv:math-ph/0212030 ADSMathSciNetCrossRefGoogle Scholar - 15.J. Vaz Jr., R. da Rocha,
*An Introduction to Clifford Algebras and Spinors*(Oxford Univ. Press, Oxford, 2016)CrossRefGoogle Scholar - 16.J.P. Crawford, J. Math. Phys.
**26**, 1439 (1985)ADSMathSciNetCrossRefGoogle Scholar - 17.A. Crumeyrolle,
*Orthogonal and symplectic Clifford algebras: Spinor structures*(Springer Netherlands, Dordrecht, 1990)CrossRefGoogle Scholar - 18.W.A. Rodrigues Jr., Q.A.G. de Souza, J. Vaz Jr., P. Lounesto, Int. J. Theor. Phys.
**35**, 1849 (1996). hep-th/9607073CrossRefGoogle Scholar - 19.Y. Takahashi, Phys. Rev. D
**26**, 2169 (1982)ADSMathSciNetCrossRefGoogle Scholar - 20.G.C. Wick, A.S. Wightman, E.P. Wigner, Phys. Rev.
**88**, 101 (1952)ADSMathSciNetCrossRefGoogle Scholar - 21.R. da Rocha, J.M. Hoff da Silva, J. Math. Phys.
**48**, 123517 (2007). arXiv:0711.1103 [math-ph]ADSMathSciNetCrossRefGoogle Scholar - 22.R.K. Pathria,
*Statistical Mechanics*(Butterworth-Heinemann, Oxford, 1996)zbMATHGoogle Scholar - 23.R.P. Geroch, J. Math. Phys.
**9**, 1739 (1968)ADSCrossRefGoogle Scholar - 24.S.J. Avis, C.J. Isham, Nucl. Phys. B
**156**, 441 (1979)ADSCrossRefGoogle Scholar - 25.S.J. Avis, C.J. Isham, Commun. Math. Phys.
**72**, 103 (1980)ADSCrossRefGoogle Scholar - 26.R. da Rocha, A.E. Bernardini, J.M. Hoff da Silva, JHEP
**04**, 110 (2011). arXiv:1103.4759 [hep-th]ADSCrossRefGoogle Scholar - 27.
- 28.
- 29.D. Beghetto, J.M. Hoff da Silva, Europhys. Lett.
**119**, 40006 (2017). arXiv:1710.07086 [math-ph]ADSCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Funded by SCOAP^{3}