Next Article in Journal
Optimization Analysis of Parameters for Carbon Fiber Composite Sucker Rod Pumping Systems Based on Finite Element Method
Previous Article in Journal
Symmetry-Aware Credit Risk Modeling: A Deep Learning Framework Exploiting Financial Data Balance and Invariance
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Einstein Doubly Warped Product Poisson Manifolds

Department of Mathematics and Statistics, College of Science, Imam Mohammad Ibn Saud Islamic University (IMSIU), P.O. Box 65892, Riyadh 11566, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2025, 17(3), 342; https://doi.org/10.3390/sym17030342
Submission received: 12 January 2025 / Revised: 16 February 2025 / Accepted: 21 February 2025 / Published: 24 February 2025
(This article belongs to the Section Physics)

Abstract

:
In this paper, we study Einstein doubly warped product Poisson manifolds. First, we provide necessary and sufficient conditions for a doubly warped product manifold ( M = B f × b F , g , Π ) , equipped with a Poisson structure Π to be a contravariant Einstein manifold. Additionally, under certain conditions on the base space B, we prove that if M is an Einstein doubly warped product Poisson manifold with non-positive scalar curvature, then M is simply a singly warped product Poisson manifold. We also investigate the existence and non-existence of the warping function on the base space B associated with constant scalar curvature on M, assuming that the fiber space F has constant scalar curvature.
MSC:
53C20; 53D17; 53C25

1. Introduction

In 1809, S-D. Poisson [1] introduced a pivotal binary operation, known as the Poisson bracket, to systematically discover integrals of motion in Hamiltonian mechanics. Building on this foundation, Lichnerowicz [2] later formalized the concept of a Poisson manifold as a smooth manifold endowed with a Poisson bracket, generalizing the notion of a symplectic manifold. Poisson geometry then became an active area of research, playing a significant role not only in Hamiltonian mechanics but also in various branches of mathematics, including noncommutative geometry, singularity theory, quantum groups, representation theory, and more. As a result, numerous geometric structures on Poisson manifolds were defined. The contravariant derivative on a Poisson manifold was first introduced by Vaisman [3] and later examined in detail by Fernandes [4]. Some contravariant differential operators, including the Laplace operator was introduced by Sassi [5]. The compatibility between contravariant pseudo-Riemannian metrics and Poisson structures has been investigated by several authors across different classes of smooth manifolds [6,7]. In [8], the authors investigated sectional contravariant curvatures on doubly warped product Poisson spaces. Contravariant gravity on Poisson manifolds is studied in [9].
It is worth noting that Einstein manifolds, which are pseudo-Riemannian manifolds whose Ricci curvature is proportional to their metric, play an important role in both general relativity and differential geometry because they often model spaces with symmetries and can describe space-time geometries with constant scalar curvature. Moreover, singly warped products, which were constructed by Bishop and O’Neill [10] to study Riemannian manifolds with negative sectional curvatures, play a significant role in the theory of relativity. In fact, standard space-time models such as Robertson–Walker, static, and Schwarzschild are examples of singly warped products. Additionally, the simplest models of neighborhoods of stars and black holes are also singly warped products [11]. The theory of relativity requires a larger class of manifolds, leading to the introduction of the concept of doubly warped products as a generalization of singly warped products. Recently, in [8], the authors introduced the notion of doubly warped product Poisson manifolds, and derived several geometric structures on this class of manifolds, such as the contravariant Levi-Civita connection, curvature tensor, and contravariant sectional curvature. For two given pseudo-Riemannian manifolds ( B , g ˜ 1 , Π 1 ) and ( F , g ˜ 2 , Π 2 ) , equipped with Poisson tensor Π 1 and Π 2 respectively, and for two positive smooth functions b : B ( 0 , ) and f : B ( 0 , ) , the product manifold ( M = B f × b F , g ˜ , Π ) equipped with the warped metric g ˜ = f 2 g ˜ 1 + b 2 g ˜ 2 and the product Poisson structure Π = Π 1 + Π 2 is called doubly warped product Poisson manifold (abbreviated as DWPPM). The manifold B is named the base space, F is referred to as the fiber space, b and f are the warping functions on B and F respectively.
In 1983, Besse (see [12], p. 265) posed the open problem: “Can a compact Einstein warped product space with a non-constant warping function be constructed?”. In [13], Kim and Kim provided a negative answer to Besse’s question, proving that there does not exist an Einstein warped product space with a non-constant warping function if the base space is compact and the scalar curvature is non-positive. Compact Einstein singly warped product manifolds and doubly warped product manifolds have been studied by many authors [14,15,16]. Inspired by these studies and a recent examination of Einstein–Poisson warped product space [17], we investigate the following problem: “Does there exist a non-constant warping function on an Einstein DWPPM with a compact base?”. Furthermore, we study the existence and non-existence of the warping function b on the base space B associated with constant scalar curvature on DWPPM ( M = B f × b F , g ˜ , Π ) , assuming that the fiber space F has constant scalar curvature.
This paper is organized as follows: Section 2 introduces key concepts related to geometric structures, including Poisson structures, contravariant connections, contravariant Einstein manifolds and formulas related to differential operators on Poisson manifolds equipped with pseudo-Riemannian metrics. In Section 3, we express the Ricci curvature R i c of a DWPPM ( M = B f × b F , Π , g ) in terms of the warping functions b and f, as well as the Ricci curvatures R i c 1 , R i c 2 of its factor manifolds ( B , Π 1 , g 1 ) and ( F , Π 2 , g 2 ) respectively. We then provide necessary and sufficient conditions for the triple ( M = B f × b F , g , Π ) to be a contravariant Einstein manifold. Furthermore, we prove that if M is an Einstein DWPPM with non-positive scalar curvature, a compact base B, and J 1 is a field endomorphism on T * B satisfying J 1 2 = I , then M is simply a singly warped product Poisson manifold. In Section 4, we characterize the warping functions on Einstein DWPPM.

2. Preliminaries

2.1. Poisson Structures

Let M be a smooth manifold, and let C ( M ) denote the space of real-valued smooth functions on M. A Poisson structure on M is a Lie bracket { . , . } on C ( M ) , which satisfies the Leibniz identity:
{ φ 1 , φ 2 φ 3 } = { φ 1 , φ 2 } φ 3 + φ 2 { φ 1 , φ 3 } , φ 1 , φ 2 , φ 3 C ( M ) .
This condition implies that for any function φ 1 C ( M ) , the map φ 2 { φ 1 , φ 2 } defines a derivation. Therefore, there exists a unique vector field X φ 1 on M, known as the Hamiltonian vector field of φ 1 , which satisfies for any φ 2 C ( M ) ,
X φ 1 ( φ 2 ) = { φ 1 , φ 2 } .
When X φ 1 0 , the function φ 1 is called a Casimir function on M.
Given a Poisson structure { . , . } on M, there exists a bivector field Π Γ ( Λ 2 T M ) on M, called Poisson tensor and defined for any φ 1 , φ 2 C ( M ) by
Π ( d φ 1 , d φ 2 ) = { φ 1 , φ 2 } .
A smooth manifold ( M , Π ) endowed with a Poisson tensor Π is referred to as a Poisson manifold.

2.2. Contravariant Connections

