Area-charge inequalities and local rigidity of free boundary MOTS in charged initial data sets

In this work, we prove area-charge inequalities for free boundary MOTS in initial data sets for the Einstein-Maxwell equations with vanishing magnetic fields. In addition, we prove a local rigidity result under the assumption that equality holds.