Next Article in Journal
Resolvability in Subdivision Graph of Circulant Graphs
Next Article in Special Issue
Ricci Soliton of CR-Warped Product Manifolds and Their Classifications
Previous Article in Journal
Utilizing Full Degrees of Freedom of Control in Voltage Source Inverters to Support Micro-Grid with Symmetric and Asymmetric Voltage Requirements
Previous Article in Special Issue
Differentiating the State Evaluation Map from Matrices to Functions on Projective Space
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Algebraic Schouten Solitons of Three-Dimensional Lorentzian Lie Groups

School of Mathematics and Statistics, Northeast Normal University, Changchun 130024, China
Symmetry 2023, 15(4), 866; https://doi.org/10.3390/sym15040866
Submission received: 7 March 2023 / Revised: 28 March 2023 / Accepted: 31 March 2023 / Published: 5 April 2023
(This article belongs to the Special Issue Symmetry/Asymmetry: Differential Geometry and Its Applications)

Abstract

:
In 2016, Wears defined and studied algebraic T-solitons. In this paper, we define algebraic Schouten solitons as a special T-soliton and classify the algebraic Schouten solitons associated with Levi-Civita connections, canonical connections, and Kobayashi–Nomizu connections on three-dimensional Lorentzian Lie groups that have some product structure.

1. Introduction

Lauret introduced the Ricci soliton, which is a natural generalization of the Einstein metric on nilpotent Lie groups. In [1], he introduced the algebraic Ricci soliton in the Riemannian case. Moreover, Lauret proved that algebraic Ricci solitons on homogeneous Riemannian manifolds are Ricci solitons. Onda extended the definition of algebraic Ricci solitons to the pseudo-Riemannian case and studied them in [2]. He obtained a steady algebraic Ricci soliton in the Lorentzian setting. Note that in [3], Batat and Onda studied algebraic Ricci solitons of three-dimensional Lorentzian Lie groups, and they determined all three-dimensional Lorentzian Lie groups, which are algebraic Ricci solitons. Etayo and Santamaria studied some affine connections on product structures, mainly the canonical connection and the Kobayashi–Nomizu connection. See [4] for details. Wang defined algebraic Ricci solitons associated with canonical connections and Kobayashi–Nomizu connections in [5]. Moreover, he classified algebraic Ricci solitons associated with canonical connections and Kobayashi–Nomizu connections on three-dimensional Lorentzian Lie groups with the product structure. For other results related to Ricci solitons, see [6,7,8,9].
Following Lauret’s research, Wears defined algebraic T-solitons and established the relationship between algebraic T-solitons and T-solitons. In [10], the author showed that Lauret’s ideas for algebraic solitons applied equally well to an arbitrary geometric evolution equation (subjection to the appropriate conditions) for a left-invariant Riemannian metric on a simply connected Lie group. In Equation (1) [7], a generalized Ricci soliton was defined, which could be considered as the Schouten soliton.
According to the generalization of the definition of the Schouten tensor in [11], motivated by [7,10], we provide a definition of algebraic Schouten solitons as Schouten solitons, which were defined in [7]. In this paper, we investigate algebraic Schouten solitons associated with Levi-Civita connections, canonical connections, and Kobayashi–Nomizu connections, and classify algebraic Schouten solitons associated with Levi-Civita connections, canonical connections, and Kobayashi–Nomizu connections on three-dimensional Lorentzian Lie groups.
This paper is organized as follows. In Section 2, we recall the classification of three-dimensional Lorentzian Lie groups. In Section 3.1, we classify algebraic Schouten solitons associated with Levi-Civita connections on three-dimensional Lorentzian Lie groups with the product structure. In Section 3.2, we classify algebraic Schouten solitons associated with canonical connections and Kobayashi–Nomizu connections on three-dimensional Lorentzian Lie groups with the product structure.

2. Three-Dimensional Unimodular Lorentzian Lie Groups

See [12]; Milnor provided a complete classification of three-dimensional unimodular Lie groups equipped with a left-invariant Riemannian metric. In [13], Rahmani classified three-dimensional unimodular Lie groups equipped with a left-invariant Lorentzian metric. Cordero and Parker wrote down the possible forms of a non-unimodular Lie algebra in [14], which was proven by Calvaruso in [15]. The following theorems classify three-dimensional Lorentzian Lie groups.
Theorem 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 { e 1 , e 2 , e 3 } with e 3 time-like, such that the Lie algebra of G is one of the following:
( g 1 ) : [ e 1 , e 2 ] = α e 1 β e 3 , [ e 1 , e 3 ] = α e 1 β e 2 , [ e 2 , e 3 ] = β e 1 + α e 2 + α e 3 , α 0 . ( g 2 ) : [ e 1 , e 2 ] = γ e 2 β e 3 , [ e 1 , e 3 ] = β e 2 γ e 3 , [ e 2 , e 3 ] = α e 1 , γ 0 . ( g 3 ) : [ e 1 , e 2 ] = γ e 3 , [ e 1 , e 3 ] = β e 2 , [ e 2 , e 3 ] = α e 1 . ( g 4 ) : [ e 1 , e 2 ] = e 2 + ( 2 η β ) e 3 , η = 1 or 1 , [ e 1 , e 3 ] = β e 2 + e 3 , [ e 2 , e 3 ] = α e 1 .
Theorem 2. 
Let ( G , g ) be a three-dimensionally connected non-unimodular Lie group, equipped with a left-invariant Lorentzian metric. Then there exists a pseudo-orthonormal basis { e 1 , e 2 , e 3 } with e 3 time-like, such that the Lie algebra of G is one of the following:
( g 5 ) : [ e 1 , e 2 ] = 0 , [ e 1 , e 3 ] = α e 1 + β e 2 , [ e 2 , e 3 ] = γ e 1 + δ e 2 , α + δ 0 , α γ + β δ = 0 . ( g 6 ) : [ e 1 , e 2 ] = α e 2 + β e 3 , [ e 1 , e 3 ] = γ e 2 + δ e 3 , [ e 2 , e 3 ] = 0 , α + δ 0 , α γ β δ = 0 . ( g 7 ) : [ e 1 , e 2 ] = α e 1 β e 2 β e 3 , [ e 1 , e 3 ] = α e 1 + β e 2 + β e 3 , [ e 2 , e 3 ] = γ e 1 + δ e 2 + δ e 3 , α + δ 0 , α γ = 0 .

3. Results

This section presents the results, with ( G i , g ) representing the algebraic Schouten solitons associated with Levi-Civita connections, canonical connections, and Kobayashi–Nomizu connections on three-dimensional Lorentzian Lie groups.

3.1. Algebraic Schouten Solitons Associated with Levi-Civita Connections on Three-Dimensional Lorentzian Lie Groups