Contravariant connections on Poisson manifolds were proposed by Vaismann [3] and subsequently examined in depth by Fernandes [4].
Let ( M , Π ) be a Poisson manifold, and let Ω 1 ( M ) denote the space of differential 1-forms on M. For each Poisson tensor Π , we can define the anchor map Π : T * M T M , given for any η , θ Ω 1 ( M ) by
θ ( Π ( η ) ) = Π ( η , θ ) ,
and the Koszul bracket [ , ] Π on Ω 1 ( M ) defined by
[ η , θ ] Π = L Π ( η ) θ L Π ( θ ) η d ( Π ( η , θ ) ) ,
where L Π ( η ) θ denotes the Lie derivative of θ with respect the vector field Π ( η ) .
A contravariant connection D defined on a Poisson manifold ( M , Π ) with respect to Π is a R -bilinear map D : Ω 1 ( M ) × Ω 1 ( M ) Ω 1 ( M ) satisfying:
(i)
For any φ C ( M ) , the mapping η D η θ is C ( M ) -linear, i.e.,
D φ η θ = φ D η θ , η , θ Ω 1 ( M ) ,
(ii)
the mapping θ D β θ is a derivation in the following sense:
D η ( φ θ ) = φ D η θ + Π ( η ) ( φ ) θ , φ C ( M ) .
The curvature R and the torsion T of a contravariant connection D are defined for any η , θ , β Ω 1 ( M ) by
R ( η , θ ) β = D η D θ β D θ D η β D [ η , θ ] Π β ,
T ( η , θ ) = D η θ D θ η [ η , θ ] Π .
The connection D is said to be torsion-free if T 0 .
Now let g ˜ be a pseudo-Riemannian metric on M . We can associate the musical isomorphisms g ˜ and g ˜ , where
g ˜ : T M T * M ; U g ˜ ( U , . ) ,
and g ˜ is its inverse. The contravariant metric g associated to g ˜ is defined for any 1-forms η , θ Ω 1 ( M ) by
g ( η , θ ) = g ˜ ( g ˜ ( η ) , g ˜ ( θ ) ) .
For each Poisson structure Π on ( M , g ) , there is a unique torsion-free contravariant connection D such that the contravariant metric g is parallel with respect to D , i.e.,
Π ( η ) g ( θ , β ) = g ( D η θ , β ) + g ( θ , D η β ) .
This connection D is said to be Levi-Civita contravariant connection and can be expressed by the following Koszul formula:
2 g ( D η θ , β ) = Π ( η ) g ( θ , β ) + Π ( θ ) g ( η , β ) Π ( β ) g ( η , θ ) + g ( [ η , θ ] Π , β ) + g ( [ β , η ] Π , θ ) + g ( [ β , θ ] Π , η ) .
For any φ C ( M ) , and η Ω 1 ( M ) , we have
( D φ ) ( η ) = D η φ = Π ( η ) ( φ ) = d φ ( Π ( η ) ) = Π ( η , d φ ) .
The Poisson tensor Π and the contravariant metric g are related by the field endomorphism J : T * M T * M , given for any η , θ Ω 1 ( M ) by
Π ( η , θ ) = g ( J η , θ ) = g ( η , J θ ) .
The contravariant Ricci tensor R i c p and the scalar curvature S p of ( M , Π , g ) at a point p M are defined respectively by
R i c p ( η p , θ p ) = i = 1 m g ( p ) ( R ( η p , e i ) e i , θ p ) ,
S p = i = 1 m R i c p ( e i , e i ) ,
where ( e 1 , , e m ) is a local orthonormal basis of T p * M with respect to g on open U M .
A pseudo-Riemannian manifold ( M , g , Π ) equipped with a Poisson tensor Π is called a contravariant Einstein manifold if there exists a real constant c such that
R i c p ( η p , θ p ) = c g ( p ) ( η p , θ p ) ,
for each η p , θ p T p * M and each p M . Einstein manifolds with c = 0 are called Ricci-flat manifolds. For further details on the covariant case, refer to [12].

2.3. Some Differential Operators on Poisson Manifolds

This subsection reviews the concepts and key properties of the contravariant divergence, and Hessian and Laplacian operators defined on the Poisson manifold (see [5,17,18]).
Consider an m-dimensional Poisson manifold ( M , Π , g ) endowed with a pseudo-Riemannian metric g, and let D denote the Levi-Civita contravariant connection corresponding to the pair ( Π , g ) . Let also ( e 1 , , e m ) be an orthonormal coframe field on M. The contravariant divergence of any 1-form η and of any symmetric ( 2 , 0 ) -type tensor Q on M with respect to D are defined respectively by
div D ( η ) = i = 1 m g ( D e i η , e i ) ,
div D ( Q ) ( η ) = i = 1 m ( D e i Q ) ( e i , η ) .
By virtue of (3), for any φ C ( M ) , we have
div D ( φ η ) = φ div D ( η ) g ( J d φ , η ) .
If ( M , Π , g ) is a compact Poisson manifold endowed with a pseudo-Riemannian metric g and the compatibility condition d ( Π     μ g ) = 0 , then for any η Ω 1 ( M ) , we have
M div D ( η ) μ g = 0 ,
where μ g is the Riemannian volume element.
In Equation (4), if Q = R i c is the contravariant Ricci curvature of ( M , Π , g ) , then for any η Ω 1 ( M ) , we have
2 div D ( R i c ) ( η ) = D η S ,
where S is the contravariant scalar curvature of ( M , Π , g ) .
The contravariant Hessian H Π φ of a smooth function φ on M with respect to Π is given by
H Π φ ( η , θ ) = Π ( D η θ ) ( φ ) + Π ( η ) ( Π ( θ ) ( φ ) ) = g ( D η J d φ , θ ) .
The contravariant Laplacian operator Δ D , associated to the connection D , is defined for any tensor field T on M as
Δ D ( T ) = i = 1 m D e i , e i 2 T = i = 1 m D e i D e i T + D D e i e i T .
From (8) and (9) for any φ C ( M ) , we get
Δ D ( φ ) = i = 1 m H Π φ ( e i , e i ) = i = 1 m g ( D e i J d φ , e i ) .
The divergence of the contravariant Hessian H Π φ is given for any η Ω 1 ( M ) by
div D ( H Π φ ) ( η ) = D η ( Δ D ( φ ) ) R i c ( J d φ , η ) .

2.4. Vertical and Horizontal Lifts

In this subsection, we review the concepts of vertical and horizontal lifts of tensor fields on the product manifold (see [18,19]).
Consider two smooth manifolds B and F, with X ( B ) and X ( F ) denoting their respective spaces of vector fields. Let σ 1 : B × F B and σ 2 : B × F F be the canonical projections of the product manifold B × F onto B and F.
For any φ 2 C ( F ) , the vertical lift of φ 2 to B × F is the smooth function φ 2 v = φ 2 σ 2 .
For any ( p , q ) B × F and W q T q F , the vertical lift of W q to ( p , q ) is the unique tangent vector field W ( p , q ) v in T ( p , q ) ( B × F ) such that
d ( p , q ) σ 2 ( W ( p , q ) v ) = W q , d ( p , q ) σ 1 ( W ( p , q ) v ) = 0 .
The horizontal lift φ 1 h of a function φ 1 C ( B ) and the horizontal lift U h of a vector field U X ( B ) to B × F are defined analogously using σ 1 .
Next, the pullback σ 2 * ( η 2 ) = η 2 v of a smooth 1-form η 2 on F is the vertical lift of η 2 to B × F denoted by η 2 v , such that for any X T ( p , q ) ( B × F ) , we get
( η 2 v ) ( p , q ) ( X ) = ( η 2 ) q ( d ( p , q ) σ 2 ( X ) ) .
The horizontal lift η 1 h of a smooth 1-form η 1 Ω 1 ( B ) is defined analogously using σ 1 .
Lemma 1
([20]). For any φ 1 C ( B ) , φ 2 C ( F ) , and for any U 1 X ( B ) and U 2 X ( F ) , we have
U 1 h ( φ 1 h ) = ( U 1 ( φ 1 ) ) h , U 1 h ( φ 2 v ) = 0 , U 2 v ( φ 1 h ) = 0 , U 2 v ( φ 2 v ) = ( U 2 ( φ 2 ) ) v , ( φ 1 U 1 ) h = φ 1 h U 1 h a n d ( φ 2 U 2 ) v = φ 2 v U 2 v .

2.5. Doubly Warped Product Poisson Manifolds

