Fischer-Marsden conjecture for hypersurfaces of the complex hyperbolic space (Q2693321)

For a Riemannian metric \(g\) and a \((0,2)\)-type symmetric bilinear tensor \(g^\ast\) on the \(n\)-dimensional compact orientable manifold \(M\), the linearization of the scalar curvature is given by \[ \mathcal L_gg^\ast=-\Delta_g(\mathrm{tr}_gg^\ast)+\operatorname{div}(\operatorname{div}(g^\ast))-g(g^\ast,\mathrm{Ric}_g) \] where div, \(\Delta_g\) and Ric denotes respectively the divergence, the negative Laplacian of \(g\) and Ricci tensor of \(M\). If \(\mathcal L_g^\ast\) denotes the formal adjoint of \(\mathcal L_g\), then for every smooth function \(\nu\) we have \[ \mathcal L_g^\ast(\nu)=-\Delta_g\nu\, g-\nu\, \mathrm{Ric}_g+\mathrm{Hess}_g\nu \] where \(\mathrm{Hess}_g\nu\) is the Hessian of \(\nu\). The equation \(\mathcal L^\ast_g(v)=0\) is called the \textit{Fischer-Marsden equation} and every pair \((g,\nu)\) enjoying it on \(M\) is said a solution of it. The Fischer-Marsden conjecture claims that ``a compact Riemannian manifold that admits a non-trivial solution of the Fischer-Marsden equation is necessarily an Einstein manifold''. In the paper, under review, this conjecture is studied for the real hypersurfaces in the complex hyperbolic spaces \(\mathbb CH^n\). It is actually well-known that [\textit{S. Montiel}, J. Math. Soc. Japan 37, 515--535 (1985; Zbl 0554.53021)] there does not exist any Einstein hypersurface in \(\mathbb CH^n\) when \(n\geq 3\) and thus, in this paper, the authors endeavor to verify that every solution of the Fischer-Marsden equation is trivial in this case. In this paper, it is shown that the Fischer-Marsden conjecture is correct for the real hypersurfaces in the complex hyperbolic spaces \(\mathbb CH^n\). It is also shown that if \(M\) is a tube of radius \(r\) over the totally geodesic \(\mathbb CH^k\) for \(k=1,\ldots,n-2\) and for \(n\geq 3\), then the Fischer-Marsden conjecture is correct on \(M\) in the complex hyperbolic space \(\mathbb CH^n\). Moreover, it is proved that if \(M\) is a contact real hypersurface in \(\mathbb CH^n\) with the tube of radius \(r\) over the totally geodesic totally real hyperbolic space \(\mathbb RH^n\) in \(\mathbb CH^n\), \(n\geq 3\), then the Fischer-Marsden conjecture holds on a tube of radius \(r\in [r_1, \infty)\), where \(r_1\) is less that the root \(r_0\) of the cubic equiation \[ (n-2)x^3-(2n-3)x-1=0 \] for \(x_0=\mathrm{coth}(2r_0)\) and \(x_1=\mathrm{coth}(2r_1)=\sqrt{\frac{2n-3}{n-2}}\).