A Local Existence Theorem for the Einstein-Dirac Equation

Abstract

We study the Einstein-Dirac equation as well as the weak Killing equation on Riemannian spin manifolds with codimension one foliation. We prove that, for any manifold $M^n$ admitting real Killing spinors (resp. parallel spinors), there exist warped product metrics $\barη$ on $M^n \times {\mathbb R}$ such that $(M^n \times {\mathbb R}, \barη)$ admit Einstein spinors (resp. weak Killing spinors). To prove the result we split the Einstein-Dirac equation into evolution equations and constraints, by means of Cartan's frame formalism, and apply the local preservation property of constraints.