GEOM Geometry 2314-4238 2314-422X Hindawi Publishing Corporation 292691 10.1155/2013/292691 292691 Research Article Generalized Projectively Symmetric Spaces Latifi Dariush 1 Razavi Asadollah 2 Hernandez Salvador 1 Department of Mathematics University of Mohaghegh Ardabili P.O. Box 56199-11367 Ardabil Iran uma.ac.ir 2 Faculty of Mathematics and Computer Science Amirkabir University of Technology 424 Hafez Avenue P.O. Box 15875-4413, Tehran Iran aut.ac.ir 2013 4 2 2013 2013 30 10 2012 01 01 2013 2013 Copyright © 2013 Dariush Latifi and Asadollah Razavi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We study generalized projectively symmetric spaces. We first study some geometric properties of projectively symmetric spaces and prove that any such space is projectively homogeneous and under certain conditions the projective curvature tensor vanishes. Then we prove that given any regular projective s-space (M, ), there exists a projectively related connection ¯, such that (M, ¯) is an affine s-manifold.

1. Introduction

Affine and Riemannian s-manifolds were first defined in  following the introduction of generalized Riemannian symmetric spaces in . They form a more general class than the symmetric spaces of E. Cartan. More details about generalized symmetric spaces can be found in the monograph . Let M be a connected manifold with an affine connection , and let A(M,) be the Lie transformation group of all affine transformation of M. An affine transformation sx will be called an affine symmetry at a point x if x is an isolated fixed point of sx. An affine manifold (M,) will be called an affine s-manifold if there is a differentiable mapping s:MA(M,), such that for each xM, sx is an affine symmetry at x.

In  Podestà introduced the notion of a projectively symmetric space in the following sense. Let (M,) be a connected C manifold with an affine torsion free connection on its tangent bundle; (M,) is said to be projectively symmetric if for every point x of M there is an involutive projective transformation sx of M fixing x and whose differential at x is -Id. The assignment of a symmetry sx at each point x of M can be viewed as a map s:MP(M,), and P(M,) can be topologised, so that it is a Lie transformation group. In the above definition, however, no further assumption on s is made; even continuity is not assumed.

In this paper we define and state prerequisite results on projective structures and define projective symmetric spaces due toPodestà. Then we generalize them to define projective s-manifolds as manifolds together with more general symmetries and consider the cases where they are essential or inessential. A projective s-manifold is called inessential if it is projectively equivalent to an affine s-manifold and essential otherwise. We prove that these spaces are naturally homogeneous, and moreover under certain conditions the projective curvature tensor vanishes. Later we define regular projective s-manifolds and prove that they are inessential.

2. Preliminaries

Let M be a connected real C manifold whose tangent bundle TM is endowed with an affine torsion free connection . We recall that a diffeomorphism s of M is said to be projective transformation if s maps geodesics into geodesics when the parametrization is disregarded ; equivalently s is projective if the pull back s* of the connection is projectively related to , that is, if there exists a global 1-form π on M, such that (1)s*XY=XY+π(X)Y+π(Y)XX,Yχ(M). If the form π vanishes identically on M, then s is said to be an affine transformation.

Definition 1.

( M , ) is said to be projectively symmetric if for every point x in M there exists a projective transformation sx with the following properties:

sx(x)=x and x is an isolated fixed point of sx.

sx is involutive.

It is easy to see that conditions (a) and (b) imply (dsx)x=-Id. Moreover we recall that a projective transformation is determined if we fix its value at a point, its differential, and its second jet at this point , hence a symmetry at x in M is not uniquely determined in general by the condition (a) and (b).

Affine symmetric spaces are affine homogeneous, but in general projectively symmetric spaces are not projective homogeneous; for more detail and examples see [4, 7], but if following Ledger and Obata define the case of a differentiable distribution of projective symmetries in an affine manifold, then this happens.

Let (M,g) be a connected Riemannian manifold. An isometry sx of (M,g) for which xM is an isolated fixed point will be called a Riemannian symmetry of M at x. Clearly, if sx is a symmetry of (M,g) at x, then the tangent map Sx=(dsx)x is an orthogonal transformation of TxM having no fixed vectors (with the exception of 0). An s-structure on (M,g) is a family {sxxM} of symmetries of (M,g).

A Riemannian s-manifold is a Riemannian manifold (M,g) together with a map s:MI(M,g), such that for each xM the image sx is a Riemannian symmetry at x.

