Espaces ` a courbure quasi-constante

Valentin Boju and Mariana Popescu

0.1 introduction
On etudie une classe des espaces de Riemann qui constituent une generalisation
naturelle des espaces ` a courbures constantes. On etablit certaines proprietes
des espaces QC concernant leur structure, des conditions d

Itre irreductible et
local-symetriques. On consid`ere des champs Jacobi le long des trajectoires dun
champs distingue X
n
. Finalement, on remarque quelques questions relatives aux
espaces de Riemann qui satisfont seulement une partie de conditions utilisees
pour denir les espaces QC.
0.2 Espace QC
Soit (M, )) une variete riemannienne de dimension n 4, D
1
(M) lalg`ebre
de Lie des champs vectoriels sur M, et F(M)
0
= f : M R, f C

. o
) designe le champ metrique
g. Pour un vecteur A de lespace tangent M
p
, p M, notons par C(A, )
lensemble des facettes planes M
p
qui font avec A un angle egal ` a (A, ) =
. Supposons maintenant quil existe
p M, X M
p
, et
0
(0;
1
2
), oX ,= 0,
de sorte que
k(
1
) = k(
2
)
notation
= E (1)
pour toutes les facettes planes
1
,
2
C(X;
0
), o k() est la courbure plane
du .

Evidemment, on peut considerer |X| = 1. Soit C(X;
0
) et Y, Z
une base orthonormee du plan . La condition C(X;
0
) est equivalente ` a
X, Y )
2
+X, Z)
2
= cos
2

0
(2)
Soit X
i

i=1,...,n
une base orthonormee de lespace M
p
telle que X
n
= X. On
designe par W
i
les composantes du vecteur W M
p
dans lespace consideree,
et par R
ijkl
les composantes du tenseur de courbure dans la m

Ime base. Parce

que la base est orthonormee, R
ijji
represente la courbure plane de la facette
(X
i
, X
j
), i ,= j. Pour , C(X,
0
) et leurs bases orthonormees Y, Z et

Y ,

Z, en tenant compte de 1 et 2, nous avons
Y
i
Z
j
Z
k
Y
t
R
ijkt
= E,
(Y
n
)
2
+ (Z
n
)
2
= (

Y
n
)
2
+ (

Z
n
)
2
= cos
2

0
,
donc, pour Y (sin
0
, 0, . . . , 0, cos
0
), Z(0, 1, 0, . . . , 0) il en resulte
E = R
1221
sin
2

0
+R
n22n
cos
2

0
+ (R
122n
+R
n221
) sin
0
cos
0
. (3)
1
Pour Y (sin
0
, 0, . . . , 0, cos
2
), Z(0, 1, 0, . . . , 0) il resulte
E = R
1221
sin
2

0
+R
n22n
cos
2

0
2 sin
0
cos
0
R
122n
. (4)
Les formules 3 et 4 nous donnent R
122n
= 0, cest-` a-dire
R

= 0, ,= ; , < n. (5)
Donc
E = R

sin
2

0
+R
nn
cos
2

0
, ,= . (6)
Il resulte
R
nn
= R
n11n
notation
= N, ,= n. (7)
En ecrivant la formule 6 pour les indices , , nous avons
E = R

sin
2

0
+R
nn
cos
2

0
. (8)
Les formules 6 er 8 nous donnent
R
1221
= R

notation
= H, ,= , (9)
et
R

=
1
sin
2

0
(E N cos
2

0
) = H.
Si
Y = (A
1
sin
0
, . . . , A
n1
sin
0
, cos
0
),
Z = (Z
1
, . . . , Z
n1
, 0),
et
(A
1
)
2
+. . . + (A
n1
)
2
= 1,
(Z
1
)
2
+. . . + (Z
n1
)
2
= 1,
A
1
Z
1
+. . . +A
n1
Z
n1
= 0,
nous avons
k() = R
n11n
cos
2

0
+R
1221
sin
2

0
+S, (10)
o S est la somme des termes ` a trois ou quatre indices distincts. En tenant
compte de 8 nou obtenons
S = 0. (11)
Pour Y (A
1
sin
2

0
, 0, . . . , 0, cos
0
), Z(0, 1, 0, . . . , 0), la formule 11 nous donne
A
1
A
3
sin
2