Let ( B , Π 1 ) and ( F , Π 2 ) be two Poisson manifolds and B × F the product space. The product Poisson structure on B × F is the unique Poisson structure Π = Π 1 + Π 2 such that for any η 1 , θ 1 Ω 1 ( B ) and η 2 , θ 2 Ω 1 ( F ) , we have [18]
Π ( η 1 h , θ 1 h ) = Π 1 ( η 1 , θ 1 ) h Π ( η 2 v , θ 2 v ) = Π 2 ( η 2 , θ 2 ) v Π ( η 1 h , θ 2 v ) = Π ( η 2 v , θ 1 h ) = 0 .
Now let ( B , g ˜ 1 ) and ( F , g ˜ 2 ) be two pseudo-Riemannian manifolds. The product space ( B f × b F , g ˜ ) equipped with the warped metric
g ˜ = ( f v ) 2 g ˜ 1 h + ( b h ) 2 g ˜ 2 v ,
is called doubly warped product manifold. Here b : B ( 0 , ) and f : F ( 0 , ) are smooth positive functions, called warping functions.
For any U 1 , W 1 X ( B ) and U 2 , W 2 X ( F ) , the warped metric g ˜ is explicitly defined by:
g ˜ ( U 1 h , W 1 h ) = ( f v ) 2 g ˜ 1 ( U 1 , W 1 ) h , g ˜ ( U 2 v , W 2 v ) = ( b h ) 2 g ˜ 2 ( U 2 , W 2 ) v , g ˜ ( U 1 h , W 2 v ) = g ( U 2 v , W 1 h ) = 0 .
For any η 1 , θ 1 Ω 1 ( B ) and η 2 , θ 2 Ω 1 ( F ) , the contravariant metric g associated to g ˜ is explicitly given by [19]:
g ( η 1 h , θ 1 h ) = 1 ( f v ) 2 g 1 ( η 1 , θ 1 ) h , g ( η 2 v , θ 2 v ) = 1 ( b h ) 2 g 2 ( η 2 , θ 2 ) v , g ( η 1 h , θ 2 v ) = g ( η 2 v , θ 1 h ) = 0 .
Definition 1.
A doubly warped product manifold ( B f × b F , g , Π ) equipped with the product Poisson structure Π = Π 1 + Π 2 is called a DWPPM. If either b 1 or f 1 , but not both, we obtain a singly warped product Poisson manifold. If b f 1 , we obtain a direct product Poisson manifold.
Now, we present the following results from [8], which will be used later.
Let D and D i be the Levi–Civita contravariant connections associated respectively to ( Π , g ) and ( Π i , g i ) , i = 1 , 2 . For any 1-forms α 1 , β 1 Ω 1 ( B ) and α 2 , β 2 Ω 1 ( F ) , we have
D α 1 h β 1 h = ( D α 1 1 β 1 ) h ( b h ) 2 ( f v ) 3 g 1 ( α 1 , β 1 ) h ( J 2 d f ) v , D α 2 v β 2 v = ( D α 2 2 β 2 ) v ( f v ) 2 ( b h ) 3 g 2 ( α 2 , β 2 ) v ( J 1 d b ) h , D α 1 h β 2 v = D β 2 v α 1 h = 1 f v g 2 ( β 2 , J 2 d f ) v α 1 h + 1 b h g 1 ( α 1 , J 1 d b ) h β 2 v .
Lemma 2.
Let R and R i be the curvatures tensors of D and D i respectively, for i = 1 , 2 . Then for any α 1 , β 1 , γ 1 Ω 1 ( B ) and α 2 , β 2 , γ 2 Ω 1 ( F ) , we have
1.
R ( α 1 h , β 1 h ) γ 1 h = R 1 ( α 1 , β 1 ) γ 1 h + ( J 2 d f 2 2 f 4 ) v b 2 { g 1 ( α 1 , γ 1 ) β 1 g 1 ( β 1 , γ 1 ) α 1 } h + ( 1 f 3 ) v b { g 1 ( α 1 , J 1 d b ) g 1 ( β 1 , γ 1 ) g 1 ( β 1 , J 1 d b ) g 1 ( α 1 , γ 1 ) } h ( J 2 d f ) v ,
2.
R ( α 1 h , β 1 h ) γ 2 v = g 1 ( α 1 , J 1 d b ) b h g 2 ( γ 2 , J 2 d f ) f v β 1 h + g 1 ( β 1 , J 1 d b ) b h g 2 ( γ 2 , J 2 d f ) f v α 1 h + 1 b { g 1 ( β 1 , D α 1 1 J 1 d b ) g 1 ( α 1 , D β 1 1 J 1 d b ) } h γ 2 v ,
3.
R ( α 1 h , β 2 v ) γ 1 h = 2 b 2 g 1 ( α 1 , γ 1 ) h g 2 ( β 2 , J 2 d f ) f 4 v ( J 2 d f ) v g 1 ( α 1 , γ 1 ) b h g 2 ( β 2 , J 2 d f ) f v ( J 1 d b ) h + g 1 ( γ 1 , J 1 d b ) b h g 2 ( β 2 , J 2 d f ) f v α 1 h + 2 1 b 2 { g 1 ( γ 1 , J 1 d b ) g 1 ( α 1 , J 1 d b ) + b 2 g 1 ( γ 1 , D α 1 1 J 1 d b ) } h β 2 v + 1 ( f v ) 3 b 2 g 1 ( α 1 , γ 1 ) h ( D β 2 1 J 2 d f ) v ,
4.
R ( α 1 h , β 2 v ) γ 2 v = g 2 ( β 2 , γ 2 ) f v g 1 ( α 1 , J 1 d b ) b h ( J 2 d f ) v 2 g 1 ( α 1 , J 1 d b ) b 4 h f 2 g 2 ( β 2 , γ 2 ) v ( J 1 d b ) h 1 f 2 { 2 g 2 ( β 2 , J 2 d f ) g 2 ( γ 2 , J 2 d f ) + f g 2 ( γ 2 , D β 2 2 J 2 d f ) } v α 1 h g 2 ( γ 2 , J 2 d f ) f v g 1 ( α 1 , J 1 d b ) b h β 2 v 1 ( b h ) 3 f 2 g 2 ( β 2 , γ 2 ) v ( D α 1 1 J 1 d b ) h ,
5.
R ( α 2 v , β 2 v ) γ 2 v = R 2 ( α 2 , β 2 ) γ 2 v + ( J 1 d b B 2 b 4 ) h f 2 { g 2 ( α 2 , γ 2 ) β 2 g 2 ( β 2 , γ 2 ) α 2 } v + ( 1 b 3 ) h [ f { g 2 ( α 2 , J 2 d f ) g 2 ( β 2 , γ 2 ) g 2 ( β 2 , J 2 d f ) g 2 ( α 2 , γ 2 ) } ] v ( J 1 d b ) h
6.
R ( α 2 v , β 2 v ) γ 1 h = g 2 ( α 2 , J 2 d f ) f v g 1 ( γ 1 , J 1 d b ) b h β 2 v + g 2 ( β 2 , J 2 d f ) f v g 1 ( γ 1 , J 1 d b ) b h α 2 v + 1 f { g 2 ( β 2 , D α 2 2 J 2 d f ) g 2 ( α 2 , D β 2 2 J 2 d f ) } v γ 1 h .

3. Einstein Doubly Warped Product Poisson Manifolds

