Complete surfaces with negative extrinsic curvature in \(\mathbb M^2\times\mathbb R\) (Q465423)

Let \(M\) be a Riemannian surface with a pole and non-negative curvature. The authors prove the non-existence of complete vertical graphs in \(\mathbb M \times\mathbb R\), whose extrinsic curvature is bounded from above by a negative constant. This is a generalization of a well-known result of \textit{N. Efimov} [Mat. Sb., Nov. Ser. 64(106), 286--320 (1964; Zbl 0126.37402)].