Hyperbolic positive energy theorem with electromagnetic fields

Abstract

We establish a type of positive energy theorem for asymptotically anti-de Sitter Einstein-Maxwell initial data sets by using Witten's spinoral techniques.