Theorem 2.2
Let
${N}^{l}$
be a connected compact submanifold of the tangent bundle of a connected simply connected manifold
${M}^{n}$
, which is transverse to the fibers it meets and projects onto a simply connected submanifold
${F}^{l}$
of
${M}^{n}$
. Then
${F}^{l}$
is compact and there is a vector field
$\xi $
on
${M}^{n}$
along
${F}^{l}$
such that
$\xi \left({F}^{l}\right)={N}^{l}$
.
In the particular case of horizontal totally geodesic submanifolds of
$T{M}^{n}$
, i.e. whose tangent space at any point is horizontal, we can state the following:
Theorem 2.3
Let
${N}^{l}$
be a connected complete totally geodesic horizontal submanifold of the tangent bundle of a connected Riemannian manifold
${M}^{n}$
which projects into a simply connected Riemannian submanifold
${F}^{l}$
of
${M}^{n}$
. Then
${F}^{l}$
is also complete and totally geodesic in
${M}^{n}$
and there is a parallel vector field
$\xi $
on
${M}^{n}$
along
${F}^{l}$
such that
$\xi \left({F}^{l}\right)={N}^{l}$
.
Proof. By hypothesis, for all
$z\in {N}^{l}$
,
${T}_{z}{N}^{l}$
is a horizontal subspace of
${T}_{z}T{M}^{n}$
with respect to the LeviCivita connection of
$\overline{g}$
. Hence
$\pi \upharpoonright {N}^{l}:{N}^{l}\to {F}^{l}$
is an isometric submersion of
${N}^{l}$
into
${F}^{l}$
, with
${N}^{l}$
and
${F}^{l}$
connected and of the same dimension. Since
${N}^{l}$
is complete, also
${F}^{l}$
is complete and
${N}^{l}$
is a covering space of
${F}^{l}$
(cf. [
8]
, Vol.1, p.176). The fact that
${F}^{l}$
is simply connected implies that
$\pi \upharpoonright {N}^{l}:{N}^{l}\to {F}^{l}$
is an isometry, and there is an isometry
$\xi :{F}^{l}\to {N}^{l}$
such that
$\pi \upharpoonright {N}^{l}\circ \xi =I{d}_{{F}^{l}}$
, i.e.
$\xi $
is a vector field on
${M}^{n}$
along
${F}^{l}$
.
Now,
${F}^{l}$
is totally geodesic. Indeed, let
$X$
and
$Y$
be vector fields on
${F}^{l}$
, and denote by the same letters some of their extensions to
${M}^{n}$
. If we denote by
${X}^{h}$
and
${Y}^{h}$
their horizontal lifts to
$T{M}^{n}$
, then
${X}^{h}\upharpoonright {N}^{l}$
and
${Y}^{h}\upharpoonright {N}^{l}$
are vector fields on
$T{M}^{n}$
along
${N}^{l}$
. For all
$z\in {N}^{l}$
,
${T}_{z}{N}^{l}$
being horizontal,
${\pi}_{*}\upharpoonright {T}_{z}{N}^{l}:{T}_{z}{N}^{l}\to {T}_{x}{M}^{n}$
is bijective. Since
${\pi}_{*}\left({X}^{h}\right(z\left)\right)=X\left(\pi \right(z\left)\right)$
and
${\pi}_{*}\left({Y}^{h}\right(z\left)\right)=Y\left(\pi \right(z\left)\right)$
, we have that
${X}^{h}\left(z\right)$
and
${Y}^{h}\left(z\right)$
are tangent to
${N}^{l}$
.
Thus
$\left({\stackrel{~}{\nabla}}_{{X}^{h}}{Y}^{h}\right)\upharpoonright {N}^{l}$
is tangent to
${N}^{l}$
and hence horizontal. Consequently
$\left({\stackrel{~}{\nabla}}_{{X}^{h}}{Y}^{h}\right)\upharpoonright {N}^{l}=({\overline{\nabla}}_{X}Y{)}^{h}\upharpoonright {N}^{l}$
and is tangent to
${N}^{l}$
. Hence
${\overline{\nabla}}_{X}Y={\pi}_{*}\circ ({\overline{\nabla}}_{X}Y{)}^{h}$
is tangent to
${F}^{l}$
and so
${F}^{l}$
is totally geodesic. It remains to prove that
$\xi $
is parallel along
${F}^{l}$
. In fact, for all
$x\in {F}^{l}$
and
$X\in {T}_{x}{F}^{l}$
, the vector
${X}^{h}+({\overline{\nabla}}_{X}\xi {)}^{v}$
is tangent to
$\xi \left({F}^{l}\right)={N}^{l}$
at
$\xi \left(x\right)$
and is mapped onto
$X$
. Since
${T}_{\xi \left(x\right)}{N}^{l}$
is a horizontal space,
${\overline{\nabla}}_{X}\xi =0$
. Therefore,
$\xi $
is parallel along
${F}^{l}$
.
Corollary 2.1
Let
${N}^{n}$
be a connected complete totally geodesic horizontal
$n$
dimensional submanifold of the tangent bundle of a connected simply connected Riemannian manifold
${M}^{n}$
. Then
${M}^{n}$
is also complete and there is a parallel vector field
$\xi $
on
${M}^{n}$
such that
$\xi \left({M}^{n}\right)={N}^{n}$
.
3 The conditions on
$\xi \left({F}^{l}\right)$
to be totally geodesic.
Evidently, geometrical properties of the submanifold
$\xi \left({F}^{l}\right)$
depend on the submanifold
${F}^{l}$
and the vector field
$\xi $
. If one does not pose any restrictions on them, the geometry of
$\xi \left({F}^{l}\right)$
becomes rather intricate. Nevertheless, it is possible to formulate the conditions on
$\xi \left({F}^{l}\right)$
to be totally geodesic in more or less geometrical terms.
To do this, we introduce the notion of a
$\xi $
connection on the Riemannian manifold
${M}^{n}$
.
Definition 3.1
Let
${M}^{n}$
be a Riemannian manifold with Riemannian connection
$\overline{\nabla}$
and curvature tensor
$\overline{R}$
. Let
$\xi $
be a fixed smooth vector field on
${M}^{n}$
. Denote by
$\mathfrak{X}\left({M}^{n}\right)$
the set of all smooth vector fields on
${M}^{n}$
. The mapping
$\stackrel{*}{\nabla}:\mathfrak{X}\left({M}^{n}\right)\times \mathfrak{X}\left({M}^{n}\right)\to \mathfrak{X}\left({M}^{n}\right)$
defined by
$$\begin{array}{c}{\stackrel{*}{\nabla}}_{\overline{X}}\overline{Y}={\overline{\nabla}}_{\overline{X}}\overline{Y}+\frac{1}{2}\left[\overline{R}(\xi ,{\overline{\nabla}}_{\overline{X}}\xi )\overline{Y}+\overline{R}(\xi ,{\overline{\nabla}}_{\overline{Y}}\xi )\overline{X}\right]\end{array}$$ 
(7)