In this section, we derive the Ricci curvature R i c of a DWPPM ( M = B f × b F , Π , g ) in terms of the warping functions b and f, as well as the Ricci curvatures R i c 1 and R i c 2 of its factor manifolds ( B , Π 1 , g 1 ) and ( F , Π 2 , g 2 ) , respectively. We then provide necessary and sufficient conditions for ( M = B f × b F , g , Π ) to be a contravariant Einstein manifold. Additionally, we prove that if M is an Einstein DWPPM with non-positive contravariant scalar curvature and a compact base B, such that the field endomorphism J 1 on T * B satisfies J 1 2 = I , then M is simply a singly warped product Poisson manifold.
Lemma 3.
Let R i c 1 , R i c 2 , and R i c be the Ricci curvatures of ( B , Π 1 , g 1 ) , ( F , Π 2 , g 2 ) , and ( B f × b F , Π , g ) respectively. Then for any α 1 , β 1 Ω 1 ( B ) and α 2 , β 2 Ω 1 ( F ) , we have
1.
R i c ( α 1 h , β 1 h ) = R i c 1 ( α 1 , β 1 ) h ( 1 + m 1 ) J 2 d f 2 2 f 4 v b 2 g 1 ( α 1 , β 1 ) h m 2 2 g 1 ( α 1 , J 1 d b ) g 1 ( β 1 , J 1 d b ) b 2 H Π 1 b ( α 1 , β 1 ) b h ( b 2 ) h ( f 3 ) v g 1 ( α 1 , β 1 ) h ( Δ D 2 ( f ) ) v ,
2.
R i c ( α 1 h , β 2 v ) = ( m 1 + m 2 2 ) g 1 ( α 1 , J 1 d b ) b h g 2 ( β 2 , J 2 d f ) f v ,
3.
R i c ( α 2 v , β 2 v ) = R i c 2 ( α 2 , β 2 ) v ( 1 + m 2 ) J 1 d b 1 2 b 4 h f 2 g 2 ( α 2 , β 2 ) v m 1 2 g 2 ( α 2 , J 2 d f ) g 2 ( β 2 , J 2 d f ) f 2 H Π 2 f ( α 2 , β 2 ) f v ( f 2 ) v ( b 3 ) h g 2 ( α 2 , β 2 ) v ( Δ D 1 ( b ) ) h ,
where m 1 = dim ( B ) and m 2 = dim ( F ) .
Proof. 
Let ( d x 1 , , d x m 1 ) be a local g 1 -orthonormal basis on an open set U B B and ( d y 1 , , d y m 2 ) be a local g 2 -orthonormal basis on an open set U F F , then
( f v d x 1 h , , f v d x m 1 h , b h d y 1 v , , b h d y m 2 v )
is a local g-orthonormal on the open set U B × U F of B × F .
  • Taking α = α 1 h and β = β 1 h in Equation (1), we obtain
    R i c ( α 1 h , β 1 h ) = i = 1 m 1 g ( R ( α 1 h , f v d x i h ) f v d x i h , β 1 h ) + j = 1 m 2 g ( R ( α 1 h , b h d y j v ) b h d y j v , β 1 h ) = ( f v ) 2 i = 1 m 1 g ( R ( α 1 h , d x i h ) d x i h , β 1 h ) + ( b h ) 2 j = 1 m 2 g ( R ( α 1 h , d y j v ) d y j v , β 1 h ) .
    Using the system of Equation (11) and parts 1 and 4 of Lemma 2, we get
    R i c ( α 1 h , β 1 h ) = i = 1 m 1 g 1 ( R 1 ( α 1 , d x i ) d x i , β 1 ) h + ( J 2 d f 2 2 f 4 ) v ( b 2 ) h [ g 1 ( α 1 , β 1 ) h m 1 g 1 ( α 1 , β 1 ) h ] 2 m 2 ( b 2 ) h g 1 ( α 1 , J 1 d b ) h g 1 ( β 1 , J 1 d b ) h 2 ( b 2 ) h ( f 4 ) v ( J 2 d f 2 2 ) v g 1 ( α 1 , β 1 ) h j = 1 m 2 ( b 2 ) h ( f 3 ) v g 2 ( D d y j 2 J 2 d f , d y j ) v g 1 ( α 1 , β 1 ) h m 2 b h g 1 ( D α 1 1 J 1 d b , β 1 ) h = R i c 1 ( α 1 , β 1 ) h ( 1 + m 1 ) J 2 d f 2 2 f 4 v b 2 g 1 ( α 1 , β 1 ) h m 2 2 g 1 ( α 1 , J 1 d b ) g 1 ( β 1 , J 1 d b ) b 2 H Π 1 b ( α 1 , β 1 ) b h ( b 2 ) h ( f 3 ) v g 1 ( α 1 , β 1 ) h ( Δ D 2 ( f ) ) v .
  • Similarly, taking α = α 1 h and β = β 2 v in Equation (1) and using (11) and parts 1 and 4 of Lemma 2, we obtain
    R i c ( α 1 h , β 2 v ) = i = 1 m 1 g ( R ( α 1 h , f v d x i h ) f v d x i h , β 2 v ) + j = 1 m 2 g ( R ( α 1 h , b h d y j v ) b h d y j v , β 2 v ) = ( f v ) 2 i = 1 m 1 g ( R ( α 1 h , d x i h ) d x i h , β 2 v ) + ( b h ) 2 j = 1 m 2 g ( R ( α 1 h , d y j v ) d y j v , β 2 v ) = ( f v ) 2 i = 1 m 1 g ( 1 ( f v ) 3 [ b { g 1 ( α 1 , J 1 d b ) g 1 ( d x i , d x i ) g 1 ( d x i , J 1 d b ) g 1 ( α 1 , d x i ) } ] h ( J 2 d f ) v , β 2 v ) + ( b h ) 2 j = 1 m 2 g ( 1 f v b h g 2 ( d y j , d y j ) v g 1 ( α 1 , J 1 d b ) h ( J 2 d f ) v , β 2 v ) ( b h ) 2 j = 1 m 2 g ( 1 f v b h g 2 ( d y j , J 2 d f ) v g 1 ( α 1 , J 1 d b ) h d y j v , β 2 v ) = 1 f v b h m 1 g 1 ( α 1 , J 1 d b ) h g 1 ( α 1 , J 1 d b ) h g 2 ( β 2 , J 2 d f ) v + 1 f v b h m 2 g 1 ( α 1 , J 1 d b ) h g 1 ( α 1 , J 1 d b ) h g 2 ( β 2 , J 2 d f ) v = ( m 1 + m 2 2 ) g 1 ( α 1 , J 1 d b ) b h g 2 ( β 2 , J 2 d f ) f v .
  • This is analogous to the proof of the first statement.
The following proposition provides necessary and sufficient conditions for a DWPPM ( B f × b F , Π , g ) to be Ricci-flat.
Proposition 1.
Let ( B f × b F , Π , g ) be a DWPPM with dim ( B × F ) > 2 . Then ( B f × b F , Π , g ) is Ricci-flat if and only if for any ( p , q ) B × F , α 1 , β 1 Ω 1 ( B ) and α 2 , β 2 Ω 1 ( F ) , the following conditions hold
1.
Either
(a) 
b is a Casimir function on B,
(b) 
R i c p 1 ( α 1 , β 1 ) = b 2 g 1 ( α 1 , β 1 ) ( p ) ( 1 + m 1 ) J 2 d f 2 2 f 4 + Δ D 2 ( f ) ( f 3 ) ( q ) ,
(c) 
R i c q 2 ( α 2 , β 2 ) = m 1 2 g 2 ( α 2 , J 2 d f ) g 2 ( β 2 , J 2 d f ) f 2 H Π 2 f ( α 2 , β 2 ) f ( q ) ,
2.
Or either
(a) 
f is a Casimir function on F,
(b) 
R i c p 1 ( α 1 , β 1 ) = m 2 2 g 1 ( α 1 , J 1 d b ) g 1 ( β 1 , J 1 d b ) b 2 H Π 1 b ( α 1 , β 1 ) b ( p ) ,
(c) 
R i c q 2 ( α 2 , β 2 ) = f 2 g 2 ( α 2 , β 2 ) ( q ) ( 1 + m 2 ) J 1 d b 1 2 b 4 + Δ D 1 ( b ) ( b 3 ) ( p ) ,
3.
(a)  Or both b and f are Casimir functions on B and F respectively,
(b)   ( B , Π 1 , g 1 ) and ( F , Π 2 , g 2 ) are Ricci-flat.
Proof. 
First, note that b (resp. f) is a Casimir function if and only if J 1 d b = 0 (resp. J 2 d f = 0 ). Now, if ( B f × b F , Π , g ) is Ricci-flat, then we have
R i c ( α 1 h , β 1 h ) = R i c ( α 2 v , β 2 v ) = R i c ( α 1 h , β 2 v ) = 0 ,
for any α 1 , β 1 Ω 1 ( B ) and α 2 , β 2 Ω 1 ( F ) . Thus, by the hypothesis and part 2 of Lemma 3, we obtain
g 1 ( α 1 , J 1 d b ) g 2 ( β 2 , J 2 d f ) = 0 ,
for any α 1 Ω 1 ( B ) and β 2 Ω 1 ( F ) . Hence, there are three different cases:
  • Case 1.   g 1 ( α 1 , J 1 d b ) = 0 and g 2 ( β 2 , J 2 d f ) 0 .
    Since g 1 ( α 1 , J 1 d b ) = 0 , for any α 1 Ω 1 ( B ) , then J 1 d b = 0 and b is a Casimir function on B. Taking J 1 d b = 0 in parts 1 and 3 of Lemma 3, we obtain the first part of the lemma.
  • Case 2.   g 1 ( α 1 , J 1 d b ) 0 and g 2 ( β 2 , J 2 d f ) = 0 .
    Similarly, since g 2 ( β 2 , J 2 d f ) = 0 , for any β 2 Ω 1 ( F ) , then J 2 d f = 0 and f is a Casimir function on F. Taking J 2 d f = 0 in parts 1 and 3 of Lemma 3, we obtain the second part of the lemma.
  • Case 3.   g 1 ( α 1 , J 1 d b ) = g 2 ( β 2 , J 2 d f ) = 0 .
    Then, it follows immediately that J 1 d b = J 2 d f = 0 . Thus, it is easy to see that b and f are Casimir functions, and ( B , Π 1 , g 1 ) and ( F , Π 2 , g 2 ) are Ricci-flat. This gives us the third part of the lemma.
    The converse is evident from Lemma 3.
