Abstract
The problem of finding necessary and sufficient conditions on the Cauchy data for Einstein equations which insure the existence of Killing fields in a neighborhood of an initial hypersurface has been considered recently by Berezdivin, Coll, and Moncrief. Nevertheless, it can be shown that the evolution equations obtained in all these cases are of nonstrictly hyperbolic type, and, thus, the Cauchy data must belong to a special class of functions. We prove here that, for the vacuum and Einstein–Maxwell space–times and in a coordinate independent way, one can always choose, as evolution equations for the Killing fields, a strictly hyperbolic system: The above theorems can be thus extended to all Cauchy data for which the Einstein evolution problem has been proved to be well set.