Deformations of Charged Axially Symmetric Initial Data and the Mass–Angular Momentum–Charge Inequality

We show how to reduce the general formulation of the mass–angular momentum–charge inequality, for axisymmetric initial data of the Einstein–Maxwell equations, to the known maximal case whenever a geometrically motivated system of equations admits a solution. It is also shown that the same reduction argument applies to the basic inequality yielding a lower bound for the area of black holes in terms of mass, angular momentum, and charge. This extends previous work by the authors (Cha and Khuri, Ann Henri Poincaré, doi:10.1007/s00023-014-0332-6, arXiv:1401.3384, 2014), in which the role of charge was omitted. Lastly, we improve upon the hypotheses required for the mass–angular momentum–charge inequality in the maximal case.