In the following theorem, we provide necessary and sufficient conditions for a DWPPM ( B f × b F , Π , g ) to be a contravariant Einstein manifold.
For simplicity, we define the following tensors:
A b ( . , . ) = g 1 ( J 1 d b , . ) g 1 ( J 1 d b , . ) and A f ( . , . ) = g 2 ( J 2 d f , . ) g 2 ( J 2 d f , . ) .
Theorem 1.
Let ( B f × b F , Π , g ) be a DWPPM such that dim ( B × F ) > 2 . Then ( B f × b F , Π , g ) is a contravariant Einstein manifold with R i c = c g if and only if the following conditions hold
( a ) R i c 1 = c 1 g 1 + m 2 b 2 2 A b b H Π 1 b ,
( b ) c 1 = 1 f ( q ) 4 c f ( q ) 2 + b ( p ) 2 ( 1 + m 1 ) J 2 d f 2 2 + f Δ D 2 ( f ) ( q ) , ( p , q ) B × F ,
( c ) R i c 2 = c 2 g 2 + m 1 f 2 2 A f f H Π 2 f , ( d ) c 2 = 1 b ( p ) 4 c b ( p ) 2 + f ( q ) 2 ( 1 + m 2 ) J 1 d b 1 2 + b Δ D 1 ( b ) ( p ) , ( e ) g 1 ( α 1 , J 1 d b ) g 2 ( β 2 , J 2 d f ) = 0 , for any α 1 Ω 1 ( B ) and β 2 Ω 1 ( F ) .
Proof. 
For any α 1 , β 1 Ω 1 ( B ) and α 2 , β 2 Ω 1 ( F ) , let α = α 1 h + α 2 v and β = β 1 h + β 2 v . We have
R i c ( p , q ) ( α , β ) = c g ( p , q ) ( α , β ) R i c ( p , q ) ( α 1 h , β 1 h ) = c f ( q ) 2 g 1 ( p ) ( α 1 , β 1 ) R i c ( p , q ) ( α 1 h , β 2 v ) = R i c ( p , q ) ( α 2 v , β 1 h ) = 0 R i c ( p , q ) ( α 2 v , β 2 v ) = c b ( p ) 2 g 2 ( q ) ( α 2 , β 2 ) ,
for each ( p , q ) B × F . Then, using Lemma 3, we obtain
R i c p 1 ( α 1 , β 1 ) = c f ( q ) 2 + b ( p ) 2 ( 1 + m 1 ) J 2 d f 2 2 f 4 + Δ D 2 ( f ) f 3 ( q ) g 1 ( p ) ( α 1 , β 1 ) + m 2 b ( p ) 2 2 A b ( α 1 , β 1 ) b H Π 1 b ( α 1 , β 1 ) ( p ) , R i c q 2 ( α 2 , β 2 ) = c b ( p ) 2 + f ( q ) 2 ( 1 + m 2 ) J 1 d b 1 2 b 4 + Δ D 1 ( b ) b 3 ( p ) g 2 ( q ) ( α 2 , β 2 ) + m 1 f ( q ) 2 2 A f ( α 2 , β 2 ) f H Π 2 f ( α 2 , β 2 ) ( q ) , 0 = g 1 ( p ) ( α 1 , J 1 d b ) g 2 ( q ) ( β 2 , J 2 d f ) ,
and the above equalities yield the conditions stated in the theorem. □
Remark 1.
From condition ( e ) of the Theorem 1, if ( f B × b F , Π , g ) is an Einstein DWPPM, then either b, or f, or both b and f must be Casimir functions.
Theorem 2.
Let ( B f × b F , Π , g ) be a DWPPM, and let f be a Casimir function on F. Then ( B f × b F , Π , g ) is a contravariant Einstein manifold with constant c if and only if the following conditions hold
( a ) R i c p 1 = c f ( q ) 2 g 1 ( p ) + m 2 b 2 2 A b b H Π 1 b ( p ) , ( p , q ) B × F ,
( b ) ( F , g 2 ) is an Einstein manifold with R i c 2 = c 2 g 2 ,
( c ) c 2 = 1 b ( p ) 4 c b ( p ) 2 + f ( q ) 2 ( 1 + m 2 ) J 1 d b 1 2 + b Δ D 1 ( b ) ( p ) .
Proof. 
Since f is a Casimir function on F, then J 2 d f = 0 . Using this hypothesis in Equation (15), we obtain
R i c p 1 ( α 1 , β 1 ) = c f ( q ) 2 g 1 ( p ) ( α 1 , β 1 ) + m 2 b ( p ) 2 2 A b ( α 1 , β 1 ) b H Π 1 b ( α 1 , β 1 ) ( p ) , R i c q 2 ( α 2 , β 2 ) = c b ( p ) 2 + f ( q ) 2 ( 1 + m 2 ) J 1 d b 1 2 b 4 + Δ D 1 ( b ) b 3 ( p ) g 2 ( q ) ( α 2 , β 2 ) ,
and the result follows. □
Corollary 1.
Let ( B f × b F , Π , g ) be a DWPPM, and let b and f be Casimir functions on B and F, respectively. Then ( B f × b F , Π , g ) is a contravariant Einstein manifold with constant c if and only if B and F are Einstein manifolds with constants c 1 = c f 2 and c 2 = c b 2 , respectively.
Proof. 
Since b is a Casimir function on B, the corollary follows directly by taking J 1 d b = 0 in Theorem 2. □
Example 1.
Let ( I , d t 2 ) be an open interval of R equipped with the metric g 1 ˜ = d t 2 and let ( F , g ˜ 2 ) be a Riemannian manifold. Let M = I f × b F be the doubly warped space-time associated with ( I , g 1 ˜ ) and ( F , g ˜ 2 ) , equipped with the metric
g ˜ = f ( x ) 2 ( d t 2 ) h + b ( t ) 2 g ˜ 2 v , ( t , x ) I × F ,
where b : I ( 0 , ) and f : F ( 0 , ) are smooth functions.
Now, let g be the contravariant metric associated to g ˜ given by
g = 1 f ( x ) 2 g 1 h + 1 b ( t ) 2 g 2 v ( t , x ) I × F ,
and let Π be a Poisson tensor on M. We assume that b and f are Casimir functions and that ( M , Π , g ) is a contravariant Einstein manifold with scalar c. Then we have
R i c ( d t h , d t h ) = c f ( x ) 2 g 1 ( d t , d t ) h R i c ( α 2 v , β 2 v ) = c b ( t ) 2 g 2 ( α 2 , β 2 ) v R i c ( d t h , α 2 v ) = R i c ( d t h , β 2 v ) = 0 .
From Lemma 3, if b and f are Casimir functions on I and F respectively, then we have
R i c ( d t h , d t h ) = R i c 1 ( d t , d t ) h R i c ( α 2 v , β 2 v ) = R i c 2 ( α 2 , β 2 ) v R i c ( d t h , α 2 v ) = R i c ( d t h , β 2 v ) = 0 .
Using (18) and (19), we obtain
R i c 1 ( d t , d t ) = c f ( x ) 2 g 1 ( d t , d t ) R i c 2 ( α 2 , β 2 ) = c b ( t ) 2 g 2 ( α 2 , β 2 ) .
After taking the trace of both sides of the first Equation of (20), we find c = 0 . Thus, we conclude that the doubly warped space-time M = I f × b F is Ricci-flat if and only if I and F are Ricci-flat.
In the following proposition, we demonstrate how to construct compact Einstein DWPPM.
Proposition 2.
Let ( B , g 1 , Π 1 ) be a compact pseudo-Riemannian Poisson manifold with dim ( B ) 2 . If b is a non-constant smooth function on B satisfying (16) for a constant c R , m 2 N , and a Casimir function f on a smooth manifold F, then b satisfies the condition (17) for some c 2 R .
Moreover, if ( F , g 2 , Π 2 ) is a compact Einstein pseudo-Riemannian Poisson manifold with dimension m 2 , Casimir function f, and R i c 2 = c 2 g 2 , we can construct a compact Einstein DWPPM ( B f × b F , Π , g ) with warping functions b and f, satisfying R i c = c g .
Proof. 
Taking the trace of both sides of Equation (16), gives
S 1 = c m 1 f 2 + m 2 2 b 2 J 1 d b 1 2 + Δ D 1 ( b ) b ,
where S 1 is the contravariant scalar curvature of B. Then, for any α Ω 1 ( B ) , we have
D α 1 S 1 = m 2 4 b 3 J 1 d b 1 2 D α 1 b + 2 b 2 D α 1 J 1 d b 1 2 1 b 2 Δ D 1 ( b ) D α 1 b + 1 b D α 1 ( Δ D 1 ( b ) ) .
On the other hand, from (16), for any α Ω 1 ( B ) , we have
div D 1 ( R i c 1 ) ( α ) = m 2 2 div D 1 A b b 2 ( α ) div D 1 H Π 1 b b ( α ) .
From (4) and using the fact that, H Π 1 b ( α , J 1 d b ) = 1 2 D α 1 J 1 d b 1 2 ,   D J 1 d b 1 b = J 1 d b 1 2 and g ( α , J 1 d b ) = D α 1 b , we obtain
div D 1 A b b 2 ( α ) = 2 b 3 J 1 d b 1 2 D α 1 b + 1 2 b 2 D α 1 J 1 d b 1 2 1 b 2 Δ D 1 ( b ) D α 1 b ,
and
div D 1 H Π 1 b b ( α ) = 1 2 b 2 D α 1 J 1 d b 1 2 + 1 b div D 1 H Π 1 b ( α ) ,
for any α Ω 1 ( B ) .
From (10) and (16) we have
div D 1 H Π 1 b ( α ) = D α 1 ( Δ D 1 ( b ) ) + c f 2 D α 1 b + 2 m 2 b 2 J 1 d b 1 2 D α 1 b m 2 2 b D α 1 J 1 d b 1 2 .
Replacing Equation (25) in (24) yields:
div D 1 H Π 1 b b ( α ) = ( 1 + m 2 ) 2 b 2 D α 1 J 1 d b 1 2 1 b D α 1 ( Δ D 1 ( b ) ) + c b f 2 D α 1 b + 2 m 2 b 3 J 1 d b 1 2 D α 1 b .
Substituting (23) and (26) into (22) provides
div D 1 R i c 1 ( α ) = m 2 [ 2 ( 2 + m 2 ) b 3 J 1 d b 1 2 D α 1 b + ( 3 + m 2 ) 2 b 2 D α 1 J 1 d b 1 2 2 b 2 Δ D 1 ( b ) D α 1 b + 1 b D α 1 ( Δ D 1 ( b ) ) c b f 2 D α 1 b ] .
From Equations (7), (21) and (27) we get
4 ( 1 + m 2 ) b 3 J 1 d b 1 2 D α 1 b ( 1 + m 2 ) b 2 D α 1 J 1 d b 1 2 + 3 b 2 Δ D 1 ( b ) D α 1 b 1 b D α 1 ( Δ D 1 ( b ) ) + 2 c b f 2 D α 1 b = 0 .
After multiplying the previous Equation (28) by f 2 b 2 we obtain
D α 1 1 b 4 c b 2 + f 2 ( 1 + m 2 ) J 1 d b 1 2 + b Δ D 1 ( b ) = 0 ,
for any α Ω 1 ( B ) . Thus, we deduce that
c 2 = 1 b 4 c b 2 + f 2 ( 1 + m 2 ) J 1 d b 1 2 + b Δ D 1 ( b ) ,
for some constant c 2 .
Hence, the first part of the proposition is proved. Next, for a compact Einstein pseudo-Riemannian Poisson manifold ( F , g 2 , Π 2 ) with dimension m 2 , Casimir function f, and Ricci curvature satisfying R i c 2 = c 2 g 2 , we can construct a compact Einstein DWPPM ( B f × b F , Π , g ) with warping functions b and f by applying the sufficient part of Theorem 2. □
In the following two theorems, we will characterize the warping functions and the geometry of Einstein DWPPM under certain conditions on their base manifold. We will consider the base manifold ( B , Π 1 , g 1 ) as a smooth oriented compact manifold endowed with the compatibility condition d ( Π 1 μ g 1 ) = 0 , where μ g 1 is the Riemannian volume element on B.
Theorem 3.
Under the same assumptions of Theorem 2, let ( M = B f × b F , Π , g ) be an Einstein DWPPM with compact base B and d ( Π 1     μ g 1 ) = 0 . If M has non-positive scalar curvature then b is a Casimir function on B .
Proof. 
Applying Equation (5), for any q F , f C ( F ) , and b C ( B ) , we obtain
div D 1 f ( q ) 2 b 3 J 1 d b = f ( q ) 2 b 3 Δ D 1 ( b ) + 3 f ( q ) 2 b 4 J 1 d b 1 2 .
Using Equation (29) in (17) we get
c 2 = c b 2 + ( m 2 2 ) f ( q ) 2 b 4 J 1 d b 1 2 + div D 1 f ( q ) 2 b 3 J 1 d b .
By integrating (30) over B and using Equation (6) for the 1-form α = f ( q ) 2 b 3 J 1 d b , we obtain
c 2 = c V ( B ) B 1 b 2 μ g 1 + ( m 2 2 ) f ( q ) 2 V ( B ) B J 1 d b 1 2 b 4 μ g 1 ,
where V ( B ) is the volume of B.
  • If m 2 > 2 . Let x be a minimum point of b on B. Then b ( x ) > 0 ,   d b ( x ) = 0 and Δ D 1 ( b ) ( x ) 0 . Hence, from (17) and (31), we obtain
    0 f ( q ) 2 b ( x ) 3 Δ D 1 ( b ) ( x ) = c 2 c b ( x ) 2 = c V ( B ) B b ( x ) 2 b 2 b 2 b ( x ) 2 μ g 1 + ( m 2 2 ) f ( q ) 2 V ( B ) B J 1 d b 1 2 b 4 μ g 1 0 .
    The last inequality follows from the hypothesis of c. Thus, we deduce that:
    Δ D 1 ( b ) 0 , on B .
    Next, from (5), we have
    div D 1 ( b J 1 d b ) = J 1 d b 1 2 + b Δ D 1 ( b ) .
    By integrating (32) over B and using (6), we obtain
    B J 1 d b 1 2 μ g 1 = 0 .
    This implies that J 1 d b = 0 on B. Hence, b is a Caismir function on B .
  • If m 2 2 . It is enough to prove that Δ D 1 ( b ) 0 on B . Let y be a maximum point of b on B. Then b ( y ) > 0 ,   d b ( y ) = 0 and Δ D 1 ( b ) ( y ) 0 . From Equations (17) and (31) we have
    0 f ( q ) 2 b ( x ) 3 Δ D 1 ( b ) ( x ) = c 2 c b ( x ) 2 = c V ( B ) B b ( x ) 2 b 2 b 2 b ( x ) 2 μ g 1 + ( m 2 2 ) f ( q ) 2 V ( B ) B J 1 d b 1 2 b 4 μ g 1 0 .
    Thus, we deduce that Δ D 1 ( b ) 0 on B, and the theorem follows.
