The spherical cap conjecture for immersed disks
En palabras de los autores
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.
Resultado principalEl resumen no menciona limitaciones.
Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: Lemma 3.1 has also been formalized in Lean~4 with Mathlib, supplied as LEAN Resource. Comments are welcome