On Jean-Marie Souriau's geometric quantization of the relativistic electron

The aim of this paper is to revisit, in Souriau's book "Structure of Dynamical Systems", the chapter devoted to the geometric quantization where the justifications of important results and formulae are not given and are difficult to prove. After recalling the coadjoint orbit method and its application to the relativistic particle with spin, we state and prove two keystone theorems that allow to equip its prequantum manifold with the symplectic and contact structures. We apply them to the relativistic particle with spin 1/2, leading to the Dirac equation and the conservation of the probability current. We propose also an identity of conservation of the spin current and, invoking the Kaluza-Klein theory, a systematic construction of the symmetries of charge conjugation, parity transformation and time reversal which seems to us more convenient and readable than that of the classical presentations.