Next Article in Journal
Information Processing with Stability Point Modeling in Cohen–Grossberg Neural Networks
Next Article in Special Issue
On Some Quasi-Curves in Galilean Three-Space
Previous Article in Journal
On Discrete Presheaf Monads
Previous Article in Special Issue
Confocal Families of Hyperbolic Conics via Quadratic Differentials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Kropina Metrics with Isotropic Scalar Curvature

1
College of Mathematics and Systems Science, Xinjiang University, Urumqi 830017, China
2
School of Mathematical Sciences, Shanghai Jiao Tong University, Shanghai 200240, China
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(7), 611; https://doi.org/10.3390/axioms12070611
Submission received: 21 April 2023 / Revised: 14 June 2023 / Accepted: 19 June 2023 / Published: 21 June 2023
(This article belongs to the Special Issue Advances in Differential Geometry and Singularity Theory)

Abstract

:
In this paper, we study Kropina metrics with isotropic scalar curvature. First, we obtain the expressions of Ricci curvature tensor and scalar curvature. Then, we characterize the Kropina metrics with isotropic scalar curvature on by tensor analysis.

1. Introduction

The curvature properties of metrics play very important roles in Riemannian and Finsler geometry. Riemannian curvature and Ricci curvature are the most important Riemannian geometric quantities in Finsler geometry. In 1988, the concept of Ricci curvature was first proposed by Akbar-Zadeh, and its tensor form can be naturally obtained [1]. In recent years, many scholars have conducted a great deal of research on them. Cheng-Shen-Tian proved that the polynomial ( α , β ) -metric is an Einstein metric if and only if it is Ricci-flat [2]. Zhang-Shen gave the expression of Ricci curvature of Kropina metric. Furthermore, they proved that a non-Riemannian Kropina metric with a constant Killing form β is an Einstein metric if and only if α is also an Einstein metric [3]. By using navigation date ( h , W ) , they proved that n (≥2)-dimensional Kropina metric is an Einstein metric if and only if Riemann metric h is an Einstein metric and W is a Killing vector field with respect to h. Xia gave the expression for the Riemannian curvature of Kropina metrics and proved that a Kropina metric is an Einstein metric if and only if it has non-negative constant flag curvature [4]. Cheng-Ma-Shen studied and characterized projective Ricci-flat Kropina metrics and obtained its equivalent characterization Equation [5].
Unlike the notion of Riemannian curvature, there is no unified definition of scalar curvature in Finsler geometry, although several geometers have offered several versions of the definition of the Ricci curvature tensor [1,6,7,8]. In 2015, Li–Shen introduced a new definition of the Ricci curvature tensor [6]. This tensor is symmetric. They proved that a Finsler metric F has isotropic Ricci curvature tensor if and only if it has isotropic Ricci curvature and χ -curvature tensor satisfies χ i = f i j ( x ) y j , where f i j + f j i = 0 . It was further proven that for Randers metrics, they are isotropic Ricci curvature tensors if and only if they are of isotropic Ricci curvature.
In Finsler geometry, there are several versions of the definition of scalar curvature. We used Akbar-Zadeh’s definition [1] of the scalar curvature, based on Li–Shen’s definition of the (symmetric) Ricci curvature tensor [6]. For a Finsler metric F on an n-dimensional manifold M, the scalar curvature R of F is defined as R : = g i j R i c i j . Tayebi studied general fourth-root metrics [9]. They characterized general fourth-root metrics with isotropic scalar curvature and also for general fourth-root metrics with isotropic scalar curvature under conformal variation. Finally, they characterized Bryant metric with isotropic scalar curvature. Chen–Xia studied a conformally flat ( α , β ) -metric with weakly isotropic scalar curvature [10]. They proved that if conformally flat polynomial ( α , β ) -metrics have weakly isotropic scalar curvature R, then R vanishes.
In this paper, we obtain a characterization of Kropina metrics with isotropic scalar curvature and have the following results.
Theorem 1. 
Let F be a Kropina metric on an n (≥3)-dimensional manifold M. Then, F is of isotropic scalar curvature if and only if
α R i c = n 2 b 4 ( g α 2 + c 2 β 2 + c β s 0 b 2 c 0 β ) , r 00 = c ( x ) α 2 , ( 2 s m s m b 2 s | m m ) α 2 = ( n 1 ) ( c β s 0 + s 0 2 b 2 s 0 | 0 ) , h α 2 = 3 ( n + 1 ) n 2 α R 6 ( n + 1 ) ( n 2 ) b 2 b k b l α R i c k l + 3 ( n 1 ) ( n + 1 ) b 2 c 2 + n ( 3 n + 5 ) b 4 s m s m β 2 + ( 3 n 2 + 4 n 4 ) b 2 s 0 m s m 3 ( n + 1 ) s 0 | m m + 3 ( n 1 ) ( n + 1 ) b 2 c s 0 β + 2 ( n 1 ) s 0 m s m 0 ,
where b = | | β | | α , g, h, c 2 , c 0 are expressed by (15), (23), (26), (27), respectively. In this case, scalar curvature is
R = 1 12 n ( 1 b 2 ) b 2 β s 0 m s m + 2 ( 3 n + 2 ) b 2 s m s m + ( 3 n + 4 ) s t m s m t .

