Regularity and energy quantization for the Yang-Mills-Dirac equations on 4-manifolds

We prove that in 4-dimensional manifolds, any finite energy weak solution to the Yang-Mills-Dirac equations is W2,2∩C0-gauge equivalent to a C∞-solution. We also prove energy quantization for a sequence of solutions to the Yang-Mills-Dirac equations in 4-manifolds.