Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Next Article in Journal
Modified Tseng Method for Solving Pseudomonotone Variational Inequality Problem in Banach Spaces
Next Article in Special Issue
Global Models of Collapsing Scalar Field: Endstate
Previous Article in Journal
The Hermitian Solution to a New System of Commutative Quaternion Matrix Equations
Previous Article in Special Issue
A Unified Perspective on Poincaré and Galilei Relativity: I. Special Relativity
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Pseudo-Finsler Radially Symmetric Spaces

by
Marianty Ionel
1,† and
Miguel Ángel Javaloyes
2,*,†
1
Instituto de Matemática, Universidade Federal do Rio de Janeiro, Cidade Universitária, Rio de Janeiro 21941, Brazil
2
Departamento de Matemáticas, Universidad de Murcia, Campus de Espinardo, 30100 Murcia, Spain
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2024, 16(3), 362; https://doi.org/10.3390/sym16030362
Submission received: 31 January 2024 / Revised: 3 March 2024 / Accepted: 15 March 2024 / Published: 18 March 2024
(This article belongs to the Special Issue Recent Advance in Mathematical Physics II)

Abstract

:
We introduce the concept of radially symmetric pseudo-Finsler spaces, which generalize the notion of symmetric Finsler spaces, and prove that this concept is equivalent to the preservation of flag curvature by parallel transport together with reversibility. As a consequence, reversible pseudo-Finsler manifolds with constant flag curvature are radially symmetric.

1. Introduction

The theory of symmetric spaces was successfully developed by E. Cartan in the 1920s (see [1,2]). The concept is very simple: a complete Riemannian space is symmetric if for all p M , the map ϕ p , such that ϕ p ( γ ( t ) ) = γ ( t ) for all geodesic γ and all t R , is an isometry. Locally, this is equivalent to M having a parallel curvature tensor, and the term locally symmetric has been reserved for the spaces with this property. The notion of symmetric space makes sense in the Finslerian realm, but it has been proved that in the global case, there is little novelty, as globally symmetric Finsler spaces (with positive definite fundamental tensors throughout) are of Berwald type (their geodesics can be computed as the auto-parallel curves of an affine connection), and there is a Riemannian symmetric space with the same geodesics (see [3], Theorem 2.7). Regarding the local case, as observed by Egloff (see the comments in [4] and also [5]), a non-Riemannian Hilbert geometry provides a counterexample of a reversible Finsler metric with parallel curvature (in the sense that we will explain later), which is not locally symmetric; namely, it does not locally admit an isometry map ϕ p as defined above. Moreover, it seems that this concept of local symmetry is very restrictive and, in many cases, assuming some conditions on the flag curvature implies that the metric is Riemannian or Berwald (see [4,6,7,8]). For the study of Berwald symmetric spaces, see [3,9,10].
The main goal of this paper is to introduce a weaker notion of Finsler symmetric spaces, the so-called radially symmetric spaces, namely, those spaces with the property that the map ϕ p defined above is an isometry for the osculating metrics g v tangent to the radial geodesics from p (see Definition 6). Then, we prove that these spaces can be characterized by being reversible with flag curvature preserved by the parallel transport. At this point, it is important to point out that to define the parallel transport of the flag curvature, it is necessary to consider the parallel transport introduced in [11]. In this way, the flagpole is transported as an observer (taking as a reference the same vector field), while the transverse edge of the flag is transported with respect to the parallel observer determined by the flagpole (see Section 2.3). Unlike the Riemannian case, this condition does not imply that some data in the tangent map, namely, the curvature tensor and the Finsler metric, completely determines the Finsler metric in a neighborhood. Indeed, the Cartan–Ambrose–Hicks type theorem in Theorem 1 only provides information about the radial directions (compare this theorem with the one given in ([12], Theorem 2.1) without a complete proof). However, assuming that the metric is Berwald, we again recover this property (see Corollary 4).
To develop all the computations, we use the notion of anisotropic connection introduced in [13] rather than the more standard approach followed in [14]. The reasons for this choice will be explained at the beginning of Section 2. We organize the paper as follows: in Section 2, we define the concept of the anisotropic tensor field and introduce the notion of anisotropic connection and how it acts on anisotropic tensor fields. In Section 2.2, we introduce the curvature tensor of an anisotropic connection. In Section 2.3, we define the two types of parallel transport along a given curve, the observer-parallel transport of an admissible vector v with respect to an anisotropic connection and the parallel transport of a vector field along the curve with respect to a chosen admissible vector v. In the final Section 3, we prove in Proposition 3 that the Jacobi curvature operator is parallel if and only if it takes a parallel vector field into another parallel vector field in both cases with respect to an observer-parallel vector field V, and this is also equivalent to the flag curvature being invariant under parallel transport. To conclude this section, we prove the Cartan–Ambrose–Hicks type result mentioned in the beginning, a characterization of being radially symmetric as being reversible with parallel Jacobi operator (Corollary 2), and finally we prove that radially symmetric is equivalent to locally symmetric for Berwald metrics (Corollaries 4 and 5).

