Full description of totally geodesic unit vector fields on 2-dimensional Riemannian manifolds.
Yampolsky A.
Abstract
We give a full geometrical description of local totally geodesic unit vector field on Riemannian 2-manifold, considering the field as a local imbedding of the manifold into its unit tangent bundle with the Sasaki metric.
Keywords: Sasaki metric, vector field, totally geodesic submanifolds.
AMS subject class: Primary 54C40,14E20; Secondary 46E25, 20C20 Introduction Let
be an
– dimensional Riemannian manifold with metric
. A vector field
on it is called holonomic if
is a field of normals of some family of regular hypersurfaces in
and non-holonomic otherwise.
The foundation of the classical geometry of unit vector fields was proposed by A.Voss at the end of the nineteenth century. The theory includes the Gaussian and the mean curvature of a vector field and their generalizations (see [1] for details).
Recently, the geometry of vector fields has been considered from another point of view. Let
be a unit tangent bundle of
endowed with the Sasaki metric [15] . If
is a unit vector field on
, then one may consider
as a mapping
. The image
is a submanifold in
with metric induced from
and one may apply the methods from the study of the geometry of submanifolds to determine geometrical characteristics of a unit vector field. A unit vector field
is said to be minimal if
is a minimal submanifold in
. A unit vector field on
tangent to the fibers of the Hopf fibration
is a unique unit vector field with globally minimal volume [11] . This result fails in higher dimensions. A lower volume is achieved by a vector field with one singular point, namely the inverse image under stereographic projection inverse image of a parallel vector field on
[14] . The lowest volume is reached for the North-South vector field with two singular points [6] .
A local approach to minimality of unit vector fields was developed in [7] .
A number of examples of locally minimal unit vector fields was found [2 – 4, 7 – 10, 12 – 14, 16 – 18] on various manifolds. In [19] the author presented an explicit expression for the second fundamental form of
and found some examples of vector fields with constant mean curvature. This expression is the key to solving a problem about totally geodesic vector fields on a given Riemannian manifold. Originally, the problem of a full description of all totally geodesic submanifolds in the tangent (sphere) bundle of spaces of constant curvature was posed by A.Borisenko in [5] . The totally geodesic vector fields form a special class of such submanifolds. In [20] this problem was solved in the case of 2-manifolds of constant curvature. In [22] an example of a totally geodesic unit vector field was found on a surface of revolution with non-constant but sign-preserving Gaussian curvature.
In this paper, we completely determine the Riemannian 2-manifolds which admit a unit vector field
such that
is a totally geodesic submanifold in
. Moreover, we explicitly determine the vector field.
Under some restrictions, we find an isometric immersion of the metric into Euclidean 3-space which gives a surface with the necessary properties.
1 The main result
Let
be a unit vector field on a Riemannian manifold
. Then
can be considered as a mapping
. In this way one can use geometrical properties of the submanifold
to determine the geometrical characteristics of the vector field.
Definition 1.1
A unit vector field on Riemannian manifold
is said to be totally geodesic, if the submanifold
is totally geodesic in the unit tangent bundle with the Sasaki metric.
Definition 1.2
A point
is said to be stationary for the vector field
if
for all
.
If stationary points fills a domain
, then locally
, where
is a Euclidean factor of dimension
. In the case
, the manifold is then flat in
. If the manifold is of sign-preserving Gaussian curvature, then we can always restrict our considerations to the domain with no stationary points of a given unit vector field. The main result of the paper is the following theorem.
Theorem 1.1
Let
be a Riemannian manifold with sign-preserving Gaussian curvature
. Then , on some open subset U of M, there exists a unit totally geodesic vector field
if and only if
-
(a)
the metric
on
is locally of the form
where
solves the differential equation
-
(b)
the totally geodesic unit vector field
is of the form
where
.
Remark. The Gaussian curvature
of the metric is
Therefore,
is the total curvature of the manifold along the meridian of the metric. The vector field is parallel along meridians and bends along parallels with constant angle speed
with respect to the coordinate frame.
Proof. Let
be a given unit vector field on Riemannian manifold
.
For dimension reasons, the kernel of the linear operator
is not empty. Therefore, there is a non-zero vector field
such that
.
In the case
, the field
can be found explicitly. Denote by
a unit vector field on
which is orthogonal to
. Set
where
and
are the signed geodesic curvatures of the integral trajectories of the fields
and
respectively. Introduce an orthonormal frame
The fields
and
are correctly defined on an open subset
where the field
has no stationary points, i.e., points where
. Restrict ourselves to this open part. It is elementary to check that
|
(2)
|
Denote by
the angle function between
and
. Then
|
(3)
|
and we can set
|
(4)
|
Denote by
and
the signed geodesic curvatures of the integral curves of the fields
and
respectively. Then
In these terms, the second fundamental form of the submanifold
can be expressed as [
20]
|
(5)
|
Set
Then we have
| |
| |
After these simplifications
Set
. Then
, since
implies
, which contradicts the hypothesis. Therefore, a if totally geodesic vector field exists, then the integral trajectories of the field
are geodesics.
Since
, then
Introduce a local semi-geodesic coordinate system
such that
where
is some non-zero function. Then the line element of
can be written as
The condition 6 implies
, which means that
.
Consider now the last condition
If
, then
and hence
. This means that
is a parallel vector field on
and hence
again. Set
With respect to the chosen semi-geodesic coordinate system,
and we come to the following relation
Because of 6 , we have
and the equation above has an evident solution
where
is a constant of integration. Making a
parameter change one can always set
. Therefore, the line element of a 2-manifold
which admits a totally geodesic vector unit field is necessarily of the form
|
(7)
|
Turn now to the vector field. A direct computation yields
| |
| |
Since
and
, we see that
and hence
. The second equality means, that
With respect to a chosen coordinate system, we have
and hence
The right hand side does not depend on the
parameter and therefore
which means that
As a consequence, we come to the following differential equation for the function
:
or equivalently
|
(8)
|
The proof is complete.
Remark. A direct computation shows that if
is a solution of 8 , then Gaussian curvature of the metric 7 takes the form 1 . Since it is supposed that
is sign-preserving, the relation 1 allows to choose
as a new parameter on
-curves. With respect to the parameter
we have
and the line element 7 takes the form
|
(9)
|
Remark. If
is a unit vector field on the Riemannian manifold
, then the induced metric on
is
If
is a totally geodesic vector field on
, then the metric of
has the standard form 7 and
Thus, we have
Taking into account 1 we can easily find the Gaussian curvature of the totally geodesic submanifold
, namely
where
is the Gaussian curvature of
given by relations 1 and 8 .
The equations 8 and 1 completely determine the class of Riemannian 2-dimensional manifolds admitting a totally geodesic unit vector field.
Proposition 1.1
Let
be a Riemannian manifold with a line element of the form
Denote by
the Gaussian curvature of
. Then
if and only if the function
satisfies
Proof. The sufficient part is already proved. Suppose now that
Then we have
Therefore,
or
or
Evidently, now
where
is a constant of integration. Finally,
Corollary 1.1
Let
be a Riemannian manifold of constant curvature
. Then
admits a totally geodesic unit vector field if and only if
. This vector field is parallel along meridians and moves along parallels with unit angle speed.
Proof. If
, then 1 can be satisfied if and only if
.
The equation 1 implies an elementary non-existence result.
Corollary 1.2
Let
be a Riemannian manifold with Gaussian curvature
. Then
does not admit a totally geodesic unit vector field
with angle speed
if
.
Proof. Indeed, one can easily see that
If
, then we come to a contradiction.
2 Integral tra jectories of the totally geodesic vector field
The integral trajectories of the totally geodesic vector field
can be found easily as follows. Let
be an integral trajectory. Since
we can set
and then
Since
and
, we come to the equation with separable variables
Using 8 , we can find
and make a parameter change in the left hand side of the equation above.
Then we come to the equation
Taking primitives, we have
| |
| |
| |
Taking into account 3 , we remark that
and
. Therefore, we have an intrinsic equation on the integral curves of the totally geodesic vector field
| |
| |
| |
where
is a constant of integration.
Moreover, in any case
The equation 8 yields
Thus, if
, then the integral trajectories of the field
form a family of circles. The metric of
is
and we are dealing with the unit sphere parameterized by
These circles satisfy
|
(10)
|
Let
be polar coordinates in a Cartesian plane which passes through the center of the sphere such that
is the north pole on the sphere.
Then the parameters
and
are connected via stereographic projection from the south pole as
Therefore, the equation 10 defines a family of parallel straight lines on the Cartesian plane. The family of integral curves of a totally geodesic vector field on the unit sphere can be obtained as inverse images under stereogrphic projection of this family.
An explicit equation of this family is
where
is the geodesic curvature of the corresponding circle. All of these circles pass through the south pole
when
. We can find this by using the expression
and trigonometric expressions for
and
via
.
The unit sphere is not the unique surface that realizes the metric 9 . Let
be standard Cartesian coordinates in
. We can find an isometric immersion of the metric 9 into
in a class of a surfaces of revolution. To do this, set
| |
and we easily find
| |
where the interval of integration is limited by the restrictions
The restrictions mean that if
, then the metric 9 does not admit an isometric immersion into
in a class of surfaces of revolution. References
-
Aminov Yu. The geometry of vector fields. Gordon&Breach Publ., 2000.
-
Boeckx E., Vanhecke L. Harmonic and minimal radial vector fields. Acta Math. Hungar. 90 (2001), 317-331.
-
Boeckx E., Vanhecke L. Harmonic and minimal vector fields on tangent and unit tangent bundles. Differential Geom. Appl. 13 (2000), 77-93.
-
Boeckx E., Vanhecke L. Isoparametric functions and harmonic and minimal unit vector fields, Contemp. Math. 288 (2001), 20–31.
-
Borisenko A., Yampolsky A. Riemannian geometry of bundles. Uspehi Mat. Nauk, 26/6 (1991), 51-95; Engl. transl.: Russian Math. Surveys, 46/6 (1991), 55–106.
-
Brito F., Chacon P., Naveira A. On the volume of vector fields on spaces of constant sectional curvature, Preprint, 2001.
-
Gil-Medrano O.,Llinares-Fuster E. Minimal unit vector fields, Tôhoku Math. J. 54 (2002), 71 – 84.
-
Gil-Medrano O.,Llinares-Fuster E. Second variation of volume and energy of vector fields. Stability of Hopf vector fields, Math. Ann. 320 (2001), 531-545.
-
Gil-Medrano O. Relationship between volume and energy of unit vector fields, Diff. Geom. Appl. 15 (2001), 137-152.
-
Gil-Medrano O., González-Dávila J.C., Vanhecke L. Harmonic and minimal invariant unit vector fields on homogeneous Riemannian manifolds, Houston J. Math. 27 (2001), 377-409.
-
Gluck H., Ziller W. On the volume of a unit vector field on the three-sphere. Comm. Math. Helv. 61 (1986), 177-192.
-
González-Dávila J.C., Vanhecke L. Examples of minimal unit vector fields. Ann Global Anal. Geom. 18 (2000), 385-404.
-
González-Dávila J.C., Vanhecke L. Minimal and harmonic characteristic vector fields on three-dimensional contact mentic manifolds. J. Geom. 72 (2001), 65-76.
-
Pedersen S. L. Volumes of vector fields on spheres, Trans. Amer. Math. Soc. 336 (1993), 69-78.
-
Sasaki S. On the differential geometry of tangent bundles of Riemannian manifolds. Tôhoku Math. J. 10 (1958), 338-354.
-
Tsukada K.,Vanhecke L. Minimality and harmonicity for Hopf vector fields, Illinois J. Geom. 45 (2001), 441 – 451.
-
Tsukada K.,Vanhecke L. Invariant minimal unit vector fields on Lie groups, Period. Math. Hungar. 40 (2000), 123-133.
-
Tsukada K.,Vanhecke L. Minimal and harmonic vector fields on
and its dual space. Monatsh. Math. 130 (2000), 143-154.
-
Yampolsky A. On the mean curvature of a unit vector field, Math. Publ. Debrecen, 60/1-2 (2002), 131 – 155.
-
Yampolsky A. On the intrinsic geometry of a unit vector field, Comment. Math. Univ. Carol. 43/2 (2002), 299-317.
-
Yampolsky A. A totally geodesic property of Hopf vector fields, Acta Math. Hungar. 101/1-2 (2003), 93-112.
-
Yampolsky A. On extrinsic geometry of unit normal vector field of Riemannian hyperfoliation, Math. Publ. Debrecen 63/4 (2003), 555 – 567.
Department of Geometry, Faculty of Mechanics and Mathematics, Kharkiv National University, Svobody Sq. 4, 61077, Kharkiv, Ukraine. e-mail: yamp@univer.kharkov.ua