For any affine manifold (M,) let A(M,) denote the Lie group of all affine transformation of (M,). An affine transformation sxA(M,) for which xM is an isolated fixed point will be called an affine symmetry at x. An affine s-manifold is an affine manifold (M,) together with a differentiable mapping s:MA(M,), such that for each xM, the image sx is an affine symmetry at x.

Let M be an affine s-manifold. Since s:MA(M,) is assumed to be differentiable, the tensor field S of type (1,1) defined by Sx=(dsx)x for each xM is differentiable. The tensor field S is defined similarly for a Riemannian s-manifold, although it may not be smooth. For either affine or Riemannian s-manifolds we call S the symmetry tensor field.

Following  an s-structure {sx} is called regular if for every pair of points x,yM as follows: (2)sxsy=szsx,where  z=sx(y).

3. Projective s-Space

Let M be a connected manifold with an affine connection , and let P(M,) bethe group of all projective transformations of M.

Definition 2.

A projective transformation sx will be called a projective symmetry or simply a symmetry at the point x, if x is an isolated fixed point of sx and (dsx)x=S does not leave any nonzero vector fixed.

Definition 3.

A connected affine manifold (M,) will be called a projective s-manifold or simply ps-manifold if for each xM there is a projective symmetry sx, such that the mapping s:MP(M,), xsx is smooth.

A symmetry sx will be called a symmetry of order k at x, if there exist a positive integer k, such that sxk=Id, and M will be called ps-manifold of order k, if k is the least positive number such that each symmetry is of order k. Evidently every ps-manifold of order 2 is a projective symmetric space.

Lemma 4.

Let G be a topological transformation group acting on a connected topological space M, if for each point x in M, the G-orbit of x contains a neighborhood of x, then G is transitive on M.

Proof.

Since G is transitive on each orbit, for each x the G-orbit G(x) of x is open by our assumption. The complement C(x) of G(x) in M is also open, being a union of orbits. Thus G(x) is open and closed. It is nonempty and therefore coincides with the connected space M, thus G is transitive.

Theorem 5.

If M is a ps-manifold, then P(M,) is transitive on M.

Proof.

We fix a point x0M and consider the C map h:MM given by h(x)=sx(x0); since sx(x)=x for every x in M, the differential (dh)x0 of h at the point x0 is given by (dh)x0=I-Sx0, where Sx0 is the differential of sx0 at x0. (dh)x0 is nonsingular because no eigenvalue of Sx0 is equal to 1. Hence h is a diffeomorphism on some neighborhood W of x0 in M, and h(W) is a neighborhood of x0 contained in the P(M,)-orbit P(M,)x0 of x0, therefore from the above lemma P(M,) is transitive.

Definition 6.

Let M be a ps-manifold;since s:MP(M,) is assumed to be differentiable, the tensor field S of type (1,1) defined by Sx=(dsx)x is differentiable, we call S the symmetry tensor field.

Lemma 7.

If sx is a projective symmetry of (M,) then there exists a connection - projectively equivalent with which is sx-invariant.

Proof.

Since sx is a projective symmetry of (M,) then there is a 1-form α on M, such that (3)(sx*)XY=XY+α(X)Y+α(Y)X. We are looking for a connection - with the following properties: (4)-XY=XY+π(X)Y+π(Y)X. As - should be sx-invariant we need (5)(sx*-)XY=-XY that is, sx is an affine transformation of (M,-). We have (6)(sx*-)XY=sx*-1-sx*Xsx*Y=sx*-1(sx*Xsx*Y+π(sx*X)sx*Y+π(sx*Y)sx*X)=(sx*)XY+π(sx*X)Y+π(sx*Y)X. It follows from (3) (7)(sx*-)XY=XY+α(X)Y+α(Y)X+π(sx*X)Y+π(sx*Y)X. From (5) we have (8)XY+α(X)Y+α(Y)X+π(sx*X)Y+π(sx*Y)X=XY+π(X)Y+π(Y)X, thus it is enough to have for every vector field Z as follows: (9)α(Z)+π(sx*Z)=π(Z) which is equivalent to (10)π(Z-sx*Z)=α(Z) or simply (11)π(I-sx*)Z=α(Z) since sx is symmetry, then I-sx is invertible; hence we obtain (12)π=α(I-sx*)-1 thus if we choose π as (12), then (4) and (5) are true, and - is the required connection.

So it would be convenient to introduce the following definition for connection - and 1-form π=α(I-sx*)-1.

Definition 8.