0
(R
1223
+R
3221
) + 2A
1
R
122n
sin
0
cos
0
+ 2A
3
R
322n
sin
0
= 0,
et, en tenant compte de 5, nous avons
R

= 0, ,= . (12)
2
Pour Y (A
1
sin
0
, A
2
sin
0
, 0, . . . , 0, cos
0
), Z(Z
1
, Z
2
, 0, . . . , 0), en utilisant un
raisonnement analogue, il resulte
R
nn
= 0, , < n; a ,= ; (13)
pour Y (sin
0
, 0, . . . , 0, cos
0
), Z(0, Z
2
, Z
3
, 0, . . . , 0), il resulte
R
alphan
= 0, , , distincts, , , < n, (14)
et pour Y (A
1
sin
0
, A
2
sin
0
, 0, . . . , 0, cos
0
), Z(0, 0, Z
3
, Z
4
, 0, . . . , 0) il resulte
R

= 0, , distincts, , , , < n. (15)

En consequence on peut enoncer
Theorem 0.1. Si toutes les facettes planes C(X;
0
) ont la m

Ime courbure
plane, alors outes es facettes planes qui contiennent le vecteur X ont des courbu-
res planes egales, toutes les facettes planes orthogonales ` a X ont des courbures
planes egales et toutes les composantes du tenseur de courbure ` a trois et ` a quatre
indices distincts sont nulles.
Soit Y (A
1
sin, . . . , A
n1
sin, cos ), Z(Z
1
, . . . , Z
n1
, 0) la base orthonormee
dune facette C(X, ). Par le raisonnement utilise pour etablir la formule
10, nou obtenons
k() = R
n11n
cos
2
+R
1221
sin
2
. (16)
Donc, dans lhypoth`ese du 0.1, toutes les facettes planes C(X; ) ont la
m

Ime courbure plane, donnee de 16.

Evidemment, on a legalite
k(
1
4
) +k(
1
4
+) = 2k(
1
4
)
Denition 0.1. On dit quun espace de Riemann est un espace QC sil existe
un champs de vecteurs X D
1
(M) de sorte que pour chaque point p M
X
p
,= 0, il existe (p) (0;
1
2
) tel que k(
1
) = k(
2
)pour toutes les facettes planes
1
,
2
C(X
p
; (p)),
(17)
o X
p
est le vecteur tangent induit en p. Lon voit facilement que N et H sont
des fonctions C

sur M, o N = R
nn
et H = R

. Si N = H, nous
observons que lespace considere est ` a courbure constante. En vertu de ?? et
du 0.1, il en resulte quun espace est QC si et seulement sil est ` a courbure
quasi-constante.
0.3 Exemples
Example. Soit G un espace de Riemann ` a courbure constante egale` a k. Alors
lespace M = R G est un espace QC et N = 0, H = K.
3
Example. Soit M la hypersurface de roation donnee par les equations:
x
i
= 2y
n
y
i
, i = 1, . . . , n 1,
x
n
= y
n
(2),
x
n+1
= f(y
n
),
o = (y
1
)
2
+ + (y
n1
)
2
+ 1. Par un calcul directe on trouve que M est un
espace QC,
N =
4f

y
n
(1 +f

2
)
, H =
(f

)
2
(y
n
)
2
(1 +f

2
)
> 0,
et X
n
=
1

1+f

y
n
est un champs geodesique.
0.4 La structure dun espace QC
En designant par R
ijkl
les composantes du tenseur de courbure dans une base or-
thonormee X
i

i=1,...,n
de champs de vecteurs (sur un voisinage de coordonnees
U), les resultats du paragraphe 1 se maintiennent (evidemment, nous supposons
que X
n
= X) et les equations de strucutre de Cartan [3] deviennent
d

n

n
, (18)
d
n
=
n

, (19)
d

n

n

+H

, (20)
d

n
=

n
+N

n
, (21)
o , , < n et

i
(X
j
) =
i
j
,
i
j
=
i
kj

k
,
i
j
=
j
i
. (22)
Dierentions 20; il vient
(

+
n

+H

)
+(

n
N

n
)
n

n
N

n
)
+dH

+H(

n

n
)

n

