Regularity theorems and energy identities for Dirac-harmonic maps