On the volume and the Gauss map image of spacelike hypersurfaces in de Sitter space

Abstract

In this paper we prove that a complete spacelike hypersurface M n M^n in de Sitter space such that its image under the Gauss map is contained in a hyperbolic geodesic ball of radius ϱ \varrho is necessarily compact and its n n -dimensional volume satisfies ω n / c o s h ( ϱ ) ≤ v o l ( M ) ≤ ω n c o s h n ( ϱ ) \omega _n/\mathrm {cosh}(\varrho )\leq \mathrm {vol}(M)\leq \omega _n\mathrm { cosh}^{n}(\varrho ) , where ω n \omega _n denotes the volume of a unitary round n n -sphere. We also characterize the case where these inequalities become equalities. As an application of our result, we also conclude that Goddard’s conjecture is true under the assumption that the hyperbolic image of the hypersurface is bounded.