Einstein Hypersurfaces of Warped Product Spaces

Abstract

We consider Einstein hypersurfaces of warped products $I\times_ω\mathbb Q_ε^n,$ where $I\subset\mathbb R$ is an open interval and $\mathbb Q_ε^n$ is the simply connected space form of dimension $n\ge 2$ and constant sectional curvature $ε\in\{-1,0,1\}.$ We show that, for all $c\in\mathbb R$ (resp. $c>0$), there exist rotational hypersurfaces of constant sectional curvature $c$ in $I\times_ω\mathbb H^n$ and $I\times_ω\mathbb R^n$ (resp. $I\times_ω\mathbb S^n$), provided that $ω$ is nonconstant. We also show that the gradient $T$ of the height function of any Einstein hypersurface of $I\times_ω\mathbb Q_ε^n$ (if nonzero) is one of its principal directions. Then, we consider a particular type of Einstein hypersurface of $I\times_ω\mathbb Q_ε^n$ with non vanishing $T$ -- which we call ideal -- and prove that such a hypersurface $Σ$ has either precisely two or precisely three distinct principal curvatures everywhere. We show that, in the latter case, there exist such a $Σ$ for certain warping functions $ω,$ whereas in the former case, $Σ$ is necessarily of constant sectional curvature and rotational, regardless the warping function $ω.$ We also characterize ideal Einstein hypersurfaces of $I\times_ω\mathbb Q_ε^n$ with no vanishing angle function as local graphs on families of isoparametric hypersurfaces of $\mathbb Q_ε^n.$