Трехмерные многообразия неотрицательной кривизны Риччи с краем

В статье дано полное доказательство анонсированной ранее теоремы о том, что трехмерное риманово многообразие с неотрицательной кривизной Риччи и непустым связным краем неотрицательной средней кривизны (или же, более обще, с $H\geqslant0$, $\operatorname{Ric}\geqslant-\min H^2$) является (ориентируемым или неориентируемым) телом с ручками.
Доказательство использует конечную триангулируемость субаналитических множеств и обобщенную лемму о предельном угле, позволяющие контролировать перестройки эквидистант края.
Рисунков: 3.
Библиография: 27 названий.