Rigidity in the positive mass theorem with charge

In this paper, we show how a natural coupling of the Dirac equation with the generalized Jang equation leads to a proof of the rigidity statement in the positive mass theorem with charge, without the maximal slicing condition, provided a solution to the coupled system exists.