Well-posed Cauchy formulation for Einstein-aether theory

We study the well-posedness of the initial value (Cauchy) problem of vacuum Einstein-rather theory. The latter is a Lorentz-violating gravitational theory consisting of general relativity with a dynamical time-like 'aether' vector field, which selects a 'preferred time' direction at each space-time event. The Einstein-nether action is quadratic in the anther, and thus yields second order field equations for the metric and the aether. However, the well-posedness of the Cauchy problem is not easy to prove away from the simple case of perturbations over flat space. This is particularly problematic because well-posedness is a necessary requirement to ensure stability of numerical evolutions of the initial value problem. Here, we employ a first-order formulation of Einstein-anther theory in terms of projections on a tetrad frame. We show that under suitable conditions on the coupling constants of the theory, the resulting evolution equations can be cast into strongly or even symmetric hyperbolic form, and therefore they define a well-posed Cauchy problem.