1. Introduction
Einstein metrics are fundamental in differential geometry and physics and have been widely studied in (pseudo)-Riemannian geometry. The Riemannian manifolds
are called Ricci soliton if there exists a smooth vector field
X and a real constant
satisfying,
is the Ricci tensor, and
denotes the Lie derivative of
g concerning the vector field
X. It is a natural generalization of Einstein metric, a fixed solution of Hamilton Ricci flow equation up to diffeomorphism and scaling. The theory of Ricci flow was developed by Hamilton [
1], and it was applied by Perelman [
2] to prove the long well-open problem Poincare conjecture. Ricci flow, Ricci soliton have applications in Physics [
3,
4]. Especially, Lauret introduced the concept of algebraic Ricci soliton as a natural generalization of the Einstein metric in the Riemannian case [
5]. Onda and Batat extended the idea to the pseudo-Riemannian Lie group and obtained a complete classification of algebraic Ricci solitons of three-dimensional Lorentzian Lie groups in [
6], the author also proved that, in the pseudo-Riemannian setting, Ricci solitons need not be algebraic Ricci solitons. Motivated by Lauret’s research, Wears derived the algebraic T-solitons and established the connection between T-solitons and algebraic T-solitons. In [
7], Wears gave a complete classification of algebraic T-solitons on three-dimensional unimodular Lie groups using Milnor frames. In [
8], a generalized Ricci soliton on three-dimensional Lie groups was defined, which could be considered a Schouten soliton.
In [
9], Etayo and Santamaria studied some affine connections on manifolds with a product or complex structure. Motivated by this research, mathematicians started to study Ricci soliton associated with different affine connections. For example, in [
10], Wang classified affine Ricci solitons associated with canonical connections, perturbed canonical connection, Kobayashi-Nomizu connection, and perturbed Kobayashi-Nomizu connection on three-dimensional Lorentzian Lie groups with some product structure. In [
8,
11], Azami investigated the affine generalized Ricci solitons concerning the perturbed canonical connection and the perturbed Kobayashi Nomizu connection on three-dimensional Lorentzian Lie groups. For more results related to Ricci solitons, see [
12,
13,
14,
15]. In this paper, we investigate algebraic Schouten solitons associated with the perturbed canonical connection and the perturbed Kobayashi-Nomizu connection. Next, we derive the detailed classification of algebraic Schouten solitons related to these connections on three-dimensional Lorentzian Lie groups.
This paper is organized as follows. In section 2, we give some fundamental concepts for Lie groups, specifically relating to the perturbed canonical connection and the perturbed Kobayashi Nomizu connection. In section 3, we classify algebraic Schouten solitons associated with the perturbed canonical connection and the perturbed KobayashiNomizu connection on three-dimensional Lorentzian Lie groups with a product structure.
2. Preliminaries
Milnor surveyed old and new results on left-invariant Riemannian metrics on Lie groups, especially three-dimensional unimodular Lie groups, which are entirely classified in [
16]. In [
17], Rahmani classified three-dimensional unimodular Lie groups equipped with a left-invariant Lorentzian metric. Moreover, the non-unimodular cases were solved in [
18,
19]. Throughout this paper, we shall by
denote the connected three-dimensional Lie groups equipped with left-invariant Lorentzian metrics and
as their Lie algebras (see [
6]). Let
J be a product structure on
and is defined by
Then
and
. Canonical connection and Kobayashi-Nomizu connection [
9] are defined by
On
,
, the perturbed canonical connection and the perturbed Kobayashi-Nomizu connection is defined by
where
is a non-zero constant. Then
for
. Now, we define the Ricci curvature as follow
The Ricci tensor of
with respect to
are defined by
where
is a pseudo-orthonormal basis, with
timelike. Let
Then, the Ricci operator
with respect to
is given by
One can define the Schouten tensor with the expression as follow
where
denotes the scalar curvature and
is a real number. Refer to [
20], we have
Definition 1.
is called the algebraic Schouten soliton associated with the perturbed canonical connection , if it satisfies
where c is a real number, and is a derivation of , i.e.,
is called the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection , if it satisfies
where c is a real number, and is a derivation of , i.e.,
3. Algebraic Schouten Solitons Associated with the Perturbed Canonical Connections on Three-Dimensional Lorentzian Lie Groups
This section presents the curvature property for the perturbed canonical connection corresponding to three-dimensional Lorentzian Lie groups. Then, we fully classify algebraic Schouten soliton associated with the perturbed canonical connection on Lie groups , .
3.1. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 1. ([
21]).
The Ricci tensor of associated with the perturbed canonical connection is given by
Theorem 1. is the algebraic Schouten soliton associated with the perturbed canonical connection if it satisfies , , .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
13), there exists an algebraic Schouten soliton associated with the perturbed canonical connection
can be established if it satisfies the following system of equations
Since
, the last two equations of the system (
20) yields
. Then, (
20) reduce to
Then we have , . □
3.2. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 2. ([
21]).
The Ricci tensor of associated with the perturbed canonical connection is given by
Theorem 2. is the algebraic Schouten soliton associated with the perturbed canonical connection if it satisfies , , and .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
13) , there exists an algebraic Schouten soliton associated with the perturbed canonical connections
can be established if it satisfies the following system of equations
Since
, the second equation of (
26) yields
, or
. Let
. In this case, (
26) becomes
The last two equations above leads to
and
. Now, let
. The last two equations in (
26) give
, substitute into the first two equations in (
26) yields
, which is a contradiction. □
3.3. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 3. ([
21]).
The Ricci tensor of associated with the perturbed canonical connection is given by
Theorem 3. is the algebraic Schouten soliton associated with the perturbed canonical connection if it satisfies one of the following conditions:
, for all c;
, , ;
, , ;
, , , ;
, , ;
, , ;
, , , and , ;
, , , and , .
Proof.
The scalar curvature is given by
. We can express
as
Therefore, by (
13) there exists an algebraic Schouten soliton associated with the perturbed canonical connection
can be established if it satisfies the following system of equations
Assuming that
, we have cases (1)-(4). Next, let
, then
. Meanwhile, if
, we have cases (5)-(7); if
, for case (8), system (
32) hold. □
3.4. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 4. ([
21]).
The Ricci tensor of associated with the perturbed canonical connection is given by
Theorem 4. is the algebraic Schouten soliton associated with the perturbed canonical connection if it satisfies , , , .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
13), there exists an algebraic Schouten soliton associated with the perturbed canonical connection
can be established if it satisfies
Consider that
, we get
Then we obtain , , , .
Next, let
and
, then
. Meanwhile, we have
This is a contradiction. □
3.5. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
and
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 5. ([
21]).
The Ricci tensor of associated with the perturbed canonical connection is given by
Theorem 5. is the algebraic Schouten soliton associated with the perturbed canonical connection if .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
13), there exists an algebraic Schouten soliton associated with the perturbed canonical connection can be established if
. □
3.6. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
and
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 6. ([
21]).
The Ricci tensor of associated with the perturbed canonical connection is given by
Theorem 6. is the algebraic Schouten soliton associated with the perturbed canonical connection if it satisfies one of the following conditions:
, , ;
, , , and , ;
, , ;
, , , and , ;
, , , and , .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
13), there exists an algebraic Schouten soliton associated with the perturbed canonical connection
can be established if it satisfies the following system of equations
Assume first , then we have , , and . Therefore, the case (1) hold.
Consider
, and let
. Since
, we have
. Then (
48) reduce to
If , then and ; if then . Therefore, the case (2) and (3) holds.
Next, let
. The first and the fourth equations of the system (
48) give
, which yields
or
. Let
, since
we have
. In this case, the system (
48) becomes
If
, then we have
and case (4) is true; if
, the last two equations of the system (
50) gives
, which is a contradiction.
If
, the first and the fourth equations of the system (
48) gives
. In this case, system (
48) reduce to
The second equation in the system (
51) yields
. Since
we deduce that
. Therefore, the case (5) hold. □
3.7. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
and
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 7. ([
21]).
The Ricci tensor of associated with the perturbed canonical connection is given by
Theorem 7. is the algebraic Schouten soliton associated with the perturbed canonical connection if it satisfies one of the following conditions:
, , , , ;
, , , , ;
, , , and .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
13), there exists an algebraic Schouten soliton associated with the perturbed canonical connection
can be established if it satisfies the following system of equations
Since
and
. Assume that
,
. In this case, (
56) becomes,
The fourth and the fifth equations of the system (
57) give
, then we have
. If
then
; if
then
. Therefore, the cases (1)-(2) holds.
If we assume
, then
. In this case, (
56) becomes,
Then we have , and . Therefore, the case (3) hold. □
4. Algebraic Schouten Solitons Associated with the Perturbed Kobayashi-Nomizu Connections on Three-Dimensional Lorentzian Lie Groups
In this section, we present the curvature property for the perturbed Kobayashi-Nomizu connection corresponding to three-dimensional Lorentzian Lie groups. Then, we fully classify algebraic Schouten soliton associated with the Kobayashi-Nomizu canonical connection on Lie groups , .
4.1. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
.
is a pseudo-orthonormal basis of
, with
timelike. Then from [
21], we have the following lemma. From [
21], we have the following lemma.
Lemma 8. ([
21]).
The Ricci tensor of associated with the perturbed Kobayashi-Nomizu connection is given by
Theorem 8. is the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection if it satisfies , , .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
15) an algebraic Schouten soliton exists associated with the perturbed Kobayashi-Nomizu connection
can be established if it satisfies the following system of equations
Since
, the last two equations of the (
63) yields
. In this case, (
63) reduce to
Then, we have , . □
4.2. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 9. ([
21]).
The Ricci tensor of associated with the perturbed Kobayashi-Nomizu connection is given by
Theorem 9. is the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection if it satisfies , , and .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
15), there exists an algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection
can be established if it satisfies the following system of equations
Since
, the third equation in (
69) yields
or
. Let
. In this case, (
69) becomes
Assume , then the first and the last equations above leads to , which is a contradiction. Then we have and .
Next, let
. If
, then the last equation in (
69) give
, which is a contradiction. If
, the second and the last equations in (
69) yields
. In this case, (
69) reduce to
The first two equation above yields and replacing it in the last equation, we get , which is a contradiction. □
4.3. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 10. ([
21]).
The Ricci tensor of associated with the perturbed Kobayashi-Nomizu connection is given by
Theorem 10. is the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection if it satisfies one of the following conditions:
, for all c;
, , ;
, , ;
, , , ;
, , ;
, , , and , ;
, , , .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
15) there exists an algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection
can be established if it satisfies the following system of equations
Assume that
, then we have cases (1)-(4). Now, we assume that
then
. Meanwhile, if
we have cases (5) and (6); if
, for case (7), system (
76) hold. □
4.4. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 11. ([
21]).
The Ricci tensor of associated with the perturbed Kobayashi-Nomizu connection is given by
Theorem 11. is not the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
15) there exists an algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection
can be established if it satisfies the following system of equations
Assume first that
, we have
This is a contradiction.
If
, and
, we have
Which have no solution. □
4.5. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
and
.
is a pseudo-orthonormal basis of
, with
timelike. From [
21], we have the following lemma.
Lemma 12. ([
21]).
The Ricci tensor of associated with the perturbed Kobayashi-Nomizu connection is given by
Theorem 12. is the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection if .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
15), there exists an algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection
can be established if
. □
4.6. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
and
.
is a pseudo-orthonormal basis of
, with
timelike.
Lemma 13. ([
21]).
The Ricci tensor of associated with the perturbed Kobayashi-Nomizu connection is given by
Theorem 13. is the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection if it satisfies one of the following conditions:
, , ;
, , , ;
, , ;
, , , .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
15) there exists an algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection
can be established if it satisfies the following system of equations
Assume first
, since
and
, we have
and
. In this case, (
92) becomes
If
, then
. Therefore, the case (1) hold. If
, then
. In this case, the system (
92) holds.
If
, consider that
. Similarly, we have
, then (
92) reduce to
which leads to
and
.
If
, then the second and the third equations of the system (
92) gives
, which provides
. Therefore, the case (4) hold. □
4.7. Algebraic Schouten Soliton of
By [
6], we have the following Lie algebra of
satisfies
where
and
.
is a pseudo-orthonormal basis of
, with
timelike.
Lemma 14. ([
21]).
The Ricci tensor of associated with the perturbed Kobayashi-Nomizu connection is given by
Theorem 14. is the algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection if it satisfies one of the following conditions:
- (1)
, , , and , ,
- (2)
, , and , .
Proof.
Therefore, the scalar curvature can be obtained as
. We can write
as
Hence, by (
15) there exists an algebraic Schouten soliton associated with the perturbed Kobayashi-Nomizu connection
can be established if it satisfies the following system of equations
Throughout the proof, recall that
and
. Assume first
,
. In this case, (
99) becomes
The seventh equation of (
100) yields
, or
or
. Let
. In this case, (
100) becomes
Then, we have
and
. Therefore, the case (1) hold. Now, let
, then the second and the sixth equations of (
100) yield
. In this case, the first and the third equations in (
100) becomes
We have
, which is a contradiction. Finally, let
, again the second and the sixth equations of (
100) yields
. The last two equations in (
100) give
This is a contradiction.
Assume that
, since
, we have
. In this case, (
100) becomes
We have , . Therefore, the case (2) hold. □
References
- Hamilton, R.S. The Ricci flow on surfaces. In Mathematics and general relativity (Santa Cruz, CA, 1986); Amer. Math. Soc., Providence, RI, 1988; Vol. 71, Contemp. Math., pp. 237–262. [CrossRef]
- Perelman, G. The entropy formula for the Ricci flow and its geometric applications. arXiv preprint math/0211159.
- Akbar, M.M.; Woolgar, E. Ricci solitons and Einstein-scalar field theory. Classical Quantum Gravity 2009, 26, 055015–14. [Google Scholar] [CrossRef]
- Kholodenko, A.L. Towards physically motivated proofs of the Poincaré and geometrization conjectures. J. Geom. Phys. 2008, 58, 259–290. [Google Scholar] [CrossRef]
- Lauret, J. Ricci soliton homogeneous nilmanifolds. Math. Ann. 2001, 319, 715–733. [Google Scholar] [CrossRef]
- Batat, W.; Onda, K. Algebraic Ricci solitons of three-dimensional Lorentzian Lie groups. J. Geom. Phys. 2017, 114, 138–152. [Google Scholar] [CrossRef]
- Wears, T.H. On algebraic solitons for geometric evolution equations on three-dimensional Lie groups. Tbilisi Math. J. 2016, 9, 33–58. [Google Scholar] [CrossRef]
- Azami, S. Generalized Ricci solitons of three-dimensional Lorentzian Lie groups associated canonical connections and Kobayashi-Nomizu connections. J. Nonlinear Math. Phys. 2023, 30, 1–33. [Google Scholar] [CrossRef]
- Etayo, F.; Santamaría, R. Distinguished connections on (J2=±1)-metric manifolds. Arch. Math. (Brno) 2016, 52, 159–203. [Google Scholar] [CrossRef]
- Wang, Y. Canonical connections and algebraic Ricci solitons of three-dimensional Lorentzian Lie groups. Chinese Ann. Math. Ser. B 2022, 43, 443–458. [Google Scholar] [CrossRef]
- Azami, S. Generalized Ricci solitons associated to perturbed canonical connection and perturbed Kobayashi-Nomizu connection on three-dimensional Lorentzian Lie groups. Afr. Mat. 2024, 35, Paper. [Google Scholar] [CrossRef]
- Wang, Y. Affine Ricci solitons of three-dimensional Lorentzian Lie groups. J. Nonlinear Math. Phys. 2021, 28, 277–291. [Google Scholar] [CrossRef]
- Wu, T.; Wang, Y. Affine Ricci solitons associated to the Bott connection on three-dimensional Lorentzian Lie groups. Turkish J. Math. 2021, 45, 2773–2816. [Google Scholar] [CrossRef]
- Azami, S. Affine algebraic Ricci solitons associated to the Yano connections on three-dimensional Lorentzian Lie groups. J. Nonlinear Math. Phys. 2024, 31, Paper. [Google Scholar] [CrossRef]
- Liu, S. Algebraic Schouten Solitons of Three-Dimensional Lorentzian Lie Groups. Symmetry 2023, 15, 866. [Google Scholar] [CrossRef]
- Milnor, J. Curvatures of left invariant metrics on Lie groups. Advances in Math. 1976, 21, 293–329. [Google Scholar] [CrossRef]
- Rahmani, S. Métriques de Lorentz sur les groupes de Lie unimodulaires, de dimension trois. J. Geom. Phys. 1992, 9, 295–302. [Google Scholar] [CrossRef]
- Calvaruso, G. Homogeneous structures on three-dimensional Lorentzian manifolds. J. Geom. Phys. 2007, 57, 1279–1291. [Google Scholar] [CrossRef]
- Cordero, L.A.; Parker, P.E. Left-invariant Lorentzian metrics on 3-dimensional Lie groups. Rend. Mat. Appl. (7) 1997, 17, 129–155. [Google Scholar]
- Salimi Moghaddam, H.R. On the geometry of some para-hypercomplex Lie groups. Arch. Math. (Brno) 2009, 45, 159–170. [Google Scholar]
- Fasihi Ramandi, G.; Azami, S.; Pirhadi, V. Generalized Lorentzian Ricci solitons on 3-dimensional Lie groups associated to the Bott Connection. AUT Journal of Mathematics and Computing 2024, 5, 305–319. [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. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).