Algebraic and Dirac–Hestenes spinors and spinor fields

Almost all presentations of Dirac theory in first or second quantization in physics (and mathematics) textbooks make use of covariant Dirac spinor fields. An exception is the presentation of that theory (first quantization) offered originally by Hestenes and now used by many authors. There, a new concept of spinor field (as a sum of nonhomogeneous even multivectors fields) is used. However, a careful analysis (detailed below) shows that the original Hestenes definition cannot be correct since it conflicts with the meaning of the Fierz identities. In this paper we start a program dedicated to the examination of the mathematical and physical basis for a comprehensive definition of the objects used by Hestenes. In order to do that we give a preliminary definition of algebraic spinor fields (ASF) and Dirac–Hestenes spinor fields (DHSF) on Minkowski space–time as some equivalence classes of pairs $(Ⅺu,ψⅪu),$ where $Ⅺu$ is a spinorial frame field and $ψⅪu$ is an appropriate sum of multivectors fields (to be specified below). The necessity of our definitions are shown by a careful analysis of possible formulations of Dirac theory and the meaning of the set of Fierz identities associated with the bilinear covariants (on Minkowski space–time) made with ASF or DHSF. We believe that the present paper clarifies some misunderstandings (past and recent) appearing on the literature of the subject. It will be followed by a sequel paper where definitive definitions of ASF and DHSF are given as appropriate sections of a vector bundle called the left spin-Clifford bundle. The bundle formulation is essential in order to be possible to produce a coherent theory for the covariant derivatives of these fields on arbitrary Riemann–Cartan space–times. The present paper contains also Appendixes A–E which exhibits a truly useful collection of results concerning the theory of Clifford algebras (including many tricks of the trade) necessary for the intelligibility of the text.