Throughout this paper, by { G i } i = 1 , , 7 we shall denote the connected, simply connected three-dimensional Lie group equipped with a left-invariant Lorentzian metric g, and having Lie algebra { g } i = 1 , , 7 . Let ∇ be the Levi-Civita connection of G i and let R be its curvature tensor, taken with the convention
R ( X , Y ) Z = X Y Z Y X Z [ X , Y ] Z .
The Ricci tensor of ( G i , g ) is defined by
ρ ( X , Y ) = g ( R ( X , e 1 ) Y , e 1 ) g ( R ( X , e 2 ) Y , e 2 ) + g ( R ( X , e 3 ) Y , e 3 ) ,
where { e 1 , e 2 , e 3 } is a pseudo-orthonormal basis, with e 3 being time-like and the Ricci operator (Ric) is given by
ρ ( X , Y ) = g ( Ric ( X ) , Y ) .
The Schouten tensor is defined by
S ( e i , e j ) = ρ ( e i , e j ) s 4 g ( e i , e j ) ,
where s denotes the scalar curvature. We generalize the definition of the Schouten tensor to
S ( e i , e j ) = ρ ( e i , e j ) s λ 0 g ( e i , e j ) ,
where λ 0 is a real number. Refer to [16], we have
s = ρ ( e 1 , e 1 ) + ρ ( e 2 , e 2 ) ρ ( e 3 , e 3 ) .
Definition 1. 
( G i , g ) is called the algebraic Schouten soliton associated with the connectionif it satisfies
Ric = ( s λ 0 + c ) Id + D ,
where c is a real number, and D is a derivation of g , i.e.,
D [ X , Y ] = [ D X , Y ] + [ X , D Y ] for X , Y g .
Theorem 3. 
If β = 0 and c = 0 , then this case corresponds to ( G 1 , g ) being the algebraic Schouten soliton associated with the connection ∇.
Proof of Theorem 1. 
From [3], we have
Ric e 1 e 2 e 3 = 1 2 β 2 α β α β α β 2 α 2 + 1 2 β 2 2 α 2 α β 2 α 2 2 α 2 + 1 2 β 2 e 1 e 2 e 3 .
Therefore, s = 3 2 β 2 . We can write D as
D e 1 = ( 1 2 β 2 3 2 β 2 λ 0 c ) e 1 + α β e 2 + α β e 3 , D e 2 = α β e 1 + ( 2 α 2 + 1 2 β 2 3 2 β 2 λ 0 c ) e 2 + 2 α 2 e 3 , D e 3 = α β e 1 2 α 2 e 2 + ( 2 α 2 + 1 2 β 2 3 2 β 2 λ 0 c ) e 3 .
Hence, by (8), there exists an algebraic Schouten soliton associated with the connection ∇ if and only if the following system of equations is satisfied
3 2 α β 2 λ 0 + α ( 3 2 β 2 + c ) = 0 , 3 2 β 3 λ 0 + β ( 1 2 β 2 c ) = 0 , α β = 0 , 3 2 β 3 λ 0 + β ( 1 2 β 2 + 6 α 2 c ) = 0 , 3 2 β 3 λ 0 + β ( 1 2 β 2 6 α 2 c ) = 0 .
Since α 0 , we have β = 0 and c = 0 .
Theorem 4. 
If α = β = 0 and c = 2 γ 2 ( 1 λ 0 ) are satisfied, ( G 2 , g ) is the algebraic Schouten soliton associated with the connection .
Proof of Theorem 2. 
According to [3], we have
Ric e 1 e 2 e 3 = 1 2 α 2 + 2 γ 2 0 0 0 1 2 α 2 + α β α γ + 2 β γ 0 α γ 2 β γ 1 2 α 2 + α β e 1 e 2 e 3 .
Consequently, the scalar curvature is given by s = 1 2 α 2 + 2 α β + 2 γ 2 . We have
D e 1 = ( 1 2 α 2 + 2 γ 2 ( 1 2 α 2 + 2 α β + 2 γ 2 ) λ 0 c ) e 1 , D e 2 = ( 1 2 α 2 + α β ( 1 2 α 2 + 2 α β + 2 γ 2 ) λ 0 c ) e 2 + ( α γ + 2 β γ ) e 3 , D e 3 = ( α γ 2 β γ ) e 2 + ( 1 2 α 2 + α β ( 1 2 α 2 + 2 α β + 2 γ 2 ) λ 0 c ) e 3 .
Equation (8) is satisfied if and only if
( 1 2 α 2 + 2 α β + 2 γ 2 ) λ 0 + 1 2 α 2 + 2 γ 2 c = 0 , β ( 1 2 α 2 + 2 α β + 2 γ 2 ) λ 0 + 2 γ 2 ( α 2 β ) β ( 1 2 α 2 + 2 γ 2 c ) = 0 , α ( 1 2 α 2 + 2 α β + 2 γ 2 ) λ 0 + α ( 3 2 α 2 + 2 γ 2 2 α β + c ) = 0 .
The first and second equations of system (14) imply that
( α 2 β ) ( β 2 + γ 2 ) = 0 .
Since γ 0 , we have α = 2 β . In this case, system (14) reduces to
( 1 2 α 2 + 2 γ 2 ) λ 0 + 1 2 α 2 + 2 γ 2 c = 0 , α ( 1 2 α 2 + 2 γ 2 ) λ 0 + α ( 1 2 α 2 + 2 γ 2 + c ) = 0 .
If α = 0 , then we have β = 0 ,   c = 2 γ 2 ( 1 λ 0 ) . If α 0 , we have 1 2 α 2 + 2 γ 2 = 0 . According to [3], this is a contradiction. □
Theorem 5. 
If one of the following conditions is satisfied, ( G 3 , g ) is the algebraic Schouten soliton associated with the connection :
(i) 
α = β = γ = 0 , for all c ,
(ii) 
α 0 ,   β = γ = 0 ,   c = 3 2 α 2 + 1 2 α 2 λ 0 ,
(iii) 
α = γ = 0 ,   β 0 ,   c = 3 2 β 2 + 1 2 β 2 λ 0 ,
(iv) 
α 0 ,   β = α ,   γ = 0 ,   c = 0 ,
(v) 
α 0 ,   β = α ,   γ = 0 ,   c = 2 α 2 + 2 α 2 λ 0 ,
(vi) 
α = β = 0 ,   γ 0 ,   c = 3 2 γ 2 + 1 2 γ 2 λ 0 ,
(vii) 
α 0 ,   β = 0 ,   γ = α ,   c = 0 ,
(viii) 
α 0 ,   β = 0 ,   γ = α ,   c = 2 α 2 + 2 α 2 λ 0 ,
(ix) 
α = 0 ,   β 0 ,   γ = β ,   c = 0 ,
(x) 
α = 0 ,   β 0 ,   γ = β ,   c = 2 β 2 + 2 β 2 λ 0 ,
(xi) 
α 0 ,   β 0 ,   γ = α ,   c = 1 2 β 2 ( 2 α β 1 2 β 2 ) λ 0 ,
(xii) 
α 0 ,   β 0 ,   γ = β α ,   c = 2 α γ 2 α γ λ 0 .
Proof of Theorem 3. 
By [3], we put
a 1 = 1 2 ( α β γ ) , a 2 = 1 2 ( α β + γ ) , a 3 = 1 2 ( α + β γ ) .
The Ricci operator is given by
Ric e 1 e 2 e 3 = l 1 0 0 0 l 2 0 0 0 l 3 e 1 e 2 e 3 ,
where l 1 = a 1 a 2 + a 1 a 3 + β a 2 + γ a 3 ,   l 2 = a 1 a 2 a 2 a 3 α a 1 + γ a 3 ,   l 3 = a 1 a 3 a 2 a 3 α a 1 + β a 2 . Moreover, we have s = 2 a 1 a 2 + 2 a 1 a 3 2 a 2 a 3 2 α a 1 + 2 β a 2 + 2 γ a 3 . So
D e 1 = ( l 1 ( 2 a 1 a 2 + 2 a 1 a 3 2 a 2 a 3 2 α a 1 + 2 β a 2 + 2 γ a 3 ) λ 0 c ) e 1 , D e 2 = ( l 2 ( 2 a 1 a 2 + 2 a 1 a 3 2 a 2 a 3 2 α a 1 + 2 β a 2 + 2 γ a 3 ) λ 0 c ) e 2 , D e 3 = ( l 3 ( 2 a 1 a 2 + 2 a 1 a 3 2 a 2 a 3 2 α a 1 + 2 β a 2 + 2 γ a 3 ) λ 0 c ) e 3 .
Therefore, (8) now becomes
γ ( 1 2 α 2 + 1 2 β 2 3 2 γ 2 α β + α γ + β γ ( 1 2 α 2 1 2 β 2 1 2 γ 2 + α β + α γ + β γ ) λ 0 c ) = 0 , β ( 1 2 α 2 3 2 β 2 + 1 2 γ 2 + α β α γ + β γ ( 1 2 α 2 1 2 β 2 1 2 γ 2 + α β + α γ + β γ ) λ 0 c ) = 0 , α ( 3 2 α 2 1 2 β 2 1 2 γ 2 α β α γ + β γ + ( 1 2 α 2 1 2 β 2 1 2 γ 2 + α β + α γ + β γ ) λ 0 + c ) = 0 .
Suppose that γ = 0 , we have
β ( 1 2 α 2 3 2 β 2 + α β ( 1 2 α 2 1 2 β 2 + α β ) λ 0 c ) = 0 , α ( 3 2 α 2 1 2 β 2 α β + ( 1 2 α 2 1 2 β 2 + α β ) λ 0 + c ) = 0 .
If β = 0 , we have two cases (i)–(ii). If β 0 , for cases (iii)–(v), system (21) holds. Now, we assume that γ 0 , then c = 1 2 α 2 + 1 2 β 2 3 2 γ 2 α β + α γ + β γ ( 1 2 α 2 1 2 β 2 1 2 γ 2 + α β + α γ + β γ ) λ 0 . Meanwhile, we have
β ( β 2 + γ 2 + α β α γ ) = 0 , α ( α 2 γ 2 α β + β γ ) = 0 .
If β = 0 , cases (vi)–(viii) hold. If β 0 , for cases (ix)–(xii), system (22) holds. □
Theorem 6. 
When α = 0 ,   β = η and c = 2 λ 0 ,   ( G 4 , g ) is the algebraic Schouten soliton associated with the connection .
Proof of Theorem 4. 
Ref. [3] makes it obvious that
Ric e 1 e 2 e 3 = 1 2 α 2 0 0 0 1 2 α 2 + α β 2 η ( α β ) 2 α 2 β + 2 η 0 α + 2 β 2 η 1 2 α 2 + α β 2 β η + 2 e 1 e 2 e 3 .
A direct computation shows that the value of the scalar curvature is 1 2 α 2 + 2 α β 2 α η 2 . We have
D e 1 = ( 1 2 α 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c ) e 1 , D e 2 = ( 1 2 α 2 + α β 2 η ( α β ) 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c ) e 2 + ( α 2 β + 2 η ) e 3 , D e 3 = ( α + 2 β 2 η ) e 2 + ( 1 2 α 2 + α β 2 β η + 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c ) e 3 .
By applying the formula shown in (8), we can calculate
1 2 α 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c + 2 ( β η ) ( α 2 ( β η ) ) = 0 , ( 2 η β ) ( 1 2 α 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c ) + 2 η ( β η ) ( α 2 ( β η ) ) = 0 , β ( 1 2 α 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c ) + 2 η ( β η ) ( α 2 ( β η ) ) = 0 , α ( 3 2 α 2 + ( 1 2 α 2 + 2 α β 2 α η 2 ) λ 0 + c 2 α ( β η ) ) = 0 .
Via simple calculations, we can obtain
1 2 α 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c + 2 ( β η ) ( α 2 ( β η ) ) = 0 , ( η β ) ( 1 2 α 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 c ) = 0 , α ( 3 2 α 2 + ( 1 2 α 2 + 2 α β 2 α η 2 ) λ 0 + c 2 α ( β η ) ) = 0 .
Let β = η , we have α = 0 ,   c = 2 λ 0 . If β η , then c = 1 2 α 2 + ( 1 2 α 2 2 α β + 2 α η + 2 ) λ 0 , we have
2 ( α 2 ( β η ) ) = 0 , α 2 ( 2 α 2 ( β η ) ) = 0 .
This is a contradiction. □
Theorem 7. 
If one of the following two conditions is satisfied
(i) 
β = γ = 0 ,   c = α 2 δ 2 ( 2 α 2 + 2 α δ + 2 δ 2 ) λ 0 ,
(ii) 
( β , γ ) ( 0 , 0 ) ,   α 2 + β 2 = γ 2 + δ 2 ,   c = α 2 1 2 ( β + γ ) 2 δ 2 ( 2 α 2 + 2 α δ + 1 2 ( β + γ ) 2 + 2 δ 2 ) λ 0 , then ( G 5 , g ) is the algebraic Schouten soliton associated with the connection ∇.
Proof of Theorem 5. 
By [3], it is immediate that
Ric e 1 e 2 e 3 = α 2 α δ β 2 γ 2 2 0 0 0 α δ + β 2 γ 2 2 δ 2 0 0 0 α 2 ( β + γ ) 2 2 δ 2 e 1 e 2 e 3 .
Then we have s = 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 , and
D e 1 = ( α 2 α δ 1 2 ( β 2 γ 2 ) ( 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 ) λ 0 c ) e 1 , D e 2 = ( α δ + 1 2 ( β 2 γ 2 ) δ 2 ( 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 ) λ 0 c ) e 2 , D e 3 = ( α 2 1 2 ( β + γ ) 2 δ 2 ( 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 ) λ 0 c ) e 3 .
By using (8) and making tedious calculations, we have the following:
( α + δ ) ( α 2 + 1 2 ( β + γ ) 2 + δ 2 + ( 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 ) λ 0 + c ) = 0 , β ( 2 α 2 + 1 2 ( 3 β 2 + 2 β γ γ 2 ) + ( 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 ) λ 0 + c ) = 0 , γ ( 2 δ 2 + 1 2 ( β 2 2 β γ 3 γ 2 ) ( 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 ) λ 0 c ) = 0 .
We assume that β = 0 . Since α + δ 0 and α γ + β δ = 0 , we have
α γ = 0 , α + δ 0 , ( α + δ ) ( α 2 + 1 2 γ 2 + δ 2 + ( 2 α 2 2 α δ 1 2 γ 2 2 δ 2 ) λ 0 + c ) = 0 , γ ( 2 δ 2 3 2 γ 2 ( 2 α 2 2 α δ 1 2 γ 2 2 δ 2 ) λ 0 c ) = 0 .
Consider γ = 0 , then case (i) is true. If γ 0 ,
α = 0 , δ 0 , 1 2 γ 2 + δ 2 + ( 1 2 γ 2 2 δ 2 ) λ 0 = c , 2 δ 2 3 2 γ 2 ( 1 2 γ 2 2 δ 2 ) λ 0 = c ,
we have case (ii). Now, we assume that β 0 , then
2 α 2 1 2 ( 3 β 2 + 2 β γ γ 2 ) ( 2 α 2 2 α δ 1 2 ( β + γ ) 2 2 δ 2 ) λ 0 = c , γ ( δ 2 + α 2 + β 2 γ 2 ) = 0 ,
for case (ii), system (29) holds. □
Theorem 8. 
( G 6 , g ) is the algebraic Schouten soliton associated with the connectionif and only if
(i) 
β = γ = 0 ,   c = α 2 + δ 2 ( 2 α 2 + 2 δ 2 + 2 α δ ) λ 0 ,
(ii) 
α = β = 0 ,   γ 0 ,   γ 2 = δ 2 ,   c = 1 2 γ 2 3 2 γ 2 λ 0 ,
(iii) 
α 0 ,   α 2 = β 2 ,   γ = δ = 0 ,   c = 1 2 α 2 3 2 α 2 λ 0 ,
(iv) 
β 0 ,   γ 0 ,   α 2 β 2 = δ 2 γ 2 ,   c = α 2 1 2 ( β γ ) 2 + δ 2 ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 .
Proof of Theorem 6. 
In [3], the Ricci operator is given by
Ric e 1 e 2 e 3 = α 2 ( β γ ) 2 2 + δ 2 0 0 0 α 2 + α δ β 2 γ 2 2 0 0 0 α δ + β 2 γ 2 2 + δ 2 e 1 e 2 e 3 .
So s = 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 . A simple calculation shows that
D e 1 = ( α 2 1 2 ( β γ ) 2 + δ 2 ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 c ) e 1 , D e 2 = ( α 2 + α δ 1 2 ( β 2 γ 2 ) ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 c ) e 2 , D e 3 = ( α δ + 1 2 ( β 2 γ 2 ) + δ 2 ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 c ) e 3 .
Thus, Equation (8) is satisfied if and only if
( α 2 + δ 2 ) ( α 2 + 1 2 ( β γ ) 2 δ 2 + ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 + c ) = 0 , β ( 2 α 2 + 1 2 ( 3 β 2 2 β γ γ 2 ) + ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 + c ) = 0 , γ ( 2 δ 2 + 1 2 ( β 2 2 β γ + 3 γ 2 ) + ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 + c ) = 0 .
Suppose that β = 0 , by taking into account α + δ 0 and α γ + β δ = 0 , we have
α γ = 0 , α + δ 0 , ( α 2 + δ 2 ) ( α 2 + 1 2 γ 2 δ 2 + ( 2 α 2 + 2 α δ 1 2 γ 2 + 2 δ 2 ) λ 0 + c ) = 0 , γ ( 2 δ 2 + 3 2 γ 2 + ( 2 α 2 + 2 α δ 1 2 γ 2 + 2 δ 2 ) λ 0 + c ) = 0 .
Set γ = 0 , we have case (i). If γ 0 , we have case (ii). Let β 0 , then c = 2 α 2 1 2 ( 3 β 2 2 β γ γ 2 ) ( 2 α 2 + 2 α δ 1 2 ( β γ ) 2 + 2 δ 2 ) λ 0 . Consequently,
α + δ 0 , α γ + β δ = 0 , ( α 2 + δ 2 ) ( α 2 β 2 + γ 2 δ 2 ) = 0 , γ ( α 2 β 2 + γ 2 δ 2 ) = 0 .
Consider γ = 0 , then case (iii) is true. If γ 0 , for case (iv), system (33) holds. □
Theorem 9. 
If ( G 7 , g ) is the algebraic Schouten soliton associated with the connection , then we have γ = 0 ,   c = 0 .
Proof of Theorem 7. 
From [3], we have
Ric e 1 e 2 e 3 = 1 2 γ 2 0 0 0 α 2 α δ + β γ 1 2 γ 2 α 2 α δ + β γ 0 α 2 + α δ β γ α 2 + α δ β γ 1 2 γ 2 e 1 e 2 e 3 .
Then s = 1 2 γ 2 . Computations show that
D e 1 = ( 1 2 γ 2 + 1 2 γ 2 λ 0 c ) e 1 , D e 2 = ( α 2 α δ + β γ 1 2 γ 2 + 1 2 γ 2 λ 0 c ) e 2 + ( α 2 α δ + β γ ) e 3 , D e 3 = ( α 2 + α δ β γ ) e 2 + ( α 2 + α δ β γ 1 2 γ 2 + 1 2 γ 2 λ 0 c ) e 3 .
Hence, (8) now yields
( α 2 + δ 2 ) ( 1 2 γ 2 1 2 γ 2 λ 0 + c ) = 0 , β ( 1 2 γ 2 + 1 2 γ 2 λ 0 c ) = 0 , γ ( 3 2 γ 2 1 2 γ 2 λ 0 + c ) = 0 .
Since α γ = 0 ,   α + δ 0 , we have γ = 0 and c = 0 .