2. Anisotropic Tensor Calculus and Pseudo-Finsler Geometry

The anisotropic tensor calculus is an attempt to make computations in Finsler geometry closer to the techniques used in modern Riemannian geometry. Its origin dates back to the use of the osculating metric by A. Nazim [15] as early as 1936 in his Ph.D. thesis. A few years later, O. Varga [16] further studied the osculating metric and its Levi–Civita connection, which turned out to admit a good interpretation when a geodesic vector field V was chosen. In 1980, H. Matthias in his Ph.D. thesis [17] took a step forward defining the so-called family of affine connections constructed from the Chern connection, which is a connection on the vertical bundle, and a choice of a vector field V without zeroes. The use of this family of affine connections was clarified by Z. Shen in 2001 in his book about sprays [18], where he made clear that the family of affine connections is very useful to compute the Jacobi operator whenever the vector field V is geodesic ([18], Proposition 8.4.3). Around the same time, Álvarez-Paiva and Durán [19], Rademacher [20,21] and Kováks and Tóth [22] gave certain popularity to the consideration of the Chern connection as a family of affine connections. The notion of anisotropic tensor calculus has been recently introduced in [13,23]. Observe that a related notion of an anisotropic connection had previously appeared in ([18], Definition 7.1.1), but the notion used here is formally slightly different (see Definition 3). One of the main achievements of the anisotropic tensor calculus is that one can completely determine the Chern curvature tensor by means of affine connections without assuming that the prescribed vector field is geodesic (see Proposition 1). On the other hand, the covariant derivation of anisotropic tensor fields has a very natural interpretation using parallel transport, as explained in [11]. To obtain this interpretation, we need to define two different types of parallel transport, one which is already known, and it can be interpreted as the parallel transport of the non-linear connection, but we call it observer-parallel transport, and the another one with respect to a vector v, which takes as as reference the observer-parallel vector field obtained from v (see Definition 4). These definitions have been crucial to establishing the equivalences in Proposition 3. Even if it is possible to make all these definitions using connections on the vertical bundle of T M , they are very natural in the context of anisotropic tensor calculus, and as we state above, all the computations become quite similar to the modern treatment of Riemannian geometry. As this calculus is not yet a common ground in the Finslerian community, it is explained in the following. The explicit relation with the calculus using a connection in the vertical bundle is developed in ([13], Section 4.4).
Given a smooth manifold M of dimension n, with T M its tangent bundle and T M * its cotangent bundle, let us denote by π : T M M and π ˜ : T M * M the natural projections. If A is an open subset of the tangent bundle T M , the restriction π | A : A T M M can be used to obtain two vector bundles over A by lifting π and π ˜ , which we denote, respectively, by π A * : π A * ( M ) A and π ˜ A * : π ˜ A * ( M ) A :
Symmetry 16 00362 i001
In particular, for every v A , one has that ( π A * ) 1 ( v ) = T π ( v ) M and ( π ˜ A * ) 1 ( v ) = T π ( v ) M * . Then, a section of π A * (resp. π ˜ A * ) is a smooth map A v X ( v ) T M (resp. A v θ ( v ) T M * ) such that X ( v ) T π ( v ) M (resp. θ ( v ) T π ( v ) M * ). We will denote by T 0 1 ( M A ) the space of (smooth) sections of π A * ( M ) , while the subset of smooth sections of π ˜ A * ( M ) will be denoted by T 1 0 ( M A ) .
Definition 1. 
An A-anisotropic tensor field T of type ( r , s ) , r , s N { 0 } , r + s > 0 is defined as an F ( A ) -multilinear map
T : T 1 0 ( M A ) r × T 0 1 ( M A ) s F ( A ) ,
where F ( A ) is the subset of smooth real functions on A, namely, f : A R .
The space of A-anisotropic tensor fields of type ( r , s ) is denoted by T s r ( M A ) , while by convention T 0 0 ( M A ) F ( A ) . The F ( A ) -multilinearity implies that for every v A , T determines a multilinear map
T v : ( T π ( v ) M * ) r × ( T π ( v ) M ) s R .
By the F ( A ) -multilinearity, it is enough to define the tensor field as
T : X * ( M ) r × X ( M ) s F ( A ) ,
which then will be extended by F ( A ) -multilinearity using a local frame in X ( M ) (resp. X * ( M ) ); see also ([13], Remark 2).
One can also consider an F ( A ) -multilinear map
T : T 0 1 ( M A ) s T 0 1 ( M A ) ,
which determines the A-anisotropic tensor field of type ( 1 , s )   T ¯ : T 1 0 ( M A ) × T 0 1 ( M A ) s F ( A ) defined by
T ¯ ( θ , X 1 , , X s ) = θ ( T ( X 1 , , X s ) ) .
As in classical tensor calculus, T will be considered as a tensor field itself, using the formula above only when necessary.
We will say that a vector field V defined on an open subset Ω M is A-admissible (with A T M ) if V p A for every p Ω . In such a case, we can define a (classical) tensor field T V T s r ( Ω ) as a map
T V : X * ( Ω ) r × X ( Ω ) s F ( Ω ) ,
such that
T V ( θ 1 , , θ r , X 1 , , X s ) ( p ) = T V p ( θ 1 , , θ r , X 1 , , X s ) ,
where F ( Ω ) = { f : Ω R : f C } and X ( Ω ) and X * ( Ω ) denote, respectively, the space of vector fields and one-forms on Ω .
As a result of the dependence on directions of A-anisotropic tensor fields, one can define derivatives on the vertical bundle.
Definition 2. 
Given an anisotropic tensor field T T s r ( M A ) , its vertical derivative is defined as the tensor field ˙ T T s + 1 r ( M A ) given by
( ˙ T ) v ( θ 1 , , θ r , X 1 , , X s , Z ) = t T v + t Z π ( v ) ( θ 1 , , θ r , X 1 , , X s ) | t = 0
for any v A and ( θ 1 , θ 2 , , θ r , X 1 , , X s , Z ) X * ( M ) r × X ( M ) s + 1 , and an analogous definition is made for anisotropic tensor fields of the type (2).

