Affine Ricci Solitons of Three-Dimensional Lorentzian Lie Groups
- DOI
- 10.2991/jnmp.k.210203.001How to use a DOI?
- Keywords
- Canonical connections; Kobayashi-Nomizu connections; perturbed canonical connections; perturbed Kobayashi-Nomizu connections; affine Ricci solitons; three-dimensional Lorentzian; Lie groups
- Abstract
In this paper, we classify affine Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections and perturbed canonical connections and perturbed Kobayashi-Nomizu connections on three-dimensional Lorentzian Lie groups with some product structure.
- Copyright
- © 2021 The Author. Published by Atlantis Press B.V.
- Open Access
- This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).
1. INTRODUCTION
The concept of the Ricci soliton is introduced by Hamilton in [9], which is a natural generalization of Einstein metrics. Study of Ricci soliton over different geometric spaces is one of interesting topics in geometry and mathematical physics. In particular, it has become more important after G. Perelman applied Ricci solitons to solve the long standing Poincare conjecture. In [10,13,15–18], Einstein manifolds associated to affine connections (especially semi-symmetric metric connections and semi-symmetric non-metric connections) were studied (see the definition 3.2 in [18] and the definition 3.1 in [10]). It is natural to study Ricci solitons associated to affine connections. Affine Ricci solitons had been introduced and studied, for example, see [6,8,11,12,14].
Our motivation is to find more examples of affine Ricci solitons. A three-dimensional Lie group Gi(i = 1, ···,7) is a sub-Riemannian manifold. In [1], Balogh, Tyson and Vecchi applied a Riemannian approximation scheme to get a Gauss-Bonnet theorem in the Heisenberg group ℍ3. Let Tℍ3 = span{e1, e2, e3}, then they took the distribution H = span{e1, e2} and H⊥ = span{e3} (for details, see [1]). Similarly in [20], for the affine group and the group of rigid motions of the Minkowski plane, we took the similar distributions. In [21], for the Lorentzian Heisenberg group, we also took the similar construction. Motivated by [1,20,21], we consider the similar distribution H = span{e1, e2} and H⊥ = span{e3} for the three dimensional Lorentzian Lie group Gi(i = 1, ···,7). Then for the above distribution, we have a natural product structure J: Je1 = e1, Je2 = e2, Je3 = −e3. In [7], Etayo and Santamaria studied some affine connections on manifolds with the product structure or the complex structure. In particular, the canonical connection and the Kobayashi-Nomizu connection for a product structure were studied. So we consider the canonical connection and the Kobayashi-Nomizu connection associated to the above distribution on the Gi and get affine Ricci solitons associated to the canonical connection and the Kobayashi-Nomizu connection. In particular, from our results, we can get affine Einstein manifolds associated to the canonical connection and the Kobayashi-Nomizu connection. It is interesting to consider relations between affine Ricci solitons associated to the canonical connection and the Kobayashi-Nomizu connection and Ricci solitons associated to the Levi-Civita connection. It is also interesting to study affine Ricci solitons associated to other affine connections, for example, Schouten-Van Kampen connections and Vranceanu connections associated to the above product structure and semi-symmetric connections.
By the canonical connection and the Kobayashi-Nomizu connection on three-dimensional Lorentzian Lie groups, we obtain some examples of affine Ricci solitons. But we find that the coefficient λ of the metric tensor g in the Ricci soliton equation (see (3.13) and (3.14)) is always zero for these obtained examples. In order to obtain more interesting examples with the non zero coefficient λ, we introduce perturbed canonical connections and perturbed Kobayashi-Nomizu connections in Section 4. Using these perturbed connections, we get some examples of affine Ricci solitons with the non zero coefficient λ.
In [3], Calvaruso studied three-dimensional generalized Ricci solitons, both in Riemannian and Lorentzian settings. He determined their homogeneous models, classifying left-invariant generalized Ricci solitons on three-dimensional Lie groups. Then it is natural to classify affine Ricci solitons on three-dimensional Lie groups. In [19], we introduced a particular product structure on three-dimensional Lorentzian Lie groups and we computed canonical connections and Kobayashi-Nomizu connections and their curvature on three-dimensional Lorentzian Lie groups with this product structure. We defined algebraic Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections. We classified algebraic Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections on three-dimensional Lorentzian Lie groups with this product structure. In this paper, we classify affine Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections and perturbed canonical connections and perturbed Kobayashi-Nomizu connections on three-dimensional Lorentzian Lie groups with this product structure.
In Section 2, we recall the classification of three-dimensional Lorentzian Lie groups. In Section 3, we classify affine Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections on three-dimensional Lorentzian Lie groups with this product structure. In Section 4, we classify affine Ricci solitons associated to perturbed canonical connections and perturbed Kobayashi-Nomizu connections on three-dimensional Lorentzian Lie groups with this product structure.
2. THREE-DIMENSIONAL LORENTZIAN LIE GROUPS
In this section, we recall the classification of three-dimensional Lorentzian Lie groups in [4,5] (also see Theorems 2.1 and 2.2 in [2]).
Theorem 2.1.
Let (G, g) be a three-dimensional connected unimodular Lie group, equipped with a left-invariant Lorentzian metric. Then there exists a pseudo-orthonormal basis {e1, e2, e3} with e3 timelike such that the Lie algebra of G is one of the following:
(𝔤1):
(𝔤2):
(𝔤3):
(𝔤4):
Theorem 2.2.
Let (G, g) be a three-dimensional connected non-unimodular Lie group, equipped with a left-invariant Lorentzian metric. Then there exists a pseudo-orthonormal basis {e1, e2, e3} with e3 timelike such that the Lie algebra of G is one of the following:
(𝔤5):
(𝔤6):
(𝔤7):
3. AFFINE RICCI SOLITONS ASSOCIATED TO CANONICAL CONNECTIONS AND KOBAYASHI-NOMIZU CONNECTIONS ON THREE-DIMENSIONAL LORENTZIAN LIE GROUPS
Throughout this paper, we shall by {Gi}i=1,...,7, denote the connected, simply connected three-dimensional Lie group equipped with a left-invariant Lorentzian metric g and having Lie algebra {𝔤}i=1,...,7. Let ∇ be the Levi-Civita connection of Gi and R its curvature tensor, taken with the convention
The Ricci tensor of (Gi, g) is defined by
We define
The Ricci tensors of (Gi, g) associated to the canonical connection and the Kobayashi-Nomizu connection are defined by
Let
Since (LV g)(Y, Z) ≔ g(∇Y V, Z) + g(Y, ∇ZV), we let
Definition 3.1.
(Gi, g, J) is called the affine Ricci soliton associated to the connection ∇0 if it satisfies
By (2.25) in [19], we have for (G1, g, J, ∇0)
By Lemma 2.4 in [19] and (3.12), we have for (G1, g, J, ∇0, V)
If (G1, g, J, V) is an affine Ricci soliton associated to the connection ∇0, then by (3.13), we have
Solve (3.17), we have
Theorem 3.2.
(G1, g, J, V) is not an affine Ricci soliton associated to the connection ∇0.
By (2.33) in [19], we have for (G1, g, J, ∇1)
By Lemma 2.8 in [19] and (3.12), we have for (G1, g, J, ∇1, V)
If (G1, g, J, V) is an affine Ricci soliton associated to the connection ∇1, then by (3.14), we have
Solve (3.20), we have
Theorem 3.3.
(G1, g, J, V) is not an affine Ricci soliton associated to the connection ∇1.
By (2.44) in [19], we have for (G2, g, J, ∇0)
By Lemma 2.14 in [19] and (3.12), we have for (G2, g, J, ∇0, V)
If (G2, g, J, V) is an affine Ricci soliton associated to the connection ∇0, then by (3.13), we have
Solve (3.23), we have
Theorem 3.4.
(G2, g, J, V) is not an affine Ricci soliton associated to the connection ∇0.
By (2.54) in [19], we have for (G2, g, J, ∇1)
By Lemma 2.18 in [19] and (3.12), we have for (G2, g, J, ∇1, V)
If (G2, g, J, V) is an affine Ricci soliton associated to the connection ∇1, then by (3.14), we have
Solve (3.26), we have
Theorem 3.5.
(G2, g, J, V) is not an affine Ricci soliton associated to the connection ∇1.
By (2.64) in [19], we have for (G3, g, J, ∇0)
If (G3, g, J, V) is an affine Ricci soliton associated to the connection ∇0, then by (3.13), we have
Solve (3.29), we have
Theorem 3.6.
(G3, g, J, V) is an affine Ricci soliton associated to the connection ∇0 if and only if
(i) λ = 0, α + β − γ = 0,
(ii) λ = 0, α + β − γ ≠ 0, γ = λ1 = λ2 = 0.
By (2.69) in [19], we have for (G3, g, J, ∇1)
If (G3, g, J, V) is an affine Ricci soliton associated to the connection ∇1, then by (3.14), we have
Solve (3.32), we have
Theorem 3.7.
(G3, g, J, V) is an affine Ricci soliton associated to the connection ∇1 if and only if the following statements hold true
(i) λ = 0, γ ≠ 0, α = β = 0,
(ii) λ = 0, γ = 0, αλ2 = 0, λ1β = 0.
By (2.81) in [19], we have for (G4, g, J, ∇0)
If (G4, g, J, V) is an affine Ricci soliton associated to the connection ∇0, then by (3.13), we have
Solve (3.35), we have
Theorem 3.8.
(G4, g, J, V) is an affine Ricci soliton associated to the connection ∇0 if and only if λ = λ1 = λ2 = 0, α = 0, β = η.
By (2.89) in [19], we have for (G4, g, J, ∇1)
If (G4, g, J, V) is an affine Ricci soliton associated to the connection ∇1, then by (3.14), we have
Solve (3.38), we have
Theorem 3.9.
(G4, g, J, V) is not an affine Ricci soliton associated to the connection ∇1.
By (3.5) in [19], we have for (G5, g, J, ∇0),
If (G5, g, J, V) is an affine Ricci soliton associated to the connection ∇0, then by (3.13), we have
Solve (3.40), we have
Theorem 3.10.
(G5, g, J, V) is an affine Ricci soliton associated to the connection ∇0 if and only if one of the following cases occurs
(i) λ = β = γ = 0, α + δ ≠ 0.
(ii) λ = 0, β ≠ γ, λ1 = λ2 = 0, α + δ ≠ 0, αγ + βδ = 0.
By Lemma 3.7 in [19], we have for (G5, g, J, ∇1),
If (G5, g, J, V) is an affine Ricci soliton associated to the connection ∇1, then by (3.14), we have
Solve (3.42), we have
Theorem 3.11.
(G5, g, J, V) is an affine Ricci soliton associated to the connection ∇1 if and only if the following statements hold true
(i) λ = λ1 = λ2 = 0,
(ii) λ = 0, λ1 ≠ 0, λ2 = 0, α = β = 0, δ ≠ 0,
(iii) λ = 0, λ1 = 0, λ2 ≠ 0, δ = γ = 0, α ≠ 0.
By (3.18) in [19], we have for (G6, g, J, ∇0)
By Lemma 3.11 in [19] and (3.12), we have for (G6, g, J, ∇0, V)
If (G6, g, J, V) is an affine Ricci soliton associated to the connection ∇0, then by (3.13), we have
Solve (3.45), we have
Theorem 3.12.
(G6, g, J, V) is an affine Ricci soliton associated to the connection ∇0 if and only if
(i) λ = λ1 = λ2 = γ = δ = 0, α ≠ 0,
(ii) λ = λ1 = λ2 = α = β = γ = 0, δ ≠ 0,
(iii) λ = λ2 = 0, λ1 ≠ 0, α = β = γ = 0, δ ≠ 0,
(iv) λ = λ2 = 0, λ1 ≠ 0, α = β = 0, δ ≠ 0, γ ≠ 0, λ1 = −δ,
(v) λ = α = β = γ = 0, λ2 ≠ 0, δ ≠ 0.
By (3.23) in [19], we have for (G6, g, J, ∇1)
By Lemma 3.15 in [19] and (3.12), we have for (G6, g, J, ∇1, V)
If (G6, g, J, V) is an affine Ricci soliton associated to the connection ∇1, then by (3.14), we have
Solve (3.48), we have
Theorem 3.13.
(G6, g, J, V) is an affine Ricci soliton associated to the connection ∇1 if and only if the following statements hold true
(i) λ = α = β = λ1 = λ3 = 0, δ ≠ 0,
(ii) λ = α = β = γ = λ3 = 0, δ ≠ 0, λ1 ≠ 0.
By (3.34) in [19], we have for (G7, g, J, ∇0)
By Lemma 3.20 in [19] and (3.12), we have for (G7, g, J, ∇0, V)
If (G7, g, J, V) is an affine Ricci soliton associated to the connection ∇0, then by (3.13), we have
Solve (3.51), we have
Theorem 3.14.
(G7, g, J, V) is an affine Ricci soliton associated to the connection ∇0 if and only if the following statements hold true
(i) λ = α = β = γ = 0, δ ≠ 0,
(ii) λ = α = β = 0, γ ≠ 0, λ1 = 0, λ2 = −δ, δ ≠ 0,
(iii) λ = α = γ = λ1 = λ2 = 0, β ≠ 0.
By (3.42) in [19], we have for (G7, g, J, ∇1)
By Lemma 3.24 in [19] and (3.12), we have for (G7, g, J, ∇1, V)
If (G7, g, J, V) is an affine Ricci soliton associated to the connection ∇1, then by (3.14), we have
Solve (3.54), we have
Theorem 3.15.
(G7, g, J, V) is an affine Ricci soliton associated to the connection ∇1 if and only if
(i) λ = α = β = γ = 0, λ2 + λ3 − 2δ = 0, δ ≠ 0,
(ii) λ = α = β = 0, γ ≠ 0, λ2 = 0, λ3 = 2δ, δ ≠ 0,
(iii) λ = α = 0, δ ≠ 0, β ≠ 0, λ1 = β + γ, λ2 = δ,
4. AFFINE RICCI SOLITONS ASSOCIATED TO PERTURBED CANONICAL CONNECTIONS AND PERTURBED KOBAYASHI-NOMIZU CONNECTIONS ON THREE-DIMENSIONAL LORENTZIAN LIE GROUPS
We note that in our classifications in Section 2 always λ = 0. In order to get the affine Ricci soliton with non zero λ, we introduce perturbed canonical connections and perturbed Kobayashi-Nomizu connections in the following. Let
Definition 4.1.
(Gi, g, J) is called the affine Ricci soliton associated to the connection ∇2 if it satisfies
(Gi, g, J) is called the affine Ricci soliton associated to the connection ∇3 if it satisfies
For (G1, ∇2), similar to (3.15), we have
Solve (4.11), we have
Theorem 4.2.
(G1, g, J, V) is an affine Ricci soliton associated to the connection ∇2 if and only if λ1 = λ2 = 0,
For (G1, ∇3), similar to (3.18), we have
Solve (4.13), we have
Theorem 4.3.
(G1, g, J, V) is not an affine Ricci soliton associated to the connection ∇3.
Proof. By the first and second and fourth equations in (4.13) and α ≠ 0, we get λ2 = 0, λ1 = 2β, λ = α2 + β2, By the third equation in (4.13), we get λ1 = λ2 = β = 0, λ = α2. By the fifth equation in (4.13), we get
For (G2, ∇2), similar to (3.21), we have
Solve (4.15), we have
Theorem 4.4.
(G2, g, J, V) is not an affine Ricci soliton associated to the connection ∇2.
For (G2, ∇3), similar to (3.24), we have
Solve (4.17), we have
Theorem 4.5.
(G2, g, J, V) is not an affine Ricci soliton associated to the connection ∇3.
For (G3, ∇2), we have
Solve (4.18), we have
Theorem 4.6.
(G3, g, J, V) is an affine Ricci soliton associated to the connection ∇2 if and only if the following statements hold true
(i) a3 ≠ 0, λ1 = λ2 = 0, λ = γ a3,
(ii) a3 = λ = λ3 = 0.
For (G3, ∇3), we have
Solve (4.19), we have
Theorem 4.7.
(G3, g, J, V) is an affine Ricci soliton associated to the connection ∇3 if and only if one of the following cases occurs
(i) γ = λ = λ3 = 0, αλ2 = 0, βλ1 = 0,
(ii) γ ≠ 0, α = β = λ = λ3 = 0,
(iii) γ ≠ 0, α = β ≠ 0, λ1 = λ2 = 0, λ = αγ,
For (G4, ∇2), we have
Solve (4.21), we have
Theorem 4.8.
(G4, g, J, V) is not an affine Ricci soliton associated to the connection ∇2.
For (G4, ∇3), we have
Solve (4.23), we have
Theorem 4.9.
(G4, g, J, V) is not an affine Ricci soliton associated to the connection ∇3.
For (G5, g, J, ∇2),
Solve (4.24), we have
Theorem 4.10.
(G5, g, J, V) is an affine Ricci soliton associated to the connection ∇2 if and only if the following statements hold true
(i) γ ≠ β, λ = λ1 = λ2 = λ3 = 0, α + δ ≠ 0, αγ + βδ = 0,
(ii) λ = β = γ = 0, α + δ ≠ 0, λ3 = 0.
For (G5, g, J, ∇3),
Solve (4.25), we have
Theorem 4.11.
(G5, g, J, V) is an affine Ricci soliton associated to the connection ∇3 if and only if
(i) λ = λ1 = λ2 = λ3 = 0,
(ii) λ = λ2 = λ3 = α = β = 0, λ1 ≠ 0, δ ≠ 0,
(iii) λ = 0, λ1 = λ3 = 0, λ2 ≠ 0, δ = γ = 0, α ≠ 0.
For (G6, ∇2), we have
Solve (4.27), we have
Theorem 4.12.
(G6, g, J, V) is an affine Ricci soliton associated to the connection ∇2 if and only if the following statements hold true
(i) α = β = 0, δ ≠ 0, γ ≠ 0, λ = λ3 = 0, λ1 = −δ,
(ii) α ≠ 0, λ1 = λ2 = γ = δ = 0,
For (G6, ∇3), we have
Solve (4.29), we have
Theorem 4.13.
(G6, g, J, V) is an affine Ricci soliton associated to the connection ∇3 if and only if α ≠ 0, λ1 = λ2 = γ = δ = 0, λ = α2,
For (G7, ∇2), we have
Solve (4.31), we have
Theorem 4.14.
(G7, g, J, V) is an affine Ricci soliton associated to the connection ∇2 if and only if one of the following cases occurs
(i) α = β = 0, γ ≠ 0, δ ≠ 0, λ = 0,
(ii) α ≠ 0, λ1 = λ2 = β = γ = 0, λ = α2, δ ≠ 0,
For (G7, ∇3), we have
Solve (4.33), we have
Theorem 4.15.
(G7, g, J, V) is an affine Ricci soliton associated to the connection ∇3 if and only if the following statements hold true
(i) λ = α = β = γ = λ3 = 0, δ ≠ 0,
(ii) α = β = λ = λ2 = λ3 = 0, γ ≠ 0, δ ≠ 0,
(iii) α = λ = λ3 = 0, β ≠ 0, δ ≠ 0, λ1 = β + γ, λ2 = δ,
(iv) α ≠ 0, β = γ = δ = λ1 = λ2 = 0, λ = α2,
(v) α ≠ 0, β = γ = λ1 = λ2 = 0, λ = α2, δ ≠ 0,
Proof. We know that αγ = 0 and α + δ ≠ 0.
Case i) α = 0, then δ ≠ 0. By (4.33), we have λ = λ3 = 0 and
Case i)-a) β = 0, then by (4.34), we have γλ2 = 0 and
Case i)-a)-1) γ = 0, we get (i).
Case i)-a)-2) γ ≠ 0, we get λ2 = 0 and
Case i)-b) β ≠ 0, then by (4.34), we have λ1 = β + γ, λ2 = δ,
Case ii) α ≠ 0, so γ = 0.
Case ii)-a) β = 0, by (4.33), we get λ1 = λ2 = 0, λ = α2,
Case ii)-a)-1) δ = 0, we get (iv).
Case ii)-a)-2) δ ≠ 0, we get (v).
Case ii)-b) β ≠ 0, we get αλ2 + βλ1 − β2 = 0 and αλ1 − βλ2 + β(δ − α) = 0. So get
Using (4.35) and the fifth equation in (4.33), we get β2(α2 − αδ + δ2 + β2) + α2δ2 = 0, so we get β = 0 and this is a contradiction. So we have no solutions in this case.
CONFLICTS OF INTEREST
The author declares no conflicts of interest.
FUNDING
This research was funded by
ACKNOWLEDGMENTS
The author was supported in part by NSFC No. 11771070. The author is deeply grateful to the referees for their valuable comments and helpful suggestions.
Footnotes
REFERENCES
Cite this article
TY - JOUR AU - Yong Wang PY - 2021 DA - 2021/02/15 TI - Affine Ricci Solitons of Three-Dimensional Lorentzian Lie Groups JO - Journal of Nonlinear Mathematical Physics SP - 277 EP - 291 VL - 28 IS - 3 SN - 1776-0852 UR - https://doi.org/10.2991/jnmp.k.210203.001 DO - 10.2991/jnmp.k.210203.001 ID - Wang2021 ER -