2. Preliminaries

Let M be an n-dimensional C manifold. A Finsler structure of M is a function
F : T M [ 0 , )
with the following properties:
(1)
Regularity: F is C on the slit tangent bundle T M \ { 0 } ;
(2)
Positive homogeneity: F ( x , λ y ) = λ F ( x , y ) , λ > 0 ;
(3)
Strong convexity:
g i j ( x , y ) : = 1 2 2 F 2 y i y j ( x , y ) = 1 2 ( F 2 ) y i y j
is positive-definite at every point of T M \ { 0 } .
Let ( M , F ) be an n-dimensional Finsler manifold. Suppose that x M . The geodesics of a Finsler metric F = F ( x , y ) on M are classified by the following ODEs:
d 2 x i d t 2 + 2 G i x , d x d t = 0 ,
where
G i : = 1 4 g i k F 2 x j y k y j F 2 x k ,
g i j : = g i j 1 . The local functions G i = G i ( x , y ) are called geodesic coefficients (or spray coefficients). Then, the S curvature with respect to a volume form d V = σ ( x ) d x is defined by
S = G m y m y m ln σ x m .
For x M and y T x M \ { 0 } , Riemann curvature R y : = R k i ( x , y ) x i d x k is defined by
R k i : = 2 G i x k y j G i x j y k + 2 G j G i y j y k G i y j G j y k .
The trace of Riemann curvature is called Ricci curvature of F, i.e., R i c : = R k k .
Riemann curvature tensor is defined by
R j k l i = 1 3 2 R k i y l y j 2 R l i y k y j .
Let R i c ¯ i j : = R j k l k , and
R i c i j : = 1 2 R i c ¯ i j + R i c ¯ j i
is called a Ricci curvature tensor. The scalar curvature R of F is defined by
R : = g i j R i c i j .
Let κ ( x ) be a scalar function on M, θ : = θ i ( x ) y i be a 1-form on M. If
R = n ( n 1 ) θ F + κ ( x ) ,
then it is said that F is of weak isotropic scalar curvature. Especially when θ = 0 , i.e., R = n ( n 1 ) κ ( x ) , it is said that F is of isotropic scalar curvature.
Let F be a Finsler metric on M. If F = α 2 β , where α = a i j ( x ) y i y j is a Riemannian metric, β = b i ( x ) y i is a 1-form; then, F is a Kropina metric. Its fundamental tensor g = g i j d x i d x j is given by [4]
g i j = F β 2 a i j + 3 F β b i b j 4 β ( b i y j + b j y i ) + 4 y i y j α 2 ,
where y i : = a i j y j . Moreover,
g i j = β 2 F a i j b i b j b 2 + 2 b 2 F ( b i y j + b j y i ) + 2 1 2 β b 2 F y i y j α 2 ,
where ( a i j ) : = ( a i j ) 1 , b i : = a i j b j .
Let β = b i | j y i d x j denote the covariant derivative of β with respect to α . Set
r i j = 1 2 b i | j + b j | i , s i j = 1 2 b i | j b j | i , r 00 = r i j y i y j , r i = b j r i j , r 0 = r i y i , r i = a i j r j , r = b i r i , s i 0 = a i j s j k y k , s i = b j s j i , s 0 = s i y i , s i = a i j s j .
The Ricci curvature of Kropina metrics is given by the following.
Lemma 1 
([3]). Let F be a Kropina metric on M. Then, the Ricci curvature of F is given by
R i c = α R i c + T ,
where α R i c is the Ricci curvature of α, and
T = 3 ( n 1 ) b 4 α 4 r 00 2 β 2 + n 1 b 2 α 2 r 00 0 β 4 ( n 1 ) b 4 α 2 r 00 r 0 β + 2 ( n 1 ) b 4 α 2 r 00 s 0 β r b 4 r 00 + r k k b 2 r 00 + 2 n b 2 r k 0 s k 0 + 1 b 2 b k r 00 k + 1 b 4 r 0 2 1 b 2 r 0 0 2 ( 2 n 3 ) b 4 r 0 s 0 + n 2 b 2 s 0 0 n 2 b 4 s 0 2 1 b 2 β r k 0 s k α 2 1 b 2 β r k s k 0 α 2 1 b 4 β r s 0 α 2 + 1 b 2 β r k k s 0 α 2 + n 1 b 2 β s k 0 s k α 2 1 β s k 0 k α 2 + 1 b 2 β b k s 0 k α 2 1 4 β 2 s j k s k j α 4 1 2 b 2 β 2 s k s k α 4 .
Lemma 2 
([4]). Let F be a Kropina metric on n-dimensional M. Then, the followings are equivalent:
(i) 
F has an isotropic S curvature, i.e., S = ( n + 1 ) c F ;
(ii) 
r 00 = σ α 2 ;
(iii) 
S = 0 ;
(iv) 
β is a conformal form with respect to α,
where c = c ( x ) and σ = σ ( x ) are functions on M.

