Schoen’s conjecture on scalar-curvature singularities

Let (Mn,g0)(M^n,g_0) be a closed Einstein manifold, and let Σ⊂M\Sigma\subset M be a singular set. Suppose that gg is a continuous (or, in the weaker formulation, L∞L^\infty) Riemannian metric on MM, smooth on M∖ΣM\setminus\Sigma, satisfies Rg≥Rg0R_g\geq R_{g_0} on M∖ΣM\setminus\Sigma, and has the same volume as g0g_0. The conjecture asserts that the singularities are removable and that the scalar-curvature rigidity conclusion holds: gg is isometric to g0g_0 (possibly after changing the smooth structure).

References

Progress summary

Refreshed
Claimed solved

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 Wloc1,pW^{1,p}_{\mathrm{loc}} regularity, p>np>n, and sufficiently large singular-set codimension; extra Lipschitz regularity yields smooth Einstein metrics.
  • Li and Mantoulidis (2021): continuous metrics with singular sets of codimension >2>2 extend, up to a bi-Lipschitz change of coordinates, to smooth Einstein metrics.
  • Cecchini, Frenck, and Zeidler (2024): for every n≥8n\ge 8, claimed L∞L^\infty 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 L∞L^\infty 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 n≥8n\ge 8, while several restricted continuous or L∞L^\infty variants have claimed positive results and the general problem remains open.

Sources

Solutions 0

No solutions have been posted yet.