Abstract
The analytic noncharacteristic problem for the existence of a spacelike isometry in vacuum space‐time, given its existence on the hypersurfaces, on the Cauchy data, is posed and solved using the ADM equations. The timelike case is also solved. In both cases the isometry will locally exist.