Warped products in real space forms (Q1880819)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Warped products in real space forms
scientific article

    Statements

    Warped products in real space forms (English)
    0 references
    1 October 2004
    0 references
    Let \(B\) and \(F\) be two Riemannian manifolds with metric \(g_B\) and \(g_F\), respectively, and \(f\neq0\) be a function on \(B\). For the product manifold \(B\times F\) with projection \(\pi: B\times F\to B\), \(\eta: B\times F\to F\), the warped product \(M= B\times_fF\) is the manifold \(B\times F\) equipped with the metric such that \[ \| X\|^2= \|\pi_*(X)\|^2+ f^2(\pi(x))\|\eta_*(X)\|^2 \] for any \(X\in T_x(M)\) so that \(g= g_B+ f^2 g_F\). For a submanifold \(N\) in a Riemannian manifold \(\overline M\) one denotes by \(\nabla\) and \(\overline\nabla\) the Levi-Cività connections of \(N\) and \(\overline M\), respectively. Then the Gauss equation at \(p\in N\) is \(\overline\nabla_X Y= \nabla_X Y+ h(X,Y)\) for \(X,Y\in T_pN\). The mean curvature vector \(\widetilde H\) is given by \(\overline H= {1\over n}\sum^n_{i=1} h(e_i, e_i)\), where \(\{e_1,\dots, e_n\}\) is an orthonormal frame of \(TN\). Now, assume that \(\phi: N_1\times_f N_2\to R^m(c)\) is an isometric immersion of a warped product \(N_1\times_f N_2\) into a Riemannian manifold of constant sectional curvature \(c\). Then, the following theorem holds: (1) The scalar curvature \(\tau\) of \(N_1\times_f N_2\) satisfies \[ \tau\leq {\Delta f\over n_1f}+ {n^2(n- 2)\over 2(n-1)} H^2+{1\over 2} (n+ 1)(n- 2)c, \] where \(n_1= \dim N_1\), \(n= \dim N_1\times N_2\). \(H^2\) is the squared mean curvature of \(\phi\) and \(\Delta\) is the Laplacian of \(N_1\). (2) If \(n\geq 2\), the equality sign holds automatically. (3) If \(n\geq 3\), the equality sign holds if and only if one of the following two cases occurs: (3a) \(N_1\times_f N_2\) is of constant sectional curvature \(c\) where the warping function \(f\) satisfies \(\Delta f= cf\) and \(N_1\times_f N_2\) is totally geodesic in \(R^m(c)\). (3) \(N_1\times_f N_2\) can be locally immersed as a rotational hypersurface in a totally geodesic submanifold \(R^{n+1}(c)\) of \(R^m(c)\), if \(H^2\) is positive.
    0 references
    0 references
    0 references
    0 references
    0 references
    global differential geometry
    0 references
    immersions
    0 references
    prescribed curvature
    0 references
    warped product
    0 references
    mean curvature
    0 references
    totally geodesic submanifold
    0 references
    0 references
    0 references
    0 references