2.1. Anisotropic Connections

Let us introduce a central concept to make operations with anisotropic tensor fields.
Definition 3. 
An anisotropic (linear) connection is a map
: X ( M ) × X ( M ) T 0 1 ( M A ) , ( X , Y ) X Y ,
such that
(i) 
X ( Y + Z ) = X Y + X Z , for any X , Y , Z X ( M ) ,
(ii) 
X ( f Y ) = ( X ( f ) Y ) π A + ( f π A ) X Y for any f F ( M ) , X , Y X ( M ) ,
(iii) 
f X + h Y Z = ( f π A ) X Z + ( h π A ) Y Z , for any f , h F ( M ) , X , Y , Z X ( M ) ,
where π A = π | A .
We will use the notation X v Y : = ( X Y ) v . Furthermore, the torsion of ∇ is defined as the anisotropic tensor
T v ( X , Y ) = X v Y Y v X [ X , Y ] , for any X , Y X ( M ) .
An anisotropic connection is said to be torsion-free if T = 0 . Given a system of coordinates ( Ω , φ ) of M, we define the Christoffel symbols of ∇ as the functions Γ i j k : T Ω A R determined by i v j = Γ i j k ( v ) k . Observe that ∇ is torsion-free if and only if Γ i j k is symmetric in i and j.
An anisotropic connection ∇ induces an anisotropic tensor derivation X for every vector field X X ( M ) (see [13], Section 2.2, for the general definition) in the space of anisotropic tensor fields T s r ( M A ) such that for any function h F ( A ) , X h F ( A ) is determined by
X h ( v ) = X ( h ( V ) ) ( π ( v ) ) ( ˙ h ) v ( X v V ) ,
where V is any A-admissible vector field extending v, namely, V π ( v ) = v . Observe that the expression in (5) does not depend on the choice of V (see [13], Lemma 9). Moreover, if θ is a one-form, then X θ T 1 0 ( M A ) is determined by
( X θ ) v ( Y ) = X ( θ ( Y ) ) ( π ( v ) ) θ π ( v ) ( X v Y ) , for any Y X ( M ) .
Finally, for an arbitrary anisotropic tensor field T T s r ( M A ) , we define the derivation
( X T ) ( θ 1 , , θ r , X 1 , , X s ) = X ( T ( θ 1 , , θ r , X 1 , , X s ) ) i = 1 r T ( θ 1 , , X θ i , , θ r , X 1 , , X s ) j = 1 s T ( θ 1 , , θ r , X 1 , , X X j , , X s ) ,
for any ( θ 1 , θ 2 , , θ r , X 1 , , X s ) X * ( M ) r × X ( M ) s (see [13], Theorem 11, and recall that X is an anisotropic derivation as in [13], Definition 8). Observe that the same formula (7) with s = 0 also holds for tensor fields of the type (2).
Finally, we can also define the vertical derivative of ∇ as the anisotropic tensor field given by:
P v ( X , Y , Z ) = t X v + t Z π ( v ) Y | t = 0 ,
where v A and X , Y , Z are arbitrary smooth vector fields on M. Moreover, in a natural system of coordinates of the tangent bundle ( T Ω , φ ˜ ) , associated with a coordinate system ( Ω , φ ) on M, one has
P v ( u , w , z ) = u i w j z k Γ i j l y k ( v ) l
for every v A , and u , w , z T π ( v ) M and u i , w i and z i being the coordinates of u , w , z . As usual, we denote the coordinates of a point v T Ω as
φ ˜ = ( x , y ) = ( x 1 , x 2 , , x n , y 1 , y 2 , , y n ) ,
and we use the Einstein summation convention when possible, omitting the coordinate functions φ and φ ˜ to avoid clutter in equations. Thus, P is symmetric in the first two arguments if ∇ is torsion-free.

2.2. Curvature Tensor

