The qualitative behavior for approximate Dirac-harmonic maps into stationary Lorentzian manifolds

For a sequence of approximate Dirac-harmonic maps from a closed spin Riemann surface into a stationary Lorentzian manifold with uniformly bounded energy, we study the blow-up analysis and show that the Lorentzian energy identity holds. Moreover, when the targets are static Lorentzian manifolds, we prove the positive energy identity and the no neck property.