Seja M^3 um conjunto de dados iniciais para as equações de Einstein–Maxwell com campo magnético nulo, e seja Σ^2⊂M uma superfície mínima compacta, mergulhada, bilateral e estritamente estável, que maximiza localmente a massa de Hawking carregada. Sob condições adequadas impostas a M, estabelecemos um resultado de rigidez local e concluímos que existe uma vizinhança de Σ em M isométrica ao espaço de Reissner–Nordström–Anti-de Sitter. Ao mesmo tempo, deduzimos uma estimativa para a área de Σ⊂M, sendo Σ uma superfície compacta, mergulhada e bilateral, de gênero g(Σ), que é localmente minimizante de área. No caso de igualdade, provamos que a métrica induzida em Σ tem curvatura de Gauss
constante e que, localmente, M se decompõe ao longo de Σ.