Extrema of mass, first law of black hole mechanics, and a staticity theorem in Einstein-Maxwell-axion-dilaton gravity

Using the ADM formulation of the Einstein-Maxwell axion-dilaton gravity we derive the formulas for the variation of mass and other asymptotic conserved quantities in the theory under consideration. Generalizing this kind of reasoning to the initial data for the manifold with an interior boundary we get the generalized first law of black hole mechanics. We consider an asymptotically flat solution to the Einstein-Maxwell axion-dilaton gravity describing a black hole with a Killing vector field timelike at infinity, the horizon of which comprises a bifurcate Killing horizon with a bifurcate surface. Supposing that the Killing vector field is asymptotically orthogonal to the static hypersurface with boundary S and a compact interior, we find that the solution is static in the exterior world, when the timelike vector field is normal to the horizon and has vanishing electric and axion-electric fields on static slices.