Let (M,) be a ps-manifold, and let sx be the projective symmetry at the point x. Then we call the associate connection - the fundamental connection of sx. Also the 1-form (13)π=α(I-sx*)-1 will be called the fundamental 1-form of sx, where α is the 1-form on M, such that (14)s*XY=XY+π(X)Y+π(Y)XX,Yχ(M).

Definition 9.

The projective curvature tensor of (M,) is defined as follows [5, 8]: (15)Wjkli=Πjkli-1n-1(δkiΠjl-δliΠjk), where (16)Πjki=Γjki-2n+1δ(jiΓk)ll,Πjkli=kΠjli-lΠjki+ΠjlhΠhki-ΠjkhΠhli,Πjk=Πjhkh. The projective curvature tensor W is invariant with respect to projective transformations [5, 8].

Theorem 10.

In a ps-manifold (M,), let sx be a symmetry, and let - be the fundamental connection of sx, if -S=0; that is, ((XS)(Y)=π(Y)S(X)-π(S(Y))X), then (-W)x=0.

Proof.

Let s:MP(M,) be the ps-structure and -S=0. Let X,Y,ZTxM be tangent vectors, and let ωTx*M be a covector at xM. By parallel translation along each geodesics through x, X,Y,Z, and ω can be extended to local vector fields X~,Y~,Z~, and ω~ with vanishing covariant derivative with respect to - at x. Because S is parallel, the local vector fields SX~,SY~,SZ~, and S*ω~ have also vanishing covariant derivative at x. (Here S* denotes the transpose map to S.) As W is invariant with respect to the projective transformation sp,pM, we have (17)W(S*ω~,X~,Y~,Z~)=W(ω~,SX~,SY~,SZ~). Now we show that -W(S*ω~,X~,Y~,Z~,U) and -W(ω~,SX~,SY~,SZ~,SU) are equal at x. These are equal if and only if (S*ω)(-UW(X~,Y~,Z~)) and ω(-SUW(SX~,SY~,SZ~)) are equal, which follows from the assumption on -. That is (18)-W(Sx*ω,X,Y,Z,U)=-W(ω,SxX,SxY,SxZ,SxU) or (19)-W(ω,X,Y,Z,U)=-W(S*-1ω,SX,SY,SZ,SU). Differentiating covariantly (17) with respect to - in the direction of SU at x and using (19) we get (20)-W(ω,X,Y,Z,SU)=-W(ω,X,Y,Z,U), thus (21)(-W)x(ω,X,Y,Z,(I-S)U)=0, for all X,Y,Z,UTxM and ωTx*M, and because (I-S)x is a nonsingular transformation we obtain (22)(-W)x=0.

Theorem 11.

Let (M,) be a ps-manifold of dimension n>2; if there exist two different projective symmetries σ1,σ2 at a point q of M, such that σ1*q=σ2*q and -S=0, where - is the fundamental connection corresponding to σ1, then the projective curvature tensor W; vanishes that is, M is projectively flat.

Proof.

By a similar method used in Proposition  1.1 of  the proof follows from Lemma 7 and Theorem 10.

Corollary 12.

If (M,) is a ps-manifold of order 2, and two different projective symmetry σ1,σ2 can be defined at a point q, then M is projectively flat.

Proof.

It is evident from the fact that σ1*q=σ2*q.

Proposition 13.

Let (M,) be ps-manifold, such that at every point x of M the projective symmetry is uniquely determined. Then the linear isotropy representation ρ:P(M,)xGL(n,R) is faithful for every xM.

Proof.

Since sx and sx-1 both are projective symmetry at x, then we have sx=sx-1; that is, sx2=Id, thus (M,) is a ps-manifold of order 2. Now, our assertion follows from Theorem  1.1 of .

4. Regular Projective s-Space Definition 14.

A ps-manifold (M,) is called regular ps-manifold or simply rps-manifold if for all p,qM,   spsq=szsp, where z=sp(q).

Lemma 15.

Let (M,) be a regular ps-manifold, then the (1,1) tensor field S is invariant under all symmetries sx; that is (23)dsx(SX)=S(dsxX), for all Xχ(M).

Proof.

Since M is regular ps-manifold, then for all XTyM we have d(sxsy)X=d(szsx)X and so dsx(SX)=Sz(dsxX). Thus S is sx invariant for all sx.

Lemma 16.

Let (M,) be a connected ps-manifold, such that at every point x of M the projective symmetry is uniquely determined, then (M,) is rps-manifold.

Proof.

