On the volume and Gauss map image of spacelike submanifolds in de Sitter space form (Q556153)

The \(n\)-dimensional complete space-like submanifolds \(\psi: M^n\to S^{n+p}_p\) in de Sitter space form \(S^{n+p}_p= \{x\in \mathbb R^{n+p+1}_p:\langle x,x\rangle= 1\}\) are considered: here \(\mathbb R^{n+p+1}_p\) is the pseudo-Euclidean space with index \(p\). The main theorem states that if there exist \(\rho> 0\) and a fixed unit simple \((n+1)\)-vector \(a\in G^p_{n+1,p}\) such that the Gauss map \(g: M^n\to G^p_{n+1,p}\) satisfies \(\langle g,a\rangle\leq \rho\), then \(M^n\) is diffeomorphic to \(S^n\), and the volume of \(M^n\) satisfies \(\text{vol}(S^n)/\rho\leq \text{vol}(M^n)\leq \rho^n\text{vol}(S^n)\). Moreover, \(\text{vol}(M^n)= \rho^n\text{vol}(S^n)\) if and only if \(\rho= 1\), and \(\psi(M^n)\) is a totally geodesic \(n\)-sphere. Similar results for the particular case of hypersurfaces were obtained by \textit{J. Aledo} and \textit{L. J. Alías} [Proc. Am. Math. Soc. 130, No. 4, 1145--1151 (2002; Zbl 0999.53018)]. Some corollaries are made for the submanifolds of above with parallel mean curvature and bounded Gauss map, using results by \textit{R. Aiyama} [Tokyo J. Math. 18, No. 1, 81--90 (1995; Zbl 0842.53038)].