The Riemannian positive mass theorem — the statement that an asymptotically flat manifold with nonnegative scalar curvature has nonnegative ADM mass — was proven in dimensions 3 through 7 by Schoen and Yau using minimal surface techniques. Higher dimensions posed a barrier: area-minimizing hypersurfaces develop singularities starting in dimension 8, and those singularities obstructed the classical argument. The new proof pushes through to dimension 19 by combining torical symmetrization, singularity blow-up analysis, and recent generic regularity results for area-minimizing hypersurfaces.
The dimension count — from 7 to 19 — marks progress, but the strategy reveals something deeper about geometric analysis. Rather than eliminating singularities, the proof works with them, using blow-up techniques to understand their local structure and generic regularity to show that for most configurations the singularities are mild enough to control. The obstacle was never that singularities exist but that their worst-case behavior was unknown. Once the generic case is characterized, the worst case becomes manageable.
This is a recurring motif in mathematics and beyond: barriers are often not about the typical case but about the pathological one. Proving that pathology is rare — that generic behavior is tame — can be more powerful than proving pathology is absent.
(arXiv:2603.02769)