Abstract
We study totally umbilic isometric immersions between Riemannian manifolds. First, we provide a novel characterization of the totally umbilic isometric immersions with parallel normalized mean curvature vector, i.e., those having nonzero mean curvature vector and such that the unit vector in the direction of the mean curvature vector is parallel in the normal bundle. Such characterization is based on a family of curves, called planar pseudo-geodesics, representing a natural extrinsic generalization of both geodesics and Riemannian circles: being planar, their Cartan development in the tangent space is planar in the ordinary sense; being pseudo-geodesics, their geodesic and normal curvatures satisfy a linear relation. We study these curves in detail and, in particular, establish their local existence and uniqueness. Moreover, in the case of codimension-one immersions, we prove the following statement: an isometric immersion \(\iota :M \hookrightarrow Q\) is totally umbilic if and only if the extrinsic shape of every geodesic of M is planar. This extends a well-known result about surfaces in \(\mathbb {R}^{3}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
Given an isometric immersion \(\iota :M \hookrightarrow Q\) between Riemannian manifolds M and Q, a natural problem is to describe the geometry of \(\iota (M)\equiv \iota \) through the extrinsic shape of simple test curves in M. For example, choosing M-geodesics as test curves, one proves that \(\iota \) is totally geodesic if and only if the extrinsic shape of every geodesic of M is a geodesic of Q. Here, and in the rest of the paper, the extrinsic shape of a curve \(\gamma \) in M is the curve \(\iota \circ \gamma \).
Another fundamental result of this sort is the well-known theorem of Nomizu and Yano [15], characterizing extrinsic spheres, i.e., totally umbilic submanifolds whose mean curvature vector is parallel in the normal bundle, by the property that the extrinsic shape of every circle in M is a circle in Q. Recall that a circle in a Riemannian manifold is a curve whose Cartan development in the tangent space is an ordinary circle; see Definition 13.
A concept closely related to extrinsic sphere, first studied by Chen in [3], is that of totally umbilic submanifold with normalized parallel mean curvature vector. In this case, only a unit vector field in the direction of the (nonzero) mean curvature vector is required to be parallel.
A generalization of Nomizu–Yano’s theorem to this broader class of isometric immersions appeared in [1, 22]. In order to present this generalization, we need some preliminaries. Let \(\gamma \) be a smooth unit-speed curve in M, and let \(\kappa \) be its geodesic curvature, i.e., \(\kappa = \langle \mathop {}\!\nabla _{\gamma '} \gamma ', \mathop {}\!\nabla _{\gamma '} \gamma ' \rangle ^{1/2}\), where \(\mathop {}\!\nabla \) denotes the Levi–Civita connection of M; moreover, provided \(\kappa (s) \ne 0\), let \(P = \nabla _{\gamma '}\gamma '/\kappa \) in some neighborhood of s. Then one says that \(\gamma \) has (proper) order two at the point \(\gamma (s)\) if \(\kappa (s) \ne 0\) and
Theorem 1
([1, Theorem 4.2]) The following statements are equivalent:
-
(1)
\(\iota \) is totally umbilic and, away from geodesic points (i.e., on the open subset where the second fundamental form is nonzero), has parallel normalized mean curvature vector.
-
(2)
For every \(p \in M\) and every orthonormal pair of vectors \(u,v \in T_{p}M\), there exists a curve \(\gamma \), defined in a neighborhood of 0, such that
-
(a)
\(\gamma (0)=p\), \(\gamma '(0)=u\), and \(\mathop {}\!\nabla _{\gamma '(0)}\gamma ' |_{t=0}=\kappa (0)v\);
-
(b)
The extrinsic shape \(\iota \circ \gamma \) of \(\gamma \) has order two at \(\iota (p)\);
-
(c)
\(\kappa '(0)/\kappa (0) = \tilde{\kappa }'(0)/\tilde{\kappa }(0)\), where \(\tilde{\kappa }\) is the geodesic curvature of \(\iota \circ \gamma \).
-
(a)
It is clear that Theorem 1 is conceptually rather different than Nomizu–Yano’s classic result and more difficult to understand geometrically. Here, by selecting an appropriate family of test curves, we shall offer a simpler characterization of the same class of submanifolds. These curves are a natural extrinsic extension of both geodesics and Riemannian circles, called pseudo-geodesics.
Pseudo-geodesics were introduced in the literature in 1950 for surfaces embedded in three-dimensional Euclidean space [25, 26]. A unit-speed curve \(\tilde{\gamma } = \iota \circ \gamma \) lying on a surface is a pseudo-geodesic if the acceleration vector \(\tilde{\gamma }''\) makes a constant angle \(\theta \) with the surface normal. Note that the angle is zero precisely when \(\gamma \) is a geodesic.
This definition extends straightforwardly to any Riemannian submanifold; indeed, it is easy to see that the angle \(\theta \) is constant if and only if either \(\gamma \) is a geodesic or else the ratio between the (signed) normal curvature \(\langle \tilde{\gamma }'', N \rangle \) and the (signed) geodesic curvature \(\langle \gamma '', N \times \gamma ' \rangle \) is constant (Lemma 16). Hence, for the classical definition to make sense in arbitrary dimension and codimension, one just needs to interpret the geodesic curvature as \(\kappa \) and the normal curvature as \(\tau = \langle \alpha (\tilde{\gamma }',\tilde{\gamma }'), \alpha (\tilde{\gamma }',\tilde{\gamma }') \rangle ^{1/2}\), where \(\alpha \) is the second fundamental form. In fact, we shall define pseudo-geodesics in any Riemannian manifold equipped with a field of vector-valued symmetric bilinear forms (Definition 17).
On the other hand, in dimension greater than two, given a point \(p \in M\), a tangent vector \(v \in T_{p}M\), and a constant \(c>0\), the initial value problem for the pseudo-geodesic equation \(\kappa = c \tau \) is underdetermined. Thus, in order to have a well-posed problem, we consider planar pseudo-geodesics, i.e., pseudo-geodesics that—when \(\kappa >0\)—have order two at all points; see Definition 10 and Remark 11. More precisely, pseudo-geodesics whose Cartan development in the tangent space of M lies in a plane (Proposition 14).
Using them as test curves, we will prove our first result.
Theorem 2
If, for some constant \(c > 0\), the extrinsic shape of every planar c-pseudo-geodesic of \((M,\iota ^{*}\alpha )\) is planar, then \(\iota \) is totally umbilic and, away from geodesic points, has parallel normalized mean curvature vector. Conversely, if \(\iota \) is totally umbilic with parallel normalized mean curvature vector, then the extrinsic shape of every planar pseudo-geodesic of \((M,\iota ^{*}\alpha )\) is planar.
Corollary 3
If \(\iota \) is totally umbilic with parallel normalized mean curvature vector, then the extrinsic shape of every geodesic of M is planar.
Corollary 4
([14, Theorem 2]) If \(\iota \) is a non-totally geodesic extrinsic sphere, then the extrinsic shape of every geodesic of M is a circle.
Remark 5
If \(\iota \) is a hypersurface, then the normalized mean curvature vector is automatically parallel.
Remark 6
It is easy to see, by means of the Gauss formula, that (\(c > 0\))-pseudo-geodesics satisfy the condition \(\kappa ' / \kappa = \tilde{\kappa }' / \tilde{\kappa }\); cf. Theorem 1(2). Hence the first part of Theorem 2 may be seen as a direct consequence of the local existence of planar pseudo-geodesics (Proposition 18).
Remark 7
The assumption in the first part of Theorem 2 can be weakened: it is enough to assume the extrinsic shape of every planar \((c>0)\)-pseudo-geodesic to be planar on any interval where the curvature is strictly positive.
It is well known that if an isometric immersion takes planar curves to planar curves, then it is totally geodesic [23, Theorem 1]. A natural question, then, is whether it is possible for the type of immersion considered in Theorem 2 to preserve the planarity of additional curves without necessarily being totally geodesic. Our next result answers this question negatively.
Proposition 8
Suppose that \(\iota \) is totally umbilic with parallel normalized mean curvature vector. If a curve has planar extrinsic shape, then it is a pseudo-geodesic.
An additional problem that Theorem 2 leaves open is to characterize the submanifolds all of whose geodesics have planar extrinsic shape. The particular case where the ambient manifold is a space form was examined in [2, 4, 5, 8, 20]. Here we shall give a complete solution when the codimension is one.
Theorem 9
Suppose that M is a hypersurface of Q. If the extrinsic shape of every geodesic of M is planar, then \(\iota \) is totally umbilic. In particular, if the extrinsic shape of every geodesic of M is a circle, then \(\iota \) is a non-totally geodesic extrinsic sphere.
Theorem 9 extends a classical results about surfaces in \(\mathbb {R}^{3}\); see, for instance, [6, pp. 211–212].
The paper is organized as follows. The next section presents some preliminaries, mostly for the sake of fixing relevant notation and terminology. In Sect. 3, motivated by the notion of Riemannian circle, we introduce planar Riemannian curves, thus generalizing the standard notion of planarity valid in space forms. In Sect. 4 we then define pseudo-geodesics; in particular, by restricting our attention to planar pseudo-geodesics, we establish a local existence and uniqueness result. In Sect. 5 we proceed with the proofs of Theorem 2, Proposition 8, and Theorem 9; although, by virtue of Proposition 18, the first part of Theorem 2 could be obtained directly from Theorem 1, we give an independent proof of Theorem 2. Finally, in Sect. 6 we extend Theorem 9 to submanifolds of arbitrary codimension.
As already indicated, pseudo-geodesics have a rather long history. Their study goes back to the work of Wunderlich, who defined them in the classical framework of surfaces in \(\mathbb {R}^{3}\) [24,25,26,27]. Pseudo-geodesics were later studied by Simon [21] and, in more general settings, by Sachs [18] and Sachs–Strommer [19]. Interestingly, they appear in the theory of developable surfaces with creases; see [17, p. 421] and [7]. It was a surprise to discover that they also play a role in the theory of isometric immersions.
2 Preliminaries
In this section we recall some basic facts that are used throughout the paper.
To begin with, let Q be a Riemannian manifold and \(M \subset Q\) an immersed submanifold. Identifying, as customary, the tangent space of M at p with its image under the differential of the inclusion \(M \hookrightarrow Q\), we have the orthogonal decomposition
where \(N_{p}M\) is the normal space of M at p.
Under this identification, every smooth vector field X on M can be considered as a vector field X along M, that is, a smooth section of the ambient tangent bundle over M.
Let \(\mathfrak {X}(M)\) and \(\bar{\mathfrak {X}}(M)\) denote the sets of smooth vector fields on and along M, respectively. Let \(\mathfrak {X}(M)^{\perp }\) be the set of normal vector fields along M. Clearly, \(\bar{\mathfrak {X}}(M) = \mathfrak {X}(M)\oplus \mathfrak {X}(M)^{\perp }\). If \(X\in \mathfrak {X}(M)\) and \(\bar{X} \in \bar{\mathfrak {X}}(M)\), then
where \(\mathop {}\!\widetilde{\nabla }\) is the Levi–Civita connection of Q, \(\mathop {}\!\pi ^{\top }\) and \(\mathop {}\!\pi ^{\perp }\) are the orthogonal projections onto the tangent and normal bundle of M, and where both X and \(\bar{X}\) are extended arbitrarily to Q.
In particular, if \(\bar{X} = Y \in \mathfrak {X}(M)\), then
here \(\mathop {}\!\nabla \) is the Levi–Civita connection of \((M,\iota ^{*}\tilde{g})\) and \(\alpha \) the second fundamental form.
Similarly, if \(N \in \mathfrak {X}(M)^{\perp }\), then, denoting by \(A_{N}\) the shape operator of M with respect to N and by \(\mathop {}\!\nabla ^{\perp }\) the normal connection of M,
The normal connection allows us to introduce a natural covariant differentiation \(\nabla ^{*}\) for the second fundamental form, as follows; see [11, p. 231] for more details. Let F be the smooth vector bundle over M whose fiber at the point \(p \in M\) is the set of bilinear maps \(T_{p}M \times T_{p}M \rightarrow N_{p}M\). For any smooth section B of F and any \(X\in \mathfrak {X}(M)\), let \(\nabla ^{*}_{X}B\) be the smooth section of F given by
It is standard to prove that \(\nabla ^{*}\) is a connection in F.
We next turn our attention to totally umbilic submanifolds.
Given any normal vector \(\eta \in NM\), we say that M is umbilic in direction \(\eta \) if the shape operator \(A_{\eta }\) is a multiple of the identity. If M is umbilic in every normal direction, then M is said to be a totally umbilic submanifold of Q.
One can show that M is totally umbilic if and only if, for every pair of vector fields \(X,Y \in \mathfrak {X}(M)\), the following relation holds between the second fundamental form and the mean curvature vector H of M:
Recall that the mean curvature vector of M is the normal vector field along M given by
where \(m = \dim M\) and \(\textrm{tr}(\alpha )\) is the trace of \(\alpha \). Equivalently, in terms of a local orthonormal frame \((X_{1}, \dotsc , X_{m})\) for TM,
Among totally umbilic submanifolds, extrinsic spheres are particularly important. A totally umbilic submanifold is called an extrinsic sphere if the mean curvature vector is parallel with respect to the normal connection, that is, if \(\mathop {}\!\nabla ^{\perp }_{X}H=0\) for all \(X \in \mathfrak {X}(M)\). Beware that some authors require H to be nonzero.
Our main interest in this paper lies in the family of totally umbilic submanifolds with parallel normalized mean curvature vector, which naturally generalizes that of non-totally geodesic extrinsic spheres.
Suppose that H is always different from zero. Then the unit normal vector field \(H/\Vert H |\) is well-defined. One says that M has parallel normalized mean curvature vector if
3 Planar Curves
In this section we define planar curves in a Riemannian manifold \(M \equiv (M, \langle \cdot {,} \cdot \rangle )\) and extend several well-known results about circles.
Definition 10
Let \(\gamma :I \rightarrow M\) be a (smooth) unit-speed curve, and denote by T its tangent vector. We say that \(\gamma \) is planar if there exist a unit vector field Y along \(\gamma \) and a function \(f :I \rightarrow \mathbb {R}\) such that
Remark 11
-
In dimension two every (unit-speed) curve is planar.
-
A geodesic is a planar curve with \(f=0\).
-
A planar curve with constant \(f>0\) is called a circle [15].
-
If M has constant sectional curvature, then a curve in M is planar if and only if it lies in some two-dimensional, totally geodesic submanifold of M.
-
When \(\kappa > 0\), a curve \(\gamma \) is planar if and only if it has order two at all points.
Hence, planar curves generalize Riemannian circles. Nomizu and Yano proved that circles are precisely those curves in M that satisfy the differential equation
where \(\kappa =\langle \mathop {}\!\nabla _{T} T, \mathop {}\!\nabla _{T} T \rangle ^{1/2}\) is the geodesic curvature. In the case of planar curves, the following lemma holds.
Lemma 12
([10, Lemma 2.3]) Suppose that \(\kappa >0\). Then \(\gamma \) is planar if and only if
Proof
Let \(Y = \nabla _{T}T/\kappa \). If \(\gamma \) is planar, then
which implies (2).
As for the converse, let us compute
In particular, if (2) holds, then
as desired. \(\square \)
We now characterize planar curves through the notion of development, in the sense of Cartan. Our result extends Nomizu–Yano’s [15, Proposition 3]. The proof is conceptually the same as the one in [15], but is nevertheless included for the reader’s convenience.
Definition 13
Let \(p=\gamma (u)\) be an arbitrary point in the image of \(\gamma \). The Cartan development of \(\gamma \) in the tangent space \(T_{p}M\) is the unique curve \(\gamma ^{*} :I \rightarrow T_{p}M\) such that
-
(1)
\((\gamma ^{*})'(u)=T(u)\);
-
(2)
for all \(t \in I\), the vector \((\gamma ^{*})'(t)\) is parallel—in the Euclidean sense—to the parallel transport \(\tau _{u}^{t}(T(t))\) of T(t) from \(\gamma (t)\) to \(\gamma (u)\) along \(\gamma \).
Proposition 14
A curve \(\gamma \) is planar if and only if its development \(\gamma ^{*}\) in the tangent space \(T_{p}M\) is a regular planar curve in the ordinary Euclidean sense.
Proof
Assume that \(\gamma \) is planar so that (1) holds. Let
Since the map \(\tau _{u}^{t} :T_{\gamma (t)}M \rightarrow T_{\gamma (u)}M\) is linear and \(\tau _{u}^{t+h}=\tau _{u}^{t}\circ \tau _{t}^{t+h}\), we obtain
Likewise, we have
By virtue of these identities, (1) implies
Clearly, these equations express the fact that \(\gamma ^{*}\) is a planar curve in \(T_{p}M\).
Conversely, assume that the development \(\gamma ^{*}\) of \(\gamma \) in \(T_{p}M\) is a regular planar curve. Then there exist a unit vector field \(Y^{*}\) along \(\gamma ^{*}\) and a smooth function f that, together with \(T^{*}=(\gamma ^{*})'\), satisfy (3). Since \(\tau _{u}^{t}\) is an isomorphism between \(T_{\gamma (t)}M\) and \(T_{\gamma (u)}M\), we obtain (1) from (3). \(\square \)
We conclude this section by proving a global existence theorem, which extends [15, Theorem 1].
Theorem 15
Suppose that M is complete. For any orthonormal pair of vectors \(x,y \in T_{p}M\) and any smooth function \(f :\mathbb {R} \rightarrow \mathbb {R}\), there exists a unique planar curve \(\gamma :\mathbb {R} \rightarrow M\) satisfying (1) and such that \(\gamma (0)=p\), \(T(0)=x\), and \(Y(0)=y\).
Proof
By the standard theory of ordinary differential equations, the problem defined by the system (3) and the initial condition
has a unique global solution \(\gamma ^{*}\) in \(T_{p}M\). Since M is complete, it follows from [9, p. 172, Theorem 4.1] that there is a curve in M whose development in \(T_{p}M\) is \(\gamma ^{*}\). By the proof of Proposition 14, this is precisely the desired curve \(\gamma \). \(\square \)
4 Planar Pseudo-geodesics
In [26] Wunderlich considered a natural extrinsic generalization of a geodesic of a surface \(\iota :S \hookrightarrow \mathbb {R}^{3}\). Noting that a curve \(\gamma \) is a geodesic of S if and only if the ambient acceleration \(\tilde{\gamma }'' = (\iota \circ \gamma )''\) is parallel to the surface unit normal N, he called a curve \(\tilde{\gamma }\) in \(\iota (S)\) a pseudo-geodesic if the angle \(\theta \) between \(\tilde{\gamma }''\) and N is constant.
The next lemma characterizes pseudo-geodesics in terms of curvature.
Lemma 16
A curve \(\tilde{\gamma }\) in \(\iota (S)\) is a pseudo-geodesic if and only if, for some constant \(c\in \mathbb {R}\), the signed geodesic curvature \(\kappa _{s}\) and the signed normal curvature \(\tau _{s}\) satisfy \(\kappa _{s} = c \tau _{s}\).
On the basis of this result, we reinterpret (and extend) Wunderlich’s definition as follows.
Definition 17
Let M be a Riemannian manifold, let \(\varSigma \) be a metric vector bundle of rank n over M, and let \(\sigma \) be a smooth field of symmetric bilinear forms \(T_{p}M\times T_{p}M \rightarrow \varSigma _{p}\) on M. A unit-speed curve \(\gamma :I \rightarrow M\) is a (c-)pseudo-geodesic of \((M,\sigma )\) if there exist a unit vector field Y along \(\gamma \) and a constant \(c \ge 0\) such that
Now, a fundamental property of geodesics is that, for any tangent vector \(x \in T_{p}M\), there exists a geodesic, defined for \(|t |<\epsilon \) for some \(\epsilon >0\), such that \(\gamma _{x}(0)=p\) and \(\gamma _{x}'(0)=x\). Unfortunately, unless \(\dim M = 2\), one cannot expect pseudo-geodesics to enjoy the same property, as the corresponding initial value problem is underdetermined. Thus, in order to have a well-posed problem, we restrict our attention to planar pseudo-geodesics. In that case, we can prove the following proposition.
Proposition 18
Let \(p \in M\). For any orthonormal pair of vectors \(x,y \in T_{p}M\) and for any constant \(c\ge 0\), there exists a unique planar pseudo-geodesic \(\gamma _{x,y}\) of \((M,\sigma )\), defined for \(|t |<\epsilon \) for some \(\epsilon >0\), such that
where \(T_{x,y}=\gamma _{x,y}'\).
Proof
Let \(\gamma :I \rightarrow M\) be a unit-speed curve in M, and let Y be a unit vector field along \(\gamma \). By Definition 10, it is clear that \(\gamma \) is a planar pseudo-geodesic of \((M,\sigma )\) if and only if there exists \(c \ge 0\) such that
We shall explore how these equations look in coordinates.
To begin with, the statement of the proposition being local, we may assume that \(\varSigma \) is trivial and let \((E_{1}, \dotsc , E_{n})\) be a smooth orthonormal frame for \(\varSigma \). Then there are symmetric two-tensors \(\sigma ^{1}, \dotsc , \sigma ^{n}\) on M such that
It follows that
here (and in the rest of this proof), the Einstein summation convention is used.
Now, suppose that \(\gamma \) is contained in the domain of a smooth chart \((u^{1},\dotsc ,u^{m})\) for M around p. Expanding T and Y in terms of the coordinate frame \((\partial _{1} = \partial /\partial u^{1}, \dotsc , \partial _{m}=\partial /\partial u^{m})\), we obtain
Using [11, Proposition 4.6], we compute
where a dot indicates differentiation with respect to t and \(\varGamma _{ij}^{k}\) is assumed to be evaluated along \(\gamma \).
Likewise, expressing \(\sigma ^{s}\) in terms of the coordinate coframe \((du^{1}, \dotsc , du^{m})\), we get
It follows that
In conclusion, \(\gamma \) is a planar pseudo-geodesic of \((M,\sigma )\) if and only if, for some \(c\ge 0\) and every \(k =1,\dotsc ,m\), the following two equations hold:
Together with \(\dot{u}^{k}=T^{k}\), Eqs. (4) and (5) define a system of 3m ordinary differential equations in the 3m unknown functions \((u^{k},T^{k},Y^{k})_{k=1}^{m}\), which admits a unique local solution for any initial condition \((u^{k}(0),T^{k}(0),Y^{k}(0))_{k=1}^{m}\). \(\square \)
5 Proofs of the Main Results
Here we prove the new results presented in Sect. 1, starting with Theorem 2. Having already verified that the initial value problem for planar pseudo-geodesics is well-posed, the first part of Theorem 2 may be obtained as a corollary of Theorem 1. However, we decided to include an independent proof for the benefit of the reader.
To begin with, it is useful to establish a lemma.
Lemma 19
Suppose that, for each orthonormal pair of tangent vectors x, y in \(T_{p}M\), either \(\alpha (x,y)=0\) or \(\alpha (x,x)=\alpha (y,y)=0\). Then the following conclusions hold:
-
(1)
\(\alpha (x,x)= \pm \alpha (y,y)\) for any orthonormal x, y in \(T_{p}M\).
-
(2)
If \(\alpha (x,x)=0\) for some x in \(T_{p}M\), then \(\alpha \) vanishes at p.
Proof
We first prove (1). If (x, y) is orthonormal, then so is \(2^{-1/2}(x+y, x-y)\). Thus, assuming the hypothesis of the lemma, either \(\alpha (x+y, x-y)=0\) or else \(\alpha (x+y, x+y)=\alpha (x-y, x-y)=0\). It is easy to check, using bilinearity and symmetry, that the first condition implies \(\alpha (x,x) = \alpha (y,y)\), whereas the second implies \(\alpha (x,x) = - \alpha (y,y)\).
Now we prove (2). Suppose that there is a unit vector \(x_{1}\) in \(T_{p}M\) such that \(\alpha (x_{1},x_{1})=0\), and let \((x_{1}, \dotsc , x_{m})\) be an orthonormal basis of \(T_{p}M\). Noting that the vectors \(2^{-1/2}(x_{j}+x_{k})\) and \(x_{h}\) are orthonormal when \(h \ne j,k\), we deduce from statement (1) that both \(\alpha (x_{j}, x_{j})\) and \(\alpha (x_{j}+x_{k}, x_{j}+x_{k})\) vanish for all \(j,k =1, \dotsc , m\). Since
we conclude that \(\alpha (x_{j},x_{k})=0\) for all j and k. Hence, by bilinearity, \(\alpha \) vanishes at p.
\(\square \)
Proof of Theorem 2
By Lemma 12, the extrinsic shape of \(\gamma \) is a planar curve in Q precisely when
where \(\tilde{\kappa } = \langle \mathop {}\!\widetilde{\nabla }_{T} T, \mathop {}\!\widetilde{\nabla }_{T} T \rangle ^{1/2} >0\), and where we identified \(\widetilde{T} = (\iota \circ \gamma )'\) with T. Since \(\mathop {}\!\widetilde{\nabla }_{T}T = \mathop {}\!\nabla _{T}T + \alpha (T,T)\), denoting by \(\tau \) the length of \(\alpha (T,T)\), it follows that \(\tilde{\kappa }=\sqrt{\kappa ^{2}+\tau ^{2}}\).
Let \(p \in M\). If all directions are asymptotic at p, then we have a geodesic point. On the other hand, if x is a nonasymptotic vector at p, then, for every curve \(\gamma \) such that \(\gamma (0)=p\) and \(\gamma '(0)=x\), there exists an open interval \((-\epsilon , \epsilon )\) such that \(\tau (t) \ne 0\) in \((-\epsilon , \epsilon )\).
Assume that x is not asymptotic. Then, in \((-\epsilon , \epsilon )\),
so that Eq. (6) becomes
Moreover, by computing
we see that (7) is equivalent to
Decomposing into tangent and normal components, we finally obtain
In particular, if \(\kappa =c\tau \) for some \(c > 0\) and \(\gamma \) is planar, then (8) and (9) simplify to
Using
we rewrite (10) as
At \(t=0\), since \((\mathop {}\!\nabla _{T}T)_{t=0}=c\tau (0)Y(0)\), the last equation specializes to
This equation implies that, given a unit vector \(x \in T_{p}M\) that is not asymptotic, the value \(\alpha (x,y)\) does not depend on \(y \in T_{p}M\) so long as \(\langle x, y \rangle =0\). In fact, since \(\alpha (x,-y) = - \alpha (x,y)\), it is clear that \(\alpha (x,y) = 0\) for every x and y such that \(\langle x, y \rangle =0\).
If, on the other hand, x is asymptotic, then, for each y in the orthogonal complement of x in \(T_{p}M\), either \(\alpha (x,y)=0\) or \(\alpha (y,y)=0\); indeed, if \(\alpha (y,y)\ne 0\), then \(\alpha (y,x)=0\) by the previous argument.
Summing up, we have shown that if (10) holds for every nonasymptotic \(x \in T_{p}M\), then, for each orthogonal pair of vectors x, y in \(T_{p}M\), either \(\alpha (x,y)=0\) or \(\alpha (x,x)=\alpha (y,y)=0\). Hence, by Lemma 19, if there is \(x\in T_{p}M\) such that \(\alpha (x,x)=0\), then p is a geodesic point.
Assume that there is no such vector. It follows by continuity that there exists a neighborhood U of p in M whose points are nongeodesic. Applying the lemma in [15, p. 168], we deduce that if the assumption of the first part of Theorem 2 holds, then M is totally umbilic in U and the normalized mean curvature vector coincides with \(\overline{\alpha }=\alpha (T,T)/\tau \) along \(\iota \circ \gamma \). Equation (10) therefore simplifies to
Substituting \(\alpha (T,T) = \tau \overline{\alpha }\), this becomes
as desired.
Conversely, suppose that \(\iota \) is totally umbilic and the mean curvature vector never vanishes. It follows that \(\alpha (T, \mathop {}\!\nabla _{T}T)= 0\) and \(\overline{\alpha } = \alpha (T,T)/\tau \) coincides with the normalized mean curvature vector along \(\iota \circ \gamma \). Moreover,
A straightforward computation reveals that Eqs. (8) and (9) are now equivalent to
Suppose that \(\gamma \) is a c-pseudo-geodesic. If \(c=0\), then \(\gamma \) is a geodesic. In that case the first equation gives an identity whereas the second reduces to \(\nabla ^{\perp }_{T}\overline{\alpha }=0\). On the other hand, if \(c> 0\), then substituting \(\tau = \kappa /c\) in the first and \(\kappa = c \tau \) in the second gives
Evidently, these two are fulfilled exactly when \(\gamma \) is planar and the normalized mean curvature vector \(\overline{\alpha }\) is parallel. \(\square \)
Proof of Proposition 8
Assume the hypothesis of the proposition. Then, for \(\nabla ^{\perp }_{T} \overline{\alpha }=0\), Eq. (11) is equivalent to
Assume that \(\iota \circ \gamma \) is planar. Then, on the open subset where \(\kappa (t)\ne 0\),
which implies that \(\gamma \) is a pseudo-geodesic, as desired. \(\square \)
Proof of Theorem 9
Suppose that M is a hypersurface of Q, and let N be a unit normal vector field along M. Clearly, if \(\gamma \) is a geodesic, then \(\tilde{\kappa }=\tau \) and
so that, away from any zero of \(\tau \), Eq. (6) reads
In particular, if \(\tau \) is strictly positive, then \(\alpha (T,T) =\pm \tau N\), and therefore (12) becomes
being A the shape operator.
Let \(\mathbb {S}_{p}^{m-1}\) be the unit sphere in \(T_{p}M\), and denote by h the quadratic form \(h(x) = \langle \alpha (x,x), N \rangle \). Assume that Equ. (13) holds for all unit-speed geodesics originating from p with nonasymptotic tangent vector. Then every such vector is an eigenvector of A. We first show that if \(x,y \in \mathbb {S}_{p}^{m-1}\) are linearly independent and nonasymptotic, then \(h(x)=\pm h(y)\). Indeed, if \(h(x+y)\ne 0\), then
which implies \(h(x)=h(y)\). On the contrary, if \(x+y\) is asymptotic, then
implying \(h(x)=-h(y)\). We conclude that \(\mathbb {S}_{p}^{m-1}\) can be decomposed as the union of the subsets
It is clear that, since \(x \mapsto \langle A(x),x\rangle \) is a continuous function \( \mathbb {S}_{p}^{m-1} \rightarrow \mathbb {R}\), only one of these sets can be nonempty. This proves that M is umbilic at p. \(\square \)
6 A Generalization of Theorem 9
We finally present a generalization of Theorem 9 to arbitrary codimension. To this end, let us first recall the notion of (totally) isotropic immersion, as introduced by O’Neill in [16].
Definition 20
Let \(\iota :M \hookrightarrow Q\) be an isometric immersion. We say that \(\iota \) is isotropic at \(p\in M\) if \(\langle \alpha (x,x), \alpha (x,x) \rangle =\lambda _{p} \) for all unit vectors \(x\in T_{p}M\). In particular, if \(\iota \) is isotropic at every point \(p\in M\), then \(\iota \) is called a totally isotropic immersion. A totally isotropic immersion is constant isotropic if \(\lambda _{p}\) is constant on M.
Theorem 21
If the extrinsic shape of every geodesic of M is planar, then \(\iota \) is totally isotropic. In particular, if the extrinsic shape of every geodesic of M is a circle, then \(\iota \) is a non-totally geodesic constant isotropic immersion.
Remark 22
The second part of this theorem is not new. In fact, Maeda and Sato showed that \(\iota \) is a non-totally geodesic constant isotropic immersion exactly when the extrinsic shape of every geodesic of M is a circle and \((\nabla _{X}^{*}\alpha )(X,X)=0\) for all \(X \in \mathfrak {X}(M)\) [13, Proposition 3.1]. More generally, constant isotropic immersions are characterized by the property that the extrinsic shape of every circle in M has constant geodesic curvature [12].
Remark 23
In a space form, if the extrinsic shape of every geodesic of M is planar, then \(\iota \) is constant isotropic, and thereby any such extrinsic shape is either a geodesic or a circle; see [20].
Proof of Theorem 21
By [16, Lemma 1], \(\iota \) is isotropic at p exactly when \(\langle \alpha (x,x),\alpha (x,y)\rangle =0\) for every orthonormal pair of vectors x, y in \(T_{p}M\). Obviously, if \(\alpha (x,x)=0\), then \(\langle \alpha (x,x),\alpha (x,y)\rangle =0\) for every y, and so we may assume that x is not asymptotic.
Let \(\gamma \) be the unit-speed geodesic originating from p with tangent vector \(T(0)=x\), and let Y be the parallel transport of y along \(\gamma \). Then
here we have used the Gauss formula as well as orthogonality of Y and \(\alpha (T,T)\).
We now show that \(\langle \mathop {}\!\widetilde{\nabla }_{T}\alpha (T,T), Y \rangle =0\) if \(\iota \circ \gamma \) is planar. Indeed, since \(\gamma \) is a geodesic, Eq. (6) gives
which implies \(\langle \mathop {}\!\widetilde{\nabla }_{T}\alpha (T,T), Y \rangle =0\). This proves the first part of the theorem.
For the second part, assume that \(\iota \circ \gamma \) is a circle, so that \(\tau >0\) and \(\tau '=0\). Then (14) implies
The last equality shows that \(\langle \alpha (T,T),\alpha (T,T)\rangle \) is constant along \(\gamma \), and from here the statement follows easily. \(\square \)
Change history
02 February 2024
The original online version of this article was revised: The ‘Theorem 1’ has been corrected to ‘Theorem 1(2)’
References
Adachi, T.: Curvature Logarithmic Derivatives of Curves and Isometric Immersions, Differential Geometry and Its Applications, pp. 13–21. World Sci. Publ, Hackensack (2008)
Adachi, T., Kimura, M., Maeda, S.: Real hypersurfaces some of whose geodesics are plane curves in nonflat complex space forms. Tohoku Math. J. 57(2), 223–230 (2005)
Chen, Bang-yen: Surfaces with parallel normalized mean curvature vector. Monatsh. Math. 90(3), 185–194 (1980)
Hong, S.L.: Isometric immersions of manifolds with plane geodesics into Euclidean space. J. Differ. Geom. 8, 259–278 (1973)
Hong, Y., Qin, Y.: Helical immersions of order 2. Southeast Asian Bull. Math. 32(4), 661–666 (2008)
Houston, M.: A Comprehensive Introduction to Differential Geometry. Publish or Perish, Houston (1999)
Jiang, C., Mundilova, K., Rist, F., Wallner, J., Pottmann, H.: Curve-pleated structures. ACM Trans. Graph. 38(6), 169 (2019)
John, A.: Little, manifolds with planar geodesics. J. Differ. Geom. 11(2), 265–285 (1976)
Kobayashi, S., Nomizu, K.: Foundations of Differential Geometry, vol. 1. Wiley-Interscience, New York (1963)
Kôzaki, M., Maeda, S.: A characterization of extrinsic spheres in a Riemannian manifold. Tsukuba J. Math. 26(2), 291–297 (2002)
Lee, J.M.: Introduction to Riemannian Manifolds. Graduate Texts in Mathematics, vol. 176. Springer, Cham (2018)
Maeda, S.: A characterization of constant isotropic immersions by circles. Arch. Math. (Basel) 81(1), 90–95 (2003)
Maeda, S., Sato, N.: On submanifolds all of whose geodesics are circles in a complex space form. Kodai Math. J. 6(2), 157–166 (1983)
Nomizu, K.: Generalized central spheres and the notion of spheres in Riemannian geometry. Tohoku Math. J. 25(2), 129–137 (1973)
Nomizu, K., Yano, K.: On circles and spheres in Riemannian geometry. Math. Ann. 210, 163–170 (1974)
O’Neill, B.: Isotropic and Kähler immersions. Can. J. Math. 17, 907–915 (1965)
Pottmann, H., Wallner, J.: Computational Line Geometry. Mathematics and Visualization, Springer, New York (2001)
Sachs, H.: Zur Theorie der Pseudogeodätischen auf Regelflächen des einfachen isotropen Raumes, Österreich. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II 189, 67–82 (1980)
Sachs, H., Strommer, G.: Geodätische und Pseudogeodätische auf Regelflächen im Flaggenraum. Arch. Math. (Basel) 33(5), 478–484 (1980)
Sakamoto, K.: Planar geodesic immersions. Tohoku Math. J. 29(2), 25–26 (1977)
Simon, U.: Pseudogeodätische Linien auf Flächen. Acta Math. Acad. Sci. Hungar. 22, 325–330 (1972)
Sugiyama, T., Adachi, T.: Totally umbilic isometric immersions and curves of order two. Monatsh. Math. 150(1), 73–81 (2007)
Tanabe, H.: Characterization of totally geodesic submanifolds in terms of Frenet curves. Sci. Math. Jpn. 63(1), 83–88 (2006)
Wunderlich, W.: Raumkurven, die pseudogeodätische Linien zweier Kegel sind. Monatsh. Math. 54, 55–70 (1950)
Wunderlich, W.: Pseudogeodätische Linien auf Kegelflächen, Österreich. Akad. Wiss. Math.-Nat. Kl. S.-B 158, 75–105 (1950)
Wunderlich, W.: Pseudogeodätische Linien auf Zylinderflächen, Österreich. Akad. Wiss. Math.-Nat. Kl. S.-B IIa 158, 61–73 (1950)
Wunderlich, W.: Raumkurven, die pseudogeodätische Linien eines Zylinders und eines Kegels sind. Compos. Math. 8, 169–184 (1950)
Acknowledgements
We thank an anonymous referee for valuable comments.
Funding
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The second author was supported by Austrian Science Fund (FWF) project F 77.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Markvorsen, S., Raffaelli, M. Planar Pseudo-geodesics and Totally Umbilic Submanifolds. J Geom Anal 34, 53 (2024). https://doi.org/10.1007/s12220-023-01498-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01498-1
Keywords
- Isotropic immersion
- Normalized mean curvature vector
- Planar curve
- Planar geodesic immersion
- Pseudo-geodesic
- Totally umbilic submanifold