Linearization stability of the Einstein–Maxwell system

We obtain conditions on a compact Cauchy surface sufficient to insure linearization stability of the coupled Einstein–Maxwell equations, and identify these conditions with the absence of globally defined infinitesimal symmetries of the fields. The appropriate domain for these symmetries is a circle bundle over spacetime. The vector potential of the electromagnetic field is identified with the connection on the bundle.