Theorem 4.
Under the same assumptions of Theorem 2, let ( M = B f × b F , Π , g ) be an Einstein DWPPM with compact base B, J 1 2 = I and d ( Π 1     μ g 1 ) = 0 . If M has non-positive scalar curvature, then it is simply a singly warped product Poisson manifold.
Proof. 
Under the hypothesis J 1 2 = I , for any q F , f C ( F ) and b C ( B ) , we have
c 2 = c b 2 ( m 2 2 ) f ( q ) 2 b 4 d b 1 2 + div D 1 f ( q ) 2 b 3 J 1 d b .
By integrating the Equation (33) over B and using (6) we get
c 2 = c V ( B ) B 1 b 2 μ g 1 ( m 2 2 ) f ( q ) 2 V ( B ) B d b 1 2 b 4 μ g 1 ,
where V ( B ) is the volume of B.
  • If m 2 > 2 . Let x be a maximum point of b on B. Then b ( x ) > 0 ,   d b ( x ) = 0 and Δ D 1 ( b ) ( x ) 0 . Hence from (17) and (34) we obtain
    0 f ( q ) 2 b ( x ) 3 Δ D 1 ( b ) ( x ) = c 2 c b ( x ) 2 = c V ( B ) B b ( x ) 2 b 2 b 2 b ( x ) 2 μ g 1 ( m 2 2 ) f ( q ) 2 V ( B ) B J 1 d b 1 2 b 4 μ g 1 0 .
    Thus, we deduce that:
    Δ D 1 ( b ) 0 , on B .
    Next, from (5), we have
    div D 1 ( b J 1 d b ) = d b 1 2 + b Δ D 1 ( b )
    By integrating (35) over B and using Equation (6), we obtain
    B d b 1 2 μ g 1 = 0 .
    This implies that d b = 0 on B. Hence b is constant.
  • If m 2 2 . It is enough to prove that Δ D 1 ( b ) 0 on B . Let y be a minimum point of b on B. Then b ( y ) > 0 ,   d b ( y ) = 0 and Δ D 1 ( b ) ( y ) 0 . Hemce, from (17) and (34), we have
    0 f ( q ) 2 b ( x ) 3 Δ D 1 ( b ) ( x ) = c 2 c b ( x ) 2 = c V ( B ) B b ( x ) 2 b 2 b 2 b ( x ) 2 μ g 1 ( m 2 2 ) f ( q ) 2 V ( B ) B J 1 d b 1 2 b 4 μ g 1 0 .
    Thus, we deduce that Δ D 1 ( b ) 0 on B and the theorem follows.

4. Characterization of Warping Functions on Einstein Doubly Warped Product Poisson Manifolds

