pipette
ENEnglish

The spherical cap conjecture for immersed disks

Jos\'e M.Espinar

Preprint

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