Quantization of Dirac fields in static spacetime
  On a static spacetime, the solutions of the Dirac equation are generated by a time-independent Hamiltonian. We study this Hamiltonian and characterize the split into positive and negative energy. We use it to find explicit expressions for advanced and retarded fundamental solutions and for the propagator. Finally, we use a fermion Fock space based on the positive/negative energy split to define a Dirac quantum field operator whose commutator is the propagator. 
Wei Min Jin