Professional Documents
Culture Documents
GEOMETRIE DIFFERENTIELLE
DESA : 2001-2003; 2003-2005
A. AWANE
ii
vii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
3
6
7
8
9
12
22
24
25
25
32
32
33
34
34
35
36
36
37
38
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 Varits direntiables
3.1 Varits direntiables . . . . . . . . . . . . . . . . . . .
3.2 Exemples de varits direntiables . . . . . . . . . . . .
3.2.1 Lespace Rn . . . . . . . . . . . . . . . . . . . . .
3.2.2 Surface rgulire de R3 . . . . . . . . . . . . . . .
3.2.3 La sphre S n . . . . . . . . . . . . . . . . . . . .
3.2.4 Espace projectif rel RP (n) . . . . . . . . . .
3.3 Fonctions direntiables . . . . . . . . . . . . . . . . . .
3.3.1 Dfinitions . . . . . . . . . . . . . . . . . . . . .
3.3.2 Fonctions plateau. Partition de lunit . . . . . .
3.3.3 Sous varits dune varit direntiable . . . .
3.3.4 Premire approche des groupes et algbres de Lie
3.3.5 Quelques procds de construction de varits. .
3.4 Espace tangent. Fibr tangent . . . . . . . . . . . . . .
3.4.1 Germe dune application . . . . . . . . . . . . . .
3.4.2 Vecteurs tangents une varit . . . . . . . . . .
3.4.3 Application tangente . . . . . . . . . . . . . . . .
3.4.4 Vecteur tangent une courbe . . . . . . . . . . .
3.4.5 Application cotangente . . . . . . . . . . . . . . .
3.4.6 Fibr tangent et fibr cotangent . . . . . . . . . .
3.4.7 Drive de Lie dun champ de vecteurs . . . . . .
3.4.8 Image dun champ de vecteurs par un morphisme
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
. 58
. 61
. 61
. 61
. 62
. 64
. 64
. 64
. 67
. 69
. 73
. 81
. 81
. 81
. 82
. 87
. 89
. 89
. 92
. 105
. 108
4 Formes direntielles
4.1 Lespace fibr p (T M ) . . . . . . . . .
4.2 Formes direntielles de degr p . . . . .
4.3 Image rciproque dune forme extrieure
4.4 Produit intrieur . . . . . . . . . . . . .
4.5 Direntiation extrieure . . . . . . . . .
4.6 Lemme de Poincar . . . . . . . . . . . .
4.7 Drive de Lie dune pforme . . . . . .
4.8 Intgrale dune forme direntielle . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
44
48
48
49
49
51
52
113
113
114
116
117
118
120
123
124
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
129
. 137
. 137
. 138
. 140
. 142
. 142
. 142
. 142
. 143
. 145
. 148
. 149
. 151
. 152
. 154
. 154
. 154
. 155
. 156
. 156
. 158
. 159
. 166
. 168
.
.
.
.
.
.
.
.
.
175
. 175
. 175
. 176
. 176
. 178
. 178
. 179
. 184
. 184
6.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
189
191
191
192
193
195
196
Introduction
La gomtrie direntielle est une continuit du calcul infinitsimal, elle
permet dtudier grce aux techniques du calcul direntiel une nouvelle
famille despaces topologiques appeles varits direntiables, permettant la rnovation de la vieille gomtrie des courbes et des surfaces de R3
la Gauss-Darboux, et en la plaant selon un esprit actuel dans un cadre
contemporain.
Le calcul direntiel permet dtudier lvolution dun phnomne au
voisinage dun instant donn (sa vitesse, son acclration) lorsque celui ci
dcrit une portion dun espace dans lequel on a une structure despace vectoriel norm.
Notre but est de montrer quon peut faire de lanalyse mathmatique
en dehors des espaces qui nadmettent pas de structure despace vectoriel
norm.
Empiriquement, nous pouvons mesurer des portions de la terre, nous
nous dplaons entre les villes, les pays, on peut dcrire presque toutes les
rgions du globe terrestre dune manire adquate, en utilisant un petit livre,
appel atlas, form dun ensemble de cartes, qui sont des ouverts du plan
R2 . Ici, chaque point du globe peut tre reprsent dans une carte. En
sinspirant de la cartographie, on dfinit une varit direntiable de dimension n (n N) par un atlas qui est un ensemble douverts de Rn appels
cartes. H.Poincar a saisi limportance du concept dune varit direntiable, il sest arrt sur les changements de cartes dun atlas. Cest Whitney
(en 1944) qui a rgl dfinitivement ce problme; cest dans les changements
de cartes o rside la notion de varit direntiable.
Pour se dplacer entre divers villes de notre plante terre, on choisit assez
souvent les chemins les plus courts (godsiques), ces trajectoires ne sont pas
des droites. La formulation gomtrique de ces notions a conduit introduire
des mtriques sur des varits direntiables (varits riemanniennes), et par
la suite, des modles non euclidiens :
viii
(1) Modle de Riemann. La sphre S 2 (munie de la mtrique induite
par le produit scalaire habituel de lespace R3 ) admet pour godsiques
les grands cercles, et il est clair que tous les grands cercles se coupent.
Si nous appelons droites parallles, des godsiques qui ne se rencontrent pas, on voit que le cinquime postulat dEuclide tombe en dfaut;
ici, par un point extrieur une droite, il ne passe aucune parallle
cette droite.
(2) Modle de Lobatchevski : le demi-plan de Poincar est dfini par :
P = {(x, y) | y > 0}
ix
Nous constatons ici la cohabitation entre gomtries euclidienne et non
euclidienne; en eet, la gomtrie euclidienne coexiste avec divers difices
gomtriques : gomtrie direntielle, gomtrie algbrique, gomtrie projective, etc...
La gomtrie direntielle utilise un arsenal trs riche et vari de mthodes mathmatiques faisant de cette branche des mathmatiques, un carrefour des mathmatiques, ncessitant lutilisation de nombreuses thories
structures (calcul direntiel, intgration, algbre linaire, topologie gnrale
et algbrique, etc,...), comme elle conduit des directions importantes en
mathmatiques et aussi des applications en physique :
1. Les groupes et algbres de Lie sont trs importants en mathmatiques
en raison de leurs applications fondamentales la gomtrie, la mcanique, lanalyse, etc,...
2. La gomtrie symplectique traite des objets qui issus de la mcanique
(a) La gomtrie symplectique donne le formalisme gomtrique de la
mcanique hamiltonienne classique, il sagit en fait dune gomtrie
de lespace de phase (fibr tangent T M, dune varit direntiable M, muni de la forme de Liouville); les quations de Hamilton proviennent de la dualit entre les fibrs des repres et des
corepres. elle permet de calculer aussi prcisment que possible
les trajectoires de plantes.
(b) La gomtrie symplectique est utilise en optique gomtrique,
en mcanique quantique etc,...
3. Le problme cosmologique : Lunivers (espace-temps) est une varit
direntiable de dimension 4. Le problme cosmologique consiste
dterminer la forme globale de cette varit, ainsi que les structures
diverses exprimant la distribution et lvolution de lnergie.
Dans sa thorie de la relativit gnrale, A.Einstein reprsente le potentiel gravitationnel, donc les distributions des masses, par une mtrique
locale despace temps. La gomtrie locale de lespace-temps (en particulier les godsiques, donc les rayons lumineux qui sont des godsiques
particulires) est ainsi dtermin par la distribution de masses, les kij
de la connexion associe reprsentant la magnitude de la force gravitationnelle.
4. La covariance des lois de la physique : Les lois et grandeurs physiques
sont covariantes par le groupe de relativit. Plus le groupe est gros,
x
plus les conditions de covariance sont restrictives, plus les lois et grandeurs
physiques sont dtermines par la gomtrie de lespace.
En mcanique quantique, les tats dun systme physique sont reprsents par les vecteurs dun espace vectoriel et les grandeurs physiques
par des oprateurs linaires sur cet espace o opre naturellement le
groupe de relativit (ventuellement grossi de toutes les symtries du
systme). Une particule lmentaire est un systme physique irrductible, donc est associ une reprsentation irrductible du groupe
de relativit. Les paramtres servant classer ces reprsentations irrductibles doivent donc classer les particules qui apparaissent ainsi
comme des proprits gomtriques de lUnivers.
Les particules lmentaires sont classes par divers nombres quantiques. On ignore naturellement si les catalogues actuels de particules
et de nombres quantiques sont complets. On na pas encore trouv non
plus un groupe de Lie tel que les paramtres classant ses reprsentations irrductibles correspondent exactement aux nombres quantiques
connus.
On voit donc que la gomtrie direntielle constitue un domaine trs
riche et trs vaste, et comme elle reste la matire la plus nglige des programmes marocains, puisquon ne trouve pas de trace de la gomtrie des
surfaces, ni celle des courbes algbriques, ni des groupes de transformations,
ni gomtrie projective, etc,...
On se propose dans ce cours, qui est enrichi par des exposs, de combler
les lacunes du programme denseignement marocain qui concernent cette
discipline dune part, et dautre part, de donner les lments de base et
outils ncessaire pour ltude la gomtrie direntielle, et particulirement
les gomtrie symplectique et multi-symplectique, les systmes dynamiques
et certaines applications.
Azzouz Awane
Casablanca le 8 janvier 2002
Chapitre 1
Dualit
Espace dual
o xi iI est une famille presque nulle de scalaires; ce qui montre que
lhyperplan H de E est dfini dans une base donne par une relation
linaire.
Dsignons par K(I) lensemble des familles presque nulles i iI dlments
(I)
I
de
K est un sous espace vectoriel de lespace K de toutes les familles
iK.
iI dlments de K.
Le fait que (ei )iI est une base de E est quivalent dire que lapplication
x 7 i (x) iI
1.1. DUALIT
2. E est isomorphe KI .
3. E est de dimension finie si et seulement si E est de dimension finie,
et dans ce cas on a dimK E = dimK E ..
Proposition 1.1 Soient E un espace vectoriel sur K et (ei )iI est une base
de E. Pour tout j I, on dsigne par ej lunique forme linaire sur E telle
que pour tout i I on a :
1 si i = j
j
j
ei , e = i =
0 si i 6= j.
ej est appele j e`me forme coordonne. On a :
1. La famille ei iI est libre dans E .
2. La famille ei iI est une base de E si seulement si E est de dimension finie.
ei , ej = ji ,
qui est une base de E , est appele base duale de la base (ei )1in . Lapplication
ei 7 ei
de E dans E , est un isomorphisme despaces vectoriels, qui nest pas canonique. il dpend en fait de la base choisie. Considrons par exemple la
nouvelle base (vi ) de E dfinie par v1 = ae1 , vi = ei , i 6= 1, a 6= 0.
Lisomorphisme f de E dans E donn par f (vi ) = v i o v i est la base
duale de (vi ) , ne concide pas avec lisomorphisme ei 7 ei , ds que a2 6= 1.
1.1.2
Orthogonalit
Soient E un espace vectoriel sur K, (ei )iI une base de E et J une partie
j
de
I.
Alors
pour
quun
lment
x
soit
dans
lorthogonal
e
|
j
J
de
j
e | j J , il est ncessaire et susant que x, ej = 0 pour tout j J,
si et seulement si les coordonnes xj (j J)de x sont nulles, ce qui est
quivalent dire que x V ect (ei | i I J) , ainsi,
j
e |jI
= V ect (ei | i I J) .
Supposons que I J soit fini. Pour quune forme linaire sur E soit
dans lannulateur Ann {ej | j J} de la partie {ej | j J} , il faut et il sut,
hej , i = 0 pour tout j J.
Considrons la forme linaire
X
hei , i ei ,
=
iIJ
hei , i ei V ect ei | i I J .
=
iIJ
1.1. DUALIT
hej , i =
iIJ
i ej , ei =
i ij = 0,
iIJ
1.1.3
Transposition
u () = u,
t
x, u () = hu (x) , i .
p () (x) = (x + F )
o x
= x + F est la classe modulo F du vecteur x.
Proposition 1.2 Dans les hypothses et notations ci dessus on a :
1. Lapplication u 7 t u de LK (E, F ) valeurs dans LK (F , E ) est
Klinaire.
2. t idE = idE
3. Soit G un troisime espace vectoriel sur K, u LK (E, F ) et v
LK (F, G) , alors
t
(v u) = t u t v
4. Si u GLK (E) , alors t u GLK (E ) et lon a :
t 1
u
= t u1 .
De mme on a :
E
E
u
tt u
F
F
F
est commutatif :
tt
ici tt u = t t u .
u E = F u,
Proposition 1.5 Soit E un espace vectoriel sur K, F un sous espace vectoriel de E et G un sous espace vectoriel de E . Alors :
1. (AnnF ) = F
2. dim F est finie si et seulement si dim AnnF est finie et lon a :
codim F = dim AnnF,
3. dim G est finie si et seulement si dim G est finie et lon a :
G = Ann G ,
1.2
Les rsultats des deux paragraphes qui vont suivre, restent valables en remplaant un espace vectoriel sur un corps commutatif K par un module sur
un anneau commutatif A et un espace vectoriel de dimension finie par un
module libre de type fini.
1.2.1
1 si x = y
x (y) =
0 sinon.
La famille ( x )xX est une base de K(X) et pour tout u K(X) , on a :
u=
u(x) x .
(1.1)
xX
telle que
fe : K(X) G
fe( x ) = f (x) .
xX
1.2.2
x + 0 x0 , y (x, y) 0 x0 , y
et
x, y + 0 y 0 (x, y) 0 x, y 0
o , 0 , , 0 K, x, x0 E et y, y 0 F.
On appelle produit tensoriel des espaces vectoriels E et F, lespace vectoriel quotient
C (E, F ) /N
que lon dsigne par
E F.
Pour tout (x, y) E F, on dsigne par
xy
llment de
E F = C (E, F ) /N
reprsent par llment (x, y) de E F. On a :
Proposition 1.6 Lapplication (x, y) 7 x y, de E F dans E F est
bilinaire et les produits x y engendrent lespace vectoriel E F.
Dmonstration. Pour tous , 0 , , 0 K, x, x0 E et y, y 0 F on a
x + 0 x0 , y (x, y) 0 x0 , y N
et
x, y + 0 y 0 (x, y) 0 x, y 0 N,
10
x + 0 x0 y x y 0 x0 y = 0
et
x y + 0 y0 x y 0 x y 0 = 0.
EF
EF
%f
fe x, y + 0 y 0 (x, y) 0 x, y 0 = 0
11
ai bi = 0
entrane a1 = . . . = ar = 0.
Dmonstration. Supposons quil existe i (i = 1, . . . , r) tel que ai ne soit
pas nul. Considrons la forme linaire ai sur E telle que ai (ai ) = 1 et pour
tout j (j = 1, . . . , r) , on considre la forme linaire bj sur F dfinie par
1 si j = k
j
j
b (bk ) = k =
0 sinon.
Soit f : E F K, la forme bilinaire sur E F dfinie par :
f (x, y) = ai (x) bi (y)
pour tous (x, y) E F. Il existe une forme linaire unique fe sur E F
telle que
f (x y) = f (x, y) = ai (x) bi (y),
en particulier on a :
r
r
r
X
X
X
0=f
aj bj =
f (aj bj ) =
ai (aj ) bi (bj ) = 1,
j=1
j=1
j=1
12
Corollaire 1.1 Soient E et F deux espaces vectoriels sur K, (ai )iI une
base de E et (bj )jJ une base de F, alors
(ai bj)(i,j)IJ
est une base de E F.
En particulier si E et F sont de dimension finie, alors dim E F =
(dim E) (dim F ) .
1.2.3
i=1
i=1
(2)
13
e
h ge = idF E et ge e
h = idEF .
e
h(x y) = y x.
14
telle que
Lapplication
e x : F G (E F ) G
e x (y z) = (x y) z.
: E (F G) (E F ) G
dfinie par
(x, u) =
e x (u)
15
E1 . . . En
%f
E1 . . . En
16
17
la notation classique uv peut prter une confusion, car elle possde deux significations
direntes :
1. u v est le produit tensoriel du vecteur u LK (E, F ) par le vecteur v LK (G, H) ,
2. u v : E G F H est une application linaire, dfinie par la proprit universelle
du produit tensoriel..
18
et, donc,
T () =
n
X
i=1
T (ui vi ) =
n
X
i=1
ui vi = 0,
par consquent on a :
n
X
i=1
ui vi (x, y) =
n
X
i=1
ui (x) vi (y) = 0
(1.3)
i=1
ui vi (a, y) =
=
=
=
n
P
i=1
p
P
ui (a) vi (y)
n
P
uj (a) vj (y)
j=p+1
p
n
P
P
ui (a) vi (y) +
ji ui (a) vj
i=1
j=p+1 i=1
!
p
n
P
P
ui (a) vi (y) +
ji vj (y) = 0
i=1
j=p+1
i=1
p
P
ui (a) vi (y) +
(y)
n
X
j=p+1
On dduit que les vi sont linairement dpendants, ce qui est absurde, donc
T est injective.
Si de plus les espaces E, F, G et H sont de dimension finie, alors les
espaces LK (E, F ) LK (G, H) et LK (E G, F H) ont mme dimension,
donc T est un isomorphisme.
19
(1.4)
(1.5)
J : E F LK (E , F ; K)
3
20
appliquant llment
xy
o ij est une famille presque nulle de scalaires. On a donc
J (t) = ij J (ei fj ) = ij Jei ,fj
par consquent, on a
D
ED
E
21
quel que soit v J. On a donc montr que t est le tenseur nul, par suite
lapplication J est injective.
Si E et F sont de dimension finie p et q respectivement, alors
dim E F = dim LK (E , F ; K) = pq,
et lapplication J est un isomorphisme.
La proposition prcdente montre que si les espaces vectoriels E et F
sont de dimension finie, le produit tensoriel E F des espaces vectoriels E
(2)
et F sidentifie lespace LK (E , F ; K) des formes bilinaires sur E F
(2)
E F = LK (E , F ; K)
et le produit tensoriel x y des vecteurs x et y la forme bilinaire dfinie
sur E F par :
x y (, ) = hx, i hy, i .
Plus gnralement, le produit tensoriel E1 . . . En des espaces vectoriels E1 , . . . , En de dimension p1 , . . . pn (pi N) sidentifie lespace
(n)
LK (E1 , . . . , En ; K) des formes nlinaires sur E1 . . . En :
(n)
E1 . . . En = LK (E1 , . . . , En ; K)
et le produit tensoriel x1 . . . xn des vecteurs x1 , . . . , xn la forme
nlinaire dfinie sur E1 . . . En par :
x1 . . . xn 1 , . . . , n = x1 , 1 . . . hxn , n i .
22
E F = LK (E, F ; K)
et le produit tensoriel des covecteurs et la forme bilinaire dfinie
sur E F par :
(x, y) = hx, i hy, i .
E1 . . . En = LK (E1 , . . . , En ; K)
et le produit tensoriel 1 . . . n des covecteurs 1 , . . . , n la forme
nlinaire dfinie sur E1 . . . En par :
1 . . . n (x1 , . . . , xn ) = x1 , 1 . . . hxn , n i .
1.2.4
Tenseurs
0
E . . . E (mfois) avec la convention T1 (E) = E . Les lments de
Tn0 (E) sont appels tenseurs nfois covariants.
Et enfin pour tout couple (n, m) dentiers naturels, on dfinit
n
(E) = (E )m E n
Tm
n (E) sont appels tenseurs mixtes nfois contravariants
Les lments de Tm
et mfois covariants. Les relations (1.4) et (1.5) permettent lidentification
suivante
n
(E) = LK E m , E n ,
Tm
23
et les relations (1.2) et (1.5) nous permettent de voir quil existe un isomorphisme canonique
0
n+n
n
n
(E) Tm
Tm
0 (E) Tm+m0 (E) ,
(1.6a)
n (E) et v =
tel que pour tous u = 1 . . . m x1 . . . xn Tm
0
1 . . . m y1 . . . yn0 , le produit tensoriel u v sidentifie :
0
u v = 1 . . . m 1 . . . m x1 . . . xn y1 . . . yn0 .
On tend la dfinition des isomorphismes (1.6a) au cas o n = m = n0 =
m0 = 0, en considrant les applications linaires correspondant aux applications bilinaires (, x) 7 x et (, x) 7 x. Il est clair que pour trois
tenseurs quelconques t1 , t2 et t3 on a :
(t1 t2 ) t3 = t1 (t2 t3 ) .
De nouveau la relation (1.4) permet de voir quon a un isomorphisme
n
(E)) Tnm (E)
(Tm
grce auquel on a :
Y
Y
1
yj , j
xi , i .
. . . m x1 . . . xn , y1 . . . ym 1 . . . n =
Dsignons par (ei )1ip une base de E et par ei 1ip sa base duale,
alors la famille
...jm
eji11...i
n
1j1 ,...,jm p, 1i1 ,...,in p
avec
...jm
= ej1 . . . ejm ei1 . . . ein
eji11...i
n
1ip
24
la matrice de passage de la base ei 1ip
et on dnote par Q = bij
1i,jp
(0)i
la base e
. La relation ej = aji e(0)i montre que les matrices P et
1ip
Q sont inverses
lune
de lautre.
(0)i1 ...in
les composantes du tenseur t par
Soient tj1 ...jm
1j1 ,...,jm p, 1i1 ,...,in p
(0)
.
rapport la base ei
1ip
(0)i ...i
n
1
n
Les composantes tij11...i
...jm et tj1 ...jm sont lies par :
(0)i0 ...i0n
1
tj 0 ...j
0
1
i0
i0
1
n i1 ...in
= ajj10 . . . ajjm
0 bi . . . bin tj ...jm
1
1
m
et
j0
j0
(0)i0 ...i0
i1
in 1
n
n
1
m
tij11...i
...jm = ai0 . . . ai0 bj1 . . . bjm tj 0 ...j 0 .
1
(1.7)
(1.8)
1.2.5
dfinie par :
i . . . m x1 . . .b
xj . . .xn ,
ij ( 1 , . . . , m , x1 , . . . , xn ) = xj , i 1 . . .b
i . . . m x1 . . .b
xj . . .xn
Cji ( 1 . . .m x1 . . .xn ) = xj , i 1 . . .b
T r (u v) = T r (v u) .
1.3
Formes extrieures
1.3.1
26
on peut dfinir la sous algbre C(E ) de T (E). Cest lalgbre des tenseurs
covariants de E.
Il existe un couplage naturel de C p (E ) avec (C p (E)) , il est dfini par
la forme bilinaire sur C(E) C(E ) par :
hv, i =
0P si v C p (E) et C q (E ) avec
P p 6= q
P
v i1 ...ip i1 ...ip si p = q avec v = v i1 ...ip ei1 ...ip et = j1 ...jp ej1 ...jq .
(E) ,
E =
p=0
V
= R et 1 E = E , est appele algbre extrieure de E.
Le groupe symtrique Sp opre sur lespace vectoriel produit E p = E
E . . . E par :
ici
0E
Proposition 1.15 On a :
(x1 , . . . , xp ) = ( (x1 , . . . , xp ))
pour tous , Sp et (x1 , . . . , xp ) E p ..
27
En eet on a :
( (x1 , . . . , xp )) = (x1 , . . . , xp ) .
o () est la signature de la permutation , () vaut 1 si est une permutation paire et elle vaut 1 si elle est impaire.
Proposition 1.16 Pour tout tenseur pfois covariant t, on a:
V
1. A(t) p (E)
V
2. t p (E) t = ()t pour tout Sp ,
V
3. Si t p (E) alors A(t) = t,
4. A (A(t)) = A(t).
X
1
1 X
1 X
A(t) =
()t =
() ( ) t =
( )( ) ( ) t,
p!
p!
p!
Sp
Sp
Sp
28
do
X
X
1
1
A(t) = ( )
( ) ( ) t = ( )
()t = ( )A (t) ,
p!
p!
Sp
Sp
V
V
Dfinition 1.5 (Produit extrieur). Soient p (E) et q (E) .
On appelle produit extrieur de la pforme extrieure par la qforme
extrieure , la (p + q) forme extrieure sur E dfinie par :
(p + q)!
A ( ) .
p!q!
V
V
On
V voit clairement que (, ) 7 de p (E) q (E) valeurs
dans p+q (E) est une application bilinaire.
Et, sans peine, on dmontre qutant donn deux espaces vectoriels E, F
et une application linaire u : E F , alors
=
u ( ) = u u
V
V
pour tout (, ) p (F ) q (F ) .
Proposition 1.17 Quels que soient
p (E)
= (1)pq .
et
1
... q
q + 1 ... q + p
.
p + 1 ... p + q 1
... p
(E) , on a :
29
On a
( p,q ) = (1)pq .
Pour tous x1 , . . . , xp , xp+1 , . . . , xp+q E, on a :
(x1 , . . . , xp , xp+1 , . . . , xp+q ) = (x1 , . . . , xp ) (xp+1 , . . . , xp+q )
et
p,q ( ) (x1 , . . . , xp , xp+1 , . . . , xp+q ) = (xp+1 , . . . , xp+q , x1 , . . . , xp )
= (x1 , . . . , xp ) (xp+1 , . . . , xp+q ) ,
par consquent on a :
p,q ( ) = .
Le produit extrieur est donn par :
= (p+q)!
p!q! A ( )
1 P
= p!q! Sp+q () ( )
1 P
= p!q!
Sp+q ( p,q ) ( p,q ) ( p,q ) ( )
= ( p,q ) = (1)pq .
Proposition 1.18 Quels que soient Tp0 (E) et Tq0 (E) , on a :
A ((A) ) = A ( ) = A ( A) .
Dmonstration. On a :
X
1
1 X
(A) =
() =
() [() ] .
p!
p!
Sp
Sp
On identifie le groupe Sp au sous groupe Hp,q de Sp+q form des permutations du type :
1
... p
p +1 ... p + q
(1) . . . (p) p + 1 . . . p + q
avec Sp . On a donc
(A) =
1 X
() ( ) ,
p!
Hp,q
30
par suite
A ((A) ) =
=
=
=
De mme on a
P
1
)
Sp+q ( ) ((A)
(p+q)!
P
P
1
1
Sp+q ( ) p!
Hp,q () ( )
(p+q)!
P
1 P
1
(
)()
(
)
(
)
Hp,q (p+q)!
Sp+q
p!
1 P
Hp,q A ( ) = A ( ) .
p!
A ( A ()) = A ( ) .
p (E) ,
(E) et
( ) = ( )
(E) on a :
Dmonstration. On a :
( ) =
(p + q + r)!
(p + q + r)!
A (( ) ) =
A ( ) ,
(p + q)!r!
p!q!r!
de mme on a :
( ) =
(p + q + r)!
A ( ) ,
p!q!r!
() 1 2 p ,
1 2 p = p!A 1 2 p =
Sp
1
2
x1 , 1 x1 , 2
x2 ,
x2 ,
1
2
m
(x1 , x2 , . . . , xm ) = det
..
..
..
. 1 . 2 .
xm ,
xm ,
hx1 , m i
hx2 , m i
..
.
hx2 , m i
31
Proposition 1.20 Pour que p covecteurs 1 , 2 , . . . , p de E soient linairement dpendantes dans E , il est ncessaire et susant que le produit de
Grassmann 1 2 p soit nul.
Dmonstration. Supposons que les formes linaires 1 , 2 , , , p soient
linaire -ment indpendantes et considrons les vecteurs X1 , , Xp vrifiant
i (Xj ) = ij . La matrice ( i (Xj )) concide avec la matrice identit. Il sen
suit que 1 2 p (X1 , , Xp ) = 1 do 1 2 p 6= 0.
Rciproquement, si f1 , , fp sont des formes linaires sur E linairement
dpendantes dans E , alors pour tout p-uple de vecteurs (X1 , , Xp ), la
matrice (fi (Xj )) est de rang strictement infrieur p et son dterminant est
nul.
Proposition 1.21 Le produit extrieur munit lespace vectoriel
n ^
^
M
(E)
E =
0
avec
V 1 i1 < i2 < < ip n constituent une base de lespace vectoriel
p E. Ainsi,
^
^
n!
n
dim
et dim E = 2n .
E=
=
p
p
p!(n p)!
Dmonstration. Toute pforme extrieure sur E scrit :
= ai1 ...ip ei1 eip ,
par consquent,
ai ...i
32
1.3.2
Lalgbre gradue
V
Ln V
Nous venons de voir que lespace vectoriel gradu E =
0
p E est
muni dune structure dalgbre
associative non commutative de dimension
V
2n . Chaque lment de E scrit sous la forme
= 0 + 1 + + n , p
V
avec 0 E = R. La pforme extrieure p est appele composante homogne
de degr p de .
1.3.3
Le produit intrieur
V
Dfinition 1.6 Soit p E une pforme extrieure sur E , p 1 et soit
X un vecteur de E. Le produit intrieur de X par est la (p 1)forme
extrieure, note i(X) (ou Xc), dfinie par
i(X)(X1 , , Xp1 ) = (X, X1 , , Xp ).
V
Lapplication i(X) : 7 i(X) est une application linaire de p E V
dans
V
E.
On
peut
tendre
cette
application
en
un
endomorphisme
de
E
p1
Pn
en posant i(X) = 0 si = a R, et i(X) =
i=1 i(X)i , o =
0 + + n est la dcomposition en composantes homognes de .
Proposition 1.23 Soient X et Y deux vecteurs de E. On a alors :
1. i(X + Y ) = i(X) + i(Y ) ,
2. i(aX) = ai(X) , a R ,
3. i(X)i(Y ) + i(Y )i(X) = 0,
4. i(X)i(X) = 0.
Ces identits se dmontrent sans dicult.
Proposition 1.24 Soient (respectivement ) une pforme (respectivement une qforme) extrieure sur E. Pour tout vecteur X E, on a :
i(X)( ) = (i(X)) + (1)p (i(X)).
Dmonstration. Considrons p + q vecteurs indpendants {e1 , , ep+q } et
supposons que X = e1 . On a
i(X)( )(e2 , , ep+q ) = ( )(e1 , , ep+q )
1 X
p!q!
sSp+q
33
et
1 X
(s)(es(1) , , es(p) )(es(p+1) , , es(p+q) ) = (1)p (i(X)).
p!q!
sS2
Do le rsultat.
1.3.4
Drivations. Antidrivations
V
Dfinition
1.7
Un
endomorphisme
linaire
h
de
E est une drivation
V
de E sil vrifie :
1. pour toute pforme extrieure sur E, h() est une forme dont le degr
est de mme parit que ,
V
2. h( ) = h() + h(), pour tous , E .
V
Dfinition 1.8 Un endomorphisme
linaire h de E est une antidrivaV
tion de
V degr qV Z de E sil vrifie :
1. h( p E) p+q E
2. (1)deg() = (1)deg(h())+1 pour tout de degr deg()
V donn,
V
p
3. h( ) = h() + (1) h() pour tous p E, E .
La deuxime condition implique que le degr dune antidrivation est ncessairement impair.
Exemple 1.2 Le produit intrieur par un vecteur X E est une antidrivation de degr 1.
34
1.3.5
V
Muni du produit extrieur, lespace vectoriel E est une algbre associative, unitaire, non commutative de dimension 2n , o n est la dimension de E.
Ces algbres jouent un rle important dans ltude de la varit de toutes les
algbres associatives que lon peut construire sur lespace E. Nous nallons
pas dvelopper cet aspect dans ce cours. Nous pouvons toutefois dcrire en
petite dimension la structure de cette algbre associative.
V
2. Une base est donne par
1. n = 1. LalgbreV E est de dimension V
{1, e1 } avec 1 0 E = R et e1 E = 1 E :
1 1 = 1 , 1 e1 = e1 1 = e1 , e1 e1 = 0.
V
2. n = 2. Si {e1 , e2 } est une base de E , une base de E est donne
par {1, e1 , e2 , e3 = e1 e2 } et le produit est donn par :
1 ei = ei 1 = ei ,
i = 1, 2, 3
e1 e2 = e2 e1 = e3 ,
les autres produits tant nuls.
Notons que toutes ces algbres associatives sont des algbres de Clifford attaches une forme quadratique nulle. Bien que la structure de ces
algbres na que peu dintrt ici, les idaux gradus vont jouer un rle
important dans la dtermination des invariants des formes extrieures.
1.3.6
Un idal I de
V
pour tous I et E . Cet idal I est dit gradu sil admet la
dcomposition vectorielle suivante :
avec Ik = I
I = I0 I1 In ,
E.
35
i+1
E.
V
Cest un idal gradu de E . Cet idal
V est non commutatif (cest--dire
I I 6= 0) ce qui montre que lalgbre E nest pas une algbre simple.
V
Soit I un idal gradu de E . Tout lment I admet une dcomposition
^
E
= 0 + 1 + + n , p
p
E.
V
Dmonstration. En eet 0 E I = I0 . Comme I est un idal, I0 6= {0}
implique I0 = R. Il sen suit que toute
V sur E est dans I.
V 1-forme linaire
Comme toutes ces formes engendrent E , on a donc E = I.
1.3.7
36
1.3.8
1E
ce qui montre que lespace engendr par les formes linaires i1 i2 ip1 concide avec lespace engendr par les formes 0i1 i2 ip1 .
Remarque 1.2 1. La construction de lespace A () montre que cet espace
est le plus petit sous espace de E tel que la pforme se dcompose en
un produit dlments de ce sous espace. En dautres termes, A () contient le minimum de formes linaires ncessaires pour crire . Ainsi, si
{ 1 , 2 , , r } est une base de A (), alors
X
=
ai1 i2 ip i1 ip .
1i1 <<ip r
2. On a toujours
deg() r(),
deg() tant le degr de . Une classe importante de formes extrieures est
compose des formes dont le degr est gal au rang.
1.3.9
Lespace A()
| i(X) = 0}.
Thorme 1.2 On a :
A() = (A ()) = {X E
| (X) = 0 A ()}.
37
1.3.10
Formes monmes
Une pforme extrieure non nulle sur E est dite forme monme sil existe
p formes linaires 1 , ..., p linairement indpendantes telles que :
= 1 ... p
Il est clair que si est une p-forme monme alors
rg () = p = deg ()
Inversement on a la caractrisation dune forme monme :
Thorme 1.3 Soit une pforme extrieure sur E. Alors est une forme
monme si et seulement si rg () = p = deg() .
Dmonstration. Soit une p-forme vrifiant rg () = p . Considrons une
base {f1 , ..., fp } de lespace A () associ . Daprs la dfinition de cet
espace, on a = a 1 ... p et est une forme monme.
38
1.4
Exercices
0
u u v0 v = u0 v 0 (u v)
1.4. EXERCICES
39
A A B B = A B 0 (A B)
Exercice 1.4 On considre ici le module E = Z/pZ sur lanneau Z. Montrer que lensemble LZ (E , F ; Z) des applications bilinaires de E F
dans Z, est rduit 0, mais quil nen est pas ainsi de E E. (On considrera lapplication (x, y) 7 xy, multiplication des entiers modulo p, En
conclure que lhomomorphisme e
j, de la proposition ci-dessus relatives au cas
des espaces vectoriels de dimension finie, nest pas bijectif (il est mme nul).
Exercice 1.5 Place lexercice qui met en vidence les rapports entre produit
tensoriel lorsquon change de corps de base.
40
Chapitre 2
Espaces vectoriels
symplectiques
2.1
42
2.2
Orthogonalit symplectique
43
1. A B = B A ,
2. A A
Et pour deux sous espaces vectoriels quelconques H, K de E, on a :
1. (H K) = H + K ,
2. (H + K) = H K . .
Proposition 2.1 Supposons que la 2forme extrieure est non dgnre.
Alors
1. E = {0}.
2. pour tout sous espace vectoriel H de E on a :
(a) H = H ,
(b) dim H = dim E dim H.
Dmonstration. La premire proprit rsulte de la relation E = ker b .
En ce qui concerne la premire partie de la seconde, on sait que H
b H = Ann (H) ,
do dim H = dim (AnnH) = dim E dim H.
44
2.3
Soient
V E un espace vectoriel de dimension n sur un corps commutatif et
2 E, une forme extrieure sur E non nulle.
Il existe deux vecteurs u1 , v1 E tels que (u1 , v1 ) = ne soit pas nul.
Posons e1 = 1 u1 et e01 = v1 , on a donc
e1 , e01 = 1
0
1
1 0
Dsignons par H2 = H1 . On a :
E = H1 H2 .
En eet, tout lment x H1 H2 scrit ncessairement sous la forme :
x = e1 + 0 e01
avec de plus
(x, e1 ) = x, e01 = 0,
par suite = 0 = 0, ce qui montre que le vecteur x est nul, cest dire que
lon a H1 H2 = (0) .
Soit maintenant x un vecteur quelconque de E. crivons
(y, e1 ) = 0 et y, e01 = 0,
45
S1
..
Sp
M (, B) =
..
.
0
avec
S1 = . . . = Sp = S =
0
1
1 0
(2.1)
46
i (e ) = i , i e0 = 0 et i (w ) = 0
j
j
j
j
0i (ej ) = 0, 0i e0j = ij et 0i (wj ) = 0
i (ej ) = 0, i e0 = 0 et i (wj ) = ij .
j
47
Proposition 2.2 Deux 2formes extrieures 1 et 2 sur un espace vectoriel E de dimension n sont quivalentes si et seulement si, leurs matrices
respectives A et B par rapport une base donne vrifient :
A = t U BU
o U est une matrice inversible dordre n.
Proposition 2.3 Soit une 2forme extrieure de rang 2p sur un espace
vectoriel E de dimension n, alors elle est quivalentes la forme extrieure
0
0 = 1 1 + . . . + p 0p .
0
S1
..
S
p
t
QM (, B) Q =
..
.
0
avec
S1 = . . . = Sp = S =
0
1
1 0
48
2.4
2.4.1
Soit E un espace vectoriel de dimension finie sur K. Une forme symplectique sur E est une 2forme extrieure non dgnre. Un espace vectoriel
symplectique, est un couple (E, ) dans lequel E est un espace vectoriel de
dimension paire 2n, et est une forme symplectique.
Soit (E, ) un espace vectoriel symplectique de dimension 2n. La base
S 0
0
M (, B) = ... . . . . . .
0 ... S
avec
S=
0
1
1 0
= 1 1 + . . . + n 0n
V
Proposition 2.4 Soit E un espace vectoriel de dimension finie et 2 E
une 2forme extrieure sur E. Alors les proprits suivantes sont quivalentes :
1. rg = 2p,
2. p 6= 0 et p+1 = 0
Dmonstration. Cette proposition rsulte de la relation suivante :
0
p = p! 1 1 . . . p 0p = p!
0
pour = 1 1 + . . . + p 0p .
2.4.2
49
Exemples
1. Dans le cas o la 2forme extrieure est quelconque (non ncessairement non dgnre). on dfinit une 2forme extrieure sur lespace
E
, par :
vectoriel quotient E = A()
(x + A () , y + A ()) = (x, y)
pour tous x, y E.
2.4.3
50
51
Proposition 2.7 Soit (, L) une polarisation relle sur E. Alors toute base
1 , . . . , n de lannulateur Ann (L) de L, peut tre complte en une base
1 , . . . , n , 01 , . . . , 0n de E telle que :
= 1 01 + . . . + n 0n .
Dmonstration. Soient 1 , . . . , n une base de lannulateur Ann (L) , que
lon complte en une base 1 , . . . , n , 1 , . . . , n de E , {u1 , . . . , un , v1 , . . . , vn }
la base de E dont la base duale est 1 , . . . , n , 1 , . . . , n .
Il est clair que le sous espace L est dfini par les quations 1 = 0, . . . , n =
0, et dans ces notations on a L = V ect (v1 , . . . , vn ) .
La 2forme scrit :
X
X
X
aij i j +
bij i j +
cij i j ,
=
1i<jn
1i,jn
1i<jn
Comme L est lagrangien, on dduit que (vi , vj ) = 0, et, donc, cij = 0 quels
que soient i, j = 1, . . . , n. par consquent la 2forme scrit
n
n
n
X
X
X
i
aij j +
bij j .
=
i=1
Posons 0i =
j>i
P
n
Pn
j
j
j>i aij +
i=1 bij
1
, . . . , n , 01 , . . . , 0n
La famille
2-forme scrit
n
X
i=1
2.4.4
i=1
i 0i ,
Endomorphisme adjoint
Soient E un espace vectoriel de dimension 2n muni dune structure symplectique . Rappelons que lapplication b : x 7 i (x) dfinit un isomorphisme de E sur son espace dual E .
52
Soit u un endomorphisme de E.
Pour chaque t E , il existe un unique t0 E tel que (t u b )(t) =
b (t0 ), la correspondance t 7 t0 permet de dfinir une application de E
dans lui mme, note uT , telle que pour tous t et x appartenant E, on
ait :
(t, u(x)) = (uT (t), x).
On dduit que pour tous u, v End(E) on a les proprits suivantes :
1. (t, u(x)) = (uT (t), x) pour tous t, x E ,
2. lapplication uT est linaire,
3. (u + v)T = uT + vT , (u)T = uT ,
(idE )T = idE ,
4. (u v)T = v T uT , uT T = u ,
5. si u GL(E) alors uT GL(E) et lon a (uT )1 = (u1 )T .
Lendomorphisme uT est appel endomorphisme adjoint de u .
2.5
53
M (, Bs ) = J =
0
In
In 0
U JU = J.
Notons par Sp (n, K) le groupe des matrices des automorphismes symplectiques de E par .rapport la base Bs . Ainsi, une matrice carre
A C
,
B D
avec A, B, C et D sont des matrices n n coecients dans le corps K, est
dans le groupe Sp (n, K) , si et seulement si,
1. t AD t BC = In ,
2. t AB et t CD sont des matrices symtriques.
Soit maintenant (, L) une polarisation relle sur E, cest dire, une
forme symplectique et L est un sous espace lagrangien. On sait quil existe une base Bs = ( e1 , . . . en , e01 , . . . , e0n ) de E telle que si on dnote par
e1 , . . . , en , e01 , . . . , e0n , sa base duale, on a :
54
A C
,
0 D
avec A, C et D sont des matrices n n coecients dans le corps K, est
dans le groupe Sp (n, K) , si et seulement si,
1. t C D est symtrique,
2. t AD = In ,
Ainsi, le groupe Sp (1, n; K) est form des matrices du type :
A C
0 t A1
Proposition 2.9 Dans les hypothses et notations ci dessus, les automorphismes symplectiques (resp.1-symplectiques) transforment les sous-espaces
totalement isotropes (resp. lagrangiens) en sous-espaces totalement isotropes
(resp. lagrangiens).
Dmonstration. Soient Sp(E, ) et L un sous-espace vectoriel de E
totalement isotrope. Pour tous x, y E on a
((x), (y)) = (x, y) = 0 ,
donc le sous-espace (L) est totalement isotrope.
Supposons que L soit lagrangien, comme (L) est de dimension n =
1
2 dim E, on dduit quil est lagrangien.
55
56
Chapitre 3
Varits direntiables
On peut
n comme une ruS voir une varit direntiable M de dimension
n
nion
U (finie ou dnombrable) douverts de R dont chaque ouvert est
muni dun systme de coordonnes locales (xi )1in et telle que si U et V
sont deux ouverts de M dintersection non vide, munis respectivement des
systmes de coordonnes locales (xi )1in et (yj )1jn alors chacun de ces
systmes se laisse exprimer direntiablement en fonction de lautre et dont
le jacobien
yj
det
xi 1i,jn
est non nul.
Un vecteur tangent une varit M de dimension n, en un de ses points
x, par rapport un systme de coordonnes locales (xi )1in , est une famille
de nombres rels (ui )1in telle que si, par rapport un autre systme
de coordonnes locales (yi )1in , ce vecteur soit reprsent par une autre
famille de nombres rels (vi )1in , alors les familles (ui )1in et (vi )1in
reprsentant ce mme vecteur, sont lies par la relation :
ui =
xi
vj .
yj
58
3.1
Varits direntiables
(3.1)
f|U = F x1|U , . . . , xn|U
o F = f 1 .
59
1
n
et inversement :
,
.
.
.
,
y
fonction des coordonnes y|U
V
|UV
et
ici 1
phismes
1
n
xi|U V = F i y|UV
, . . . , y|UV
i
i
1
n
x
=
G
,
.
.
.
,
x
y|U
V
|UV
|U V
1
= F , . . . , F n et 1 = G1 , . . . , Gn . Les homomor 1 : (U V ) (U V )
et
1 : (U V ) (U V )
sont appels changements de coordonnes (ou changements de cartes).
Un atlas de M est une famille (i )iI dont les domaines Ui recouvrent
M :
[
Ui .
M=
iI
A B A et B sont C k quivalents,
60
3.2
3.2.1
61
3.2.2
Surface rgulire de R3
f
f
f
(5f ) (p) =
(p),
(p),
(p)
x1
x2
x3
de f est non nul.
Proposition. Si M est rgulire, alors, M est une varit direntiable
de dimension 2 de classe C k .
Dmonstration. Notons dabord que le sous-ensemble M muni de la topologie induite par celle de R3 est spare.
f
Soit p un point de M tel que (5f ) (p) 6= (0, 0, 0). Si x
(p) 6= 0, .on
3
3
3
considre lapplication : W R dfinie par :
3 (x1 , x2 , x3 ) = (x1 , x2 , f (x1 , x2 , x3 )) .
f
Le jacobien J 3 (p) = x
(p) 6= 0, donc, daprs le thorme dinversion
3
locale, il existe un voisinage ouvert Up3 de p dans R3 et un voisinage ou3
vert V(p)
de 3 (p) dans R3 tel que la restriction 3|U 3 de 3 Up3 est un
p
3 .
C k diomorphisme de Up3 sur V(p)
Identifions lespace R2 au sous espace vectoriel R2 {0} de R3 . On a
T
3
V 3 (p) = R2 3 Up3 est un ouvert de 3 (p) dans R2 et la restriction de 3
T
T
3
3
3
U p = M Up3 est un homomorphisme de U p sur V 3 (p) = R2 3 Up3 ,
cest dire une carte au point p dfinie par 3 (x1 , x2 , x3 ) = (x1 , x2 ) .
Lhomomorphisme inverse
\
\
3 1
3
3
: V 3 (p) = R2 3 Up3 U p = M
Up3
scrit :
(x1 , x2 ) = x1 , x2 , 3 (x1 , x2 ) .
62
2
2
Identifions T
lespace
{0} de R3 . On a
1 R au sous espace vectoriel R
2
1
1
1
V 1 (p) = R
Up est un voisinage ouvert de (p) dans R2 et la
T
1
1
1
restriction de 1 U p = M Up1 est un homomorphisme de U p sur V (p) =
T
R2 1 Up1 , cest dire une carte au point p dfinie par 1 (x1 , x2 , x3 ) =
(x2 , x3 ) .
Lhomomorphisme inverse
\
\
1 1
1
1
: V 1 (p) = R2 1 Up1 U p = M
Up1
scrit :
1 1
(x2 , x3 ) = 1 (x2 , x3 ) , x2 , x3 .
o 1 est de classe C k .
1T 3
f
f
(p) 6= 0 et x
(p) 6= 0, et les changements de
Si p U p U p , on a x
1
3
1
coordonnes 3 1
est donne par :
1
3 1
(x2 , x3 ) = 3 1 (x2 , x3 ) , x2 , x3 = 1 (x2 , x3 ) , x2
3.2.3
La sphre S n .
et, dsignons par (ei )1in+1 la base canonique de Rn+1 et par En lhyperplan
de Rn+1 dfini par lquation xn+1 = 0 (En est appel hyperplan quatorial
de S n ), on identifie videmment lhyperplan quatorial avec Rn .
63
N (x1 , . . . , xn , xn+1 ) =
x1
xn
,...,
1 xn+1
1 xn+1
x1
xn
,...,
1 + xn+1
1 + xn+1
64
3.2.4
Rn+1 {0}
.
x1
xi1 xi+1
xn+1
,
,...,
,
,...,
i (x1 , . . . , xn , xn+1 ) =
xi
xi
xi
xi
pour tout (x1 , . . . , xn , xn+1 ) Rn+1 et par i lapplication de U i dans Rn
dfinie par :
i (u) = i (u)
pour tout u U i , o u est la classe de u modulo la relation dquivalence
.
Les i dfinissent des applications bijectives, et compte tenu de la topologie quotient de RP (n), la famille (i )1in+1 confre lespace projectif rel
une structure de varit direntiable de dimension n et de classe C .
3.3
3.3.1
Fonctions direntiables
Dfinitions
65
|(U V )
: (U V ) (U V )
o f, g C k (M, R) et R, est une Ralgbre. Bien entendu, on identifie le corps R des nombres rels au sous ensemble de C k (M, R) form des
fonctions f : M R qui sont constantes sur M.
Il est clair que lalgbre C k (M, R) est compltement dtermine par
latlas A, en fait, deux atlas C k quivalents sur M dfinissent la mme
Ralgbre C k (M, R)
Remarque 3.2 Un atlas de classe C k donne un choix particulier de fonctions direntiables, bien entendu, une fonction f peut tre direntiable
par rapport un atlas sans
ltre par
rapport un autre, par exemples, les
atlas A = {idR } et B = x 7 x3 forms dune seule carte, ne sont pas
quivalents, par consquent, ils dfinissent des structures direntes de varit direntiable sur R, et par consquent, ils donnent des choix dirents
pour les fonctions relles direntiables.
66
1
2 f 1
1 1
.
2 f 1
1 = 2 2
1
1
3.3.2
67
Fonctions plateau
Proposition 3.1 Soient M une varit direntiable de dimension n de
classe C k et p un point de M. Il existe deux ouverts V et W de p dans M
tels que W V et une fonction f : M R de classe C k , nulle sur M V,
gale 1 sur W et qui vrifie 0 < f (x) < 1 pour tout x V W.
Dmonstration. Considrons les fonctions relles dune variable relle u, v
et w dfinies par :
(
1
si |x| < 1
exp 1x
2
u (x) =
0 si |x| 1,
v (x) =
Rx
+
R
u (t) dt
u (t) dt
68
1
l (x) si x U,
f (x) =
0 si x
/ U.
Lapplication f satisfait aux hypothses du thorme avec V = 1 B 0, 3
et W = 1 (B (0, 1)) .
La fonction f donne par le thorme prcdent, est appele fonction
plateau
Partition de lunit
Tout dabord, donnons les dfinitions suivantes :
1. Un recouvrement ouvert (Ui )iI dun espace topologique T est dit
localement fini, si pour tout x T, il existe un voisinage U de x tel
que lensemble
n
o
\
i I | Ui U 6=
est fini.
2. Un recouvrement ouvert (Ui )iI dun espace topologique T est dit plus
fin quun autre recouvrement (Vj )jJ , si chaque lment Ui du premier
recouvrement est contenu au moins dans un lment Vj du second :
(i I) (j J) (Ui Vj ) .
3. Un espace topologique T est dit paracompact si, il est spar et si de
tout recouvrement ouvert de T , il existe un recouvrement ouvert plus
fin localement fini. Pour une varit M spare et connexe (ou une
runion dnombrable de varits connexes), on dmontre lquivalence
suivante :
(a) M est paracompacte
(b) M possde une base topologique dnombrable.
4. Une partition de lunit sur une varit direntiable M est une famille
(i )iI de fonctions positives telles que :
(a) la famille (supp (i ))iI est localement finie,
(b) supp (i ) est compact
iI
69
i (x) = 1
5. La partition de lunit (i )iI est dite de classe C l sin toutes les fonctions i sont de classe C l .
6. Une partition de lunit (i )iI est dite subordonne un recouvrement (Vj )jJ si pour tout i I, il existe j J, telle que suppi Uj .
Thorme 3.1 Pour tout atlas A = {(Ui , i ) | i I} dune varit paracompacte de classe C k , il existe un recouvrement ouvert plus fin auquel est
subordonn une partition de lunit.
Pour la dmonstration, on se refre lexpos de A. Eladraoui
3.3.3
Fi
((x0 ))
xj
1jn,1im
une matrice de rang p. Quitte changer la numrotation des xj et des Fi ,
ce qui revient changer les cartes , on peut supposer que le dterminant :
F1 ((x0 )) . . . F1 ((x0 ))
x1
xp
..
..
..
d (x0 ) =
.
.
.
Fp
p
x1 ((x0 )) . . . F
((x
))
0
xp
70
est non nul. Lapplication x 7 d (x) est continue (puisque f est de classe
C k avec k 1), donc il existe un voisinage ouvert W de x0 dans lequel
lapplication d ne sannule pas.
Soit G : Rn Rn lapplication de Rn dans Rn dfinie par :
G (x1 , . . . , xn ) = (F1 (x1 , . . . , xn ) , . . . , Fp (x1 , . . . , xn ) , xp+1 , . . . , xn ) .
Le jacobien J (G) ((x)) de lapplication G au point (x) vaut d (x) :
J (G) ((x)) = d (x)
pour tout x W, le thorme dinversion locale implique quil existe un
voisinage ouvert V de (x0 ) et un voisinage V 0 de G ( (x0 )) tel que G
dfinit un diomorphisme de V sur V 0 .
On voit donc que lapplication
=G
dfinit un systme de coordonnes locales au voisinage de x0 . Lexpression
locale H de f dans les cartes et 0 scrit :
H = (H1 , . . . , Hm ) = 0 f 1 = 0 f 1 G1 = F G1 ,
et par dfinition mme de G, on a :
Hi (x1 , . . . , xn ) = xi pour i = 1, . . . , p.
On a aussi
Hi
=0
xj
xi si 1 i p
Ki (x1 , . . . , xm ) =
xi Hi (x1 , . . . , xp ) pour tout i = p + 1, . . . , m
71
D (K1 , . . . , Km )
= 1.
D (x1 , . . . , xm )
f 1 (x1 , . . . , xn ) = K 0 f 1 (x1 , . . . , xn )
= K (H1 (x1 , . . . , xn ) , . . . , Hm (x1 , . . . , xn ))
= K (x1 , . . . , xp , Hp+1 (x1 , . . . , xp ) , . . . , Hm (x1 , . . . , xp ))
= (x1 , . . . , xp , Hp+1 Hp+1 , . . . , Hm Hm )
= (x1 , . . . , xp , 0, . . . , 0) ,
ce qui montre que lexpression locale de f dans les cartes et 0 est
lapplication
(x1 , . . . , xn ) 7 (x1 , . . . , xp , 0, . . . , 0)
de Rn dans Rm .
72
Corollaire 3.1 Si f est une immersion (resp. une submersion), alors pour
tout point x0 M1 , il existe une carte (U, ) en x0 , une carte (V, ) en
y0 = f (x0 ) , telles que lexpression locale de f dans les cartes et se
rduit lapplication :
(u1 , . . . , un ) 7 (u1 , . . . , un , 0, . . . , 0).
(resp. (u1 , . . . , un ) 7 (u1 , . . . , um )).
Sous-varits
Soit M une varit direntiable de dimension n de classe C k avec (k 1),
soit p un entier naturel infrieur ou gal n (p n), et soient X un espace
topologique et f : X M une application qui vrifie la proprit suivante
:
(P ) Pour tout x X, il existe un voisinage ouvert U de x, une carte
locale (V, ) au point y = f (x) telle
T que f (U ) V et f est
un homomorphisme de U sur (V ) Rp , en identifiant Rp au sous
espace Rp {0} de Rn .
Les couples (U, f ) forment un atlas de classe C k sur X, dfinissant
ainsi une structure de varit direntiable de dimension p de classe C k sur
X; appele image inverse par f de la structure de varit de M de classe
C k , pour laquelle f est une immersion
On distingue les cas suivants :
1. Si X est un sous espace topologique de M (X M ), f est linjection
canonique x 7 x vrifiant la proprit (P ), on dit que X est une
sous-varit (plonge) de M.
2. Si X est un sous ensemble de M muni dune topologie qui nest pas
ncessairement la topologie induite par celle de M, mais qui est telle
que linjection canonique f : x 7 x soit continue et possde la proprit (P ), X est appele sous varit immerge dans M.
On remarque quune mme partie de M peut tre munie parfois de
plusieurs structures direntes de sous varit immerge.
Toute partie ouverte dune varit direntiable M de dimension n et de
classe C k est une sous-varit de M de dimension n et de classe C k .
Tout sous espace discret au plus dnombrable dune varit direntiable
M de dimension n et de classe C k est une sous-varit de M de dimension
0.
73
Par suite la proprit (P ) est satisfaite, ce qui montre que M est une sous
varit plonge de Rn de classe C k et de dimension n 1. On dit que M est
une hypersurface de Rn .
3.3.4
Groupes de Lie
On appelle groupe de Lie de dimension n, un groupe (G, .) muni dune
structure de varit direntiable de dimension n de classe C compatible
avec la structure de groupe, cest dire, les applications
(x, y) 7 x.y et x 7 x1 ,
de G G dans G est de classe C .
Le groupe produit G1 G2 , dun groupe de Lie G1 de dimension n
par un groupe de Lie G2 de dimension m, muni de la structure de varit
direntiable produit, est un groupe de Lie de dimension n + m, en eet, les
applications
pr1 pr1 et pr2 pr2 ,
74
(x, y) 7 x1 , y1
est de classe C .
Soit G un groupe de Lie de dimension n. Pour tout a G , les applications
La : x 7 ax et Ra : x 7 xa,
75
76
0
r.r aa0 bb0 cc0 , ra0 + ar0 + bc0 cb0 , rb0 + br0 + ca0 ac0 , rc0 + cr0 + ab0 ba0 .
En dsignant par 1, i, j, k la base canonique de R4 , on vrifie aisment
que lon a :
i2 = j 2 = k 2 = 1 et ij = k, jk = i, ki = j
et que lensemble H est un corps non commutatif dont les lments
scrivent sous la forme q = r +ai+bj +ck et sont appels quaternions.
Le quaternion q =raibjck est appel conjugu de q est le nombre
rel positif |q| = r2 + a2 + b2 + c2 est appel module de q.
Il est clair que lapplication (q, q 0 ) 7 q.q 0 est de classe C , donc le
groupe multiplicatif (H , .) est un groupe de Lie de dimension 4.
77
Remarquons que toute matrice M M (n, R) et pour tout entier naturel non nul n tel que n1 soit infrieur strictement toutes les valeurs
propres ventuelles de M, la matrice M n1 In est inversible, et on a
M
1
In M quand n +,
n
0
In
.
J=
In 0
Le groupe Sp (n, R) est form des matrices carres du type :
A C
,
B D
avec A, B, C et D sont des matrices n n coecients dans le corps
R, vrifiant les relations
(a) t AD t BC = In ,
78
Algbres de Lie
Une algbre de Lie G sur K (K = R ou C) est un Kespace vectoriel muni
dune application bilinaire : G G G vrifiant :
1. (x, x) = 0 pour tout x G,
2. (x, (y, z)) + (y, (z, x)) + (z, (x, y)) = 0 pour tous x, y, z G.
La premire relation est quivalente ici :
(x, y) = (y, x)
quels que soient x, y G.
La deuxime relation est appele identit de Jacobi.
En gnral (x, y) est dnote par [x, y], et se lit crochet x y.
Supposons que G soit de dimension finie n, et soit (ei )1in une base du
Respace vectoriel G, pour tous i, j = 1, . . . , n, crivons :
k
(ei , ej ) = Cij
ek ,
Exemples 3.1
1. Tout espace vectoriel G est muni dune structure triviale dalgbres de Lie en posant :
(X, Y ) = 0 pour tous X, Y G,
cette algbre de Lie est dite ablienne.
79
est une sous algbre de Lie de M (n, K) appele algbre spciale linaire.
80
so (n, K) = A M (n, K) | t A = A
est une sous algbre de Lie de M (n, K) appele algbre spciale orthogonale.
sp (n, K) = A M (2n, K) | t AJ = JA
0
In
.
J=
In 0
lalgbre de Lie ainsi obtenue est appele algbre de Lie quotient de G par
I.
Exemples 3.3
1. Pour toute algbre de Lie G, (0) et G lui mme sont
des idaux de G.
2. Soit (G, ) une algbre de Lie. On dnote par Z (G) le centre de G,
cest dire lensemble des lments x G tels que (x, y) = 0 pour
tout y G :
Z (G) = {x G tels que (x, y) = 0 pour tout y G} .
Alors Z (G) est un idal de G.
3. Soient (G, ) une algbre de Lie et H.une sous algbre de Lie de G.
On dnote par NG (H) le normalisateur de H dans G, cest dire
lensemble des lments x G tels que (x, H) H :
NG (H) = {x G tels que (x, H) H} .
Alors NG (H) est une sous algbre de Lie de G contenant H, et donc,
H est un idal de NG (H).
81
Soient (G1 , 1 ) et (G2 , 2 ) deux algbres de Lie sur le mme corps commutatif K, et u : G1 G2 une application linaire, on dit que u est un
homomorphisme dalgbres de Lie si elle conserve la structure dalgbre de
Lie, cest dire :
u (1 (x, y)) = 2 (u (x) , u (y)) pour tous x, y G1 .
Un homomorphisme bijectif dalgbres de Lie sera appel isomorphisme
(dalgbres de Lie), un homomorphisme dalgbres de Lie, dune algbre
de Lie dans elle mme, sera appel endomorphisme (dalgbres de Lie), et
enfin, un isomorphisme dalgbres de Lie, dune algbre de Lie G sur G, sera
appel automorphisme (dalgbres de Lie).
Nous admettons le rsultat suivant :
Thorme dAdo 3.1 Toute algbre de Lie de dimension finie sur un corps
K de caractristique nulle est isomorphe une algbre de Lie de matrices.
3.3.5
Voir expos
3.4
3.4.1
T
sil existe un voisinage ouvert W U (f ) U (g) , tel que f|W = g|W . Il
est clair que x est une relation dquivalence sur Dx (M1 , M2 ) . La classe
dquivalence dune application f : U (f ) M2 est appele germe de f au
point x et est dnot par Jx0 (f ) .
Cx (M1 , M2 )
lensemble de tous les germes
On dnote par Jx0 (M1 , M2 ) =
x
au point x dlments de Cx (M1 , M2 ) .
82
1 R)
de tous les
Lorsque M2 = R, lensemble quotient Jx0 (M1 , R) = Cx (M
x
germes au point x dlments de Cx (M1 , R) , muni en plus des lois :
3.4.2
d f 1 (x0 ) = 0.
Cette dfinition est intrinsque, en eet, si (V, ) est une autre carte en
x0 , alors on a :
Remarque 3.3 Observons que pour deux lments quelconque f, g Dx0 (M, R)
tels que f (x0 ) = g (x0 ) = 0. alors f g est plate en x0 , en eet,
d fg 1 (x0 ) = d f 1 g 1 (x0 )
X : Dx0 (M, R) R
vrifiant les proprits suivantes :
1. X (f + g) = X (f ) + X (g), (Forme linaire)
2. X (fg) = f (x0 ) X (g) + X (f ) g (x0 )
pour tous , R et f, g Dx0 (M, R) .
83
f
(x0 , ei ) .f = dfx0 (ei ) =
(x0 ) =
(f ),
xi
xi x0
n
quelle que soit la fonction f Dx0 (R
, R)
. Ainsi, le couple (x0 , ei )
(x0 , ei ) =
xi
x0
f
(f ) := d f 1 (x0 ) (ei ) :=
(x0 ) .
xi x0
xi
pour tout f Dx0 (M, R) . De plus on a :
(f ) = 0
xi x0
si f est plate en x0 .
Proposition 3.3 Pour toute drivation X en x0 et pour toute fonction f
Dx0 (M, R) , le nombre X (f ) ne dpend que du germe Jx00 (f ) .
Dmonstration. Soient f, g Dx0 (M, R) telles que f x g. Soit (U, ) une
carte en x0 . Il existe un voisinage ouvert W U, tel que f|W = g|W et
une fonction plateau : M R, de classe C k telle que (x) = 1 sur un
voisinage V W et (x) = 0 sur M W. On a donc,
X (f ) = X () f (x0 ) + X (f )
X (g) = X () g (x0 ) + X (g) ,
comme f = g, f (x0 ) = g (x0 ) , on dduit que X (f ) = X (g) .
84
1
i f (x0 ) (xi xi (x0 ))+
(xi xi (x0 )) (xj xj (x0 )) gij
f = f (x0 )+
i=1
avec
gij (x) =
i,j=1
2
f 1 (x0 )+t((x)(x0 )) dt.
(1 t) ij
P
Si f est plate en x0 , alors f = f (x0 )+ ni,j=1 (xi xi (x0 )) (xj xj (x0 )) gij ,
et il rsulte de la remarque 3.3, que X (f ) = 0, ce qui montre limplication
(1) = (2) .
Rciproquement, on suppose que X (f ) = 0 ds que f est plate en x0 .
Soient donc f, g Dx0 (M, R) . Puisque la fonction (f f (x0 ))(g g(x0 ))
est plate en x0 , alors X ((f f (x0 ))(g g(x0 ))) = 0, et comme on a :
f g = (f f (x0 ) + f (x0 ))(g g(x0 ) + g(x0 ))
= (f f (x0 ))(g g(x0 )) + f (x0 )(g g(x0 )) + g(x0 ))(f f (x0 )) + f (x0 )g(x0 ),
on dduit que
X(fg) = f (x0 )X ((g g(x0 ))) + X ((f f (x0 ))) g(x0 ))
= f (x0 )X(g) + X (f ) g(x0 ), .
do (2) = (1) , et la proposition est dmontre.
Dfinition 3.1 On appelle vecteur tangent la varit M au point x0 , toute
forme linaire X : Dx0 (M, R) R, vrifiant lune des proprits quivalentes de la proposition 3.4.
85
,...,
x1 x0
xn x0
les vecteurs tangents associs ce systme de coordonnes locales. Montons
que ces drivations forment une base de lespace tangent Tx0 M.
Pour toute fonction f Dx0 (M, R) , la fonction
f
n
X
f
(x0 ) xi
xi
i=1
n
n
X
X
f
(x0 ) X(xi ) =
X(xi )
(f )
X(f ) =
xi
xi x0
i=1
i=1
par consquent on a :
X=
n
X
X(xi )
i=1
xi
x0
xi
x0
1
2
n
+
+ ... +
= 0,
x1 x0
x2 x0
xn x0
La relation
xi
x0
86
on dduit
P
yj
n
1
(f
)
=
d(f
)
(x
)e
0
j
(x
)
j=1
0
xi x
xi
0
P
Pn yj
1
= j=1 xi (x0 )ej d(f )(x0 ) (ej ) = nj=1
yj
xi (x0 )ej
yj
n
X
yj
=
xi x0
xi x0 yj x0
j=1
et
yi
x0
n
X
xj
j=1
yi
x0
xj
x0
Ainsi, si un vecteur tangent X Tx0 M, de composantes X i 1in (resp.
i
(resp.
),
Y 1in ) par rapport la base
xi x
yi x
0 1in
0
1in
i
i
alors les familles X 1in et Y 1in sont lies par les relations
i
X =
n
X
xi
j=1
yj
x0
Y et Y =
n
X
yi
j=1
xj
Xj.
x0
= (x0 , ei ) ,
xi x0
ainsi, lespace tangent Tx0 Rn concide avec {x0 } Rn , videmment, Tx0 Rn
est muni de sa structure despace vectoriel dfinie par :
(x0 , u) + (x0 , v) = (x0 , u + v) et (x0 , u) = (x0 , u) .
x0
(f ),
87
3.4.3
Application tangente
,...,
x1 x
xn x
les vecteurs tangents associs ce systme de coordonnes locales.
Alors pour toute fonction g D(x) (Rn , R) , on a :
88
xi
= ( (x) , ei ) ,
xi
x 1in
zj
(yj ) =
(yj f ) = i yj f 1 (x) :=
(x) ,
dfx
xi x
xi x
xi
ce qui montre que la
matrice delapplication linaire dfx dans les bases
et
est la matrice
xi
yj
x 1in
f (x)
1jp
zj
(x)
,
xi
1in,1jp
avec zj = yj f.
On appelle application tangente dune application direntiable f : M1
M2 , lapplication
T f : T M1 T M2
dfinie par :
T f 1 = (T (f ))1 .
(dfx )1 = df 1 f (x) .
3.4.4
89
d
dt
t0
, la forme
linaire
d
d (f )
d
(t0 ) .
: D(t0 ) (M, R) R, f 7
(f ) =
dt t0
dt t0
dt
d
dt
t0
n
X
Xi
i=1
xi
x0
Soit > 0 tel que (x0 ) + tdx0 (X) (U ) ds que |t| < , et soit
3.4.5
d
dt
= X,
Application cotangente
Tx M.
xM
90
, dxi (x0 ) = ij ,
xj x0
, . . . , xn
.
ainsi, dx1 (x0 ) , . . . , dxn (x0 ) est la base duale de x 1
x0
x0
n
X
yi
dxj (x0 )
n
X
xi
dyj (x0 ) .
j=1
et
dxi (x0 ) =
j=1
xj
yj
x0
x0
n
X
ai dxi (x0 ) =
i=1
n
X
bi dyi (x0 )
i=1
lcriture du covecteur x0 dans les bases dx1 (x0 ) , . . . , dxn (x0 ) et dy1 (x0 ) , . . . , dyn (x0 )
de lespace Tx0 M des corepres en x0 , alors les composantes (ai )1in et
(bi )1in sont lies par :
bi =
n
X
xj
aj
n
X
yj
bj .
j=1
et
ai =
j=1
yi
xi
x0
x0
91
fx0 = t (dfx0 )
Ty0 =f (x0 ) M2
dfinie par :
fx0 (y0 ) = t (dfx0 ) ( y0 ) = y0 dfx0 .
Les applications contangente vrifient la relation de composition qui est la
suivante : tant donnes trois varits direntiables M1 , M2 et M3 de classe
C k , avec (k 1) et
f
M1 M2 M3
gy
0
0
Ty0 M2
Tz0 M3 ,
Tx0 M1
0
Ty0 M2
Tx0 M1
92
T(x
Rn = { (x0 )} (Rn ) .
Tx0 M
0)
On dsigne par (ei )1in la base canonique de Rn et par ei 1in sa base
duale. On vrifie aisment quon a la relation :
dx0
3.4.6
xi
= ( (x0 ) , ei ) ,
x0
Structures direntielles de T M et de T M
est un isomorphisme
vectoriels.
despaces
e
Vrifions que Ui , ei
est un atlas de classe C k1 . En eet, on a :
iI
93
1. les applications
e i sont des bijections, la bijection rciproque de
e i est
donne par :
1
1
e 1
(y,
v)
=
(y)
,
[d
(
)
]
(v)
i x
i
i
2.
S e
Ui = T M
iI
1
1
1
3.
ei
i j (y) , d i j
e j (y, v) =
v
y
ei , ei
U
iI
gij (x) = d i 1
,
j
j (x)
T
2. gij est une application direntiable de classe C k de Ui Uj valeurs
dans le groupe linaire Gl (n, R).
T T
3. gij (x) gjl (x) = gil (x) pour tous i, j, l I et x Ui Uj Ul .
94
ei
Pour toute carte (Ui , i ) A, on note par Uei = 1 (Ui ) et par ei : U
i (Ui ) Rn , lapplication dfinie par :
e i (x, x ) = i (x) , 1
(
)
,
x
i
or 1
( x ) = x d 1
= x [di (x)]1 :
i
i
(x)
i
(1
i )
Ti (x) Rn Tx M,
E
D
E D
1
1
ej , i
(x ) = d i (x) (ej ) , x =
, x = aj ,
i
xij x
on peut donc crire
ei , ei
On vrifie aisment que la famille U
dfinit un atlas de classe
iI
x 7 Xx
telle que
X = idM ,
tant la projection canonique : T M M, (x, v) 7 x. Autrement
dit, pour tout x M, Xx Tx M.
On dnote par (T M ) (o X (M )) lensemble des champs de vecteurs
sur M. Muni des oprations :
(X + Y ) (x) = X(x) + Y (x)
(f X) (x)
= f (x)X(x),
(T M ) des champs de vecteurs sur M est un F (M, R) module, o F (M, R)
est lanneau des applications f : M R
95
,...,
,
x1
xn
et tout champ de vecteurs X sur louvert U scrit sous la forme :
X=
n
X
i=1
fi
xi
96
Dfinition 3.2 Une varit direntiable M de dimension n est dite paralllisable si le F (M ) module (T M ) des champs de vecteurs sur M est
libre de rang n, cest dire, il existe n champs de vecteurs X1 , . . . , Xn
(T M ) , indpendants en tout point de M, tels que tout champ de vecteurs
X (T M ) scrit sous la forme :
X=
n
X
f i Xi
i=1
avec f 1 , . . . , f n F (M ) .
Exemples 3.5
1. Rn est paralllisable.
,...,
,
x1
xn
les n champs de vecteurs locaux sur U associs ce systme de coordonnes
locales. Alors
1. Pour tous i, j = 1, . . . , n, on a :
,
=0
xi xj
En eet, pour toute application direntiable f C (M, R) , on a :
2
2
,
f
f=
f
f =0
(f ) =
xi xj
xi xj
xj xi
xi xj
xj xi
daprsaps le lemme de Schwartz.
n
X
i=1
97
fi
,Y =
gi
(T U ) ,
xi
xi
i=1
j
j
i g
i f
g
.
[X, Y ] = f
xi
xi xj
Proposition 3.5 On a :
1. [X, X] = 0 pour tout X (T M ),
2. [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y ]] = 0 pour tous X, Y, Z (T M )
(Identit de Jacobi).
Ainsi, (T M ) est une algbre de Lie relle.
On appelle forme de Pfa sur M, toute application direntiable
: M T M,
x 7 x
telle que
= idM ,
tant la projection canonique : T M M. Autrement dit, pour tout
x M, x Tx M.
On dnote par (T M ) (o 1 (M ) ou 1 (T M )) lensemble des formes
de Pfa sur M. Muni des oprations :
( + )x = x + x
(f )x
= f (x)x ,
1 (M ) des formes de Pfa sur M est un F (M, R) module, o F (M, R) est
lanneau des applications direntiables f : M R
toute carte (U, = (x1 , . . . , xn )) est associ n formes de Pfa sur U
dx1 , . . . , dxn ,
et toute forme de Pfa sur louvert U scrit sous la forme :
=
n
X
i=1
fi dxi
98
(M ) F (M )
1 (M ) ,
hX, i : x 7 hXx , x i .
Groupe un paramtre
99
tn An
tA t2 A2
+
+ ... +
+ . . . x.
(t, x) = t (x) = exp(tA)x = 1 +
1!
2!
n!
est un groupe un paramtre de lespace Rn ; ceci dcoule des proprits
de lexponentielle dune matrice.
cos t sin t 0
x
x cos t y sin t
(t, (x, y, z)) = sin t cos t
0 y = x sin t + y cos t
0
0
1
z
z
est un groupe paramtre de diomorphisme de la sphre S 2 .
100
d (t (x))
|t=0 .
dt
Pour tout t0 R, on a :
d (t0 +t (x))
d (t (t0 (x)))
d (s (x))
|s=t0 =
|t=0 =
|t=0 = X t0 (x) ,
ds
dt
dt
par suite,
d (t (x))
|t=0
dt
d (t0 (t (x)))
d (t0 +t (x))
|t=0 =
|t=0
dt
dt
d (t (t0 (x)))
=
|t=0 = X t0 (x) ;
dt
pour tout t I.
tant donn une trajectoire : I M de X telle que (I) soit contenu
dans le domaine U dune carte (x1 , . . . , xn ) . On a donc
0 (t) (xi ) = X i ((t)) pour tout i = 1, . . . ; n,
o
X=
n
X
i=1
Xi
xi
101
soit,
d (xi )
(t) = X i ((t))
dt
dxi
== X i ((x1 )(t), . . . , (xn )(t)) ,
dt
ceci montre que est solution du systme dquations direntielles suivant
dx1
dt = X 1 (x1 , . . . , xn )
...
dxn
n (x , . . . , x ) .
=
X
1
n
dt
Puisque X est de classe C , le thorme dexistence et dunicit des solutions dune quation direntielle, arme que pour tout x M, pour toute
carte (U, x1 , . . . , xn ) en x, il existe > 0, un voisinage ouvert V de x et une
application direntiable
: ], [ V U
telle que pour tout x V et pour tout i = 1, . . . , n, on ait :
(0, x) = x
et
102
Lapplication
: D(X) M
dfinie par :
(t, x) = ux (t)
o ux : J(x) M est la courbe intgrale maximale de X de condition
initiale x. Lapplication est appele flot global de X et D(X) est appel
domaine de dfinition de ce champ de vecteurs.
Dfinition 3.4 Un champ de vecteurs X est dit complet sil est engendr par un groupe un paramtre de diomorphismes de E, cest--dire
lapplication est dfinie sur R M.
Proposition 3.6 Si M est une varit direntiable compacte, alors tout
champ de vecteurs sur M est complet.
Dmonstration. Soit X X(M ). Puisque M est compacte, il existe un
recouvrement ouvert fini (Ui )1ip de M, un rel > 0 et des applications
i :] , [Ui M (i = 1, . . . , p)
de classe C satisfaisant aux proprits suivantes :
1.
d (it (x))
|t=0 =
dt
|t| < ,
t|Ui = it .
103
t = t . . . t = t
m
(3.2)
m
m
km
m0
= k t 0
= t0
= t0
.
t
m
Pour
m0
t
m0
quelconque satisfaisant |
|< , on a
mm0
m0
m
= t0
= t
,
t0
m
mm
m
m
donc t
ne dpend pas de lentier naturel m tel que | mt |< , par suite
m
la famille (t )tR dfinit un groupe un paramtre de diomorphismes
de M engendrant le champ de vecteurs X, ce champ de vecteurs est donc
complet.
Intgrales premires
104
(0)
xj
105
X(x) =
pour tout x U.
y1 x
Posons
f1 = y2 , . . . , fi = yi+1 , . . . , fn1 = yn .
On a donc
X(fi ) =
fi
yi+1
=
= i+1
= 0,
1
y1
y1
= 0,
y1
3.4.7
.
x1
Yt = d t (x) Yt (x) Yx Tx M
t
106
d t (x) Yt (x) Yx
d
Yt
t
= lim
=
Tx M.
(LX Y )x = lim
d t (x) Yt (x)
t
t0 t
t0
t
dt
t=0
Lapplication
x 7 (LX Y )x
permet de dfinir un champ de vecteurs sur M, appel drive de Lie de Y
par rapport X. On les proprits suivantes :
Proposition 3.8 Pour tous X, Y, Z X (M ) et f F (M ) , on a :
1. LX (Y + Z) = LX Y + LX Z,
2. LX (f Y ) = f LX (Y ) + X (f ) Y
Dmonstration. Montrons la seconde assertion.
Soient x M et (t )|t|< un flot local de X dfini sur un voisinage ouvert
U de x M . On a :
d
dt (t (x)) f (t (x)) Yt (x) t=0
(LX (fY ))x = dt
d
f (t (x)) dt (t (x)) Yt (x) t=0
= dt
d
= dt
(f (t (x)))t=0 dt (t (x)) Yt (x) t=0
d
+ (f (t (x)))t=0 dt
dt (t (x)) Yt (x) t=0
d
= dfx dt
(t (x))t=0 Yx + f (x) (LX Y )x
= dfx (Xx ) Yx + f (x) (LX Y )x = Xx (f ) Yx + f (x) (LX Y )x ,
do LX (fY ) = f LX (Y ) + X (f ) Y.
Dans les notations ci-dessus, on appelle drive de Lie de la fonction f
suivant le champ de vecteurs X, quon note LX f la fonction :
x 7 (LX f ) (x) =
d
d
((t )x f )t=0 =
(f (t (x)))t=0 .
dt
dt
n
X
Xi
i=1
La relation t = (t )
et Y =
Yi
.
xi
xi
i=1
donne
X it
j
107
xj
(t (x))
jt
(x) = ik ,
xk
et, donc,
!
X d it
X i
j0
d jt
0
(t (x))
(x) +
(x)
(x)
dt xj
xj
dt xk
t=0 xk
j
= 0,
t=0
soit,
!
X d it
X d j
j
t
(t (x))
k +
ij
(x)
dt xj
dt
x
k
t=0
j
par suite,
d
dt
= 0,
t=0
it
d it
(t (x))
=
(x)
.
xk
dt xk
t=0
t=0
Calculons maintenant LX x
. On a :
i
dt (t (x))
donc,
LX x
i
xi
t (x)
X jt
j
(t (x))
xi
xj
t (x)
j
P
t
j
1
= lim
xi
dt (t (x)) xi
= lim t xi (t (x)) i
xj (x)
0
0
t (x)
x
j
j
j
t
j
P
P
d
t
= lim 1t xt
(t (x)) x0i (x)
xj (x) =
dt
xi (t (x))
xj x
i
t
j 0
j
t=0
P d jt
P d j
P X j
= dt
(x)
=
(x)
=
,
t
xi
xj
xi dt
xj
xi xj
1
t
t=0
On dduit donc,
LX Y
P
P
LX Y i x
= Y i LX x
+ X Y i x
i
i
i
i PP
i
P P j Yi i
X j
i
=
Y xi xj +
X xj xi
i j
i j
P
j
i X j
X i Y
=
xi Y xi
xj = [X, Y ] ,
P
i,j
t=0
108
par consquent,
LX Y = LY X = [X, Y ] .
3.4.8
109
fu est direntiable.
Il reste vrifier que lapplication
u 7 X
1
Soient donc u N, x , . . . , xp , y 1 , . . . , y np un systme de coordonnes
locales de u dfini sur un ouvert U de u tel que U N soit dfini par les
quations y 1 = c1 , . . . , y np = cn1 (constantes).
Par rapport ce systme de coordonnes locales, le champ de vacteurs
X scrit :
X=
p
X
i=1
n
X
X i x1 , . . . , xp , y1 , . . . , y np
+
Y i x1 , . . . , xp , y1 , . . . , y np
i
x
y i
i=p+1
p
X
i=1
e i x1 , . . . , xp
X
xi
= Y (Y 0 (g)) f Y 0 (Y (g)) f
= X (Y 0 (g) f ) X 0 (Y (g) f )
= X (X 0 (g f )) X 0 (X (g f )) = [X, X 0 ] (g f ) ,
f X, f X 0 = f X, X 0 .
110
t (x)
= dt (x) Xx = Xt (x)
dt (x)
dt
t=0
dt (f (x))
dt
t=0
d (t (x))
d (f (t (x)))
d (t (f (x)))
=
= dfx
= dfx Xx ,
dt
dt
dt
t=0
t=0
t=0
soit,
Xf (x) = (f X)f (x) ,
on a donc montr que pour quun champ de vecteurs X soit invariant par f,
il est ncessaire et susant que f commute avec le groupe un paramtre
du champ de vecteurs X.
Soient X et Y deux champs de vecteurs sur une varit direntiable M,
et soient (t )t et ( t )t les flots locaux associs. alors on a :
t Y Y
= LX Y = [X, Y ] = 0.
t s = s t = t Y = Y = lim
t0
t
111
t Y x .
Zt+s = dts t+s (x) Yt+s (x) = d t s t+s (x) Yt+s (x)
et, donc,
Zt+s Zt
s
s0
lim
= lim
s0
do
dZt
= 0,
dt
par consquent, lapplication t 7 Zt , dun intervalle ouvert I de R cont
tenant 0 valeurs dans Tx M, satisfait dZ
dt = 0, donc Z est constante, ce
qui montre que Zt = Z0 quel que soit t I, par consquent on a :
dt (t (x)) Yt (x) = Yx ,
ce qui prouve que lon a :
t Y = Y,
112
Chapitre 4
Formes direntielles
4.1
Lespace fibr p (T M)
et, soit
e = 1 (U ) = {(x, x ) p (T M ) | (x, x ) = x U }
U
dfinie par :
e (U )
e:U
(Rn ) ,
e (x, x ) = (x) , 1 x ( x ) ,
ici
1
114
alors,
x (x ) ei1 , . . . , eip = x
,,...,
xi1
xip
= ai1 ...ip ,
e x,
e (U ) RCn ,
e:U
1i1 <...<ip n
ai1 ...ip (x) dxi1 (x) . . . dxip (x) = (x) , ai1 ...ip (x) 1i1 <...<ip n ,
e,
est un atlas de
Il nest pas dicile de voir que la famille U
e
(U,)A
V
classe C confrant p (T M ) une structure de varit direntiable de
dimension n + Cnp .
4.2
x 7 (x) = x
telle que
= idM ,
115
avec ai1 ...ip F (U ) . Il est donc clair que p (U ) est un F (U ) module libre
de rang Cnp .
V
Pour toute pforme direntielle p (M ) , on associe une forme
plinaire extrieure sur X (M ) , note aussi
e,
dfinie par
e : X (M ) . . . X (M ) F (M )
e X 1 , . . . , X i , . . . , X p +e
X 1, . . . , Y i, . . . , X p ,
1.
e X 1, . . . , X i + Y i, . . . , X p =
2.
e X 1 , . . . , fX i , . . . , X p = f
e X 1, . . . , X i, . . . , X p
116
pour tous X 1 , . . . , X i , Y i , . . . , X p X (M ) et f F (M ) .
Ainsi
e est une F (M ) forme multilinaire sur le F (M ) module produit
X (M ) . . . X (M ) .
Dmonstration.
Dans ce qui suit, on identifie et
e.
Le produit extrieur dune pforme direntielle par une q-forme diffrentielle est la (p + q)-forme direntielle dfinie par :
( )(x) = (x) (x)
pour tout x M. Notons que ce produit vrifie en particulier :
f ( ) = f = f .
V
V
On
a
une
application
(,
)
,
de
(M
)
p
q (M ) valeurs dans
V
p+q (M ) , munissant
^
(M ) =
n
^
M
.
(M )
4.3
p=0
0 (M )
= F (M ) .
1i1 <...<ip m
i1 ip dyi1 dyip ,
117
X
X
f
f
f
ip
i1
i2
dxj1 dxjp .
(f )(x) =
i1 ip (y(x))
xj1 xj2
xjp
1j1 <...<jp n
1i1 <...<ip m
V
1. f ( + ) = f + f .pour tous , p (N ) ,
V
V
2. f ( ) = f f .pour tous p (N ) et q (N ) .
Lapplication f :
galement f ,
p (N )
p (M )
^
(N )
(M )
V
V
qui est un morphisme dalgbres de (N ) dans (M ). Et, si
f :
M1 M2 M3
(M1 )
(M2 )
(M3 ) et
(gf )
(M1 )
(M3 )
(g f ) = f g .
Il en rsulte aussitt que si f est un diomorphisme dune varit direntiable M, alors f est un isomorphisme et lon a :
(f )1 = f 1 .
4.4
Produit intrieur
Soit une pforme direntielle sur une varit direntiable M de dimension n, et X un champ de vecteurs sur M, on appelle produit intrieur de
X par , la (p 1) forme direntielle, note i (X) ou Xc, dfinie par :
(i (X) )x = i (Xx ) x , quel que soit x M,
118
ainsi,
4.5
Direntiation extrieure
n
X
f
(x)dxi .
xi
i=1
1i1 <...<ip m
119
p+1
p (M )
et
(M ) ,
5. d(f ) = f d.
6. si une pforme direntielle dexpression locales
X
i1 ip dxi1 dxip .
U =
1i1 <...<ip m
p (M )
d
V
f
p+1 (M )
commutatif :
V
p (N )
d
V
p+1 (N ) .
d (X1 , , Xp+1 ) =
p
X
(1)
i=1
X
i<j
i1
i+j
(1)
+
Xi X1 , . . . , Xi , . . . , Xp+1
[Xi , Xj ] , X1 , . . . , Xi , . . . , , Xj , . . . , Xp+1
120
4.6
Lemme de Poincar
Exemples 4.1
par :
cette forme nest pas exacte. En eet si cette fonction admettait une
primitive f, alors
f
f
et exp(x) =
,
x=
x
y
et par consquent on a daprs le lemme de Schwarz :
2f
2f
=
,
xy
yx
par suite exp(x) = 0, ce qui est absurde, donc nest pas exacte.
2. La forme direntielle dfinie sur M = R2 {(0, 0)} par :
=
xdy ydx
x2 + y2
121
R
1. k
p+1
p (R ) ,
2. dk + kd = j1 j0 .
R
1
3. k = 0 b (t, x1 , . . . , xn ) dt dxi1 . . .dxip1 si = b (t, x1 , . . . , xn ) dt
dxi1 . . . dxip1 o b : R Rn R, est une application direntiable.
Par dfinition mme de lapplication k on a :
^
^
(R Rn )
(Rn ) .
k
p+1
dk + kd = j1 j0 .
Si f : R Rn R, est une application direntiable, on a :
dkf = 0,
et
kdf =
df
dt = f (1) f (0) = (j1 j0 ) (f ).
dt
122
a
(t, x1 , . . . , xn ) dt dxi1 . . . dxip = (j1 j0 ) .
t
donc,
dk =
n Z
X
i=1
b
(t, x1 , . . . , xn ) dt dxi dxi1 . . . dxip1 .
xi
et
kd =
n Z
X
i=1
b
(t, x1 , . . . , xn ) dt dxi dxi1 . . . dxip1
xi
do
dk + kd = (j1 j0 ) ,
et le lemme est dmontr.
Proposition 4.2 (Lemme de Poincar). Une forme direntielle ferme de degr p (p 1) sur Rn est exacte.
Dmonstration. Soit une forme direntielle ferme de degr p (p 1)
sur Rn . Considrons lapplication h : R Rn Rn , dfinie par :
h (t, x1 , . . . , xn ) = (tx1 , . . . , txn ) .
123
V
ker d : p (M ) p+1 (M )
V
pour p 1,
H p (M ) =
V
Im d : p1 (M ) p (M )
V
V
et H 0 (M ) = ker (d : F (M ) = 0 (M ) 1 (M )) . Notons que H 0 (M )
sidentifie Rc o c est le nombre de composantes connexes de M.
H p (M ) est appel pme groupe de cohomologie de de Rham
Il rsulte du thorme de Poincar que
H p (Rn ) = (0) pour tout p 1.
4.7
(t ) t (x) x
d
=
(Tx M ) .
(LX )x = lim
(t ) t (x) t=0
t0
t
dt
Lapplication
x 7 (LX )x
permet de dfinir une forme direntielle degr p, appele drive de Lie de
par rapport X.
Pour toute pforme direntielle on a la :
Proposition 4.3 LX = i (X) d + di (X)
Dmonstration
124
4.8
4.8.1
Varit orientable
nous disons que et n dfinissent la mme orientation (resp. des orientations contraires) si f (x) > 0 (resp. f (x) < 0) pour tout x M.
Une varit orientable sera dite oriente si on a fix une orientation n .
Une autre orientation = f n sera dite positive (resp. rtrograde ou
ngative) si f (x) > 0 (resp. f (x) < 0) quel que soit x M.
Proposition 4.8 Les assertions suivantes sont quivalentes :
1. M est orientable,
4.8.
125
4.8.2
4.8.3
Soit U ouvert de Rn .
Un chemin direntiable dans U est une application : [0, 1] U de
classe C .
Le chemin est dit ferm (ou que cest un lacet) si :
(0) = (1) .
126
1 (U ) .
Soit M une
V v. lisse paracompacte de dim. n oriente par
Soit n (M ) support compact. Rappelons
n (M ).
supp () = {x M | (x) 6= 0}
n
M
R
Z
=
a ( 1 , . . . , n ) d 1 . . . d n
V
Z
=
ad.
V
4.8.
127
J ( 1 ) > 0.
On a donc Les formules classiques de changements de variables pour les
intgrales multiples donnent :
Z
Rn
=
=
=
ZR
n
ZR
n
ZR
ZR
=
=
ZR
ZV
1
1
a d 1 . . . d n
a 1 1 d 1 . . . d n
a 1 J 1 d 1 . . . d n
a 1 J 1 d 1 . . . d n
a d 1 . . . d n
Rn
!
X
X
=
fi =
(fi ) ,
iI
ainsi,
iI
!
X
XZ
fi =
iI
iI
(fi ) .
128
iI
iI
Soit donc (gi )iJ une autre partition de lunit subordonne latlas A.
Par dfinition, on a :
X
fi gj ,
fi =
jI
par suite,
= fi =
fi gj
jI
et donc,
fi =
par suite
fi =
XZ
iI
do
jI
XZ
iI
De mme on a :
fi gj ,
XZ
fi gj .
XZ
fi gj .
i,jI
gi =
XZ
iI
XZ
i,jI
gi =
XZ
iI
fi ,
ce qui dfinit dune manire intrinsque lintgrale dune nforme direntielle sur la varit M .
Chapitre 5
Distributions. Notion de
feuilletage
Soit M une varit direntiable de dimension n.
Dfinition 5.1 Une distribution de dimension p sur M (ou champ de pdirections)
est la donne en chaque point x de M dun sous espace vectoriel D (x)
de dimension p de Tp M, autrement dit, un lment de la grassmannienne
Gp (Tx M ) .
Exemples 5.1
1. tant donn un champ de vecteurs X X (M ) sans
singularit. Ce Champ dfinit videmment une distribution de dimension 1 sur M. Notons quon ne peut pas toujours associer une distribution de dimension 1 un champ de vecteurs sans singularits, par
exemple sur M = R2 {(0, 0)} , associons chaque point M (x, y), la
bissectrice des demi-droites [OX) et [OM )
2. Les distributions D (x) = {x} {0Tx M } et D (x) = Tx M de dimension
0 et n respectivement sont dites triviales.
3. Soit : M B une submersion de M sur une varit B de dimension m. Pour chaque point x de M on pose
D (x) = ker d x
dfinit une distribution de dimension n m.
Dfinition 5.2 Une distribution D de dimension p sera dite de classe C k
avec k N {+} , si tout point x0 M admet un voisinage ouvert U et
129
130
D (x) = V ect
,...,
x1 x
xp x
pour tout point x de U.
Dfinition 5.4 Une varit intgrale de D est une sous varit connexe de
M de dimension p vrifiant :
Tx N = D(x)
pour tout x N.
Exemple 5.1 Considrons une submersion : M B dune varit M
de dimesion n = p + q sur une varit B de dimension q. Le thorme du
rang constant montre que pour tout point x0 de M, il existe une carte (U, )
en x0 et une carte (V, ) en f (x0 ) telles que lexpression locale 1
de dans les cartes (U, ) et (V, ) se rduit :
(x, y) 7 y
de (U ) Rp Rq sur (V ) Rq .
Notons = x1 , . . . , xp ; y 1 , . . . , y q et = z 1 , . . . , z q .
Pour chaque b B, la fibre 1 (b) au dessus de b est une sous-varit
de M de dimension p telle que
1 (b) U
est dfinie par les quations
y 1 = z 1 (b) , . . . , y q = z q (b) .
131
En eet, pour chaque u 1 (b) U, on a dune part (u) = (x, y)
Rp Rq , et dautre part :
y = 1 (x, y) = (b) ,
on dduit que (u) = (x, (b)) , par suite,
Il en rsulte donc que les fibres de la submersion sont des sous varits de
M de dimension
p dont les quations
par rapport au systme de coordonnes
locales x1 , . . . , xp ; y 1 , . . . , y q sont
dy1 = 0, . . . , dy q = 0.
Localement,
par
rapport au systme de coordonnes locales x1 , . . . , xp ; y1 , . . . , y q
1
et z , . . . , z q on a :
d u
donc
xi
xi
j u
= d z 1 (u) (ei ) = 0 (1 i p)
j
z
=
D (x) = V ect
,...,
,
x1 x
xp x
132
deux systmes
intgrable. Considrons
=
+
D
xi
xi x0j
xi y 0l
y 0l
= 0, autrement dit les fonctions y 0l ne dpendent que de
xi
y1, . . . , yq :
y 0l = y 0l y 1 , . . . , y q ,
montre que
(5.1)
,,...,
,
D (x) = V ect
x1 x
xp x
133
Les sous-espaces anes
Rp {a} = {(x, a) | x Rp } , a Rq ,
sont appels feuilles du feuilletage modle de dimension p de Rn .
Dfinition 5.9 Un diomorphisme local : U U 0 de Rn est appel
automorphisme du feuilletage modle de dimension p si les composantes
p+1 , . . . ; p+q ne dpendent que de y 1 , . . . , y q , autremant dit si :
p+1
p+q
=
.
.
.
=
= 0,
xi
xi
soit,
1
p
1
q
Dans une carte feuillete x , . . . , x , y , . . . , y de F dfinie sur U, la
plaque de U passant par u la composante connexe de la sous-varit de U de
dimension passant par le point u dfinie par les quations dy 1 = 0, . . . , dy q =
0.
On voit donc que si
: U M V Rn
est une carte feuillete de F alors
avec
= 1 , 2
1 = x1 , . . . , xp et 2 = y 1 , . . . , y q .
134
e = X i et i Ye = Y i,
i X
h
i
e i Ye
[X, Y ]u = i X,
i(u)
h
i
e Ye
= i X,
i(u)
Tu N = D (u) ,
135
Rciproquement, on suppose que D est involutive. Montrons que chaque
point de M admet un systme de coordonnes locales adaptes la distribution D. Soit donc u M, il existe un ouvert U1 de M contenant u et p
champs de vecteurs X1 , . . . , Xp X (U1 ) tels que :
D (v) = V ect (X1 (v) , . . . , Xp (v)) pour tout v U.
Le thorme de redressement dun champ
montre quil existe
de vecteurs
un systme de coordonnes locales = u1 , . . . , un dfini sur un voisinage
ouvert U2 de u contenu dans U1 tel que (u) = 0 et
X1|U2 =
.
u1
N = x U | u1 (x) = 0 .
Posons
Les relations
Y1 = X1
Y2 = X2 X2 u1 X1
...
Yp = Xp Xp u1 X1 .
Yi u1 = 0, pour i = 2, . . . , p
ou encore
Les relations
h
i
Yel , Yem = [Yl , Ym ]|N X (N )
136
e de dimension p 1.
montrent que Ye2 , . . . , Yep engendrent une distribution D
Comme X1 , . . . , Xp et Y1 , . . . , Yp engendrent le mme sous espace, on dduit
que D est involutive, par suite
i
h
Yel , Yem = [Yl , Ym ]
|N
p
X
k=1
k
Clm
Yk|N =
p
X
k=2
k e
Clm
Yk
e
,
,,...,
D (v) = V ect
z2 v
zp v
pour tout v V.
x1 = u1
2
x = z 2 u2 , . . . , un
. .2.
p
p
x =z u
, . . . , un
y 1 = z p+1 u2 , . . . , un
.. .
q
y = z p+q u2 , . . . , un
Y1 =
x1
et
Pp
k Y yj
x1 Y2 y j = u1 , Y2 y j = k=2 C12
k
(5.2)
j
.. .j Pp
j
k
= u1 , Yp y = k=2 C1p Yk y .
x1 Yp y
On voit donc que pour chaque j = 1, . . . , q = n p, les courbes
x1 7 Y1 y j x1 , . . . , xp , y 1 , . . . , y q , . . . , Yp y j x1 , . . . , xp , y1 , . . . , y q
5.1.
VARITS RIEMANNIENNES
137
donc ces solutions sont nulles sur un voisinage ouvert U de u, par suite
Yi =
p
X
j=1
aji
xj
sur U, on conclut donc que la distribution D est engendre par les drivations
,..., p
x1
x
sur louvert U et par consquent D est intgrable.
5.1
Varits riemanniennes
5.1.1
Dfinitions
Soit un SCL U, = x1 , . . . , xn
Pose
gij = g
On a
Soit,
,
xi xj
i
j
g (X, Y ) = g X
= gij X i Y j .
,Y
xi
xj
ds2 = gij dxi dxj
ui vi .
u = ui ei , v = v j ej = ij ui v j =
i=1
138
Sur la VD M = Rn on dfinit
gx ((x, u) , (x, v)) = hu, vi
(x, u) , (x, v) Tx Rn .
Une isomtrie dune VR (M, g) sur une VR (N, h) est un dio de M
sur N t.q.
f h = g
Isom (M, g) groupe
Sous-varits riemanniennes :
(M, g) VR
N sous varit de M
N est munie canoniquement dune structure de VR g0 dfinie par la
restriction N de g.
(N, g0 ) est dite sous varit riemannienne de (M, g) .
Soit N une sous varit de Rn . Alors la mtrique canonique de Rn induit
une structure de sous varit sur N donne par :
i h, i
h, i tant le produit scalaire euclidien et i : N M linjection canonique.
Produit de deux varits riemanniennes
(M, g) et (N, h) deux VR
T(x,y) M N = Tx M Ty N
g h ((XM , XN ) , (YM , YN )) = g (XM , YM ) + h (XN , YN )
5.1.2
Distance godsique
(M, g) une VR
: [a, b] R M, un chemin de classe C 1 par moceaux.
Longueur de
Z bq
g(t) ( 0 (t) , 0 (t))dt
L() =
a
Z b
Z br
dxj (t)
dxi
(t)
dt =
=
gij ( (t))
ds
dt
dt
a
a
5.1.
C1
VARITS RIEMANNIENNES
139
inf
F(x,y)
L () .
L
x0 i
L
= 0 (i = 1, . . . , n)
xi
q
gij (x1 (t) , . . . , xn (t)) x0i (t) x0j (t)
(Calcul des variations). Les courbes obtenues ne dpendent pas des coordonnes locales. Ces courbes sont appeles godsiques de (M, g) . Nous
admettons le rsultat suivant :
Proposition 5.2 x0 M, U O (x0 , M ) t.q. x, y U on ait :
1. une godsique unique contenue dans U joignant x et y.
2. La longueur de cette godsique est gale d (x, y) .
Le voisinage U est dit convexe.
Proposition 5.3 Si M est connexe et complte pour la distance godsique,
alors deux points quelconques x, y M peduvent tre joigns par une godsique
aux moins.
N.B. Lexemple de la sphre, montre quune godsique ne ralise pas
ncessairement le minimum de la longueur.
140
5.2
Drivation covariante
OX Y OY X = dY (X) dX (Y )
= [X, Y ]
141
= kij k .
O
j
x
x
xi
Les kij sont des fonctions direntiables sur U appeles symboles de Christoffel et dterminent entirement la connexion, en eet, pour tous
X = Xi
on a :
OX Y = X
avec
, Y = Y j j X (U ) ,
xi
x
Y k
+ kij Y j
xi
= X i Y ,ki k
k
x
x
Y k
+ kij Y j .
xi
Pour la connexion ordinaire sur Rn les symboles de Christoel sont nulles,
et pour pour une connexion symtrique on a
Y ,ki =
kij = kji .
Proposition 5.4 Toute varit paracompacte possde une connexion.
Proposition 5.5 OXx Y de dpend que Y ( (t)) o (t) est une courbe diffrentiable dfinie sur un intervalle assez petit ], [ t.q.
(0) = x et 0 (0) = Xx .
Dfinition 5.11 Soit : [a, b] M un chemin de classe C k . On appelle
champ de vecteurs le long de la courbe un chemin V : [a, b] T M
relevant i.e.
(V (t)) = c (t) , t [a, b] .
Exemple 5.4
d
dt
DV
dt
2.
est Rlinaire,
D(f V )
dt
df
dt V
+ f DV
dt
142
5.2.1
Torsion
d
ef
T (X, Y ) = OX Y OY X [X, Y ]
Courbure
d
ef
R (X, Y ) Z = OX OY Z OY OX Z O[X,Y ] Z,
soit,
d
ef
R (X, Y ) = OX OY OY OX O[X,Y ]
5.2.2
Transport parallle
5.3
5.3.1
rg = codim (A ()) .
Soit B = {e1 , . . . , en } base de E. Par df.
A = M [, B] = ( (ei , ej ))1i,jn
On a donc,
(x, y) = t XAY
o X = M [x, B] et Y = M [y, B].
2 (E) .
143
5.3.2
Orthogonalit symplectique
x, y E
x y si (x, y) = 0.
L, M deux sev de E
L M si x y (x, y) L M.
A = {x E | (x, y) = 0 , y A}.
L et M de E sont supplmentaires orthogonaux si
E = L M et L = M .
A, B E , on a les ppts suivantes :
1. A B = B A ,
144
2. A A
Et pour deux sous espaces vectoriels quelconques H, K de E, on a :
1. (H K) = H + K ,
2. (H + K) = H K . .
Proposition. Suppose non dgnre. Alors
1. E = {0}.
2. H sev de E on a :
(a) H = H ,
(b) dim H = dim E dim H.
Dm.
1. rsulte de E = ker .
2. (a) On a H H .
Soit h0 H .
On a lquivalence
h0 H (h0 ) = 0. Ann (H) .
Soit Ann (H) . Il existe x E t.q. = i (x) .
Or
Ann (H) = (y) = i(x)(y) = (x, y) = 0, y H,
par suite x H , et, donc,
(h0 ) = (x, h0 ) = 0.
donc (h0 ) = 0 Ann (H) , par suite h0 H, ce qui montre H = H
2. (b) Rappelons que
dim (AnnH) = dim E dim H,
donc il sut de montrer que
dim (AnnH) = dim H ,
or lisomorphisme : x 7 i (x) de E sur E , transforme H sur Ann (H)
:
H = Ann (H) ,
do dim H = dim (AnnH) = dim E dim H.
5.4
145
e1 , e01 = 1
2 E,
non nulle.
0
1
1 0
Dsignons par H2 = H1 . On a :
E = H1 H2 .
x H1 H2 scrit :
x = e1 + 0 e01
avec de plus
par suite = 0 = 0.
Soit x E. Pose
(x, e1 ) = x, e01 = 0,
(y, e1 ) = 0 et y, e01 = 0,
= y H1 = H2 , et, donc x H1 + H2 , = E = H1 H2 .
Si H2 = |H2 H2 est nulle, on arrte le processus qui consiste :
1. des vecteurs indpendants e1 et e01 : (e1 , e01 ) = 1,
2. si dim E > 2, lespace E est somme directe
E = H1 K,
avec H1 = V ect (e1 , e01 ) et est nulle sur le sous espace K qui est ici
H2 .
146
0
1
0
= S.
M V ect(e2 ,e0 ) , B2 = e2 , e2 =
2
1 0
S1
..
S
p
M (, B) =
..
.
0
(5.3)
avec
S1 = . . . = Sp = S =
0
0
1
1 0
i (e ) = i , i e0 = 0 et i (w ) = 0
j
j
j
j
i
0i
0i
0
0i
(ej ) = 0, ej = j et (wj ) = 0
i (ej ) = 0, i e0 = 0 et i (wj ) = ij .
j
Thorme. Les proprits suivantes sont quivalentes :
147
1. 1 , 1 , . . . p .0p indpendantes :
0
= 1 1 + . . . + p 0p .
2. est de rang 2p : rg = 2p.
Corollaire. Soit A M (n, K) antisymtrique dordre 2p. Alors P
M (n, K) dordre n inversible : t P AP est 5.3.
Corollaire. Les ppts suiv. sont quiv.
1. est non dgnre,
2. rg = dim E = 2p ( est de rang maximum).
V
Dfinition. 1 ,2 2 E seront dites quiv. (1 2 ) , si u
GL (E) : 1 = u 2 .
V
Il est clair que est une relation dquivalence sur 2 E.
Soient B0 une base quelconque de E, A (resp. B (resp. U )) la matrice
de 1 (resp. 2 (resp. u)) dans cette base.
On a donc,
1 (x, y) = t XAY et 2 (x, y) = t X BY
x, y E, la relation 1 = u 2 donne
A = t U BU.
On a donc montr la :
V
Proposition. 1 ,2 2 E, dim E = n, 1 2 A = t U BU o U
est une matrice inversible dordre
V n.
Proposition. Soit 2 E de rang 2p dim E = n, alors elle est
quivalentes la forme extrieure
0
0 = 1 1 + . . . + p 0p .
S1
..
Sp
t
QM (, B) Q =
.
.
.
0
148
avec
S1 = . . . = Sp = S =
0
1
1 0
5.4.1
Dfinitions
S 0
0
0
1
.. . .
M (, B) = .
. . . . avec S = 1 0 .
0 ... S
o
n
0
Soit 1 , 1 , . . . , n , 0n la base duale de B, on a :
0
= 1 1 + . . . + n 0n
2 (E).
Les ppts
149
Dm. Pour = 1 1 + . . . + p 0p =
0
p = p! 1 1 . . . p 0p .
Exemples
1. quelconque (non nce. non dgnre).
Soit E =
E
A() ,
Pose
(x + A () , y + A ()) = (x, y) ,
x, y E.
2 (E1
E2 ) dfinie par :
= p1 1 + p2 2 .
= p1 1 + p2 2 est une structure symplectique sur E1 E2 .
5.4.2
150
151
Dm. Soient 1 , . . . , n base de Ann (L) , que lon complte en une base
1 , . . . , n , 1 , . . . , n de E , {u1 , . . . , un , v1 , . . . , vn } la base de E dont la
base duale est 1 , . . . , n , 1 , . . . , n .
Il est clair que L | 1 = 0, . . . , n = 0, et on a L = V ect (v1 , . . . , vn ) .
scrit :
=
1i<jn
aij i j +
1i,jn
bij i j +
1i<jn
cij i j ,
n
X
i=1
P
n
n
n
X
X
i
aij j +
bij j .
j>i
i=1
j .
b
ij
i=1
j
j>i aij +
Pn
i=1
C.Q.F.D.
5.4.3
Endomorphisme adjoint
152
5.5
M (, Bs ) = J =
0
In
In 0
U JU = J.
153
A C
,
B D
avec A, B, C, D M (n n.K) , est dans le groupe Sp (n, K)
1. t AD t BC = In ,
2. t AB et t CD symtriques.
Soit maintenant (, L) une polarisation relle sur E. Bs = ( e1 , . . . en , e01 , . . . , e0n )
base de E : si e1 , . . . , en , e01 , . . . , e0n , est sa base duale, alors :
(a) L = V ect (e1 , . . . en ) .
(b) = e1 e01 + . . . + en e0n .
Un automorphisme u de E conserve (, L) si :
1. u = ,
2. u (L) = L.
Les automorphismes de E qui conservent (, L) forment un sous groupe
de Sp (E, ) , not Sp (1, n; E) et appel groupe 1symplectique.
Sp (1, n; K) = {M (u, Bs ) | u p (1, n; E)}
Ainsi, sont les matrices du type :
A C
Sp (1, n; K) = {
M (2n, K)
0 D
:
C D symtrique, t AD = In },
A C
M (2n, K)
Sp (1, n; K) = {
0 t A1
: t C t A1 symtrique}.
154
1
2
5.6
5.6.1
VARITS SYMPLECTIQUES
Structures symplectiques
1. ferme : d = 0,
2. non dgnre : (X X (M )) (i (X) = 0 = X = 0) .
Ainsi,
1. : X (M )
1 (M ) ,
5.6.2
Exemples
155
Notatiom
1 2
5.6.3
1
n
,
.
.
.
,
x
un S.C.L.
Rappelons
que
si
U,
=
x
1
U = (U ) , dfini par :
bi i
X=
ai i +
x
p
et donc,
d (u) (Xu ) =
par suite,
ai
xi
X
X
i
u (Xu ) = z d (u) (Xu ) = z
a
=
ai pi
xi
par consquent,
=
Pose
= d =
pi dxi
dpi dxi .
On voit donc que est une structure symplectique sur T B, appele structure symplectique canonique.
156
5.6.4
5.6.5
Systmes hamiltoniens
157
LX = lim
Rciproquement, si
(LX ) =
d (t )
(0) = 0,
dt
alors
d (t )
(t) = t (LX ) = 0,
dt
par suite (t )x constante . do
(t )x = (0 )x = x
par suite,
t =
ce qui montre que t est un symplectomorphisme t.
Dfinition. X X (M ) est appel systme localement hamiltonien sil
vrifie lune des ppts quivalentes de la propo. prcdente. On dit aussi
que X est un automorphisme infinitsimal pour .
On dit que X est un champ hamiltonien si la forme de Pfa i (X) est
exacte, i.e. si H : M R direntiable t.q.
i (X) = dH
H est appele application hamiltonienne
o hamiltonien.
V
La dualit : X (M ) 1 (M ) , X 7 i (X) , permet dassocier
toute application direntiable H : M R, un unique champ hamiltonien
XH , dit associ H, t.q.
i (XH ) = dH.
Expression locale dans T B muni de le forme symplectique canonique
= d.
158
X H
dpi dxi
H
dx +
dpi
i
x
pi
i
dxi
dt
dpi
dt
= H
pi
H
= x
i.
5.6.6
Crochet de Poisson
= d (XH , XK , XL )
= XH ( (XK , XL )) XK ( (XH , XL ))
+XL ( (XH , XH )) ([XH , YL ], XK )
+ ([XH , YK ], XL ) ([XL , YK ], XH ) ,
159
or,
XH ( (XK , XL )) = XH ({K, L}) = d {K, L} (XH )
et,
do
0 = d (XH , XK , XL )
= {H, {K, L}} {K, {H, L}} + {L, {H, K}}
et donc, H, K C (T B) , on a :
{H, K} = (XH , XK ) =
5.6.7
X H K
H K
i
i
pi x
x pi
Varits de Poisson
M v.d.
df : Cest (C (M ) , {.}) : (H, K) 7 {H.K} . C (M )C (M )
C (M ) , app. Rbilinaire vrifiant :
1. {H.K} = {K.H},
2. Jacobi : {H, {K, L}} + {K, {L, H}} + {L, K {H, K}} = 0.
Leibniz :
{H, KL} = {H.K} L + K {H, L} .
Exemple
160
= XK (H) = XH (K) .
par suite,
{H, KL} = XH (KL) = XH (K) L + KXH (L) ,
= {H.K} L + K {H, L}
= {H.L} K + H {K, L}
161
Dabord, on a :
adX : G G, adX Y = [X, Y ] , X, Y G
et:
adX : G G ,
On dduit
d {H, K} (x) (y)
pose
= hy, [dH
,
dK
]i
+
x,
d
H
(y)
,
dK
x
y
x
x
+ x, dHx , d2 Kx (y)
y, d2 Kx addHx x ,
et comme,
+ x, d2 Hx addKx x , dLx
x, d2 Kx (adX x) , dLx
+ hx, [[Z, X] , Y ]i
2
2
+ x, d Hx (adY x) , Z x, d Kx (adX x) , Z
2
x, d Kx (adZ x) , X x, d2 Hx (adY x) , X
2
x, d Lx (adX x) , Y x, d2 Hx (adZ x) , Y
162
2
x, d Hx (adY x) , Z x, d2 Hx (adZ x) , Y
163
et soient X, Y (A (N )) = T N (T N ) . On a :
i ([X, Y ]) N
=[LX , iY ] N
= LX iY N iY LX N
= iY (iX dN + diX N ) = 0,
164
ne dpend pas de x dans 1 (x) , ni de X (d x )1 X et Y (d x )1 Y .
0
Si X, X (d x )1 X et Y (d x )1 Y , alors
0
X X ker d x = A (N (x)) ,
par suite,
soit,
0
N (x) X X , Y = 0,
0
N (x) (X, Y ) = N (x) X , Y .
Le mme raisonnement montre que si Y, Y 0 (d x )1 Y , alors
donc,
0
0
N (x) X , Y = N (x) X , Y 0 ,
0
N (x) (X, Y ) = N (x) X , Y 0 .
d x0 X 0 = d x0 (d (s )x (X)) = d x (X) = X
d x0 Y 0 = d x0 (d (s )x (Y )) = d x (Y ) = Y
165
or
N x0 X 0 , Y 0 = N (s (x)) (d (s )x (X) , d (s )x (Y ))
= (s N ) (x) (X, Y ) ,
et comme
d
( N ) = t (LZ N ) = 0
dt t
car
LZ N = i (Z) dN + di (Z) N
puisque dN = 0 et Z ker d = A (N ) . On a donc,
t N = N ,
par suite
N x0 X 0 , Y 0 = N (x) (X, Y ) ,
Tx N
identif ication
ker d x = Tx N (Tx N ) = A (N )
La dfinition de B et de la construction de la structure desp. vect.. symplectique quotient tudi dans la partie linaire montre que B est de rang
constant = dim B.
Enfin,
dB = d B = dN = 0
ce qui montre dB = 0 car tant une submersion, injective.
Proposition. Les hypothses et notations tamt celles de la proposition
prcdente. Soit H : M R direntiable t.q.
x N, XH (x) Tx N
b : B R unique t.q.
H
b
H|N = H
XH = XHe .
dH (x) (Tx N ) ,
166
donc H est constante sur les fibres de la submersion , par suite il existe
b : B R direntiable t.q.
H
b = H
b .
H|N = H
On a donc
on dduit
b .
b = dH
B = N et d H|N = d H
5.6.8
= XK (H) = hdH, XK i
167
i j
x , x (x) = Px dxi , dxj = Pxij .
Une varit de Poisson peut tre dfinie par un bivecteur P tel que lespace
C (M ) muni du crochet
{H, K} = P (dH, dK)
est une algbre de Lie.
On peut associer P un morphisme de fibrs vectoriels
P : T M T M,
ou encore une application linaire antisymtrique
^
P :
(M ) X (M )
1
tel que
h, P ()i = P (, ) = h, P ()i .
Ainsi
XH = {H, .} = P (dH, .) = P (dH) .
(M, P ) V. de Poisson
x M,
Espace caractristique en x
Cx = P (Tx M )
Champ de caractristique
C = P (T M )
Morphisme de varit de Poisson
(M1 , P1 ) et (M2 , P2 ) deux V. de Poisson
: M1 M2 morphisme de V.D.
168
soit,
dx P1 (x) = P2 ( (x)) .
5.6.9
Soit C = P (E ) = Im P et
C : C C R
dfinie par
C (u, v) = P (, )
o u = P () et v = P () .
Proposition. (C, C ) est un e.v symplectique et F sev de E,
P (Ann (F )) = (F C)
Dm. C est bien dfinie. Soient , , 0 , 0 E t.q.
u = P () = P 0 et v = P () = P 0
alors
P (, ) = P () ()
= P 0 () = 0
= P 0 0 = P 0 , 0 ,
169
dfinie par :
e R
e E
Pe : E
Pe (, ) = P
e
() ,t () , , E.
170
Alors
e = P t 1 F C (F C)
ker P
e () = t (), P t ()
Pe (, ) =
, P
,
= , P t ()
do
e = P t
P
par suite
e P t () = 0
ker P
P t () F,
P t () P (Ann (F )) = (F C) ,
P t () C,
ce qui montre que
e = P t 1 (F C) (F C) .
ker P
Corollaire. On a :
e E
e ,
1. (F C) = P
e
P
= P t
e = Ann (F )
Im t = t E
171
e E
e = (F C) , et
Bien entendu P
ker |(F C) = F (F C) ,
et comme (F C) C on a
ker |(F C) = (F C) (F C)
et donc
soit
e = dim (F C) dim (F C) (F C) ,
rang P
Fonctions basiques
Soit (M, F) V. feuillete, f C (M ) est dite basique pour F si, Y
T (F), Y (f ) 0, ceci est quivaut f est cste sur chaque feuille de F.
On note par B(M, F) = {fonctions basiques pour F}
B(M, F) sous-anneau de C (M ) et C (M ) est un B(M, F)module.
Un X X (M ) est dit feuillet (ou un automorphisme infinitsimal) pour
F, si au voisinage de chaque point de M, le flot local (t )|t|< associ X
laisse invariant le feuilletage.
L(M, F) {champs de vecteurs feuillets pour F}.
Proposition. (M, P ) V. de Poisson et : M B une submersion
surjective . On a lquivalence :
1. H, K C (B) , b B, {H , K }|1 (b) est constante,
2. Il existe une structure de Poisson sur B pour laquelle est un morphisme de varits de Poisson..
Les proprits ci dessus sont satisfaites lorsque les 1 (b) , b B sont
connexes et quau voisinage de chaque point de M, ker d est localement
engendre par des systmes hamiltoniens.
Dm.
Lapplication
172
= {{Hi , K } , H } + {K , {Hi , K }}
= {i (XHi ) d (K ) , H } + {K , i (XHi ) d (H )}
= 0
Proposition (P. Libermann). Soit (M, ) une V.S. muni dun sous fibr
intgrable de T M. On dnote par F le feuilletage dfini par le sous fibr E.
Les proprits suivantes sont quivalentes :
1. H, K B(M, F), le crochet de Poisson {H, K} B(M, F),
173
174
Chapitre 6
Espaces fibrs
6.1
(6.1)
6.2
Fibr vectoriel
Dfinition 6.1 Un fibr vectoriel est la donne dun fibr localement trivial
(P, M, , F ) de fibre un espace vectoriel rel de dimension finie et dune
175
176
(6.2)
6.3
Fibr direntiel
1
une collection Ui = (Ui ) , i , appele atlas du fibr, satisfaisant certaines proprits. Les Ui forment un recouvrement ouvert de la base M , les
i , appeles trivialisations locales, sont des diomorphismes (globaux) de
Ui = 1 (Ui ) dans Ui F tel que p i = , o p dsigne la projection
canonique de Ui F dans Ui . Enfin, et cest le point essentiel, F est munie
dune certaine structure algbrique et les changements de carte i 1
j sont
des isomorphismes de cette structure algbrique.
Les changements de cartes sont appels fonctions de transition du fibr.
Si F est un espace discret, on obtient le cas intressant de la structure
dite de revtement. Si F est un espace vectoriel, on obtient la structure de
fibr vectoriel. Si F est un groupe de Lie, on obtient la structure de fibr
principal. Ce dernier fera lobjet des paragraphes suivants.
6.4
177
(6.3)
.
Aux changements de carte i 1
j sont donc associes des fonctions de
transition gij de Ui Uj dans G qui agissent par multiplication gauche sur
la fibre.
Posons
(6.4)
1
i (u) = (x, gi )
(x, gi ) = i 1
j (x, gj ) = (x, gij (x) gj )
donc gi = gij (x) gj pour tout x Ui Vj
On peut alors dfinir une action droite de G sur M , u 7 ug, (on la
notera R ultrieurement) par les formules (u 1 (x)):
i (ug) = (x, gi g)
1
1
x,
g
(x,
g
g)
=
(x)
g
g
= 1
ug = 1
j
i
j
j
ij
i (x, gi g)
(6.5)
de la
point
et les
faon
178
(6.6)
i (u) = (u) , d (i )(u) u
Posons
j (u) = (u) , d j (u) u = (x, g)
1
(x,
g)
=
x,
d
(
)
u
=
x,
d
i 1
i (u)
i
j
j
j (u)
gij (x) = d i 1
j
j (u)
(6.7)
d j (u) u =
(6.8)
6.4.1
Un homomorphisme
( respectivement
isomorphisme) de fibrs principaux
0
0
0
(P, M, ) et P , M , , de fibres ventuellement distinctes, est la donne
dun couple (H, h) dapplications direntiables (respectivement de dio0
0
0
morphismes) H : P P et h : M M tel que H = h
Notons quun tel morphisme est compatible avec les projections, donc
envoie des fibres en fibres.
6.4.2
Fibr trivialisable
Dfinition 6.4 Un fibr principal (P, M, , G) est dit trivialisable sil est
isomorphe un fibr trivial.
Choisissons une famille de sections locales i : Ui P . Un tel choix
nous permet de dfinir des trivialisations locales:
1
i (u) = (x, gi (u))
179
(6.9)
(6.11)
6.4.3
180
(6.13)
181
Rg A = adg1 A
(6.14)
(6.15)
donc
(Rg A ) =
do
= adg1 A = adg1 (A )
adg1 A
(6.16)
Rg = adg1
(6.17)
(6.18)
pour tout X Tu P
Si lon dfinit Hu P comme tant le noyau de en u, on retrouvera la
dfinition de connexion.
Cette dfinition a lavantage de ne visiblement pas dpendre dun atlas
particulier de P , elle est donc intrinsque (on peut dailleurs donner une
expresion locale de au moyen des fonctions de tansition et des sections
locales.)
Tout fibr principal possde une connexion: Si (i ) est une partition de
lunit subordonne
au
ouvert de la base M , alors la forme de
recouvrement
(
tant
la forme de Maurer Cartan de G) est
Pfa = (i ) 1
i
i
182
(6.19)
(6.20)
(6.21)
183
1. (0) = u0
2. =
3. les vecteurs tangents appartiennent lespace horizontal Hu P associ la connexion
H
(6.22)
(X1 , X2 , ..., Xr+1 ) = d X1H , X2H , ..., Xr+1
(6.25)
(6.26)
184
6.5
6.5.1
Dfinition 6.8 Soient V un espace vectoriel rel, et V c lensembledes lments de la forme u + iv, o u et v sont des lments de V et i = 1.
V c est un espace vectoriel sur C, qui sera appel le complexifi de V.
Ainsi nous avons :
V c = V R C.
Proposition 6.1 Toute R-base {e1 , . . . , em } de V,est aussi une C-base de
son complexifi V c .
La dimension donc complexe de V c est gal la dimension relle de V,
dimC V c = dimR V = m.
Dfinition 6.9 Une structure complexe sur un espace vectoriel rel V est
un endomorphisme J de V tel que J 2 = idV .
Proposition 6.2 Soit J une structure complexe sur un espace vectoriel
rel de dimension 2n. Alors il existe n vecteurs linairement indpendants
{X1 , . . . , Xn } de V tels que les vecteurs {X1 , . . . , Xn , JX1 , . . . , JXn } forme
une base de V.
Corollaire 6.1 Si {e1 , . . . , em } est une C-base de V c , alors {e1 , . . . , em , ie1 , . . . , iem }
est une R-base de V c .
La dimension donc relle de V c est gal deux fois la dimension complexe
de V c ,
dimR V c = 2 dimC V c = 2m.
Dfinition 6.10 Soit M un espace topologique de dimension 2n. On appelle
carte locale complexe de M , ou systme de coordonnes locales complexes,
un homomorphisme
: U
Cn
z 7 z 1 , z 2 , . . . z n
185
Dfinition 6.11
La varit M est dite analytique complexe, sil existe un
ensemble A = (U , )I de cartes complexes, ou atlas, satisfaisant aux
conditions suivantes :
S
U ,
1. M =
I
2. si , I tel que U U 6= , 1
sont holomorphes.
Le nombre n est appel la dimension complexe de M,
n = dimC M.
Exemples 6.1
V
z 1 e1
+ ...
+ z n en
Cn
1
7
z , . . . , zn
V muni de latlas form par la carte unique {V, } est une varit
complexe de dimension n.
3. La sphre S 2 .
Soient
et
: V = S 2 \ (1, 0, 0) C {0}
1 ix2
(x1 , x2 , x3 ) 7 x1+x
3
1 : C {0} C {0}
1
z 7
z
S 2 muni de latlas A = {(U, ) , (V, )}est une varit complexe de
dimension 2.
186
n
U
C
z1 z+1
z0
zn
(z 0 , . . . , z n ) 7
z , . . . , z , z , . . . , z
U = {(z 0 , . . . , z n ) P n (C) | z 6= 0, = 0, . . . , n. } .
Lapplication rciproque 1
de est donne par : Z = (Z1 , . . . , Zn )
Cn ,
1
(z1 , . . . , zn ) = Z 1 , . . . , Z 1 , 1, Z +1 , . . . , Z n .
Les changements de cartes sont donns par :
1
: (U U )
(z1 , . . . , zn ) 7
(U U )
e
Z1 1
Z1
Zn
Z
,
.
.
.
,
,
,
.
.
.
,
,
.
.
.
,
Z
Z
Z
Z
Z
1
z = x + ix , ( = + n) .
2
k
Les 2n nombres rels x sont dits les coordonnes locales relles associes
aux coordonnes complexes (z ). Il en rsulte que toute structure analytique
complexe dfinie sur M induit sur cette varit une structure analytique
relle et, a fortiori, une structure direntiable de classe C .
Soient Tx M lespace vectoriel tangent en x M et Tx M c son complexifi.
La donne dune structure analytique complexe sur M dfinit en chaque
point x de la varit une structure complexe sur lespace tangent.
Soit Jx : Tx M Tx M lendomorphisme donn par :
=
, Jx
=
.
Jx
x x
y x
y x
x x
187
Jx
=i
, Jx
= i
.
z x
z x
z x
z x
Dautre part Jx : Tx M c Tx M c possde deux valeurs propres i et i.
Soient Tx M (1,0) et Tx M (0,1) les sous espaces propres associs aux valeurs
propres i et i respectivement. On a
Tx M (1,0) = {X Tx M c | Jx X = iX}
et
Tx M (1,0) = {X Tx M c | Jx X = iX} .
) une base de Tx M
( ) dfinit une base de Tx M (0,1) . Il est clair donc que le systme des 2n
) forme une base de T M c . Une telle base sera dite une base
vecteurs (
,
k
Relativement la base adapte (
i
0
k
Jj =
0 i
c
Etant donne une base adapte (
, ) de Tx M , considrons les 2n
1
1
e
= ( + ) et e = (i i ) .
2
2
c
Les vecteurs (
e
, e ) dfinissent ainsi une base de Tx M , donc une base de
Tx M .
e
Les composantes du tenseur Jjk par rapport la base relle (
, e ) sont
donnes par :
0
In
In 0
o In est la matrice identit n n.
188
189
une telle forme peut tre reprsente en x au moyen dune matrice dordre n
dont les lments sont des formes linaires en x valeurs complexes. toute
connexion linaire complexe de forme , correspond une connexion linaire
complexe, dite sa complexe conjugue dont la forme dsigne par .
On sait dj que toute base de Tx M est une base sur C de Tx M c , donc
L (M ) C (M ) . Il en rsulte que toute connexion linaire sur L (M ) dfinit
une connexion linaire sur C (M ) avec laquelle elle peut tre identifie et
qui concide avec sa complexe conjugue. A une telle connexion sur C (M )
on donne le nom de connexion linaire relle. La thorie des connexions
linaires relles dveloppes dans le chapitre prcdant stend trivialement
aux connexions linaires complexes. En particulier, tant donne une connexion linaire relle, on peut lenvisager sur C (M ) cest--dire la rapporter
des repres complexes; on pourra ainsi obtenir les tenseurs de courbure
et torsion, la direntielle absolue dun champ de tenseurs, rapports des
repres complexes.
6.5.2
Dfinition 6.13 Une structure presque complexe sur une varit direntiable relle M de dimension 2n est un champ de tenseurs J qui chaque
point x de M associe un endomorphisme Jx de lespace Tx M tel que Jx2 =
idTx M .
Dfinition 6.14 Une varit direntiable relle munie dune structure presque
complexe est appele varit presque complexe.
Exemples 6.2
1. Soit M = R2n .
J0
, J0
=
=
xi
yi
yi
xi
o (x1 , . . . , xn , y1 , . . . , yn ) est les coordonnes cartsiennes de R2n .
2n
R , J0 est une varit presque complexe. J0 est appel la structure
presque complexe canonique de R2n .
Tx S 2 = R3 | hx, i = 0 ,
190
Dfinition 6.15 Une structure presque complexe J sur M est dite intgrable sil existe un voisinage ouvert U de systme de coordonnes (x1 , . . . , xn )
tel que :
,J
=
=
J
xi
yi
yi
xi
Dfinition 6.16 La torsion dune structure presque complexe J ou tenseur
de Nijenhuis, est le tenseur N de type (1, 2) dfini par :
N (X, Y ) = 2 ([JX, JY ] J[JX, Y ] J[X, JY ] [X, Y ]) X, Y X (M )
Thorme 6.6 une structure presque complexe J est intgrable si et seulement si le tenseur de Nijenhuis est nul.
Connexions presque complexe
Soit (M, J) une varit presque complexe. Soit J0 la structure presque
complexe canonique de R2n . On dfinit lespace de repres suivant :
Dfinition 6.17 Sur la varit presque complexe (M, J), on appelle connexion presque complexe une connexion sur lespace fibr principal E c de
groupe structural le groupe GL (n, C) .
Thorme 6.7 Toute connexion linaire relle sur une varit presque complexe (M, J) induit sur cette varit une connexion presque complexe. Pour
que la connexion linaire soit naturellement associe la connexion presque
complexe quelle induit, il faut et il sut que la drive covariante du tenseur
presque complexe J dans la connexion linaire soit nulle,J = 0.
6.6.
191
Proposition 6.3 Toute varit presque complexe (M, J) possde une connexion presque complexe telle que sa torsion T est donne par : N = 8T, o
N est le tenseur de Nijenhuis de J.
6.6
6.6.1
192
c
Les bases adaptes (
A 0
| A GL (n, C) , A est le complexe conjugu de A,
0 A
Une Lbn (C) structure E b M, Lbn (C) est une structure presque complexe.
6. Les bases relles adaptes la structure presque complexe, sont les
bases de Tx M dduites des prcdentes par :
1
i
e
= ( + ) et e = ( )
2
2
elles constituent un espace de repres rels E a L (M ) dont le groupe
structural Lan (C) est la reprsentation relle de GL (n, C) dans GL (2n, R),
cest--dire le groupe des matrices
B C
o B, C matrices relles tel que B+iC = A GL (n, C) .
C B
Une Lan (C) structure E a (M, Lan (C)) est une structure presque complexe.
6.6.2
6.6.
193
6.6.3
Gstructures quivalentes
194
Exemple 6.2 La Lbn (C) structure E b M, Lbn (C) et la Lan (C) structure
E a (M, Lan (C)) dfinies par une structure presque complexe (exemple?) sont
b
quivalentes, car si u = (
0
a
u = (e , e ) E la base relle correspondante, on a :
1
In
In
u0 = ul o l =
2 iIn iIn
do E a = E b l et Lan (C) = l1 Lbn (C) l. E a tant relle, E b est quivalente
au rel.
Dans la suite on appelle Cstructure lensemble des G0 structures quivalentes une Gstructure donne (G, G0 C) .
Le problme de la dtermination de toutes les Gstructures possibles
sur M est rsolu lorsque G donn est ferm dans GL (n, R), elles correspondent biunivoquement aux sections direntiables de lespace homogne E/G.
Cependant, le problme de la dtermination de toutes les Cstructures est
encore pos.
Soit un reprsentant G C, une Cstructure donne admet ds que
N (G) 6= G plusieurs reprsentants qui sont des Gstructures, et ces structures sont associes. Soit F le faisceau des germes de sections direntiables
de E/G que lon peut appeler faisceau des germes de Gstructures. Lespace
quotient F/N est encore un faisceau, et si q : F F/N la projection canonique, alors deux sections de F dfinissent deux Gstructures associes, si et
seulement si elles ont la mme image par q.
Il y a donc un correspondance biunivoque entre les Cstructures sur M
et les sections du faisceau F/N qui ont un relvement dans F. On peut
donc appeler F/N faisceau des Cstructures sur M. La mme analyse est
videmment valable dans le cas complexe.
Dfinition 6.22 Une Gstructure E (M, G) sur M est dite intgrable si
au voisinage de chaque point x de M, il existe un voisinage ouvert U de
systme de coordonnes locales x1 , . . . , xn tel que la section du fibr L (M )
1
n
Le systme de coordonnes
1locales nx
, . .. ,1x surn U sera dite adapt
la Gstructure E (M, G). si x , . . . , x et y , . . . , y sont deux systmes
de coordonnes locales adapts
les voisinages U et V respectivement,
i sur
y
appartient G en chaque point de
alors la matrice Jacobienne xj
1i,jn
U V.
6.6.
195
j1
jl
k
cij11...i
... i ,
t=
...jl dx . . . dx
i
1
x
x k
1i1 ,...,ik ,j1 ,...,jl n
k
avec cij11...i
...jl R.
6.6.4
196
(tD)A
i0 i1 ...iq
6.6.5
l=0
(1)l ()A
=
i .i0 ...ie ...iq
l
k<l
k,l=0,1,...,q
6.6.
197
o
A : Rn G 2 Rn Rn
S
7
A (S)
: Rn Rn
Rn
(u, v)
7 A (S) (u, v) = S (u) v S (v) u
est loprateur dantisymtrisation, cet oprateur respecte les actions naturelles du groupe G sur les espaces Rn G et 2 Rn Rn , de sorte que G
agit sur lespace 2 Rn Rn /A (Rn G) .
Dfinition 6.25 Le tenseur = sur E valeurs dans 2 Rn
Rn /A (Rn G) est un invariant de la G structure E (M, G) , appel tenseur
de Chern-Bernard de E, ou encore tenseur de structure de E.
Proposition 6.9 Soit E (M, G) une G structure sur M, si le tenseur de
structure de E est nul, alors il existe sur E une connexion sans torsion.
Proposition 6.10 le tenseur de structure dune G structure intgrable est
nul.
Remarque 6.2 La rciproque, bien que fausse en gnral, est vraie pour
quelques types importants de structures.
Soit E (M, G) la G structure dfinie par le tenseur presque complexe
J, E est intgrable si et seulement si le tenseur de structure de E est nul.
198
Bibliographie
[1] J.F.ADAMS. Vector fields on spheres. Ann. of Maths. (1962).
[2] Mc.AUDIN-P.IGLESIAS La gomtrie symplectique. La RECHERCcHE. 38 France. Dcembre 1994
[3] L. AUSLANDER Examples of locally ane spaces Ann. of Maths. 64
(1964) 255-259.
[4] L. AUSLANDER The structure of complete locally ane manifolds.
Topology 3 suppl.1 (1964) 131-139.
[5] L. AUSLANDER and L. MARKUS Holonomy of flat anely connected
manifolds. Ann. of Math. Princeton 62(1955) 139-151.
[6] A. AWANE Sur une gnralisation des structures symplectiques. Thse
Strasbourg (1984).
[7] A. AWANE k-symplectic structures . Journal of Mathematical physics
33(1992) 4046-4052. U.S.A.
[8] A. AWANE G-espaces k-symplectiques homognes. Journal of Geometry and Physics. 13(1994) 139-157. North-Holland.
[9] A. AWANE Structures k-symplectiques. Thse Mulhouse(1992).
[10] A. AWANE Some ane properties of the k-symplectic manifolds.
Beitrge zur Algebra und Geometrie Contribution to Algebra and
Geometry Volume 39 (1998) N .1, 75 83. Germany
[11] A. AWANE Systmes extrieures k-symplectiques. Rend. Sem. Mat.
Univers. Politecn. Torino. Vol. 56, 1 (1998).
[12] A. AWANE, M.BELAM, S.FIKRI, M.LAHMOUZ et B.NAANANI.
Systmes hamiltoniens k-symplectiques. Revista Matematica Complutence (2002) vol XV, num. 1, 1-21.
199
200
BIBLIOGRAPHIE
varits,
BIBLIOGRAPHIE
201
202
BIBLIOGRAPHIE
BIBLIOGRAPHIE
203