Geometry and topology · Oct 6, 2026

A smooth surface metric with no local isometric immersion in ℝ3

Constructs a smooth positive-definite metric on (−1,1)2(-1,1)^2 for which no neighborhood of the origin admits a smooth isometric immersion into ℝ3. This answers the unrestricted smooth local isometric realization problem for surfaces negatively, even after shrinking the neighborhood.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources