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.