It is possible to associate a curvature tensor R v : X ( M ) × X ( M ) × X ( M ) T π ( v ) M with every anisotropic (linear) connection ∇ as follows
R v ( X , Y ) Z = X v ( Y Z ) Y v ( X Z ) [ X , Y ] v Z ,
for any v A and X , Y , Z X ( M ) . Here, one has to take into account that Y Z , X Z T 0 1 ( M A ) , namely, they are anisotropic vector fields. One can check that R is an F ( A ) -multilinear map, and then an anisotropic tensor as in (2), which is anti-symmetric in X and Y.
Recall that given an A-admissible vector field V in Ω M , the anisotropic connection ∇ provides an affine connection V on Ω defined as ( X V Y ) p = X v Y for any X , Y X ( M ) , being v = V p . This affine connection determines its curvature tensor as
R V ( X , Y ) Z = X V Y V Z Y V X V Z [ X , Y ] V Z ,
where X , Y , Z are arbitrary smooth vector fields on Ω . The tensor R V depends on the choice of V, but it can be used to get an expression of the curvature tensor of ∇.
Proposition 1. 
Let be an anisotropic (linear) connection and Ω M , an open subset. Then, for any v A ,
R v ( X , Y ) Z = ( R V ( X , Y ) Z P V ( Y , Z , X V V ) + P V ( X , Z , Y V V ) ) ( π ( v ) ) ,
where V , X , Y , Z X ( Ω ) , V being an A-admissible extension of v.
Proof. 
See [23], Proposition 2.5. □

2.3. Parallel Transport

Proposition 2. 
Given a smooth curve α : [ a , b ] M , an anisotropic connection on M with admissible domain A T M 0 and an A-admissible vector field X along α, there exists a unique covariant derivative
D X d t : X ( α ) X ( α )
such that D X d t Y = α ˙ ( t ) X Y whenever Y ( t ) = Y α ( t ) for some vector field Y on M.
Proof. 
See [23], Proposition 2.7. □
Definition 4. 
Given a regular curve α : [ a , b ] M , the observer-parallel transport of an admissible vector v A with respect to the anisotropic connection is the map
P p : T α ( a ) M T α ( b ) M
such that P p ( v ) = V ( b ) , where V is the vector field along α such that D V V d t = 0 and V ( a ) = v . Moreover, the parallel transport with respect to v is given by
P p v : T α ( a ) M T α ( b ) M
such that P p v ( w ) = Z ( b ) , being Z X ( α ) determined by Z ( a ) = w and D V X d t = 0 , with V as above.
Moreover, for any tensor T T s 1 ( M A ) , interpreted as
T : T 0 1 ( M A ) s T 0 1 ( M A ) ,
we can obtain the covariant derivative ( Y T ) v using a curve α such that α ˙ ( 0 ) = Y π ( v ) , an observer-parallel vector field V, with V ( a ) = v and parallel vector fields X 1 , , X s with respect to v. It turns out that
( Y T ) v ( X 1 , , X s ) = Y v ( T V ( X 1 , , X s ) ) ,
(see [11], Section 7).

2.4. Pseudo-Finsler Manifolds and Flag Curvature

We say that a function L : T M R is a pseudo-Finsler metric if
  • It is smooth on T M 0 ;
  • It is positive homogeneous of degree 2;
  • For every v T M 0 , the fundamental tensor defined as
    g v ( u , w ) = 1 2 2 t s L ( v + t u + s w ) | t = s = 0 ,
    is a non-degenerate bilinear form.
Given a pseudo-Finsler manifold, there is a unique anisotropic connection ∇ such that it is torsion-free and g = 0 , (see [13], Section 4.1). This connection can be identified with the Chern connection, which can be naturally interpreted as an anisotropic connection. Using the Chern connection and its associated curvature tensor introduced in (10), one can then introduce one of the main geometrical invariants of a pseudo-Finsler metric, the flag curvature, K ( v , w ) , which depends on a vector v, which plays the role of the flagpole, and a g v -nondegenerate plane that contains v and w. It is defined as
K ( v , w ) = g v ( R v ( v , w ) w , v ) L ( v ) g v ( w , w ) g v ( v , w ) 2 .
Definition 5. 
The flag curvature is said to be invariant under parallel translation along a curve α : [ a , b ] M if
K ( v , w ) = K ( P p ( v ) , P p v ( w ) ) ,
for all v T p M { 0 } and w T p M . When it is invariant along any regular curve, we will simply refer to it as invariant under parallel translation.

3. Radially Symmetric Finsler Manifolds

