On nonnegatively curved hypersurfaces in \(\mathbb{H}^{n+1}\) (Q1627772)

In [Proc. Symp. Pure Math. 54, Part 3, 37--44 (1993; Zbl 0804.53083)], \textit{S. B. Alexander} and \textit{R. J. Currier} conjectured that, except for covering maps of equidistant surfaces in \(\mathbb{H}^3\), every nonnegatively curved immersed hypersurface in \(\mathbb{H}^{n+1}\) is properly embedded. They also sketched a proof of this conjecture for dimension \(n\geq3\) following a suggestion of Gromov, but the conjecture remained open in the case \(n=2\). In this paper, the authors present a complete proof of this conjecture in higher dimensions (\(n\geq3\)), as well as in the case when \(n=2\).