is a torsionfree affine connection on
${M}^{n}$
. It is called the
$\xi $
connection.
Remark that if
$\xi $
is a parallel vector field or the manifold
${M}^{n}$
is flat, then the
$\xi $
connection is the same as the LeviCivita connection of
${M}^{n}$
.
It is easy to check that (
7 ) indeed defines a torsionfree affine connection.
Now we can state the main technical tool for the further considerations.
Proposition 3.1
Let
${F}^{l}$
be a submanifold in a Riemannian manifold
${M}^{n}.$
Let
$\xi $
be a vector field on
${M}^{n}$
along
${F}^{l}$
. Then
$\xi \left({F}^{l}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if

(a)
${F}^{l}$
is totally geodesic with respect to the
$\xi $
connection ( 7 );

(b)
for any vector fields
$X,Y$
on
${F}^{l}$
$${\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi ={\overline{\nabla}}_{{\stackrel{*}{\nabla}}_{X}Y}\xi +\frac{1}{2}\overline{R}(X,Y)\xi .$$
Proof. By definition, the submanifold
$\xi \left({F}^{l}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if
${g}_{s}({\stackrel{~}{\nabla}}_{\stackrel{~}{X}}\stackrel{~}{Y},\stackrel{~}{N})=0$
for any vector fields
$\stackrel{~}{X},\stackrel{~}{Y}$
tangent to
$\xi \left({F}^{l}\right)$
along
$\xi \left({F}^{l}\right)$
and
$\stackrel{~}{N}$
normal to
$\xi \left({F}^{l}\right)$
. To calculate
${\stackrel{~}{\nabla}}_{\stackrel{~}{X}}\stackrel{~}{Y}$
, we use the Kowalski formulas [
9]
.
For any vector fields
$\overline{X},\overline{Y}$
on
${M}^{n}$
, the covariant derivatives of various combinations of lifts to the point
$(x,\xi )\in T{M}^{n}$
can be found as follows
$$\begin{array}{c}\begin{array}{cc}{\stackrel{~}{\nabla}}_{{\overline{X}}^{h}}{\overline{Y}}^{h}=({\overline{\nabla}}_{\overline{X}}\overline{Y}{)}^{h}\frac{1}{2}(\overline{R}(\overline{X},\overline{Y})\xi {)}^{v},& {\stackrel{~}{\nabla}}_{{\overline{X}}^{v}}{\overline{Y}}^{h}=\frac{1}{2}\left(\overline{R}\right(\xi ,\overline{X})\overline{Y}{)}^{h},\\ {\stackrel{~}{\nabla}}_{{\overline{X}}^{h}}{\overline{Y}}^{v}=({\overline{\nabla}}_{\overline{X}}\overline{Y}{)}^{v}+\frac{1}{2}(\overline{R}(\xi ,\overline{Y})\overline{X}{)}^{h},& {\stackrel{~}{\nabla}}_{{\overline{X}}^{v}}{\overline{Y}}^{v}=0.\end{array}\end{array}$$ 
(8)

where
$\overline{\nabla}$
and
$\overline{R}$
are the LeviCivita connection and the curvature tensor of
${M}^{n}$
respectively.
Let
$\stackrel{~}{X}={X}^{h}+({\overline{\nabla}}_{X}\xi {)}^{v}$
and
$\stackrel{~}{Y}=(Y{)}^{h}+({\overline{\nabla}}_{Y}\xi {)}^{v}$
be vector fields tangent to
$\xi \left({F}^{l}\right).$
Then, applying ( 8 ), we easily find
$${\stackrel{~}{\nabla}}_{\stackrel{~}{X}}\stackrel{~}{Y}=({\overline{\nabla}}_{X}Y+\frac{1}{2}\overline{R}(\xi ,{\overline{\nabla}}_{X}\xi )Y+\frac{1}{2}\overline{R}(\xi ,{\overline{\nabla}}_{Y}\xi )X{)}^{h}+({\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi \frac{1}{2}\overline{R}(X,Y)\xi {)}^{v}$$
or
$${\stackrel{~}{\nabla}}_{\stackrel{~}{X}}\stackrel{~}{Y}=({\stackrel{*}{\nabla}}_{X}Y{)}^{h}+({\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi \frac{1}{2}\overline{R}(X,Y)\xi {)}^{v}.$$
Using Proposition 1.2 , we see that the totally geodesic property of
$\xi \left({F}^{l}\right)$
is equivalent to
$$\begin{array}{c}\{\begin{array}{cc}\overline{g}({\stackrel{*}{\nabla}}_{X}Y,\eta )& =0,\\ \overline{g}({\stackrel{*}{\nabla}}_{X}Y,(\nabla \xi {)}^{*}\eta )& =\overline{g}({\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi \frac{1}{2}\overline{R}(X,Y)\xi ,\eta ),\\ \overline{g}({\stackrel{*}{\nabla}}_{X}Y,(\nabla \xi {)}^{*}Z)& =\overline{g}({\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi \frac{1}{2}\overline{R}(X,Y)\xi ,Z),\end{array}\end{array}$$ 
(9)

for any vector fields
$X,Y,Z$
tangent to
${F}^{l}$
and any vector field
$\eta $
orthogonal to
${F}^{l}$
.
From
9
$({)}_{1}$
we see that
${F}^{l}$
must be autoparallel with respect to
$\stackrel{*}{\nabla}$
and hence totally geodesic [
8]
. Thus,
${\stackrel{*}{\nabla}}_{X}Y$
is tangent to
${F}^{l}$
and it is possible to apply ( 6 ). Therefore, we can rewrite the equations 9
$({)}_{2}$
and 9
$({)}_{3}$
as
$$\{\begin{array}{c}\overline{g}({\overline{\nabla}}_{{\stackrel{*}{\nabla}}_{X}Y}\xi {\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi +\frac{1}{2}\overline{R}(X,Y)\xi ,\eta )=0,\\ \overline{g}({\overline{\nabla}}_{{\stackrel{*}{\nabla}}_{X}Y}\xi {\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi +\frac{1}{2}\overline{R}(X,Y)\xi ,Z)=0\end{array}$$
for any vector fields
$\eta $
normal and
$Z$
tangent to
${F}^{l}$
along
${F}^{l}$
. Thus, we conclude
$${\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi ={\overline{\nabla}}_{{\stackrel{*}{\nabla}}_{X}Y}\xi +\frac{1}{2}\overline{R}(X,Y)\xi ,$$
which completes the proof.
For the cases when
$l=1$
and
$l=n$
, we get the known conditions for the totally geodesic property of
$\xi \left({F}^{l}\right)$
.
Corollary 3.1
If
$l=1$
and
$\xi \left({F}^{l}\right)$
is a curve
$\Gamma $
in
$T{M}^{n}$
then this curve is a geodesic if and only if
$$\{\begin{array}{c}{x}^{\prime \prime}+\overline{R}(\xi ,{\xi}^{\prime}){x}^{\prime}=0,\\ {\xi}^{\prime \prime}=0,\end{array}$$
where
${(}^{\prime})$
means the covariant derivative with respect to the natural parameter of
$\Gamma $
and
$x\left(\sigma \right)=(\pi \circ \Gamma )\left(\sigma \right)$
(cf. [
12]
);
Proof. Indeed, in this case
$\stackrel{~}{X}=\stackrel{~}{Y}={\Gamma}^{\prime}=({x}^{\prime}{)}^{h}+({\xi}^{\prime}{)}^{v}$
,
$\overline{X}=\overline{Y}={x}^{\prime}$
and
${\stackrel{*}{\nabla}}_{\overline{X}}\overline{Y}={x}^{\prime \prime}+\overline{R}(\xi ,{\xi}^{\prime}){x}^{\prime}$
. Thus,
$x\left(\sigma \right)$
is geodesic with respect to the
$\xi $
connection iff
${x}^{\prime \prime}+\overline{R}(\xi ,{\xi}^{\prime}){x}^{\prime}=0$
and the rest of the proof is evident.
Corollary 3.2
If
$l=n$
and
${F}^{l}={M}^{n}$
, then
$\xi \left({M}^{n}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if for any vector fields
$\overline{X},\overline{Y}$
on
${M}^{n}$
(cf. [
14]
)
$${\overline{\nabla}}_{\overline{X}}{\overline{\nabla}}_{\overline{Y}}\xi ={\overline{\nabla}}_{{\stackrel{*}{\nabla}}_{\overline{X}}\overline{Y}}\xi +\frac{1}{2}\overline{R}(\overline{X},\overline{Y})\xi .$$
Proof. In this case, only
$\left(b\right)$
of Proposition 3.1 should be checked, which completes the proof.
The result of Corollary 3.2 can be expressed in more geometrical terms.
To do this, introduce a symmetric bilinear mapping
${h}_{\xi}:\mathfrak{X}\left({M}^{n}\right)\times \mathfrak{X}\left({M}^{n}\right)\to \mathfrak{X}\left({M}^{n}\right)$
by
$$\begin{array}{c}{h}_{\xi}(\overline{X},\overline{Y})=\frac{1}{2}\left[\overline{R}(\xi ,{\nabla}_{\overline{X}}\xi )\overline{Y}+\overline{R}(\xi ,{\nabla}_{\overline{Y}}\xi )\overline{X}\right],\end{array}$$ 
(10)

for all
$\overline{X}$
,
$\overline{Y}\in \mathfrak{X}\left({M}^{n}\right)$
. Then the definition of the
$\xi $
connection takes as similar form as the Gauss decomposition
$$\begin{array}{c}{\stackrel{*}{\nabla}}_{\overline{X}}\overline{Y}={\overline{\nabla}}_{\overline{X}}\overline{Y}+{h}_{\xi}(\overline{X},\overline{Y}).\end{array}$$ 
(11)

Define a “shape operator”
${A}_{\xi}$
for the field
$\xi $
by
$$\begin{array}{c}{A}_{\xi}\overline{Y}={\overline{\nabla}}_{\overline{Y}}\xi ,\text{for all}\overline{Y}\in \mathfrak{X}\left({M}^{n}\right).\end{array}$$ 
(12)

Then the covariant derivative of the
$(1,1)$
tensor field
${A}_{\xi}$
is given by
$$\left({\overline{\nabla}}_{\overline{X}}{A}_{\xi}\right)\overline{Y}={\overline{\nabla}}_{\overline{X}}{\overline{\nabla}}_{\overline{Y}}\xi +{\overline{\nabla}}_{{\overline{\nabla}}_{\overline{X}}\overline{Y}}\xi .$$
Hence we see that the Codazzitype equation
$\overline{R}(\overline{X},\overline{Y})\xi =\left({\overline{\nabla}}_{\overline{Y}}{A}_{\xi}\right)\overline{X}\left({\overline{\nabla}}_{\overline{X}}{A}_{\xi}\right)\overline{Y}$
holds. In these notations
$${\overline{\nabla}}_{{\stackrel{*}{\nabla}}_{\overline{X}}\overline{Y}}\xi +\frac{1}{2}\overline{R}(\overline{X},\overline{Y})\xi {\overline{\nabla}}_{\overline{X}}{\overline{\nabla}}_{\overline{Y}}\xi ={\overline{\nabla}}_{{h}_{\xi}(\overline{X},\overline{Y})}\xi +\frac{1}{2}\left[\left({\overline{\nabla}}_{\overline{X}}{A}_{\xi}\right)\overline{Y}+\left({\overline{\nabla}}_{\overline{Y}}{A}_{\xi}\right)\overline{X}\right].$$
If we introduce a symmetric bilinear mapping
${\Omega}_{\xi}:\mathfrak{X}\left({M}^{n}\right)\times \mathfrak{X}\left({M}^{n}\right)\to \mathfrak{X}\left({M}^{n}\right)$
defined by
$${\Omega}_{\xi}(\overline{X},\overline{Y})={\overline{\nabla}}_{{h}_{\xi}(\overline{X},\overline{Y})}\xi +\frac{1}{2}\left[\left({\overline{\nabla}}_{\overline{X}}{A}_{\xi}\right)\overline{Y}+\left({\overline{\nabla}}_{\overline{Y}}{A}_{\xi}\right)\overline{X}\right],$$
then Corollary 3.2 can be reformulated as
Corollary 3.3
If
$\xi $
is a smooth vector field on a Riemannian manifold
${M}^{n}$
then
$\xi \left({M}^{n}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if for any vector fields
$\overline{X},\overline{Y}$
on
${M}^{n}$
$$\begin{array}{c}{\Omega}_{\xi}(\overline{X},\overline{Y})={\overline{\nabla}}_{{h}_{\xi}(\overline{X},\overline{Y})}\xi +\frac{1}{2}\left[\left({\overline{\nabla}}_{\overline{X}}{A}_{\xi}\right)\overline{Y}+\left({\overline{\nabla}}_{\overline{Y}}{A}_{\xi}\right)\overline{X}\right]\equiv 0,\end{array}$$ 
(13)

where
${h}_{\xi}$
and
${A}_{\xi}$
are defined by ( 10 ) and ( 12 ) respectively.
Remark. The statement of Proposition 3.1 can also be reformulated in these terms, namely, let
${F}^{l}$
be a submanifold in a Riemannian manifold
${M}^{n}$
and
$\xi $
be a vector field on
${M}^{n}$
along
${F}^{l}$
. Then
$\xi \left({F}^{l}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if
${F}^{l}$
is totally geodesic with respect to the
$\xi $
connection ( 7 ) and
${\Omega}_{\xi}$
vanishes on the tangent bundle of
${F}^{l}$
Now, combining Theorem 2.1 with Proposition 3.1 , we obtain
Corollary 3.4
On a connected simply connected compact
$n$
dimensional Riemannian manifold, vector fields satisfying
$\left(b\right)$
of Proposition 3.1 generate the only connected compact totally geodesic
$n$
dimensional submanifolds of the tangent bundle which are transverse to fibers.
As has been shown in [
20]
, for the case of the unit tangent bundle, the Hopf vector fields on odd dimensional spheres generate totally geodesic submanifolds in
${T}_{1}{S}^{n}$
. For the tangent bundle the situation is different.
Theorem 3.1
A nonzero Killing vector field on a space of nonzero constant curvature
$({M}^{n},c)$
never generates a totally geodesic submanifold in
$T{M}^{n}$
. Moreover, a manifold with positive sectional curvature does not admit a nonzero Killing vector field with totally geodesic property.
Proof. Let
$\xi $
be a Killing vector field on a space
${M}^{n}$
of constant curvature
$c$
. Then
${A}_{\xi}$
is a skewsymmetric linear operator, i.e.
$$\begin{array}{c}\overline{g}({A}_{\xi}\overline{X},\overline{Y})+\overline{g}(\overline{X},{A}_{\xi}\overline{Y})=0,\end{array}$$ 
(14)

and moreover,
$$\begin{array}{c}\left({\overline{\nabla}}_{\overline{X}}{A}_{\xi}\right)\overline{Y}=\overline{R}(\xi ,\overline{X})\overline{Y}\end{array}$$ 
(15)

for all vector fields
$\overline{X},\overline{Y}$
on
${M}^{n}$
(cf. [
8]
). Since
${M}^{n}$
is of nonzero constant curvature, the equation ( 13 ) can be simplified in the following way.
$$\begin{array}{cc}\left({\overline{\nabla}}_{\overline{X}}{A}_{\xi}\right)\overline{Y}+\left({\overline{\nabla}}_{\overline{Y}}{A}_{\xi}\right)\overline{X}=& \overline{R}(\xi ,\overline{X})\overline{Y}+\overline{R}(\xi ,\overline{Y})\overline{X}=\end{array}$$  
$$\begin{array}{cc}& c\left[2\overline{g}(\overline{X},\overline{Y})\xi \overline{g}(\xi ,\overline{X})\overline{Y}\overline{g}(\xi ,\overline{Y})\overline{X}\right]\end{array}$$  
$$\begin{array}{c}\overline{R}(\xi ,{\overline{\nabla}}_{\overline{X}}\xi )\overline{Y}+\overline{R}(\xi ,{\overline{\nabla}}_{\overline{Y}}\xi )\overline{X}=c\left[\overline{g}({\overline{\nabla}}_{\overline{X}}\xi ,\overline{Y})+\overline{g}(\overline{X},{\overline{\nabla}}_{\overline{Y}}\xi )\overline{X})\right]\xi \end{array}$$  
$$\begin{array}{c}c\left[\left(\overline{g}\right(\xi ,\overline{X}){\overline{\nabla}}_{\overline{Y}}\xi +\overline{g}(\xi ,\overline{Y}\left){\overline{\nabla}}_{\overline{X}}\xi \right)\right]=c\left[\overline{g}(\xi ,\overline{X}){A}_{\xi}\overline{Y}+\overline{g}(\xi ,\overline{Y}){A}_{\xi}\overline{X}\right].\end{array}$$  
So,
$\xi $
is totally geodesic if
$$\overline{g}(\xi ,\overline{X})\overline{Y}+\overline{g}(\xi ,\overline{Y})\overline{X}{\overline{\nabla}}_{\overline{g}(\xi ,\overline{X}){A}_{\xi}\overline{Y}+\overline{g}(\xi ,\overline{Y}){A}_{\xi}\overline{X}}\xi =2\overline{g}(\overline{X},\overline{Y})\xi ,$$
or
$$\overline{g}(\xi ,\overline{X})\left[\overline{Y}+{A}_{\xi}\left({A}_{\xi}\overline{Y}\right)\right]+\overline{g}(\xi ,\overline{Y})\left[\overline{X}+{A}_{\xi}\left({A}_{\xi}\overline{X}\right)\right]=2\overline{g}(\overline{X},\overline{Y})\xi ,$$
for all vector fields
$\overline{X},\overline{Y}$
on
${M}^{n}$
. Choosing
$\overline{X},\overline{Y}$
such that
${\overline{X}}_{x}\ne 0$
and
${\overline{X}}_{x}={\overline{Y}}_{x}\perp {\xi}_{x},$
we get
$2{\overline{X}}_{x}{}^{2}{\xi}_{x}=0$
. Therefore,
$\xi =0$
for all
$x\in {M}^{n}.$
Let
$\xi $
be a nonzero Killing vector field on a manifold with positive (nonconstant) sectional curvature. From ( 14 ) it follows that
${A}_{\xi}\xi \perp \xi $
. If
${A}_{\xi}\xi =0$
, then, after setting
$Y=\xi $
in ( 14 ), we conclude that
$\xi $
has a constant length and therefore can be totally geodesic if it is a parallel vector field [
14]
.
In this case,
${M}^{n}={M}^{n1}\times {E}^{1}$
and we come to a contradiction. Suppose that
${A}_{\xi}\xi \ne 0$
. Then
$\xi \wedge {A}_{\xi}\xi $
is a nonzero bivector field. Setting
$\overline{Y}=\overline{X}$
in ( 13 ) and using ( 15 ), we have
$${A}_{\xi}\left[\overline{R}(\xi ,{A}_{\xi}\overline{X})\overline{X}\right]+\overline{R}(\xi ,\overline{X})\overline{X}=0.$$
Taking a scalar product in both sides with
$\xi $
and applying ( 14 ), we get
$$\overline{g}\left(\overline{R}\right(\xi ,{A}_{\xi}\overline{X})\overline{X},{A}_{\xi}\xi )+{K}_{\xi \wedge \overline{X}}\xi \wedge \overline{X}{}^{2}=0.$$
Finally, setting
$\overline{X}={A}_{\xi}\xi $
, we have
${K}_{\xi \wedge \overline{X}}=0$
and come to a contradiction.
The next Theorem is analogous to the one proved by Walczak P. [14] , but does not have similar rigid consequences for the structure of
${M}^{n}$
.
Theorem 3.2
Let
$\xi $
be a vector field of constant length along a submanifold
${F}^{l}\subset {M}^{n}$
.
Then
$\xi \left({F}^{l}\right)$
is a totally geodesic submanifold in
$T{M}^{n}$
if and only if
${F}^{l}$
is totally geodesic in
${M}^{n}$
and
$\xi $
is a parallel vector field on
${M}^{n}$
along
${F}^{l}$
.
Proof. The condition
$\left\xi \right=const$
implies
$\overline{g}({\overline{\nabla}}_{X}\xi ,\xi )=0$
for any vector field
$X$
tangent to
${F}^{l}$
. As
$\xi \left({F}^{l}\right)$
is supposed to be totally geodesic, it follows from the second condition of Proposition 3.1 that
$\overline{g}({\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi ,\xi )=0$
.
Hence
$\overline{g}({\overline{\nabla}}_{X}\xi ,{\overline{\nabla}}_{Y}\xi )=0$
for any
$X,Y\in {T}_{x}{F}^{l}$
,
$x\in {F}^{l}$
. Supposing
$X=Y$
, we see that
${\overline{\nabla}}_{X}\xi =0$
, i.e.
$\xi $
is parallel along
${F}^{l}$
in the ambient space and the second condition of Proposition 3.1 is fulfilled. Moreover, the condition
${\overline{\nabla}}_{X}\xi =0$
means that the
$\xi $
connection ( 7 ) coincides with the LeviCivita connection of
${M}^{n}$
, so that by Proposition 3.1
${F}^{l}$
is totally geodesic in
${M}^{n}$
.
On the other hand, if
${F}^{l}$
is totally geodesic in
${M}^{n}$
and
${\overline{\nabla}}_{X}\xi =0$
for any tangent vector field
$X$
on
${F}^{l}$
, then both conditions from Proposition 3.1 are satisfied evidently.
Giving more restrictions on the vector field, we can a more geometrical result.
Theorem 3.3
Let
$\xi $
be a normal vector field on a submanifold
$\mathit{}{F}^{l}\subset {M}^{n},$
which is parallel in the normal bundle. Then
$\xi \left({F}^{l}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if
${F}^{l}$
is totally geodesic in
${M}^{n}.$
Proof. If
$\xi $
is a normal vector field to
${F}^{l}$
and parallel in the normal bundle, then
${\overline{\nabla}}_{X}\xi ={A}_{\xi}X$
for each vector field
$X$
on
${F}^{l}$
, where
${A}_{\xi}$
is the shape operator of
${F}^{l}$
with respect to
$\xi ,$
and hence
$\overline{g}({\overline{\nabla}}_{X}\xi ,\xi )=0.$
This means that
$\left\xi \right$
=const along
${F}^{l}$
.
Let
$\xi \left({F}^{l}\right)$
be totally geodesic in
$T{M}^{n}$
. Then from (b) of Proposition 3.1 we see that
$\overline{g}({\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi ,\xi )=0$
, which implies
$\left{\overline{\nabla}}_{X}\xi \right=0$
for each
$X$
tangent to
${F}^{l}$
. In this case, along
${F}^{l}$
the
$\xi $
connection ( 7 ) coincides with the LeviCivita connection of
${M}^{n}$
and (a) of Proposition 3.1 implies the totally geodesic property of
${F}^{l}$
.
Conversely, if
$\xi $
is a normal vector field which is parallel in the normal bundle of
${F}^{l}$
and
${F}^{l}$
is totally geodesic, then
${\overline{\nabla}}_{X}\xi =0$
for any vector field
$X$
tangent to
${F}^{l}$
. Evidently, both conditions of Proposition 3.1 are fulfilled.
The application of Theorem 3.3 to the specific case of a foliated Riemannian manifold allows to clarify the geometrical structure of
$\xi \left({M}^{n}\right)$
. The manifold
${M}^{n}$
is said to be
$\nu $
foliated if it admits a family
$\mathcal{\mathcal{F}}$
of connected
$\nu $
dimensional submanifolds
$\{{\mathcal{\mathcal{F}}}_{\alpha};\alpha \in A\}$
called leaves such that (i)
${M}^{n}={\cup}_{\alpha \in A}{\mathcal{\mathcal{F}}}_{\alpha}$
; (ii)
${\mathcal{\mathcal{F}}}_{\alpha}\cap {\mathcal{\mathcal{F}}}_{\beta}=\varnothing $
for
$\alpha \ne \beta $
; (iii) there exists a coordinate covering
$\mathcal{U}$
of
${M}^{n}$
such that in each local chart
$U\in \mathcal{U}$
the leaves can be expressed locally as level submanifolds, i.e.
${u}^{\nu +1}={c}_{\nu +1},...,{u}^{n}={c}_{n}$
.
The family
$\mathcal{\mathcal{F}}$
is called a
$\nu $
foliation and hyperfoliation for
$\nu =n1$
. The hyperfoliation is said to be transversally orientable if
${M}^{n}$
admits a vector field
$\xi $
transversal to the leaves. Moreover, with respect to the Riemannian metric on
${M}^{n}$
, this vector field can be chosen as a field of unit normals for each leaf.
A submanifold
${F}^{k+\nu}\subset {M}^{n}$
is called
$\nu $
ruled if
${F}^{k+\nu}$
admits a
$\nu $
foliation
$\left\{{\mathcal{\mathcal{F}}}_{\alpha};\alpha \in A\right\}$
such that each leaf
${\mathcal{\mathcal{F}}}_{\alpha}$
is totally geodesic in
${M}^{n}$
. The leaves
${\mathcal{\mathcal{F}}}_{\alpha}$
are called elements or generators [
11]
.
Corollary 3.5
Let
${M}^{n}$
be a Riemannian manifold admitting a totally geodesic transversally orientable hyperfoliation
$\mathcal{\mathcal{F}}$
. Let
$\xi $
be a field of normals of the foliation having constant length. Then
$\xi \left({M}^{n}\right)$
is an
$(n1)$
ruled submanifold in
$T{M}^{n}$
with the elements
$\xi \left({\mathcal{\mathcal{F}}}_{\alpha}\right)$
.
Proof. Indeed, let
${\mathcal{\mathcal{F}}}_{\alpha}$
be a leaf of the hyperfoliation and
$\xi $
be a vector field of constant length on
${M}^{n}$
which is a field of normals along each leaf. Applying Theorem 3.3 , we get that
$\xi \left({\mathcal{\mathcal{F}}}_{\alpha}\right)$
is totally geodesic in
$T{M}^{n}$
for each
$\alpha $
. Since
$\xi :{M}^{n}\to \xi \left({M}^{n}\right)$
is a homeomorphism,
$\xi \left({\mathcal{\mathcal{F}}}_{\alpha}\right)\cap \xi \left({\mathcal{\mathcal{F}}}_{\beta}\right)=\varnothing $
for
$\alpha \ne \beta $
and
$\xi \left({M}^{n}\right)={\cup}_{\alpha \in A}\xi \left({\mathcal{\mathcal{F}}}_{\alpha}\right)$
.
Finally, if
${\mathcal{\mathcal{F}}}_{\alpha}$
is given by
${u}^{n}={c}_{n}$
within a local chart
$U$
then from ( 4 ) we see that
$\xi \left({\mathcal{\mathcal{F}}}_{\alpha}\right)$
is given by the same equalities within the local chart
$\xi \left(U\right)$
.
So,
$\xi (\mathcal{\mathcal{F}})=\left\{\xi \left({\mathcal{\mathcal{F}}}_{\alpha}\right);\alpha \in A\right\}$
form a hyperfoliation on
$\xi \left({M}^{n}\right)$
with totally geodesic leaves in
$T{M}^{n}$
.
4 The case of a base space of constant curvature.
If the ambient space is of constant curvature
$c\ne 0$
and
$\xi $
is a normal vector field on a submanifold
${F}^{l}\subset {M}^{n}$
, then the necessary and sufficient condition on
$\xi $
to generate a totally geodesic submanifold in
$T{M}^{n}$
takes a rather simple form.
Theorem 4.1
Let
${F}^{l}$
be a submanifold of a space
${M}^{n}\left(c\right)$
of constant curvature
$c\ne 0$
. Let
$\xi $
be a normal vector field on
${F}^{l}.$
Then
$\xi \left({F}^{l}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if
${F}^{l}$
is totally geodesic in
${M}^{n}\left(c\right)$
and
$\xi $
is parallel in the normal bundle.
Proof. The curvature tensor of
${M}^{n}\left(c\right)$
is of the form
$$\begin{array}{c}\overline{R}(\overline{X},\overline{Y})\overline{Z}=c\left(\overline{g}\right(\overline{Y},\overline{Z})\overline{X}\overline{g}(\overline{X},\overline{Z}\left)\overline{Y}\right).\end{array}$$ 
(16)

If
$\xi $
is a normal vector field on
${F}^{l}$
then
${\overline{\nabla}}_{X}\xi ={A}_{\xi}X+{\nabla}_{X}^{\perp}\xi .$
As
${A}_{\xi}X$
is tangent and
${\nabla}_{X}^{\perp}\xi $
is normal to
${F}^{l}$
, from ( 16 ) we find
$$\overline{R}(\xi ,{\overline{\nabla}}_{X}\xi )Y=cg({A}_{\xi}X,Y)\xi $$
for any vector fields
$X,Y$
on
${F}^{l}.$
Thus, the conditions from Proposition 3.1 mean that
$$\begin{array}{c}\{\begin{array}{c}{\overline{\nabla}}_{X}Ycg({A}_{\xi}X,Y)\xi \text{is tangent to}{F}^{l},\\ {\overline{\nabla}}_{{\overline{\nabla}}_{X}Ycg({A}_{\xi}X,Y)\xi}\xi ={\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi .\end{array}\end{array}$$ 
(17)

Multiplying 17
$({)}_{1}$
by
$\xi $
and by normal vector field
$\eta $
orthogonal to
$\xi $
, we have
$$\{\begin{array}{c}g({A}_{\xi}X,Y)(1c\xi {}^{2})=0,\\ g({A}_{\eta}X,Y)=0.\end{array}$$
If
$\xi $
is of constant length
$\xi {}^{2}=\frac{1}{c}(c>0)$
then by Theorem 3.2 ,
${F}^{l}$
is totally geodesic in
${M}^{n},$
otherwise
${F}^{l}$
is totally geodesic immediately.
So,
${F}^{l}$
is totally geodesic and therefore
${\overline{\nabla}}_{X}\xi ={\nabla}_{X}^{\perp}\xi $
,
${\overline{\nabla}}_{X}Y={\nabla}_{X}Y$
.
The condition
17
$({)}_{2}$
now takes the form
$$\begin{array}{c}{\nabla}_{{\nabla}_{X}Y}^{\perp}\xi ={\nabla}_{X}^{\perp}{\nabla}_{Y}^{\perp}\xi .\end{array}$$ 
(18)

Set
$Y={\nabla}_{V}Z$
, where
$V$
and
$Z$
are arbitrary vector fields tangent to
${F}^{l}$
.
Then from (
18 ), we get
$${\nabla}_{{\nabla}_{X}{\nabla}_{V}Z}^{\perp}\xi ={\nabla}_{X}^{\perp}{\nabla}_{{\nabla}_{V}Z}^{\perp}\xi .$$
Applying ( 18 ) to
${\nabla}_{{\nabla}_{V}Z}^{\perp}\xi $
in the righthand side of the above equation, we see that
${\nabla}_{{\nabla}_{V}Z}^{\perp}\xi ={\nabla}_{V}^{\perp}{\nabla}_{Z}^{\perp}\xi $
and therefore,
$$\begin{array}{c}{\nabla}_{{\nabla}_{X}{\nabla}_{V}Z}^{\perp}\xi ={\nabla}_{X}^{\perp}{\nabla}_{V}^{\perp}{\nabla}_{Z}^{\perp}\xi .\end{array}$$ 
(19)

Interchanging the roles of
$X$
and
$V$
, we get
$$\begin{array}{c}{\nabla}_{{\nabla}_{V}{\nabla}_{X}Z}^{\perp}\xi ={\nabla}_{V}^{\perp}{\nabla}_{X}^{\perp}{\nabla}_{Z}^{\perp}\xi .\end{array}$$ 
(20)

Finally, applying again ( 18 ) to the bracket
$[X,V]$
and
$Z$
, we get
$$\begin{array}{c}{\nabla}_{{\nabla}_{[X,V]}Z}^{\perp}\xi ={\nabla}_{[X,V]}^{\perp}{\nabla}_{Z}^{\perp}\xi .\end{array}$$ 
(21)

Combining ( 19 ),( 20 ) and ( 21 ), we obtain
$${\nabla}_{R(X,V)Z}^{\perp}\xi ={R}^{\perp}(X,V){\nabla}_{Z}^{\perp}\xi $$
where
$R$
is the curvature tensor of
${F}^{l}$
and
${R}^{\perp}$
is the normal curvature tensor. Since
${F}^{l}$
is totally geodesic and
${M}^{n}\left(c\right)$
is of constant curvature,
${R}^{\perp}(X,Y)\eta \equiv 0$
for any normal vector field
$\eta $
and, moreover,
$$R(X,Y)Z=c\left(g\right(Y,Z)Xg(X,Z\left)Y\right).$$
So, we have
$$c{\nabla}_{g(Y,Z)Xg(X,Z)Y}^{\perp}\xi =0.$$
Setting
$X$
orthogonal to
$Y$
and
$Y=Z$
we get
${\nabla}_{X}^{\perp}\xi =0$
for any vector field
$X$
on
${F}^{l}$
, which completes the necessary part of the proof. The sufficient part is trivial.
The application of Theorem 4.1 to the case of a space of constant curvature shows the difference between our considerations and Walczak's [14] . Let
${S}^{n}$
be the unit sphere and
${S}^{n1}$
be the unit totally geodesic great sphere in
${S}^{n}$
. Denote by
${D}^{n}$
an open equatorial zone around
${S}^{n1}$
where the unit geodesic vector field orthogonal to
${S}^{n1}$
is regularly defined. Then
${D}^{n}$
is a Riemannian manifold of constant positive curvature and
${S}^{n1}$
is a totally geodesic submanifold in
${D}^{n}$
.
Let
$\xi $
be a unit (or of constant length) geodesic vector field on
${D}^{n}\subset {S}^{n}$
which is normal to the totally geodesic great sphere
${S}^{n1}$
. Then
$\xi \left({D}^{n}\right)$
is not totally geodesic in
$T{D}^{n}$
while the restriction of
$\xi $
to
${S}^{n1}$
generates the totally geodesic submanifold
$\xi \left({S}^{n1}\right)$
in
$T{D}^{n}$
.
Indeed,
$\xi $
is of constant length and by Walczak's result,
$\xi \left({D}^{n}\right)$
can be totally geodesic in
$T{D}^{n}$
only if
$\xi $
is a parallel vector field on
${D}^{n}$
[
14]
, which is impossible due to positive curvature of
${D}^{n}$
. On the other hand,
$\xi $
is parallel in the normal bundle of
${S}^{n1}\subset {D}^{n}$
and we can apply Theorem 4.1 to see that
$\xi \left({S}^{n1}\right)$
is totally geodesic in
$T{D}^{n}$
.
As concerns flat Riemannian manifolds, Walczak has shown that every totally geodesic vector field on a flat Riemannian manifold is harmonic (cf.
[
14]
) and that, consequently, on a compact flat Riemannian manifold, a vector field is totally geodesic if and only if it is parallel. We shall give a similar result for vector fields along submanifolds.
Theorem 4.2
Let
${F}^{l}$
be a compact oriented submanifold in a flat Riemannian manifold
${M}^{n}$
. Let
$\xi $
be a vector field on
${F}^{l}$
. Then
$\xi \left({F}^{l}\right)$
is totally geodesic in
$T{M}^{n}$
if and only if
${F}^{l}$
is totally geodesic in
${M}^{n}$
and
$\xi $
is parallel along
${F}^{l}$
.
Proof. Since
${M}^{n}$
is flat, the
$\xi $
connection is the same as the LeviCivita connection on
${M}^{n}$
. So, by Proposition 3.1 ,
$\xi \left({F}^{l}\right)$
is totally geodesic if and only if
${F}^{l}$
is totally geodesic and
$$\begin{array}{c}{\overline{\nabla}}_{X}{\overline{\nabla}}_{Y}\xi ={\overline{\nabla}}_{{\overline{\nabla}}_{X}Y}\xi \end{array}$$ 
(22)

for all vector fields
$X$
and
$Y$
on
${F}^{l}$
.
Suppose now that
$\xi \left({F}^{l}\right)$
is totally geodesic. Then
${F}^{l}$
is totally geodesic and is thus flat. Hence locally we can choose vector fields
${X}_{1}$
,
${X}_{2}$
,...,
${X}_{l}$
tangent to
${F}^{l}$
such that
${\overline{\nabla}}_{{X}_{i}}{X}_{j}={\nabla}_{{X}_{i}}{X}_{j}=0$
, and
$\overline{g}({X}_{i},{X}_{j})=g({X}_{i},{X}_{j})={\delta}_{ij}$
, for all
$i,j=1,...,l$
. Putting
$X=Y={X}_{i}$
in the identity ( 22 ), we obtain
${\overline{\nabla}}_{{X}_{i}}{\overline{\nabla}}_{{X}_{i}}\xi =0$
. Hence,
${\sum}_{i=1}^{l}\overline{g}({\overline{\nabla}}_{{X}_{i}}{\overline{\nabla}}_{{X}_{i}}\xi ,\xi )=0$
, i.e.
$$\begin{array}{c}{\sum}_{i=1}^{l}{X}_{i}.\overline{g}({\overline{\nabla}}_{{X}_{i}}\xi ,\xi )={\sum}_{i=1}^{l}{\overline{\nabla}}_{{X}_{i}}\xi {}^{2}.\end{array}$$ 
(23)

If we consider the function
$f$
defined by
$f\left(x\right)=\frac{1}{2}{\overline{g}}_{x}(\xi ,\xi )$
, for all
$x\in {F}^{l}$
, then we can define a global vector field
${X}_{f}$
on
${F}^{l}$
by the local formula
${X}_{f}=g({\overline{\nabla}}_{{X}_{i}}\xi ,\xi ){X}_{i}$
. Formula ( 23 ) can thus be written locally as div
${X}_{f}$
=
${\sum}_{i=1}^{l}{\overline{\nabla}}_{{X}_{i}}\xi {}^{2}$
.
Integrating both sides of the last equality and applying Green's theorem, we obtain
${\sum}_{i=1}^{l}{\int}_{{F}^{l}}{\overline{\nabla}}_{{X}_{i}}\xi {}^{2}dv=0$
, and hence
${\overline{\nabla}}_{{X}_{i}}\xi =0$
, for all
$i=1,...,l$
.
Therefore
$\xi $
is parallel along
${F}^{l}$
.
The sufficient part of the theorem is trivial.
Remarks. 1. If in Theorem 4.2 the field
$\xi $
is a normal vector field along
${F}^{l}$
, then
${\overline{\nabla}}_{X}\xi $
is also normal for each vector field
$X$
on
${F}^{l}$
. Indeed, for the
${X}_{i}$
's constructed in the proof of the theorem, we have
$\overline{g}({\overline{\nabla}}_{{X}_{i}}\xi ,{X}_{j})={X}_{i}.\overline{g}(\xi ,{X}_{j})=0$
, and so
${\overline{\nabla}}_{{X}_{i}}\xi $
is normal to
${F}^{l}$
. Hence the identity ( 22 ) can be written as
$$\begin{array}{c}{\overline{\nabla}}_{X}^{\perp}{\overline{\nabla}}_{Y}^{\perp}\xi ={\overline{\nabla}}_{{\nabla}_{X}Y}\xi .\end{array}$$ 
(24)

Also,
$\xi $
is parallel if and only if it is parallel in the normal bundle. Hence
$\xi \left({F}^{l}\right)$
is totally geodesic if and only if
${F}^{l}$
is totally geodesic and
$\xi $
is parallel in the normal bundle.
2. The condition of compactness is necessary. Indeed, if we consider
${\mathbb{R}}^{n}$
with its canonical coordinates
$({x}_{1},{x}_{2},...,{x}_{n})$
and its canonical Euclidean metric, and the hypersurface
${\mathbb{R}}^{n1}$
which is identified with the subspace given by:
${x}_{n}=0$
, then
${\mathbb{R}}^{n1}$
is an oriented totally geodesic submanifold of
${\mathbb{R}}^{n}$
. We have
${\overline{\nabla}}_{\partial /\partial {x}_{i}}\partial /\partial {x}_{j}=0$
for all
$i,j=1,...,n$
. We consider the vector field
$\xi $
on
${\mathbb{R}}^{n}$
along
${\mathbb{R}}^{n1}$
defined by
$\xi \left(x\right)={x}_{1}\partial /\partial {x}_{n}\left(x\right)$
, where
${x}_{1}$
is the first component of
$x$
. Now, to show that
$\xi \left({\mathbb{R}}^{n1}\right)$
is totally geodesic in
$T{\mathbb{R}}^{n}$
, it suffices to check that ( 22 ) is verified. In fact,
${\overline{\nabla}}_{\partial /\partial {x}_{i}}{\overline{\nabla}}_{\partial /\partial {x}_{j}}\xi ={\overline{\nabla}}_{\partial /\partial {x}_{i}}{\delta}_{1j}\partial /\partial {x}_{n}=0$
. But
${\overline{\nabla}}_{\partial /\partial {x}_{1}}\xi =\partial /\partial {x}_{n}$
, and so
$\xi $
is not parallel.
5 The case of Lie groups with biinvariant metrics
Let us consider a connected Lie group
${G}^{n}$
equipped with a biinvariant metric
$\overline{g}$
, i.e. invariant by both left and right translations. We shall generalize the results of Walczak P. [
14]
on totally geodesic left invariant vector fields on
${G}^{n}$
to left invariant vector fields along Lie subgroups.
Let
${H}^{l}$
be a Lie subgroup of
${G}^{n}$
. The metric
$g$
induced from
$\overline{g}$
on
${H}^{l}$
is a biinvariant metric. If we denote by
$\overline{\nabla}$
and
$\nabla $
the LeviCivita connections on
${G}^{n}$
and
${H}^{l}$
respectively, then we have
${\overline{\nabla}}_{X}Y=\frac{1}{2}[X,Y]$
, for all
$X$
,
$Y$
of
$\mathfrak{g}$
, the Lie algebra of
${G}^{n}$
, and
${\nabla}_{X}Y=\frac{1}{2}[X,Y]$
, for all
$X$
,
$Y$
of
$\mathfrak{h}$
, the Lie algebra of
${H}^{l}$
.
Lemma 5.1
A connected complete submanifold
${F}^{l}$
of
${G}^{n}$
containing the identity element
$e$
of
${G}^{n}$
, such that
${T}_{e}{F}^{l}$
is a subalgebra of
$\mathfrak{g}$
, is totally geodesic if and only if
${F}^{l}$
is a Lie subgroup
${H}^{l}$
of
${G}^{n}$
.
Proof. If we denote by
$exp$
the exponential mapping
$exp:\mathfrak{g}\to {G}^{n}$
of the Lie group
${G}^{n}$
, and by
${exp}_{x}:{T}_{x}{G}^{n}\to {G}^{n}$
the exponential map at a point
$x$
of
${G}^{n}$
with respect to the LeviCivita connection of the metric
$g$
, then for all
$x\in {G}^{n}$
,
${exp}_{x}=exp\circ ({L}_{{x}^{1}}{)}_{*}$
, where
${L}_{x}$
is the left translation of
${G}^{n}$
by
$x$
. Indeed, we show firstly that
${exp}_{e}=exp$
. Let
$X\in \mathfrak{g}\equiv {T}_{e}{G}^{n}$
and
$\gamma \left(t\right)=exptX$
. It suffices to check that
$\gamma $
is a geodesic. We have
$\dot{\gamma}\left(t\right)=\left({L}_{\gamma \left(t\right)}{)}_{*}\right(\dot{\gamma}\left(0\right))=({L}_{\gamma \left(t\right)}{)}_{*}\left(X\right)$
, and thus
${\overline{\nabla}}_{\dot{\gamma}\left(t\right)}\dot{\gamma}\left(t\right)={\overline{\nabla}}_{X\left(\gamma \right(t\left)\right)}X\left(\gamma \right(t\left)\right)$
, where
$X$
denotes also the left invariant vector field on
${G}^{n}$
corresponding to
$X$
. Hence
${\overline{\nabla}}_{\dot{\gamma}\left(t\right)}\dot{\gamma}\left(t\right)=\frac{1}{2}[X,X]\left(\gamma \right(t\left)\right)=0$
, and so
${exp}_{e}=exp$
. Now, our assertion follows from the fact that left translations are isometries.
We consider a Lie subgroup
${H}^{l}$
of
${G}^{n}$
and
$\mathfrak{h}={T}_{e}{H}^{l}$
its Lie algebra.
If
$X\in \mathfrak{h}$
, then
${exp}_{e}tX=exptX\in {H}^{l}$
, for all
$t$
in a neighborhood of
$0$
, i.e.
${H}^{l}$
contains the geodesic starting from
$e$
and with initial condition
$X$
, and by the left translations,
${H}^{l}$
contains all geodesics starting from points of
${H}^{l}$
with initial vectors tangent to
${H}^{l}$
at these points. Thus
${H}^{l}$
is totally geodesic.
Conversely, suppose that
${F}^{l}$
is a connected complete submanifold of
${G}^{n}$
such that
$e\in {F}^{l}$
and
${T}_{e}{F}^{l}=:\mathfrak{h}$
is a Lie subalgebra of
$\mathfrak{g}$
. Let
${H}^{l}$
be the connected subgroup of
${G}^{n}$
with Lie algebra
$\mathfrak{h}$
.
${H}^{l}$
is then a connected totally geodesic submanifold of
${G}^{n}$
with
${T}_{e}{H}^{l}={T}_{e}{F}^{l}$
. Therefore
${H}^{l}={F}^{l}$
.
Proposition 5.1
A left invariant vector field on
${G}^{n}$
along a submanifold
${F}^{l}$
generates a totally geodesic submanifold of
$T{G}^{n}$
if and only if it is parallel along
${F}^{l}$
and
${F}^{l}$
is totally geodesic.
Proof. A left invariant vector field on
${G}^{n}$
is necessarily of constant length, and we apply Theorem 3.2 .
Corollary 5.1
A left invariant vector field
$\xi $
on
${G}^{n}$
along a Lie subgroup
${H}^{l}$
is totally geodesic if and only if it is an element of the centralizer of
$\mathfrak{h}$
in
$\mathfrak{g}$
.
Proof. By Lemma 5.1 ,
${H}^{l}$
is a totally geodesic submanifold in
${G}^{n}$
.
Thus, by virtue of Proposition
5.1 ,
$\xi $
is totally geodesic if and only if
$\xi $
is parallel along
${H}^{l}$
.
Suppose that
$\xi $
is totally geodesic. Then
${\overline{\nabla}}_{X}\xi =0$
, for all
$X\in \mathfrak{h}$
; i.e.
$\xi $
is in the centralizer of
$\mathfrak{h}$
in
$\mathfrak{g}$
.
Conversely, if
$\xi $
is in the centralizer of
$\mathfrak{h}$
in
$\mathfrak{g}$
, then
${\overline{\nabla}}_{X}\xi =0$
, for all
$X\in \mathfrak{h}$
. Let
$x\in {H}^{l}$
and
$z\in {T}_{x}{H}^{l}$
. It suffices to prove that
${\overline{\nabla}}_{z}\xi =0$
. But
$X:=\left({L}_{{x}^{1}}{)}_{*}\right(z)\in {T}_{e}{H}^{l}\equiv \mathfrak{h}$
, and consequently
${\overline{\nabla}}_{z}\xi =\left({\overline{\nabla}}_{X}\xi \right)\left(x\right)=0$
.
Corollary 5.2
(a) There are no nonzero left invariant totally geodesic vector fields on a semisimple Lie subgroup of a Lie group with a biinvariant Riemannian metric.
(b) Every left invariant vector field along a subgroup of an abelian Lie group with a biinvariant Riemannian metric generates a totally geodesic submanifold of the tangent bundle.
Theorem 5.1
Let
${N}^{l}$
be a connected complete totally geodesic embedded submanifold of the tangent bundle of a connected Lie group
${G}^{n}$
equipped with a biinvariant Riemannian metric such that
${H}^{l}=\pi \left({N}^{l}\right)$
is a Lie subgroup of
${G}^{n}$
. Suppose that
${N}^{l}$
is horizontal at a point
$z$
of
${T}_{e}{G}^{n}$
.
(a) If
$z\in {T}_{e}{H}^{l}$
, then
${N}^{l}$
is the image of
${H}^{l}$
by a left invariant vector field on
${H}^{l}$
which belongs to the center of
$\mathfrak{h}$
. In particular, if
${H}^{l}$
is semisimple, then
${H}^{l}$
is the only connected totally geodesic embedded submanifold of
$T{G}^{n}$
which is tangent to
${H}^{l}$
at
$e$
and orthogonal to the fiber at a point of
${T}_{e}{G}^{n}$
.
(b) If
${H}^{l}$
is simple, then
${N}^{l}$
is the image of
${H}^{l}$
by a left invariant vector field on
${G}^{n}$
along
${H}^{l}$
which belongs to the centralizer of
$\mathfrak{h}$
in
$\mathfrak{g}$
.
Proof. Using Proposition 2.1 , there is a neighborhood
$U$
of
$e$
in
${G}^{n}$
, a neighborhood
$V$
of
$z$
in
$T{G}^{n}$
and a vector field
$Y$
on
${M}^{n}$
along
${H}^{l}\cap U$
such that
${N}^{l}\cap V=Y({H}^{l}\cap U),Y\left(e\right)=z$
. We have
${T}_{z}{N}^{l}={T}_{z}({N}^{l}\cap V)={T}_{z}Y({H}^{l}\cap U)$
. Then each vector of
${T}_{z}{N}^{l}$
can be written as
${X}^{h}+({\overline{\nabla}}_{X}Y{)}^{v}$
, for some
$X\in \mathfrak{h}$
. But
${T}_{z}{N}^{l}$
is a subset of the horizontal subspace of
$TT{G}^{n}$
at
$z$
, so at
$e$
we have
${\overline{\nabla}}_{X}Y=0$
for all
$X\in \mathfrak{h}$
. On the other hand, since
${N}^{l}\cap V=Y({H}^{l}\cap U)$
is totally geodesic, the second assertion of Proposition 3.1 reduces at
$e$
to the identity
$${\overline{\nabla}}_{{X}_{1}}{\overline{\nabla}}_{{X}_{2}}Y=\frac{1}{2}\overline{R}({X}_{1},{X}_{2})Y,\text{for all vector fields}{X}_{1},{X}_{2}\text{on}{H}^{l}.$$
Then for all
$W\in \mathfrak{g}={T}_{e}{G}^{n}$
, we have
$$\overline{g}({\overline{\nabla}}_{{X}_{1}\left(e\right)}{\overline{\nabla}}_{{X}_{2}}Y,W)=\frac{1}{2}\overline{g}\left(\overline{R}\right({X}_{1}\left(e\right),{X}_{2}\left(e\right)\left)Y\right(e),W).$$
If we extend
$W$
to a vector field
${X}_{3}$
along
${H}^{l}$
, which is orthogonal to
${\overline{\nabla}}_{{X}_{2}}Y$
in a neighborhood of
$e$
in
${H}^{l}$
, then we can write
$$\overline{g}({\overline{\nabla}}_{{X}_{1}\left(e\right)}{\overline{\nabla}}_{{X}_{2}}Y,W)=\overline{g}({\overline{\nabla}}_{{X}_{2}\left(e\right)}Y,{\overline{\nabla}}_{{X}_{1}\left(e\right)}{X}_{3})=0,$$
and consequently,
$\overline{g}\left(\overline{R}\right({X}_{1}\left(e\right),{X}_{2}\left(e\right)\left)Y\right(e),W)=0,$
for all
${X}_{1}\left(e\right),{X}_{2}\left(e\right)\in \mathfrak{h}={T}_{e}{H}^{l}$
and
$W\in \mathfrak{g}={T}_{e}{G}^{n}$
. Therefore we have
$R(\cdot ,\cdot )Y\left(e\right)=0,\text{when applied to vectors in}{T}_{e}{H}^{l}\text{}.$
Let us denote by
$\xi $
the left invariant vector field on
${G}^{n}$
along
${H}^{l}$
such that
$Y\left(e\right)=\xi \left(e\right)$
. Then
$\overline{R}(\cdot ,\cdot )\xi \left(e\right)=0$
when applied to vectors in
${T}_{e}{H}^{l}$
, and hence
$$\begin{array}{c}\overline{R}(\cdot ,\cdot )\xi =0,\text{when applied to elements of}\mathfrak{h}\text{.}\end{array}$$ 
(25)

Consider now two cases.
(a) If
$\xi \left(e\right)=z\in {T}_{e}{H}^{l}$
, then
$\xi \in \mathfrak{h}$
, and we have, by virtue of ( 25 ),
$\overline{R}(X,\xi )\xi =0$
, for all
$X\in \mathfrak{h}$
. Thus
$\left\right[\xi ,X]{}^{2}=4\overline{g}(\overline{R}(\xi ,X)X,\xi )=0$
for all
$X\in \mathfrak{h}$
. It follows that
$\xi $
belongs to the center of
$\mathfrak{h}$
.
(b) If
${H}^{l}$
is simple, then
$[\mathfrak{h},\mathfrak{h}]=\mathfrak{h}$
. But
${\overline{\nabla}}_{[{X}_{1},{X}_{2}]}\xi =\frac{1}{2}\left[\right[{X}_{1},{X}_{2}],\xi ]=2R({X}_{1},{X}_{2})\xi =0$
, for all
${X}_{1}$
,
${X}_{2}\in \mathfrak{h}$
, by virtue of ( 25 ). Since
$[\mathfrak{h},\mathfrak{h}]=\mathfrak{h}$
, we deduce easily that
${\overline{\nabla}}_{X}\xi =0$
, for all
$X\in \mathfrak{h}$
, or equivalently
$[X,\xi ]=0$
, for all
$X\in \mathfrak{h}$
. It follows that
$\xi $
belongs to the centralizer of
$\mathfrak{h}$
in
$\mathfrak{g}$
.
In both cases,
$\xi $
belongs to the centralizer of
$\mathfrak{h}$
in
$\mathfrak{g}$
. Hence, by Lemma 5.1 ,
${H}^{l}$
is totally geodesic in
${G}^{n}$
, and Proposition 5.1 implies then that
$\xi \left({H}^{l}\right)$
is a complete totally geodesic submanifold of
$T{G}^{n}$
. Therefore
$\xi \left({H}^{l}\right)={N}^{l}$
, because
${\xi}_{*}\left({T}_{e}{H}^{l}\right)={T}_{z}{N}^{l}$
and
${N}^{l}$
and
${H}^{l}$
are connected.
Corollary 5.3
Let
${N}^{l}$
be a connected complete horizontal totally geodesic submanifold of the tangent bundle of a connected Lie group
${G}^{n}$
equipped with a biinvariant Riemannian metric such that
${H}^{l}=\pi \left({N}^{l}\right)$
is a simply connected submanifold of
${G}^{n}$
containing the identity element. Suppose that
$\mathfrak{h}:={\pi}_{*}\left({T}_{z}{N}^{l}\right)$
is a Lie subalgebra of
$\mathfrak{g}$
for a point
$z$
of
${T}_{e}{G}^{n}\cap {N}^{l}$
. If
$Z\in {T}_{e}{H}^{l}$
(resp.
$\mathfrak{h}$
is simple), then
${H}^{l}$
is a Lie subgroup of
${G}^{n}$
and
${N}^{l}$
is the image of
${H}^{l}$
by a left invariant vector field on
${H}^{l}$
(resp. on
${G}^{n}$
along
${H}^{l}$
) which belongs to the center of
$\mathfrak{h}$
(resp. centralizer of
$\mathfrak{h}$
in
$\mathfrak{g}$
).
Proof. By Theorem 2.3 ,
${H}^{l}$
is complete and totally geodesic. It follows from Lemma 5.1 that
${H}^{l}$
is a Lie subgroup of
${G}^{n}$
. Now, our corollary follows from Theorem 5.1 .
References

Boeckx E., Vanhecke L. Harmonic and minimal radial vector fields, Acta Math. Hungar. 90(2001), 317331.

Boeckx E., Vanhecke L. Harmonic and minimal vector fields on tangent and unit tangent bundles, Differential Geom. Appl.13 (2000), 7793.

Dombrowski P. On the geometry of tangent bundle, J. Reine Angew. Math., 210 (1962), N 12, 7388.

GilMedrano O., LlinaresFuster E. Second variation of volume and energy of vector fields. Stability of Hopf vector fields, Math. Ann. 320 (2001), 531545.

GilMedrano O., LlinaresFuster E. Minimal unit vector fields, Tôhoku Math. J., 54(2002), 7184.

Gluck H., Ziller W. On the volume of a unit vector field on the threesphere, Comm. Math. Helv. 61 (1986), 177192.

GonzálezDávila J.C., Vanhecke L. Examples of minimal unit vector fields, Ann. Global Anal. Geom. 18 (2000), 385404.

Kobayashi S., Nomizu K. Foundations of differential geometry, Interscience Publ., Vol.1 (1967) and Vol.1,2 (1969).

Kowalski O. Curvature of the induced Riemannian metric on the tangent bundle of a Riemannian manifold, J. Reine Angew. Math. 250 (1971), 124129.

Liu M.S. Affine maps of tangent bundles with Sasaki metric, Tensor, N.S., 28 (1974), 3442.

Rovenskii V. Foliations on Riemannian Manifolds and Submanifolds. Birkhäuser, 1997.

Sasaki S. On the differential geometry of tangent bundles of Riemannian manifolds, Tôhoku Math. J. 10 (1958), 338354.

Sato K. Geodesics on the tangent bundles over space forms, Tensor, 32 (1978), 510.

Walczak P. On totally geodesic submanifolds of tangent bundles with Sasaki metric, Bull. Acad. Pol. Sci., ser. Sci. Math., 28 (1980), N 34, 161165.

Walczak P. On the energy of unit vector fields with isolated singularities, Ann. Pol. Math., LXXII.3 (2000), 269274.

Warner, F.W. Foundations of differentiable manifolds and Lie groups, Academic Press, New York, 1971.

Wood C.M. On the energy of a unit vector field, Geom. Dedicata 64 (1997), 319330.

Yampolsky A. On the mean curvature of a unit vector field, Math. Publ. Debrecen, 60/12 (2002), 131 – 155.

Yampolsky A. On the intrinsic geometry of a unit vector field, Comment. Math. Univ. Carolinae 43, 2 (2002), 299317.

Yampolsky A. Totally geodesic property of the Hopf vector field, Acta Math. Hungarica, Acta Math. Hungar. 101, 12 (2003), 7392.
Mohamed Tahar Kadaoui ABBASSI, Département des Mathématiques, Faculté des sciences Dhar El Mahraz, Université Sidi Mohamed Ben Abdallah, B.P. 1796, FesAtlas, Fes, Morocco e.mail: mtk_abbassi@Yahoo.fr Alexander YAMPOLSKY, Department of Geometry, Faculty of Mechanics and Mathematics, Kharkiv National University, Svobody Sq. 4, 61077, Kharkiv, Ukraine. email: yamp@univer.kharkov.ua