-
Hindawi Publishing CorporationGeometryVolume 2013, Article ID
292691, 5 pageshttp://dx.doi.org/10.1155/2013/292691
Research ArticleGeneralized Projectively Symmetric Spaces
Dariush Latifi1 and Asadollah Razavi2
1 Department of Mathematics, University of Mohaghegh Ardabili,
P.O. Box 56199-11367, Ardabil, Iran2 Faculty of Mathematics and
Computer Science, Amirkabir University of Technology, 424 Hafez
Avenue,P.O. Box 15875-4413, Tehran, Iran
Correspondence should be addressed to Dariush Latifi;
[email protected]
Received 30 October 2012; Accepted 1 January 2013
Academic Editor: Salvador Hernandez
Copyright © 2013 D. Latifi and A. Razavi. This is an open access
article distributed under the Creative Commons AttributionLicense,
which permits unrestricted use, distribution, and reproduction in
any medium, provided the original work is properlycited.
We study generalized projectively symmetric spaces. We first
study some geometric properties of projectively symmetric spacesand
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 (𝑀, ∇), there
exists a projectively related connection ∇, such that (𝑀, ∇) isan
affine s-manifold.
1. Introduction
Affine and Riemannian s-manifolds were first defined in[1]
following the introduction of generalized Riemanniansymmetric
spaces in [2]. They form a more general classthan the symmetric
spaces of E. Cartan. More details aboutgeneralized symmetric spaces
can be found in themonograph[3]. Let𝑀 be a connectedmanifold with
an affine connection∇, and let 𝐴(𝑀,∇) be the Lie transformation
group of allaffine transformation of𝑀. An affine transformation
𝑠
𝑥will
be called an affine symmetry at a point 𝑥 if 𝑥 is an
isolatedfixed point of 𝑠
𝑥. An affine manifold (𝑀, ∇) will be called an
affine s-manifold if there is a differentiable mapping 𝑠 : 𝑀
→𝐴(𝑀,∇), such that for each 𝑥 ∈ 𝑀, 𝑠
𝑥is an affine symmetry
at 𝑥.In [4] Podestà introduced the notion of a projectively
symmetric space in the following sense. Let (𝑀, ∇) be a
con-nected 𝐶∞ manifold with an affine torsion free connection∇ on
its tangent bundle; (𝑀, ∇) is said to be projectivelysymmetric if
for every point 𝑥 of𝑀 there is an involutive pro-jective
transformation 𝑠
𝑥of𝑀 fixing 𝑥 and whose differential
at 𝑥 is −Id. The assignment of a symmetry 𝑠𝑥at each point 𝑥
of𝑀 can be viewed as amap 𝑠 : 𝑀 → 𝑃(𝑀,∇), and𝑃(𝑀,∇)can be
topologised, so that it is a Lie transformation group. Inthe above
definition, however, no further assumption on 𝑠 ismade; even
continuity is not assumed.
In this paper we define and state prerequisite results
onprojective structures and define projective symmetric spacesdue
toPodestà. Then we generalize them to define projec-tive
s-manifolds as manifolds together with more generalsymmetries and
consider the cases where they are essentialor inessential. A
projective s-manifold is called inessentialif it is projectively
equivalent to an affine s-manifold andessential otherwise. We prove
that these spaces are naturallyhomogeneous, and moreover under
certain conditions theprojective curvature tensor vanishes. Later
we define regularprojective s-manifolds and prove that they are
inessential.
2. Preliminaries
Let 𝑀 be a connected real 𝐶∞ manifold whose tangentbundle𝑇𝑀 is
endowed with an affine torsion free connection∇. We recall that a
diffeomorphism 𝑠 of 𝑀 is said to beprojective transformation if 𝑠
maps geodesics into geodesicswhen the parametrization is
disregarded [5]; equivalently 𝑠 isprojective if the pull back 𝑠∗∇
of the connection is projectivelyrelated to∇, that is, if there
exists a global 1-form𝜋 on𝑀, suchthat
𝑠∗
∇𝑋𝑌 = ∇
𝑋𝑌 + 𝜋 (𝑋)𝑌 + 𝜋 (𝑌)𝑋 ∀𝑋, 𝑌 ∈ 𝜒 (𝑀). (1)
If the form 𝜋 vanishes identically on𝑀, then 𝑠 is said to be
anaffine transformation.
-
2 Geometry
Definition 1. (𝑀, ∇) is said to be projectively symmetric if
forevery point 𝑥 in𝑀 there exists a projective transformation 𝑠
𝑥
with the following properties:(a) 𝑠𝑥(𝑥) = 𝑥 and 𝑥 is an isolated
fixed point of 𝑠
𝑥.
(b) 𝑠𝑥is involutive.
It is easy to see that conditions (a) and (b) imply (𝑑𝑠𝑥)𝑥=
−Id. Moreover we recall that a projective transformation
isdetermined if we fix its value at a point, its differential, and
itssecond jet at this point [6], hence a symmetry at 𝑥 in𝑀 is
notuniquely determined in general by the condition (a) and (b).
Affine symmetric spaces are affine homogeneous, butin general
projectively symmetric spaces are not projectivehomogeneous; for
more detail and examples see [4, 7], but iffollowing Ledger and
Obata define the case of a differentiabledistribution of projective
symmetries in an affine manifold,then this happens.
Let (𝑀, 𝑔) be a connected Riemannian manifold. Anisometry 𝑠
𝑥of (𝑀, 𝑔) for which 𝑥 ∈ 𝑀 is an isolated fixed
point will be called a Riemannian symmetry of 𝑀 at 𝑥.Clearly, if
𝑠
𝑥is a symmetry of (𝑀, 𝑔) at 𝑥, then the tangent
map 𝑆𝑥= (𝑑𝑠
𝑥)𝑥is an orthogonal transformation of 𝑇
𝑥𝑀
having no fixed vectors (with the exception of 0). An
s-structure on (𝑀, 𝑔) is a family {𝑠
𝑥| 𝑥 ∈ 𝑀} of symmetries of
(𝑀, 𝑔).A Riemannian s-manifold is a Riemannian manifold
(𝑀, 𝑔) together with a map 𝑠 : 𝑀 → 𝐼(𝑀, 𝑔), such that foreach 𝑥
∈ 𝑀 the image 𝑠
𝑥is a Riemannian symmetry at 𝑥.
For any affine manifold (𝑀, ∇) let 𝐴(𝑀,∇) denote theLie group of
all affine transformation of (𝑀, ∇). An affinetransformation 𝑠
𝑥∈ 𝐴(𝑀,∇) for which 𝑥 ∈ 𝑀 is an
isolated fixed point will be called an affine symmetry at 𝑥.
Anaffine s-manifold is an affine manifold (𝑀, ∇) together with
adifferentiable mapping 𝑠 : 𝑀 → 𝐴(𝑀,∇), such that for each𝑥 ∈ 𝑀,
the image 𝑠
𝑥is an affine symmetry at 𝑥.
Let𝑀 be an affine s-manifold. Since 𝑠 : 𝑀 → 𝐴(𝑀,∇)is assumed to
be differentiable, the tensor field 𝑆 of type (1,1)defined by 𝑆
𝑥= (𝑑𝑠
𝑥)𝑥for each 𝑥 ∈ 𝑀 is differentiable.
The tensor field 𝑆 is defined similarly for a Riemannian
s-manifold, although it may not be smooth. For either affine
orRiemannian s-manifolds we call 𝑆 the symmetry tensor field.
Following [3] an s-structure {𝑠𝑥} is called regular if for
every pair of points 𝑥, 𝑦 ∈ 𝑀 as follows:
𝑠𝑥∘ 𝑠𝑦= 𝑠𝑧∘ 𝑠𝑥, where 𝑧 = 𝑠
𝑥(𝑦). (2)
3. Projective s-Space
Let𝑀 be a connected manifold with an affine connection ∇,and let
𝑃(𝑀,∇) bethe group of all projective transformationsof𝑀.
Definition 2. A projective transformation 𝑠𝑥will be called a
projective symmetry or simply a symmetry at the point 𝑥, if𝑥 is
an isolated fixed point of 𝑠
𝑥and (𝑑𝑠
𝑥)𝑥= 𝑆 does not leave
any nonzero vector fixed.
Definition 3. A connected affine manifold (𝑀, ∇) will becalled a
projective s-manifold or simply ps-manifold if for
each 𝑥 ∈ 𝑀 there is a projective symmetry 𝑠𝑥, such that the
mapping 𝑠 : 𝑀 → 𝑃(𝑀,∇), 𝑥 → 𝑠𝑥is smooth.
A symmetry 𝑠𝑥will be called a symmetry of order 𝑘 at 𝑥,
if there exist a positive integer 𝑘, such that 𝑠𝑘𝑥= Id, and
𝑀
will be called ps-manifold of order 𝑘, if 𝑘 is the least
positivenumber such that each symmetry is of order 𝑘.
Evidentlyevery ps-manifold of order 2 is a projective symmetric
space.
Lemma 4. Let 𝐺 be a topological transformation group actingon a
connected topological space𝑀, if for each point𝑥 in𝑀, the𝐺-orbit of
𝑥 contains a neighborhood of 𝑥, then 𝐺 is transitiveon𝑀.
Proof. Since 𝐺 is transitive on each orbit, for each 𝑥 the
𝐺-orbit 𝐺(𝑥) of 𝑥 is open by our assumption. The complement𝐶(𝑥) of
𝐺(𝑥) in𝑀 is also open, being a union of orbits. Thus𝐺(𝑥) is open
and closed. It is nonempty and therefore coin-cides with the
connected space𝑀, thus 𝐺 is transitive.
Theorem 5. If𝑀 is a 𝑝𝑠-manifold, then 𝑃(𝑀,∇) is
transitiveon𝑀.
Proof. We fix a point 𝑥0∈ 𝑀 and consider the 𝐶∞ map ℎ :
𝑀 → 𝑀 given by ℎ(𝑥) = 𝑠𝑥(𝑥0); since 𝑠
𝑥(𝑥) = 𝑥 for every
𝑥 in 𝑀, the differential (𝑑ℎ)𝑥0
of ℎ at the point 𝑥0is given
by (𝑑ℎ)𝑥0= 𝐼 − 𝑆
𝑥0, where 𝑆
𝑥0is the differential of 𝑠
𝑥0at 𝑥0.
(𝑑ℎ)𝑥0is nonsingular because no eigenvalue of 𝑆
𝑥0is equal to
1. Hence ℎ is a diffeomorphism on some neighborhood 𝑊of 𝑥0in 𝑀,
and ℎ(𝑊) is a neighborhood of 𝑥
0contained in
the 𝑃(𝑀,∇)-orbit 𝑃(𝑀,∇)𝑥0of 𝑥0, therefore from the above
lemma 𝑃(𝑀,∇) is transitive.
Definition 6. Let 𝑀 be a ps-manifold; since 𝑠 : 𝑀 →𝑃(𝑀,∇) is
assumed to be differentiable, the tensor field 𝑆 oftype (1, 1)
defined by 𝑆
𝑥= (𝑑𝑠
𝑥)𝑥is differentiable, we call 𝑆
the symmetry tensor field.
Lemma 7. If 𝑠𝑥is a projective symmetry of (𝑀, ∇) then there
exists a connection ∇ projectively equivalent with ∇ which
is𝑠𝑥-invariant.
Proof. Since 𝑠𝑥is a projective symmetry of (𝑀, ∇) then there
is a 1-form 𝛼 on𝑀, such that
(𝑠∗
𝑥∇)𝑋𝑌 = ∇
𝑋𝑌 + 𝛼 (𝑋)𝑌 + 𝛼 (𝑌)𝑋. (3)
We are looking for a connection ∇ with the
followingproperties:
∇𝑋𝑌 = ∇
𝑋𝑌 + 𝜋 (𝑋)𝑌 + 𝜋 (𝑌)𝑋. (4)
As ∇ should be 𝑠𝑥-invariant we need
(𝑠∗
𝑥∇)𝑋
𝑌 = ∇𝑋𝑌 (5)
-
Geometry 3
that is, 𝑠𝑥is an affine transformation of (𝑀, ∇). We have
(𝑠∗
𝑥∇)𝑋
𝑌 = 𝑠−1
𝑥∗
∇𝑠𝑥∗𝑋𝑠𝑥∗𝑌
= 𝑠−1
𝑥∗
(∇𝑠𝑥∗𝑋𝑠𝑥∗𝑌 + 𝜋 (𝑠
𝑥∗𝑋) 𝑠𝑥∗𝑌
+𝜋 (𝑠𝑥∗𝑌) 𝑠𝑥∗𝑋)
= (𝑠∗
𝑥∇)𝑋𝑌 + 𝜋 (𝑠
𝑥∗𝑋)𝑌 + 𝜋 (𝑠
𝑥∗𝑌)𝑋.
(6)
It follows from (3)
(𝑠∗
𝑥∇)𝑋
𝑌 = ∇𝑋𝑌 + 𝛼 (𝑋)𝑌 + 𝛼 (𝑌)𝑋
+ 𝜋 (𝑠𝑥∗𝑋)𝑌 + 𝜋 (𝑠
𝑥∗𝑌)𝑋.
(7)
From (5) we have
∇𝑋𝑌 + 𝛼 (𝑋)𝑌 + 𝛼 (𝑌)𝑋 + 𝜋 (𝑠
𝑥∗𝑋)𝑌 + 𝜋 (𝑠
𝑥∗𝑌)𝑋
= ∇𝑋𝑌 + 𝜋 (𝑋)𝑌 + 𝜋 (𝑌)𝑋,
(8)
thus it is enough to have for every vector field 𝑍 as
follows:
𝛼 (𝑍) + 𝜋 (𝑠𝑥∗𝑍) = 𝜋 (𝑍) (9)
which is equivalent to
𝜋 (𝑍 − 𝑠𝑥∗𝑍) = 𝛼 (𝑍) (10)
or simply
𝜋 ∘ (𝐼 − 𝑠𝑥∗)𝑍 = 𝛼 (𝑍) (11)
since 𝑠𝑥is symmetry, then 𝐼−𝑠
𝑥is invertible; hence we obtain
𝜋 = 𝛼 ∘ (𝐼 − 𝑠𝑥∗)−1 (12)
thus if we choose 𝜋 as (12), then (4) and (5) are true, and ∇
isthe required connection.
So it would be convenient to introduce the followingdefinition
for connection ∇ and 1-form 𝜋 = 𝛼 ∘ (𝐼 − 𝑠
𝑥∗)−1.
Definition 8. Let (𝑀, ∇) be a ps-manifold, and let 𝑠𝑥be the
projective symmetry at the point 𝑥.Then we call the
associateconnection ∇ the fundamental connection of 𝑠
𝑥. Also the 1-
form
𝜋 = 𝛼 ∘ (𝐼 − 𝑠𝑥∗)−1 (13)
will be called the fundamental 1-form of 𝑠𝑥, where 𝛼 is the
1-form on𝑀, such that
𝑠∗
∇𝑋𝑌 = ∇
𝑋𝑌 + 𝜋 (𝑋)𝑌 + 𝜋 (𝑌)𝑋 ∀𝑋, 𝑌 ∈ 𝜒 (𝑀). (14)
Definition 9. The projective curvature tensor of (𝑀, ∇)
isdefined as follows [5, 8]:
𝑊𝑖
𝑗𝑘𝑙= Π𝑖
𝑗𝑘𝑙−
1
𝑛 − 1(𝛿𝑖
𝑘Π𝑗𝑙− 𝛿𝑖
𝑙Π𝑗𝑘), (15)
where
Π𝑖
𝑗𝑘= Γ𝑖
𝑗𝑘−
2
𝑛 + 1𝛿𝑖
(𝑗Γ𝑙
𝑘)𝑙,
Π𝑖
𝑗𝑘𝑙= 𝜕𝑘Π𝑖
𝑗𝑙− 𝜕𝑙Π𝑖
𝑗𝑘+ Πℎ
𝑗𝑙Π𝑖
ℎ𝑘− Πℎ
𝑗𝑘Π𝑖
ℎ𝑙, Π𝑗𝑘= Πℎ
𝑗ℎ𝑘.
(16)
The projective curvature tensor𝑊 is invariant with respect
toprojective transformations [5, 8].
Theorem 10. In a ps-manifold (𝑀, ∇), let 𝑠𝑥be a symmetry,
and let ∇ be the fundamental connection of 𝑠𝑥, if ∇𝑆 = 0;
that
is, ((∇𝑋𝑆)(𝑌) = 𝜋(𝑌)𝑆(𝑋) − 𝜋(𝑆(𝑌))𝑋), then (∇𝑊)
𝑥= 0.
Proof. Let 𝑠 : 𝑀 → 𝑃(𝑀,∇) be the 𝑝𝑠-structure and∇𝑆 = 0.Let 𝑋,𝑌,
𝑍 ∈ 𝑇
𝑥𝑀 be tangent vectors, and let 𝜔 ∈ 𝑇∗
𝑥𝑀
be a covector at 𝑥 ∈ 𝑀. By parallel translation along
eachgeodesics through 𝑥, 𝑋, 𝑌, 𝑍, and 𝜔 can be extended tolocal
vector fields 𝑋, �̃�, 𝑍, and �̃� with vanishing covariantderivative
with respect to ∇ at 𝑥. Because 𝑆 is parallel, thelocal vector
fields 𝑆𝑋, 𝑆�̃�, 𝑆𝑍, and 𝑆∗�̃� have also vanishingcovariant
derivative at 𝑥. (Here 𝑆∗ denotes the transposemap to 𝑆.) As 𝑊 is
invariant with respect to the projectivetransformation 𝑠
𝑝, 𝑝 ∈ 𝑀, we have
𝑊(𝑆∗
�̃�, 𝑋, �̃�, 𝑍) = 𝑊(�̃�, 𝑆𝑋, 𝑆�̃�, 𝑆𝑍). (17)
Now we show that ∇𝑊(𝑆∗�̃�, 𝑋, �̃�, 𝑍, 𝑈) and ∇𝑊(�̃�, 𝑆𝑋,𝑆�̃�,
𝑆𝑍, 𝑆𝑈) are equal at 𝑥. These are equal if and only if(𝑆∗
𝜔)(∇𝑈𝑊(𝑋, �̃�, 𝑍)) and 𝜔(∇
𝑆𝑈𝑊(𝑆𝑋, 𝑆�̃�, 𝑆𝑍)) are equal,
which follows from the assumption on ∇. That is
∇𝑊(𝑆∗
𝑥𝜔,𝑋, 𝑌, 𝑍, 𝑈) = ∇𝑊(𝜔, 𝑆
𝑥𝑋, 𝑆𝑥𝑌, 𝑆𝑥𝑍, 𝑆𝑥𝑈) (18)
or
∇𝑊(𝜔,𝑋, 𝑌, 𝑍, 𝑈) = ∇𝑊(𝑆∗−1
𝜔, 𝑆𝑋, 𝑆𝑌, 𝑆𝑍, 𝑆𝑈). (19)
Differentiating covariantly (17) with respect to ∇ in
thedirection of 𝑆𝑈 at 𝑥 and using (19) we get
∇𝑊(𝜔,𝑋, 𝑌, 𝑍, 𝑆𝑈) = ∇𝑊(𝜔,𝑋, 𝑌, 𝑍, 𝑈), (20)
thus
(∇𝑊)𝑥
(𝜔,𝑋, 𝑌, 𝑍, (𝐼 − 𝑆)𝑈) = 0, (21)
for all 𝑋,𝑌, 𝑍,𝑈 ∈ 𝑇𝑥𝑀 and 𝜔 ∈ 𝑇∗
𝑥𝑀, and because (𝐼 − 𝑆)
𝑥
is a nonsingular transformation we obtain
(∇𝑊)𝑥
= 0. (22)
Theorem 11. Let (𝑀, ∇) be a 𝑝𝑠-manifold of dimension 𝑛 >2; if
there exist two different projective symmetries 𝜎
1, 𝜎2
at a point 𝑞 of 𝑀, such that 𝜎1∗𝑞
= 𝜎2∗𝑞
and ∇𝑆 = 0,where ∇ is the fundamental connection corresponding
to 𝜎
1,
then the projective curvature tensor 𝑊; vanishes that is, 𝑀
isprojectively flat.
-
4 Geometry
Proof. By a similar method used in Proposition 1.1 of [7]
theproof follows from Lemma 7 andTheorem 10.
Corollary 12. If (𝑀, ∇) is a ps-manifold of order 2, and
twodifferent projective symmetry 𝜎
1, 𝜎2can be defined at a point
𝑞, then𝑀 is projectively flat.
Proof. It is evident from the fact that 𝜎1∗𝑞
= 𝜎2∗𝑞
.
Proposition 13. Let (𝑀, ∇) be ps-manifold, such that at
everypoint 𝑥 of𝑀 the projective symmetry is uniquely
determined.Then the linear isotropy representation 𝜌 : 𝑃(𝑀, ∇)
𝑥→
𝐺𝐿(𝑛, 𝑅) is faithful for every 𝑥 ∈ 𝑀.
Proof. Since 𝑠𝑥and 𝑠−1𝑥
both are projective symmetry at 𝑥,then we have 𝑠
𝑥= 𝑠−1
𝑥; that is, 𝑠2
𝑥= Id, thus (𝑀, ∇) is
a ps-manifold of order 2. Now, our assertion follows fromTheorem
1.1 of [7].
4. Regular Projective s-Space
Definition 14. A 𝑝𝑠-manifold (𝑀, ∇) is called regular
𝑝𝑠-manifold or simply 𝑟𝑝𝑠-manifold if for all 𝑝, 𝑞 ∈ 𝑀, 𝑠
𝑝∘ 𝑠𝑞=
𝑠𝑧∘ 𝑠𝑝, where 𝑧 = 𝑠
𝑝(𝑞).
Lemma 15. Let (𝑀, ∇) be a regular ps-manifold, then the (1,
1)tensor field 𝑆 is invariant under all symmetries 𝑠
𝑥; that is
𝑑𝑠𝑥(𝑆𝑋) = 𝑆 (𝑑𝑠
𝑥𝑋), (23)
for all𝑋 ∈ 𝜒(𝑀).
Proof. Since𝑀 is regular ps-manifold, then for all 𝑋 ∈ 𝑇𝑦𝑀
we have 𝑑(𝑠𝑥∘𝑠𝑦)𝑋 = 𝑑(𝑠
𝑧∘𝑠𝑥)𝑋 and so 𝑑𝑠
𝑥(𝑆𝑋) = 𝑆
𝑧(𝑑𝑠𝑥𝑋).
Thus 𝑆 is 𝑠𝑥invariant for all 𝑠
𝑥.
Lemma 16. Let (𝑀, ∇) be a connected ps-manifold, such thatat
every point 𝑥 of 𝑀 the projective symmetry is uniquelydetermined,
then (𝑀, ∇) is rps-manifold.
Proof. Suppose 𝑝, 𝑞 ∈ 𝑀 and 𝑧 = 𝑠𝑝(𝑞); then from the
uniqueness of the projective symmetry, we have 𝑠𝑝∘𝑠𝑞= 𝑠𝑧∘𝑠𝑝,
so (𝑀, ∇) is regular ps-manifold.
Remark 17. A general question is to find condition underwhich,
given a ps-manifold (𝑀, ∇), there exists a projectivelyrelated
connection∇, such that (𝑀, ∇) is an affine s-manifold;we shall call
such spaces inessential ps-manifold and essentialotherwise.
Definition 18. A ps-manifold (𝑀, ∇) is called inessential
ps-manifold if there exists a projectively related connection ∇such
that (𝑀, ∇) is an affine s-manifold.
Let us denote by Φℎthe 1-form corresponding to an
element ℎ of 𝑃(𝑀,∇). We want to see when (𝑀, ∇) isinessential,
in order to show that (𝑀, ∇) is inessential, wemust find a
connection ∇ which is projectively related to ∇
and is invariant under all symmetries. Let 𝑠𝑞be a symmetry
at 𝑞, we must find a one-form 𝜋, such that
∇𝑋𝑌 = ∇
𝑋𝑌 + 𝜋 (𝑋)𝑌 + 𝜋 (𝑌)𝑋. (24)
As 𝑠𝑞is a projective transformation for (𝑀, ∇) and leaves
the
connection ∇ invariant, we find that
Φ𝑠𝑞(𝑋) + 𝜋 (𝑠
𝑞∗𝑋) = 𝜋 (𝑋) ∀𝑋 ∈ 𝜒 (𝑀) (25)
and hence at 𝑞 we have
𝜋|𝑞(𝐼 − (𝑠
𝑞)∗𝑞
)𝑋 = Φ𝑠𝑞(𝑋). (26)
So we define a 1-form 𝜋 through the following formula:
𝜋|𝑥(𝑋) = Φ
𝑠𝑥|𝑥∘ (𝐼 − (𝑠
𝑥)∗𝑥)−1
𝑋 ∀𝑋 ∈ 𝑇𝑥𝑀. (27)
Theorem 19. Let (𝑀, ∇) be an rps-manifold, then (𝑀, ∇)
isinessential.
Proof. We define a torsion free affine connection ∇
projec-tively related to ∇ through the fundamental 1-form of 𝑠
𝑥, 𝜋 as
follows:
𝜋|𝑥(𝑋) = Φ
𝑠𝑥|𝑥∘ (𝐼 − (𝑠
𝑥)∗𝑥)−1
𝑋 ∀𝑋 ∈ 𝑇𝑥𝑀 (28)
and prove that the connection ∇ is invariant under all
thesymmetries of𝑀.
Let 𝑠𝑞be a symmetry at 𝑞 of 𝑀, the condition that ∇ is
invariant under 𝑠𝑞is equivalent to
𝜋 (𝑋) − 𝜋 (𝑠𝑞∗𝑋) = Φ
𝑠𝑞(𝑋) . (29)
We verify (29) at a point 𝑝 of𝑀, we have to prove that by
(28)
Φ𝑠𝑝|𝑝
∘ (𝐼 − (𝑠𝑝)∗𝑝
)
−1
𝑋 − 𝜋𝑠𝑞(𝑝)
(𝑠𝑞∗|𝑝
𝑋) = Φ𝑠𝑞|𝑝
(𝑋) (30)
so if we put 𝑧 = 𝑠𝑞(𝑝), (30) reduces to
Φ𝑠𝑝|𝑝
∘ (𝐼 − (𝑠𝑝)∗𝑝)−1
𝑋 − Φ𝑠𝑧|𝑧
∘ (𝐼 − (𝑠𝑧)∗𝑧)−1
(𝑠𝑞∗|𝑝
𝑋)
= Φ𝑠𝑞|𝑝
(𝑋).
(31)
But since 𝑠𝑞∘ 𝑠𝑝= 𝑠𝑧∘ 𝑠𝑞, we have
Φ𝑠𝑝(𝑌) + Φ
𝑠𝑞(𝑠𝑝∗𝑌) = Φ
𝑠𝑞(𝑌) + Φ
𝑠𝑧(𝑠𝑞∗𝑌). (32)
Now evaluate (32) at 𝑝, and let 𝑌 = (𝐼 − (𝑠𝑝)∗𝑝
)−1
𝑋; then as𝑠𝑞∘ 𝑠𝑝= 𝑠𝑧∘ 𝑠𝑞, we have (31), and we are done.
Remark 20. The authors have studied Finsler homogeneousand
symmetric spaces [9]; recently Habibi and the secondauthor
generalized them to Finsler s-manifolds and weaklyFinsler symmetric
spaces [10, 11]. Therefore these conceptscan bemixed and findmore
generalizations which will be thecontent of other papers.
-
Geometry 5
Acknowledgment
The authors would like to thank the anonymous referees fortheir
suggestions and comments, which helped in improvingthe paper.
References
[1] A. J. Ledger and M. Obata, “Affine and Riemannian
𝑠-manifolds,” Journal of Differential Geometry, vol. 2, pp.
451–459,1968.
[2] A. J. Ledger, “Espaces de Riemann symétriques
généralisés,”Comptes Rendus de l’Académie des Sciences, vol.
264, pp. A947–A948, 1967.
[3] O. Kowalski, Generalized Symmetric Spaces, vol. 805 of
LectureNotes in Mathematics, Springer, Berlin, Germany, 1980.
[4] F. Podestà, “Projectively symmetric spaces,”Annali di
Matemat-ica Pura ed Applicata. Serie Quarta, vol. 154, pp. 371–383,
1989.
[5] A. V. Aminova, “Projective transformations of
pseudo-Riemannian manifolds,” Journal of Mathematical Sciences,
vol.113, no. 3, pp. 367–470, 2003.
[6] S. Kobayashi, Transformation Groups in Differential
Geometry,Springer, Berlin, Germany, 1980.
[7] F. Podestà, “A class of symmetric spaces,” Bulletin de la
SociétéMathématique de France, vol. 117, no. 3, pp. 343–360,
1989.
[8] L. P. Eisenhart, Non-Riemannian Geometry, vol. 8 of
Ameri-can Mathematical Society Colloquium Publications,
AmericanMathematical Society, 1927.
[9] D. Latifi and A. Razavi, “On homogeneous Finsler
spaces,”Reports on Mathematical Physics, vol. 57, no. 3, pp.
357–366,2006.
[10] P. Habibi and A. Razavi, “On generalized symmetric
Finslerspaces,” Geometriae Dedicata, vol. 149, pp. 121–127,
2010.
[11] P. Habibi and A. Razavi, “On weakly symmetric Finsler
spaces,”Journal of Geometry and Physics, vol. 60, no. 4, pp.
570–573,2010.
-
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Probability and StatisticsHindawi Publishing
Corporationhttp://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Mathematical PhysicsAdvances in
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
CombinatoricsHindawi Publishing
Corporationhttp://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Operations ResearchAdvances in
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Function Spaces
Abstract and Applied AnalysisHindawi Publishing
Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical
Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
The Scientific World JournalHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume
2014
Decision SciencesAdvances in
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014
Stochastic AnalysisInternational Journal of