Let M n be a compact oriented hypersurface of a unit sphere $\mathbb{S}^{n + 1} $ (1) with constant mean curvature H. Given an integer k between 2 and n − 1, we introduce a tensor ⌽ related to H and to the second fundamental form A of M, and show that if |⌽|2 ≤ B H,k and tr(⌽ 3) ≤ C n,k |⌽|3, where B H,k and C n,k are numbers depending only on H, n and k, then either |⌽|2 ≡ 0 or |⌽|2 ≡ B H,k . We characterize all M n with |⌽|2 ≡ B H,k . We also prove that if $$\left| A \right|^2 \leqslant 2\sqrt {k(n - k)}$$ and tr(⌽ 3) ≤ C n,k |⌽|3 then |A|2 is constant and characterize all M n with |A|2 in the interval $$\left[ {0,2\sqrt {k\left( {n - k} \right)} } \right] $$ . We also study the behavior of |⌽|2, with the condition additional tr(⌽ 3) ≤ C n,k |⌽|3, for complete hypersurfaces with constant mean curvature immersed in space forms and show that if sup M |⌽|2 = B H,k and this supremum is attained in M n then M n is an isoparametric hypersurface with two distinct principal curvatures of multiplicities k y n − k. Finally, we use rotation hypersurfaces to show that the condition on the trace of ⌽ 3 is necessary in our results; more precisely, for each integer k with 2 ≤ k ≤ n − 1 and $$H \geqslant 1/\sqrt {2n - 1} $$ there is a complete hypersurface M n in $\mathbb{S}^{n + 1} $ (1) with constant mean curvature H such that sup M |⌽|2 = B H,k , and this supremum is attained in M n , and which is not a product of spheres.
Read full abstract