Classification of Maximally Charged Black Holes

We characterize all maximally charged black hole spacetimes in $3+1$ dimensions. More precisely, given any initial data set $(M,g,k)$ saturating the mass-charge inequality that satisfies the charged dominant energy condition, we show that $(M,g,k)$ must arise from an isometric embedding into a Majumdar-Papapetrou spacetime.