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 ( M , g )   be an ( n + 1 )   – dimensional Riemannian manifold with metric g   . A vector field ξ   on it is called holonomic if ξ   is a field of normals of some family of regular hypersurfaces in M   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 [1for details).
Recently, the geometry of vector fields has been considered from another point of view. Let T 1 M   be a unit tangent bundle of M   endowed with the Sasaki metric [15. If ξ   is a unit vector field on M   , then one may consider ξ   as a mapping ξ : M T 1 M   . The image ξ ( M )   is a submanifold in T 1 M   with metric induced from T 1 M   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 ξ ( M )   is a minimal submanifold in T 1 M   . A unit vector field on S 3   tangent to the fibers of the Hopf fibration S 3 S 1 S 2   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 E n   [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 [19the author presented an explicit expression for the second fundamental form of ξ ( M )   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 [20this problem was solved in the case of 2-manifolds of constant curvature. In [22an 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 ξ ( M )   is a totally geodesic submanifold in T 1 M   . 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 ( M n , g )   . Then ξ   can be considered as a mapping ξ : M n T 1 M n   . In this way one can use geometrical properties of the submanifold ξ ( M n )   to determine the geometrical characteristics of the vector field.
Definition 1.1 A unit vector field on Riemannian manifold M n   is said to be totally geodesic, if the submanifold ξ ( M n ) T 1 M n   is totally geodesic in the unit tangent bundle with the Sasaki metric.
Definition 1.2 A point q M n   is said to be stationary for the vector field ξ   if X ξ | q = 0   for all X T q M n   .
If stationary points fills a domain D M n   , then locally M n = M n k × E k   , where E k   is a Euclidean factor of dimension k 1   . In the case n = 2   , the manifold is then flat in D   . 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 M 2   be a Riemannian manifold with sign-preserving Gaussian curvature K   . Then , on some open subset U of M, there exists a unit totally geodesic vector field ξ   if and only if
  • (a) the metric g   on U   is locally of the form d s 2 = d u 2 + sin 2 α ( u ) d v 2 ,   where α ( u )   solves the differential equation d α d u = 1 a + 1 cos α ;  
  • (b) the totally geodesic unit vector field ξ   is of the form ξ = cos ( a v + ω 0 ) u + sin ( a v + ω 0 ) sin α ( u ) v ,   where a , ω 0 = c o n s t   .
Remark. The Gaussian curvature K   of the metric is
K = d α d u . (1)
Therefore, α ( u )   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 a   with respect to the coordinate frame.
Proof. Let ξ   be a given unit vector field on Riemannian manifold M n   .
For dimension reasons, the kernel of the linear operator X ξ : T M n ξ   is not empty. Therefore, there is a non-zero vector field e 0   such that e 0 ξ = 0   .
In the case n = 2   , the field e 0   can be found explicitly. Denote by η   a unit vector field on M 2   which is orthogonal to ξ   . Set ξ ξ = k η , η η = ϰ ξ ,   where k   and ϰ   are the signed geodesic curvatures of the integral trajectories of the fields ξ   and η   respectively. Introduce an orthonormal frame e 0 = ϰ λ ξ + k λ η , e 1 = k λ ξ ϰ λ η , λ = k 2 + ϰ 2 .   The fields e 0   and e 1   are correctly defined on an open subset U M 2   where the field ξ   has no stationary points, i.e., points where λ = 0   . Restrict ourselves to this open part. It is elementary to check that
e 0 ξ = 0 , e 1 ξ = λ η . (2)
Denote by ω   the angle function between ξ   and e 0   . Then
k = λ sin ω , ϰ = λ cos ω (3)
and we can set
ξ = cos ω e 0 + sin ω e 1 , η = sin ω e 0 cos ω e 1 . (4)
Denote by μ   and σ   the signed geodesic curvatures of the integral curves of the fields e 0   and e 1   respectively. Then e 0 e 0 = μ e 1 , e 1 e 1 = σ e 0 .   In these terms, the second fundamental form of the submanifold ξ ( M ) T 1 M   can be expressed as [20
Ω = [ μ λ 1 + λ 2 1 2 ( σ λ + 1 λ 2 1 + λ 2 e 0 ( λ ) ) 1 2 ( σ λ + 1 λ 2 1 + λ 2 e 0 ( λ ) ) e 1 ( λ 1 + λ 2 ) ] . (5)
Set cos ( α / 2 ) = 1 1 + λ 2 .   Then we have
λ 1 + λ 2 = sin ( α / 2 ) , 1 λ 2 1 + λ 2 = cos α ,
e 0 ( λ ) = e 0 ( α ) 2 cos 2 ( α / 2 ) , e 1 ( λ 1 + λ 2 ) = 1 2 cos ( α / 2 ) e 1 ( α ) .
After these simplifications Ω = 1 2 [ 2 μ sin ( α / 2 ) σ sin α + e 0 ( α ) cos α 2 cos 2 ( α / 2 ) σ sin α + e 0 ( α ) cos α 2 cos 2 ( α / 2 ) cos ( α / 2 ) e 1 ( α ) ] .   Set Ω 0   . Then μ 0   , since sin ( α / 2 ) 0   implies λ 0   , which contradicts the hypothesis. Therefore, a if totally geodesic vector field exists, then the integral trajectories of the field e 0   are geodesics.
Since cos ( α / 2 ) 0   , then
e 1 ( α ) 0 . (6)
Introduce a local semi-geodesic coordinate system ( u , v )   such that u = e 0 , v = f ( u , v ) e 1 ,   where f ( u , v )   is some non-zero function. Then the line element of M 2   can be written as d s 2 = d u 2 + f 2 d v 2   The condition  6 implies v α = 0   , which means that α = α ( u )   .
Consider now the last condition σ sin α + e 0 ( α ) cos α = 0 .   If cos α 0   , then sin α 1   and hence σ 0   . This means that e 0   is a parallel vector field on M 2   and hence K = 0   again. Set σ tan α + e 0 ( α ) = 0 .   With respect to the chosen semi-geodesic coordinate system, σ = u f / f   and we come to the following relation u f f = cot α u α .   Because of  6 , we have α = α ( u )   and the equation above has an evident solution f ( u , v ) = C ( v ) sin α ,   where C ( v ) 0   is a constant of integration. Making a v   parameter change one can always set C ( v ) 1   . Therefore, the line element of a 2-manifold M   which admits a totally geodesic vector unit field is necessarily of the form
d s 2 = d u 2 + sin 2 α ( u ) d v 2 . (7)
Turn now to the vector field. A direct computation yields
e 0 ξ = e 0 ( cos ω e 0 + sin ω e 1 ) = ( e 0 ( ω ) μ ) η ,
e 1 ξ = e 1 ( cos ω e 0 + sin ω e 1 ) = ( e 1 ( ω ) + σ ) η .
Since μ = 0   and e 0 ξ = 0   , we see that u ω = 0   and hence ω = ω ( v )   . The second equality means, that e 1 ( ω ) + σ = tan ( α / 2 ) .   With respect to a chosen coordinate system, we have σ = cot α u α   and hence v ω = sin α ( σ tan ( α / 2 ) = cos α u α 2 sin 2 ( α / 2 )   The right hand side does not depend on the v   parameter and therefore v v 2 ω = 0   which means that ω = a v + ω 0 , ( a , ω 0 = c o n s t ) .   As a consequence, we come to the following differential equation for the function α ( u )   :
cos α u α + 2 sin 2 ( α / 2 ) = a   or equivalently
d α d u = 1 a + 1 cos α . (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 K   is sign-preserving, the relation  1 allows to choose α   as a new parameter on u   -curves. With respect to the parameter α   we have d u = d α K = cos α a + 1 cos α d α   and the line element  7 takes the form
d s 2 = ( cos α a + 1 cos α ) 2 d α 2 + sin 2 α d v 2 . (9)
Remark. If ξ   is a unit vector field on the Riemannian manifold M n   , then the induced metric on ξ ( M n )   is d s ~ 2 = g i k d u i d u k + < i ξ , k ξ > d u i d u k .   If ξ   is a totally geodesic vector field on M 2   , then the metric of M 2   has the standard form  7 and u ξ = e 0 ξ = 0 , v ξ = sin α e 1 ξ = sin α λ η = 2 sin 2 ( α / 2 ) η .   Thus, we have d s ~ 2 = d u 2 + sin 2 α d v 2 + 4 sin 4 ( α / 2 ) d v 2 = d u 2 + 4 sin 2 ( α / 2 ) d v 2 .   Taking into account  1 we can easily find the Gaussian curvature of the totally geodesic submanifold ξ ( M 2 )   , namely K ~ = 1 4 K ( K 2 cot ( α / 2 ) K α ) ,   where K ( α )   is the Gaussian curvature of M 2   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 M 2   be a Riemannian manifold with a line element of the form d s 2 = d u 2 + sin 2 α ( u ) d v 2 .   Denote by K   the Gaussian curvature of M 2   . Then K = d α d u   if and only if the function α ( u )   satisfies d α d u = 1 + m cos α ( m = c o n s t ) .  
Proof. The sufficient part is already proved. Suppose now that d α d u = K ( 0 ) .   Then we have α = K = u u ( sin α ) sin α = ( α ) 2 cot α α .   Therefore, α = α ( 1 α ) tan α ,   or α α 1 = α tan α ,   or ( ln | α 1 | ) = ( ln | cos α | ) .   Evidently, now | α 1 | = | m | | cos α |   where m = c o n s t   is a constant of integration. Finally, d α d u = 1 + m cos α .  
Corollary 1.1 Let M 2   be a Riemannian manifold of constant curvature c 0   . Then M 2   admits a totally geodesic unit vector field if and only if c = 1   . This vector field is parallel along meridians and moves along parallels with unit angle speed.
Proof. If K = c = c o n s t   , then  1 can be satisfied if and only if c = 1 , a = 1   .
The equation  1 implies an elementary non-existence result.
Corollary 1.2 Let M 2   be a Riemannian manifold with Gaussian curvature K   . Then M 2   does not admit a totally geodesic unit vector field ξ   with angle speed a   if | K 1 | < | a + 1 |   .
Proof. Indeed, one can easily see that cos α = a + 1 1 K .   If | a + 1 | > | K 1 |   , 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 γ = { u ( s ) , v ( s ) }   be an integral trajectory. Since ξ = cos ω e 0 + sin ω e 1 = cos ω u + sin ω sin α v ,   we can set d u d s = cos ω , d v d s = sin ω sin α   and then d u d v = cot ω sin α .   Since α = α ( u )   and ω = a v + ω 0   , we come to the equation with separable variables d u sin α = cot ω d v .   Using  8 , we can find d u d α = cos α a 1 + cos α   and make a parameter change in the left hand side of the equation above.
Then we come to the equation cos α d α sin α ( a 1 + cos α ) = cot ω d v .   Taking primitives, we have
tan ( α / 2 ) sin ( a v + ω 0 ) = c ( a + ( a + 2 ) tan 2 ( α / 2 ) ) a + 1 a + 2 for a 0 , 2 ,
tan ( α / 2 ) sin ( 2 v + ω 0 ) = c e 1 2 tan 2 ( α / 2 ) for a = 2 ,
1 2 tan ω 0 ( 1 1 cos α + ln | tan ( α / 2 ) | ) = v c for a = 0 .
Taking into account  3 , we remark that tan ( α / 2 ) sin ω = k   and tan 2 ( α / 2 ) = k 2 + ϰ 2   . Therefore, we have an intrinsic equation on the integral curves of the totally geodesic vector field
k = c [ a + ( a + 2 ) ( k 2 + ϰ 2 ) ] a + 1 a + 2 for a 0 , 2 ,
k = c e 1 2 ( k 2 + ϰ 2 ) for a = 2 ,
k = sin ω 0 exp [ 2 cot ω 0 ( v c ) 1 2 1 + k 2 + ϰ 2 k 2 + ϰ 2 ] for a = 0 ,
where c   is a constant of integration.
Moreover, in any case
ξ ( k ) = cos ω u [ tan ( α / 2 ) sin ω ] + sin ω sin α v [ tan ( α / 2 ) sin ω ] = cos ω sin ω α u 2 cos 2 ( α / 2 ) + a sin ω cos ω tan ( α / 2 ) sin α = cos ω sin ω 2 cos 2 ( α / 2 ) ( α u + a ) .  
The equation  8 yields ξ ( k ) = ( a + 1 ) cos ω sin ω 2 cos 2 ( α / 2 ) ( 1 1 cos α ) .   Thus, if a = 1   , then the integral trajectories of the field ξ   form a family of circles. The metric of M 2   is d s 2 = d u 2 + sin 2 u d v 2   and we are dealing with the unit sphere parameterized by r = { sin u cos v , sin u sin v , cos u } .   These circles satisfy
tan ( u / 2 ) sin v = c . (10)
Let ( ρ , φ )   be polar coordinates in a Cartesian plane which passes through the center of the sphere such that ( 0 , 0 , 1 )   is the north pole on the sphere.
Then the parameters ( ρ , φ )   and ( u , v )   are connected via stereographic projection from the south pole as
ρ = tan ( u / 2 ) ,
φ = v .
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 r ( v ) = { 2 c sin v cos v c 2 + sin 2 v , 2 c sin 2 v c 2 + sin 2 v , c 2 sin 2 v c 2 + sin 2 v }   where c   is the geodesic curvature of the corresponding circle. All of these circles pass through the south pole ( 0 , 0 , 1 )   when v = 0 , π   . We can find this by using the expression tan ( u / 2 ) = c / sin v   and trigonometric expressions for sin u   and cos u   via tan ( u / 2 )   .
The unit sphere is not the unique surface that realizes the metric  9 . Let ( x , y , z )   be standard Cartesian coordinates in E 3   . We can find an isometric immersion of the metric  9 into E 3   in a class of a surfaces of revolution. To do this, set
x ( α ) = sin α ,
( x α ) 2 + ( z α ) 2 = ( cos α a + 1 cos α ) 2
and we easily find
x ( α ) = sin α ,
z ( α ) = α 0 α cos t a + 1 cos t 1 ( a + 1 cos t ) 2 d t ,
where the interval of integration is limited by the restrictions { 1 + a < cos α < 2 + a , 2 < a < 1 , or { a < cos α < 1 + a , 1 < a < 0 .   The restrictions mean that if | a + 1 | 1   , then the metric  9 does not admit an isometric immersion into E 3   in a class of surfaces of revolution. References

  1. Aminov Yu. The geometry of vector fields. Gordon&Breach Publ., 2000.
  2. Boeckx E., Vanhecke L. Harmonic and minimal radial vector fields. Acta Math. Hungar. 90 (2001), 317-331.
  3. Boeckx E., Vanhecke L. Harmonic and minimal vector fields on tangent and unit tangent bundles. Differential Geom. Appl. 13 (2000), 77-93.
  4. Boeckx E., Vanhecke L. Isoparametric functions and harmonic and minimal unit vector fields, Contemp. Math. 288 (2001), 20–31.
  5. 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.
  6. Brito F., Chacon P., Naveira A. On the volume of vector fields on spaces of constant sectional curvature, Preprint, 2001.
  7. Gil-Medrano O.,Llinares-Fuster E. Minimal unit vector fields, Tôhoku Math. J. 54 (2002), 71 – 84.
  8. 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.
  9. Gil-Medrano O. Relationship between volume and energy of unit vector fields, Diff. Geom. Appl. 15 (2001), 137-152.
  10. 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.
  11. Gluck H., Ziller W. On the volume of a unit vector field on the three-sphere. Comm. Math. Helv. 61 (1986), 177-192.
  12. González-Dávila J.C., Vanhecke L. Examples of minimal unit vector fields. Ann Global Anal. Geom. 18 (2000), 385-404.
  13. 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.
  14. Pedersen S. L. Volumes of vector fields on spheres, Trans. Amer. Math. Soc. 336 (1993), 69-78.
  15. Sasaki S. On the differential geometry of tangent bundles of Riemannian manifolds. Tôhoku Math. J. 10 (1958), 338-354.
  16. Tsukada K.,Vanhecke L. Minimality and harmonicity for Hopf vector fields, Illinois J. Geom. 45 (2001), 441 – 451.
  17. Tsukada K.,Vanhecke L. Invariant minimal unit vector fields on Lie groups, Period. Math. Hungar. 40 (2000), 123-133.
  18. Tsukada K.,Vanhecke L. Minimal and harmonic vector fields on G 2 ( C m + 2 )   and its dual space. Monatsh. Math. 130 (2000), 143-154.
  19. Yampolsky A. On the mean curvature of a unit vector field, Math. Publ. Debrecen, 60/1-2 (2002), 131 – 155.
  20. Yampolsky A. On the intrinsic geometry of a unit vector field, Comment. Math. Univ. Carol. 43/2 (2002), 299-317.
  21. Yampolsky A. A totally geodesic property of Hopf vector fields, Acta Math. Hungar. 101/1-2 (2003), 93-112.
  22. 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