In this section, we explore the following question: if the metric g 2 on the fiber manifold F has a constant scalar curvature λ 2 , can we find a warping function b on the base manifold B in terms of the warping function f on F such that the metric g on M = B f × b F has a constant scalar curvature λ ?
First, we derive the scalar curvature of a DWPPM in terms of the warping functions and the scalar curvatures of its factor manifolds.
Lemma 4.
Let S 1 and S 2 be the scalar curvatures of ( B , Π 1 , g 1 ) and ( F , Π 2 , g 2 ) respectively. Then, the scalar curvature S of ( B f × b F , Π , g ) is given by
S = ( f 2 ) v S 1 m 2 ( m 2 + 3 ) J 1 d b 1 2 b 2 + 2 Δ D 1 ( b ) b h + ( b 2 ) h S 2 m 1 ( m 1 + 3 ) J 2 d f 2 2 f 2 + 2 Δ D 2 ( f ) f v .
Proof. 
Since ( f v d x 1 h , , f v d x m 1 h , b h d y 1 v , , b h d y m 2 v ) is a local g-orthonormal basis, applying Equation (2) yields
S = i = 1 m 1 R i c ( f v d x i h , f v d x i h ) + j = 1 m 2 R i c ( b h d y j v , b h d y j v ) = ( f 2 ) v i = 1 m 1 R i c ( d x i h , d x i h ) + ( b 2 ) h j = 1 m 2 R i c ( d y j v , d y j v ) .
Using parts 1 and 3 of Lemma 3, we obtain
S = ( f 2 ) v i = 1 m 1 [ R i c 1 ( d x i , d x i ) h ( 1 + m 1 ) J 2 d f 2 2 f 4 v b 2 g 1 ( d x i , d x i ) h m 2 2 g 1 ( d x i , J 1 d b ) g 1 ( d x i , J 1 d b ) b 2 H Π 1 b ( d x i , d x i ) b h ( b 2 ) h ( f 3 ) v g 1 ( d x i , d x i ) h ( Δ D 2 ( f ) ) v ] + ( b 2 ) h j = 1 m 2 [ R i c 2 ( d y j , d y j ) v ( 1 + m 2 ) J 1 d b 1 2 b 4 h f 2 g 2 ( d y j , d y j ) v m 1 2 g 2 ( d y j , J 2 d f ) g 2 ( d y j , J 2 d f ) f 2 H Π 2 f ( d y j , d y j ) f v ( f 2 ) v ( b 3 ) h g 2 ( d y j , d y j ) v ( Δ D 1 ( b ) ) h ] = ( f 2 ) v S 1 h m 1 ( 1 + m 1 ) J 2 d f 2 2 f 2 v ( b 2 ) h m 2 ( f 2 ) v 2 J 1 d b 1 2 b 2 + Δ D 1 ( b ) b h m 1 ( b 2 ) h f v ( Δ D 2 ( f ) ) v + ( b 2 ) h S 2 v m 2 ( 1 + m 2 ) ( J 1 d b 1 2 b 2 ) h ( f 2 ) v m 1 ( b 2 ) h 2 J 2 d f 2 2 f 2 + Δ D 2 ( f ) f v m 2 ( f 2 ) v b h ( Δ D 1 ( b ) ) h = ( f 2 ) v S 1 m 2 ( m 2 + 3 ) J 1 d b 1 2 b 2 + 2 Δ D 1 ( b ) b h + ( b 2 ) h S 2 m 1 ( m 1 + 3 ) J 2 d f 2 2 f 2 + 2 Δ D 2 ( f ) f v .
Theorem 5.
Let ( B f × b F , Π , g ) be a DWPPM and b a Casimir function on B. If the metric g 2 on F has constant scalar curvature λ 2 such that,
λ 2 m 1 ( m 1 + 3 ) f 2 J 2 d f 2 2 + 2 Δ D 2 ( f ) f ( q ) ,
for each q F , then the metric g on B × F admits the following warping function b, which has a constant scalar curvature λ:
(i) 
If for each ( p , q ) B × F ,
λ < f ( q ) 2 S 1 ( p ) and λ 2 < m 1 ( m 1 + 3 ) f 2 J 2 d f 2 2 + 2 Δ D 2 ( f ) f ( q ) ,
then:
b ( p ) = λ f ( q ) 2 S 1 ( p ) λ 2 m 1 ( m 1 + 3 ) f 2 J 2 d f 2 2 + 2 Δ D 2 ( f ) f ( q ) .
(ii) 
If λ = f ( q ) 2 S 1 ( p ) , then no warping function exists on B.
(iii) 
If λ > f ( q ) 2 S 1 ( p ) and λ 2 > m 1 ( m 1 + 3 ) f 2 J 2 d f 2 2 + 2 Δ D 2 ( f ) f ( q ) , then
b ( p ) = λ f ( q ) 2 S 1 ( p ) λ 2 m 1 ( m 1 + 3 ) f 2 J 2 d f 2 2 + 2 Δ D 2 ( f ) f ( q ) .
Proof. 
If S ( p , q ) = λ and S 2 ( q ) = λ 2 , for each ( p , q ) B × F , then Equation (37) becomes
λ = f ( q ) 2 S 1 ( p ) m 2 ( m 2 + 3 ) J 1 d b 1 2 b 2 + 2 Δ D 1 ( b ) b ( p ) + b ( p ) 2 λ 2 m 1 ( m 1 + 3 ) J 2 d f 2 2 f 2 + 2 Δ D 2 ( f ) f ( q ) .
Since b is Casimir function on B, we obtain
b ( p ) 2 λ 2 m 1 ( m 1 + 3 ) J 2 d f 2 2 f 2 + 2 Δ D 2 ( f ) f ( q ) = λ f ( q ) 2 S 1 ( p ) .
Thus, by discussing the values of λ and λ 2 , the theorem follows. □
Corollary 2.
Let ( B f × b F , Π , g ) be a DWPPM and let b and f be Casimir functions on B and F respectively. If g 2 has constant scalar curvature λ 2 0 , then the metric g on B × F admits the following warping function b, which has a constant scalar curvature λ:
(i) 
If λ < f 2 S 1 and λ 2 < 0 then, b = λ f 2 S 1 λ 2 .
(ii) 
If λ = f 2 S 1 , no warping function exists on B.
(iii) 
If λ > f 2 S 1 and λ 2 > 0 then, b = λ f 2 S 1 λ 2 .
Proof. 
Since f is a Casimir function on F, by taking J 2 d f = 0 in Equation (38) the corollary follows. □
In the following theorem, we characterize the warping function b on the base space B of Einstein DWPPM ( B f × b F , Π , g ) with dim ( B ) = 1 .
In the following, we retain the notations of Theorem 1.
Theorem 6.
Let ( B f × b F , Π , g ) be an Einstein DWPPM with dim ( B ) = 1 and dim ( F ) > 1 , and let b be a Casimir function on B and c 2 > 0 . Then:
(i) 
If c > 0 , then b = c c 2 .
(ii) 
If c 0 , then no warping function exists on B.
Proof. 
We replace Equations (12) and (13) with a single equation, and using the hypothesis that b is a Casimir function, then for any ( p , q ) B × F , we have
R i c p 1 = c 1 g 1 ( p ) = c f ( q ) 2 + ( 1 + m 1 ) b ( p ) 2 f ( q ) 4 J 2 d f 2 2 ( q ) + b ( p ) 2 f ( q ) 3 Δ D 2 ( f ) ( q ) g 1 ( p ) .
Since c = 1 2 ( S ( m 1 + m 2 2 ) c ) , the Equation (39) becomes
R i c p 1 = [ 1 2 f ( q ) 2 ( f ( q ) 2 S 1 ( p ) + b ( p ) 2 S 2 ( q ) m 1 ( m 1 + 3 ) b ( p ) 2 f ( q ) 2 J 2 d f 2 2 ( q ) 2 m 1 b ( p ) 2 f ( q ) Δ D 2 ( f ) ( q ) ( m 1 + m 2 2 ) c ) + ( 1 + m 1 ) b ( p ) 2 f ( q ) 4 J 2 d f 2 2 ( q ) + b ( p ) 2 f ( q ) 3 Δ D 2 ( f ) ( q ) ] g 1 ( p ) .
Taking the trace of both side of Equation (14), we obtain
S 2 ( q ) = c 2 m 2 + 2 m 1 f ( q ) 2 J 2 d f 2 2 ( q ) + m 1 f ( q ) Δ D 2 ( f ) ( q ) .
Substituting (41) into (40), we obtain
R i c p 1 = 1 2 f ( q ) 2 [ f ( q ) 2 S 1 ( p ) + c 2 m 2 b ( p ) 2 ( m 1 + m 2 2 ) c ( m 1 2 ) b ( p ) 2 ( ( 1 + m 1 ) J 2 d f 2 2 ( q ) f ( q ) 2 + Δ D 2 ( f ) ( q ) f ( q ) ) ] g 1 ( p ) .
Since dim ( B ) = 1 , we have S 1 = c 1 . Taking the trace of both sides of Equation (42), we get
c 1 = 1 2 c 1 + 1 2 c f ( q ) 2 + b ( p ) 2 ( 1 + m 1 ) J 2 d f 2 2 ( q ) f ( q ) 4 + Δ D 2 ( f ) ( q ) f ( q ) 3 + 1 2 f ( q ) 2 c 2 m 2 b ( p ) 2 m 2 c .
This implies that
b ( p ) 2 c 2 = c .
Thus, the theorem follows. □
Corollary 3.
Let ( B f × b F , Π , g ) be an Einstein DWPPM with dim ( B ) = 1 and dim ( F ) > 1 and let b be a Casimir function on B and c 2 < 0 . Then:
(i) 
If c < 0 , then b = c c 2 .
(ii) 
If c 0 , then no warping function exists on B.
Proof. 
This corollary follows directly from Equation (43). □
In the following theorem, we characterize the warping function b on the base space B of Einstein DWPPM ( B f × b F , Π , g ) with dim ( B ) 2 .
Theorem 7.
Let ( B f × b F , Π , g ) be an Einstein DWPPM with dim ( B ) 2 . Let b be a Casimir function on B and c 2 > 0 . Then:
(i) 
If c > 0 , then b = c c 2 .
(ii) 
If c 0 , then no warping function exists on B.
Proof. 
Since dim ( B ) = m 1 2 , we have S 1 = c 1 m 1 . By taking the trace of Equation (42), we obtain
c 1 = 1 2 c 1 m 1 + c 2 m 2 b ( p ) 2 m 2 c ( m 1 2 ) 2 c 1 .
This implies that
c 2 b ( p ) 2 = c ,
and the theorem follows. □
Corollary 4.
Let ( B f × b F , Π , g ) be an Einstein DWPPM with dim ( B ) 2 . Let b be a Casimir function on B and c 2 < 0 . Then:
(i) 
If c < 0 , then b = c c 2 .
(ii) 
If c 0 , then no warping function exists on B.
Proof. 
This corollary follows directly from Equation (44). □
After deriving the scalar curvature for DWPPM and identifying conditions for constant scalar curvature, the focus shifts to broader implications. The final section summarizes key findings related to Einstein DWPPM. Additionally, the insights are placed within the wider context of differential geometry and mathematical physics, suggesting directions for future research.