Suppose p,qM and z=sp(q); then from the uniqueness of the projective symmetry, we have spsq=szsp, so (M,) is regular ps-manifold.

Remark 17.

A general question is to find condition under which, given a ps-manifold (M,), there exists a projectively related connection -, such that (M,-) is an affine s-manifold; we shall call such spaces inessential ps-manifold and essential otherwise.

Definition 18.

A ps-manifold (M,) is called inessential ps-manifold if there exists a projectively related connection - such that (M,-) is an affine s-manifold.

Let us denote by Φh the 1-form corresponding to an element h of P(M,). We want to see when (M,) is inessential, in order to show that (M,) is inessential, we must find a connection - which is projectively related to and is invariant under all symmetries. Let sq be a symmetry at q, we must find a one-form π, such that (24)-XY=XY+π(X)Y+π(Y)X. As sq is a projective transformation for (M,) and leaves the connection - invariant, we find that (25)Φsq(X)+π(sq*X)=π(X)Xχ(M) and hence at q we have (26)πq(I-(sq)*q)X=Φsq(X). So we define a 1-form π through the following formula: (27)πx(X)=Φsxx(I-(sx)*x)-1XXTxM.

Theorem 19.

Let (M,) be an rps-manifold, then (M,) is inessential.

Proof.

We define a torsion free affine connection - projectively related to through the fundamental 1-form of sx, π as follows: (28)πx(X)=Φsxx(I-(sx)*x)-1XXTxM and prove that the connection - is invariant under all the symmetries of M.

Let sq be a symmetry at q of M, the condition that - is invariant under sq is equivalent to (29)π(X)-π(sq*X)=Φsq(X). We verify (29) at a point p of M, we have to prove that by (28) (30)Φspp(I-(sp)*p)-1X-πsq(p)(sq*pX)=Φsqp(X) so if we put z=sq(p), (30) reduces to (31)Φspp(I-(sp)*p)-1X-Φszz(I-(sz)*z)-1(sq*pX)=Φsqp(X). But since sqsp=szsq, we have (32)Φsp(Y)+Φsq(sp*Y)=Φsq(Y)+Φsz(sq*Y). Now evaluate (32) at p, and let Y=(I-(sp)*p)-1X; then as sqsp=szsq, we have (31), and we are done.

Remark 20.

The authors have studied Finsler homogeneous and symmetric spaces ; recently Habibi and the second author generalized them to Finsler s-manifolds and weakly Finsler symmetric spaces [10, 11]. Therefore these concepts can be mixed and find more generalizations which will be the content of other papers.

Acknowledgment

The author would like to thank the anonymous referees for their suggestions and comments, which helped in improving the paper.

Ledger A. J. Obata M. Affine and Riemannian s-manifolds Journal of Differential Geometry 1968 2 451 459 MR0244893 Ledger A. J. Espaces de Riemann symétriques généralisés Comptes Rendus de l'Académie des Sciences 1967 264 A947 A948 MR0221435 ZBL0147.40601 Kowalski O. Generalized Symmetric Spaces 1980 805 Berlin, Germany Springer Lecture Notes in Mathematics MR579184 Podestà F. Projectively symmetric spaces Annali di Matematica Pura ed Applicata. Serie Quarta 1989 154 371 383 10.1007/BF01790357 MR1043080 ZBL0697.53048 Aminova A. V. Projective transformations of pseudo-Riemannian manifolds Journal of Mathematical Sciences 2003 113 3 367 470 10.1023/A:1021041802041 MR1965077 ZBL1043.53054 Kobayashi S. Transformation Groups in Differential Geometry 1980 Berlin, Germany Springer MR1336823 Podestà F. A class of symmetric spaces Bulletin de la Société Mathématique de France 1989 117 3 343 360 MR1020111 ZBL0697.53047 Eisenhart L. P. Non-Riemannian Geometry 1927 8 American Mathematical Society American Mathematical Society Colloquium Publications MR1466961 Latifi D. Razavi A. On homogeneous Finsler spaces Reports on Mathematical Physics 2006 57 3 357 366 10.1016/S0034-4877(06)80026-1 MR2252928 ZBL1137.53339 Habibi P. Razavi A. On generalized symmetric Finsler spaces Geometriae Dedicata 2010 149 121 127 10.1007/s10711-010-9471-1 MR2737683 ZBL1211.53090 Habibi P. Razavi A. On weakly symmetric Finsler spaces Journal of Geometry and Physics 2010 60 4 570 573 10.1016/j.geomphys.2009.12.005 MR2602370 ZBL1186.53087