The spherical cap conjecture for immersed disks
In the authors' words
We prove that every smooth immersed disk in Euclidean three-space with nonzero constant mean curvature, regular up to the boundary and mapping its boundary diffeomorphically onto a circle, is an embedded spherical cap.
Main resultThe abstract does not state a limitation.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: Lemma 3.1 has also been formalized in Lean~4 with Mathlib, supplied as LEAN Resource. Comments are welcome