5. Conclusions

This research delves into the investigation of Einstein DWPPM. Through our comprehensive study, we have uncovered several significant results and made substantial contributions to characterizing the geometry of these manifolds.
One of the primary achievements of this study is the derivation of several pivotal findings concerning DWPPM. We have established a relationship between the Ricci curvature of this class of manifolds, the Ricci curvatures of their factor manifolds, and the warping functions. Using this relationship, we explored some geometric properties of DWPPM, such as determining the necessary and sufficient conditions for a DWPPM to be a contravariant Einstein manifold.
Additionally, under some conditions on the warping functions and Ricci curvatures of the factor manifolds, we demonstrated how to construct a compact Einstein DWPPM. Moreover, under certain conditions on the base space, we proved that an Einstein DWPPM with compact base and non-positive contravariant scalar curvature is simply a singly warped product Poisson manifold.
Finally, after expressing the scalar curvature of the DWPPM, we studied the problem of the existence and non-existence of the warping function on the base space associated with constant scalar curvature on doubly warped space under the assumption that the fiber space has constant contravariant scalar curvature. We also characterized the warping functions on Einstein DWPPM.
The results presented in this research carry significant implications for diverse areas of differential geometry and mathematical physics, advancing the comprehension of warped product manifolds that are central to theoretical physics, particularly in the theory of relativity. This work fills a specific gap by extending the study of Einstein manifolds to DWPPM.
In conclusion, this study enhances our understanding of Einstein DWPPM. The insights derived from this work establish a solid foundation for further exploration and applications in related fields. In future research, we aim to investigate the generalization of our finding to Einstein-like and quasi-Einstein manifolds by introducing the notion of contravariant Einstein-like structures of classes A , B , and P , and investigating these classes on singly and doubly warped product Poisson manifolds, including contravariant Einstein-like Poisson structures in Robertson–Walker, Schwarzschild, Reissner–Nordström, and standard static spacetimes.

Author Contributions

Conceptualization, F.A. and I.A.-D.; validation, F.A. and I.A.-D.; investigation, F.A. and I.A.-D.; writing—original draft preparation, F.A. and I.A.-D.; writing—review and editing, F.A. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-DDRSP2503).

Data Availability Statement

Data are contained within the article.

Acknowledgments

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-DDRSP2503).

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Poisson, S.-D. Mémoire sur la variation des constantes arbitraires dans les questions de mécanique. J. Éc. Polytech. 1809, 15, 266–344. [Google Scholar]
  2. Lichnerowicz, A. Les variétés de Poisson et leurs algèbres de Lie associées. J. Diff. Geom. 1977, 12, 253–300. [Google Scholar] [CrossRef]
  3. Vaisman, I. Lectures on the Geometry of Poisson Manifolds; Progress in Mathematics; Birkhäuser: Berlin, Germany, 1994. [Google Scholar]
  4. Fernandes, R.L. Connections in Poisson geometry I. Holonomy and invariants. J. Differ. Geom. 2000, 54, 303–365. [Google Scholar] [CrossRef]
  5. Sassi, Z. A Laplace operator for Poisson manifolds. Differ. Geom. Appl. 2020, 68, 101576. [Google Scholar] [CrossRef]
  6. Al-Dayel, I.; Aloui, F.; Deshmukh, S. Poisson doubly warped product manifolds. Mathematics 2023, 11, 519. [Google Scholar] [CrossRef]
  7. Boucetta, M. Poisson manifolds with compatible pseudo-metric and pseudo-Riemannian Lie algebras. Differ. Geom. Appl. 2004, 20, 279–291. [Google Scholar] [CrossRef]
  8. Aloui, F.; Hui, K.S.; Al-Dayel, I. Contravariant curvatures of doubly warped product Poisson manifolds. Mathematics 2024, 12, 1205. [Google Scholar] [CrossRef]
  9. Kaneko, Y.; Muraki, H.; Watamura, S. Contravariant gravity on Poisson manifolds and Einstein gravity. Class. Quantum Gravity 2017, 34, 115002. [Google Scholar] [CrossRef]
  10. Bishop, R.L.; O’Neill, B. Manifolds of negative curvature. Trans. Am. Math. Soc. 1969, 145, 1–49. [Google Scholar] [CrossRef]
  11. O’Neill, B. Semi-Riemannian Geometry with Applications to Relativity; Academic Press: San Diego, CA, USA, 1983. [Google Scholar]
  12. Besse, A.-L. Einstein Manifolds; Springer: Berlin/Heidelberg, Germany, 1987. [Google Scholar]
  13. Kim, D.-S.; Kim, Y.-H. Compact Einstein warped product spaces with non-positive scalar curvature. Proc. Am. Math. Soc 2003, 131, 2537–2567. [Google Scholar] [CrossRef]
  14. Kim, D.-S. Compact Einstein warped product spaces. Trends Math. 2002, 5, 1–5. [Google Scholar]
  15. Mustafa, M.T. A non existence result for compact Einstein warped products. J. Phys. A Math. 2005, 38, L791–L793. [Google Scholar] [CrossRef]
  16. Punam, G. On compact Einstein doubly warped product manifolds. Tamkang J. Math. 2018, 49, 267–275. [Google Scholar]
  17. Pal, B.; Kumar, P. Einstein Poisson warped product space. Class. Quant. Grav. 2021, 38, 065004. [Google Scholar] [CrossRef]
  18. Amrane, Y.A.; Nasri, R.; Zeglaoui, A. Warped Poisson brackets on warped products. J. Geom. Mech. 2014, 6, 279–296. [Google Scholar] [CrossRef]
  19. Djebbouri, D.; Ouakkas, S. Product of statistical manifolds with doubly warped product. Gen. Math. Notes 2015, 31, 16–28. [Google Scholar]
  20. Nasri, R.; Djaa, M. Sur la courbure des variétés riemanniennes produits. Sci. Technol. 2006, 24, 15–20. [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

Aloui, F.; Al-Dayel, I. Einstein Doubly Warped Product Poisson Manifolds. Symmetry 2025, 17, 342. https://doi.org/10.3390/sym17030342

AMA Style

Aloui F, Al-Dayel I. Einstein Doubly Warped Product Poisson Manifolds. Symmetry. 2025; 17(3):342. https://doi.org/10.3390/sym17030342

Chicago/Turabian Style

Aloui, Foued, and Ibrahim Al-Dayel. 2025. "Einstein Doubly Warped Product Poisson Manifolds" Symmetry 17, no. 3: 342. https://doi.org/10.3390/sym17030342

APA Style

Aloui, F., & Al-Dayel, I. (2025). Einstein Doubly Warped Product Poisson Manifolds. Symmetry, 17(3), 342. https://doi.org/10.3390/sym17030342

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