Schoen’s conjecture on scalar-curvature singularities
Let be a closed Einstein manifold, and let be a singular set. Suppose that is a continuous (or, in the weaker formulation, ) Riemannian metric on , smooth on , satisfies on , and has the same volume as . The conjecture asserts that the singularities are removable and that the scalar-curvature rigidity conclusion holds: is isometric to (possibly after changing the smooth structure).
References
Primary source
Additional references
Progress summary
The unrestricted conjecture is claimed false in high dimensions, while newer work proves only restricted smooth-removability results.
Schoen’s conjecture links removal of scalar-curvature singularities with rigidity of Einstein metrics. The available literature now contains both claimed high-dimensional counterexamples to the unrestricted statement and positive results under stronger regularity and codimension assumptions.
Known results
- Li and Mantoulidis (2016): partial rigidity for continuous metrics with regularity, , and sufficiently large singular-set codimension; extra Lipschitz regularity yields smooth Einstein metrics.
- Li and Mantoulidis (2021): continuous metrics with singular sets of codimension extend, up to a bi-Lipschitz change of coordinates, to smooth Einstein metrics.
- Cecchini, Frenck, and Zeidler (2024): for every , claimed counterexamples exist, including isolated singularities in arbitrarily high dimensions.
- A 2026 torus result gives smooth extension under additional Minkowski-dimension and fundamental-group hypotheses.
September 2026 restricted proof claim
The latest paper claims further extension and smooth-removability results for continuous metrics and for metrics sufficiently close to a smooth background, under explicit codimension and regularity assumptions. It does not establish the unrestricted conjecture.
Current status (as of September 2026): the unrestricted conjecture is claimed refuted in dimensions , while several restricted continuous or variants have claimed positive results and the general problem remains open.
Sources
- arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- arxiv.org
- sites.math.washington.edu
- semanticscholar.org
- purl.stanford.edu
- ihes.fr
- mathoverflow.net
- scgp.stonybrook.edu
- quantamagazine.org
- quantamagazine.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- quantamagazine.org
- scientificamerican.com
Solutions 0
No solutions have been posted yet.