3. Ricci Curvature Tensor and Scalar Curvature Tensor of Kropina Metrics

By the definition of Ricci curvature tensor and Lemma 1, we obtain the Ricci curvature tensor of Kropina metrics.
Proposition 1. 
Let F be a Kropina metric on an n-dimensional manifold M. Then, the Ricci curvature tensor of F is given by
R i c k l = α R i c k l + F . k . l ( n 5 ) b 4 F 3 r 00 2 + 2 b 4 F 2 r 00 ( s 0 2 r 0 ) + 1 b 2 F 2 r 00 | 0 + ( 3 n + 2 ) 3 b 2 F s 0 m r m 0 ( 3 n + 4 ) 3 b 4 F r 0 s 0 s 0 2 3 b 4 F + s 0 | 0 3 b 2 F + s 0 m s m 0 3 β + 1 2 b 2 ( r m m s 0 s m r m 0 s 0 m r m r s 0 b 2 b 2 s 0 | m m + b m s 0 | m b 2 2 F s t m s m t F s m s m ) + 1 6 b 2 3 n 2 ( 1 b 2 ) F 2 β s 0 m s m + F . k F . l 3 ( n 5 ) b 4 F 4 r 00 2 4 b 4 F 3 r 00 ( s 0 2 r 0 ) 2 b 2 F 3 r 00 | 0 ( 3 n + 2 ) 3 b 2 F 2 s 0 m r m 0 + ( 3 n + 4 ) 3 b 4 F 2 r 0 s 0 + s 0 2 3 b 4 F 2 s 0 | 0 3 b 2 F 2 1 4 s t m s m t ( 1 b 2 ) 12 b 2 β s 0 m s m 1 2 b 2 s m s m 1 b 4 6 ( n 3 ) F 3 r 00 ( n 7 ) F 2 r 0 + ( n 3 ) F 2 s 0 F . k r l 0 + F . l r k 0 + 2 b 2 F 2 ( F . k r l 0 | 0 + F . l r k 0 | 0 ) ( n 1 ) 2 b 2 F 2 F . k r 00 | l + F . l r 00 | k + 8 ( n 2 ) b 4 F 2 r k 0 r l 0 1 2 b 2 ( F . k r m l + F . l r m k ) s m + ( 3 n + 2 ) 6 b 2 F ( F . k r l m + F . l r k m ) s 0 m + ( 3 n + 2 ) 6 b 2 F ( F . k s l m + F . l s k m ) r m 0 ( 3 n 5 ) b 4 F ( r k 0 r l + r l 0 r k ) + ( n 3 ) b 4 F ( r k 0 s l + r l 0 s k ) 2 b 2 F r k l | 0 + ( n 1 ) b 2 F r k 0 | l + r l 0 | k + 1 6 b 2 F ( F · k s l | 0 + F . l s k | 0 ) + 1 6 b 2 F F · k s 0 | l + F . l s 0 | k + 1 b 2 b m r k l | m + 1 b 4 r k r l 1 2 b 2 ( F . k s l m + F . l s k m ) r m + r k l b 4 4 ( n 2 ) r 00 F 2 2 ( n 3 ) F r 0 + 2 ( n 1 ) F s 0 + ( b 2 r m m r ) + ( n 1 ) 2 b 2 ( s l m r m k + s k m r m l ) ( 3 n 7 ) 2 b 4 s k r l + s l r k 1 2 b 2 r k | l + r l | k + 1 3 β ( F . k s l m + F . l s k m ) s m 0 + ( 1 b 2 ) F 24 b 2 β 2 ( F . k b l + F . l b k ) s 0 m s m 1 2 F . k s l | m m + F . l s k | m m + F 3 β 2 b k s l m + b l s k m s m 0 2 F b k b l 3 β 3 s 0 m s m 0 + 1 12 b 2 6 n 5 ( 1 b 2 ) F 2 β ( F . k s l m + F . l s k m ) s m ( n 2 ) b 4 s k s l + ( n 2 ) 2 b 2 s k | l + s l | k + b m 2 b 2 ( F . k s l | m + F . l s k | m ) ,
where α R i c k l denotes the Ricci curvature tensor of α.
Contracting the Ricci curvature tensor with g k l , we can obtain the expression of the scalar curvature R of Kropina metrics as following.
Proposition 2. 
Let F be a Kropina metric on an n-dimensional manifold M. Then, the scalar curvature of F is given by
R = 24 ( n 2 ) b 6 F 5 r 00 2 β + 1 F 4 ( n 1 ) ( n 8 ) b 4 r 00 2 + 8 ( n 2 ) b 6 r 00 ( 5 r 0 s 0 ) β 4 ( n 2 ) b 4 r 00 | 0 β + 2 F 3 1 b 2 α R i c β 2 ( n 1 ) b 4 r 00 ( 2 r 0 s 0 ) + ( n 1 ) b 2 r 00 | 0 4 ( n 2 ) b 6 r 00 r β + ( n 3 ) b 4 r m m r 00 β + ( n 1 ) b 4 r 0 m r m 0 β + 4 b 4 s 0 m r m 0 β + ( n 2 ) b 4 b m r 00 | m β 7 ( n 2 ) b 6 r 0 2 β + 6 ( n 2 ) b 6 r 0 s 0 β + ( n 2 ) b 4 r 0 | 0 β + ( n 2 ) b 6 s 0 2 β ( n 2 ) b 4 s 0 | 0 β + 1 F 2 α R i c + 2 b 2 b k y l α R i c k l β + 1 b 4 ( r m m b 2 r ) r 00 + ( 3 n 2 + 5 n 3 ) 3 b 2 s 0 m r m 0 + 1 b 2 b m r 00 | m + r 0 2 b 4 ( 3 n 2 + 13 n 21 ) 3 b 4 r 0 s 0 1 b 2 r 0 | 0 2 ( 2 n 3 ) 3 b 4 ( s 0 2 b 2 s 0 | 0 ) ( n 5 ) b 4 r m m r 0 β + ( n 1 ) b 4 r m m s 0 β 4 ( n 2 ) b 4 r 0 m r m β 3 b 4 r 0 m s m β + ( n 1 ) b 2 r 0 | m m β 1 b 2 r m | 0 m β + ( n 1 ) b 4 s 0 m r m β + 4 ( n 2 ) b 6 r ( r 0 s 0 ) β + ( n 2 ) b 4 s 0 m s m β ( n 2 ) b 4 b m ( r 0 | m s 0 | m ) β + 1 F 1 2 α R b k b l b 2 α R i c k l β + ( n 1 ) 3 β s 0 m s m 0 + ( n + 1 ) 2 b 2 ( s 0 r m m s m r m 0 s 0 m r m r s 0 b 2 + b m s 0 | m b 2 s 0 | m m ) + ( 3 n 2 + n 7 ) 6 b 2 s 0 m s m + 1 2 b 6 r m m b 2 r 2 β + ( n 1 ) 2 b 2 r m k s k m β + b m 2 b 2 r k | m k β + 1 2 b 4 r m r m β ( 3 n 16 ) 2 b 4 s m r m β 1 2 b 2 r | m m β 1 2 b 6 r 2 β + 1 2 b 4 b m r | m β β 2 b 4 r m r | m ( n 2 ) b 4 s m s m β + ( n 2 ) 2 b 2 s | m m β n 2 b 2 s m s m n 4 s t m s m t n ( 1 b 2 ) 12 b 2 β s 0 m s m ,
where α R denotes the scalar curvature of α.

