DOI: 10.24193/subbmath.2019.4.12
Geometric characteristics and properties of a two-parametric family of Lie groups with
almost contact B-metric structure of the smallest dimension
Miroslava Ivanova and Lilko Dospatliev
Abstract. Almost contact B-metric manifolds of the lowest dimension 3 are con- structed by a two-parametric family of Lie groups. Our purpose is to determine the class of considered manifolds in a classification of almost contact B-metric manifolds and their most important geometric characteristics and properties.
Mathematics Subject Classification (2010):53C15, 53C50, 53D15.
Keywords:Almost contact B-metric manifold, Lie group, Lie algebra, indefinite metric.
1. Introduction
The study of the differential geometry of the almost contact B-metric manifolds has initiated in [5]. The geometry of these manifolds is a natural extension of the geometry of the almost complex manifolds with Norden metric [3, 6] in the case of odd dimension. Almost contact B-metric manifolds are investigated and studied for example in [5, 11, 12, 14, 15, 17, 18, 20].
Here, an object of special interest are the Lie groups considered as three- dimensional almost contact B-metric manifolds. For example of such investigation see [19].
The aim of the present paper is to make a study of the most important geometric characteristics and properties of a family of Lie groups with almost contact B-metric structure of the lowest dimension 3, belonging to the main vertical classes. These classes areF4andF5, where the fundamental tensorF is expressed explicitly by the metricg, the structure (ϕ, ξ, η) and the vertical components of the Lee forms θ and θ∗, i.e. in this case the Lee forms are proportional to η at any point. These classes contain some significant examples as the time-like sphere ofg and the light cone of
the associated metric ofgin the complex Riemannian space, considered in [5], as well as the Sasakian-like manifolds studied in [7].
The paper is organized as follows. In Sec. 2, we give some necessary facts about almost contact B-metric manifolds. In Sec. 3, we construct and study a family of Lie groups as three-dimensional manifolds of the considered type.
2. Almost contact manifolds with B-metric
Let (M, ϕ, ξ, η, g) be a (2n+ 1)-dimensionalalmost contact B-metric manifold, i.e. (ϕ, ξ, η) is a triplet of a tensor (1,1)-fieldϕ, a vector fieldξand its dual 1-formη called an almost contact structure and the following identities holds:
ϕξ= 0, ϕ2=−Id +η⊗ξ, η◦ϕ= 0, η(ξ) = 1, where Id is the identity. The B-metricgis pseudo-Riemannian and satisfies
g(ϕx, ϕy) =−g(x, y) +η(x)η(y)
for arbitrary tangent vectorsx, y∈TpM at an arbitrary pointp∈M [5].
Further, x, y,z,w will stand for arbitrary vector fields onM or vectors in the tangent space at an arbitrary point inM.
Let us note that the restriction of a B-metric on the contact distributionH = ker(η) coincides with the corresponding Norden metric with respect to the almost complex structure and the restriction of ϕ on H acts as an anti-isometry on the metric onH which is the restriction ofg onH.
The associated metric ˜g ofg onM is given by ˜g(x, y) =g(x, ϕy) +η(x)η(y). It is a B-metric, too. Hence, (M, ϕ, ξ, η,˜g) is also an almost contact B-metric manifold.
Both metricsgand ˜g are indefinite of signature (n+ 1, n).
The structure group of (M, ϕ, ξ, η, g) isG × I, whereI is the identity on span(ξ) andG=GL(n;C)∩ O(n, n).
The (0,3)-tensor F on M is defined by F(x, y, z) = g (∇xϕ)y, z
, where ∇ is the Levi-Civita connection ofg. The tensorF has the following properties:
F(x, y, z) =F(x, z, y) =F(x, ϕy, ϕz) +η(y)F(x, ξ, z) +η(z)F(x, y, ξ).
A classification of the almost contact B-metric manifolds is introduced in [5], where eleven basic classesFi (i= 1,2, . . . ,11) are characterized with respect to the properties of F. The special classF0 is defined by the condition F(x, y, z) = 0 and is contained in each of the other classes. Hence, F0 is the class of almost contact B-metric manifolds with∇-parallel structures, i.e. ∇ϕ=∇ξ=∇η=∇g=∇˜g= 0.
Let gij, i, j ∈ {1,2, . . . ,2n+ 1}, be the components of the matrix of g with respect to a basis{ei}2n+1i=1 ={e1, e2, . . . , e2n+1}ofTpM at an arbitrary pointp∈M, and gij – the components of the inverse matrix of (gij). The Lee forms associated withF are defined as follows:
θ(z) =gijF(ei, ej, z), θ∗(z) =gijF(ei, ϕej, z), ω(z) =F(ξ, ξ, z).
In [12], thesquare norm of∇ϕis introduced by:
k∇ϕk2=gijgksg (∇eiϕ)ek, ∇ejϕ es
. (2.1)
If (M, ϕ, ξ, η, g) is anF0-manifold then the square norm of∇ϕis zero, but the inverse implication is not always true. An almost contact B-metric manifold satisfying the conditionk∇ϕk2= 0 is called anisotropic-F0-manifold. The square norms of∇η and
∇ξ are defined in [13] by:
k∇ηk2=gijgks(∇eiη)ek ∇ejη
es, k∇ξk2=gijg ∇eiξ,∇ejξ
. (2.2) Let R be the curvature tensor of type (1,3) of Levi-Civita connection ∇, i.e.
R(x, y)z=∇x∇yz− ∇y∇xz− ∇[x,y]z. The corresponding tensor ofRof type (0,4) is defined byR(x, y, z, w) =g(R(x, y)z, w).
The Ricci tensor ρ and the scalar curvature τ for R as well as their as- sociated quantities are defined by the following traces ρ(x, y) = gijR(ei, x, y, ej), τ=gijρ(ei, ej),ρ∗(x, y) =gijR(ei, x, y, ϕej) andτ∗=gijρ∗(ei, ej), respectively.
An almost contact B-metric manifold is called Einstein if the Ricci tensor is proportional to the metric tensor, i.e.ρ=λg, λ∈R.
Letαbe a non-degenerate 2-plane (section) inTpM. It is known from [20] that the special 2-planes with respect to the almost contact B-metric structure are: atotally real section ifαis orthogonal to itsϕ-imageϕα andξ, aϕ-holomorphic section ifα coincides withϕα and aξ-section ifξlies onα.
The sectional curvaturek(α;p)(R) of αwith an arbitrary basis {x, y} at pre- gardingRis defined by
k(α;p)(R) = R(x, y, y, x)
g(x, x)g(y, y)−g(x, y)2. (2.3) It is known from [12] that a linear connectionD is called a natural connection on an arbitrary manifold (M, ϕ, ξ, η, g) if the almost contact structure (ϕ, ξ, η) and the B-metricg (consequently also ˜g) are parallel with respect to D, i.e. Dϕ=Dξ= Dη =Dg = D˜g = 0. In [18], it is proved that a linear connection D is natural on (M, ϕ, ξ, η, g) if and only ifDϕ=Dg= 0. A natural connection exists on any almost contact B-metric manifold and coincides with the Levi-Civita connection if and only if the manifold belongs toF0.
LetT be the torsion tensor of D, i.e.T(x, y) =Dxy−Dyx−[x, y].The corre- sponding tensor ofT of type (0,3) is denoted by the same letter and is defined by the conditionT(x, y, z) =g(T(x, y), z).
In [15], it is introduced a natural connection ˙D on (M, ϕ, ξ, η, g) in all basic classes by
D˙xy=∇xy+12
(∇xϕ)ϕy+ (∇xη)y·ξ −η(y)∇xξ. (2.4) This connection is called a ϕB-connection in [16]. It is studied for the main classes F1,F4,F5,F11 in [15, 10, 11]. Let us note that the ϕB-connection is the odd- dimensional analogue of the B-connection on the almost complex manifold with Nor- den metric, studied for the classW1in [4].
In [17], a natural connection ¨Dis called aϕ-canonical connection on (M, ϕ, ξ, η, g) if its torsion tensor ¨T satisfies the following identity:
T¨(x, y, z)−T¨(x, z, y)−T¨(x, ϕy, ϕz) + ¨T(x, ϕz, ϕy)
=η(x)n
T¨(ξ, y, z)−T(ξ, z, y)¨ −T¨(ξ, ϕy, ϕz) + ¨T(ξ, ϕz, ϕy)o +η(y)n
T(x, ξ, z)¨ −T¨(x, z, ξ)−η(x) ¨T(z, ξ, ξ)o
−η(z)n
T¨(x, ξ, y)−T¨(x, y, ξ)−η(x) ¨T(y, ξ, ξ)o .
It is established that the ϕB-connection and the ϕ-canonical connection coincide if and only if (M, ϕ, ξ, η, g) is in the classF1⊕ F2⊕ F4⊕ F5⊕ F6⊕ F8⊕ F9⊕ F10⊕ F11. In [8] it is determined the class of all three-dimensional almost contact B-metric manifolds. It isF1⊕ F4⊕ F5⊕ F8⊕ F9⊕ F10⊕ F11.
3. A family of Lie groups as three-dimensional (F
4⊕ F
5)-manifolds
In this section we study three-dimensional real connected Lie groups with almost contact B-metric structure. On a three-dimensional connected Lie groupGwe take a global basis of left-invariant vector fields{e0, e1, e2}onG.
We define an almost contact structure on Gby
ϕe0=o, ϕe1=e2, ϕe2=−e1, ξ=e0;
η(e0) = 1, η(e1) =η(e2) = 0, (3.1) whereois the zero vector field and define a B-metric on Gby
g(e0, e0) =g(e1, e1) =−g(e2, e2) = 1,
g(e0, e1) =g(e0, e2) =g(e1, e2) = 0. (3.2) We consider the Lie algebragonG, determined by the following non-zero commuta- tors:
[e0, e1] =−be1−ae2, [e0, e2] =ae1−be2, [e1, e2] = 0, (3.3) where a, b ∈ R. We verify immediately that the Jacobi identity for g is satisfied.
Hence,Gis a 2-parametric family of Lie groups with corresponding Lie algebra g.
Theorem 3.1. Let(G, ϕ, ξ, η, g)be a three-dimensional connected Lie group with almost contact B-metric structure determined by (3.1), (3.2) and (3.3). Then it belongs to the class F4⊕ F5.
Proof. The well-known Koszul equality for the Levi-Civita connection∇ofg 2g(∇eiej, ek) =g([ei, ej], ek) +g([ek, ei], ej) +g([ek, ej], ei) (3.4) implies the following form of the componentsFijk=F(ei, ej, ek) ofF:
2Fijk =g([ei, ϕej]−ϕ[ei, ej], ek) +g(ϕ[ek, ei]−[ϕek, ei], ej) +g([ek, ϕej]−[ϕek, ej], ei).
(3.5)
Using (3.5) and (3.3) for the non-zero componentsFijk, we get:
F101=F110=−F202=−F220=a,
F102=F120=F201=F210=b. (3.6) Immediately we establish that the components in (3.6) satisfy the condition F = F4+F5 which means that the manifold belongs to F4⊕ F5. Here, the components FsofF in the basic classesFs(s= 4,5) have the following form (see [8])
F4(x, y, z) =12θ0n
x1 y0z1+y1z0
−x2 y0z2+y2z0 ,
1
2θ0=F101=F110=−F202=−F220; F5(x, y, z) =12θ∗0
x1 y0z2+y2z0
+x2 y0z1+y1z0 ,
1
2θ∗0=F102=F120=F201=F210.
(3.7)
whereθ0=θ(e0) andθ0∗=θ∗(e0) are determined byθ0= 2a,θ0∗= 2b. Therefore, the induced three-dimensional manifold (G, ϕ, ξ, η, g) belongs to the classF4⊕ F5 from the mentioned classification. It is anF0-manifold if and only if (a, b) = (0,0) holds.
Obviously, (G, ϕ, ξ, η, g) belongs toF4,F5 andF0if and only if the parameters θ∗0 vanishes if the manifold belongs to F4, and θ0 vanishes if it belong to F5, and θ0=θ∗0 vanishes if it belong toF0, respectively.
According to the above, the commutators in (3.3) take the form [e0, e1] =−12(θ∗0e1+θ0e2), [e0, e2] = 12(θ0e1−θ0∗e2),
[e1, e2] = 0, (3.8)
in terms of the basic components of the Lee formsθ andθ∗. According to Theorem 3.1 and the consideration in [9], we can remark that the Lie algebra determined as above belongs to the typeBia(V IIh),h >0 of the Bianchi classification (see [1, 2]).
Using (3.4) and (3.3), we obtain the components of∇:
∇e1e0=be1+ae2, ∇e1e1=−be0, ∇e1e2=ae0,
∇e2e0=−ae1+be2, ∇e2e1=ae0, ∇e2e2=be0. (3.9) We denote byRijkl =R(ei, ej, ek, el) the components of the curvature tensorR, ρjk =ρ(ej, ek) of the Ricci tensor ρ, ρ∗jk =ρ∗(ej, ek) of the associated Ricci tensor ρ∗ and kij =k(ei, ej) of the sectional curvature for ∇ of the basic 2-plane αij with a basis {ei, ej}, where i, j ∈ {0,1,2}. On the considered manifold (G, ϕ, ξ, η, g) the basic 2-planesαij of special type are: a ϕ-holomorphic section —α12 andξ-sections
—α01,α02. Further, by (2.3), (3.2), (3.3) and (3.9), we compute
−R0101=R0202= 12ρ00=k01=k02=14(θ20−θ0∗2), R0102=R0201=−ρ12=−12ρ∗00=−12τ∗=−12θ0θ0∗, R1212=ρ∗12=k12=−14(θ02+θ∗20 ), ρ11=−ρ22=−12θ∗20 ,
τ= 12(θ02−3θ∗20 ).
(3.10)
The rest of the non-zero components ofR,ρandρ∗ are determined by (3.10) and the propertiesRijkl=Rklij, Rijkl =−Rjikl=−Rijlk, ρjk=ρkjandρ∗jk=ρ∗kj.
Taking into account (2.1), (2.2), (3.1), (3.2) and (3.9), we have
k∇ϕk2=−2k∇ηk2=−2k∇ξk2=θ02−θ∗20 . (3.11) Proposition 3.2. The following characteristics are valid for(G, ϕ, ξ, η, g):
1. The ϕB-connection D˙ (respectively, ϕ-canonical connection D) is zero in the¨ basis{e0, e1, e2}.
2. The manifold is an isotropic-F0-manifold if and only if the conditionθ0 =±θ∗0 is valid.
3. The manifold is flat if and only if it belongs to F0.
4. The manifold is Ricci-flat (respectively,∗-Ricci-flat) if and only if it is flat.
5. The manifold is scalar flat if and only if the condition θ0=±√
3θ∗0 holds.
6. The manifold is ∗-scalar flat if and only if it belongs to eitherF4 orF5. Proof. Using (2.4), (3.1) and (3.9), we get immediately the assertion (1). Equation (3.11) implies the assertion (2). The assertions (5), (3) and (6) hold, according to (3.10). On the three-dimensional almost contact B-metric manifold with the basis {e0, e1, e2}, bearing in mind the definitions of the Ricci tensorρand theρ∗, we have
ρjk=R0jk0+R1jk1−R2jk2 ρ∗jk=R1kj2+R2jk1.
By virtue of the latter equalities, we get the assertion (4).
According to (3.6) and (3.10) we establish the truthfulness of the following
Proposition 3.3. The following properties are equivalent for the studied manifold (G, ϕ, ξ, η, g):
1. it belongs toF4; 2. it isη-Einstein;
3. the Lee formθ∗ vanishes.
Using again (3.6) and (3.10)we establish the truthfulness of the following
Proposition 3.4. The following properties are equivalent for the studied manifold (G, ϕ, ξ, η, g):
1. it belongs toF5; 2. it is Einstein;
3. it is a hyperbolic space form with k=−14θ0∗2; 4. the Lee formθ vanishes.
References
[1] Bianchi, L., Sugli spazi a tre dimensioni che ammettono un gruppo continuo di movi- menti, Memorie di Matematica e di Fisica della Societa Italiana delle Scienze, Serie Terza,11(1898), 267-352.
[2] Bianchi, L.,On the three-dimensional spaces which admit a continuous group of motions, Gen. Relativity Gravitation,33(2001), 2171-2253.
[3] Ganchev, G., Borisov A.,Note on the almost complex manifolds with a Norden metric, C.R. Acad. Bulgare Sci.,39(1986), 31-34.
[4] Ganchev, G., Gribachev, K., Mihova, V.,B-connections and their conformal invariants on conformally Kaehler manifolds with B-metric, Publ. Inst. Math., Beograd (N.S.), 42(1987), no. 56, 107-121.
[5] Ganchev, G., Mihova, V., Gribachev, K.,Almost contact manifolds with B-metric, Math.
Balkanica (N.S.),7(1993), 261-276.
[6] Gribachev, K., Mekerov, D., Djelepov, G.,Generalized B-manifolds, C.R. Acad. Bulgare Sci.,38(1985), 299-302.
[7] Ivanov, S., Manev, H., Manev, M.,Sasaki-like almost contact complex Riemannian man- ifolds, J. Geom. Phys.,107(2016), 136-148.
[8] Manev, H., On the structure tensors of almost contact B-metric manifolds, Filomat, 29(2015), no. 3, 427-436.
[9] Manev, H., Almost contact B-metric structures and the Bianchi classification of the three-dimensional Lie algebras, God. Sofii. Univ. ”Sv. Kliment Okhridski.” Fac. Mat.
Inform.,102(2015), 133-144.
[10] Manev, M.,Properties of curvature tensors on almost contact manifolds withB-metric, Proc. of Jubilee Sci. Session of Vasil Levski Higher Mil. School, Veliko Tarnovo,27(1993), 221-227.
[11] Manev, M.,Contactly conformal transformations of general type of almost contact man- ifolds withB-metric, Applications, Math. Balkanica (N.S.),11(1997), 347-357.
[12] Manev, M., Natural connection with totally skew-symmetric torsion on almost contact manifolds with B-metric, Int. J. Geom. Methods Mod. Phys.,9(2012), no. 5, 20 pages.
[13] Manev, M., Curvature properties on some classes of almost contact manifolds with B- metric, C. R. Acad. Bulgare Sci.,65(2012), no. 3, 283-290.
[14] Manev, M., Gribachev, K.,Contactlly conformal transformations of almost contact man- ifolds withB-metric, Serdica Math. J.,19(1993), 287-299.
[15] Manev, M., Gribachev, K.,Conformally invariant tensors on almost contact manifolds withB-metric, Serdica Math. J.,20(1994), 133-147.
[16] Manev, M., Ivanova, M.,A natural connection on some classes of almost contact mani- folds withB-metric, C.R. Acad. Bulgare Sci.,65(2012), no. 4, 429-436.
[17] Manev, M., Ivanova, M., Canonical-type connection on almost contact manifolds with B-metric, Ann. Global Anal. Geom.,43(2013), no. 4, 397-408.
[18] Manev, M., Ivanova, M., A classification of the torsions on almost contact manifolds with B-metric, Cent. Eur. J. Math.,12(2014), no. 10, 1416-1432.
[19] Manev, H., Mekerov, D., Lie groups as 3-dimentional almost B-metric manifolds, J.
Geom.,106(2015), no. 2, 229-242.
[20] Nakova, G., Gribachev, K.Submanifolds of some almost contact manifolds with B-metric with codimension two, Math. Balkanica (N.S.),12(1998), no. 1-2, 93-108.
Miroslava Ivanova
Trakia University, Department of Informatics and Mathematics, 6000 Stara Zagora, Bulgaria e-mail:mivanova [email protected]
Lilko Dospatliev
Trakia University, Department of Pharmacology, Animal Physiology and Physiological Chemistry, 6000 Stara Zagora, Bulgaria
e-mail:[email protected]