The positive mass theorem under a spectral scalar curvature bound on spin manifolds

On spin manifolds, we give a proof of Brendle and Wang's refined positive mass theorem using the Dirac operator method. In the course of this proof, we discuss the origin of the special coefficient appearing in Brendle and Wang's spectral positivity condition for scalar curvature from the perspective of spin geometry.