arxiv:1501.0182v1 [math.dg] 1 Jan 2015 Some curvatures of Riemannian manifolds with circulant structures Iva Dokuzova January 26, 2015 Abstract We consider a four-dimensional Riemannian manifold equipped with two circulant structures a metric g and a structure q, which is an isometry with respect to g and the forth power of q is the identity. We discuss some curvature properties of this manifold. Mathematics Subject Classification 2010: 5C05, 5B20 Keywords: Riemannian metric, circulant matrix, curvature properties Introduction The additional structures play an important role in the geometry of the differentiable manifolds. Often the structure satisfies an equation of second, third or fourth power, for examle [2], [], [4], [7], [9], [10]. On the other hand, in our opinion the application of the circulant structures in the geometry is interesting, for examle [8]. In this paper we continue our investigation on some Riemannian manifolds with two circulant structures which are considered in [5] and [6]. In Sect. 1 we introduce on a four-dimensional differentiable manifold M a Riemannian metric g whose matrix in local coordinates is a special circulant matrix. Furthermore, we consider an additional structure q on M with q 4 = id such that its matrix in local coordinates is also circulant. Thus, the structure q is an isometry with respect to g. We note that there exists a local coordinate system, where the matrices of the components of these structures are circulant [1]. We denote by M,g,q the manifold M equipped with the metric g and the structure q. In Sect. 2 we establish relations between the sectional curvatures of some special 2-planes in the tangent space of the manifold M,g,q. 1
1 Preliminaries Let M be a four-dimensional manifold with a Riemannian metric g. Let the matrix of the local components of the metric g at an arbitrary point px 1,X 2,X,X 4 M be a circulant matrix of the following form: A B C B g ij = B A B C C B A B, 1 B C B A where A, B and C are smooth functions of X 1,X 2,X,X 4. We will suppose that A > C > B > 0. 2 Then the conditions to be a positive definite metric g are satisfied [6]. We denote by M,g the manifold M equipped with the Riemannian metric g defined by 1 with conditions 2. Let q be an endomorphism in the tangent space T p M of the manifold M,g. We suppose the local coordinates of q are given by the circulant matrix 0 1 0 0 Then q satisfies q.j i = 0 0 1 0 0 0 0 1. 1 0 0 0 q 4 = id, q 2 ±id. 4 We denote by M,g,q the manifold M,g equipped with the structure q defined by. Further, x,y,z,u will stand for arbitrary elements of the algebra on the smooth vector fields on M or vectors in the tangent space T p M. The Einstein summation convention is used, the range of the summation indices being always {1,2,,4}. From 1 and we get immediately the following Proposition 1.1. [6] The structure q of the manifold M,g,q is an isometry with respect to the metric g, i.e. gqx,qy = gx,y. 5 Definition 1.2. [6] A basis of type {x,qx,q 2 x,q x} of T p M is called a q-basis. In this case we say that the vector x induces a q-basis of T p M. 2
If x = x 1,x 2,x,x 4 T p M, then qx = x 2,x,x 4,x 1, q 2 x = x,x 4,x 1,x 2, q x = x 4,x 1,x 2,x. Obviously, we have the following Proposition 1.. [6] A vector x = x 1,x 2,x,x 4 induces a q-basis of T p M if and only if x 1 x 2 +x 2 x 4 2 x 1 +x 2 x 2 +x 4 2 0. 6 Theorem 1.4. [6] If x = x 1,x 2,x,x 4 induces a q-basis of T p M, then for the angles x,qx, x,q 2 x, qx,q 2 x, qx,q x, x,q x and q 2 x,q x we have x,qx = x,q 2 x = qx,q 2 x = x,q x, x,q 2 x = qx,q x. In our next considerations we use an orthogonal q-basis of T p M. In [6] it was proved the existence of such bases. Theorem 1.5. [6] Let x induce a q-basis in T p M of a manifold M,g,q. Then there exists an orthogonal q-basis {x,qx,q 2 x,q x} in T p M. 2 Some curvature properties of M, g, q Let be the Riemannian connection of the metric g on M, g, q. The curvature tensor R of of type 0,4 is defined as follows [11] Rx,y,z,u = grx,yz,u. If {x,y} is a non-degenerate 2-plane spanned by vectors x,y T p M, then its sectional curvature is µx,y = Rx,y,x,y gx,xgy,y g 2 x,y. 7 In this section we obtain some curvature properties of a manifold M,g,q on which the following identity is valid Rqx,qy,qz,qu = Rx,y,z,u. 8 Theorem 2.1. Let M,g,q be a manifold with property 8. If a vector u induces a q-basis of T p M and {x,qx,q 2 x,q x} is an orthonormal q-basis of T p M, then µu,q 2 u µx,q 2 x = 2cosθ 1 cos 2 θ 2Rx,qx,qx,q 2 x +cosθrqx,q 2 x,q x,x, 9
µu,qu µx,qx = cosϕ 1 cos 2 2Rx,qx,q 2 x,x ϕ +2cosϕRx,qx,qx,q 2 x cosϕrqx,q 2 x,q x,x 2Rqx,q 2 x,q 2 x,x, 10 where θ = u,q 2 u, ϕ = u,qu. Proof. From 8 we find Rq 2 x,q 2 y,q 2 z,q 2 u = Rqx,qy,qz,qu = Rx,y,z,u. 11 In 11 we substitute qx for y, x for z and qx for u. Comparing the obtained results, we get Rx,q x,x,q x = Rx,qx,x,qx. 12 Analogously in 11 we substitute 1 qx for y, q 2 x for z and x for u, then Rx,qx,q 2 x,x = Rq 2 x,q x,x,q 2 x = Rq x,x,qx,q x, 1 2 q 2 x for y, x for z and q 2 x for u, then Rqx,q x,qx,q x = Rx,q 2 x,x,q 2 x, 14 qx for y, qx for z and q 2 x for u, then Rx,qx,qx,q 2 x = Rq 2 x,q x,q x,x = Rq x,x,x,qx, 15 4 qx for y, q 2 x for z and q x for u, then Rqx,q 2 x,q x,x = Rx,qx,q 2 x,q x, 16 5 qx for y, qx for z and q x for u, then Rqx,q 2 x,q 2 x,x = Rx,qx,qx,q x = Rq x,x,x,q 2 x, 17 6 q 2 x for y, qx for z and q x for u, then Rx,q 2 x,qx,q x = 0. 18 Let u = αx+βqx+γq 2 x+δq x, where α,β,γ,δ R. Then qu = δx + αqx + βq 2 x + γq x, q 2 u = γx + δqx + αq 2 x + βq x and 4
q u = βx+γqx+δq 2 x+αq x. Using the linear properties of the curvature tensor R and having in mind 11 18, we obtain Ru,qu,u,qu = α 2 βδ 2 +δ 2 αγ 2 +β 2 αγ 2 +γ 2 βδ 2 R 1 +2 αβ γδγ 2 α 2 +βγ δαδ 2 β 2 R 2 + αβ γδ 2 +βγ δα 2 R +2α 2 +γ 2 2βδδ 2 +β 2 2αγR 4 +2 α 2 βδγ 2 βδ+β 2 αγδ 2 αγ R 5 +2 αβ γδδ 2 β 2 +βγ δαα 2 γ 2 R 6, Ru,q 2 u,u,q 2 u = 2 αδ βγ 2 +αβ γδ 2 R 1 +4 αδ βγγ 2 α 2 +αβ δγδ 2 β 2 R 2 + α 2 γ 2 2 +β 2 δ 2 2 R 2 αβ γδ 2 +βγ αδ 2 R 5 +4 β 2 δ 2 αδ βγ+αβ γδγ 2 α 2 R 6, where R 1 = Rx,qx,x,qx, R 2 = Rx,qx,q 2 x,x, R = Rx,q 2 x,x,q 2 x, R 4 = Rx,qx,qx,q 2 x, R 5 = Rqx,q 2 x,q x,x and R 6 = Rqx,q 2 x,q 2 x,x. Then Ru,qu,u,qu+ 1 2 Ru,q2 u,u,q 2 u = K 1 R 1 +K 2 R 2 +K R +K 4 R 4 +K 5 R 5 +K 2 R 6, 19 5
where K 1 = α 2 βδ 2 +δ 2 αγ 2 +β 2 αγ 2 +γ 2 βδ 2 +αδ βγ 2 +αβ γδ 2, K 2 = 2 αβ γδγ 2 α 2 +βγ δαδ 2 β 2 +αδ βγγ 2 α 2 +αβ δγδ 2 β 2, K = αβ γδ 2 +βγ δα 2 + 1 α 2 γ 2 2 +β 2 δ 2 2, 2 K 4 = 2α 2 +γ 2 2βδδ 2 +β 2 2αγ, K 5 = 2 α 2 βδγ 2 βδ+β 2 αγδ 2 αγ αβ γδ 2 βγ αδ 2. Since the q-basis {x,qx,q 2 x,q x} is orthonormal we have gu,u = gqu,qu = α 2 +β 2 +γ 2 +δ 2, gu,qu = αδ +αβ +βγ +δγ, gu,qu = 2αγ +δβ. Due to 5 and 7 we get µu,qu = Ru,qu,u,qu g 2 u,u g 2 u,qu, µu,q2 u = Ru,q2 u,u,q 2 u g 2 u,u g 2 u,q 2 u. We can suppose that gu,u = 1. Then we obtain and µu,qu = Ru,qu,u,qu 1 cos 2 ϕ, µu,q2 u = Ru,q2 u,u,q 2 u 1 cos 2 θ. 20 α 2 +β 2 +γ 2 +δ 2 = 1, αδ +αβ +βγ +δγ = cosϕ, 2αγ +δβ = cosθ. The latter three equations imply K 1 = 1 cos 2 ϕ, K 2 = 2cosϕ1 cosθ, K = 1 2 1 cos2 θ, K 4 = 2 cosθ+cos 2 ϕ, K 5 = cos 2 θ cos 2 ϕ. 6
Then, using 19 and 20 we obtain 1 cos 2 ϕµu,qu+ 1 2 1 cos2 θµu,q 2 u = 1 cos 2 ϕr 1 2cosϕ1 cosθr 2 + 1 2 1 cos2 θr +2 cosθ+cos 2 ϕr 4 21 +cos 2 θ cos 2 ϕr 5 2cosϕ1 cosθr 6. First we substitute ϕ = π 2 in 21 and we get 9. Then we substitute θ = π 2 in 21 and we have 10. Theorem 2.2. Let M,g,q be a manifold with property 8. If a vector u induces a q-basis of T p M and {x,qx,q 2 x,q x} is an orthonormal q-basis of T p M, then for x,u,y,z T p M with y,q 2 y = π, z,q2 z = 2π the following equality is valid where θ = u,q 2 u. µu,q 2 u = 1 1 cos 2 1 4cos 2 θµx,q 2 x θ + 4 cosθ+2cos2 θµy,q 2 y + 4 2cos2 θ cosθµz,q 2 z, 22 Proof. In 9 we substitute first y for u and then z for u. Because of the conditions y,q 2 y = π, z,q2 z = 2π we get the system µy,q 2 y µx,q 2 x = 2R 5 8R 4, µz,q 2 z µx,q 2 x = 2R 5 +8R 4. Taking into account the last result and 9, we obtain 22. Theorem 2.. Let M,g,q be a manifold with property 8. If a vector u induces a q-basis of T p M and {x,qx,q 2 x,q x} is an orthonormal q-basis of T p M, then for x,u,y,z T p M with y,qy = π, z,qz = 2π the following equality is valid 7
µu,qu = 1 1 cos 2 1 4cos 2 ϕµx,q 2 x ϕ + 4 cosϕ+2cos2 ϕµy,qy + 4 2cos2 ϕ cosϕµz,qz, 2 where ϕ = u,qu. Proof. In 10 first we substitute y for u and then z for u. Because of the conditions y,qy = π, z,qz = 2π we get the system µy,qy µx,qx = R 2 + 1 4 2 R 4 1 4 R 5 R 6, µz,qz µx,qx = R 2 + 1 4 2 R 4 1 4 R 5 +R 6. Taking into account the last result and 10, we have 2. InthissectionweobtainsomecurvaturepropertiesofamanifoldM,g,q on which the following identity is valid Rx,y,qz,qu = Rx,y,z,u. 24 Theorem 2.4. Let M,g,q be a manifold with property 24. If a vector u induces a q-basis of T p M and {x,qx,q 2 x,q x} is an orthonormal q-basis of T p M, then the following equalities are valid µu,q 2 u = 0, µu,qu = 1 cosθ2 1 cos 2 µx,qx 25 ϕ where θ = u,q 2 u and ϕ = u,qu. Proof. From 24 we obtain Rx,qx,x,qx = Rx,qx,qx,q 2 x = Rqx,q 2 x,q x,x, Rx,qx,q 2 x,x = Rx,q 2 x,x,q 2 x = Rqx,q 2 x,q 2 x,x = 0 for arbitrary vector field x in T p M. Then Ru,q 2 u,u,q 2 u = 0 and from 21 we get 25. We note that 25 generates Proposition 4.2 from [6]. 8
References [1] Davis, P. R.: Circulant matrices. John Wiley, New York 1979 [2] Borisov, A., Ganchev, G.: Curvature properties of Kaehlerian manifolds with B-metric. Math. Educ. Math., Proc of 14th Spring Conf. of UBM, Sunny Beach, 220 226 1985 [] Gribachev, K., Mekerov, D., Djelepov, G.: On the geometry of almost B-manifolds Compt. Rend. Acad. Bulg. Sci. 8, 56 566 1985 [4] Gribachev, K., Djelepov, G.: On the geometry of the normal generalized B-manifolds. Plovdiv Univ. Sci. Works - Math. 2, 157 168 1985 [5] Dzhelepov, G., Dokuzova, I., Razpopov, D.: On a threedimensional Riemannian manifold with an additional structure. Plovdiv Univ. Sci. Works - Math. 8, 17 27 2011 [6] Razpopov, D.: Four-dimensional Riemannian manifolds with two circulant structures. arxiv [7] Reyes, E., Montesinos, A., Gadea, P.M.: Connections making parallel a metric J 4 = 1-structure. An. Sti. Univ. Al. I. Cuza 28, 49 54 1982 [8] Stanilov, G., Filipova, L.: About the circulate geometry, In: Proceedings of XVI Geometrical Seminar, Vrnjachka Banja, 96 102 2010 [9] Yano, K., Ishihara, S.: Structure defined by f satisfying f +f = 0. Proc.US-Japan Seminar in Differential Geometry., Kyoto, 15 166 1965 [10] Yano, K.: On a structure defined by a tensor field of type 1,1 satisfying f +f = 0. Tensor, 99 109 196 [11] Yano, K.: Differential geometry on complex and almost complex spaces. Pure and Applied Math. 49, New York, Pergamont Press Book, 1965 Iva Dokuzova Department of Geometry FMI, University of Plovdiv Plovdiv, Bulgaria dokuzova@uni-plovdiv.bg 9