A dimension descent scheme for the positive mass theorem in arbitrary dimension

We describe how the Schoen-Yau proof of the positive mass theorem can be extended to arbitrary dimensions. To overcome the problem of singularities, we propose a new inductive scheme. To carry out the inductive step, we use a combination of several techniques, including the shielding principle of Lesourd-Unger-Yau, as well as a conformal blow-up argument in the spirit of Bi-Hao-He-Shi-Zhu. Our arguments also rely on the Cheeger-Naber bound for the Minkowski dimension of the singular set.