E Universit Joseph Fourier

cole dt de mathmatiques 1996 :

Analyse complexe
Cours de gomtrie diffrentielle et holomorphe
Thierry Bouche
Introduction la gomtrie direntielle des varits analytiques
complexes
Table des matires
Varits, applications direntiables, brs vectoriels
I.I Varit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (
I.I.I Dnitions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (
I.I.z Applications C

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
I.z Fibr tangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
I.z.I Espace tangent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
I.z.z Espace cotangent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Iz
I.z. Dualit tangent-cotangent. . . . . . . . . . . . . . . . . . . . . . . . . I
I.z.( Sous-varits. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I
I.z. Varits bord. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I6
I. Fibrs vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I,
I..I Dnition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I,
I..z Sections, morphismes. . . . . . . . . . . . . . . . . . . . . . . . . . . . I
I.. Oprations algbriques sur les brs vectoriels. . . . . . . . . . . . . . zo
Formes direntielles
z.I Dnition des tenseurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zz
z.z Oprations sur les tenseurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . z
z.z.I Produit tensoriel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z
z.z.z Contraction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z
z.z. Symtrisation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z(
z.z.( Antisymtrisation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z(
z. Formes direntielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z
z..I Produit extrieur. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z
z..z Produit intrieur par un champ de vecteurs. . . . . . . . . . . . . . . . z,
z.( Oprateur d . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z8
z. Pull-back & push-forward . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I
z.6 Intgration sur les varits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z
z.6.I Orientation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . z
z.6.z Intgration. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
z.6. Formule de Stokes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
z.6.( Lemme de Poincar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . ,
z.6. Notion de cohomologie. . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Structures complexes
.I Structures presque complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . (o
.z Oprateur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (z
. Lemme de Dolbeault-Grothendieck . . . . . . . . . . . . . . . . . . . . . . . . ((
.( Cohomologie de Dolbeault . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (6
( . Varits, applications direntiables, brs vectoriels
. Varits, applications direntiables, brs vectoriels
.. Varit
Une varit C

est un objet sur lequel on souhaite pouvoir faire les mmes calculs di-
rentiels que sur R
n
. Pour calculer une drive, il sut de connatre la fonction dans un voisi-
nage du point considr, donc on va munir une varit dune structure locale hrite de celle
de R
n
. Par exemple, sur la gure I, on observe que la courbe de gauche se recoupe en p donc ce
nest pas une varit : en eet, un voisinage mme petit du point double p na pas la topologie
dun intervalle de R. Par contre la courbe de droite est une varit : tout point admet un petit
voisinage quon peut identier avec un intervalle de R (remarquer cette occasion que ceci
nest plus vri pour les grands voisinages : il y a toujours une dialectique entre phnomnes
locaux et aspects globaux qui font apparatre la topologie ou la gomtrie de la varit).
p
Fic. I: gauche : ce nest pas une varit ; droite, cest une varit
... Dnitions.
tant donn un espace topologique M une carte (ou application de coordonnes locales)
est la donne dun ouvert U M, dun ouvert V R
n
et dun homomorphisme : U
V . Lapplication rciproque sappelle une paramtrisation de U. Un atlas est une collection
de cartes (U

) qui recouvrent M. La rgularit de latlas est donne par la rgularit des

applications de recollement (ou changements de cartes). Formellement, on donne la
DrriNi1ioN I.I. Un atlas de classe C
p
de M est un recouvrement de M par des ouverts U

sur lesquels sont dnies des cartes

telles que :
. M
_

(les U

recouvrent M) ;
.

: U

est un homomorphisme de U

sur un ouvert V

de R
n
;
. Si U

= U

, alors

= (

)
|

(U

)
est un diomorphisme de classe
C
p
sur

(U

) (ce qui a bien un sens car

est dnie dun ouvert de R

n
dans un autre
ouvert de R
n
).
. Varit
Deux atlas sont quivalents si leur concatnation produit un nouvel atlas de mme classe,
ce qui revient demander que les changement de cartes dune carte dun atlas vers une carte
de lautre atlas aient la bonne rgularit.
DrriNi1ioN I.z. Une varit ( C

) de dimension n est la donne dun espace topologique

M, et dune classe dquivalence datlas
I
(de classe C

).
Les varits que je considrerai dans la suite seront en outre localement compactes, et d-
nombrables linni cette hypothse technique ayant pour seul but de massurer lexistence
de partitions de lunit lorsque jen aurai besoin. Si on prfre lanalyse complexe lanalyse
relle, on peut choisir C
n
comme modle local, et demander que les changements de carte
soient holomorphes. On dnit ainsi une varit analytique complexe. Pour xer les ides, nous
considrerons ici une application de C
n
dans C
p
comme holomorphe si les p applications co-
ordonnes sont complexe-analytiques, i.e. si elles se dveloppent localement en sries entires
dans les n coordonnes de C
n
.
Exemples :
I. Tout ouvert de R
n
est une varit de dimension n, avec comme atlas lapplicationiden-
tit dnie sur louvert .
z. S
1
= R/(2Z) le cercle est une varit de dimension I, avec comme atlas U
0
= {
0 [2]} et U

= { [2]}, les applications

consistant prendre la dtermination

de langle respectivement dans les intervalles ]0,2[ et ],[. Le changement de carte
est une application ane, donc C

.
. Le tore T
2
= R
2
/Z
2
est une varit de dimension z, avec par exemple comme atlas :
U

= {(x,y) : x 0 [1],y 0 [1]} U

+
= {(x,y) : x 0 [1],y 0,5 [1]}
U
+
= {(x,y) : x 0,5 [1],y 0 [1]} U
++
= {(x,y) : x 0,5 [1],y 0,5 [1]}
les applications consistant prendre le reprsentant de la classe dquivalence de
(x,y) respectivement dans les intervalles
]0,1[]0,1[, ]0,1[]0,5,1,5[, ]0,5,1,5[]0,1[, ]0,5,1,5[]0,5,1,5[
donc les changement de cartes sont des translations. En identiant C R
2
, on constate
que T
2
admet une structure complexe car les similitudes de R
2
(ici des translations) sont
videmment holomorphes.
(. La sphre S
2
= {x = (x
1
,x
2
,x
3
) R
3
: ||x||
2
= 1} est une varit de dimension z. On
prend par exemple comme atlas les 6 ouverts U

i
= {x S
2
: x
i
> 0} qui recouvrent
S
2
puisque ||x||
2
= 1 entrane que lune aumoins des coordonnes x
i
de x soit nonnulle,
et on dnit les homomorphismes

i
par :

i
: U

i
{(x,y) R
2
: x
2
+ y
2
< 1}
x (. . . , x
i
, . . . )
cest--dire que lon projette sur lhyperplan dni par lannulation de la i-me coordon-
ne de x. Montrons par exemple que les cartes
+
3
et

2
sont compatibles sur
U
+
3
U

2
= {x R
3
: ||x|| = 1,x
3
> 0,x
2
< 0}.
I. On voit facilement quil existe un atlas maximal dans lequel on a mis tous les atlas compatibles entre eux. La
donne dune classe dquivalence datlas est par consquent quivalente celle dun atlas maximal.
6 . Varits, applications direntiables, brs vectoriels
On a ici
+
3
(x) = (x
1
,x
2
) et

2
(x) = (x
1
,x
3
) donc :
(

2
)
1
(x,y) = (x,
_
1 x
2
y
2
,y)
et :

+
3
(

2
)
1
(x,y) = (x,
_
1 x
2
y
2
)
avec rappelons-le x
2
+ y
2
< 1. Donc
+
3
(

2
)
1
est un diomorphisme C

de

2
(S
2
{x
2
< 0,x
3
> 0}) = {(x,y) : x
2
+ y
2
< 1}
sur

+
3
(S
2
{x
2
< 0,x
3
> 0}) = {(x,y) : x
2
+ y
2
< 1}.
Bien que S
2
soit de dimension paire, latlas ci-dessus ne nous fournit pas de structure
complexe.
Exercices :
I. Unautre atlas de S
n
est donn par les deux projections strographiques dnies comme
suit : la projection strographique de ple nord
+
est lapplication qui envoie tout point
p de S
n
except le ple nord sur le point du plan quatorial align avec le ple nord
et p. On dnit de mme la projection strographique de ple sud. Cest un exercice
facile de donner les expressions en coordonnes de ces deux applications. Il y a un seul
recollement. Il est antiholomorphe : peut-onpourtant donner une structure holomorphe
S
n
? Peut-on trouver un atlas de S
n
comportant moins de cartes que celui qui vient
dtre construit?
z. RP
n
= { droites de R
n+1
} = R
n+1
\ {0}/R

, est une varit de dimension n. RP

n
est
recouvert par les n + 1 ouverts U
k
= {[x
0
: . . . : x
n
] : x
k
0} (0 k n), o
[x
0
: . . . : x
n
] dsigne la classe dquivalence de (cest--dire la droite engendre par)
(x
0
, . . . ,x
n
), et les cartes

k
: (x
0
, . . . ,x
n
) (
x
1
x
k
, ,
x
k1
x
k
,
x
k+1
x
k
, ,
x
n
x
k
).
Vrier que les cartes sont compatibles.
Remarque : RP
1
, lensemble des droites du plan, sidentie au cercle S
1
, il sut de multiplier les
angles par z. Par contre RP
2
ne sidentie pas S
2
, on peut voir RP
2
comme un hmisphre dont
on identie les points diamtralement opposs sur lquateur.
Vrier quon dnirait de mme les varits complexes CP
n
= C
n+1
\ {0}/C

.
... Applications C

.
On peut tendre la notion dapplications C

ou holomorphes des varits en regardant

lexpression de lapplication dans les coordonnes locales donnes sur toute carte de latlas. En
dautres termes, on considre que les applications de coordonnes locales sont des diomor-
phismes locaux, et que les thormes de composition restent valides dans ce contexte.
DrriNi1ioN I.. Soient M et N deux varits de dimension m et n, munies datlas respec-
tifs

et

.
. Varit ,
Une application f de M dans N est dite C

si et seulement si les applications

f
1

sont C

lorsquelles ont un sens (rappelons que ces applications sont dnies dun ouvert de R
m
dans un ouvert de R
n
).
Une bijection f entre M et N est un diomorphisme C

si f et f
1
sont des applications
C

. En particulier, sil existe un diomorphisme entre M et N alors m = n.

On note C

(M,N) (resp. C

(M)) lensemble des applications C

de M valeur dans N
(resp. R).
Si M et N sont des varits complexes, on dnira de mme les applications holomorphes
entre M et N. On notera Hol(M,N) (resp. Hol(M)) lensemble des applications holomorphes de
M vers N (resp. C).
On vrie que deux atlas sont compatibles si et seulement si lapplication identit est un
diomorphisme de M muni dun des deux atlas sur elle-mme muni de lautre.
.... Expressions en coordonnes locales. Si on se donne une application f : M
R, et un atlas (U

) sur M, on a une collection dapplications f

= f
1
: V

R avec
V

(U

) R
n
qui vrient
f

= f

si U

. (I)
Rciproquement, la donne dune collection dapplications ( f

) vriant les conditions (I)

dtermine de faon unique une application de M dans R.
Exemples :
I.
f :
_
S
2
RP
2
x [x]
est C

, localement inversible, mais pas globalement inversible (puisque deux points

diamtralement opposs de la sphre dnissent la mme droite). Par exemple, on a :

2
f (
+
1
)
1
(x,y) =
2
( f (
_
1 x
2
y
2
,x,y)) = (
_
1 x
2
y
2
x
,
y
x
)
qui est bien C

sur x
2
+ y
2
< 1,x 0.
z. Toute application mromorphe sur C dnit une application holomorphe de C dans
CP
1
. En eet, si F est mromorphe sur C, elle scrit comme le quotient de deux appli-
cations holomorphes sur C : F =
f
g
qui ne sannulent pas simultanment. Lapplication

F : C CP
1
x [ f (x) : g(x)]
est donc bien dnie. On a videmment (avec les notations de la page 6)
1

F = F pour
les points dimage nie par F . Vrier que rciproquement la donne dune application
de Hol(C,CP
1
) est quivalente celle dune fonction mromorphe.
8 . Varits, applications direntiables, brs vectoriels
Exercices :
I. Enidentiant habilement les z cartes de CP
1
et celles de S
2
(projections strographiques),
construire un diomorphisme, et une application biholomorphe entre ces deux vari-
ts .
z. Montrer que lensemble des matrices inversibles GL
n
(R) est une varit. Soit A une ma-
trice n n et :
f
A
: G f
A
(G) = G
1
AG
montrer que f
A
est C

de GL
n
(R) dans M
n
(R).
. Montrer que tous les tores T
n
sont diomorphes entre eux, mais quil y a une innit de
structures complexes sur chaque tore rel de dimension paire. [Indication: les applications
holomorphes sont conformes.]
.. Fibr tangent
... Espace tangent.
On va donner une dnition abstraite de lespace tangent une varit en commenant
par interprter les vecteurs de R
n
comme des drivations de fonctions de C

(R
n
).
Soit f : R
n
R une fonction C

dans un voisinage de m R
n
et soit v R
n
un vecteur,
on leur associe la drive de f selon v en m:
v( f ) = lim
t 0
f (m + t v) f (m)
t
,
soit, en coordonnes locales :
v( f ) =
n

i=1
v
i
f
x
i
(m) = d
m
f (v).
On peut voir laction de v comme celle dune fonctionnelle (que lon note encore v) de f (en
fait sur les germes de fonctions C

au point m), qui vrie les proprits de linarit et de

Leibniz (au point m) :
v( f + g) = v( f ) + v(g) (z)
v( f g) = f (m)v(g) + g(m)v( f ). ()
On appelle drivation une telle fonctionnelle. Rciproquement, si une drivation vrie
les proprits (z) et (), alors montrons que sinterprte comme laction dun vecteur v.
On observe dabord que (1
2
) = 2(1) donc (1) = 0 puis par linarit est nulle sur les
constantes. Soit maintenant f : R
n
R une fonction C

dans un voisinage V = B(m

0
,) de
m
0
R
n
, posons pour m V :
g(t ) = f (m
0
+ t (m m
0
)).
. Fibr tangent
La fonction g est C

sur [0,1], donc

f (m) = g(1) = g(0) +

1
0
g

(t )dt
= f (m
0
) +
n

i=1
(m m
0
)
i

1
0
f
x
i
(m
0
+ t (m m
0
))dt .
Donc, par linarit et en appliquant Leibniz :
( f ) =
n

i=1
((m m
0
)
i
){

1
0
f
x
i
(m
0
+ t (m m
0
))dt }
|m=m
0
.
Finalement :
( f )(m
0
) =
n

i=1
(m
i
)
f
x
i
(m
0
) = v( f ),
o v a pour coordonnes
_
m
i
_
dans la base canonique.
.... Notation. On note

x
i
le i-me vecteur de la base canonique. Ce qui se justie
par le fait que
v =
n

k=1
v
i

x
i
v( f ) =
n

k=1
v
i
f
x
i
(m).
Revenons maintenant au cas dune varit quelconque. On note C

m
(M) lensemble des
fonctions
z
de M dans R qui sont C

sur un voisinage de m.
DrriNi1ioN I.(. Lespace tangent T
m
M en un point m de M est lensemble des drivations
au point m sur C

m
(M).
Pnoosi1ioN I.. T
m
M est un espace vectoriel de dimension n = dimM. De plus le -
br tangent T M =
mM
{m} T
m
M, est muni canoniquement dune structure de varit de
dimension 2n.
Remarque. Lidentication entre vecteurs de R
n
et drivations sur C

m
0
(R
n
) qui vient
dtre discute revient identier canoniquement T
m
0
R
n
et R
n
en tout point m
0
.
Dmonstration. Les drivations tant des formes linaires sur C

m
(M), elles hritent
des lois despace vectoriel correspondantes. Il sut de voir que la condition de Leibniz () est
prserve par combinaison linaire. Considrons la carte (U,x) de M avec m U, valeurs
dans louvert V de R
n
. On peut lui associer lapplication x

: T
m
M R
n
qui applique v sur :
x

(v) :
_
C

x(m)
(R
n
) R
f x

(v)( f ) = v( f x).
On observe que x

est un isomorphisme entre T

m
M et T
x(m)
R
n
R
n
car x fournit une identi-
cation entre C

m
(M) et C

x(m)
(R
n
) (par dnition mme des applications C

sur une varit :

z. Plus rigoureusement, on prfrerait parler de lespace des germes de fonctions C

sur M au point m: ce sont

les classes dquivalence de couples (U, f ) o u est un voisinage ouvert de m, et f C

(U) ; avec la relation

(U, f ) (V ,g) W U V : f
|W
= g
|W
.
Io . Varits, applications direntiables, brs vectoriels
dnition I.). Donc dimT
m
M = n. la carte x est associe canoniquement une base de T
m
M
dont le i-me vecteur est (x

)
1
(

x
i
). Lorsquil ny a pas de confusion possible, on note encore
cette base

x
i
. Ceci est justi par le fait que pour les fonctions coordonnes x
i
la valeur de
v(x
i
) est v
i
si v =

n
k=1
v
k

x
k
. On peut dailleurs exprimer x

en coordonnes par :
x

: v (v(x
1
), . . . ,v(x
n
)).
Structure de varit sur T M : tout couple (m,v) de T M, on associe :
T x(m,v) = (x(m),x

(v)),
T x dnit une application de coordonnes locales sur les couples (m,v) pour m U,v
T
m
M, valeurs dans R
2n
. Ces ouverts recouvrent entirement T M, lunion disjointe de tous
les espaces tangents. Montrons que les changement de cartes sont C

, ce qui achvera de
dmontrer la proposition. On considre maintenant deux cartes x et y dnies simultan-
ment sur un ouvert U de M. On se donne donc (x
m
,) dans limage de T x et on calcule
T y T x
1
(x
m
,) = (y
m
,). Notons (m,v) = (T x)
1
(x
m
,), donc m = x
1
(x
m
) et :
T y T x
1
(x
m
,) = ((y x
1
)(x
m
),v(y
1
), . . . ,v(y
n
)).
Comme M est une varit, il est clair que yx
1
est C

en x
m
. Il reste exprimer les
k
= v(y
k
)
en fonction des
i
= v(x
i
). Pour m M voisin de m
0
dimage x
m
par la carte x, on a :
y
k
(m) y
k
(m
0
) = (y x
1
)
k
(x
m
) (y x
1
)
k
(x
m
0
)
=
n

i=1
(x
m
x
m
0
)
i

1
0
(y x
1
)
k
x
i
((1 t )x
m
+ t x
m
0
) dt .
Donc :

k
= v(y
k
) =
n

i=1
v(x
i
)
(y x
1
)
k
x
i
=
n

i=1
y
k
x
i

i
.
Finalement
k
= v(y
k
) est une combinaison linaire coecients C

des
i
, la matrice de
lapplication linaire qui permet de passer du vecteur au vecteur est la matrice :
Dy
Dx
=
_
y
i
x
k
_
ik
(()
qui est inversible car x y(x) est un diomorphisme C

.
Si v a pour coordonnes dans la base /x
j
et dans la base /y
j
, et sont relis par
la formule (() donc en faisant = (0, . . . ,0,1,0, . . . ,0) (i.e.
i
=
i j
pour i [1,n]), on obtient :

k
=
y
k
x
j
soit

x
j
=
n

k=1
y
k
x
j

y
k
. ()
Remarque. Lorsque la varit est reprsente comme sous-varit de R
N
, on peut ga-
lement voir un vecteur tangent M comme la drive dune courbe sur M en un point m.
Laction sur les fonctions est alors vidente (on drive la restriction de la fonction la courbe),
mais la structure despace vectoriel est un peu moins naturelle.
. Fibr tangent II
Exemple. Les groupes classiques de matrices (inversibles, orthogonales, unitaires) ont
des structures de varit, ce sont dailleurs des sous-varits de R
n
2
ou C
n
2
. Les espaces tan-
gents en lidentit sont alors respectivement toutes les matrices, les matrices antisymtriques
et les matrices antihermitiennes. La structure de groupe permet didentier les espaces tan-
gents en dautres matrices avec ces espaces vectoriels de matrices.
DrriNi1ioN I.6. Soient X et Y deux varits, soit f : X Y une application C

dans
un voisinage de x X et soit y = f (x). On dnit l application linaire tangente f en x :
T
x
f : T
x
X T
y
Y en posant pour v T
x
X et g C

y
(Y ) : (T
x
f (v)) (g) = v(g f ).
On vrie en eet aisment que T
x
f (v) T
y
Y .
Pnoosi1ioN I.,. T
x
f est une application linaire de T
x
X dans T
y
Y . Lorsque f est C

de
X Y , on peut dnir lapplication tangente T f : T X TY par :
T f : (x,v) T X ( f (x),T
x
f (v)) TY .
La linarit est vidente et le caractre C

se montre en coordonnes locales. Signalons la

proprit suivante qui rsulte trivialement de la dnition.
Pnoosi1ioN I.8. Si X ,Y et Z sont trois varits, et f : X Y , g : Y Z deux applica-
tions C

, on a :
T
x
(g f ) = T
f (x)
g T
x
f .
Exemple. Lapplication f
A
dnie sur GL
n
(R) par f
A
(G) = G
1
AG admet pour appli-
cation tangente en G:
T
G
f
A
(M) = G
1
AM G
1
MG
1
AG.
DrriNi1ioN I.. Lorsque Y = Rcest--dire lorsque f : X R, la composante linaire de
T f se note d f et est appele direntielle de f .
Remarque. Il faut garder lesprit que lespace tangent en m dpend du point m. Il est
donc en gnral impossible disoler la composante linaire de lapplication linaire tangente.
Dans le cas de R, lespace tangent ne dpend pas du point, ce qui permet de dnir la di-
rentielle : ce serait possible plus gnralement si Y = R
n
ou mme si TY est un br trivial (cf.
section I.).
Exercices :
I. Retrouver les deux proprits bien connues du calcul direntiel usuel : une application
dont la direntielle est identiquement nulle est localement constante ; la direntielle
sannule en un point ou f admet un extremum.
z. Si : V U M est une paramtrisation, montrer que T
x
est surjective sur T

(x)M
pour tout x.
. Si f est une application C

de R
n
dans R, constante sur une varit M R
n
, montrer
que T M ker d f .
Iz . Varits, applications direntiables, brs vectoriels
... Espace cotangent.
Soit m M. On dnit

lespace cotangent en m M :
T

m
M = {d
m
f , f C

m
(M)}.
Cest galement le dual de T
m
M car toute forme linaire de T
m
M est la direntielle dune
fonction C

m
(M) (il sut de le montrer en coordonnes locales, et dans le cas dun ouvert de
R
n
, il sut de prendre pour f la forme linaire elle-mme).
Pnoosi1ioN I.Io. T

m
M est un espace vectoriel de dimension n = dimM. De plus
T

M =
mM
{m} T

m
M, le br cotangent de M, est muni canoniquement dune structure
de varit de dimension 2n.
Remarque. Si f est valeurs complexes, sa direntielle d
m
f a un sens en tant que
qulment de T

m
M
R
C. Si lon dcompose f en parties relle et imaginaire, la direntielle
complexie se dcompose de la faon correspondante.
Dmonstration. Soit (U,x) une carte de M contenant m. On en dduit une carte dite
carte naturelle de T

M dnie sur
mU
{m} T

m
M :
T

x : (m,d
m
f ) T

M
_
x(m),d
m
f
_
x
1
), . . . ,d
m
f (

x
n
)) = (x(m),d
x(m)
( f x
1
)).
Il reste vrier que deux cartes naturelles sont C

compatibles sur leur domaine communde

dnition. Soit donc y une autre carte de M et dterminons T

y (T

x)
1
. Soit (x(m),)
R
2n
, (m,d
m
f ) son image rciproque par T

x, et (y(m),) limage de (m,d

m
f ) par T

y. On
a :
y(m) = (y x
1
)(x(m)), = (d
m
f (

y
1
), . . . ,d
m
f (

y
n
)).
Comme les cartes x et y sont compatibles, y x
1
est C

. Il reste exprimer de manire C

en fonction de et de x(m). Pour cela, on utilise la linarit de d

m
f et le changement de carte
pour un vecteur tangent () :

y
k
=
n

i=1
x
i
y
k

x
i
do lon tire :

k
=
n

i=1
x
i
y
k

k
ou encore :
=
t
_
Dy
Dx
_
1
(x)
qui est bien une fonction C

de et de m.
. Il existe une dnitionplus algbrique ducotangent T

m
M. Notons C

m,0
(M) lespace des germes de fonctions
C

en m qui sannulent en m. Cest lidal maximal de C

m
(M). Son carr est lespace des germes dont la drive
sannule en m ( cause de la relation ()). Le quotient C

m,0
(M)/
_
C

m,0
(M)
_
2
sidentie donc naturellement aux
dveloppements de Taylor lordre I des germes de C

m,0
(M), donc lespace T

m
M que nous avons dni. Cette
dnition-ci a lavantage de conserver unsens dans uncontexte ola direntielle nest pas biendnie. Le tangent
en m est alors dni comme lespace vectoriel dual.
. Fibr tangent I
Exercice. Nous avons donc donn un sens bien prcis aux notations dx
i
et /x
i
sur
un ouvert de cartes : la premire signie la direntielle de lapplication de i-me coordonne
locale, tandis que la seconde sinterprte comme un vecteur tangent en m. Justier la relation
suivante :
d
m
f =
n

i=1

x
i
f dx
i
. (6)
En particulier, montrer que la base duale de /x
i
est donne par les dx
i
, et quon retrouve la
drive partielle de f sous cette forme :
f
x
i
= d
m
f (

x
i
) =

x
i
f .
... Dualit tangent-cotangent.
Par dnition de d f on a d
x
f (v) = v( f ), ce qui dnit
(
la dualit entre T M et T

M.
En gnral, il ny a pas disomorphisme canonique entre T X et T

X . Il est ncessaire de
disposer dune donne supplmentaire qui est une forme bilinaire non dgnre sur T
x
X
(par exemple une forme symtrique dans le cas des varits riemanniennes ou une forme an-
tisymtrique pour une varit symplectique).
On a vu qutant donne une application : X Y , on peut dnir T
x
: T
x
X T
y
Y .
Par dualit, on peut dnir T

y
: T

y
Y T

x
X : si d
y
f T

y
Y , on pose
T

y
(d
y
f ) = d
x
( f ).
On vrie que T
x
et T

y
sont bien duales lune de lautre : si v T
x
X ,
[T

y
(d
y
f )](v) = d
x
( f )(v) = v( f ) = T
x
(v)( f ) = d
y
f [T
x
(v)]. (,)
Mais il nest pas possible de dnir une application T

: T

Y T

X en gnral car si
y Y , on ne sait pas sil admet un antcdent unique par . Lorsque est injective, on peut
dnir T

sur
T

Y =
y(X )
{y} T

y
Y .
... Sous-varits.
DrriNi1ioN I.II. Soit M une varit de dimension n. On dit que N est une sous-varit
de M si on peut choisir un atlas (U

) de M tel que pour tout ouvert de carte U

limage de
N U

par

soit lintersection dun sous-espace ane de R

n
avec

(U

) = V

. En dautres
termes, il existe pour tout point p N unouvert de carte U M contenant p et des coordonnes
locales (x
1
, . . . ,x
n
) sur U telles que N U soit donn par lquation x
m+1
= = x
n
= 0.
Exemples :
I. Tout ouvert dune varit M est une sous-varit de M de mme dimension (prendre
m = n dans la dnition ci-dessus !).
(. Le second membre ne dpend que de d
y
f car f est dtermine une constante prs, v tant une drivation,
elle annule la constante. Cette observation est utilise dans tous les calculs qui suivent.
I( . Varits, applications direntiables, brs vectoriels
z. la sphre S
n
est une sous-varit de R
n+1
. On prend comme carte de R
n+1
sur louvert :
U

i
= {x

> 0 :

j i
x
2
j
< 1}
la fonction:

i
(x) = (x
1
, . . . ,x
i1
,x
i

_
1

j i
x
2
j
,x
i+1
, . . . ,x
n
)
et sur U
0
= {||x||
2
1} on prend la carte identit. On recouvre bien R
n+1
et limage par

i
de U

i
S
n
est :
(R R {0} R R)

i
(U

i
).
Remarque. La dimensionde lespace ane est indpendante dupoint de la sous-varit
considr, elle dpend uniquement de la composante connexe. En eet, la dimension est lo-
calement constante, car si on change de carte, les deux cartes permettent dobtenir un dio-
morphisme entre deux espaces anes qui ont donc mme dimension. Donc une sous-varit
dune varit est une varit de dimension la dimension de lespace ane.
Si on se donne deux varits M et M

de dimensions m et m

, le produit cartsien M M

est encore une varit de dimension m+m

(M est alors une sous-varit de M M

). On peut
ainsi construire de nombreuses varits. Lnonc suivant permet de fabriquer la plupart des
exemples courants :
TuronIrr I.Iz. Soit f : U R
n
R
p
une application de classe C

. Si la direntielle
de f est surjective, alors ses bres X
b
= f
1
(b) non vides sont des sous-varits de R
n
. On dit
dans ce cas que f est une submersion.
Si la direntielle de f est injective (auquel cas on dira que f est une immersion) et f est
ouverte sur son image, alors limage f (U) est une sous-varit de R
p
. On dira que U est plong
dans R
p
: f ralise alors un plongement.
Dmonstration. La premire proprit est une consquence immdiate du thorme
des fonctions implicites. En eet, lhypothse nous dit que, le long de X
b
, la direntielle de
f est de rang p : il y a donc au voisinage de chaque point de X
b
p drives partielles de f li-
nairement indpendantes. Grce au thorme des fonctions implicites, on peut alors crire
les p coordonnes correspondantes comme fonction des n p restantes, ce qui revient pa-
ramtrer cet ouvert par un ouvert de R
np
. Sur un ouvert o deux systmes de coordonnes
implicites existent, le thorme des fonctions implicite permet de voir chaque coordonne
comme fonction C

des n p choisies pour le paramtrer : il est par consquent vident que

le changement de carte est C

. Maintenant, quitte renumroter les f

i
, on peut dnir lap-
plication
F : R
n
R
n
(x
1
, . . . ,x
n
) (x
1
, . . . ,x
np
, f
1
((x
1
, . . . ,x
n
)) b
1
, . . . , f
p
((x
1
, . . . ,x
n
)) b
p
)
qui est un diomorphisme local de R
n
car sa direntielle ne sannule nulle part. F dnit
donc une carte sur chaque ouvert o elle est injective, et dans les coordonnes (y
1
, . . . ,y
n
) cor-
respondantes, on a bien que M est donne par les quations y
np+1
= = y
n
= 0.
. Fibr tangent I
La deuxime proprit est plus simple : si d
x
f est injective, on peut complter le systme
libre (d
x
f
1
, . . . ,d
x
f
n
) en une base de T

x
R
p
(lhypothse implique p n). Pour ce faire, on
utilisera p n combinaisons linaires d f
n+1
, . . . ,d f
p
des dx
i
,i = 1, . . . , p qui stendent natu-
rellement en direntielles au voisinage de x. Si f est ouverte sur son image, f (R
n
) est locale-
ment homomorphe R
n
, dautre part, le thorme dinversion locale appliqu ( f
1
, . . . , f
p
)
nous permet darmer que la fonction

f ainsi dnie est une carte sur R
p
= R
n
R
pn
. Dans
les coordonnes locales induites sur R
p
, on aura f (R
n
) donn par les quations f
n+1
= =
f
p
= 0.
Par exemple, le cercle est une sous-varit de R
2
comme image rciproque de I par :
f : R
2
\ {0} R, f (x,y) = x
2
+ y
2
.
Par contre, le dessin gauche de la gure I ne peut tre une ligne de niveau dune fonction de
rang constant car on aurait ncessairement d f = 0 au point double ( f serait constante dans
deux directions indpendantes en p) : un exemple simple de ce phnomne est donn par la
fonction
f : R
2
R, f (x,y) = x
3
y
2
.
Le thorme de plongement de Whitney [Die,o, Problme z, p. I8z] arme en outre que
toute varit de dimension n peut tre vue comme une sous-varit de R
2n+1
.
Le thorme qui suit gnralise les deux noncs prcdents.
TuronIrr I.I (du rang constant). Si X ,Y sont deux varits et f : X Y , on appelle
rang de f en x X le rang de lapplication (linaire) T
x
f : T
x
X T
f (x)
Y . Alors, si f est de
rang constant, ses bres X
y
= f
1
(y) non vides sont des sous-varits de X .
De plus, si f est ouverte sur son image, f (X ) est une sous-varit de X .
Le cas o f est de rang maximal se rduit facilement au thorme I.Iz. Voir [Die,o, (I6.8.8),
p.(z] ou [Mal,z, p. 8] pour une dmonstration du cas gnral.
Soit M une sous-varit de N. Alors T M est canoniquement une sous-varit de T N, en
eet si v T
m
M, on peut le voir comme un vecteur de T
m
N en dnissant son action sur
f C

m
(N) par restriction : v( f
|M
). Si x est une carte de N dans laquelle M a pour quation
x
1
= = x
k
= 0 alors T x est une carte de T N dans laquelle T M a pour quations x
1
=
= x
k
= v
1
= = v
k
= 0 o (v
k
) dsigne les coordonnes de v dans la base (/x
k
).
Exemple. Considrons S
2
et un point (x,y,z) S
2
situ dans louvert de la carte :

+
1
: (x,y,z) (x
_
1 y
2
z
2
,y,z).
Soit v un vecteur de T
(x,y,z)
R
3
, alors v T
(x,y,z)
S
2
si v(x
_
1 y
2
z
2
) = 0 donc si :
v
x
+ v
y
y
_
1 y
2
z
2
+ v
z
z
_
1 y
2
z
2
= 0
o (v
x
,v
y
,v
z
) dsignent les coordonnes de v dans la base canonique (
x
,
y
,
z
). Finalement
v T
(x,y,z)
M si :
xv
x
+ yv
y
+ zv
z
= 0
I6 . Varits, applications direntiables, brs vectoriels
que lon peut rcrire sous la forme :
d f (v) = 0
o f (x,y,z) = x
2
+ y
2
+ z
2
est la fonction de rang constant au voisinage de S
2
, telle que S
2
=
f
1
(1).
Ce fait est gnral : si f est une application de rang constant (c.f. le thorme I.I), et si
m f
1
(b) alors T
m
X
b
= ker d
m
f (voir la proposition I.zo pour le cas de rang maximal, et
[Die,o, (I6.8.8), p.(z] pour le cas gnral). On peut replacer les observations de cette section
dans le contexte plus adapt des brs vectoriels et de leurs morphismes. Cest ce que nous
prsenterons dans la section suivante.
... Varits bord.
Les varits C

sont le contexte naturel pour le calcul direntiel. On a cependant sou-

vent besoin davoir des informations sur leur bord pour des problmes dintgration ou de
rgularit. Par exemple un ouvert born dans une varit est une sous-varit, mais son bord
(au sens topologique, i.e. sa frontire) nest a priori quun espace topologique ferm. La no-
tion de varit bord permet de prciser la rgularit du bord. Accessoirement, on saperoit
ici que le recours la gomtrie direntielle est invitable, mme du strict point de vue de
lanalyse dans R
n
ou C
n
car le bord dun ouvert dun espace ane na aucune raison dtre
(diomorphe ) un ouvert dun autre espace ane.
On dnit une varit bord selon le mme principe que pour une varit sans bord, mais
lespace modle est maintenant un demi espace de R
n
. On note H
n
= {(x
1
, . . . ,x
n
) R
n
:
x
1
0}. On dit quune application de H
n
dans R
p
est C

si elle admet un prolongement C

un ouvert de R
n
contenant H
n
.
DrriNi1ioN I.I(. Un espace topologique spar M est une varit bord C

de dimen-
sion n sil existe une collection (U

) o, pour chaque , U

est un ouvert (leur union recouvre

M),

un homomorphisme de U

sur un ouvert V

de H
n
telle que les changement de cartes

= (

)
|

(U

)
et leurs rciproque

soient C

au sens ci-dessus.
On dit quun point de M est intrieur sil est contenu dans un ouvert de M dont limage par
une application de carte est un ouvert pour la topologie de R
n
. Le bord de M est le complmen-
taire, dans M, des points intrieurs. On le note M (parfois aussi bM dans une certaine presse).
Le tangent M est dni entout point (y compris ceux du bord) par la remarque que les pa-
ramtrisations
1

sont C

donc stendent au voisinage des points de H

n
, et
1

(T
x
H
n
)

1

(R
n
) est donc bien dni. (Une autre faon de dire la mme chose est de remarquer que
la jacobienne dune application direntiable est dtermine par limage de deux directions
indpendantes, et quon dispose de ceci, mme au bord dun demi espace.)
Remarque. Une varit au sens de la dnition I.z sera dsormais dite varit sans bord.
Cest un cas particulier de varit bord dont le bord est vide (un ouvert de H
n
peut trs bien
tre simultanment un ouvert de R
n
).
Les proprits suivantes rsultent de la dnition:
. Fibrs vectoriels I,
Pnoosi1ioN I.I. Si M est une varit bord de dimension n, lensemble de ses points
intrieurs a une structure naturelle de varit (sans bord) C

de dimension n. Le bord M a
quant lui une structure naturelle de varit de dimension n 1 sil nest pas vide.
Pour des raisons topologiques videntes le bord de M est constitu des points qui sen-
voient par les

dans le bord {x
1
= 0} de H
n
. Il est par suite vident que la restriction des

lintrieur de M dnit un atlas sur M \ M. Les

dnissent par restriction M des

cartes sur des ouverts de {x
1
= 0} R
n1
. Les

induisent alors des diomorphismes dans

ces restrictions.
La proposition suivante fournit les exemples usuels de varits bord :
Pnoosi1ioN I.I6. Si M est une varit C

(sans bord) de dimension n, et f : M R une

application C

dont la direntielle ne sannule pas le long du lieu de ses zros, alors M

0
=
{x M : f (x) 0} est une varit bord de dimension n.
Le fait que (M
0
) = {x M : f (x) = 0} est une varit de dimension n 1 est une
consquence du thorme I.Iz. La dmonstration en est identique, ceci prs quil faut rem-
placer une galit par une ingalit.
Remarque. Toute varit bord est dnie localement comme ceci car les cartes four-
nissent des coordonnes locales pour lesquelles M U

{x
1
0}.
Exemple. La boule unit de R
n
est le premier exemple qui vient lesprit. Attention, il
ny a pas de notion holomorphe correspondante ! (le bord dune varit de dimension relle
n est de dimension relle n 1, donc lintrieur et le bord ne peuvent tre simultanment
des varits complexes. Ltude du bord des varits complexes a donn lieu la thorie des
varits CR dont il sera un peu question au cours de cette cole.
.. Fibrs vectoriels
... Dnition.
La proposition I. nous a permis de munir la collection de tous les espaces tangents
une varit dune structure de varit. Cette structure nest pas quelconque, puisquelle tient
compte de la structure despace vectoriel de chaque T
m
M, et la prserve : les changements de
cartes ont la forme T
x(m)
y x
1
, ils sont donc linaires lorsque lon xe le point de M. Voici la
dnition dun br vectoriel, qui est un cas particulier dune bration localement triviale.
DrriNi1ioN I.I,. Soit M une varit C

de dimension n. Un br vectoriel E de rang r

au dessus de M est la donne du triplet (E,M,) o E est une varit C

de dimension n + r,
: E M une application C

surjective dont les bres E

b
=
1
(b) admettent une structure
despace vectoriel (de dimension r), et vriant la condition suivante : Pour tout m M, il existe
un voisinage ouvert U de m dans M et un diomorphisme
: U R
r

1
(U)
tel que ((y,t )) = t quels que soient y U, t R
r
, et que, pour tout y U, lapplication
partielle (y,) soit une bijection linaire de lespace vectoriel R
r
sur lespace vectoriel E
y
. est
dite trivialisation locale de E.
I8 . Varits, applications direntiables, brs vectoriels
Comme les applications partielles (y,) sont linaires, il existe r applications C

s
i
:
U E telles que s
i
= Id
U
pour tout i et (y,
1
, . . . ,
r
) =
1
s
1
(y) + +
r
s
r
(y). On
appelle le r-uplet (s
1
, . . . ,s
r
) un champ de repres de E sur U. Les applications s
i
sont C

sur
U (en fait s
i
(y) = (y,e
i
) en notant e
i
le i-me vecteur de la base canonique de R
r
).
Notation. On appelle M la base du br E. Lorsque lon souhaite souligner quon parle
de E en tant que varit plutt quen tant que collection despaces vectoriels au dessus de la
base, on parle de lespace total du br E. Lespace vectoriel E
x
=
1
(x) se nomme la bre
de E au dessus de x. On note E
|U
=
1
(U) la restriction de E U. Un br est dit trivial
sil admet une trivialisation globale, cest--dire si lon peut choisir U = M dans la dnition
ci-dessus. E
|U
est donc trivial.
Si U

et U

sont deux ouverts de trivialisation pour E,

et

les trivialisations locales

correspondantes, on obtient sur U

= U

une application
1

qui laisse les points

de la base invariants. On en dduit pour tout y U

un automorphisme de transition

(y)
qui agit bijectivement et linairement sur R
r
en crivant
1

(y,) = (y,

). Les ap-
plications

dcrivent la faon dont on recolle les bres dune trivialisation locale lautre.
Pour tre cohrentes, elles doivent vrier la relation de cocycle

sur les ou-

verts U

. En fait, un br vectoriel E de rang r au dessus de M est quivalent la

donne dune collection douverts de trivialisation U

et une collection dautomorphismes

: U

Gl
r
(R
r
) pour chaque couple , tel que U

= U

qui vrient la
condition de cocycle

.
Remarque. En remplaant C

par holomorphe, et en prenant comme espace vectoriel

de rfrence C
r
, on dnit de mme un br vectoriel holomorphe au dessus dune varit
complexe. La structure de varit holomorphe sur lespace total du br est vidente ds que
lon remarque quune application linaire est holomorphe si et seulement si elle est C-linaire.
Exemples :
I. Les varits M R
r
sont des brs triviaux pour tout r. Le tangent R
n
sidentie natu-
rellement au br trivial R
n
R
n
.
z. Les brs T M et T

M sont triviaux sur les ouverts de carte de M. En eet, on peut re-

formuler la dmonstration de la proposition I. comme ceci : si : V U M est une
paramtrisation dun ouvert U de M, alors T : TV T R
n
|V
V R
n
T
(x)
M
|U
est
une trivialisation de T M au dessus de U. On a de mme que T

est une trivialisation

de T

M
|U
daprs la proposition I.Io.
. Un br sur un ouvert contractile est toujours trivial. Un br sur S
1
est par consquent
trivial sur un ouvert omettant au plus un point de S
1
. Par exemple, le br tangent S
1
est trivial (Ex. z ci-dessous), mais le br tangent S
2
ne lest pas. Lexercice donne un
exemple de br non trivial sur S
1
.
Exercices :
I. En utilisant un atlas de M et les trivialisations locales de E, exhiber un atlas de E.
z. Montrer que le br tangent T
n
est trivial.
. Ceci donne une identication entre les classes disomorphismes de brs vectoriels sur M et la cohomologie
de

Cech du faisceau constant Gl (R
r
) sur M en degr I.
. Fibrs vectoriels I
. On recouvre S
1
par les deux ouverts U
0
et U

. Comme U
0
U

est compos de deux

composantes connexes, on peut dnir un br en droites L sur S
1
trivial sur U
0
et U

,
de telle sorte que les automorphismes de transition soient 1 sur une des composantes,
1 sur lautre (les automorphismes de R sont les multiplications par une constante non
nulle). Montrer que ce br nest pas trivial. Montrer que lespace total de ce br est
diomorphe la bande de Mbius (telle que dnie par [BG,z, Exercice ..II, p. zoz]).
... Sections, morphismes.
DrriNi1ioN I.I8. Une section du br (E,M,) est une application C

s : M E telle
que s = Id
M
. On note (U,E) lespace des section C

de E
|U
. Il a une structure naturelle
despace vectoriel.
On peut voir une section comme une application, de M dans R
r
, mais dont le but bouge en
mme temps que lorigine. Localement, le br tant trivial, une section peut toujours siden-
tier une telle application. En composant
1

avec la projection sur le facteur R

r
du produit
cartsien U

R
r
on dnit une application

: E
|U

R
r
telle que

. On
en dduit quune collection dapplications s

: U

R
r
dnit une section de E sur M si et
seulement si la condition de compatibilit suivante est vrie :

= s

. (8)
Exemples :
I. Un champ de vecteurs sur une varit M est par dnition une section de T M. La dualit
entre T M et T

M permet didentier les applications de T M R qui sont linaires

sur les bres avec les sections de T

M (galement appeles champs de 1-formes) et de

mme les applications de T

M R qui sont linaires avec les sections de T M (les

champs de vecteurs).
z. De mme que le graphe dune fonction de R
n
dans R
p
dnit une sous-varit de R
n+p
on peut voir une section comme une sous-varit de E, laquelle la projection se
restreint en un diomorphisme sur M.
. Comme une application linaire conserve le vecteur nul, les quations s

= 0 donnes
sur tous les U

vrient bien les conditions (8). Elles dnissent par consquent une sec-
tion globale de E sur M : la section nulle. laide de cette remarque, on peut fabriquer
des tas de sections C

non nulles dun br vectoriel : il sut de prendre une section

C

support
6
compact dans un des ouverts U

, et de la prolonger par o. On peut en-

suite prendre des combinaisons linaires arbitraires de telles sections. Par contraste, de
nombreux brs vectoriels holomorphes nont aucune section holomorphe non nulle !
Exercice. Montrer quun br en droites est trivial si et seulement sil admet une section
globale qui ne sannule pas. Prouver soigneusement que toute section du br non trivial sur
S
1
dni au prcdent sannule en au moins un point.
Remarque. Les bres dun br vectoriel (par exemple le cotangent ou le tangent une
varit) sont des espaces vectoriels de mme dimension, mais il nexiste pas disomorphisme
6. On appelle support dune section ladhrence de lensemble des points de M o elle nest pas nulle. Il faut
prendre garde au fait que zro est la seule valeur dune section dun br vectoriel arbitraire qui soit bien
dnie.
zo . Varits, applications direntiables, brs vectoriels
naturel entre elles (cest par exemple la donne dune connexion qui permet de le faire le long
de chemins de la base du br).
DrriNi1ioN I.I. Soient E

M,E

M deux brs vectoriels sur une mme varit M.

Un morphisme de brs vectoriels est une application C

: E E

qui prserve les bres et

qui est linaire en restriction celles-ci.
La premire condition signie quil existe une application de M dans elle-mme faisant
commuter le diagramme
E

E

M

M.
La seconde signie que la restriction de la bre E
x
en un point dnit une application
linaire
x
: E
x
E

(x)
.
Un sous-br F dun br vectoriel E est un br dont les bres sont des sous-espaces
vectoriels de celles de E et qui est localement engendr par rangF sections de E. F est alors
une sous-varit ferme de E, et linclusion est un morphisme de F dans E.
Le rang dun morphisme en x est dni comme le rang de
x
, il nest pas ncessairement
constant, mais il est toujours semi-continu infrieurement.
Pnoosi1ioN I.zo. Si : E F est un morphisme de brs vectoriels dont le rang est
localement constant, alors son image et son noyau sont des sous-brs de, respectivement, F et
E.
Cest la version brs vectoriels du thorme I.I, mais le fait que les morphismes soient
linaires sur les bres simplie largument. En fait, le thorme du rang sappliquant ponctuel-
lement, lune ou lautre des deux conclusions implique lhypothse.
Dmonstration. On suppose donc rang
x
= p x M. Le problme est clairement lo-
cal. Soit (s
1
, . . . ,s
r
) un champ de repres sur U M. Alors les combinaisons de (s
1
), . . . ,(s
r
)
engendrent limage de enchaque point deU. La conditiondindpendance linaire tant ou-
verte, quitte restreindre U, tous les (E
x
) pour x U sont engendrs par une sous-famille
(s
1
), . . . ,(s
p
), qui peut tre complte (localement) en un champ de repres. Ceci prouve
que limage
xM
(E
x
) est bien un sous-br de F . Maintenant, pour k > p,(s
k
) est une
combinaison linaire des (s
j
), j = 1, . . . , p. On en dduit un champ de repres de E sur U de
la forme (s
1
, . . . ,s
p
,s
p+1

p
j =1

p+1 j
s
j
, . . . ,s
r

p
j =1

r j
s
j
). Il est clair que le noyau de
est prcisment le sous-br engendr par les r p dernires sections.
... Oprations algbriques sur les brs vectoriels.
toute opration algbrique sur les espaces vectoriels correspond une opration analogue
sur les brs. Nous donnons ici quelques exemples : une fois assimils, il nest pas dicile de
construire tout br obtenu de la sorte.
. Fibrs vectoriels zI
.... Somme directe. Soient deux brs E
1

1
M,E
2

2
M de rang (resp.) r
1
,r
2
, on
dnit la somme directe E
1
E
2
de ces deux brs laide des automorphismes de transition
de R
r
1
+r
2
donns matriciellement par
_

0
0
2

_
.
.... Dual. Comme nous lavons vu dans le cas de la dualit tangent/cotangent, les
automorphismes de transition de E

sont, en fonction de ceux de E :

t

.
.... Produit tensoriel. De mme, le br E
1
E
2
est donn par les automorphismes
de transition
1

sur R
r
1
R
r
2
R
r
1
r
2
. On peut ainsi interprter un morphisme de brs
comme une section du br des homomorphismes Hom(E
1
,E
2
) E
2
E

1
.
Exemple. On a vu que si X est une sous-varit de Y , alors T X est de faon naturelle
une sous-varit de TY . De plus T
x
X est le sous-espace vectoriel des drivations de T
x
Y qui
proviennent de drivations de restrictions X des germes de fonctions en x. T X est donc un
sous-br de TY
|X
. Ceci induit une suite exacte de brs sur X :
0 T X TY
|X
NX
/Y
0
o NX
/Y
TY
|X
/T X est le br normal X dans Y . Il nexiste pas de faon naturelle de voir
T

X comme une sous-varit de T

Y . En fait, la suite exacte duale de la prcdente :

0 N

X
/Y
T

Y
|X
T

X 0
montre que T

X est un quotient de T

Y
|X
. En revanche, le conormal N

X
/Y
de X dans Y est
naturellement unsous-br de T

Y
|X
. Cette inclusionpeut se voir lmentairement : point par
point, on prend lorthogonal pour la dualit tangent-cotangent de T
x
X vu comme sous-espace
de T
x
X :
N

X
/Y
= {(x,d
x
f ),x X ,d
x
f T

x
Y : T
x
X ker d
x
f }.
Si on prend une carte sur Y telle que X ait pour quations locales
1
= =
k
= 0
(dimX = n k), alors (x,d
x
f ) N

X
/Y
si et seulement si :
x X ,
d
x
f (/
i
) = 0 pour i > k.
Donc :
d
x
f =
k

i=1
f

i
d
i
On en dduit que N

X
/Y
est une sous-varit de T

Y de dimension n k + k = n = dimN.
Remarque. Sil existe un isomorphisme canonique entre TY et T

Y issue dune forme

bilinaire non dgnre, N

X
/Y
sidentie T X

=
xX
{x} (T
x
X )

o dsigne lor-
thogonal pour la forme bilinaire en question.
zz . Formes direntielles
. Formes direntielles
Dans cette section on gnralise le calcul direntiel de R
n
une varit. On se ramne
donc systmatiquement R
n
au moyen de cartes.
.. Dnition des tenseurs
On va poursuivre le point de vue dvelopp la section I..z et considrer la varit
T
(k,l )
M = T

M
M

M
T

M
M
T M
M

M
T M
o lon a fait k produits de T

M et l produits de T M. Il sagit ici de produits brs, cest--

dire dune somme directe abstraite des bres au dessus de chaque point base, non du produit
cartsien des espaces totaux. On appelle tenseur de type (k,l ) la donne dune application C

et multilinaire de T
(k,l )
M sur R (i.e. linaire par rapport chaque T

M et chaque T M). Par

dualit, un tenseur de type (k,l ) est une section de
T
(k,l )
M = T M T M T

M T

M.
Selon ce formalisme, les champs de vecteurs sont les tenseurs de type (1,0) et les champs de
1-forme les tenseurs de type (0,1). Les tenseurs de type (k,0) sont dits contravariants, ceux de
type (0,l ) sont dits covariants.
laide dun tenseur de type (k,l ) et dun tenseur de type (k

,l

) on peut construire un
tenseur de type (k + k

,l + l

) en en faisant le produit (tensoriel). Grce la linarit, tout

tenseur de type (k,l ) est une somme de produits tensoriels de k champs de vecteurs par l 1-
formes, donc la dimension de T
(k,l )
m
M est n
k+l
, puisque si T est un tenseur de type (k,l ), il
existe n
k+l
rels tels que (en coordonnes locales):
T =

1
,...,
k
,
1
,...,
l
[1,n]
T

1
...
k

1
...
l

1


x

k
dx

1
dx

l
. ()
Lorsquon change de systmes de coordonnes, on obtient les nouvelles composantes en fonc-
tiondes anciennes enappliquant les formules de changement de coordonnes pour les champs
de vecteurs et de 1-formes () et (6) dans () :
T

1
...

1
...

l
=

1
,...,
k
,
1
,...,
l
[1,n]
x

1
x

1

x

k
x

1
x

l
x

l
T

1
...
k

1
...
l
.
Les composantes dun tenseur T de type (k,l ) sont donc les
T
a
1
...a
k
b
1
...b
l
avec 1 a
1
n, . . . ,1 b
l
n.
Convention. Lorsquon a des galits entre composantes de tenseurs, on utilise des let-
tres romaines comme indice si lgalit est valable dans tout systme de coordonnes (cest
alors une galit entre tenseurs) et des lettres grecques si lgalit nest valable que dans un
systme de coordonnes.
. Oprations sur les tenseurs z
Par exemple, considrons le tenseur dx
1
dx
2
= dx
1
dx
2
dx
2
dx
1
, on a :
(dx
1
dx
2
)
a
1
a
2
= (dx
1
dx
2
)
a
1
a
2
(dx
2
dx
1
)
a
1
a
2
car lgalit composante par composante est vraie dans nimporte quel systme de coordon-
nes, pas seulement dans le systme (x
1
, . . . ,x
n
). Par contre, lgalit
[(dx
1
dx
2
)

2
]
2
= (dx
1
dx
2
)

2
nest vraie que dans le systme de coordonnes (x
1
, . . . ,x
n
) car ce nest que dans ce systme
que toutes les composantes de ce tenseur sont o ou I, donc on utilise les lettres grecques.
On adopte donc pour un champ de vecteur la notation v
c
et pour un champ de 1-formes
w
c
.
DrriNi1ioN z.I. Soient v et w deux champs de vecteurs. On remarque que lapplication:
f C

(m,R) v(w( f )) w(v( f ))

vrie les critres () et (), il sagit donc dun champ de vecteurs appel crochet de Lie des deux
champs v et w et not [v,w].
En coordonnes, on a :
[v,w] f = v(w( f )) w(v( f ))
= v(w
a

a
f ) w(v
a

a
f )
= v
b

b
(w
a

a
f ) w
b

b
(v
a

a
f )
= (v
b

b
w
a
w
b

b
v
a
)
a
f ,
donc :
[v,w]
a
= v
b

b
v
a
w
b

b
v
a
. (Io)
Remarque. Il ne faut pas confondre les indices de composantes de tenseur avec dven-
tuels indices permettant de direncier plusieurs tenseurs. Par exemple, ci-dessus dx
1
dsigne
une forme direntielle obtenue en prenant la direntielle de la premire coordonne, ce
nest pas la premire composante dun tenseur.
.. Oprations sur les tenseurs
... Produit tensoriel.
Il a dj t dni dans la section prcdente, on obtient ainsi une application de T
(k,l )
M
T
(k

,l

)
M dans T
(k+k

,l +l

)
M.
... Contraction.
On suppose que k 1 et l 1. La contraction permet de dnir un tenseur de type
(k 1,l 1):
T
a
1
...a
k
b
1
...b
l
CT = T
a
1
...c...a
k
b
1
...c...b
l
z( . Formes direntielles
On xe tous les indices sauf lindice covariant et lindice contravariant par rapport auxquels
on va eectuer la contraction. On obtient alors un endomorphisme de T M, il est dni en
coordonnes locales par
v
c
(v
c
) = w
d
=
n

c=1
T
a
1
...d...a
k
b
1
...c...b
l
v
c
ou plus gomtriquement, un tenseur dordre (1,1) est une application bilinaire de T

m
M
T
m
M donc si on xe un vecteur v de T
m
M on a une forme linaire sur T

m
M cest--dire un
vecteur w = (v) de T
m
M = (T

m
M)

.
On calcule alors la trace de cette application linaire. On a ainsi dni un tenseur dordre
(k 1,l 1). En coordonnes locales, on a :
(CT )

1
...
k1

1
...
l 1
=

[1,n]
T

1
......
k1

1
......
l 1
ce qui justie la notation que lon a choisie pour le tenseur CT .
Pour les tenseurs entirement covariants ou entirement contravariant, on peut dnir les
oprations de symtrisation et dantisymtrisation.
... Symtrisation.
Si on compose un tenseur covariant (ou contravariant) avec une permutation des l es-
paces vectoriels T
m
M sur le produit desquels il agit, on obtient un nouveau tenseur. On peut
donc construire un tenseur symtrique partir dun tenseur quelconque en faisant agir tout le
groupe des permutations de l lments :
T
(a
1
...a
l
)
=
1
l !

S
l
T
a
(1)
...a
(l )
les parenthses signient par convention que lon a symtris le tenseur. Le coecient 1/l !
assure que le symtris dun tenseur symtrique est gal lui-mme.
Par exemple, le tenseur mtrique est un tenseur symtrique de type (0,2). Il est la base de
la gomtrie riemannienne.
Le rang du br des tenseurs symtriques covariants dordre l est
C
l
n+l 1
= card{b : b
1
b
l
}
(on rajoute i 1 chacun des b
i
pour avoir des ingalits strictes do le rsultat).
... Antisymtrisation.
T
[a
1
...a
l
]
=
1
l !

S
l
(1)
()
T
a
(1)
...a
(l )
o () dsigne la parit de la permutation . Le crochet signie que lon a antisymtris le
tenseur. Si l > n, le seul tenseur antisymtrique dordre l est le tenseur nul.
. Formes direntielles z
Un tenseur antisymtrique covariant [respectivement contravariant] dordre l est appel
l -forme direntielle [respectivement l -vecteur]. Le rang du br
_
l
T

M des l -formes di-

rentielles est
C
l
n
= card{b : b
1
< < b
l
}.
.. Formes direntielles
Les oprations de produit tensoriel et de contraction se traduisent aprs antisymtrisation
en produit extrieur () de formes et produit intrieur dun vecteur par une forme.
... Produit extrieur.
On pose :
(T R)
a
1
...a
t +r
=
1
t !r!
(1)
()

S
r+t
T
a
(1)
...a
(t )
R
a
(t +1)
...a
(t +r)
Par exemple, dans le systme de coordonnes (x
1
, . . . ,x
n
), (dx
1
)

1
= 1 si
1
= 1 et o sinon,
(dx
2
)

2
= 1 si
2
= 2 et o sinon. Donc
(dx
1
dx
2
)

2
=

S
2
(1)
()
(dx
1
)

(1)
(dx
2
)

(2)
est non nul si (
1
,
2
) = (1,2) ou (2,1) et vaut respectivement I et -I. On a donc bien
dx
1
dx
2
= dx
1
dx
2
dx
2
dx
1
car deux tenseurs qui ont mme composantes dans un systme de coordonnes sont forc-
ment gaux.
Pnoosi1ioN z.z. Le produit extrieur a les proprits suivantes :
Antisymtrie :
R T = (1)
rt
T R.
Associativit :
(T R) S = T (R S).
Dmonstration:
Antisymtrie.
(R T )
a
1
...a
t +r
=
1
t !r!

S
r+t
(1)
()
T
a
(1)
...a
(t )
R
a
(t +1)
...a
(t +r)
.
On eectue le changement dindice de sommation:
=

_
1 . . . r r + 1 . . . r + t
t + 1 . . . t + r 1 . . . t
_
z6 . Formes direntielles
do :
(R T )
a
1
...a
t +r
=
1
t !r!

S
r+t
(1)
(

)
(1)
((t +1...t +r 1...t ))
T
a

(t +1)
...a

(t +r)
R
a

(1)
...a

(r)
.
Comme
((t + 1 . . . t + r 1 . . . t )) = ((2 . . . r + t 1)
t
) = [(1)
r+t +1
]
t
= (1)
rt
,
on a bien
(R T )
a
1
...a
t +r
= (1)
rt
(T R)
a
1
...a
t +r
.
Associativit.
((T R) S)
a
1
...a
l
=
1
(r + t )!s!

S
t +r+s
(1)
()
(T R)
a
(1)
...a
(t +r)
S
a
(t +r+1)
...a
(t +r+s)
=
1
(r + t )!r!t !s!

(1)
()+(

)
T
a

(1)
...a

(t )
R
a

(t +1)
...a

(t +r)
S
a
(t +r+1)
...a
(t +r+s)
ola somme porte sur S
t +r+s
,

({(1), . . . ,(t +r)}). Comme S est antisymtrique :

S
a
1
...a
l
=
1
s!

S({(t +r+1),...,(t +r+s)})

(1)
(

)
S
a

(t +r+1)
...a

(t +r+s)
.
Avec

et

, on construit une permutation de {1, . . . ,t +r +1} qui xe {(1), . . . ,(t +r)}

et {(t + r + 1), . . . ,(t + r + s)}. Donc :
((T R) S)
a
1
...a
l
=
1
(r + t )!s!r!t !s!

(1)
()+( )
T
a
(1)
...a
(t )
R
a
(t +1)
...a
(t +r)
S
a
(t +r+1)
...a
(t +r+s)
o la somme porte sur , S
t +r+s
, xant {(1), . . . ,(t + r)} et {(t + r + 1), . . . ,(t +
r + s)}. On change dindice de sommation en remplaant par = , et on saperoit
que la somme obtenue ne dpend pas de : lorsquon somme sur , il apparat le nombre de
permutations qui xent {(1), . . . ,(t + r)} et {(t + r + 1), . . . ,(t + r + s)}, cest--dire
s!(r + t )!. Il vient nalement :
((T R) S)
a
1
...a
l
=
1
r!t !s!

t +r+s
(1)
()
T
a
(1)
...a
(t )
R
a
(t +1)
...a
(t +r)
S
a
(t +r+1)
...a
(t +r+s)
. (II)
La formule ci-dessus ne dpend que de T ,R,S, elle serait donc identique pour (T (R S)),
on conclut ainsi lassociativit.
On gnralise sans dicults la formule (II) a un produit extrieur de n formes diren-
tielles de degr quelconque. Par exemple, si (x
1
, . . . ,x
n
) est un systme de coordonnes locales,
on a :
(dx
i
1
. . . dx
i
k
)

1
...
k
= 0,1 ou 1
le rsultat est nul si deux au moins des indices i
k
sont gaux ou si les ensembles {i
1
, . . . ,i
k
} et
{
1
, . . . ,
k
} sont distincts et vaut (1)
()
dans le cas contraire, ( dsignant la permutation
telle que (i
k
) =
k
).
. Formes direntielles z,
.... Base des l -formes direntielles. En coordonnes locales, on peut prendre les
dx
i
1
dx
i
l
, 1 i
1
< < i
l
n
(ici les i
k
sont des indices permettant de direncier des formes direntielles, ce ne sont pas
des composantes dun tenseur).
Notation. tant donn un multi-indice I = (i
1
, . . . ,i
l
) [1,n]
k
on notera |I | = l la
longueur du multi-indice, et dx
I
= dx
i
1
dx
i
l
.
Remarque. Les fonctions de M valeurs dans Rpeuvent tre vues comme des 0-formes,
les formules prcdentes sont alors valables si ondnit le produit extrieur dune p-forme par
une 0-forme comme le produit usuel.
... Produit intrieur par un champ de vecteurs.
DrriNi1ioN z.. Soit T untenseur antisymtrique et v unchampde vecteurs. Oncontracte
le tenseur sur sa premire composante avec le champ de vecteurs :
(i(v)T )
a
2
...a
t
= T
a
1
...a
t
v
a
1
,
on obtient ainsi un tenseur de type (0,t 1) qui est clairement antisymtrique.
Exemple. Si v a pour coordonnes (v
1
,v
2
) dans la base duale de la base (dx
1
,dx
2
, . . . )
alors :
i(v)(dx
1
dx
2
) = v
1
dx
2
v
2
dx
1
.
DrriNi1ioN z.(. On appelle drivation dordre d Z une application linaire D
d
dnie
de T
(0,l )
vers T
(0,l +d)
pour tout l telle que pour toutes formes direntielles T et R :
D
d
(T R) = (D
d
T ) R + (1)
dt
T D
d
R. (Iz)
Les drivations que nous avons vues au I.z.I sont donc des drivations dordre o.
Pnoosi1ioN z.. Le produit intrieur par un vecteur est une drivation dordre -, i.e. :
i(v)(T R) = (i(v)T ) R + (1)
t
T (i(v)R).
Dmonstration.
(i(v)(T R))
a
2
...a
t +r
= (T R)
a
1
...a
t +r
v
a
1
=
1
t !r!

S
t +r
(1)
()
T
a
(1)
...a
(t )
R
a
(t +1)
...a
(t +r)
v
a
1
. (I)
On dcompose alors la somme en regardant si k =
1
(1) {1, . . . ,t } ou {t + 1, . . . ,t + r}
. Dans le premier cas, lindice a
1
est dans le tenseur T et dans le deuxime cas dans le tenseur
R.
Premier cas.
Si k 1, on associe la permutation S({2, . . . ,t + r}) en posant

(k) = (1),

( j ) = ( j ), j k, j 2,
z8 . Formes direntielles
(si k = 1, on pose

= ), on peut rcrire sous la forme :

=
_
1 2 . . . i . . . k . . . t + r

(k)

(2) . . .

(i) . . . 1 . . .

(t + r)
_
.
Si k 1, on a () = (

) + 1, donc
(1)
()
T
a
(1)
...a
(t )
= (1)
(

)+1
T
a

(k)
a

(2)
...a

(k1)
a
1
a

(k+1)
...a

(t )
= (1)
(

)
T
a
1
a

(2)
...a

(l )
car T est antisymtrique. Si k = 1, lgalit entre les deux extrmes est vidente. Donc la pre-
mire partie de la somme (I) scrit :
=
1
t !r!

S({2,...,t +r}),1kt
(1)
(

)
(i(v)T )
a

(2)
...a

(t )
R
a

(t +1)
...a

(t +r)
=
t
t !r!
(t 1)!r![(i(v)T ) R]
a
2
...a
t +r
= [(i(v)T ) R]
a
2
...a
t +r
.
Deuxime cas.
Onassocie

comme dans le premier cas, et onobtient comme terme gnral de la somme :

(1)
(

)+1
T
a

(k)
a

(2)
...a

(t )
R
a

(t +1)
...a

(k1)
a
1
a

(k+1)
...a
(t +r)
v
a
1
.
On fait alors le changement dindice de sommation:
=

_
2 3 . . . t + 1 k
k 2 . . . t t + 1
_
.
Le terme gnral scrit alors :
(1)
( )+1+t
T
a
(2)
...a
(t +1)
R
a
(k)
a
(t +2)
...a
(k1)
a
1
a
(k+1)
...a
(t +r)
v
a
1
.
On utilise enn lantisymtrie du tenseur R, la deuxime partie de la somme scrit :
1
t !r!
r

S({2,...,t +r})
(1)
( )+t
T
a
(2)
...a
(t +1)
R
a
1
a
(t +2)
...a
(t +r)
v
a
1
qui est bien gal (1)
t
T (i(v)R).
Remarque. On dnit le produit intrieur dun vecteur par une fonction comme tant
nul, les formules de ce sont alors valables pour les formes direntielles de degr quelconque.
.. Oprateur d
Si on se donne f : M R, alors d f : T M R, on peut aussi voir d f comme une section
de T

M. On passe ainsi dune forme direntielle de degr o une forme direntielle de de-
gr I. On va gnraliser loprateur d toutes les formes direntielles. On lappelle loprateur
de direntiation extrieure. On notera dans la suite C

p
(M) lespace des p-formes diren-
tielles C

sur M.
TuronIrr z.6. Il existe une unique drivation d :
_
l
T

M
_
l +1
T

M dordre telle
que d f soit la direntielle de f et telle que d
2
= 0. On a :
(dT )
a
1
...a
t +1
=
t +1

k=1
(1)
k1

a
k
T
a
1
...a
k1
a
k+1
...a
t +1
(I()
d( f dx
i
1
dx
i
k
) = d f dx
i
1
dx
i
k
. (I)
. Oprateur d z
Dmonstration. Commenons par lunicit. Si d et d

satisfont aux exigences du tho-

rme, alors d = d

sur les fonctions, de plus

d(dx
i
1
dx
i
k
) = 0 = d

(dx
i
1
dx
i
k
)
car d
2
= d

2
= 0. Puis :
d( f dx
i
1
dx
i
k
) = d f dx
i
1
dx
i
k
= d

f dx
i
1
dx
i
k
= d

( f dx
i
1
dx
i
k
),
donc d

= d car tout tenseur antisymtrique est localement combinaison linaire nie de

tenseur du type f dx
i
1
dx
i
k
. Il sut donc de prouver lexistence locale de d, donc de
vrier que la formule (I() dnit une drivation dordre I telle que d
2
= 0.
(d
2
T )
a
1
...a
t +2
=
t +2

k=1
(1)
k1

a
k
(dT )
a
1
...a
k1
a
k+1
...a
t +2
=
t +2

k=1

1j t +2, j k

a
k
((1)
f ( j ,k)

a
j
T
a
1
...a
j 1
a
j +1
...a
k1
a
k+1
...a
t +2
)
o f ( j ,k) = j 1 si j < k et f ( j ,k) = j 2 si j > k. Ce qui donne d
2
T = 0 car les termes
( j ,k) et (k, j ) de la somme sannulent.
Dernier point vrier : d est une drivation dordre I, i.e.
d(T R) = (dT ) R + (1)
t
T (dR).
Pour simplier les notations, onadopte la conventionque si onrecouvre par le signe unindice
dun ensemble dindice, cest quil faut le retirer de lensemble dindice, par exemple :
a
1
. . . a
k
. . . a
t
signie a
1
. . . a
k1
a
k+1
. . . a
t
.
On a alors :
d(T R)
a
1
...a
t +r+1
=
t +r+1

k=1
(1)
k1

a
k
(T R)
a
1
... a
k
...a
t +r+1
=
1
t !r!

(1)
k1+(

a
k
(T
a

(1)
... a
k
...a

(t +1)
R
a

(t +2)
...a

(t +r+1)
)
o la somme porte sur 1 k t + r + 1 et

({1, . . . ,

k, . . . ,t + r + 1}). Remarquons que
si k t + 2, il faut dcaler les indices du terme gnral de la somme en:

a
k
(T
a

(1)
...a

(t )
R
a

(t +1)
... a
k
...a

(t +r+1)
).
On peut dcomposer ce terme gnral en deux, en faisant porter la drivation sur T ou sur R.
Il sagit didentier avec dT R dans le premier cas et avec (1)
t
T dR dans le second. Or,
(dT R)
a
1
...a
t +r+1
=
1
(t + 1)!r!

(1)
()+1

a
()
T
a
(1)
... a
()
...a
(t +1)
R
a
(t +2)
...a
(t +r+1)
o . Formes direntielles
o la somme porte sur S
t +r+1
et sur [1,t +1]. un tel couple (,), nous allons faire
correspondre un triplet (

,k,) o

est une permutation xant k, quon identie naturelle-

ment avec une permutation de ({1, . . . ,

k, . . . ,t +r +1}: on pose k = () et

(. . . k) =
de telle sort que soit gale :
_
. . . . . . k . . .
. . . k . . . (k) . . .
_
=
_
. . . k . . . k 1 k + 1 . . .
. . . k ( + 1) . . . (k) (k + 1) . . .
_
(. . . k).
Comme (. . . k) est un cycle de longueur k + 1, on a
() = (

) + k () + 1 = (

) + k 1.
Le terme gnral de la somme de dT R devient si k > t + 1
(1)
(

)+k1

a
k
T
a

(1)
...a

(1)
a
k
a

()
...a

(t )
R
a

(t +1)
...a

(k1)
a

(k+1)
...a

(t +r+1)
.
Si k t + 1, le terme gnral scrit :
(1)
(

)+k1

a
k
T
a

(1)
...a

(1)
a
k
a

()
...a

(k1)
a

(k+1)
...a

(t +1)
R
a

(t +2)
...a

(t +r+1)
.
On dplace ensuite le trou a
k
sa place entre a

(k1)
et a

(k+1)
, on constate que ce terme
gnral ne dpend plus de , on somme donc par rapport [1,t +1] qui donne un facteur
t + 1 que lon simplie avec 1/(t + 1)! en 1/t ! et on obtient le terme gnral de la somme de
d(T R) lorsquon fait porter la drivation sur T .
De mme,
(T dR)
a
1
...a
t +r+1
=
1
t !(r + 1)!

(1)
t 1
T
a
(1)
...a
(t )

a
()
R
a
(t +1)
... a
()
a
(t +r+1)
o la somme porte sur S
r+t +1
et sur [t + 1,t + r + 1]. On eectue la mme corres-
pondance que ci-dessus, on obtient donc le terme gnral de d(T R) lorsquon fait porter la
drivation sur R multipli par (1)
t
.
Exercices :
I. Par largument dunicit, on sait que si on change de base la formule (I() dtermine lac-
tion de d dans la nouvelle base. (Ceci justie a posteriori lutilisation de lettres romaines
dans la dmonstration de lexistence locale de d alors quon aurait d utiliser des lettres
grecques). Vriez-le directement.
z. Montrer que i(v)d + di(v) est une drivation dordre o. Plus gnralement si D et D

sont deux drivations dordre respectifs r et r

, montrer que :
[D,D

] = DD

(1)
rr

D
est une drivation dordre r + r

.
Montrer que si deux drivations dordre suprieur ou gal 1 concident sur les fonc-
tions et sur les 1-formes, alors elles concident sur toutes les formes direntielles. Mon-
trer que si deux drivations dordre positif concident sur les fonctions et commutent
avec d alors elles sont gales.
. On dnit le produit extrieur de vecteurs comme celui des 1-formes. Montrer que
(
1

k
)(v
1
. . . v
k
) = k! det(
i
(v
j
)).
. Pull-back & push-forward I
Solution du
e
exercice. On a :
(
1

k
)
a
1
...a
k
=

S
k
(1)
()
(
1
)
a
(1)
. . . (
k
)
a
(k)
et lanalogue pour le k-vecteur :
(v
1
v
k
)
a
1
...a
k
=

S
k
(1)
()
(v
1
)
a
(1)
. . . (v
k
)
a
(k)
,
donc :
(
1

k
)(v
1
v
k
) = (
1

k
)
a
1
...a
k
(v
1
v
k
)
a
1
...a
k
=

,
(1)
()+()
(
1
)
a
(1)
. . . (
k
)
a
(k)
(v
1
)
a
(1)
. . . (v
k
)
a
(k)
=

,
(1)
(
1
)

1
(v

1
(1)
) . . .
k
(v

1
(k)
)
= k!

S
k
(1)
(

1
(v

(1)
) . . .
k
(v

(k)
)
= k! det((
i
(v
j
))
1i, j k
.
.. Pull-back &push-forward
Soit une application C

de M N. On rappelle quon a par dualit les deux applica-

tions :
T
x
:
_
T
x
M T
(x)
N
v T
x
(v)
, T
x
(v)( f ) = v( f )
et :
(T
x
)

:
_
_
_
T

(x)
N T

x
M
= d
(x)
f T

(x)
= d
x
( f ).
Nous allons montrer comment (T )

stend aux formes direntielles en une application

. On dnit laction de

sur les 1-formes par :

()(x) = (T
(x)
)

((x)).
Observons pour commencer que, si f est une fonction C

sur N, et une 1-forme sur N

on a alors :

( f )(x) = (T
x
)

[( f )((x))] = f (x)(T
x
)

[()((x))]
par linarit de lapplication linaire tangente. On pose donc :

( f ) = f
et lon constate quon peut dnir

pour toute p-forme (p = 0, . . . ,n) par les relations :

(T R) =

R,

(T + R) =

T +

R.
z . Formes direntielles
Encoordonnes locales (x
1
, . . . ,x
n
) sur N, si =

I
dx
I
onaura

=

I
d
I
o
i
est la i-me application coordonne de .
Pnoosi1ioN z.,. Pour toute application C

: M N, le pull-back par (ou image

inverse, ou transpose)

:
_
p
T

N
_
p
T

M
est un homomorphisme dalgbre.
On a en outre la relation

_
p
T

N, d

d.
Dmonstration. Par construction,

est un homomorphisme entre les algbres tenso-

rielles sur N et M. Elle passe donc naturellement au quotient. Si est une fonction, la seconde
proprit est la dnition de

. Si est la direntielle dune fonction f , toujours par cette

mme dnition, on a

= d( f ), ce qui prouve que d

= 0. Comme le calcul de
toute direntiation extrieure se ramne au cas des fonctions et des direntielles de fonc-
tions par des oprations de lalgbre extrieure, la premire proprit permet de conclure.
Lorsque est undiomorphisme local (i.e. T
x
est bijective pour tout x) onpeut dnir le
push-forward (ou image directe) de la faon suivante : il existe un recouvrement (U

, A) de
M par des ouverts susamment petits pour que soit un diomorphisme entre chacun de
ces ouverts et son image. On dnit alors

:
_
p
T

M
_
p
T

N par

= (
1
|U

sur chaque ouvert U

. Le fait que cette dnition se recolle bien est vident puisque est un
diomorphisme en restriction chaqueU

, a fortiori sur les intersections, et que la dnition

ci-dessus marche globalement pour un diomorphisme.
.. Intgration sur les varits
... Orientation.
Pnoosi1ioN z.8. Soit X une varit direntielle de dimension n ; les proprits suivantes
sont quivalentes :
Il existe sur X une n-forme direntielle globale qui ne sannule nulle part.
Il existe un atlas sur X tel que le jacobien de tout changement de carte J (

) soit > 0 sur

U

.
Lquivalence de ces deux proprits est relativement vidente ds que lon sest convaincu
que le br
_
n
T

X est trivial sur les ouverts U

et que les automorphismes de transition sont

prcisment donns par J (

). Comme ce br est de rang I, la premire condition signie

quil est trivial, tandis que la seconde permet de fabriquer une section qui ne sannule nulle
part en recollant partir de la fonction constante I dans U

.
Lorsque X vrie lune des deux conditions quivalentes de la proposition z.8, elle est dite
orientable.
Exemples :
I. Toute varit dont le br tangent est trivial est orientable : en particulier R
n
,T
n
. Lorien-
tation canonique sur ces varits est donne par la forme volume dx
1
. . . dx
n
.
. Intgration sur les varits
z. Bien que le br tangent S
n
,CP
n
ne soit en gnral pas trivial, ces varits sont orien-
tables.
. Montrer cependant que latlas de S
2
dni par les projections strographiques ne pr-
serve pas lorientation.
(. La bande de Mbius (Ex. , I.I,), les espaces projectifs rels de dimension paire RP
2
p
sont des exemples de varits non orientables.
. Nous verrons plus loin que toutes les varits holomorphes sont orientables. Vrier
quen conjuguant lune des deux projections strographiques, on obtient un atlas ho-
lomorphe de S
2
qui lidentie CP
1
.
Exercice. Dmontrer les armations ci-dessus.
Une varit oriente est un couple (X ,dV ) ou X est une varit de dimension pure et dV
une forme volume
,
.
... Intgration.
Soit V R
n
un ouvert, muni de lorientation canonique de R
n
. On dnit lintgrale dune
n-forme sur V par la formule

V
f dx
1
. . . dx
n
=

V
f d
o d est la mesure de Lebesgue sur V . Comme le produit extrieur est antisymtrique, une
orientation de R
n
quivaut une convention de signe dans les intgrales (intervertir x
1
et
x
2
dans la formule ci-dessus revient changer f en f ). Avec cette convention, la formule
usuelle de changement de variable dans une intgrale de R
n
se lit :
Si : V
1
V
2
est un diomorphisme,

(V
1
)
=

V
1

. (I6)
En eet, si = (
1
, . . . ,
n
) et = f dx
1
. . . dx
n
on a par dnition

= f d
1
. . . d
n
= f J () dx
1
. . . dx
n
.
Soit maintenant X une varit C

oriente. Sur un ouvert U de carte pour X , on a une

application x de coordonnes locales vers un ouvert V de R
n
. On dit que x prserve lorienta-
tion de X si la forme volume x

dV = dx
1
. . . dx
n
avec > 0. On dnit alors (x) le
coecient dorientation de x qui vaut I si x prserve lorientation de X , 1 sinon. Si est une
n-forme direntielle, on dnit son intgrale sur U par la formule

U
= (x)

V
x

.
Cette dnition est indpendante de la carte choisie grce la formule (I6) et une vri-
cation immdiate. En se restreignant des atlas vriant lhypothse de la proposition z.8, on
,. En fait, deux formes volumes sont ncessairement identique un facteur C

qui ne sannule pas prs. On

forme alors deux classes dquivalences de formes volumes sur les composantes connexes de X : une forme est
quivalente une autre si le facteur est positif. Une orientation est le choix de lune de ces deux classes. Il faut
entendre dV comme un reprsentant de lune des classes.
( . Formes direntielles
peut oublier le coecient (x). Dans le cas o la varit X admet une partition de lunit su-
bordonne un atlas
8
en particulier lorsque X est compacte on dnit lintgrale dune
n-forme direntielle sur X par

X
=

.
DrriNi1ioN z.. Soit f une fonction C

sur une varit oriente (X ,dV ). Lintgrale de

f sur X relativement la forme volume dV est

X
f dV .
.... Restriction. Si i : X Y est un plongement de X dans Y , et est une (dimX )-
forme sur Y , lapplication i est un diomorphisme de X sur son image. On appelle restriction
de X la forme direntielle
|X
= i

sur X et on notera souvent

X
=

X
i

. Par
convention, lintgrale dune p-forme sur une varit de dimension dirente de p est nulle.
.... Varits bord. Le tangent dune varit bordtant dni (et de rang constant)
y compris aux points du bord, on peut voir le br tangent M comme un sous br (de co-
dimension I) de la restriction M de T M. La restriction dune p-forme sur M M est donc
dnie comme lalina prcdent. On a mme une description trs prcise du br conormal
dans le cas o M est un ensemble de sous-niveau . Si M = { f 0}, d f dnit une section
non nulle de T M au voisinage du bord, dont le noyau en x M est prcisment T
x
M. Donc
d
x
f est un gnrateur de lorthogonal de T
x
M dans T

x
M : cest un repre local du conormal.
Si (x
1
, . . . ,x
n1
) sont des coordonnes locales sur M, d f dx
1
. . . dx
n1
est une forme
volume sur un ouvert de M. On voit donc quune orientation sur M donne une orientation sur
M dans ce cas en fait ceci se voit algbriquement par le fait que le conormal tant trivial, la
suite exacte sur M
0 T

M T

M
|M
N

M
/M
0
induit par passage au dterminant une identication
_
n1
T

M
_
n
T

M. (En gnral on
pourra toujours choisir des coordonnes locales (x
1
, . . . ,x
n
) sur M dans lesquelles dx
1
. . .
dx
n
soit la forme volume associe, M se reprsentera alors par x
1
0. Donc dx
2
. . . dx
n
dnit une forme volume sur M, les choses se recollent car la notion dintrieur oriente le
conormal, donc M est orientable.) Notez que cette convention donne lorientation habituelle
sur le demi espace H
n
mais son oppos sur {x
1
> 0}.
Exercices :
I. Le volume dune varit est lintgrale de la fonction I. Montrer que le volume dune
courbe paramtre de R
n
est sa longueur (dnie par labscisse curviligne).
z. Le disque point

= {z C : 0 < |z| 1} est une sous-varit bord de C. Montrer

que dz/z
2
= (x
2
y
2
)
1
(dx +idy) dnit une 1-forme direntielle sur

. Calculer sa
direntielle et les deux intgrales

dz/z
2
,

d(dz/z
2
).
8. i.e. il existe une famille de fonctions C

support compact dans U

telle que

= 1 sur X . Nous
supposons depuis la page que cest toujours le cas.
. Intgration sur les varits
... Formule de Stokes.
Nous sommes maintenant en position dnoncer le thorme de Stokes qui, avec le lemme
de Poincar est un des deux outils fondamentaux de lanalyse (relle).
TuronIrr z.Io (de Stokes). Soient M une varit oriente bord C

de dimension n, et
une (n 1)-forme sur M support compact. La formule suivante est vraie :

|M
=

M
d.
Remarque. Le support dune section est dni dans la note 6, page I. La formule ci-
dessus est donc vraie pour tout si M est une varit compacte bord, ou un domaine (ouvert
connexe) relativement compact bord lisse dune varit C

. Nous avons pris le parti dans ces

notes de ne pas nous proccuper de questions de rgularit, mais il doit tre clair que cette for-
mule serait par exemple toujours vraie pour un cube de R
n
. Pour le voir, il sut dutiliser la
formule ci-dessus sur une suite de sous-varits C

bord qui approximent le cube. Comme

les formes considres sont intgrables, les dirences de calcul provenant dune petite modi-
cation du domaine dintgration sont ngligeables. Lintgrale dune p-forme sur une varit
C

par morceaux comme le cube est simplement la somme des intgrales sur les morceaux
lisses sur lesquels elle est bien dnie, le lieu des singularits tant de mesure nulle.
Dmonstration. Soit (U

) un atlas de M, et (

) une partition de lunit subordon-

ne au recouvrement de M par les U

. Par linarit de lintgrale, il sut de prouver

|M
=

M
d(

)
pour tout . On a sur U

les coordonnes (x
1
, . . . ,x
n
) et M U

est donn par lquation

x
1
= 0. Dans ces coordonnes onnote dV = dx
1
. . .dx
n
, et

) =

i
f
i
dx
1

. . .

dx
i
. . . dx
n
. Il y a deux cas.
Cas oU

M = . On calcule d

:
d

i
f
i
x
i
(1)
i1
dx
1
. . . dx
n
de telle sorte que

M
d

=
n

i=1

f
i
x
i
(1)
i1
dx
1
. . . dx
n
=
n

i=1
(1)
i1

R
n
f
i
x
i
dx
1
. . . dx
n
= 0
par Fubini car chaque f
i
est support compact dans R.
Cas oU

M . Lcriture prcdente est toujours valide et on a par Fubini que

H
n
f
i
x
i
dx
1
. . . dx
n
= 0 si i 1
6 . Formes direntielles
do lon tire

M
d

H
n
f
1
x
1
dx
1
. . . dx
n
tandis que

{x
1
=0}
f
1
dx
2
. . . dx
n
car la forme dx
1|{x
1
=0}
est identiquement nulle. La formule est en consquence dmontre
grce Fubini et lobservation que
f
1
(0) =

f
1
x
1
dx
1
.
.... Application. Nous allons donner comme application des calculs faits jusque ici
le cas rel dune formule qui devrait servir dans le cours de M. Derridj. On peut interprter un
oprateur direntiel de degr I sur une varit comme un tenseur :
L =

i, j
a
j
k

x
j
dx
k
qui lui-mme peut tre vu comme un endomorphisme du br cotangent. On appelle cet en-
domorphisme le symbole de L (not (L)).
On suppose que = {r < 0} est un domaine relativement compact de R
n
bord C

, de
telle sorte que le br tangent est trivial. On a un produit scalaire ponctuel entre les p-formes
donn par
< F ,G >=

I
F
I
G
I
si F =

I
F
I
dx
I
, G =

I
G
I
dx
I
qui induit le produit scalaire L
2
(F ,G)

< F ,G > dx
1
. . . dx
n
.
Soit u une fonction sur , et v une 1-forme. Nous allons montrer la formule
(Lu,v)

= (u,
t
Lv)

+ ((L) dr u,v)

. (I,)
Pour ce faire, nous allons montrer par un calcul en coordonnes locales quil existe une exten-
sion de la (n 1)-forme ((L) dr u,v)dV

qui vrie la formule

d =< Lu,v > < u,
t
Lv > dV
U
sur U
o
t
L est ladjoint formel de L, cest--dire son adjoint pour la mtrique L
2
sur les fonctions
support compact. Ici
t
Lv =

k
a
j
k
v
j
x
k
.
Sur un voisinage U dun point du bord de , on peut choisir des coordonnes (x
1
, . . . ,x
n
)
telles que r = x
1
(car dr 0 au bord de ). Posons =

j ,k
a
j
k
uv
k
dx
1
. . .

dx
j
. . . dx
n
.
Alors

|U
=

k
a
1
k
uv
k
dx
2
. . . dx
n
= ((L) dr u,v)dV
U
. Intgration sur les varits ,
et
d =

j ,k
a
j
k
(
u
x
j
v
k
+ u
v
j
x
k
)dx
1
. . . dx
n
sur U
donc

U
d = (Lu,v)
U
(u,
t
Lv)
U
.
Daprs la formule de Stokes nous aboutissons
(Lu,v)
U
= (u,
t
Lv)
U
+ ((L) dr u,v)
U
sur un ouvert admettant de telles coordonnes. Pour conclure, il sut de remarquer que le cal-
cul de lintgrale sur U ne dpend pas des coordonnes locales, puis de se convaincre quune
intgrale sur nest rien dautre quune somme dintgrales sur un pavage

de subordonn
un atlas de et que les termes de bord intrieurs sannulent deux deux.
... Lemme de Poincar.
DrriNi1ioN z.II. Une p-forme direntielle est dite exacte si elle est la direntielle ext-
rieure dune (p 1)-forme direntielle. On appelle parfois les formes exactes des bords, voire
des cobords.
Une p-forme direntielle est dite ferme si sa direntielle extrieure est nulle. On appelle
souvent les formes fermes des cycles ou des cocycles.
La relation fondamentale d
2
= 0 revient dire quune forme exacte est toujours ferme.
Le problme de savoir si rciproquement une forme ferme est ncessairement exacte a fait
couler beaucoup dencre. Quoi quil en soit, on a toujours une rponse locale satisfaisante. On
appelle oprateur dhomotopie A (de degr 1) pour d un oprateur linaire agissant sur les
formes direntielles et vriant la formule

_
p
T

X , = d(A) + A(d). (I8)

Dans le cas o un tel oprateur existe, le problme envisag a une solution trs satisfai-
sante, puisque, si est ferme, lgalit (I8) implique immdiatement quelle est exacte, mais
en outre loprateur A donne directement une primitive de : lorsque lon connat expli-
citement cet oprateur, on peut par exemple contrler prcisment la rgularit des solutions.
TuronIrr z.Iz (Lemme de Poincar). Si U est un ouvert toil de R
n
, il existe un opra-
teur dhomotopie A pour la direntiation extrieure d agissant sur les p-formes direntielles
C

sur U pour p 1.
Remarque. Si p = 0, le problme ne peut se poser de la mme faon. En eet, une
forme ferme de degr o est une fonction de direntielle nulle, donc localement constante, et
les cycles en degr o nexistent pas (on convient en gnral quils sont nuls). Une fois le tho-
rme z.Iz connu, son nonc se transporte par pull-back tout ouvert qui lui est diomorphe,
. En faisant usage de la remarque du z.6., un tel pavage peut tre un simple dcoupage selon des cubes de
R
n
.
8 . Formes direntielles
ce qui donne lnonc apparemment plus gnral suivant : Si U est un ouvert contractile dune
varit M sans bord, il existe un oprateur dhomotopie pour la direntiation extrieure agis-
sant sur les p-formes direntielles C

sur U pour p 1.
Dmonstration. On suppose sans perte de gnralit U toil autour de 0 R
n
. Alors
on peut dnir lapplication C

(qui a voir avec une rtraction de U sur le point 0, do la

terminologie)
h :]0,1[U R
(t ,x) t x.
Notons =

|I |=p

I
dx
I
une p-forme direntielle C

sur U (avec p 1), alors il existe

une dcomposition h

=
1
+ dt
0
o les
i
ne sont pas divisibles par dt . On dnit
loprateur A par
A() =

1
0

0
dt . (I)
Cette intgrale est prendre au sens de lintgration des fonctions sur R valeurs vectorielles :
on intgre chaque fonction coordonne
J
0
par rapport t . Il est immdiat que A() est une
(p 1)-forme C

sur U, que lon peut considrer comme la moyenne de sur le segment

[0,x] U. Pour une p-forme =

I

I
dx
I
sur ]0,1[U qui nest pas divisible par dt nous
prendrons la notation d = d

+ dt

t
qui est la factorisation par rapport dt de d
comme prcdemment. On a

t
=

I

I
t
dx
I
et d

est une direntiation partielle qui se

calcule comme si t tait constant. Avec ces notations,
h

(d) = dh

= d
1
dt d
0
= d

1
+ dt
_
1
t
d

0
_
ce qui implique
A(d) =

1
0

1
t
dt

1
0
(d

0
) dt .
Comme
1
=

I
t
p

I
dx
I
,

1
0

1
t
dt =
mais on a aussi

1
0
(d

0
) dt = d

1
0

0
dt = A()
ce qui conclut largument.
Exercice. Exprimer les calculs de cette sectionencoordonnes, et endduire une preuve
lmentaire du lemme de Poincar qui ne fasse intervenir que des calculs dintgrales et de
drivations partielles de R
n
.
... Notion de cohomologie.
Le lemme de Poincar peut tre vu comme un thorme dannulation de la cohomologie
du complexe de de Rham sur un ouvert contractile en degr 1. Jexplique ici brivement
cette interprtation qui sera dveloppe plus abondamment dans dautres cours.
. Intgration sur les varits
Un complexe
Io
despaces vectoriels est une une suite dapplications linaires
E
1
f
1
E
2

f
k
E
k+1
()
telle que limage de lune est toujours contenue dans le noyau de la suivante ( f
k
f
k1
= 0).
On peut donc prendre le quotient de lun par lautre, qui mesure la distance quil y a entre
les deux conditions linaires tre dans le noyau de f
k
et tre dans limage de f
k1
. On
appelle ce quotient le groupe
II
de cohomologie du complexe () en degr k. Un complexe est
dit exact si sa cohomologie est nulle.
Sur une varit relle M de dimension n, le fait que d
2
= 0 nous permet de dnir le com-
plexe de de Rham
0 C

(M)
d
C

1
(M)
d

d
C

n
(M)
d
0 (zo)
dont la cohomologie sappelle cohomologie de de Rham. Nous avons montr au prcdent
que, si U est une varit diomorphe un ouvert contractile de R
n
, les groupes de de Rham
H
p
(U,R) sont nuls pour tout p 1 ; et H
0
(U,R) R.
Ceci dtermine compltement la cohomologie locale des varits sans bord, qui ne dpend
en fait pas de la gomtrie de la varit car elle se ramne toujours un problme local sur R
n
.
Mais le complexe zo est dni globalement sur M, il existe donc des groupes de cohomologie
globaux H
p
(M,R) qui sont des invariants de la structure direntielle
Iz
de M.
Exemples :
I. Si M est une varit C

, H
0
(M,R) est un espace vectoriel dont la dimension (nie) vaut
le nombre de composantes connexes de M.
z. Si M est orientable sans bord de dimension n, H
n
(M,R) R. Ceci est une consquence
de la formule de Stokes qui implique dans ce cas que lintgrale dune forme exacte est
nulle.
Exercices :
I. Lexemple le plus simple de calcul de cohomologie de de Rham est donn par le tore
T
n
. En travaillant dans un domaine fondamental, avec les formules explicites du z.6.(,
montrer que la cohomologie en degr p sidentie avec lespace des formes diren-
tielles de degr p invariantes sur T
n
par le groupe des translations. Ces dernires siden-
tiant un lment de
_
p
R
n
, montrer que dimH
p
(T
n
,R) = C
p
n
pour tout p,n.
z. Montrer en revanche que la cohomologie en degr 0,n ne distingue pas R
n
de S
n
.
Pour approfondir cette thorie, la rfrence la plus accessible est certainement [dR].
Io. On trouvera peut-tre quil y a trop de co- dans cette thorie, cest quelle est (en gnral) duale de la thorie
plus ancienne de lhomologie des simplexes. Par exemple, dans une varit, une sous-varit sans bord est un cycle
(de faon image : sil ny a pas de bord, cest que la sous-varit se referme sur elle -mme) tandis que le bord
dune sous-varit sera un bord. Lhomologie mesure lobstruction quil y a pour un cycle tre un bord tandis que
la cohomologie compare les cocycles et les cobords...
II. Il sagit dun espace vectoriel dans ce cas, cest encore pour des raisons historiques que lon se contente de la
structure de groupe (additif ) dans la terminologie.
Iz. En fait topologique, mais ce serait plus long justier...
(o . Structures complexes
. Structures complexes
Les outils fondamentaux de lanalyse, y compris complexe en particulier lintgration,
les formes direntielles sont par nature des objets rels. Cependant, ltude des fonctions
holomorphes de plusieurs variables, ou des structures CR ne se limite pas cet arrire-plan
quil ne faut pourtant pas oublier. Je vais meorcer de prciser ce qui a t fait jusque ici dans
le cas gnral, du point de vue des structures analytiques complexes.
.. Structures presque complexes sur une varit C

, bidegr
Sur une varit relle M de dimension paire 2n, on peut videmment identier ponctuel-
lement T
x
M C
n
. Cette identication est bien dnie globalement si la varit M est ho-
lomorphe car T
x
M est limage de lapplication linaire tangente dune paramtrisation locale
holomorphe donc tangente C-linaire.
DrriNi1ioN .I. Une structure presque complexe sur une varit M de dimension 2n est
une section J du br des endomorphismes de T M qui vrie J J = Id
T M
.
Si on se donne une structure presque complexe sur M, un grand nombre dobjets essentiels
la gomtrie complexe peuvent tre dnis.
.... Tangent complexe, (p,q)-formes. Le dual de lespace des direntielles de fonc-
tions valeurs complexes sur M (au sens de la remarque du I.z.z) est le complexi de
son br tangent rel (de rang complexe 2n). Laction de J stend naturellement et,
comme J
2
= Id

, J
x
a en chaque point x z espaces propres (de valeur propre resp. i et i)
dgale dimension (car la trace est relle) complexe n que lon va noter temporairement T
C
M
et T
C
M. Le premier est le tangent complexe de M, lorsquil sera clair que nous parlons dune
varit holomorphe, nous omettrons lindice C ; le second est son conjugu. On a donc une
dcomposition en somme directe de brs vectoriels complexes
T
R
M
R
C = T
C
M T
C
M
(les espaces propres dun endomorphisme de br sont des sous-brs en vertu de la propo-
sition I.zo). Par linarit, laction de J est dnie tous les tenseurs. Une k-forme valeurs
complexes est un lment du complexi de
_
k
T

p+q=k
_
p
T

C
M
_
q
T

C
M. (zI)
Le bidegr
I
dune forme direntielle valeurs complexes sur M est le couple (p,q) corres-
pondant au scindage ci-dessus. Pour viter toute confusion, k est dit degr total.
.... Intgrabilit dune structure complexe. cause du scindage (zI) en degr to-
tal I, si T

C
M, d =
(2,0)
+
(1,1)
+
(0,2)
o
(p,q)
est la composante de bidegr (p,q)
de d. On en dduit que la direntielle dune (p,q)-forme a au plus ( composantes de bi-
degr (p 1,q + 2), (p,q + 1), (p + 1,q) ou (p + 2,q). Nous allons voir au suivant que les
I. Quon appelle aussi parfois type, ce que jviterai ici cause de la dnition conictuelle donne pour les
tenseurs au I..z.
. Structures presque complexes (I
deux bidegrs extrmes sont nuls si M est une varit holomorphe. Un thorme de Newlan-
der et Nirenberg arme que cette condition est susante, savoir quune structure presque
complexe provient dune structure complexe si et seulement si la direntiation extrieure ne
diminue pas le degr partiel.
.... Le cas des varits holomorphes. Si la varit M est holomorphe, elle est lo-
calement paramtre par des applications

, et le br tangent est donn par les automor-

phismes de transition

= d

qui sont des applications C-linaires de C

n
dans C
n
(parce
que

est holomorphe : nous pouvons prendre ceci pour dnition). Par consquent, la mul-
tiplication par i commute avec

, ce qui montre quelle dnit bien une structure presque

complexe naturelle. On identie C
n
et R
2n
par lapplication
(z
1
, . . . ,z
n
) (x
1
,y
1
, . . . ,x
n
,y
n
)
o z
j
= x
j
+ iy
j
. Les (x
1
,y
1
, . . . ,x
n
,y
n
) forment donc un systme de coordonnes locales pour
la varit M munie de sa structure relle sous-jacente. Ceci nous donne un champ de repres
sur le tangent M : les

x
j
,

y
j
qui dnissent donc une base de dans laquelle laction de J
est dcrite par
J

x
j
=

y
j
, J

y
j
=

x
j
ce qui revient dire que les champs de vecteurs

z
j
=
1
2
_

x
j
i

y
j
_
forment une base de T M
tandis que leurs conjugus

z
j
=
1
2
_

x
j
+ i

y
j
_
forment une base de T M. La direntielle de
lapplication de coordonnes locales scrit
(dz
1
, . . . ,dz
n
) (dx
1
,idy
1
, . . . ,dx
n
,idy
n
).
Comme elle est C-linaire, chaque 1-forme dz
j
= dx
j
+ idy
j
commute avec J , donc est
de bidegr (1,0) : on a
t
J dz
j
= d(iz
j
) = idz
j
tandis que dz
j
est de bidegr (0,1) car
t
J dz
j
= idz
j
. Lespace tangent holomorphe M est donc localement engendr par les
direntielles ( valeurs complexes) des fonctions holomorphes sur M tandis que les fonctions
antiholomorphes (leurs conjugues) engendrent T

M.
.... Les varits holomorphes sont orientables. Terminons ce survol rapide de la
gomtrie complexe par une proprit fondamentale des varits holomorphes, qui est une
consquence immdiate du
Lrrrr .z. Soit f : V
1
V
2
une application holomorphe dun ouvert de C
n
vers un
ouvert de C
n
. Notons J
R
( f )le jacobien usuel de f vue comme application direntiable sur un
ouvert de R
2
n et J
C
( f ) = det( f
j
/z
k
) son analogue complexe (i.e. le dterminant de lappli-
cation C-linaire tangente f , dnie sur le tangent complexe de V
1
). Alors
J
R
( f ) = |J
C
( f )|
2
.
Dmonstration. Tout dabord,
i
2
dz
j
dz
j
= dx
j
dy
j
. Ensuite,
dx
1
dy
1
. . . dx
n
dy
n
= (
i
2
)
n
(1)
n(n1)
2
dz
1
. . . dz
n
dz
1
. . . dz
n
=
i
n
2
2
n
dz
1
. . . dz
n
dz
1
. . . dz
n
.
(z . Structures complexes
Maintenant,
f

(dx
1
dy
1
. . . dx
n
dy
n
) = J
R
( f ) dx
1
dy
1
. . . dx
n
dy
n
tandis que
f

(dz
1
. . . dz
n
) = J
C
( f ) dz
1
. . . dz
n
do
f

(dx
1
dy
1
. . . dx
n
dy
n
) =
i
n
2
2
n
f

(dz
1
. . . dz
n
dz
1
. . . dz
n
)
= J
C
( f )J
C
( f )
i
n
2
2
n
dz
1
. . . dz
n
dz
1
. . . dz
n
= |J
C
( f )|
2
dx
1
dy
1
. . . dx
n
dy
n
,
ce qui prouve quune application biholomorphe a toujours un jacobien rel > 0, donc que les
changements de cartes holomorphes prservent toujours lorientation.
.. Oprateur
Dsormais, toutes les varits seront holomorphes, munies de leur structures presque com-
plexe canonique. Reprenons dans ce contexte les calculs o nous les avions laisss lali-
na .I.o.z. La direntielle dune fonction valeurs complexes est une 1-forme, donc se d-
compose en une somme de deux 1-formes de bidegr pur :
d f = d

f + d

f . (zz)
De plus, f est holomorphe si et seulement si sa direntielle est une section du br T M (car
la direntielle est C-linaire si et seulement si elle commute avec J ) donc f est holomorphe
si et seulement si d

f = 0.
Comme le cotangent holomorphe est engendr localement par les direntielles de fonc-
tions holomorphes, une (p,q)-forme scrit localement =

|I |=p,|J |=q

I ,J
dz
I
d z
J
et par
consquent le calcul de sa direntielle se ramne celui-l
d(
I ,J
dz
I
dz
J
) =

z
j

I ,J
dz
j
dz
I
dz
J
+

z
j

I ,J
dz
j
dz
I
dz
J
.
Il existe donc ununique oprateur d

(resp. d

) de bidegr (1,0) (resp. (0,1) ) tel que d = d

+d

sur toutes les p-formes valeurs complexes sur M.

DrriNi1ioN .. On appelle
I(
loprateur d

dni ci-dessus. On note par analogie

loprateur d

dni ci-dessus
I
.... Proprits. Nous listons ci-dessous les proprits utiles de et .
I(. Se prononce comme a scrit.
I. Attention, il ne sagit pas doprateurs de drivation partielles mais de direntiation extrieure.
. Oprateur (
. La transposition par une application holomorphe prserve le bidegr. En eet, si f :
m N est holomorphe, et une (p,q)-forme, on a en coordonnes locales
f

=

I ,J

I ,J
f d f
I
d f
J
qui est galement de bidegr (p,q) car les d f
j
sont de bidegr (1,0). En consquence, si f est
holomorphe, on a les commutations suivantes :
f

= f

; f

= f

qui se dduisent de la formule z., en sparant les bidegrs (p + 1,q) et (p,q + 1).
. et anticommutent, et sont de carr nul, ce qui se voit encore en cassant en bidegrs
purs la formule d
2
= 0. Comme se vrie la dernire proprit :
. et sont des antidrivations de degr .
Si E est un br vectoriel holomorphe au dessus dune varit analytique complexe M, une
(p,q)-forme valeurs dans E est une section C

du br
_
p,q
T

M E. Notez que ce br
nest pas holomorphe si q > 0. On notera C

p,q
(M,E) lespace de ces (p,q)-formes. Lespace
des p-formes holomorphes valeurs dans E est donn par les sections holomorphes du br
(holomorphe)
_
p,0
T

M E =
_
p
T

C
M E.
Pnoosi1ioN .(. Soit E

M unbr vectoriel holomorphe de rang r, il existe ununique
oprateur (not ) qui concide dans les trivialisations locales avec loprateur de la dni-
tion ..
Dmonstration. Soit (s
1
, . . . ,s
r
) un repre local de E, et (z
1
, . . . ,z
n
) des coordonnes lo-
cales sur la base. Une (p,q)-forme sur M valeurs dans E a pour expression en coordonnes
locales
=

I ,J ,

I ,J

dz
I
dz
J
s

o les coecients

I ,J

sont des sections locales de E. Loprateur dni par dans une

trivialisation

de E est dtermin par

I ,J

_
=

,l

I ,J

z
l
dz
l
s

donc par son calcul sur les sections ( C

) de E.
Si U

,U

sont deux ouverts de trivialisations de E, sur lesquels on a les repres (s

1
, . . . ,s

r
)
et (s

1
, . . . ,s

r
), et est une section de E dnie sur U

avec =

r
=1

=

r
=1

, la
relation de compatibilit (8) scrit en coordonnes :

avec

=

,

(s

. Le br E tant holomorphe, ses automorphismes de tran-

sition sont holomorphes, donc les coecients

: U

C sont des applications holo-

morphes, ce qui signie que

z
l
= 0
(( . Structures complexes
pour tout l . Donc

z
l
=

z
l
=

z
l
_
.
Ceci signie que les s/z
l
sont bien dnies en tant que sections de E, donc que s =

l
s/z
l
dz
l
se recolle comme prvu.
Remarque. Il ny a pas de rsultat analogue pour loprateur car onna pas

= 0, de
mme quil ny a pas doprateur d canonique sur les brs vectoriels rels. Le problme revient
se donner une connexion, ce qui est quivalent xer une mtrique sur les bres. On sort
alors du strict calcul direntiel pour entrer dans la gomtrie riemannienne ou hermitienne.
Dans ce contexte, une connexion relle se dcomposera en une composante antiholomorphe
dtermine par la structure complexe () et une composante de type non canonique.
.. Lemme de Dolbeault-Grothendieck
Le lemme de Dolbeault-Grothendieck joue enanalyse complexe le mme rle que le lemme
de Poincar en analyse relle. Jen donne ici une dmonstration simple qui nest pas la plus soi-
gneuse dupoint de vue de la rgularit, mais qui est assez proche de la dmonstrationoriginale.
Pour R = (R
1
, . . . ,R
n
) R
n
+
, on note D(0,R) = {|z
1
| < R
1
; . . . ; |z
n
| < R
n
} C
n
un polydisque.
TuronIrr .. Soit q 1. Si C

p,q
(D(0,R)) est une (p,q)-forme C

sur un poly-
disque -ferme, alors il existe

p,q1
(D(0,R)) telle que

= .
Dmonstration. Nous commenons par un lemme lmentaire.
Lrrrr .6. Soient K ,L,L

des compacts de (resp.) C,C

n
,R
m
. On pose S = K L L

et
on note (z,t ,w) un point de S. Si g est une fonction C

sur un voisinage de S valeurs dans

C, holomorphe par rapport w ( z,t xs), il existe une fonction f C

sur un voisinage de S,
holomorphe par rapport w, telle que
f
z
= g
au voisinage de S.
Dmonstration. Quitte multiplier g par une fonction plateau (gale 1 sur S, support
compact dans C C
n
R
m
), on peut supposer que g est support compact. On pose
f (z,w,t ) =
1

C
g(,w,t )
z
d()
=
1

C
g( + z,w,t )

d()
. Lemme de Dolbeault-Grothendieck (
o d note la mesure de Lebesgue de C. Par drivation sous lintgrale, et en remarquant que
d()dV
C
=
i
2
d

d, on a
f
z
(z,w,t ) =
1
2i

C
1

g
z
(z + ,w,t ) d

d
= lim
0
1
2i

||
1

(z + ,w,t ) d

d
= lim
0
1
2i

||
d

_ 1

g(z + ,w,t ) d
_
= lim
0
1
2i

||=
1

g(z + ,w,t ) d par le thorme de Stokes

= g(z,w,t ) car g est continue en z et
1
2i

||=
1

d = 1.
Le cur de la dmonstration est donn par ce second
Lrrrr .,. Soit q 1. Si K
1
, . . . ,K
n
sont des compacts de C. Si est une (p,q)-forme C

sur un voisinage de S = K
1
K
n
telle que = 0 alors il existe une (p,q 1)-forme C

sur un voisinage de S

telle que

= au voisinage de S.
Dmonstration. On pose A
p,q
k
lespace des (p,q)-formes ( C

sur un voisinage de S)
qui scrivent =

I ,J

I J
dz
I
d z
J
avec J {1, . . . ,k}. Nous allons dmontrer le lemme .,
pour les formes de A
p,q
k
par rcurrence sur k. Pour k = 0 = 0 : il ny a rien vrier. Suppo-
sons le le lemme vri par les lments de A
p,q
k
et soit un lment de A
p,q
k+1
. On peut crire
= dz
k+1

1
+
2
o
1
,
2
A
p,q
k
do = dz
k+1

1
+
2
. On introduit la
notation

z
l
=

I ,J

I J
z
l
dz
I
dz
J
de telle sorte que =

l
dz
l


z
l
. En comparant les
termes qui sont divisibles par dz
l
pour l > k + 1, on voit que = 0 implique quils sont nuls,
i.e.

j
z
l
= 0 pour l > k + 1 et j = 1,2. Par consquent, les
I J
sont holomorphes par rapport
aux coordonnes (z
k+2
, . . . ,z
n
). Le lemme .6 entrane lexistence dune (p,q 1)-forme C

au voisinage de S, dont les coecients sont holomorphes par rapport au z

l
pour l > k + 1 et
telle que

z
k+1
=
1
. Mais alors
=

j
dz
j


z
l
= dz
k+1

1
+

j k
dz
j


z
l
.
On en dduit que A
p,q
k
. Comme ( ) = = 0, lhypothse de rcurrence
sapplique : il existe une forme telle que = donc
= ( + ).
Dmonstration du thorme .. On pose D = D(0,R) et D
k
= D(0,R(1 2
k1
)) pour
k 0. Comme le br
_
p
T

C
n
est le br holomorphe trivial, on peut raisonner sur les (0,q)-
formes
I
=

|J |=q

I ,J
dz
J
puisque le agit sparment sur chacune de ces composantes.
On fait nouveau une rcurrence : sur q.
(6 . Structures complexes
Cas q = 1. Par la thorie des paires de Runge, les fonctions holomorphes sur D
k
sont
limites uniformes sur tout compact de D
k
de fonctions holomorphes sur D. Si C

0,1
(D)
vrie = 0, il existe pour tout k une fonction f
k
C

(D
k
) telle que
f
k
= sur D
k
daprs le lemme .6. Comme ( f
k+1
f
k
) = 0 sur D
k
, f
k+1
f
k
est une fonction holomorphe
sur D
k
. Il existe par consquent une fonction g
k
holomorphe sur D vriant
| f
k+1
f
k
g
k
|
1
2
k
sur D
k1
.
On pose

f
k
= f
k
g
1
g
k1
. La suite

f
k
est uniformment de Cauchy sur tout compact
de D, elle converge donc vers une fonction C

sur D. On a bien

=

f
k
= sur D
k
car

f
k+1

f
k
est une fonction holomorphe sur D
k
pour tout k.
Cas q 2. Si = 0 sur D, on a toujours par le lemme ., une suite de (0,q1)-formes

k
sur D
k
telles que
k
= sur D
k
. Comme q 1 1, on peut appliquer lhypothse de
rcurrence
k+1

k
: il existe donc une (0,q2)-forme
k
sur D
k
telle que
k
=
k+1

k
sur D
k
. Il ne reste plus qu poser

=
_

0
sur D
0

k

k1

0
sur D
k
.
En eet, il est vident que

= sur D
k
pour tout k donc sur D. Dautre part, cette dnition
est cohrente car (
k+1

k

0
) (
k

k1

0
) =
k+1

k
= 0
sur D
k
.
.. Cohomologie de Dolbeault
Soit M une varit holomorphe de dimension n, et E

M un br vectoriel holomorphe
de rang r au dessus de M. En vertu de la proposition prcdente .(, il existe un oprateur
agissant sur les (p,q)-formes C

valeurs dans E tel que

2
= 0. Ceci, avec les considrations
du z.6., nous amne dnir pour chaque p le complexe de Dolbeault associ un br E :
0 C

p,0
(M,E)

C

p,1
(M,E)



C

p,n
(M,E)

0 (z)
dont la cohomologie est dite cohomologie de Dolbeault. Les groupes de cohomologie endegr q
du complexe (z) sont nots H
p,q
(M,E) et peuvent aussi sinterprter comme la cohomologie
H
q
(M,
p
M
E) du faisceau analytique cohrent des p-formes holomorphes valeurs dans E.
Si U est un ouvert dune varit analytique complexe biholomorphe un polydisque, le
lemme de Dolbeault-Grothendieck arme donc que les groupes H
p,q
(U,E) sont nuls pour
q > 1.
Exercices :
I. Le tangent au tore complexe de dimension n est (holomorphiquement) trivial (i.e. il
existe n champs de vecteurs
j
T
C
M, j = 1, . . . ,n linairement indpendants en tout
point).
Bibliographie (,
z. Dterminer toutes les sections globales de T

CP
1
(toutes les 1-formes direntielles glo-
bales. En dduire que T

CP
1
nest pas holomorphiquement trivial, mais quil est globa-
lement engendr (il existe en chaque point de CP
1
une section globale de T

CP
1
non
nulle).
. On dnit le br en droites tautologique O(1) sur CP
n
ensemblistement comme le
sous-br du br trivial C
n+1
dont la bre au-dessus dun point de CP
n
est prcisment
la droite de C
n+1
reprsente par ce point. On note O(1) le br dual, puis O(k) la k-me
puissance tensorielle de O(1) pour k 0, la |k|-me puissance tensorielle de O(1)
pour k < 0. Montrer que les sections globales de O(k) sur CP
n
sidentient naturelle-
ment aux polynmes homognes de degr k en les variables homognes sur CP
n
. En
dduire que O(k) na aucune section globale si k < 0.
Bibliographie
[BG,z] Marcel Brncrn and Bernard Gos1inux. Gomtrie direntielle. Armand Colin, I,z.
[Die,o] Jean DiruooNNr. lments danalyse (III). Gauthier-Villars, I,o.
[dR] Georges de Runr. Varits direntiables. Hermann, I.
[Mal,z] Paul MnIIinviN. Gomtrie direntielle intrinsque. N
o
I( in Enseignement des sciences. Her-
mann, I,z.
[Nar68] Raghavan NnnnsirunN. Analysis on Real and Complex Manifolds. N
o
I in Advanced studies in
pure mathematics. Masson & Cie, I68.
(Le dcembre : )
Remerciements. Je remercie Christine Laurent de mavoir propos de donner ce cours. Une
proportion substantielle du texte des parties I & z est de Bernard Parisse, dont jai inclus &
remani les notes de cours de lt dernier. Pour lessentiel, ce texte a t inspir par [Nar68].