3.2. Algebraic Schouten Solitons Associated with Canonical Connections and Kobayashi–Nomizu Connections on Three-Dimensional Lorentzian Lie Groups

We define a product structure J on G i by
J e 1 = e 1 , J e 2 = e 2 , J e 3 = e 3 ,
then J 2 = id and g ( J e j , J e j ) = g ( e j , e j ) . By [5], we define the canonical connection and the Kobayashi–Nomizu connection is as follows:
X 0 Y = X Y 1 2 ( X J ) J Y ,
X 1 Y = X 0 Y 1 4 [ ( Y J ) J X ( J Y J ) X ] .
We define
R 0 ( X , Y ) Z = X 0 Y 0 Z Y 0 X 0 Z [ X , Y ] 0 Z ,
R 1 ( X , Y ) Z = X 1 Y 1 Z Y 1 X 1 Z [ X , Y ] 1 Z .
The Ricci tensors of ( G i , g ) associated with the canonical connection and the Kobayashi–Nomizu connection are defined by
ρ 0 ( X , Y ) = g ( R 0 ( X , e 1 ) Y , e 1 ) g ( R 0 ( X , e 2 ) Y , e 2 ) + g ( R 0 ( X , e 3 ) Y , e 3 ) ,
ρ 1 ( X , Y ) = g ( R 1 ( X , e 1 ) Y , e 1 ) g ( R 1 ( X , e 2 ) Y , e 2 ) + g ( R 1 ( X , e 3 ) Y , e 3 ) .
The Ricci operators Ric 0 and Ric 1 are given by
ρ 0 ( X , Y ) = g ( Ric 0 ( X ) , Y ) , ρ 1 ( X , Y ) = g ( Ric 1 ( X ) , Y ) .
Let
ρ ˜ 0 ( X , Y ) = ρ 0 ( X , Y ) + ρ 0 ( Y , X ) 2 , ρ ˜ 1 ( X , Y ) = ρ 1 ( X , Y ) + ρ 1 ( Y , X ) 2 ,
and
ρ ˜ 0 ( X , Y ) = g ( Ric ˜ 0 ( X ) , Y ) , ρ ˜ 1 ( X , Y ) = g ( Ric ˜ 1 ( X ) , Y ) .
Similar to (5) and (6), we have
S 0 ( e i , e j ) = ρ ˜ 0 ( e i , e j ) s 0 λ 0 g ( e i , e j ) , S 1 ( e i , e j ) = ρ ˜ 1 ( e i , e j ) s 1 λ 0 g ( e i , e j ) ,
and
s 0 = ρ ˜ 0 ( e 1 , e 1 ) + ρ ˜ 0 ( e 2 , e 2 ) ρ ˜ 0 ( e 3 , e 3 ) , s 1 = ρ ˜ 1 ( e 1 , e 1 ) + ρ ˜ 1 ( e 2 , e 2 ) ρ ˜ 1 ( e 3 , e 3 ) .
Definition 2. 
( G i , g , J ) is called the algebraic Schouten soliton associated with the connection 0 if it satisfies
Ric ˜ 0 = ( s 0 λ 0 + c ) Id + D ,
where c is a real number, and D is a derivation of g ; that is
D [ X , Y ] = [ D X , Y ] + [ X , D Y ] for X , Y g .
( G i , g , J ) is called the algebraic Schouten soliton associated with the connection 1 if it satisfies
Ric ˜ 1 = ( s 1 λ 0 + c ) Id + D .
Theorem 10. 
When β = 0 ,   c = 1 2 α 2 + 2 α 2 λ 0 ,   ( G 1 , g , J ) is the algebraic Schouten soliton associated with the connection 0 .
Proof of Theorem 8. 
From [7], it is obvious that
Ric ˜ 0 e 1 e 2 e 3 = ( α 2 + 1 2 β 2 ) 0 1 4 α β 0 ( α 2 + 1 2 β 2 ) 1 2 α 2 1 4 α β 1 2 α 2 0 e 1 e 2 e 3 .
Moreover, s 0 = 2 ( α 2 + 1 2 β 2 ) . We obtain that
D e 1 = ( α 2 + 1 2 β 2 2 ( α 2 + 1 2 β 2 ) λ 0 + c ) e 1 1 4 α β e 3 , D e 2 = ( α 2 + 1 2 β 2 2 ( α 2 + 1 2 β 2 ) λ 0 + c ) e 2 1 2 α 2 e 3 , D e 3 = 1 4 α β e 1 + 1 2 α 2 e 2 ( 2 ( α 2 + 1 2 β 2 ) λ 0 + c ) e 3 .
Then, Equation (52) becomes
α 2 β = 0 , α ( 1 2 α 2 2 ( α 2 + 1 2 β 2 ) λ 0 + c ) = 0 , β ( 5 2 α 2 + β 2 2 ( α 2 + 1 2 β 2 ) λ 0 + c ) = 0 , β ( 2 ( α 2 + 1 2 β 2 ) λ 0 + c ) = 0 , β ( 1 2 α 2 2 ( α 2 + 1 2 β 2 ) λ 0 + c ) = 0 .
Taking into account that, α 0 , we have β = 0 and c = 1 2 α 2 + 2 α 2 λ 0 .
Theorem 11. 
If β = 0 ,   c = 1 2 α 2 + 2 α 2 λ 0 , then this case corresponds to ( G 1 , g , J ) being the algebraic Schouten soliton associated with the connection 1 .
Proof of Theorem 9. 
In [7], it is shown that
Ric ˜ 1 e 1 e 2 e 3 = ( α 2 + β 2 ) α β 1 2 α β α β ( α 2 + β 2 ) 1 2 α 2 1 2 α β 1 2 α 2 0 e 1 e 2 e 3 .
Therefore, s 1 = 2 ( α 2 + β 2 ) .  D is described by
D e 1 = ( α 2 + β 2 2 ( α 2 + β 2 ) λ 0 + c ) e 1 + α β e 2 + 1 2 α β e 3 , D e 2 = α β e 1 ( α 2 + β 2 2 ( α 2 + β 2 ) λ 0 + c ) e 2 1 2 α 2 e 3 , D e 3 = 1 2 α β e 1 + 1 2 α 2 e 2 ( 2 ( α 2 + β 2 ) λ 0 + c ) e 3 .
We calculate that
α 2 β = 0 , α ( 1 2 α 2 + 2 β 2 2 ( α 2 + β 2 ) λ 0 + c ) = 0 , β ( α 2 + 2 β 2 2 ( α 2 + β 2 ) λ 0 + c ) = 0 , β ( α 2 2 ( α 2 + β 2 ) λ 0 + c ) = 0 .
Note that α 0 , then we have β = 0 and c = 1 2 α 2 + 2 α 2 λ 0 .
Theorem 12. 
When α = β = 0 and c = γ 2 + 2 γ 2 λ 0 ,   ( G 2 , g , J ) is the algebraic Schouten soliton associated with the connection 0 .
Proof of Theorem 10. 
According to [7], we have
Ric ˜ 0 e 1 e 2 e 3 = ( 1 2 α β + γ 2 ) 0 0 0 ( 1 2 α β + γ 2 ) 1 4 α γ 1 2 β γ 0 1 4 α γ + 1 2 β γ 0 e 1 e 2 e 3 .
Obviously, s 0 = ( α β + 2 γ 2 ) . From Equation (52) it is easy to obtain
D e 1 = ( 1 2 α β + γ 2 ( α β + 2 γ 2 ) λ 0 + c ) e 1 , D e 2 = ( 1 2 α β + γ 2 ( α β + 2 γ 2 ) λ 0 + c ) e 2 + ( 1 4 α γ 1 2 β γ ) e 3 , D e 3 = ( 1 4 α γ + 1 2 β γ ) e 2 ( ( α β + 2 γ 2 ) λ 0 + c ) e 3 .
Consequently, we have
γ ( α β β 2 + γ 2 ( α β + 2 γ 2 ) λ 0 + c ) = 0 , β ( α β + 2 γ 2 ( α β + 2 γ 2 ) λ 0 + c ) + γ ( 1 2 α γ + β γ ) = 0 , β ( ( α β + 2 γ 2 ) λ 0 + c ) + γ ( 1 2 α γ + β γ ) = 0 , α ( ( α β + 2 γ 2 ) λ 0 + c ) = 0 .
The second and third equations in (62) transform into
β ( α β + 2 γ 2 ) = 0 .
Then, we have
γ ( α 2 + α β β 2 ( α β + 2 γ 2 ) λ 0 + c ) = 0 , β ( α β + 2 γ 2 ) = 0 , α ( ( α β + 2 γ 2 ) λ 0 + c ) = 0 .
Note that γ 0 . We have α 2 γ = 0 and α = β , then c = γ 2 + 2 γ 2 λ 0 .
Theorem 13. 
If α = β = 0 ,   c = γ 2 + 2 γ 2 λ 0 are satisfied, then ( G 2 , g , J ) is the algebraic Schouten soliton associated with the connection 1 .
Proof of Theorem 11. 
We have
Ric ˜ 1 e 1 e 2 e 3 = ( β 2 + γ 2 ) 0 0 0 ( α β + γ 2 ) 1 2 α γ 0 1 2 α γ 0 e 1 e 2 e 3 ,
this can be found in [7]. Moreover, s 1 = ( α β + β 2 + 2 γ 2 ) . From this, D is given by
D e 1 = ( β 2 + γ 2 ( α β + β 2 + 2 γ 2 ) λ 0 + c ) e 1 , D e 2 = ( α β + γ 2 ( α β + β 2 + 2 γ 2 ) λ 0 + c ) e 2 + 1 2 α γ e 3 , D e 3 = 1 2 α γ e 2 ( ( α β + β 2 + 2 γ 2 ) λ 0 + c ) e 3 .
In this way, (52) is satisfied if and only if
γ ( α β + β 2 + γ 2 ( α β + β 2 + 2 γ 2 ) λ 0 + c ) = 0 , β ( α β + β 2 + 2 γ 2 ( α β + β 2 + 2 γ 2 ) λ 0 + c ) α γ 2 = 0 , β ( α β + β 2 ( α β + β 2 + 2 γ 2 ) λ 0 + c ) α γ 2 = 0 , α ( α β β 2 ( α β + β 2 + 2 γ 2 ) λ 0 + c ) = 0 .
Since γ 0 , we have c = α β β 2 γ 2 + ( α β + β 2 + 2 γ 2 ) λ 0 . The second equation in (67) transforms into
( α β ) γ 2 = 0 .
We have α = β = 0 ,   c = γ 2 + 2 γ 2 λ 0 .
Theorem 14. 
If one of the following conditions is satisfied, then ( G 3 , g , J ) is the algebraic Schouten soliton associated with the connection 0 :
(i) 
α = β = γ = 0 , for all c ,
(ii) 
α = β = 0 ,   γ 0 ,   c = γ 2 γ 2 λ 0 ,
(iii) 
α 0 or β 0 ,   γ = 0 ,   c = 0 ,
(iv) 
α 0 or β 0 ,   γ = α + β ,   c = 0 .
Proof of Theorem 12. 
By [7], we have
Ric ˜ 0 e 1 e 2 e 3 = γ a 3 0 0 0 γ a 3 0 0 0 0 e 1 e 2 e 3 ,
where
a 1 = 1 2 ( α β γ ) , a 2 = 1 2 ( α β + γ ) , a 3 = 1 2 ( α + β γ ) .
A direct computation for the scalar curvature shows that s 0 = 2 γ a 3 = γ ( α + β γ ) . It is easy to obtain
D e 1 = ( γ a 3 2 γ a 3 λ 0 + c ) e 1 , D e 2 = ( γ a 3 2 γ a 3 λ 0 + c ) e 2 , D e 3 = ( 2 γ a 3 λ 0 + c ) e 3 .
Thus,
γ ( γ ( α + β γ ) γ ( α + β γ ) λ 0 + c ) = 0 , β ( γ ( α + β γ ) λ 0 + c ) = 0 , α ( γ ( α + β γ ) λ 0 + c ) = 0 .
If α = 0 , then cases (i)–(iii) hold. Choose α 0 and c = γ ( α + β γ ) λ 0 , we obtain two cases (iii)–(iv). □
Theorem 15. 
( G 3 , g , J ) is the algebraic Schouten soliton associated with the connection 1 if and only if
(i) 
α = β = γ = 0 ,   c 0 ,
(ii) 
α = 0 ,   c = β γ + β γ λ 0 ,
(iii) 
β = 0 ,   c = α γ + α γ λ 0 ,
(iv) 
α β 0 ,   γ = 0 ,   c = 0 .
Proof of Theorem 13. 
We have
Ric ˜ 1 e 1 e 2 e 3 = γ ( a 1 a 3 ) 0 0 0 γ ( a 2 + a 3 ) 0 0 0 0 e 1 e 2 e 3 ,
which is clear from [7]. By definition, we have s 1 = γ ( a 1 a 2 2 a 3 ) = γ ( α + β ) . Hence,
D e 1 = ( γ ( a 1 a 3 ) + γ ( a 1 a 2 2 a 3 ) λ 0 + c ) e 1 , D e 2 = ( γ ( a 2 + a 3 ) + γ ( a 1 a 2 2 a 3 ) λ 0 + c ) e 2 , D e 3 = ( γ ( a 1 a 2 2 a 3 ) λ 0 + c ) e 3 .
Equation (52) now becomes
γ ( α γ + β γ γ ( α + β ) λ 0 + c ) = 0 , β ( α γ + β γ γ ( α + β ) λ 0 + c ) = 0 , α ( α γ β γ γ ( α + β ) λ 0 + c ) = 0 .
It is easy to check that
α β γ 2 = 0 , α β ( γ ( α + β ) λ 0 + c ) = 0 .
We consider α β = 0 . In this case, cases (i)–(iii) hold. If we consider α β 0 , then γ = 0 ,   c = 0 and case (iv) holds. □
Theorem 16. 
If ( G 4 , g , J ) is the algebraic Schouten soliton associated with the connection 0 , then we have α = 0 ,   β = η ,   c = 0 .
Proof of Theorem 14. 
From [7], we have
Ric ˜ 0 e 1 e 2 e 3 = b 3 ( 2 η β ) 1 0 0 0 b 3 ( 2 η β ) 1 1 2 ( b 3 β ) 0 1 2 ( b 3 β ) 0 e 1 e 2 e 3 ,
where
b 1 = 1 2 α + η β , b 2 = 1 2 α η , b 3 = 1 2 α + η .
Then s 0 = 2 b 3 ( 2 η β ) 2 = ( 2 η + α ) ( 2 η β ) 2 . According to the condition Ric ˜ 0 = ( s 0 λ 0 + c ) Id + D , we calculate that
D e 1 = ( b 3 ( 2 η β ) 1 2 b 3 ( 2 η β ) λ 0 + 2 λ 0 c ) e 1 , D e 2 = ( b 3 ( 2 η β ) 1 2 b 3 ( 2 η β ) λ 0 + 2 λ 0 c ) e 2 1 2 ( b 3 β ) e 3 , D e 3 = 1 2 ( b 3 β ) e 2 ( 2 b 3 ( 2 η β ) λ 0 2 λ 0 + c ) e 3 .
Hence, (52) now yields
α ( ( 2 η + α ) ( 2 η β ) λ 0 2 λ 0 + c ) = 0 , β ( ( 2 η + α ) ( 2 η β ) λ 0 2 λ 0 + c ) ( 1 2 α + η β ) = 0 , ( 2 η β ) ( ( 2 η + α ) ( 2 η β ) 2 ( 2 η + α ) ( 2 η β ) λ 0 + 2 λ 0 c ) ( 1 2 α + η β ) = 0 , ( 1 2 α + η ) ( 2 η β ) 1 ( 2 η + α ) ( 2 η β ) λ 0 + 2 λ 0 c + ( 1 2 α + η β ) ( η β ) = 0 .
For η = ± 1 and α = 0 , a straightforward calculation shows that
β ( 2 β η λ 0 + 2 λ 0 + c ) ( η β ) = 0 , ( 2 η β ) ( 2 β η + 2 + 2 β η λ 0 2 λ 0 c ) ( η β ) = 0 , β η + 1 + 2 β η λ 0 2 λ 0 c + ( η β ) 2 = 0 .
Solving (81), we have β = η ,   c = 0 .
Theorem 17. 
( G 4 , g , J ) is not the algebraic Schouten soliton associated with the connection 1 .
Proof of Theorem 15. 
In this case, we have
Ric ˜ 1 e 1 e 2 e 3 = ( 1 + ( β 2 η ) ( b 3 b 1 ) ) 0 0 0 ( 1 + ( β 2 η ) ( b 2 + b 3 ) ) b 1 b 3 α + β 2 0 α β b 1 + b 3 2 0 e 1 e 2 e 3 .
That is
Ric ˜ 1 e 1 e 2 e 3 = ( 1 + β ( β 2 η ) ) 0 0 0 ( 1 + α ( β 2 η ) ) 1 2 α 0 1 2 α 0 e 1 e 2 e 3 .
So we have s 1 = ( 2 + ( α + β ) ( β 2 η ) ) . If ( G 4 , g , J ) is the algebraic Schouten soliton associated with the connection 1 , then Ric ˜ 1 = ( s 1 λ 0 + c ) Id + D , so
D e 1 = ( 1 + β ( β 2 η ) ( 2 + ( α + β ) ( β 2 η ) ) λ 0 + c ) e 1 , D e 2 = ( 1 + α ( β 2 η ) ( 2 + ( α + β ) ( β 2 η ) ) λ 0 + c ) e 2 1 2 α e 3 , D e 3 = 1 2 α e 2 ( ( 2 + ( α + β ) ( β 2 η ) ) λ 0 + c ) e 3 .
For this reason, Equation (52) now becomes
1 + ( 1 2 α + β ) ( β 2 η ) ( 2 + ( α + β ) ( β 2 η ) ) λ 0 + c + 1 2 α β = 0 , ( β 2 η ) ( 2 + ( α + β ) ( β 2 η ) ( 2 + ( α + β ) ( β 2 η ) ) λ 0 + c ) α = 0 , β ( ( α β ) ( β 2 η ) ( 2 + ( α + β ) ( β 2 η ) ) λ 0 + c ) α = 0 , α ( ( α β ) ( β 2 η ) ( 2 + ( α + β ) ( β 2 η ) ) λ 0 + c ) = 0 .
Equation (85) has no solutions, we find that ( G 4 , g , J ) is not the algebraic Schouten soliton associated with the connection 1 .
Theorem 18. 
If c = 0 , then this case corresponds to ( G 5 , g , J ) being the algebraic Schouten soliton associated with the connection 0 .
Proof of Theorem 16. 
We have
Ric ˜ 0 e 1 e 2 e 3 = 0 0 0 0 0 0 0 0 0 e 1 e 2 e 3 .
So s 0 = 0 . We see that
D e 1 = c e 1 , D e 2 = c e 2 , D e 3 = c e 3 .
By the analysis above, we have
α c = 0 , β c = 0 , γ c = 0 , δ c = 0 .
On the basis of α + δ 0 ,   α γ + β δ = 0 , we have c = 0 .
Theorem 19. 
If c = 0 is satisfied, ( G 5 , g , J ) is the algebraic Schouten soliton associated with the connection 1 .
Proof of Theorem 17. 
From
Ric ˜ 1 e 1 e 2 e 3 = 0 0 0 0 0 0 0 0 0 e 1 e 2 e 3 ,
we have s 1 = 0 . It follows that
D e 1 = c e 1 , D e 2 = c e 2 , D e 3 = c e 3 .
Thus,
α c = 0 , β c = 0 , γ c = 0 , δ c = 0 .
Note that if α + δ 0 , then we have c = 0 .
Theorem 20. 
If one of the following two conditions is satisfied
(i) 
α + δ 0 ,   β = γ = 0 ,   c = α 2 + α 2 λ 0 ,
(ii) 
α 0 ,   β 2 = 2 α 2 ,   γ = δ = 0 ,   c = 0 , then ( G 6 , g , J ) is the algebraic Schouten soliton associated with the connection 0 .
Proof of Theorem 18. 
We recall the following result:
Ric ˜ 0 e 1 e 2 e 3 = 1 2 β ( β γ ) α 2 0 0 0 1 2 β ( β γ ) α 2 1 2 ( γ α + 1 2 δ ( β γ ) ) 0 1 2 ( γ α + 1 2 δ ( β γ ) ) 0 e 1 e 2 e 3 .
Moreover, we have s 0 = β ( β γ ) 2 α 2 . Therefore, for ( G 6 , g , J ) we have
D e 1 = ( 1 2 β ( β γ ) α 2 ( β ( β γ ) 2 α 2 ) λ 0 c ) e 1 , D e 2 = ( 1 2 β ( β γ ) α 2 ( β ( β γ ) 2 α 2 ) λ 0 c ) e 2 1 2 ( γ α + 1 2 δ ( β γ ) ) e 3 , D e 3 = 1 2 ( γ α + 1 2 δ ( β γ ) ) e 2 ( ( β ( β γ ) 2 α 2 ) λ 0 + c ) e 3 .
By (52), we have
α ( 1 2 β ( β γ ) α 2 β ( β γ ) λ 0 + 2 α 2 λ 0 c ) + 1 2 ( β + γ ) ( γ α 1 2 δ ( β γ ) ) = 0 , β ( β ( β γ ) 2 α 2 β ( β γ ) λ 0 + 2 α 2 λ 0 c ) + 1 2 ( δ α ) ( γ α 1 2 δ ( β γ ) ) = 0 , γ ( β ( β γ ) λ 0 2 α 2 λ 0 + c ) 1 2 ( δ α ) ( γ α 1 2 δ ( β γ ) ) = 0 , δ ( 1 2 β ( β γ ) α 2 β ( β γ ) λ 0 + 2 α 2 λ 0 c ) 1 2 ( β + γ ) ( γ α 1 2 δ ( β γ ) ) = 0 .
According to the condition α + δ 0 ,   α γ β δ = 0 , we calculate that
1 2 β ( β γ ) α 2 β ( β γ ) λ 0 + 2 α 2 λ 0 c = 0 , ( β + γ ) ( γ α 1 2 δ ( β γ ) ) = 0 , ( β + γ ) ( β ( β γ ) λ 0 2 α 2 λ 0 + c ) = 0 .
We choose β + γ = 0 , then we have β ( α + δ ) = 0 , and c = α 2 + α 2 λ 0 . We set β + γ 0 and c = β ( β γ ) λ 0 + 2 α 2 λ 0 . By the calculation, we have β 2 = 2 α 2 ,   γ = δ = 0 and then c = 0 .
Theorem 21. 
If one of the following two conditions is satisfied
(i) 
α = β = 0 ,   δ 0 ,   c = 0 ,
(ii) 
α 0 ,   β = γ = 0 ,   α + δ 0 ,   c = α 2 + 2 α 2 λ 0 ,   ( G 6 , g , J ) is the algebraic Schouten soliton associated with the connection 1 .
Proof of Theorem 19. 
From [7], we have
Ric ˜ 1 e 1 e 2 e 3 = ( α 2 + β γ ) 0 0 0 α 2 0 0 0 0 e 1 e 2 e 3 .
It is a simple matter of s 1 = ( 2 α 2 + β γ ) . It follows that
D e 1 = ( α 2 + β γ ( 2 α 2 + β γ ) λ 0 + c ) e 1 , D e 2 = ( α 2 ( 2 α 2 + β γ ) λ 0 + c ) e 2 , D e 3 = ( ( 2 α 2 + β γ ) λ 0 + c ) e 3 .
An easy computation shows that
α ( α 2 + β γ ( 2 α 2 + β γ ) λ 0 + c ) = 0 , β ( 2 α 2 + β γ ( 2 α 2 + β γ ) λ 0 + c ) = 0 , γ ( β γ ( 2 α 2 + β γ ) λ 0 + c ) = 0 , δ ( α 2 + β γ ( 2 α 2 + β γ ) λ 0 + c ) = 0 .
The first and fourth equations of system (98) imply that
( α + δ ) ( α 2 + β γ ( 2 α 2 + β γ ) λ 0 + c ) = 0 .
Because α + δ 0 , then we have c = α 2 β γ + ( 2 α 2 + β γ ) λ 0 ,   α 2 β = 0 , and α 2 γ = 0 . Let α = 0 , then δ 0 ,   β = 0 ,   c = 0 . If α 0 , then β = γ = 0 ,   c = α 2 β γ + 2 α 2 λ 0 .
Theorem 22. 
( G 7 , g , J ) is the algebraic Schouten soliton associated with the connection 0 if and only if
(i) 
α = γ = 0 ,   δ 0 ,   c = 0 ,
(ii) 
α 0 ,   β = γ = 0 ,   α + δ 0 ,   c = 1 2 α 2 + 2 α 2 λ 0 .
Proof of Theorem 20. 
By [7], we have
Ric ˜ 0 e 1 e 2 e 3 = ( α 2 + 1 2 β γ ) 0 1 2 ( α γ + 1 2 δ γ ) 0 ( α 2 + 1 2 β γ ) 1 2 ( α 2 + 1 2 β γ ) 1 2 ( α γ + 1 2 δ γ ) 1 2 ( α 2 + 1 2 β γ ) 0 e 1 e 2 e 3 .
Clearly, s 0 = ( 2 α 2 + β γ ) . It follows that
D e 1 = ( α 2 + 1 2 β γ ( 2 α 2 + β γ ) λ 0 + c ) e 1 + 1 2 ( α γ + 1 2 δ γ ) e 3 , D e 2 = ( α 2 + 1 2 β γ ( 2 α 2 + β γ ) λ 0 + c ) e 2 1 2 ( α 2 + 1 2 β γ ) e 3 , D e 3 = 1 2 ( α γ + 1 2 δ γ ) e 1 + 1 2 ( α 2 + 1 2 β γ ) e 2 ( ( 2 α 2 + β γ ) λ 0 + c ) e 3 .
A long but straightforward calculation shows that
α ( α 2 + 1 2 β γ ( 2 α 2 + β γ ) λ 0 + c ) 1 2 ( β + γ ) ( α γ + 1 2 γ δ ) 1 2 α ( α 2 + 1 2 β γ ) = 0 , β ( α 2 + 1 2 β γ ( 2 α 2 + β γ ) λ 0 + c ) 1 2 δ ( α γ + 1 2 γ δ ) = 0 , 1 2 α ( α 2 + 1 2 β γ 2 ( 2 α 2 + β γ ) λ 0 + 2 c ) 1 2 β ( α γ + 1 2 γ δ ) = 0 , β ( α 2 + 1 2 β γ ( 2 α 2 + β γ ) λ 0 + c ) = 0 , γ ( ( 2 α 2 + β γ ) λ 0 + c ) 1 2 δ ( α γ + 1 2 γ δ ) = 0 , 1 2 δ ( α 2 + 1 2 β γ 2 ( 2 α 2 + β γ ) λ 0 + 2 c ) + 1 2 β ( α γ + 1 2 γ δ ) = 0 , 1 2 δ ( α 2 + 1 2 β γ 2 ( 2 α 2 + β γ ) λ 0 + 2 c ) + 1 2 ( β + γ ) ( α γ + 1 2 γ δ ) = 0 .
The first and third equations of system (102) yield
γ ( α γ + 1 2 γ δ ) = 0 ,
for α γ = 0 , we have
γ δ = 0 , γ 2 ( α + 1 2 δ ) = 0 .
Let us regard γ = 0 . We have
α ( α 2 4 α 2 λ 0 + 2 c ) = 0 , β ( α 2 2 α 2 λ 0 + c ) = 0 , δ ( α 2 4 α 2 λ 0 + 2 c ) = 0 .
Since α + δ 0 , we have α 2 4 α 2 λ 0 + 2 c = 0 . Then
α 2 β = 0 .
We assume that α = 0 , in this case, we obtain δ 0 ,   c = 0 . If α 0 , then β = 0 ,   c = 1 2 α 2 + 2 α 2 λ 0 .
Theorem 23. 
When α 0 ,   β = γ = 0 ,   δ = 1 2 α , and c = 1 2 α 2 + 2 α 2 λ 0 ,   ( G 7 , g , J ) is the algebraic Schouten soliton associated with the connection 1 .
Proof of Theorem 21. 
From [7], we have
Ric ˜ 1 e 1 e 2 e 3 = α 2 1 2 ( β δ α β ) β ( α + δ ) 1 2 ( β δ α β ) ( α 2 + β 2 + β γ ) 1 2 ( β γ + α δ + 2 δ 2 ) β ( α + δ ) 1 2 ( β γ + α δ + 2 δ 2 ) 0 e 1 e 2 e 3 .
Of course s 1 = ( 2 α 2 + β 2 + β γ ) . It follows that
D e 1 = ( α 2 ( 2 α 2 + β 2 + β γ ) λ 0 + c ) e 1 + 1 2 ( β δ α β ) e 2 β ( α + δ ) e 3 , D e 2 = 1 2 ( β δ α β ) e 1 ( α 2 + β 2 + β γ ( 2 α 2 + β 2 + β γ ) λ 0 + c ) e 2 1 2 ( β γ + α δ + 2 δ 2 ) e 3 , D e 3 = β ( α + δ ) e 1 + 1 2 ( β γ + α δ + 2 δ 2 ) e 2 ( ( 2 α 2 + β 2 + β γ ) λ 0 + c ) e 3 .
Therefore, Equation (52) now becomes
α ( α 2 + β 2 + β γ ( 2 α 2 + β 2 + β γ ) λ 0 + c ) + ( β 2 + β γ ) ( α + δ ) + 1 2 β ( β δ α β ) 1 2 α ( β γ + α δ + 2 δ 2 ) = 0 , β ( 1 2 α 2 ( 2 α 2 + β 2 + β γ ) λ 0 + c + 3 2 α δ + δ 2 ) = 0 , β ( 2 α 2 + β 2 + β γ ( 2 α 2 + β 2 + β γ ) λ 0 + c ) β ( β γ + α δ + 2 δ 2 ) + β ( α + δ ) ( δ α ) = 0 , α ( ( 2 α 2 + β 2 + β γ ) λ 0 + c ) + 1 2 α ( β γ + α δ + 2 δ 2 ) + 1 2 ( β γ ) ( β δ α β ) + β 2 ( α + δ ) = 0 , β ( β 2 + β γ + ( 2 α 2 + β 2 + β γ ) λ 0 c ) + 1 2 ( α δ ) ( β δ α β ) + β ( β γ + α δ + 2 δ 2 ) = 0 , β ( 1 2 α δ 1 2 δ 2 ( 2 α 2 + β 2 + β γ ) λ 0 + c ) = 0 , γ ( β 2 + β γ ( 2 α 2 + β 2 + β γ ) λ 0 + c ) 1 2 ( α δ ) ( β δ α β ) + β ( α + δ ) ( δ α ) = 0 , δ ( ( 2 α 2 + β 2 + β γ ) λ 0 + c ) 1 2 ( β γ ) ( β δ α β ) + 1 2 δ ( β γ + α δ + 2 δ 2 ) β 2 ( α + δ ) = 0 , δ ( α 2 + β 2 + β γ ( 2 α 2 + β 2 + β γ ) λ 0 + c ) + 1 2 β ( β δ α β ) + 1 2 δ ( β γ + α δ + 2 δ 2 ) + ( β 2 + β γ ) ( α + δ ) = 0 .
Throughout the proof, recall that α + δ 0 and α γ = 0 . Assume first that α 0 ,   γ = 0 . In this case,
α ( α 2 + β 2 ( 2 α 2 + β 2 ) λ 0 + c ) + β 2 ( α + δ ) + 1 2 β ( β δ α β ) 1 2 α ( α δ + 2 δ 2 ) = 0 , β ( 1 2 α 2 ( 2 α 2 + β 2 ) λ 0 + c + 3 2 α δ + δ 2 ) = 0 , β ( 2 α 2 + β 2 ( 2 α 2 + β 2 ) λ 0 + c ) β ( α δ + 2 δ 2 ) + β ( α + δ ) ( δ α ) = 0 , α ( ( 2 α 2 + β 2 ) λ 0 + c ) + 1 2 α ( α δ + 2 δ 2 ) + 1 2 β ( β δ α β ) + β 2 ( α + δ ) = 0 , β ( β 2 + ( 2 α 2 + β 2 ) λ 0 c ) + 1 2 ( α δ ) ( β δ α β ) + β ( α δ + 2 δ 2 ) = 0 , β ( 1 2 α δ 1 2 δ 2 ( 2 α 2 + β 2 ) λ 0 + c ) = 0 , 1 2 ( α δ ) ( β δ α β ) + β ( α + δ ) ( δ α ) = 0 , δ ( ( 2 α 2 + β 2 ) λ 0 + c ) 1 2 β ( β δ α β ) + 1 2 δ ( α δ + 2 δ 2 ) β 2 ( α + δ ) = 0 , δ ( α 2 + β 2 ( 2 α 2 + β 2 ) λ 0 + c ) + 1 2 β ( β δ α β ) + 1 2 δ ( α δ + 2 δ 2 ) + β 2 ( α + δ ) = 0 .
Next suppose that β = 0 ,
α ( α 2 2 α 2 λ 0 + c ) 1 2 α ( α δ + 2 δ 2 ) = 0 , α ( 2 α 2 λ 0 + c ) + 1 2 α ( α δ + 2 δ 2 ) = 0 , δ ( 2 α 2 λ 0 + c ) + 1 2 δ ( α δ + 2 δ 2 ) = 0 , δ ( α 2 2 α 2 λ 0 + c ) + 1 2 δ ( α δ + 2 δ 2 ) = 0 .
Then, we have
( α + δ ) ( 2 δ α ) = 0 ;
that is, δ = 1 2 α ,   c = 1 2 α 2 + 2 α 2 λ 0 .