4. The Proof of Main Theorem

In this section, we will prove Theorem 1.
Proof. 
“Necessity”. Assume Kropina metric F is of isotropic scalar curvature, i.e., R = n ( n 1 ) κ ( x ) . Substituting (2) into R = n ( n 1 ) κ ( x ) yields
α 10 Γ 0 + α 8 Γ 1 + α 6 Γ 2 + α 4 Γ 3 + α 2 Γ 4 + Γ 5 = 0 ,
where
Γ 0 = n ( n 1 ) κ ( x ) + 1 2 b 2 s m s m + 1 4 s t m s m t β n ( 1 b 2 ) 12 b 2 s 0 m s m , Γ 1 = 1 2 α R b k b l b 2 α R i c k l + 1 2 b 6 r m m b 2 r 2 + ( n 1 ) 2 b 2 r m k s k m + 5 2 b 4 r m r m ( n 1 ) b 4 s m r m 1 2 b 6 r 2 + b m 2 b 2 r k | m k 1 2 b 2 r | m m ( n 2 ) 2 b 4 s m s m + ( n 2 ) 2 b 2 s | m m ( n 2 ) b k b l s k | l 2 b 4 β 3 + ( 3 n 2 + n 7 ) 6 b 2 s 0 m s m + ( n + 1 ) 2 b 2 ( r m m s 0 s m r m 0 s 0 m r m r s 0 b 2 + b m s 0 | m b 2 s 0 | m m ) β 2 + ( n 1 ) 3 s 0 m s m 0 β , Γ 2 = α R i c + 2 b 2 b k y l α R i c k l β + 1 b 4 ( r m m b 2 r ) r 00 + 1 b 2 b m r 00 | m + ( 3 n 2 + 5 n 3 ) 3 b 2 s 0 m r m 0 + r 0 2 b 4 ( 3 n 2 + 13 n 21 ) 3 b 4 r 0 s 0 2 ( 2 n 3 ) 3 b 4 s 0 2 1 b 2 r 0 | 0 + 2 ( 2 n 3 ) 3 b 2 s 0 | 0 ( n 5 ) b 4 r m m r 0 β + ( n 1 ) b 4 r m m s 0 β ( 2 n 1 ) b 4 r m r m 0 β ( 2 n 3 ) b 4 s m r m 0 β + ( n 2 ) b 4 s 0 m r m β + 4 ( n 2 ) b 6 r ( r 0 s 0 ) β 1 b 2 r m | 0 m β + ( n 1 ) b 2 r 0 | m m β ( n 2 ) b 4 b m r 0 | m β ( n 2 ) b 4 s 0 m s m β + ( n 2 ) b 4 b m s 0 | m β β 3 , Γ 3 = 1 b 2 α R i c β 4 ( n 1 ) b 4 r 00 r 0 + 2 ( n 1 ) b 4 r 00 s 0 + ( n 1 ) b 2 r 00 | 0 + ( n 3 ) b 4 r m m r 00 β + ( n 1 ) b 4 r 0 m r m 0 β 2 ( n 2 ) b 4 s 0 m r m 0 β 4 ( n 2 ) b 6 r 00 r β + ( n 2 ) b 4 b m r 00 | m β 7 ( n 2 ) b 6 r 0 2 β + 6 ( n 2 ) b 6 r 0 s 0 β + 1 b 4 r 0 | 0 β + ( n 2 ) b 6 s 0 2 β ( n 2 ) b 4 s 0 | 0 β β 4 , Γ 4 = ( n 1 ) ( n 8 ) b 4 r 00 2 + 40 ( n 2 ) b 6 r 00 r 0 β 8 ( n 2 ) b 6 r 00 s 0 β 4 ( n 2 ) b 4 r 00 | 0 β β 5 , Γ 5 = 24 ( n 2 ) b 6 r 00 2 β 7 .
By (3), we have that α 2 divides Γ 5 . Thus, there exists a scalar function c = c ( x ) such that r 00 = c α 2 , which is the second formula of (1). Thus, we deduce that
r i j = c a i j ; r i 0 = c y i ; r i j | m = c m a i j ; r i 0 | m = c m y i ; r i 0 | 0 = c 0 y i ; r 00 | k = c k α 2 ; r 00 | 0 = c 0 α 2 ; r k k = n c ; r k | 0 k = n c 0 ; r i = c b i ; r 0 = c β ; r i | j = c j b i + c s i j + c 2 a i j ; r = c b 2 ; r i | 0 = c 0 b i + c s i 0 + c 2 y i ; r 0 | j = c j β + c s 0 j + c 2 y j ; r 0 | 0 = c 0 β + c 2 α 2 ; r | k k = c b + n c 2 ,
where c i = c x i , c b = c i b i , c 0 = c i y i .
Substituting the above equations into (3) yields
α 6 Δ 0 + α 4 Δ 1 + α 2 Δ 2 + Δ 3 = 0 ,
where
Δ 0 = n ( n 1 ) κ ( x ) + 1 2 b 2 s m s m + 1 4 s t m s m t β n ( 1 b 2 ) 12 b 2 s 0 m s m , Δ 1 = 1 2 b 4 { b 2 ( b 2 α R b k b l α R i c k l ) + ( n + 1 ) b 2 [ ( n 2 ) c 2 + c b ] ( n 2 ) ( 2 s m s m b 2 s | m m ) } β 3 ,
Δ 2 = ( n 2 ) b 4 ( c b c 2 ) β 5 + 1 b 4 2 b 2 b k y l α R i c k l 2 ( 8 n 15 ) 3 c s 0 + ( n 2 ) [ 2 b 2 c 0 + b m s 0 | m s 0 m s m ] } β 4 + 1 b 4 α R i c + 2 ( 2 n 3 ) 3 ( b 2 s 0 | 0 s 0 2 ) β 3 , Δ 3 = 2 b 6 { b 4 α R i c + ( n 2 ) [ c 2 β 2 + ( 2 c s 0 b 2 c 0 ) β + ( s 0 2 b 2 s 0 | 0 ) ] } β 5 .
By (4), we have that α 2 divides Δ 3 , i.e., there exists a scalar function f = f ( x ) such that
f α 2 = b 4 α R i c + ( n 2 ) [ c 2 β 2 + ( 2 c s 0 b 2 c 0 ) β + ( s 0 2 b 2 s 0 | 0 ) ] .
Differentiating the above equation with respect to y i y j yields
2 f a i j = 2 b 4 α R i c i j + ( n 2 ) [ 2 c 2 b i b j + 2 c ( s i b j + s j b i ) b 2 ( c i b j + c j b i ) + 2 s i s j b 2 ( s i | j + s i | j ) ] .
Contracting this formula with b i b j or a i j yields, respectively,
f = b 2 b i b j α R i c i j + ( n 2 ) b 2 c 2 ( n 2 ) b 2 c b ( n 2 ) s m s m , n f = b 4 α R + ( n 2 ) b 2 c 2 ( n 2 ) b 2 c b + ( n 2 ) ( s m s m b 2 s | m m ) .
Combining the above two formulas, we obtain
f = b 2 n 1 b i b j α R i c i j b 2 α R + n 2 n 1 ( 2 s m s m b 2 s | m m )
and
s | m m = 1 n 2 ( b 2 α R n b i b j α R i c i j ) + ( n 1 ) ( c b c 2 ) + ( n + 1 ) b 2 s m s m .
Substituting (5)–(7) into (4), we obtain
α 4 Θ 0 + α 2 Θ 1 + Θ 2 = 0 ,
where
Θ 0 = n ( n 1 ) κ ( x ) + 1 2 b 2 s m s m + 1 4 s t m s m t β n ( 1 b 2 ) 12 b 2 s 0 m s m , Θ 1 = 1 6 b 4 n ( 3 n + 5 ) b 2 b k b l n 2 α R i c k l + s m s m + b 2 c b 2 n b 2 c 2 β 3 + 1 6 6 ( n + 1 ) n 2 b k y l α R i c k l + 3 n 2 + 4 n 4 b 2 s 0 m s m 3 ( n + 1 ) ( s 0 | m m n b 2 c s 0 + c 0 ) β 2 + 2 ( n 1 ) s 0 m s m 0 β , Θ 2 = n 3 b 4 b 4 n 2 α R i c + c 2 β 2 + c β s 0 b 2 c 0 β β 3 .
By (8), we have that α 2 divides Θ 2 . Then, there exists a scalar function g = g ( x ) such that
g α 2 = b 4 n 2 α R i c + c 2 β 2 + c β s 0 b 2 c 0 β ,
which is the first formula of (1). Differentiating the above equation with respect to y i or y i y j , respectively, we obtain
2 g y i = 2 b 4 n 2 y l α R i c i l + 2 c 2 β b i + c b i s 0 b 2 c 0 b i + c β s i b 2 c i β ,
2 g a i j = 2 b 4 n 2 α R i c i j + 2 c 2 b i b j + c ( b i s j + b j s i ) b 2 ( c i b j + c j b i ) .
Contracting (10) with b i yields
2 g β = 2 b 4 n 2 b i y l α R i c i l + b 2 ( 2 c 2 c b ) β + b 2 c s 0 b 4 c 0 .
Contracting (11) with b i b j or a i j , respectively, we obtain
g = b 2 n 2 b i b j α R i c i j + b 2 ( c 2 c b ) ,
n g = b 4 n 2 α R + b 2 ( c 2 c b ) .
Comparing (13) and (14) yields
g = b 2 ( n 1 ) ( n 2 ) b i b j α R i c i j b 2 α R
and
c b = c 2 + 1 ( n 1 ) ( n 2 ) b 2 α R n b i b j α R i c i j .
Substituting (15) and (16) into (12) yields
c 0 = 2 b i y j n 2 α R i c i j + β n 1 1 n 2 α R + b i b j b 2 α R i c i j + n 1 b 2 c 2 + c b 2 s 0 .
Combining (5), (6), (9), and (15), we obtain the third formula of (1).
Substituting (9), (15)–(17) into (8) yields
α 2 Ω 0 + Ω 1 = 0 ,
where
Ω 1 = 1 6 3 ( n + 1 ) b 2 1 ( n 2 ) ( b 2 α R 2 b k b l α R i c k l ) + ( n 1 ) c 2 + n ( 3 n + 5 ) 3 ( n + 1 ) b 2 s m s m β 2 + 1 b 2 ( 3 n 2 + 4 n 4 ) s 0 m s m 3 ( n + 1 ) b 2 s 0 | m m + 3 ( n 1 ) ( n + 1 ) c s 0 β + 2 ( n 1 ) s 0 m s m 0 } β , Ω 0 = n ( n 1 ) κ ( x ) + 1 2 b 2 s m s m + 1 4 s t m s m t β n ( 1 b 2 ) 12 b 2 s 0 m s m .
By (18), we have that α 2 divides Ω 1 . Then, there exists a scalar function h = h ( x ) such that
h α 2 = 3 ( n + 1 ) b 2 1 n 2 ( b 2 α R 2 b k b l α R i c k l ) + ( n 1 ) c 2 + n ( 3 n + 5 ) 3 ( n + 1 ) b 2 s m s m β 2 + 1 b 2 ( 3 n 2 + 4 n 4 ) s 0 m s m 3 ( n + 1 ) b 2 s 0 | m m + 3 ( n 1 ) ( n + 1 ) c s 0 β + 2 ( n 1 ) s 0 m s m 0 ,
which is the fourth formula of (1). Differentiating the above equation with respect to y i y j yields
2 h a i j = 6 ( n + 1 ) b 2 1 n 2 ( b 2 α R 2 b k b l α R i c k l ) + ( n 1 ) c 2 + n ( 3 n + 5 ) 3 ( n + 1 ) b 2 s m s m b i b j + 1 b 2 ( 3 n 2 ) ( n + 2 ) s m ( s j m b i + s i m b j ) + 3 ( n 1 ) ( n + 1 ) c ( s j b i + s i b j ) 3 ( n + 1 ) ( s j | m m b i + s i | m m b j ) + 4 ( n 1 ) s i m s m j .
Contracting (20) with b i b j or a i j , respectively, we have
h = 3 ( n + 1 ) ( n 2 ) b 2 α R 2 b i b j α R i c i j + ( 3 n + 2 ) b 2 s m s m + 3 ( n + 1 ) [ ( n 1 ) c 2 + s | m m + s t m s m t ] ,
n h = 3 ( n + 1 ) ( n 2 ) b 2 α R 2 b i b j α R i c i j + ( n + 4 ) b 2 s m s m + 3 ( n + 1 ) [ ( n 1 ) c 2 + s | m m ] + ( n + 5 ) s t m s m t .
Comparing (21) and (22) yields
h = 2 s m s m b 2 + s t m s m t ,
s | m m = 1 n 2 [ 2 b i b j α R i c i j b 2 α R ] ( n 1 ) c 2 3 n + 4 3 ( n + 1 ) b 2 s m s m 3 n + 5 3 ( n + 1 ) s t m s m t .
By (7) and (24), we obtain
c b = 1 n 1 b i b j α R i c i j + 3 n 2 + 9 n + 7 3 ( n + 1 ) b 2 s m s m + 3 n + 5 3 ( n + 1 ) s t m s m t .
Therefore, by (16), we have
c 2 = 2 b i b j α R i c i j b 2 α R ( n 1 ) ( n 2 ) 1 3 ( n + 1 ) ( n 1 ) 3 n 2 + 9 n + 7 b 2 s m s m + ( 3 n + 5 ) s t m s m t .
Substituting (26) into (17) yields
c 0 = β ( n 1 ) b 2 n b i b j α R i c i j ( n 2 ) 1 3 ( n + 1 ) 3 n 2 + 9 n + 7 b 2 s m s m + ( 3 n + 5 ) s t m s m t 2 b i y j n 2 α R i c i j + c s 0 b 2 .
Substituting (23) into (18) yields
R = n ( n 1 ) κ ( x ) = n ( 1 b 2 ) 12 b 2 β s 0 m s m 3 n + 2 6 b 2 s m s m 3 n + 4 12 s t m s m t .
“Sufficiency”. It is obviously true.
This completes the proof of Theorem 1. □