Definition 6. 
Let ( M , L ) be a pseudo-Finsler manifold with p M a given point and Ω a neighborhood of p with the following property: for any geodesic γ with γ ( 0 ) = p , we have that if γ | [ 0 , t ] Ω , then γ is defined at least in [ t , t ] . Then,
1. 
We define I p : Ω M as I p ( q ) = γ ( t ) , where γ is the only unit geodesic such that γ ( 0 ) = p and γ ( t ) = q .
2. 
We say that ( M , L ) is locally radially symmetric if for all p M and Ω as above, we have that
d ( I p ) q : ( T q M , g γ ˙ ( t ) ) ( T γ ( t ) M , g γ ˙ ( t ) )
is an isometry (as above γ is a unit geodesic, γ ( 0 ) = p and γ ( t ) = q ) for all q Ω .
Recall that the Jacobi curvature operator R J is defined as ( R J ) v : T π ( v ) M T π ( v ) M with R v J ( w ) = R v ( v , w ) v .
Proposition 3. 
Given a pseudo-Finsler manifold, the following conditions are equivalent:
(i) 
R J = 0 .
(ii) 
If V is an observer-parallel vector field along a regular curve α and X is parallel with respect to V, then R V J ( X ) is also parallel with respect to V along α.
(iii) 
Flag curvature is invariant under parallel translation.
Proof. 
( i ) ( i i ) . It follows from the characterization of the covariant derivative in terms of parallel vector fields. Indeed, given a regular curve α , a vector field Y such that Y α ( t ) = α ˙ ( t ) and an observer-parallel vector field V along α with V ( a ) = v , then
( Y R J ) v ( X ) = Y v ( R V J ( X ) ) = D V d t ( R V J ( X ) )
taking into account (12).
( i i ) ( i i i ) . Observe that if α : [ a , b ] M is a regular curve, V is an observer-parallel vector field with V ( a ) = v and X is a parallel vector field with respect to v, then, by applying ([23], Equation (46)), and using that g V ( X , X ) , g V ( V , V ) and g V ( V , X ) are constant as a consequence of the choice of V and X as observer-parallel and parallel vector fields, respectively, we deduce that
d d t K ( V , X ) = d d t g V ( R V ( V , X ) X , V ) g V ( X , X ) g V ( V , V ) g V ( V , X ) 2 = d d t g V ( R V ( V , X ) V , X ) g V ( X , X ) g V ( V , V ) g V ( V , X ) 2 = d d t g V ( R V J ( X ) , X ) g V ( X , X ) g V ( V , V ) g V ( V , X ) 2 = g V ( α ˙ V ( R V J ( X ) ) , X ) g V ( X , X ) g V ( V , V ) g V ( V , X ) 2 = 0 ,
as required.
( i i i ) ( i ) . We have to check that if V is an observer-parallel vector field and X is parallel with respect to V, then g V ( ( Y R J ) ( X ) , W ) = 0 for all W parallel with respect to V, but this is equivalent to proving that
A V ( X , W ) = g V ( R V J ( X ) , W )
is constant along α (with α as in the proof of ( i ) ( i i ) ). As g V ( X , X ) g V ( V , V ) g V ( V , X ) 2 is constant because V is observer-parallel and X is parallel with respect to V, we have that A V ( X , X ) is constant because, by hypothesis in part ( i i i ) , the flag curvature
K ( V , X ) = A V ( X , X ) g V ( X , X ) g V ( V , V ) g V ( V , X ) 2
is constant (see the centered formula in the above implication). In particular, A V ( X + W , X + W ) is also constant (as X + W is parallel with respect to V), and therefore, we conclude that
A V ( X , W ) = 1 2 ( A V ( X + W , X + W ) A V ( X , X ) A V ( W , W ) )
is also constant, as required. □
Corollary 1. 
A pseudo-Finsler manifold of constant flag curvature has a parallel Jacobi curvature operator.
Observe that using Proposition 3 and ([24], Theorem 2), it follows that the property of having a flag curvature invariant by parallel transport is invariant under Zermelo deformations using a killing field. Recall that a Zermelo deformation of a Finsler metric F with a vector field W is obtained as the Finsler metric Z, which has as indicatrix the translation of the indicatrix of F p with W p at each point p M .
Definition 7. 
Let ( M , L ) and ( M ¯ , L ¯ ) be pseudo-Finsler manifolds and l : T p M T q M ¯ an isometry. Let us denote with exp p the exponential map of M at p and exp ¯ q the exponential map of M ¯ at q, and let U be a normal neighborhood of p small enough such that l exp p 1 ( U ) is contained in a domain of exp ¯ q where it is a diffeomorphism. Then, we define the polar map as
ϕ l = exp ¯ q l exp p 1 : U M ¯ .
The next theorem is a local Finslerian version of the Cartan–Ambrose–Hicks Theorem using the osculating metrics (see [1,2] for the original local version by Cartan and [25,26] for the global extensions).
Theorem 1. 
If ( M , L ) and ( M ¯ , L ¯ ) are pseudo-Finsler manifolds that have parallel Jacobi curvature operators, and l : T p M T q M ¯ is a linear isometry that preserves the Jacobi curvature operator, then ϕ l is an isometry with respect to the osculating metrics g V and g ¯ V * , V being the tangent vector to the unit radial geodesics from p and V * = d ϕ l ( V ) .
Proof. 
Let v T p M and denote v * = l ( v ) . Then, γ v ( t ) = exp p ( t v ) is the radial geodesic with γ ( 0 ) = p and γ ˙ v ( 0 ) = v . By the definition of ϕ l , we have that ( ϕ l γ v ) ( t ) = γ ˜ v * ( t ) = exp ¯ q ( t v * ) is the radial geodesic in M ¯ starting at q and with initial velocity t v * . The tangent vector V to γ v is an observer-parallel vector field, i.e., D V V d t = 0 . Similarly, the tangent vector field to the geodesic γ ˜ v * is an observer-parallel vector field, i.e., D ¯ V * V * d t = 0 .
To show that ϕ l is an isometry with respect to the osculating metrics g V and g ¯ V * , it suffices to show that for any x T p ˜ M { 0 } , p ˜ U with p ˜ = γ v ( 1 ) for v T p M , we have g ¯ V * ( d ϕ l ( x ) , d ϕ l ( x ) ) = g V ( x , x ) .
We know, from the description of Jacobi fields using the exponential map (see, for example, [27], Lemma 3.14 and Proposition 3.15) that x = ( d exp p ) v ( y v ) for some y v T v ( T p M ) , and then x = Z ( 1 ) , where Z ( t ) = ( d e x p p ) t v ( t y v ) is the unique Jacobi field with Z ( 0 ) = 0 and D V Z d t ( 0 ) = y T p M (here y v y using T v ( T p M ) T p M ).
Now, we look at the manifold M ¯ . Since ϕ l ( p ˜ ) = exp ¯ q l exp p 1 ( p ˜ ) ; therefore, d ϕ l d exp p = d exp ¯ q d l and together with the fact that d l ( y v ) = l ( y ) v * , since is linear, gives that d ϕ l ( x ) = ( d exp ¯ q ) ( l ( y ) v * ) = Z ˜ ( 1 ) , where Z ˜ ( t ) = ( d exp ¯ q ) t v * ( t l ( y ) v * ) is the unique Jacobi field with Z ˜ ( 0 ) = 0 and D ¯ V * Z ˜ d t ( 0 ) = l ( y ) T q M .
Let { E 1 ( 0 ) , , E n ( 0 ) } be an orthonormal basis of T p M with regard to the metric g v and let { E 1 ( t ) , , E n ( t ) } be its parallel transport with respect to v along γ v . This parallel frame will be orthonormal with regard to the metric g V . Since is a linear isometry, { l ( E 1 ( 0 ) ) , , l ( E n ( 0 ) ) } is an orthonormal basis of T q M with regard to the metric g ¯ v * . Let { E ˜ 1 ( t ) , , E ˜ n ( t ) } be its parallel transport with regard to the vector v * along the geodesic γ ˜ v * . This parallel frame will remain parallel with regard to the metric g ¯ V * , and we have that E ˜ i ( 0 ) = l ( E i ( 0 ) ) , i = 1 , , n .
We write v = a i E i ( 0 ) , which gives l ( v ) = a i E ˜ i ( 0 ) . Similarly, if y = b i E i ( 0 ) , then l ( y ) = b i E ˜ i ( 0 ) . We also write the Jacobi fields Z along γ and Z ˜ along γ ˜ using these parallel frames as Z = z i E i and Z ˜ = z ˜ i E ˜ i , respectively. They satisfy the Jacobi field equation D V d t D V Z d t = R V ( V , Z ) V , which can be written as D V d t D V Z d t = R V J ( Z ) , where R J is the Jacobi operator. So, the coordinate functions z i ( t ) satisfy the system of ODEs
( z i ) ( t ) = R i j ( V ) z i ( t ) ,
where R V J ( E i ) = R i j ( V ) E j . Since R J is parallel and V is the observer-parallel translation of v, it follows that R i j ( V ) is constant, since by Proposition 3, R V J ( E i ) is also parallel. A similar argument, using the Jacobi equation satisfied by Z ˜ on the manifold M ¯ , gives
( z ˜ i ) ( t ) = R ¯ i j ( V * ) z ˜ i ( t )
where R ¯ V J * ( E ˜ i ) = R ¯ i j ( V * ) E ˜ j and R ¯ J is the Jacobi operator associated with γ ˜ v * . Since R ¯ J is parallel and V * is the observer-parallel translation of v * , it follows that the components R ¯ i j ( V * ) are also constant. However, R i j ( V ) = R ¯ i j ( V * ) on the common domain I, since the isometry preserves the Jacobi curvature operator, i.e., R i j ( v ) = R ¯ i j ( v * ) at t = 0 .
It follows that the functions z i and z ˜ i , i = 1 , , n satisfy the same system of linear ODEs with the same initial conditions, so it follows by uniqueness of such solutions that z i ( t ) = z ˜ i ( t ) , i = 1 n . Therefore g V * ( d ϕ l ( x ) , d ϕ l ( x ) ) = g V * ( Z ˜ ( 1 ) , Z ˜ ( 1 ) ) = i = 1 n ε i ( z ˜ i ) 2 = i = 1 n ε i ( z i ) 2 = g V ( Z ( 1 ) , Z ( 1 ) ) = g V ( x , x ) , where ε i = g V ( E i , E i ) = g ¯ V * ( E ˜ i , E ˜ i ) for i = 1 , , n . □
Corollary 2. 
A reversible pseudo-Finsler manifold ( M , L ) has parallel Jacobi operator if and only if it is locally radially symmetric.
Proof. 
As ( M , L ) is reversible, at every point p M , the map l : ( T p M , L p ) ( T p M , L p ) , v v is an isometry. Moreover, the reversibility also implies that preserves the Jacobi operator, namely, R v J = R v J for all v T p M { 0 } , and then we can apply Theorem 1 to conclude the implication to the right. For the converse, observe that the radial isometry preserves ( R J ) v , and therefore
( y R J ) v ( x ) = d ϕ l ( ( y R J ) v ( x ) ) = ( y R J ) v ( x ) = ( y R J ) v ( x ) ,
for any x , y T p M , since d ϕ l = Id . As v = v , because F is reversible, we also have that ( R J ) v = ( R J ) v , and then we conclude that R J = 0 . □
Corollary 3.  
A reversible pseudo-Finsler metric with constant flag curvature is locally radially symmetric.
Proof. 
A constant flag curvature manifold always satisfies part (iii) of Proposition 3, and then it has a parallel Jacobi operator. Therefore, the result follows from Corollary 2. □
In particular, Hilbert geometries are always radially symmetric, as they have constant flag curvature and are reversible. Recall that a Hilbert–Finsler metric is defined by symmetrizing a Berwald metric, which is obtained applying a Zermelo deformation with the position vector field to the unit ball of a Minkowski norm.
Corollary 4. 
If ( M , L ) and ( M ¯ , L ¯ ) are Berwald manifolds that have parallel Jacobi curvature operator, and l : T p M T q M ¯ is an isometry that preserves the Jacobi curvature operators, then ϕ l is an isometry.
Proof. 
Observe that as ( M , L ) is Berwald, and V is the tangent vector field to the unit geodesics from a certain p M , then the anisotropic connection = V is indeed an affine connection on M and coincides with the Chern connection of L (see [18], p. 100). Moreover, as V is geodesic, V is the Levi–Civita connection of g V , and then ( ϕ l ) * ( V ) = ¯ V * , where V * is the tangent vector field to the unit geodesics from ϕ l ( p ) , since ϕ l is an isometry of g V and g ¯ V * , the osculating metrics of ( M , L ) and ( M ¯ , L ¯ ) , respectively. Finally, using that the parallel transport of ∇ preserves the Berwald metric L and that also preserves L, we easily conclude that ϕ l is an isometry for L and L ¯ (see also [28], Theorem 5.2). □
Corollary 5. 
If ( M , L ) is a reversible Berwald manifold that has a parallel Jacobi curvature operator, then it is locally symmetric.