4. Conclusions

In this paper, we present the necessary conditions for ( G i , g ) to be an algebraic Schouten soliton on the three-dimensional Lorentzian Lie groups with Levi-Civita connections and provide corresponding proofs. To enrich the results of this article, we studied canonical connections and Kobayashi–Nomizu connections and provide corresponding conclusions. The innovation of this article lies in proposing the definition of algebraic Schouten solitons, which provides a new perspective for future research.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The author has confirmed that the data for this study are available within the article.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Lauret, J. Ricci soliton homogeneous nilmanifolds. Math. Ann. 2001, 319, 715–733. [Google Scholar] [CrossRef]
  2. Onda, K. Examples of algebraic Ricci solitons in the pseudo-Riemannian case. Acta Math. Hungar. 2014, 144, 247–265. [Google Scholar] [CrossRef] [Green Version]
  3. Batat, W.; Onda, K. Algebraic Ricci solitons of three-dimensional Lorentzian Lie groups. J. Geom. Phys. 2017, 114, 138–152. [Google Scholar] [CrossRef] [Green Version]
  4. Etayo, F.; Santamaria, R. Distinguished connections on (J2 = ±1)-metric manifolds. Arch. Math. 2016, 52, 159–203. [Google Scholar]
  5. Wang, Y. Canonical connections and algebraic Ricci solitons of three-dimensional Lorentzian Lie groups. Chin. Ann. Math. Ser. B 2022, 43, 443–458. [Google Scholar] [CrossRef]
  6. Brozos-Vazquez, M.; Garcia-Rio, E.; Gavino-Fernandez, S. Locally conformally flat Lorentzian gradient Ricci solitons. J. Geom. Anal. 2013, 23, 1196–1212. [Google Scholar] [CrossRef] [Green Version]
  7. 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]
  8. Wang, Y. Affine Ricci soliton of three-dimensional Lorentzian Lie groups. J. Nonlinear Math. Phys. 2021, 28, 277–291. [Google Scholar] [CrossRef]
  9. Wu, T.; Wang, Y. Affine Ricci solitons associated to the Bott connection on three-dimensional Lorentzian Lie groups. Turk. J. Math. 2021, 45, 2773–2816. [Google Scholar] [CrossRef]
  10. Wears, T.H. On algebraic solitons for geometric evolution equations on three-dimensional Lie groups. Tbil. Math. J. 2016, 9, 33–58. [Google Scholar] [CrossRef] [Green Version]
  11. Calvino-Louzao, E.; Hervella, L.M.; Seoane-Bascoy, J.; Vazquez-Lorenzo, R. Homogeneous Cotton solitons. J. Phys. A Math. Theor. 2013, 46, 285204. [Google Scholar] [CrossRef] [Green Version]
  12. Milnor, J. Curvature of left invariant metrics on Lie groups. Adv. Math. 1976, 21, 293–329. [Google Scholar] [CrossRef] [Green Version]
  13. 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]
  14. Cordero, L.A.; Parker, P.E. Left-invariant Lorentzian metrics on 3-dimensional Lie groups. Rend. Mat. Appl. 1997, 17, 129–155. [Google Scholar]
  15. Calvaruso, G. Homogeneous structures on three-dimensional homogeneous Lorentzian manifolds. J. Geom. Phys. 2007, 57, 1279–1291. [Google Scholar] [CrossRef]
  16. Salimi, H.R. On the geometry of some para-hypercomplex Lie groups. Arch. Math. 2009, 45, 159–170. [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

Liu, S. Algebraic Schouten Solitons of Three-Dimensional Lorentzian Lie Groups. Symmetry 2023, 15, 866. https://doi.org/10.3390/sym15040866

AMA Style

Liu S. Algebraic Schouten Solitons of Three-Dimensional Lorentzian Lie Groups. Symmetry. 2023; 15(4):866. https://doi.org/10.3390/sym15040866

Chicago/Turabian Style

Liu, Siyao. 2023. "Algebraic Schouten Solitons of Three-Dimensional Lorentzian Lie Groups" Symmetry 15, no. 4: 866. https://doi.org/10.3390/sym15040866

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