5. Other Related Results

In this section, we consider s 0 = 0 in Theorem 1.
Corollary 1. 
Let F be a Kropina metric on an n ( 3 ) -dimensional manifold M. Assume s 0 = 0 . Then F is of isotropic scalar curvature if and only if
b 4 α R i c = 1 n 1 ( b 2 α R b i b j α R i c i j ) ( b 2 α 2 β 2 ) b i b j α R i c i j β 2 2 b 2 b i y j α R i c i j β , r 00 = c ( x ) α 2 , 0 = s t m s m t ( 2 α 2 3 n + 5 b 2 β 2 ) 3 ( n + 1 ) s 0 | m m β + 2 ( n 1 ) s 0 m s m 0 .
In this case, R = 3 n + 4 12 s m t s t m .
Proof. 
Sufficiency is obviously true. Next we prove necessity. Assume that F is of isotropic scalar curvature, i.e., R = n ( n 1 ) κ ( x ) . By Theorem 1, obviously, r 00 = c ( x ) α 2 , (5), (19), (26) and (27) are true. When s 0 = 0 , (26) and (27) can be simplified as
c 2 = ( 2 b i b j α R i c i j b 2 α R ) ( n 1 ) ( n 2 ) ( 3 n + 5 ) 3 ( n + 1 ) ( n 1 ) s t m s m t ,
c 0 = β ( n 1 ) b 2 n b i b j α R i c i j ( n 2 ) ( 3 n + 5 ) 3 ( n + 1 ) s t m s m t 2 n 2 b i y j α R i c i j .
Substituting s 0 = 0 , (29) and (30) into (5), we obtain
f α 2 = b 4 α R i c 2 b 2 b i y j α R i c i j β b 2 α R + ( n 2 ) b i b j α R i c i j n 1 β 2 ,
where f = b 2 n 1 ( b i b j α R i c i j b 2 α R ) . This is the first formula of (28).
Substituting s 0 = 0 and (29) into (19), we obtain
h α 2 = 3 n + 5 b 2 s t m s m t β 2 3 ( n + 1 ) s 0 | m m β + 2 ( n 1 ) s 0 m s m 0 ,
where h = 2 s t m s m t . This is the third formula of (28).
By Theorem 1, in this case, R = 3 n + 4 12 s m t s t m . □
Corollary 2. 
Let F be a Kropina metric on an n ( 3 ) -dimensional compact manifold M. Then F is of isotropic scalar curvature if and only if
b 4 α R i c = 1 n 1 ( b 2 α R b i b j α R i c i j ) ( b 2 α 2 β 2 ) b i b j α R i c i j β 2 2 b 2 b i y j α R i c i j β , r 00 = c ( x ) α 2 , 0 = ( 2 α 2 3 n + 5 b 2 β 2 ) s t m s m t 3 ( n + 1 ) s 0 | m m β + 2 ( n 1 ) s 0 m s m 0 .
In this case, R = 3 n + 4 12 s m t s t m .
Proof. 
Sufficiency is obviously true. Next we prove necessity. Assume that F is of isotropic scalar curvature, i.e., R = n ( n 1 ) κ ( x ) . By Theorem 1, (24) and (26) are true. Substituting (26) into (24), we obtain
s | m m = n + 1 b 2 s m s m .
Using the divergence theorem, when M is a compact manifold, s 0 = 0 . By Corollary 1, Corollary 2 is true. □
Based on Lemma 2 and Theorem 1, we obtain the following result.
Theorem 2. 
Let a Kropina metric F be of isotropic scalar curvature. Then, F is of isotropic S curvature if and only if S = 0.
Proof. 
Assume that F is of isotropic scalar curvature. By Theorem 1, we know that r 00 = c α 2 . By Lemma 2, the result is obviously true. □
Lemma 3 
([6]). For a Finsler metric or a spray on a manifold M, R i m j m = R j m i m if and only if χ i = 0 .
Remark 1. 
Li–Shen defined χ = χ i d x i with the S curvature in [11], where χ i : = 1 2 { S . i | m y m S | i } . Based on Theorem 2, we know that χ i for a Kropina metric with isotropic scalar curvature vanishes, i.e., R i m j m = R j m i m . This means that R i c i j = R i c ¯ i j .