n
) = 0,
cest-` a-dire,
(N H)(

+
n

)
n
+dH

= 0, (23)
ou
(N H)(
n

+
n

)
n
(24)
+H

+H
n

= 0,
4
o dH = H
i

i
. Donc
H

= 0. (25)
La relation 25 implique H

= 0, < n, donc
dH = H
n

n
. (26)
Si H na pas de points critiques, alors X

(H) = H

= 0 implique X

, gradH) =
0, do il resulte que les champs X
1
, . . . , X
n1
sont tangents aux hypersurfaces
de niveau de la fonction H; donc X
n
= gradH, o est une fonction C

sur
U. En tenant compte de ref3.6, la formule 24 devient
(N H)
n

+ (N H)
n

+(N H)(
n

+
n

) +H
n
)

n
= 0,
do

= 0, , < n, ,= , (27)
H
n
= (H N)(
n

+
n

). (28)
Si lesace considere nest pas ` a courbure constante, alors N ,= H et 28 implique

n
11
= . . . =
n
n1n1
notation
=
n
, (29)
donc
H
n
= 2(H N)
n
. (30)
Soit une hypersurface de niveau de la fonction H et L loperateur de Weir-
garten associe. Alors
LX

=
X
X
n
=

n
X

=
n
X

,
cest-` a-dire
LX

=
n
X

, (31)
donc est une hypersurface ombilicale dont la courbature principale est la
fonction (
n
). Si R
2
est le tenseur de courbure de la hypersurface et X, Y
est une base orthonormee dune facette plane tangente ` a , nous avons
R
2
(X, Y )Y ; X) = R(X, Y )Y ; X) +X; LX)Y ; LY ) (X; LY ))
2
,
donc
R
2
(X, Y )Y ; X) = H + (
n
)
2
. (32)
En vertu du theor`eme de Schur, on peut enoncer
Theorem 0.2. Les hypersurfaces de niveau de la fonction H sont ombilicales;
elles sont des hypersurfaces integrales du syst`eme de champs X
1
, . . . , X
n1
.
Ces hypersurfaces sont des espaces de Riemann ` a courbure constante egale ` a
H + (
n
)
2
.
5
Parce que la fonction H + (
n
)
2
est constante, alors H
n
= 0 et la formule
30 nous donne
n
= 0. Donc

X
X

, , , < n. (33)
Il en resulte que si H est constante, alors les hypersurfaces integrales du syst`eme
des champs X
1
, . . . , X
n1
sont des sous-varietes totalement geodesiques ` a
courbure constante, egale ` a H. Remarquons le fait que le syst`eme de champs
X
1
, . . . , X
n1
est compl`etement integrable parce que
X

, X

) = (

)X

.
Dierentions 21, il devient
dN

n
+ (N H)

= 0, (34)
do, en ecrivant dN = N
i

i
, nous avons
N

= (H N)
n
n
, = 1, . . . , n 1. (35)
`
A laide de legalite
X

(N

) X

(N

) = (
X

XX

)(N),
on voit que la formule 35 implique
X

(
n
n
) X

(
n
n
) = (

)
n
n
. (36)
En tenannt compte de 35, il resulte que dN est colineaire avec
n
si et seulement
si
n
n
= 0, cest-` a-dire, si et seulement si X
n
est un champs geodesique. Let
formules [ gradH| =[ H
n
[ et 30 nous montrent que X
n
est un champ geodesique
si et seulement si les fonctions H et | gradH| ont les m

Imes hypersurfaces de
niveau; on a alors

=
n

(37)
et, en tenant compte de 21 et 18, nous avons
d
n
(
n
)
2

n
N
n
)

= 0,
do
X
n
(
n
) = (
n
)
2
+N. (38)
Si X
n
est geodesique et H = const., la formule 38 implique N = 0. Si N =
const., alors X
n
est un champs geodesiue, donc | gradH| et H ont les m

Imes
hypersurfaces de niveau. Alors il y a une fonction V C

, [], de sorte que

X
n
=
1
| gradH|
gradH = gradV,
ou
n
= dV , et la formule 38 nous donne
d
n
(
n
)
2
+N
= dV. (39)
Pour N = 0, en tenant compte de 39, nous obtenons
H =
1
(k
1
)
2
(V +k)
2
> 0, k, k
1
= const.,
6
0.5 Proprietes des espaces QC
1. On sait [7] quun espace Riemann pour lequel il existe (sur un voisinage
de chaque point) un base de champs de vecteurs telle que les composantes
R
ijkl
` a trois et ` a quatre indices soient nulles, a les classes caracteristiques
Pontriaguine nulles. Donc, en tenant compte de 0.1, il resulte
Theorem 0.3. Un espace QC a les classes caracteristiques Pontriaguine
nulles.
Comme la classe DEuler dune variete de dimension n = 2k est donne de
e(M) =
(1)
k
(2K)
k
k!

(2)
(1)
. . .
(2k)
(2k1)
, o
h
j
=
1
2
R
h
jlr

l

r
, il en
resulte que dans le cas dun espace QC nous avons

= H

,
n

= N
n

,
donc
e(M) =
(1)
k
(2)
k
k!
H
k1
N

(2)

(1)
. . .
(2k)

(2k1)
,
do
e(M) =
(2k)!H
k1
N
(2)
k
k!

1
. . .
2k
.
On sait, aussi, que la valeur de la classe dEuler sur la classe fondamen-
tale dhomologie est egale ` a la caracteristique dEuler (M) de la variete.

