Polar form of Dirac fields: implementing symmetries via Lie derivative

We consider the Lie derivative along Killing vector fields of the Dirac relativistic spinors: by using the polar decomposition we acquire the mean to study the implementation of symmetries on Dirac fields. Specifically, we will become able to examine under what conditions it is equivalent to impose a symmetry upon a spinor or only upon its observables. For one physical application, we discuss the role of the above analysis for the specific spherical symmetry, obtaining some no-go theorem regarding spinors and discussing the generality of our approach.