Abstract
We prove that complete submanifolds, on which the weak Omori-Yau maximum principle for the Hessian holds, with low codimension and bounded by cylinders of small radius must have points rich in large positive extrinsic curvature. The lower the codimension is, the richer such points are. The smaller the radius is, the larger such curvatures are. This work unifies and generalizes several previous results on submanifolds with nonpositive extrinsic curvature.
Similar content being viewed by others
1 Introduction
The results of this article show that isometric immersions \(f:M^m\rightarrow \tilde{M}^n\) with low codimension and nonpositive extrinsic curvature at any point must satisfy strong geometric conditions. The simplest result along this line is that a two-dimensional surface with nonpositive curvature in \(\mathbb {R}^3\) cannot be compact. This is a consequence of the well-known fact that at a point of maximum of a distance function on a compact surface in \(\mathbb {R}^3\), the Gaussian curvature must be positive. It turns out that the simple idea in the proof of this elementary fact has far-reaching generalizations for non necessarily compact submanifolds in fairly general ambient Riemannian manifolds.
One of the main tools to extend this idea to higher dimensions and codimensions is an algebraic lemma due to Otsuki [13], which will be stated in next section. On the other hand, a key ingredient to handle the noncompact case is a maximum principle due to Omori [11] and generalized by Pigola-Rigoli-Setti [14]. Using this principle, Alías-Bessa-Dajczer [2] obtained an estimate for the mean curvature of an isometric immersion \(f:M^m\rightarrow N^{n+l}=P^n\times \mathbb {R}^l\), under some assumptions on the manifold \(P^n\), whose projection onto the first factor is bounded, the so-called cylindrically bounded submanifolds. More recently, Alías-Bessa-Montenegro [3] have provided an estimate for the extrinsic curvatures of such submanifolds.
In the statement below and the sequel, \(\rho \) stands for the distance function to a given reference point in \(M^m\), \(\log ^{\left( j\right) }\) is the j-th iterate of the logarithm and \(t\gg 1\) means that t is sufficiently large. Also \(B_P[R]\) denotes the closed geodesic ball with radius R centered at a point o of \(P^n\) and \(\text{ inj }_P\left( o\right) \) is the injectivity radius of \(P^n\) at o. Finally, \(K_M\left( \sigma \right) \) denotes the sectional curvature of \(M^m\) at a point \(x\in M^m\) along the plane \(\sigma \subset T_xM\), and similarly for \(N^{n+l}\), \(K_f\left( \sigma \right) :=K_M\left( \sigma \right) -K_N\left( f_*\sigma \right) \) is the extrinsic sectional curvature of f at x along \(\sigma \) and \(K^\mathrm{{rad}}_P\) is the radial sectional curvatures of \(P^n\) with respect to o, that is, the sectional curvatures of tangent planes to \(P^n\) containing the vector \(\text{ grad }^Pr\), where r is the distance function to o in \(P^n\).
Theorem 1
(Alías-Bessa-Montenegro, [3]) Let \(f:M^m\rightarrow N^{n+l}=P^n\times \mathbb {R}^l\) be an isometric immersion with codimension \(p=n+l-m<m-l\) of a complete Riemannian manifold whose scalar curvature satisfies
for some constant \(A>0\) and some integer \(J\ge 1\). Assume that \(f\left( M\right) \subset B_P[R]\times \mathbb {R}^l\), with \(0<R<\min \left\{ \text{ inj }_P\left( o\right) ,\frac{\pi }{2\sqrt{b}}\right\} \), where \(\frac{\pi }{2\sqrt{b}}\) is replaced by \(+\infty \) if \(b\le 0\). If \(K^{\text{ rad }}_P\le b\) in \(B_P[R]\), then
where
Moreover,
Remark 1
The geometry of the Euclidean factor \(\mathbb {R}^l\) plays essentially no role in the proof of the above result. Indeed, estimate (1.3) remains true if the former is replaced by any Riemannian manifold \(Q^l\), which need not be even complete, whereas for (1.2) the only requirement is that \(K_Q\) be bounded from above (see comment below Theorem 2).
It is worth pointing out that the codimension restriction \(p<m-l\) cannot be relaxed. Actually, it implies that \(n>2\) and \(m>l+1\). In particular, in a three-dimensional ambient space \(N^3\), that is, \(n+l=3\), we have that \(l=0\), and therefore \(f\left( M\right) \subset B_P[R]\). In fact, the flat cylinder \(\mathbb {S}^1\left( R\right) \times \mathbb {R}\subset B_{\mathbb {R}^2}[R]\times \mathbb {R}\) shows that the restriction \(p<m-l\) is necessary.
On the other hand, estimates (1.2) and (1.3) are sharp. Indeed, the function \(C_b\) is well known: the geodesic sphere \(\partial B_{\mathbb {Q}_b^{m}}\left( R\right) \) of radius R in the simply connected complete space form \(\mathbb {Q}_b^{m}\) of constant sectional curvature b, with \(R<\frac{\pi }{2\sqrt{b}}\) if \(b>0\), is an umbilical hypersurface with principal curvatures being precisely \(C_b(R)\). It shows that its extrinsic and intrinsic sectional curvatures are constant and equal to \(C_b^2(R)\) and \(C_b^2(R)+b\), respectively, the latter following from the former by the Gauss equation. Then, for every \(n>2\) and \(l\ge 0\) we can consider \(M^{m-1+l}=\partial B_{\mathbb {Q}_b^m}(R)\times \mathbb {R}^l\) and take \(f:M^{m-1+l}\rightarrow B_{\mathbb {Q}_b^m}[R]\times \mathbb {R}^l\) to be the canonical isometric embedding. Therefore \(\sup _MK_f\) and \(\sup _MK_M\) are the constant extrinsic and intrinsic sectional curvatures \(C_b^2(R)\) and \(C_b^2(R)+b\) of \(\partial B_{\mathbb {Q}_b^m}(R)\), respectively.
The purpose of this paper is to provide a more accurate conclusion than the one of Theorem 1 by precising how much extrinsic (respectively, intrinsic) sectional curvature satisfying estimate (1.2) [(respectively (1.3)] appears depending on how low the codimension is. The idea is that the lower the codimension is, the more extrinsic (respectively, intrinsic) sectional curvature satisfying (1.2) [(respectively (1.3)] will appear. Our main result can be stated as follows.
Theorem 2
Let \(f:M^m\rightarrow N^{n+l}=P^n\times Q^l\) be an isometric immersion with codimension \(p=n+l-m<m-l\) of a complete Riemannian manifold whose radial sectional curvatures satisfy
for some constant \(A>0\) and some integer \(J\ge 1\). Assume that \(f(M)\subset B_P[R]\times Q^l\), with \(0<R<\min \left\{ \text{ inj }_P\left( o\right) ,\frac{\pi }{2\sqrt{b}}\right\} \), where \(\frac{\pi }{2\sqrt{b}}\) is replaced by \(+\infty \) if \(b\le 0\). If \(K^{\text{ rad }}_P\le b\) in \(B_P[R]\), then
Moreover,
The estimates of Theorem 2 are clearly better than the ones of Theorem 1. Actually, (1.5) and (1.6) reduce to (1.2) and (1.3), respectively, only in the case of the highest allowed codimension \(p=m-1-l\). On the other hand, although we make a stronger assumption on the curvature of \(M^m\), if (1.1) holds but (1.4) does not, then, since the scalar curvature is an average of sectional curvatures, we have that \(\sup _MK_M=+\infty \), and hence (1.3) is trivially satisfied. Moreover, \(K_P\) is clearly bounded in \(B_P[R]\), thus if also \(K_Q\) is bounded from above, we conclude that \(\sup _MK_f=+\infty \) by the Gauss equation, so that (1.2) also holds trivially in this case. Finally, note that the same example considered below Theorem 1 shows that our estimates (1.5) and (1.6) are also sharp.
Remark 2
Theorem 2 is a special case of the much stronger result, Theorem 12, given in Sect. 3.
Let \(f:M^m\rightarrow N^{n+l}=P^n\times Q^l\) be an isometric immersion. Recall that f is said to be cylindrically bounded if there exists a (closed) geodesic ball \(B_P[R]\) of \(P^n\), centered at a point \(o\in P^n\) with radius \(R>0\), such that
Otherwise, we say that f is cylindrically unbounded. Denote by \(R_f\) the extrinsic radius of a cylindrically bounded isometric immersion f (from o), that is, the smallest R for which (1.7) holds. As a consequence of Theorem 2, we have the following versions of the extrinsic radius results of Alías-Bessa-Montenegro [3].
Corollary 1
Let \(f:M^m\rightarrow N^{n+l}=P^n\times Q^l\) be an isometric immersion with codimension \(p=n+l-m<m-l\) of a complete Riemannian manifold whose radial sectional curvatures satisfy (1.4). Assume that \(P^n\) is a complete Riemannian manifold with a pole and radial sectional curvatures \(K^{\text{ rad }}_P\le b\le 0\). If f is cylindrically bounded, then
and the extrinsic radius satisfies
In particular, if
then f is cylindrically unbounded.
Corollary 2
Let \(f:M^m\rightarrow N^{n+l}=\mathbb {S}^n\times Q^l\) be an isometric immersion with codimension \(p=n+l-m<m-l\) of a complete Riemannian manifold whose radial sectional curvatures satisfy (1.4). If
then
On the other hand, a sharp lower bound for the Ricci curvature of bounded complete Euclidean hypersurfaces was obtained by Leung [8] and extended by Veeravalli [21] to nonflat ambient space forms.
Theorem 3
(Veeravalli, [21]) Let \(f:M^n\rightarrow \mathbb {Q}_b^{n+1}\) be a complete hypersurface with sectional curvature bounded away from \(-\infty \) such that \(f\left( M\right) \subset B_{\mathbb {Q}_b^{n+1}}[R]\), with \(R<\frac{\pi }{2\sqrt{b}}\) if \(b>0\). Then
where \(\text{ Ric }_M\) is the Ricci curvature of \(M^n\).
Theorem 2 also gives an improvement of the above result, where we consider hypersurfaces of much more general ambient spaces and obtain that estimate (1.10) actually holds for the scalar curvature. This shows the unifying character of our result.
Corollary 3
Let \(f:M^n\rightarrow P^{n+1}\) be a complete hypersurface whose radial sectional curvatures satisfy (1.4). Assume that \(f\left( M\right) \subset B_P[R]\), with R as in Theorem 2. If \(K^{\text{ rad }}_P\le b\) in \(B_P[R]\), then
Again observe that for the geodesic sphere \(M^n=\partial _{\mathbb {Q}_b^{n+1}}\left( R\right) \) of radius R in \(\mathbb {Q}_b^{n+1}\) the above inequality is in fact an equality. Corollary 3 leads to similar extrinsic radius results to Corollaries 1 and 2 and, in particular, a criterion of unboundness:
Corollary 4
Let \(f:M^n\rightarrow P^{n+1}\) be a complete hypersurface whose radial sectional curvatures satisfy (1.4). Assume that \(P^{n+1}\) is a complete Riemannian manifold with a pole and sectional curvatures \(K_P\ge c\) and \(K^{\text{ rad }}_P\le b\le 0\). If f(M) is bounded, then \(\sup _Ms_M>c-b\) and
In particular, if \(\sup _Ms_M\le c-b\), then \(f\left( M\right) \) is unbounded.
Corollary 5
Let \(f:M^n\rightarrow \mathbb {S}^{n+1}\) be a complete hypersurface whose radial sectional curvatures satisfy (1.4). If \(\sup _Ms_M\le 1\), then
Finally, we also generalize in the same spirit of Theorem 2 the second part of the work of Alías-Bessa-Montenegro [3], concerning proper complete cylindrically bounded submanifolds with the norm of the second fundamental form with certain controlled growth.
Theorem 4
Let \(f:M^m\rightarrow N^{n+l}=P^n\times Q^l\) be a proper isometric immersion with codimension \(p=n+l-m<m-l\) of a complete Riemannian manifold. Assume that \(f\left( M\right) \subset B_P[R]\times Q^l\), with R as in Theorem 2. If \(K^{\text{ rad }}_P\le b\) in \(B_P[R]\), \(Q^l\) is a complete Riemannian manifold with a pole and
where \(\alpha \) is the second fundamental form of f and \(\varsigma :\left[ 0,+\infty \right) \rightarrow \mathbb {R}\) is a positive function satisfying \(\int _0^{+\infty }1/\varsigma =+\infty \), then (1.5) and (1.6) hold.
For hypersurfaces, the growth rate of the norm of the second fundamental form can be improved as follows.
Theorem 5
Let \(f:M^n\rightarrow N^{n+1}=P^{n+1-l}\times Q^l\text{, } n-l>1\), be a properly immersed complete hypersurface with \(f\left( M\right) \subset B_P[R]\times Q^l\), with R as in Theorem 2. Suppose that \(N^{n+1}\) satisfies the assumptions as in Theorem 4 and the second fundamental form \(\alpha \) satisfies
where \(\varsigma :\left[ 0,+\infty \right) \rightarrow \mathbb {R}\) is a positive function satisfying
2 Preliminaries
Our main tools to build the proof of Theorem 2 are Otsuki’s Lemma, the Omori-Yau maximum principle and the Hessian comparison theorem, which for the sake of organization will be presented in two subsections.
2.1 Otsuki’s Lemma
Throughout this subsection, \(V^n\) and \(W^p\) will be real vector spaces of dimensions n and p, respectively, endowed with positive definite inner products. For a symmetric bilinear form \(\alpha :V^n\times V^n\rightarrow W^p\), we denote
for any pair of vectors \(X,\,Y\in V^n\). If \(\sigma \) is a two-dimensional subspace of \(V^n\), we define
where \(\left\{ X,Y\right\} \) is any basis of \(\sigma \) and \(\left\| X\wedge Y\right\| ^2=\left\| X\right\| ^2\left\| Y\right\| ^2-\langle X,Y\rangle ^2\). Given an isometric immersion \(f:M^m\rightarrow \tilde{M}^n\) with second fundamental form \(\alpha \), then for any \(x\in M^m\) and any plane \(\sigma \subset T_xM\) the Gauss equation yields
A basic tool in this article is the following algebraic lemma, known as Otsuki’s Lemma (for a proof see, for instance, [7]).
Lemma 1
Let \(\alpha :V^n\times V^n\rightarrow W^p\) be a symmetric bilinear form. Suppose there exists a real number \(\lambda \ge 0\) such that
-
(i)
\(K_{\alpha }\left( \sigma \right) \le \lambda \) for every plane \(\sigma \subset V^n\),
-
(ii)
\(\left\| \alpha \left( X,X\right) \right\| >\sqrt{\lambda }\) for every unit vector \(X\in V^n\).
Then \(p\ge n\).
Given a symmetric bilinear form \(\alpha :V^n\times V^n\rightarrow W^p\), a vector \(X\in V^n\) is said to be an asymptotic vector of \(\alpha \) if
In the next statement and the sequel, we write \(K_{\alpha }\le 0\) (respectively, \(K_{\alpha }<0\)) as a shorthand for \(K_{\alpha }\left( \sigma \right) \le 0\) (respectively, \(K_{\alpha }\left( \sigma \right) <0\)) for any plane \(\sigma \subset V^n\).
Corollary 6
Let \(\alpha :V^n\times V^n\rightarrow W^p\) be a symmetric bilinear form.
-
(i)
If \(K_{\alpha }\le 0\), then any subspace \(S\subset V^n\), with \(\dim S>p\), contains a nonzero asymptotic vector of \(\alpha \).
-
(ii)
If \(K_{\alpha }<0\), then \(p\ge n-1\).
Proof
-
(i) This is just an equivalent way of stating Lemma 1 for \(\lambda =0\).
-
(ii) If there are no nonzero asymptotic vectors of \(\alpha \), the result follows from Lemma 1. Suppose \(p<n-1\), and assume that there exists a nonzero vector \(X_0\in V^n\) such that \(\alpha \left( X_0,X_0\right) =0\). Denote by U the orthogonal complement to \(X_0\) in \(V^n\), and consider the linear map \(B_{X_0}:U\rightarrow W^p\) defined by \(B_{X_0}\left( Y\right) =\alpha \left( X_0,Y\right) \). Since \(\dim U=n-1>p\), there exists a nonzero vector \(Y_0\in U\) such that \(B_{X_0}\left( Y_0\right) =0\). This fact, together with \(\alpha \left( X_0,X_0\right) =0\), contradicts the assumption.
\(\square \)
The following result is a direct consequence of Corollary 6-(ii).
Theorem 6
Let \(f:M^n\rightarrow \tilde{M}^{n+p}\) be an isometric immersion. Assume that there exists a point \(x_0\in M^n\) and a subspace \(V_{x_0}\subset T_{x_0}M\) with dimension d such that \(K_f\left( \sigma \right) <0\) along every plane \(\sigma \subset V_{x_0}\). Then \(p\ge d-1\).
The preceding inequality is sharp, as shown, e.g., by the n-dimensional Clifford torus in \(\mathbb {S}^{2n-1}\). Theorem 6 comes from a purely algebraic restriction on the “codimension” p of symmetric bilinear forms \(\alpha :V^n\times V^n\rightarrow W^p\) with \(K_{\alpha }<0\), which gives its punctual nature. If, on the other hand, \(K_f\left( \sigma \right) \le 0\) in the above statement, it is possible to use part (i) of Corollary 6 to obtain the stronger restriction \(p\ge d\), provided that the subspace \(V_{x_0}\) is free of asymptotic directions. Actually, this is a central idea in the study of the global implications of nonpositive extrinsic curvature in low codimension. The presence of a certain amount of nonpositive extrinsic sectional curvature everywhere together with some global assumption that can guarantee the existence of points without asymptotic directions must imply codimension restrictions. For compact Riemannian manifolds, for instance, one obtains the following generalization of a result for the flat case due to Tompkins [20].
Theorem 7
Let \(M^n\) be a compact Riemannian manifold such that at any point \(x\in M^n\) there exists a subspace \(V_x\) of \(T_xM\) with dimension d such that \(K_M\left( \sigma \right) \le 0\) for every plane \(\sigma \subset V_x\). If \(f:M^n\rightarrow \mathbb {R}^{n+p}\) is an isometric immersion, then \(p\ge d\).
Proof
Since \(M^n\) is compact, it is well known that there exist a point \(x_0\in M^n\) and a normal vector \(\xi \in N_fM\left( x_0\right) \) such that the shape operator \(A_\xi \) is positive definite, and in particular \(\alpha _{x_0}\left( X,X\right) \ne 0\) for every nonzero vector \(X\in T_{x_0}M\). Furthermore, \(K_{\alpha _{x_0}}\left( \sigma \right) \le 0\) for every plane \(\sigma \subset V_{x_0}\) by the Gauss equation. The statement then follows from Corollary 6-(i). \(\square \)
For the noncompact case, on the other hand, we have the following immediate consequence of our Corollary 1.
Corollary 7
Let \(f:M^n\rightarrow P^{n+p}\) be an isometric immersion of a complete Riemannian manifold whose radial sectional curvatures satisfy (1.4) into a Hadamard manifold. Assume that at any point \(x\in M^n\) there exists a subspace \(V_x\) of \(T_xM\) with dimension d such that \(K_f\left( \sigma \right) \le 0\) for every plane \(\sigma \subset V_x\). If \(p<d\), then \(f\left( M\right) \) is unbounded.
2.2 Omori-Yau maximum principle and Hessian comparison theorem
The Omori-Yau maximum principle for the Hessian is said to hold on a given Riemannian manifold \(M^n\) if, for any function \(g\in C^2\left( M\right) \) with \(g^*=\sup _Mg<+\infty \), there exists a sequence of points \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) in \(M^n\) satisfying:
-
(i)
\(g\left( x_k\right) >g^*-\frac{1}{k}\),
-
(ii)
\(\left\| \text{ grad }^Mg\left( x_k\right) \right\| <\frac{1}{k}\),
-
(iii)
\(\text{ Hess }^Mg\left( x_k\right) \left( X,X\right) \le \frac{1}{k}\langle X,X\rangle \) for all \(X\in T_{x_k}M\).
Such a sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) satisfying (i)-(iii) above is called an Omori-Yau Hessian sequence for g. One says that the Omori-Yau maximum principle holds if the condition on the Hessian is replaced by a similar one on the Laplacian, namely, if
-
(iii)
\(\Delta ^Mg\left( x_k\right) \le \frac{1}{k}\).
In this case, \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) is called an Omori-Yau sequence for g.
The following is a function theoretic characterization of Riemannian manifolds that satisfy the Omori-Yau maximum principle for the Hessian. For the proof of this, as well as of the other results related to the Omori-Yau maximum principle in this subsection, we refer to [14].
Theorem 8
Assume that the Riemannian manifold \(M^n\) supports a nonnegative function \(\gamma \in C^2\left( M\right) \) satisfying the following conditions:
-
(a)
\(\gamma \) is proper, that is, \(\gamma \left( x\right) \rightarrow +\infty \) as \(x\rightarrow \infty \),
-
(b)
\(\left\| \text{ grad }^M\gamma \right\| \le c\sqrt{\gamma }\) outside a compact subset of \(M^n\) for some constant \(c>0\),
-
(c)
\(\text{ Hess }^M\gamma \le d\sqrt{\gamma F\left( \sqrt{\gamma }\right) }\langle \,,\,\rangle \) outside a compact subset of \(M^n\), for some \(d>0\) and some \(F\in C^\infty \left( \left[ 0,+\infty \right) \right) \) that satisfies:
$$\begin{aligned} \text{(i) } F\left( 0\right) >0, \text{(ii) } F'\left( t\right) \ge 0 \text{ on } \left[ 0,+\infty \right) , \text{(iii) } 1/\sqrt{F\left( t\right) }\notin L^1\left[ 0,+\infty \right) . \end{aligned}$$
Then, the Omori-Yau maximum principle for the Hessian holds on \(M^n\).
We point out that, although completeness of \(M^n\) is not required in Theorem 8, it is a consequence of the assumptions (a) and (b). Examples of functions satisfying the requirements in Theorem 8 are given by
where \(A>0\) is a constant and \(J\ge 1\) is an integer.
Sometimes, for the applications of the maximum principle as in our paper, the following weaker version is enough.
The weak Omori-Yau maximum principle for the Hessian is said to hold on a Riemannian manifold \(M^n\) if for any function \(g\in C^2\left( M\right) \) with \(g^*=\sup _Mg<+\infty \) there exists a sequence of points \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) satisfying:
-
(i)
\(g\left( x_k\right) >g^*-\frac{1}{k}\),
-
(ii)
\(\text{ Hess }^Mg\left( x_k\right) \left( X,X\right) \le \frac{1}{k}\langle X,X\rangle \) for all \(X\in T_{x_k}M\).
A sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) satisfying (i) and (ii) is called a weak Omori-Yau Hessian sequence for g.
Riemannian manifolds that satisfy the weak Omori-Yau maximum principle for the Hessian are characterized as follows.
Theorem 9
Assume that the Riemannian manifold \(M^n\) supports a nonnegative function \(\gamma \in C^2\left( M\right) \) satisfying the following conditions:
-
(a)
\(\gamma \) is proper,
-
(b)
\(\text{ Hess }^M\gamma \le d\sqrt{\gamma F\left( \sqrt{\gamma }\right) }\langle \,,\,\rangle \) outside a compact subset of \(M^n\), for some \(d>0\) and some \(F\in C^\infty \left( \left[ 0,+\infty \right) \right) \) as in Theorem 8.
Then, the weak Omori-Yau maximum principle for the Hessian holds on \(M^n\).
Accordingly, it is said that the weak Omori-Yau maximum principle holds if (ii) is replaced by the condition
-
(ii)
\(\Delta ^Mg\left( x_k\right) \le \frac{1}{k}\),
in which case \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) is called a weak Omori-Yau sequence for g.
The function theoretic approach to the Omori-Yau Maximum Principle given in Theorem 8 allows one to apply it in different situations, where the choices of \(\gamma \) and F are suggested by the geometric setting. For instance, one has the following special case, where as previously agreed \(\rho \) stands for the distance function on a Riemannian manifold \(M^n\) to a fixed point.
Theorem 10
Let \(M^n\) be a complete noncompact Riemannian manifold. Assume that \(K^{\text{ rad }}_M\ge -F\left( \rho \right) \), where \(F\in C^\infty \left[ 0,+\infty \right) \) satisfies the conditions listed in Theorem 8 and is even at the origin, that is, its derivatives satisfy \(F^{\left( 2k+1\right) }\left( 0\right) =0\) for \(k\ge 0\). Then, the Omori-Yau maximum principle for the Hessian holds on \(M^n\).
Remark 3
If we only assume that \(\text{ Ric }_M\left( \text{ grad }^M\rho \right) \ge -F\left( \rho \right) \), then the conclusion is that the Omori-Yau maximum principle holds on \(M^n\).
The last ingredient for the proof of Theorem 2 is the following version of the well-known Hessian comparison theorem given in [16].
Theorem 11
Let \(M^n\) be a Riemannian manifold and \(o,x\in M^n\) be such that there is a minimizing geodesic \(\gamma \) joining o and x, and let \(\rho \) be the distance function to o. Suppose that \(K^{\text{ rad }}_M\le b\) along \(\gamma \). If \(b>0\) assume \(\rho \left( x\right) <\frac{\pi }{2\sqrt{b}}\). Then, we have
along \(\gamma \).
3 Proofs
Let \(f:M^m\rightarrow \tilde{M}^n\) be an isometric immersion between Riemannian manifolds. Given a function \(h\in C^\infty (\tilde{M})\) we set \(g=h\circ f\in C^\infty (M)\). Since
for every \(x\in M^n \text{ and } X\in T_xM\), we obtain
where \((\,)^T\) is the tangent component. An easy computation using the Gauss formula gives the well-known relation (see e.g. [6]):
for all \(x\in M^n \text{ and } X,\,Y\in T_xM\), where \(\alpha _x\) stands for the second fundamental form of f at x. In particular, taking traces with respect to an orthonormal frame \(\left\{ e_1,\dots ,e_m\right\} \) in \(T_xM\) yields
where \(H(x)=\frac{1}{n}\sum _{i=1}^m\alpha _x(e_i,e_i)\) is the mean curvature vector of f at x.
Given an isometric immersion \(f:M^m\rightarrow N^{n+l}=P^n\times Q^l\), we denote by \(\pi _P:N^{n+l}\rightarrow P^n\) and \(\pi _Q:N^{n+l}\rightarrow Q^l\) the projections onto \(P^n\) and \(Q^l\), respectively. We write (y, z) for points in \(N^{n+l}=P^n\times Q^l\) and by abuse of notation denote \(y=\pi _P\circ f \text{ and } z=\pi _Q\circ f\).
Moreover, set
where \(t>0 \text{ if } b\le 0 \text{ and } 0<t<\frac{\pi }{2\sqrt{b}} \text{ if } b>0\). Hence \(\psi _b''=C_b\psi _b'\). We define \(h\in C^\infty \left( N\right) \) by \(h=\psi _b\circ r\circ \pi _P\), where r is the distance function on \(P^n\) to the reference point o. We call \(g=h\circ f\) the modified radial function of f.
3.1 Proofs of Theorem 2 and corollaries
As mentioned in Remark 2, Theorem 2 is a consequence of the following stronger result. Here the algebraic codimension p(x) of an isometric immersion \(f:M^m\rightarrow \tilde{M}^n\) at \(x\in M^m\) is the dimension of its first normal space \(N_1(x)\) and a sequence of real numbers \(\left\{ p_k\right\} _{k\in \mathbb {N}}\) is said to be strictly bounded from above by another \(\left\{ q_k\right\} _{k\in \mathbb {N}}\) if \(p_k<q_k\) for all \(k\in \mathbb {N}\).
Theorem 12
Let \(f:M^m\rightarrow N^{n+l}=P^n\times Q^l\) be an isometric immersion. Assume that \(f\left( M\right) \subset B_P[R]\times Q^l\), with \(0<R<\min \left\{ \text{ inj }_P\left( o\right) ,\frac{\pi }{2\sqrt{b}}\right\} \), where \(\frac{\pi }{2\sqrt{b}}\) is replaced by \(+\infty \) if \(b\le 0\). If \(K^{\text{ rad }}_P\le b\) in \(B_P[R]\), then
for all weak Omori-Yau Hessian sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) for the modified radial function of f with algebraic codimension sequence \(\left\{ p\left( x_k\right) \right\} _{k\in \mathbb {N}}\) strictly bounded from above by \(\left\{ \dim f_*T_{x_k}M\cap T_{y\left( x_k\right) }P\right\} _{k\in \mathbb {N}}\). Furthermore,
Proof
By the assumption that \(f\left( M\right) \subset B_P[R]\times Q^l\), the modified radial function g satisfies
where we write \(\left( \,\right) ^*=\sup _M\left( \,\right) \). Let \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) be a weak Omori-Yau Hessian sequence for g, that is,
-
(i)
\(g\left( x_k\right) >g^*-\frac{1}{k}\),
-
(ii)
\(\text{ Hess }^Mg\left( x_k\right) \le \frac{1}{k}\langle ,\rangle .\)
For each \(k\in \mathbb {N}\), take a tangent subspace \(W_k\subset T_{x_k}M\) such that \(\dim V_k>p_k\), where \(V_k=f_*^{-1}\left( f_*W_k\cap T_{y_k}P\right) \) and for simplicity of notation we write \(p_k=p\left( x_k\right) \), \(y_k=y\left( x_k\right) \). If the algebraic codimension sequence \(\left\{ p_k\right\} _{k\in \mathbb {N}}\) is strictly bounded from above by \(\left\{ \dim f_*T_{x_k}M\cap T_{y_k}P\right\} _{k\in \mathbb {N}}\), then at least \(W_k=T_{x_k}M\) satisfies the latter condition, so that the sets on the left-hand side of inequalities (3.3) and (3.4) are nonempty. The idea of the argument is to use (ii) above and (3.2) to estimate \(\left\| \alpha _{x_k}\left( X,X\right) \right\| \) for \(X\in V_k\), and then apply Lemma 1 to \(\alpha _{x_k}|_{V_k\times V_k}\). This will imply the estimates in the statement. By (3.1), we have
where \(\left( \,\right) ^\perp \) denotes the normal component. Note that
Since h only depends on \(P^n\), we obtain from (3.2) and (3.5) that
where \(X_P=y_*X\). Observe that
Since \(\psi _b''=C_b\psi _b'\), the last two equations yield
Theorem 11 gives
where \(Y\in T_yP\) and here \(Y^\perp \) is defined by the orthogonal decomposition
Now, since \(X_P=f_*X\) for any \(X\in V_k\), we obtain from (3.6) and (3.7) that
where \(r_k=r\left( y_k\right) \). Hence, by (ii)
for every \(x_k\) and every \(X\in V_k\), and therefore,
Since \(g\left( x_k\right) =\psi _b\left( r_k\right) \) approaches \(g^*=\psi _b\left( r^*\right) >0\) by (i) and \(\psi _b|_{\left[ 0,R\right] }\) is a homeomorphism onto its image (recall that \(R<\frac{\pi }{2\sqrt{b}}\) if \(b>0\)), it follows that \(r_k\) goes to \(r^*>0\), and in particular \(\psi _b'\left( r_k\right) \rightarrow \psi _b'\left( r^*\right) >0\). Thus,
for k sufficiently large and, as \(\dim V_k>p_k\), we can apply Lemma 1 to
We obtain a plane \(\sigma _k\subset V_k\) such that, by the Gauss equation,
In particular,
but since the subspaces \(W_k\subset T_{x_k}M\) satisfying \(\dim f_*\left( W_k\right) \cap T_{y_k}P>p_k\) have been taken arbitrarily, we have indeed
Then (3.3) follows by letting \(k\rightarrow +\infty \). We will now compare the sectional curvatures \(K_M\left( \sigma _k\right) \text{ and } K_N\left( f_*\sigma _k\right) \). Since \(\sigma _k\subset V_k\perp T_{z_k}Q,\ z_k=z\left( x_k\right) \), then
Then, we have that
and (3.4) follows by a similar argument. \(\square \)
Remark 4
That the maximum and minimum on the left-hand side of (3.3) (and similarly for (3.4)) are indeed attained can be argued as follows. At each \(x=x_k\), the extrinsic sectional curvature \(K_f=K_{\alpha _x}:G_2\left( T_xM\right) \rightarrow \mathbb {R}\) is a continuous function on the Grassmannian \(G_2\left( T_xM\right) \) of (nonoriented) planes in \(T_xM\), and by compactness attains its maximum and minimum. Since \(G_2\left( W\right) \) is a compact subset of \(G_2\left( T_xM\right) \) for any subspace \(W\subset T_xM\), so does the restriction \(K_f|_W\). Let
be a sequence such that
as \(j\rightarrow +\infty \). After passing to a subsequence we can without loss of generality assume that all \(W_j\) have the same dimension d and converge to some \(W_\infty \in G_d\left( T_xM\right) \), where \(G_d\left( T_xM\right) \) denotes the Grassmannian of (nonoriented) d-planes in \(T_xM\). Moreover, since \(f_*\) is an isomorphism onto its image, it is clear that the function \(W\in G_d\left( T_xM\right) \mapsto \dim f_*W\cap T_{y\left( x\right) }P\) is upper semicontinuous, and so
or equivalently, \(W_\infty \in \mathcal {W}\). Hence,
Finally, a straightforward contradiction argument allows to conclude that
and therefore
Proof of Theorem 2
According to Theorem 10, the curvature decay in the statement is sufficient to conclude that the Omori-Yau maximum principle for the Hessian holds on \(M^m\). Thus there exists in \(M^m\) an Omori-Yau Hessian sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) for the modified radial function of f, whose algebraic codimension sequence \(\left\{ p_k\right\} _{k\in \mathbb {N}}\) satisfies
that is, \(\left\{ p_k\right\} _{k\in \mathbb {N}}\) is strictly bounded from above by \(\left\{ \dim f_*T_{x_k}M\cap T_{y_k}P\right\} \) as required in Theorem 12. Moreover, given a subspace \(W\subset T_{x_k}M\) with \(\dim W>p+l\), it is clear that \(\dim f_*W\cap T_{y_k}P>p\ge p_k\). In other words,
and in particular
Therefore,
and (1.5) follows immediately from (3.3). Similarly, (1.6) follows from (3.4). \(\square \)
Proof of Corollary 1
Follows immediately from (1.5) observing that \(\inf C_b=\sqrt{-b}\) for \(b\le 0\). \(\square \)
Remark 5
If, in addition, \(K_P\ge c\) in Corollary 1, then (1.6) provides
as a criterion of cylindrical unboundness. In particular, when \(P^{n+p}\) is either the Euclidean space \(\mathbb {R}^{n+p}\) or the hyperbolic space \(\mathbb {H}^{n+p}\) and \(M^n\) is a complete Riemannian manifold [(whose radial sectional curvatures satisfy (1.4)] in which at any point \(x\in M^n\) there exists a subspace \(V_x\) of \(T_xM\) with dimension d such that \(K_M(\sigma )\le 0\) for every plane \(\sigma \subset V_x\), we conclude that every isometric immersion \(f:M^n\rightarrow P^{n+p}\) with codimension \(p<d\) is unbounded (compare with Corollary 7).
Proof of Corollary 3
Here \(p=1\) and \(l=0\), so that (1.6) in Theorem 2 yields
Since clearly \(s_M\ge \min K_M\) at each point, the corollary follows. \(\square \)
3.2 Proofs of Theorems 4 and 5
Proof of Theorem 4
Again consider the modified radial function \(g:M^m\rightarrow \mathbb {R}\). Since \(\pi _P\left( f\left( M\right) \right) \subset B_P[R]\), we have that \(g^*\le \psi _b\left( R\right) \). Let \(\phi :M^m\rightarrow \left[ 0,+\infty \right) \) be given by
where | | stands for the distance function to the pole of \(Q^l\). Since f is proper and \(\pi _P\left( f\left( M\right) \right) \subset B_P[R]\), then the function \(\left| z\left( x\right) \right| \) satisfies \(\left| z\left( x\right) \right| \rightarrow +\infty \) as \(x\rightarrow \infty \). By hypothesis we have that \(\int _0^{+\infty }1/\varsigma \left( s\right) \mathrm{d}s=+\infty \) so that \(\phi \left( x\right) \rightarrow +\infty \) as \(x\rightarrow \infty \). We let \(x_0\in M^m\) with \(\pi _P\left( f\left( x_0\right) \right) \ne o\) and set
Thus \(g_k\left( x_0\right) >0\), and since \(g^*\le \psi _b\left( R\right) <+\infty \) and \(\phi \left( x\right) \rightarrow +\infty \) as \(x\rightarrow \infty \), we have that \(\limsup _{x\rightarrow \infty }g_k\left( x\right) \le 0\). Hence \(g_k\) attains a positive absolute maximum at a point \(x_k\in M^m\). This procedure yields a sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) such that (passing to a subsequence if necessary) \(g\left( x_k\right) \) converges to \(g^*\). First suppose that \(x_k\rightarrow \infty \) as \(k\rightarrow +\infty \). Since \(g_k\) attains a maximum at \(x_k\), we have \(\text{ grad }^Mg_k\left( x_k\right) =0\) and \(\text{ Hess }^Mg_k\left( x_k\right) \left( X,X\right) \le 0\) for every \(X\in T_{x_k}M\). This yields
and
Since \(\phi \left( x\right) =\zeta \left( z\left( x\right) \right) \), where \(\zeta \left( z\right) =\exp \left( \int _0^{\left| z\right| }\mathrm{d}s/\varsigma \left( s\right) \right) \text{, } z\in Q^l\), from (3.2) we have that
for all vectors \(X\in T_xM\), where \(X_Q=z_*X\). Also observe that
and then
Thus, for every \(X\in T_xM\) such that \(X_Q=0\), it follows from (3.10) that
Therefore, by (1.13) we obtain that
for every \(X\in T_xM\) with \(X_Q=0\). Given \(W_{x_k}\subset T_{x_k}M\) with \(\dim W_{x_k}>p+l\), we have that the subspace \(V_k=f_*^{-1}\left( f_*W_{x_k}\cap T_{y_k}P\right) \) has \(\dim V_{x_k}\ge \dim W_{x_k}-l>p\) and \(f_*\left( V_k\right) \) is orthogonal to \(T_{z_k}Q\). Then, \(X_Q=0\) for every \(X\in V_{x_k}\), and from (3.9) and (3.12) we get that
for every \(X\in V_{x_k}\). Moreover, using Theorem 11, we also have here that
for every \(X\in V_{x_k}\), since \(X_P=X\). Therefore, we obtain that
for every \(x_k\) and every \(X\in V_{x_k}\), where as usual \(r_k=r\left( y_k\right) \). Hence
with
for k sufficiently large. Reasoning now as in the last part of the proof of Theorem 12, there exists a plane \(\sigma _k\subset V_{x_k}\) such that, by the Gauss equation
and (1.5) and (1.6) follow by letting \(k\rightarrow +\infty \) as in the last part of the proof of Theorem 12. To finish the proof of Theorem 4, we need to consider the case where the sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\subset M^m\) remains in a compact set. In that case, passing to a subsequence if necessary, we may assume that \(x_k\rightarrow x_\infty \in M^m\) and g attains its absolute maximum at \(x_\infty \). Thus \(\text{ Hess }^Mg\left( x_\infty \right) \left( X,X\right) \le 0\) for all \(X\in T_{x_\infty }M\). In particular, if follows from (3.13) that for every \(X\in V_{x_\infty }\)
Therefore
By applying Lemma 1 to \(\alpha |_{V_{x_\infty }\times V_{x_\infty }}:V_{x_\infty }\times V_{x_\infty }\rightarrow N_fM\left( x_\infty \right) \) and reasoning again as in the last part of the proof of Theorem 12, we have that there exists a plane \(\sigma _\infty \subset V_{x_\infty }\) such that, by the Gauss equation,
and (1.5) follows. Again (1.6) follows as in the last part of the proof of Theorem 12. \(\square \)
Proof of Theorem 5
We proceed as in the proof of Theorem 4 to obtain a sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\) such that \(g\left( x_k\right) \) converges to \(g^*\) and satisfying
and
Recall that [(see (3.11)]
Let us first consider the case where \(x_k\rightarrow \infty \) as \(k\rightarrow +\infty \). From (3.14) and (3.16) we know that
Since f is proper and \(\pi _P\left( f\left( M\right) \right) \subset B_P(R)\), then \(\left| z_k\right| \rightarrow +\infty \) as \(k\rightarrow +\infty \). Therefore, taking into account that \(\limsup _{t\rightarrow +\infty }1/\varsigma \left( t\right) <+\infty \), we obtain from here that
Observe that
where \(y=y\left( x\right) \). Therefore,
and making \(k\rightarrow +\infty \) here we obtain that
which implies that
for k sufficiently large. As in the proof of Theorem 4, since \(n-l>1\), given \(W_{x_k}\subset T_{x_k}M\) with \(\dim W_{x_k}>l+1\), we have that \(V_k=f_*^{-1}\left( f_*W_{x_k}\cap T_{y_k}P\right) \) has \(\dim V_{x_k}\ge \dim W_{x_k}-l>1\) and \(f_*\left( V_k\right) \) is orthogonal to \(T_{z_k}Q\). Then, using Theorem 11, we also have that
for every \(X\in V_{x_k}\), since \(y_*X=X\). On the other hand, we also know from (3.15) that
for every \(X\in T_{x_k}M\). Since we are in codimension one and \(\left( \text{ grad }^Nh\left( f\left( x_k\right) \right) \right) ^\perp \ne 0\) (for k large enough), then
for a real function \(\lambda _k\). Now observe that
because of \(\langle \text{ grad }^Q\left| z_k\right| ,\text{ grad }^Pr\left( y_k\right) \rangle =0\). Therefore,
On the other hand, from our hypothesis (1.14) we know that
and from (3.18) and (3.21) we have that
That is,
It follows from here that
for every \(X\in T_{x_k}M\), so that by (3.20) we get
Therefore, from (3.19) and (3.22) we have that
for every \(X\in V_{x_k}\). Hence
with
Reasoning now as in the last part of the proof of Theorem 12, there exists a plane \(\sigma _k\subset V_{x_k}\) such that, by the Gauss equation,
and (1.5) and (1.6) follow by letting \(k\rightarrow +\infty \) as in the last part of the proof of Theorem 12. Finally, in the case where the sequence \(\left\{ x_k\right\} _{k\in \mathbb {N}}\subset M^n\) remains in a compact subset of \(M^n\), and passing to a subsequence if necessary, we may assume that \(x_k\rightarrow x_\infty \in M^n\) and g attains its absolute maximum at \(x_\infty \). Thus, \(\text{ Hess }^Mg\left( x_\infty \right) \left( X,X\right) \le 0\) for all \(X\in T_{x_\infty }M\). Therefore, it follows again from Theorem 11 that for every \(X\in V_{x_\infty }\),
The proof now finishes as in Theorem 4. \(\square \)
4 Notes
The idea of the proof that any compact surface in \(\mathbb {R}^3\) must have a point of positive Gauss curvature was first taken up by Tompkins [20], who showed that there is no isometric immersion \(f:M^n\rightarrow \mathbb {R}^{2n-1}\) if \(M^n\) is compact and flat. This result inspired the seminal paper of Chern-Kuiper [4], where Lemma 1 was proved for dimensions \(n=2,\,3\) and conjectured to be true for any dimension. This conjecture was proved by Otsuki [13] for \(\lambda =0\) who, consequently, obtained Theorem 6 for all dimensions.
The Chern and Kuiper result gave rise to a long series of works, among others, by O’Neill [12], Stiel [19], Moore [9], Jorge-Koutroufiotis [6], Pigola-Rigoli-Setti [14] and, finally, by Alías-Bessa-Montenegro [3] who obtained Theorem 1 on cylindrically bounded submanifolds.
The maximum principles used throughout this paper, as well as their related results, namely, Theorems 8, 9 and 10, are due to Pigola-Rigoli-Setti [14]. On the other hand, it was shown in [1] that conditions (b) and (c) in Theorem 8 can be replaced by the following equivalent although apparently stronger requirements:
-
(b)
\(\left\| \text{ grad }^M\gamma \right\| \le c\) for a constant \(c>0\) outside a compact subset of \(M^n\),
-
(c)
\(\text{ Hess }^M\gamma \le d\langle \,,\,\rangle \) for a constant \(d>0\) outside a compact subset of \(M^n\).
A similar observation holds for the Omori-Yau maximum principle.
Regarding complete hypersurfaces of nonpositive Ricci curvature, Leung [8] pioneered their study by proving Theorem 3 in the case \(b=0\) and conjecturing that the assumption on the sectional curvature could be dropped. This, however, turns out not to be true, as shown by Nadirashvili’s [10] celebrated counterexample to both Hadamard’s and Calabi-Yau’s conjectures on negatively curved and minimal surfaces. After Leung’s work, Smith [17] gave an answer for the case \(b<0\) but with a non-sharp estimate (for having made the Hessian comparison to \(\mathbb {R}^{n+1}\) instead of \(\mathbb {H}_b^{n+1}\)), and finally Veeravalli [21] obtained Theorem 3.
It is a natural question to ask whether Theorem 2 is still true in the limiting case, that is, when \(R=\text{ inj }_P\left( o\right) =\frac{\pi }{2\sqrt{b}}\), where \(\frac{\pi }{2\sqrt{b}}\) is replaced by \(+\infty \) if \(b\le 0\). This motivates the following conjecture.
Conjecture 1
Let \(f:M^m\rightarrow N^{n+l}=P^n\times Q^l\) be an isometric immersion with codimension \(p=n+l-m<m-l\) of a complete Riemannian manifold. Assume that \(R=\text{ inj }_P\left( o\right) =\frac{\pi }{2\sqrt{b}}\), where \(\frac{\pi }{2\sqrt{b}}\) is replaced by \(+\infty \) if \(b\le 0\). If \(K^{\text{ rad }}_P\le b\) in \(B_P[R]\), then
Moreover,
It is not clear the extent to which the above conjecture is true, but an affirmative answer at least in the most classic cases, such as \(P^n=\mathbb {R}^n\) and \(l=0\), would have deep implications in the field of submanifolds with nonpositive extrinsic curvature. Indeed, Conjecture 1 in this case implies when \(p=m-1\) that a complete Riemannian manifold \(M^{m}\) with sectional curvature \(K\le -c<0\) cannot be immersed isometrically in \(\mathbb {R}^{2m-1}\), a kind of Efimov’s theorem in n dimensions. In particular, this would give us the m-dimensional version of the classical theorem of Hilbert that the hyperbolic plane cannot be realized isometrically in \(\mathbb {R}^3\).
There is yet another attempt to extend Efimov’s theorem to higher dimensions in a different direction proposed independently by Reilly [15] and Yau [22, 23] (see also [24] and Gromov [5]):
“There are no complete hypersurfaces in \(\mathbb {R}^{n+1}\) with Ricci curvature \(\le -c\)” and proved to be very true for \(n=3\) and essentially true for \(n>3\) by Smyth-Xavier [18]. Their main result seems to be inaccessible to techniques using the Omori-Yau maximum principle, and its proof relies on a purely geometric result on the principal curvatures of complete submanifolds of Euclidean space. Still in the case \(P^n=\mathbb {R}^n\) and \(l=0\), Conjecture 1 for \(p=1\) would not only settle the above question at all, but also, in the same spirit of Corollary 3, weaken the assumption that \(\text{ Ric }\le -c\) to \(s\le -c\).
References
Albanese, G., Alías, L.J., Rigoli, M.: A general form of the weak maximum principle and some applications. Rev. Mat. Iberoam. 29(4), 1437–1476 (2013)
Alías, L.J., Bessa, P., Dajczer, M.: The mean curvature of cylindrically bounded submanifolds. Math. Ann. 345(2), 367–376 (2009)
Alías, L.J., Bessa, P., Fabio Montenegro, J.: An estimate for the sectional curvature of cylindrically bounded submanifolds. Trans. Am. Math. Soc. 364(7), 3513–3528 (2012)
Chern, S.-S., Kuiper, N.H.: Some theorems on the isometric imbedding of compact Riemann manifolds in Euclidean space. Ann. Math. 2(56), 422–430 (1952)
Gromov, M.: Partial differential relations. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in mathematics and related areas (3)], vol. 9. Springer, Berlin (1986)
Jorge, L., Koutroufiotis, D.: An estimate for the curvature of bounded submanifolds. Am. J. Math. 103(4), 711–725 (1981)
Kobayashi, S., Nomizu, K.: Foundations of differential geometry. Vol. II. Wiley Classics Library. Wiley, New York (1996). (Reprint of the 1969 original, A Wiley-Interscience Publication)
Leung, P.F.: Complete hypersurface of nonpositive Ricci curvature. Bull. Aust. Math. Soc. 27(2), 215–219 (1983)
Moore, J.D.: An application of second variation to submanifold theory. Duke Math. J. 42, 191–193 (1975)
Nadirashvili, N.: Hadamard’s and Calabi-Yau’s conjectures on negatively curved and minimal surfaces. Invent. Math. 126(3), 457–465 (1996)
Omori, H.: Isometric immersions of Riemannian manifolds. J. Math. Soc. Jpn 19, 205–214 (1967)
O’Neill, B.: Immersion of manifolds of nonpositive curvature. Proc. Am. Math. Soc. 11, 132–134 (1960)
Ôtsuki, T.: Isometric imbedding of Riemann manifolds in a Riemann manifold. J. Math. Soc. Jpn 6, 221–234 (1954)
Pigola, S., Rigoli, M., Setti, A.G.: Maximum principles on Riemannian manifolds and applications. Mem. Am. Math. Soc 174(822), x+99 (2005)
Reilly, R.C.: Applications of the Hessian operator in a Riemannian manifold. Indiana Univ. Math. J. 26(3), 459–472 (1977)
Schoen, R., Yau, S.-T.: Lectures on differential geometry. Conference Proceedings and Lecture Notes in Geometry and Topology, I. International Press, Cambridge, MA: Lecture notes prepared by Wei Yue Ding, Kung Ching Chang [Gong Qing Zhang], Jia Qing Zhong and Yi Chao Xu. Translated from the Chinese by Ding and S. Y, Cheng, Preface translated from the Chinese by Kaising Tso (1994)
Smith, G.H.: A note on complete hypersurfaces of nonpositive Ricci curvature. Bull. Aust. Math. Soc. 28(3), 339–342 (1983)
Smyth, B., Xavier, F.: Efimov’s theorem in dimension greater than two. Invent. Math. 90(3), 443–450 (1987)
Stiel, E.F.: Immersions into manifolds of constant negative curvature. Proc. Am. Math. Soc. 18, 713–715 (1967)
Tompkins, C.: Isometric embedding of flat manifolds in Euclidean space. Duke Math. J. 5(1), 58–61 (1939)
Veeravalli, A.R.: A sharp lower bound for the Ricci curvature of bounded hypersurfaces in space forms. Bull. Aust. Math. Soc. 62(1), 165–170 (2000)
Yau, S.T.: Submanifolds with constant mean curvature. Am. J. Math 96, 346–366 (1974)
Yau, S.T.: Submanifolds with constant mean curvature. Am. J. Math 97, 76–100 (1975)
Yau, S.T. (ed.): Seminar on Differential Geometry, volume 102 of Annals of Mathematics Studies. In Papers presented at seminars held during the academic year 1979–1980. Princeton University Press, Princeton; University of Tokyo Press, Tokyo (1982)
Author information
Authors and Affiliations
Corresponding author
Additional information
Canevari’s research was partially supported by CAPES/Brazil; Freitas’s research was partially supported by CNPq/Brazil; Manfio’s research was partially supported by FAPESP/Brazil, Grant 2014/01989-9.
Rights and permissions
About this article
Cite this article
Canevari, S., de Freitas, G.M. & Manfio, F. Submanifolds with nonpositive extrinsic curvature. Annali di Matematica 196, 407–426 (2017). https://doi.org/10.1007/s10231-016-0578-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-016-0578-3
Keywords
- Nonpositive extrinsic curvature
- Cylindrically bounded submanifolds
- Otsuki’s Lemma
- Omori-Yau maximum principle