4. Conclusions

In this paper, we have introduced the class of locally radially symmetric pseudo-Finsler manifolds, a new family of pseudo-Finsler manifolds with some symmetric properties with respect to an osculating metric associated with the exponential map. The advantage of this family with respect to the classical symmetric Finsler manifolds is that these metrics can be characterized as those which are reversible and have parallel flag curvature (see Corollary 2), mimicking what occurs in the family of locally symmetric Riemannian manifolds. Moreover, they include reversible pseudo-Finsler manifolds with constant flag curvature (see Corollary 3). The key result to prove all these properties is Theorem 1, which is a Cartan–Ambrose–Hicks Theorem, and it does not hold in general when the isometry of the osculating metrics is replaced with an isometry of the pseudo-Finsler metrics.

Author Contributions

The authors have all contributed substantially to the derivation of the presented results as well as analysis, drafting, review and finalization of the manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

M.A.J. was partially supported by the project PID2021-124157NB-I00, funded by MCIN/AEI/10.13039/501100011033/“ERDF A way of making Europe”, and also by Ayudas a proyectos para el desarrollo de investigación científica y técnica por grupos competitivos (Comunidad Autónoma de la Región de Murcia), included in the Programa Regional de Fomento de la Investigación Científica y Técnica (Plan de Actuación 2022) of the Fundación Séneca-Agencia de Ciencia y Tecnología de la Región de Murcia, REF. 21899/PI/22.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Cartan, É. Sur une classe remarquable d’espaces de Riemann, I. Bull. Soc. Math. Fr. 1926, 54, 214–216. [Google Scholar] [CrossRef]
  2. Cartan, É. Sur une classe remarquable d’espaces de Riemann, II. Bull. Soc. Math. Fr. 1927, 55, 114–134. [Google Scholar] [CrossRef]
  3. Deng, S.; Hou, Z. On symmetric Finsler spaces. Isr. J. Math. 2007, 162, 197–219. [Google Scholar] [CrossRef]
  4. Foulon, P. Locally symmetric Finsler spaces in negative curvature. C. R. Acad. Sci. Paris Sér. I Math. 1997, 324, 1127–1132. [Google Scholar] [CrossRef]
  5. Egloff, D. Some New Developments in Finsler Geometry. Ph.D. Dissertation, University Fribourg, Fribourg, Switzerland, 1995. [Google Scholar]
  6. Kim, C.-W. Locally symmetric positively curved Finsler spaces. Arch. Math. 2007, 88, 378–384. [Google Scholar] [CrossRef]
  7. Matveev, V.S. There exist no locally symmetric Finsler spaces of positive or negative flag curvature. C. R. Math. Acad. Sci. Paris 2015, 353, 81–83. [Google Scholar] [CrossRef]
  8. Wu, B.Y. Some rigidity theorems for locally symmetrical Finsler manifolds. J. Geom. Phys. 2008, 58, 923–930. [Google Scholar] [CrossRef]
  9. Deng, S.; Hou, Z. On locally and globally symmetric Berwald spaces. J. Phys. A Math. Gen. 2005, 38, 1691–1697. [Google Scholar] [CrossRef]
  10. Deng, S.; Hou, Z. Minkowski symmetric Lie algebras and symmetric Berwald spaces. Geom. Dedicata 2005, 113, 95–105. [Google Scholar] [CrossRef]
  11. Javaloyes, M.Á.; Sánchez, M.; Villaseñor, F.F. Anisotropic connections and parallel transport in Finsler spacetimes. In Developments in Lorentzian Geometry; Springer Proceedings in Mathematics & Statistics Series; Springer: Cham, Switzerland, 2022; Volume 338, 32p, ISBN 978-3-031-05378-8. [Google Scholar]
  12. Abate, M.; Patrizio, G. Finsler metrics of constant curvature and the characterization of tube domains. Contemp. Math. 1996, 196, 101–107. [Google Scholar]
  13. Javaloyes, M.A. Anisotropic tensor calculus. Int. J. Geom. Methods Mod. Phys. 2019, 16, 1941001. [Google Scholar] [CrossRef]
  14. Bao, D.; Chern, S.-S.; Shen, Z. An Introduction to Riemann-Finsler Geometry; Springer: New York, NY, USA, 2000; Volume 200. [Google Scholar]
  15. Nazim, A. Über Finslersche Räume; Wolf: München, Germany, 1936. [Google Scholar]
  16. Varga, O. Zur Herleitung des invarianten Differentials in Finslerschen Räumen. Monatsh. Math. Phys. 1941, 50, 165–175. [Google Scholar] [CrossRef]
  17. Matthias, H.-H. Zwei Verallgemeinerungen eines Satzes von Gromoll und Meyer; Bonner Mathematische Schriften [Bonn Mathematical Publications]; Universität Bonn Mathematisches Institut: Bonn, Germany, 1980; Volume 126. [Google Scholar]
  18. Shen, Z. Differential Geometry of Spray and Finsler Spaces; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2001. [Google Scholar]
  19. Álvarez Paiva, J.C.; Durán, C.E. Isometric submersions of Finsler manifolds. Proc. Am. Math. Soc. 2001, 129, 2409–2417. [Google Scholar] [CrossRef]
  20. Rademacher, H.-B. Nonreversible Finsler metrics of positive flag curvature. In A Sampler of Riemann-Finsler Geometry; Cambridge University Press: Cambridge, UK, 2004; Volume 50, pp. 261–302. [Google Scholar]
  21. Rademacher, H.-B. A sphere theorem for non-reversible Finsler metrics. Math. Ann. 2004, 328, 373–387. [Google Scholar] [CrossRef]
  22. Kovács, Z.; Tóth, A. On the geometry of two-step nilpotent groups with left invariant Finsler metrics. Acta Math. Acad. Paedagog. Nyházi. 2008, 24, 15–168. [Google Scholar]
  23. Javaloyes, M.A. Curvature computations in Finsler geometry using a distinguished class of anisotropic connections. Mediterr. J. Math. 2020, 17, 21. [Google Scholar] [CrossRef]
  24. Foulon, P.; Matveev, M.S. Zermelo deformation of Finsler metrics by Killing vector fields. Electron. Res. Announc. Math. Sci. 2018, 25, 1–7. [Google Scholar] [CrossRef]
  25. Ambrose, W. Parallel Translation of Riemannian Curvature. Ann. Math. 1956, 64, 337. [Google Scholar] [CrossRef]
  26. Hicks, N. A theorem on affine connexions. Ill. J. Math. 1959, 3, 24–254. [Google Scholar] [CrossRef]
  27. Javaloyes, M.A.; Soares, B.L. Geodesics and Jacobi fields of pseudo-Finsler manifolds. Publ. Math. Debr. 2015, 87, 57–78. [Google Scholar] [CrossRef]
  28. Deng, S. Homogeneous Finsler Spaces; Springer Monographs in Mathematics; Springer: New York, NY, USA, 2012; 240p. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ionel, M.; Javaloyes, M.Á. Pseudo-Finsler Radially Symmetric Spaces. Symmetry 2024, 16, 362. https://doi.org/10.3390/sym16030362

AMA Style

Ionel M, Javaloyes MÁ. Pseudo-Finsler Radially Symmetric Spaces. Symmetry. 2024; 16(3):362. https://doi.org/10.3390/sym16030362

Chicago/Turabian Style

Ionel, Marianty, and Miguel Ángel Javaloyes. 2024. "Pseudo-Finsler Radially Symmetric Spaces" Symmetry 16, no. 3: 362. https://doi.org/10.3390/sym16030362

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop