Page 1 Vol.XIX , fasc.2, 1981 THE THEOREM OF K. NOMIZU ON

0 downloads 0 Views 5MB Size Report
THE THEOREM OF K. NOMIZU ON FINSLER MANIFOLDS. MATC by. SORIN DRAGOMIR. §1. INTROICTION. In a preceeding, paper, [2] , we have given a des-.
f

THE TI.IEORII'i OF

K.

asc.

2

NOi.{IZU OI{ FINSLER IIAi'IIFOLDS

by SORlI.I IJRAGO}{IR

§

1"'

INTR0l-''cTr0h'

1n a Preceeding Paper , lz7 , wc have qiven a dessubcription of Finsler space forms by means.-of -reqular form' It' is :[anj_folc]s wtrich nave a vanishing sécond frlnda:nental ,,..,ci1. xnowrr, i+ ] , that tirese are totally geodesic s;ui:rrarnifolds'

aswellasintheRiemanniangeoinetly.Butgeneral]l.Lheconverse fails for the.rinslerian case. the cletermination of the-Lola'lil,gecocsicsubinanifo}dsofaglvenfinslermanifo}disadifficuIL probl.em. In 1-his note we shall prove that the connected given conponents of the fixed point set of an izometry of a FinslermanifoldMaretotal}ygeodesicsubmanifoldsoffi. §2.

PRELI]''INARIES AND NOTATIONS

give a brief account of notations and conventions' real For detaj.Is we refeare t" [:] ' Let M be a n-dimenslonal c' - differentiable *.rìitorO' we denote by: T(lrr)*.r lI the the subbundle of tangent.bundle over I'1 , ancl by n : il-->ll non-nul tangent vectors on li' Let P : n-}ru--+Il be the bundle ring naruraliy induced by T (M) and n . we denote by 5P rrtt tne ofrealvalue 0 so tnai we have a !rel1 defined exponentlal map BY theore,fi 2'L',

exP x i B, -*_>

,

by exp *(x) = o*(1) L

-c

-

M

where

x

M with the origin Let i 'U" a fixed non-nul tangent vector on at x. Hence we can define a natural lift: t B.-r!'!

expof the exponential

x tTtdPr bY:

exp-x=exp. >:

-ìI

ìlX

: -l - {;ì --t't . where :', = i"j x BL , ani ? r-iTli* second factor: of the Prodrlct ---T (ì4) E t-he prclection on the of X to be L(X) manifold ii, v' "(Fl) ' ff we

r

and:

T -(I{ ll

r*

II

r(n

l

-

{}1)

-1

I I

I

l:

I I I

s

I

/!, \

P**

x

§4. izol'{trRriis

F*x

tirt

0N FTNSLER Ì,lANrFoLDS

on M. Then tire dlife-

I' : i,i--*I"1 be a transformation

Let renLial

TY

F i.ndu.ces naturally

l'..- of

il -l-Tl'l -6-t (L)F)- : :-tlt -r:: XX.^)'

a

map

Di: : r -r-Ti'l defincri by

-1 Ttr1 ,

,*-'

'(DP)-.x = (r.x,

Then F is called an i.zctneiry O{ the Fittsier rnattif oi.i

r-';x;' (}4, Il ,

c

(Drr) ,: , (Dr)- Y) = c^ (J: , T; >ix>i for any I: , .- e :-it't: , ani an1' x e tc ' rf there is no danoc:: ):of confusir:n wcr wri i:e simply: g ( (Df') x' (Df ) Y) = 9(x . Ì) .Ile i' l:

{

recariì ltre ri:rrpiirsr;:

:

i t r (iti ---r i:-rTM

)

\, -)

ì -

.1

-j,t A.:L.i '-rr

i7 i.re the lned by: t,txl = i*, :,. x) , lor x € ?-x (11) ' i'et As §Z is r:eguiar anci unlque Flnsler connectlon associated to 9' is an izo;{èr ttl = T}t , Ehe restriction e irrn : Tù"*- '-i':lt ' v - )-1 it's inverse' rnorphlsm. lle denote by B = t i'ltmr, :ief

The I'lnsler connection V

= i rg (l , Zt I -

2q(V-Z,T)

(4.r)

it

+

z (g

1s glven by:

(x, Y)') + s(t[i

r g(t[Y, xi,

, i],

i'tg-(7, T)

Y) + g (l[i,

i7

+

,xt

Z)

for anY IÌ-- vector f lel