User:JRSpriggs/Dirac particle in general relativity

Tensor equivalent of Dirac equation
The Dirac equation is invariant under Lorentz transformations, but not (without modification) under the arbitrary curvilinear coordinate transformations used in general relativity. Instead of trying to get spinors to transform under such coordinate transformations, I will try to translate from spinors to tensors.

Replace the spinor, $$\psi \,,$$ by a sequence of antisymmetric tensors of every rank from 0 to 4, thusly
 * $$\psi = ( \psi^{(0)} \mathbf{1} + \psi^{(1)}_{\alpha} \gamma^{\alpha} + \frac{1}{2} \psi^{(2)}_{\alpha \beta} \gamma^{\alpha} \gamma^{\beta} + \frac{1}{6} \psi^{(3)}_{\alpha \beta \gamma} \gamma^{\alpha} \gamma^{\beta} \gamma^{\gamma} + \frac{1}{24} \psi^{(4)}_{\alpha \beta \gamma \delta} \gamma^{\alpha} \gamma^{\beta} \gamma^{\gamma} \gamma^{\delta} ) \, \xi \,$$

where &xi; is a constant spinor. The Lagrangian is then
 * $$L = ( \frac12 m c^2 ( \psi^{(0)} \psi^{(0)} + \psi^{(1)}_{\alpha} g^{\alpha \beta} \psi^{(1)}_{\beta} + \ldots + \frac{1}{24} \psi^{(4)}_{\alpha \beta \gamma \delta} g^{\alpha \epsilon} g^{\beta \zeta} g^{\gamma \eta} g^{\delta \iota} \psi^{(4)}_{\epsilon \zeta \eta \iota} ) \, + \,$$
 * $$i \hbar c ( \psi^{(1)}_{\alpha} g^{\alpha \beta} \partial_{\beta} \psi^{(0)} + \ldots + \frac{1}{24} \psi^{(4)}_{\alpha \beta \gamma \delta} g^{\alpha \epsilon} g^{\beta \zeta} g^{\gamma \eta} g^{\delta \iota} \partial_{\epsilon} \psi^{(3)}_{\zeta \eta \iota} ) ) \, \sqrt{-g} \,$$

where the partial derivative could be replaced by the gauge covariant derivative to link it to electromagnetism.