Evidemment que la remi`ere partie de lhypoth`ese 17 implique (M) = 0.

2. Pour un espace QC les composantes du tenseur derive de courbure sont
donnees par les formules
(
X
R)
n
= (H N)
n

,
(
Xn
R)
n
= (H N)
n
n
,
(
X
R)
ijkt
= X

(R
ijkt
), dans le cas complementaire.
Parce que H = const. implique
n
= 0, il en resulte
Theorem 0.4. Soit M un espace QC. Alors lespace M est local symetrique
si et seulement si H = const. et N = const.
3. Soit p M; alors, la condition R(X, Y )Z = 0, pour tous Y, Z M
p
,
implique
X
n
N = 0, X

H = 0.
Il en resulte que si N ,= 0, H ,= 0, alors pour chaque point p M, lindex
de nullite est egale ` a zero [6]. En tenant compte que
R(X

, X
n
)X
n
= NX

, R(X

, X

)Y = H(Y

),
il en resulte que lespace considere na pas de distributions invariantes par
toutes les transformations R(X; Y ). En vertu dun theor`eme de Tanno
[6], nous obtenons
7
Theorem 0.5. Si M est un espace QC et N ,= 0, H ,= 0, alors M est un
espace irreductible.
0.6 Commentaires
Une premi`ere question qui se pose est celle de determiner la metrique dun
espace QC, du moins pour certains cs particuliers, en utilisant le fait que
les hypersurfaces de niveau de la fonction H sont des espaces ` a courbure
constante H + (
n
)
2
. On oeut, aussi, renoncer ` a la premi`ere partie de
la condition 17, en supposant que le champ distingue X a des zeros, ce
qui complique la situation. Par exemple. nous ne savons pas si les classes
caracteristiques Pontriaguine restent nulles. Il faut mentionner encore la
possibilite de considerer des situations plus generales dans lesquels dans
lesquelles sont satisfaites seulement une partie de conditions 5, 7, 9, et
12, . . . , 15. Ainsi, lexistence dune fonction type-verseur ombilicale, [1,
assure la realisation de la condition 7. Par une fonction type-verseur on
comprend une fonction reguli`ere f F(M) de sorte que les fonctions
f et |gradf| aient les m

Imes hypersurfaces de niveau. Une application

interessante de ces fonctions je trouve en ce qui conservent le tenseur de
courbure [2], ou dans letude des espaces de Riemann ` a courbures planes
de m

Ime [5].
References
[1] V. Boju. Une methode dutiliser loperateur gradient en geometrie Rieman-
nienne. Rev. Roum. Math.
[2] V. Boju, M. Popescu. Changements conformes de metrique du point de vue
global. Atti Accad. Naz.
dei Lincei, LVII, 5/1974, 346-349.
[3] Helgason, S. Dierential Geometry and Symmetric Spaces. New-York, Aca-
demic Press, 1962.
[4] J. Milnor. Morse Theory. Princeton University Press, 1963, Ann. of Math
Studies.
[5] V. Boju, M. Popescu. Sur un theor`eme de Vranceanu concernant les cour-
bures sectionnelles. Rev.
Roum. Math. Pures. Appl. XXI, 10 (1976), 1399, 1401.
[6] S. Tanno. Riemannian manifolds of nullity index zero and curvature tensor
preserving
transformations. J. Math. Soc. Japan (26), 2 (1974), 258-271.
[7] Vranceanu, Gh. Le

Aons de geometrie dierentielle. Vol IV, Bucarest, Editura

Acadimiei R.S.R., 1975.
8
1 Espace `a courbure Stanilov quasi-contante
Soit (M, g) un espace de Riemann de dimension n = dimM 4. Pour un
vecteur A de lespace tangent M
p
, A ,= 0, nous notons: C(A, w, r) = V
M
p
; V sous-espace vectoriel de lespace M
p
; dimV = r, (A, V ) = w.
On sait [3] que la courbure Stanilov dun sous-espace V, K(A
i
, A
j
) designat
la courbure sectionnelle de la facette plane (A
i
, A
j
).
Supposons quil existe w (0; /2), X M
p
, X ,= 0 et p N, de sorte que
S
r
(V ) = S
r
(V

) = (notation)E, V, V

C(X, w, r). (40)

Soit X
1
, . . . , X
n
une base orthonormee telle que X
n
= X. Nous avons
E =

1qpr
A
i
q
A
j
p
A
k
p
A
t
q
B
ijkl
,
o A
q
= A
i
q
X
i
, q = 1, . . . , r, A
1
, . . . , A
r
etant une bse orthonormee dun V

V C(X, w, r). Pour 2 r n 2, utilisant la ethode exposee dans [1] pour

les espaces QC, il resulte:
R
ijkl
= 0, R
ijkl
= 0, i, j, k, ldistincts, i, j, k, l = 1, . . . , n;
R

= R

= (notation)H, , , , n 1, ,= , ,= ;
R
nn
= R
nn
= (notation)L, , n 1et, aussi :
E = (r 1)(sin
2
w)H + (r 1)(cos
2
w)L +C
2
r1
H,
donc:
Theorem 1.1. Sil existe X M
p
, X ,= 0, w (0; /2) et r N, 2 r n2,
de sorte que nous avons (1), alors nous avons une relation de type (1) w

[0; /2], r

N, o 2 r

n 2.
Denition 1.1. Un espace de Riemann est un espace S
r
QC sil existe un
champs vectoriel regulier X D
l
(M) et une fonction w : M (0; /2) de sorte
que S
r
(V ) = S
r
(V

), V, V

C(X
p
, w(p), r), pour chaque p M.
Corollary 1.2. Un espace de Riemann (M, g) est S
r
QC si et seulement si
(M, g) est un espace QC [1.]
Corollary 1.3. Les fonctions L et H sont dierentiables; pour L = H un
espace S
r
QC est ` a courbure constante H.
Maintenant nous pouvons donner un resultat de type Schur; ` a savoir:
Corollary 1.4. Si un espace de Riemann est r-Stanilov isotrope (cest-` a-dire:
pour chaque p M, S
r
(V ) = S
r
(V

), V, V

M
p
, dimV = dimV

= r), alors
il est ` a courbure constante (pour n 3).
9
Soit R

la courbure scalaire. R
ij
les composantes du tenseur de Ricci,
W
i
jkl
les composantes du tenseur de Weyl par rapport ` a une base orthonormee
X
1
, . . . , X
n
(locale) de champs vectoriels, de sorte que X
n
= X, o X est le
champ distingue.
Theorem 1.5. Nous avons: R
ij
= 0, i ,= j; R
11
= . . . = R
n1n1
= L + (n
2)H; R
n
= (n 1)L; R

= (n 1)(n 2)H + 2(n 1)L : W

i
jkl
= 0, i, j, k, l =
1, . . . , n.
Corollary 1.6. Soit (M, g) un espace S
r
QC. Si (M, g) est un espace Einstein,
alors il est ` a courbure constante.
Corollary 1.7. Un espace S
r
QC est conformement euclidien.
Remark 1.8. Pour L ,= H, un espace S
r
QC admet un groupe de mouvements
` a s param`etre, o s 1 +n(n 1)/2 [4, p. 103].
Remark 1.9. Utilisant une technique un peu modiee, il resulte que les resultats
etablis restent valables pour 2 r n 1, n 3.
Remark 1.10. Les conditions imposees par (1) sont plus faibles que celles donnees
dans [1], mais assurent la propriete dun espace d

Itre espace d

Itre ` a courbe QC.

Remark 1.11. Comme lon constate immediatement, si la condition (1) est sat-
isfaite pour un nombre ni de sous-espaces V C(X, w, r), convenablement
choisis, alors il resulte, aussi, le Theor`eme 1.
References
[1] V. Boju, M Popescu. Espaces ` a courbure quasi-constante. Journal of Di.
Geometry vol. 13 nr.3 (1978).
373-382.
[2] L. P. Eisenhart. Riemanniann Geometry. Princeton, Princeton University
Press, 1949.
[3] G. Stanilov. Generalisation de la courbure riemannienne et quelques appli-
cations. Bull. Inst. Math. Acad.
Bulg. Sci. 14 (1973), 211-241, (en bulgare).
[4] G. Vranceanu. Le

Aons de geometrie dierentielle. Vol. II, Edu. Acad. R.S.

Romania, Bucharest, 1977.
2 Courbure et changements conformes de metrique
Dans ce travail, on continue letude des tranformations conformes de metrique,
commence dans [3].
Soit (M, g) une variete riemannienne de dimension n, n 2 g etant le champ
tensoriel metrique qui agit
10
quasilineairement sur la courbure, cest-` a-dire
r

K

= K

1/2h, h C

, G
2
(M), (41)
G
2
(M) etant la variete de Grassmann de sections planes de M.
On sait que pour chaque champ vectoriel X, Y D
1
(M) la connexion de
Levi-Civita se transforme ainsi:

X
Y =
X
Y + 1/2((Xf)Y + (Y f)X < X, Y > gradf),
o f = log r. Il en resulte que le champ tensoriel de courbure verie la relation:

R(X, Y )Z = R(X, Y )Z + 1/2(h

f
(X, Z)Y h
f
(Y, Z)X+ < X, Z > H
f
Y
< Y, Z > H
f
X) + 1/4(
cicl
((Y f)(Zf) < Y, Z > | gradf|
2
)X,
o X, Y, Z D
1
(M), h
f
est la forme de Hesse et H
f
est le tenseur de Hesse.
Choisissons un rep`ere orthonorme pour la facette G
2
(M). Alors:
r

K

= K

1/2h
f
(X, X) 1/2h
f
(Y, Y ) 1/4| gradf|
2
+(Xf/2)
2
+(Y f/2)
2
,
(42)
donc la condition (1) est equivalente ` a la suivante:
h
f
(X, X) +h
f
(Y, Y ) + 1/2| gradf|
2
1/2(Xf)
2
1/2(Y f)
2
= h, (43)
quel que soit le couple orthonorme (X, Y ). Si n = 2, cette condition secrit:
f = h, (44)
o est loperateur de Beltrami-Laplace sur la variete M. En supposant M
compact, du theor`eme de Fredholm il resulte que lequation (3) a des solution
si et seulement si
M
hdV = 0,
dV etant lelement de volume sur lespace (M, g).
Dautre part, pour n 3 supposons que f na pas des points critiques dans
un voisinage V p, p M. Dans ces
conditions, (3) nous donne
h
f
(X, X) 1/2(Xf)
2
= w, X D
1
(M), (45)
o w = 1/2(h 1/2| gradf|
2
) et le champ vectoriel unitaire
N = gradf/| gradf|
est deni dans le voisinage V . La relation (5) implique

X
gradf = wXpour < X, N >= 0 (46)

N
gradf = (1/2| gradf|
2
+w)N,
11
donc

X
N = gradw| gradf|X
X(| gradf|)
| gradf|
N, si < X, N >= 0 (47a)

N
N =
1/2| gradf|
2
+w N(| gradf|)
| gradf|
N.
La distribution N

est involutive, et si V est une hypersurface integrale

de la distribution
N

, alors est deni loperateur de Weingarten LX =

X
N; L est autoad-
joint, donc il admet (n 1)
vecteurs propres X
i
, orthogonaux, donc

Xi
N = r
i
X
i
, r
i
C

, i = 1, . . . , n 1
et avec (6)
0 = X
i
(| gradf|) =< X
i
, grad(| gradf|) >,
do nous avons
grad(| gradf|) = v gradf, v C

. (48)
Donc f est une fonction type-verseur (abrev.: FTV ) ([2]).
Suivant [1, 2] et (6, 6), on a

X
N =
w
| gradf|
X, < X, N >= 0, (49)

N
N = 0, (50a)
N(| gradf|) = 1/4| gradf|
2
+ 1/2h
2
. (50b)
Donc la fonction f est FTV ombilicale ([1, 2]). Reciproquement, soit f une
FTV ombilicale (ayant les courbures
principales associees egales k
1
= . . . = k
n1
= k). Si nous nottons
N(| gradf|) k| gradf| + 1/2| gradf|
2
def
= R
f
,
alors en considerant le changement conforme g = e
f
g, nous avons
r

K

= h + cos
2
(N, )R
f
, (51)
o
h = 2k| gradf| 1/2| gradf|
2
.
Donc, le changement conforme g = e
f
g est quasilineaire si et seulement si
R
f
= 0. (52)
Theorem 2.1. Le changement conforme g = e
f
g est quasilineaire (avec f sans
points critiques dans louvert V M) si et seulement si f est une fonction
type-verseur ombilicale qui verie (8) et (8).
12
Remark 2.2. On peut ameliorer le resultat au-dessus en montrant que la relation
(9), o N = gradf/| gradf| implique
aussi que f est une fonction type-verseur ombilicale.
Conformement aux resultats de [1, 2, 3], il resulte;
Corollary 2.3. Chaque composante connexe des hypersurfaces de niveau con-
stant de la fonction f est spherique. Les
trajectoires du champ grad f sont, localement, des geodesiques parametrisees
naturellement. Pour chaque point p V ,
pour les facettes
1
,
2
M
p
,
1

2
grad
p
f, on a;
K
p
(
1
) = K
p
(
2
) =
w
2
| grad f|
2
+N(
w
| grad f|
).
Lexistence des fonctions type-verseur ombilicales, sans points critiques interieurs
sur M, M une variete quelconque,
est une question ouverte. Nous allons prouver que la condition plus forte
R
f
= 0 diminue cette classe des fonctions,
dans le cas quand M est une variete compacte ` a bord M, et supposant que
f verie une condition Neumann sur
le bord M:
V (f) = 0, o V est la normale exterieure ` a M. (53)
Les formules (8 - 8) nous donnent
f =
mh
2

m2
4
| gradf|
2
et, tenant compte de la formule de Green ([8]) et ([11]), nous avons

M
(
mh
2

m2
4
| gradf|
2
)dV = 0, (54a)
o dV est lelement de volume sur M: mais les conditions (11), m 3 et h 0
sont incompatibles. Donc:
Theorem 2.4. Sur une variete compacte ` a bord, il nexiste pas des fonctions
r = e
f
sans point critiques interieurs,
veriant une condition type Neumann sur le bord, et qui transforment la
courbure quasilineairement avec un facteur h 0.
Particuli`erement, pur h = 0, la condition (1) est equivalente ` a

R = R, o R
est le tensuer de courbure [3,
10], donc
Corollary 2.5. Dans les conditions au-dessus mentionnees, il nexistent pas
des changements conformmes de metrique en
conservant le tenseur de la courbure.
13
Soit maintenant (U; ) une carte locale et I
L
la fonction
I
L
: R R, L R

+
etJ
L
(p) =
N(w(p))
| gradf|
2
1/2w(p)

L
2
.
Dans la carte (U; ) choisie de sorte que N = /x
m
, il resulte de la relation
(5) que w = rw
1
,
o
w
1
= c
2
ec
1
+ 1/2(

t
m
0
(| gradf|0
1
)(t
1
, . . . , t
m1
, )d)0

,
C
2
= c
2
(x
1
, . . . , x
m1
), c
1
= c
1
(x
1
, . . . , x
m1
),
r = c
3
+ (

t
m
0
(
| gradf|(/L
2
+J
L
)
w
1
)
1
(t
1
, . . . , t
m1
, )d))
c
3
= c
3
(x
1
, . . . , x
m1
), c
1
, c
2
, c
3
C

(M).
La geodesique : [0, 1] V , de longueur L =

1
0
|(t)|dt, est admissible si
nous avons J
L
(p) > 0 pour tous points p situes sur la geodesique . Soit une
des courbes integrales de champ N, p = (0), q = (1).
Theorem 2.6. Si est une geodesique admissible et (t) nest pas conjugue ` a
p = (0), t (0, 1), alors;
1. p, q sont conjugues le long de ;
2. p, q) = n 1.
Proof. Soiit P
i

i,...,n
une base orthonormee de champs de vecteurs parall`eles
le long de ,
ainsi que: = LX
n
, o X
n
= P
n
.
Soit w

(t) = (sint)P

(t), = 1, . . . , n 1. Rappelons que la fonction

energie E est
egale E
0
, o
E
b
a
() =

b
a
|
d
dt
|
2
dt, 0 a < 1;
, est lensemble des chemins dierentiables par morceaux qui lient les
points p et q.
Pour une geodesique et E

: T

R la forme de Hesse de la
fonction E, on sait ([9]) que
E

(W

, W

) = 2

0
1
, W

,
V
2
W

dt
2
+R(W

, ) dt =
= 2

1
0
sin
2
t(
2
L
2
R(P

N , N , P

))dt = 2

1
0
J
L
((t)) sin
2
tdt < 0
14
et
E

(W

, W

) = 2

1
0
W

,

2
W

dt
2
+R(W

, ) > dt =
= 2

1
0
< W

,
2
sin(t)P

> dt = 2

1
0
L
2
sintR(P

, N, N, P

)dt = 0de[2].
On sait que la plus grande dimension dun sous-espace de T

, pour lequel
E

est deni negatif,

est lindex de E

. Il en resulte que la dimension de lespace des champs

Jacobi qui sannulent dans p et q est n 1, et les armations du theor`eme
resultennt immediatement.
Remark 2.7. En vertu de la remarque 1 et des relations (1), (9), il resulte que
pour (M, g), un espace ` a courbure quasi-constante ([4]), les transformations
conformes f qui donnent sur M une metrique despace euclidien ([7]) modient
la metrique
g = e
f
g,
o f est une fonction FTV ombilicale qui nous indique lexistence de telles
fonctions FTV sur une variete ` a courbure QC. Un tel espace QC, compact et
simplement connexe, est une sph`ere homologique si H, N > 0 ([5]).
En general, il existe des fonctions FTV ayant localement (et m

Ime globale-
ment) un point critique sur une variete ` a courbure negative ([5]).
Ces resultats compl`etent la theorie des fonctions FTV totalement non-
ombilicales ([6]).
References
[1] V. Boju. La geometrie dune fonction type-verseur. Actas V. Congr. Agr.
Mat. Latina, Madrid, Consejo
Superior de Investigaciones Cienticas, Publicaciones del Institute Jorge
Juan de Matematicas, 1978, 292-296.
[2] V. Boju. Une methode dutiliser loperateur gradient en geometrie Rieman-
nienne. Rev. Roum. Math.
[3] V. Boju, M. Popescu. Changements conformes de metrique du point de vue
global. Atti Accad. Naz. dei
Lincei, LVII, 5/1974, 346-349.
[4] V. Boju, M Popescu. Espaces ` a courbure quasi-constante. Journal of Di.
Geometry vol. 13 nr.3 (1978).
373-382.
[5] V. Boju, L. Funar. Geometrie de lequation Hamilton-Jacobi est questions
connexes (` a paraitre).
15
[6] V. Boju. Une expression canonique du tenseur Riemannien de courbure par
rapport ` a une FTV . Proc. Nat.
Conf. Geom. Top. XII, 1983, 46-49.
[7] V. Boju, L. Funar. Espaces ` a courbure S QC. Serdice Bulg. Mat, Publ.
IX nr. 4 (1983), 111-112.
[8] I. Chavel. Eigenvalues in Riemannian Geometry. Academic Press, 1984.
[9] J. Milnor. Morse Theory. Princeton University Press, 1963, Ann. of Math
Studies.
[10] K. Nomizu, K. Yano. Conformally equivalent metrics with relation between
their curvature tensors.
EPF-Lausanne, 1983, 1 - 12.
[11] Ruh, B. Conformally equivalent metrics with relations between their cur-
vature tensors.EPF-Lausanne, 1983,
1-12.
16