6. Conclusions

In this paper, we study the Kropina metric with isotropic scalar curvature. Firstly, we obtain the expressions of Ricci curvature tensor and scalar curvature. Based on these, we characterize Kropina metrics with isotropic scalar curvature by tensor analysis in Theorem 1. In Corollary 2, we discuss the case of a compact manifold. Kropina metrics with isotropic scalar curvature deserve further study by the navigation method.

Author Contributions

Conceptualization, X.Z.; Validation, L.L.; Formal analysis, L.L. and X.Z.; Investigation, L.L.; Writing—original draft, L.L.; Writing—review & editing, X.Z. and L.Z.; Project administration, X.Z.; Funding acquisition, X.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the National Natural Science Foundation of China (Grant Nos. 11961061, 11461064, and 12071283).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No data were used to support this work.

Acknowledgments

The authors are very grateful to anonymous reviewers for careful reading of the submitted manuscript and also for providing several important comments and suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Akbar-Zadeh, H. Sur les espaces de Finsler A courbures sectionnelles constantes. Bulletins de l’Académie Royale de Belgique 1988, 74, 271–322. [Google Scholar] [CrossRef]
  2. Cheng, X.Y.; Shen, Z.M.; Tian, Y.F. A class of Einstein (α,β)-metrics. Isr. J. Math. 2012, 192, 221–249. [Google Scholar] [CrossRef]
  3. Zhang, X.L.; Shen, Y.B. On Einstein Kropina metrics. Differ. Geom. Appl. 2013, 31, 80–92. [Google Scholar] [CrossRef] [Green Version]
  4. Xia, Q.L. On Kropina metrics of scalar flag curvature. Differ. Geom. Appl. 2013, 31, 393–404. [Google Scholar] [CrossRef]
  5. Cheng, X.Y.; Ma, X.Y.; Shen, Y.L. On projective Ricci flat Kropina metrics. J. Math. 2017, 37, 705–713. [Google Scholar]
  6. Li, B.L.; Shen, Z.M. Ricci curvature tensor and non-Riemannian quantities. Can. Math. Bull. 2015, 58, 530–537. [Google Scholar] [CrossRef] [Green Version]
  7. Shimada, H. On the Ricci tensors of particular Finsler spaces. J. Korean Math. Soc. 1977, 14, 41–63. [Google Scholar]
  8. Tayebi, A.; Peyghan, E. On Ricci tensors of Randers metrics. J. Geom. Phys. 2010, 60, 1665–1670. [Google Scholar] [CrossRef] [Green Version]
  9. Tayebi, A. On generalized 4-th root metrics of isotropic scalar curvature. Math. Slovaca 2018, 68, 907–928. [Google Scholar] [CrossRef]
  10. Chen, B.; Xia, K.W. On conformally flat polynomial (α,β)-metrics with weakly isotropic scalar curvature. J. Korean Math. Soc. 2019, 56, 329–352. [Google Scholar]
  11. Li, B.L.; Shen, Z.M. Sprays of isotropic curvature. Int. J. Math. 2018, 29, 1850003. [Google Scholar] [CrossRef]
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

Liu, L.; Zhang, X.; Zhao, L. Kropina Metrics with Isotropic Scalar Curvature. Axioms 2023, 12, 611. https://doi.org/10.3390/axioms12070611

AMA Style

Liu L, Zhang X, Zhao L. Kropina Metrics with Isotropic Scalar Curvature. Axioms. 2023; 12(7):611. https://doi.org/10.3390/axioms12070611

Chicago/Turabian Style

Liu, Liulin, Xiaoling Zhang, and Lili Zhao. 2023. "Kropina Metrics with Isotropic Scalar Curvature" Axioms 12, no. 7: 611. https://doi.org/10.3390/axioms12070611

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