Charles Cochet

GNRALITS SUR LES FIBRS

C. Cochet
Universit Paris 7 Denis Diderot, UFR de mathmatiques, UMR7586, 2, place Jussieu,
75251 Paris cedex 05, France.
E-mail : cochet@math.jussieu.fr
Url : http://www.math.jussieu.fr/~cochet/
GNRALITS SUR LES FIBRS
Charles Cochet
TABLE DES MATIRES
1. Fibrs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1. Proprits lmentaires des brs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Des fonctions de transition au br. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Le br principal des cadres, ou frame bundle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Sections dun br. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Construction de nouveaux brs partir danciens. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6. Mtrique sur un br. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7. Classication des brs vectoriels et des brs principaux. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2. Connexions linaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1. Dnition et premires proprits. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2. Existence de connexions et transport parallle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3. Sections parallles et quations direntielles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4. Obstruction lintgrabilit dans le cas dune section parallle. . . . . . . . . . . . . . . . . . . . . . . . 30
2.5. Courbure dune connexion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.6. Connexions induites. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.7. Connexions mtriques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.8. Connexions sur le br tangent et godsiques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.9. Torsion dune connexion sur le br tangent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3. Classes caractristiques dun br vectoriel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1. Classes caractristiques dun br vectoriel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2. Classes de Chern dun br vectoriel complexe. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.3. Classe de Todd et caractristique dEuler dun br vectoriel complexe. . . . . . . . . . . . . . . . 52
3.4. Classes caractristiques dun br vectoriel rel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.5. Classes de Pontrjagin P
k
(E) dun br vectoriel rel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.6. Classe dEuler dun br vectoriel rel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4. Orientabilit et structure spinorielle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1. Dtection de lorientabilit. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.2. Cohomologie de ech. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.3. Structure spinorielle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.4. Obstruction lexistence dune structure spinorielle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.5. Structure Spin
C
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.6. Condition dexistence dune structure Spin
C
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
vi
Bibliographie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Index des notations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Index terminologique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
CHAPITRE 1
FIBRS
1.1. Proprits lmentaires des brs
1.1.1. Premiers exemples et dnition des brs. Avant de donner des dnitions pr-
cises, commenons par des exemples.
Exemple 1.1.1 (Fibr tangent). Soit M une sous-varit direntiable de dimension m de
R
n
. chaque point x M, on peut associer un sous-espace vectoriel m-dimensionnel de R
n
. Not
T
x
M, cest lespace tangent M en x. Supposons qu proximit de x des coordonnes locales sur
M soient donnes par une application G : R
m
R
n
(dnie sur un voisinage U de 0 R
m
).
Alors T
x
M est le m-plan passant par x et parallle limage de R
m
sous la linarisation de G en
x, cest--dire sous lapplication linaire dnie par le jacobien [
Gi
xj
(x)]. En prenant la runion sur
tout les x M, on obtient le br tangent
TM =
_
xM
T
x
M.
On peut adapter cette construction au cas dune varit abstraite de dimension m (plutt
quune sous-varit de R
n
) si lon identie les vecteurs de T
x
M avec les drives directionnelles en
x. Lespace tangent T
x
M est alors vu comme lespace vectoriel des drivations sur les germes de
fonctions [(t)] = M
x
en x M. Si : U R
m
est une carte locale dnie sur un ouvert U M
et si p est un point de U, alors une base de T
p
M se dcrit comme suit. Soient (x
1
, . . . , x
m
) les
coordonnes sur R
m
et soit (p) = x. Dnissons des champs de vecteurs locaux e
i
(p) =
1

(

xi

x
)
pour i = 1, . . . , m. Alors e
1
(p), . . . , e
m
(p) est une base de T
p
M. Comme prcdemment, le br
tangent TM est dni comme tant la runion disjointe de tous les espaces tangents T
p
M (p M).
Remarquons les proprits suivantes du br tangent TM :
1. Il existe une projection : TM M (dnie en envoyant T
p
M sur p) dont les bres sont
des m-plans, cest--dire des copies de R
m
.
2. Lapplication (p ; v
1
, . . . , v
m
)

m
i=1
v
i
e
i
(p) dnit une identication de U R
m
avec
TM[
U
=

pU
T
p
M ; on dit que TM est localement trivial.
Le br tangent dune varit lisse encode des informations sur la structure C

de la varit ; cest
une construction essentielle en gomtrie direntielle.
2 Chapitre 1. Fibrs
Exemple 1.1.2 (Fibr co-tangent). Pour une varit lisse M, on construit le br co-
tangent comme tant la runion disjointe
T

M =
_
xM
(T
x
M)

= (x, v) ; x M, v (T
x
M)

.
Exemple 1.1.3 (Fibr normal). Soient X Y deux varits lisses. Pour tout x X, les-
pace tangent T
x
X est un sous-espace vectoriel de T
x
Y . Dnissons lespace normal en x comme
tant le quotient
N
x
= T
x
Y/T
x
X.
Si T
x
Y est muni dun produit scalaire, alors
N
x
= (T
x
X)

,
cest--dire que N
x
sidentie au complmentaire orthogonal de T
x
X dans T
x
Y . Dnissons le br
normal comme tant
N =
_
xX
N
x
.
Le br normal encode des informations sur linclusion X Y .
Exemple 1.1.4 (Application de Hopf ). Ralisons la 3-sphre S
3
comme tant
S
3
= (z
1
, z
2
) C
2
R
4
; [z
1
[
2
+[z
2
[
2
= 1.
Il existe une identication lisse de la 2-sphre S
2
avec lespace complexe projectif par
S
2
CP
1
= [z
1
, z
2
] ; (z
1
, z
2
) C
2
0,
o [z
1
, z
2
] reprsente la classe dquivalence de (z
1
, z
2
) ,= 0 pour la relation
(z
1
, z
2
) (w
1
, w
2
) il existe C tel que (z
1
, z
2
) = (w
1
, w
2
).
Lidentication est faite laide de la projection strographique par le ple Nord N S
2
grce
p
N
: S
2
N R
2
C. On peut galement identier CP
1
[0, 1] avec C via
[z
1
, z
2
]
z
2
z
1
.
Lidentication de CP
1
et S
2
est alors
CP
1
[z
1
, z
2
]
_
p
1
N
(
z2
z1
) si z
1
,= 0,
N si z
1
= 0.
Lapplication h : S
3
S
2
dnie par h(z
1
, z
2
) = [z
1
, z
2
] est appele application de Hopf. On
dmontre sans dtour quelle est bien dnie, surjective et lisse. La bre au-dessus de chaque point
est
h
1
([z
1
, z
2
]) = (z
1
, z
2
) ; C avec [[ = 1 S
1
.
L encore h : S
3
S
2
est localement triviale. Remarquons en eet que U
i
= [z
0
, z
1
] ; z
i
,= 0
(i = 0, 1) est un ouvert de CP
1
S
2
. Alors h
1
(U
i
) U
i
S
1
via
h
1
(U
i
) (z
0
, z
1
) ([z
0
, z
1
],
z
i
[z
i
[
) =
_
([1,
z1
z0
],
z0
|z0|
) au-dessus de U
0
,
([
z0
z1
, 1],
z1
|z1|
) au-dessus de U
1
.
Linverse de cette application sur U
0
S
1
est
([1, z], )
_

_
1 +[z[
2
,
z
_
1 +[z[
2
_
,
1.1 Proprits lmentaires des brs 3
avec une dnition similaire sur U
1
S
1
. Remarquons que nous navons pas une condition de
trivialit globale puisque ceci signierait que S
3
S
2
S
1
, ce qui est faux (des invariants de
topologie algbrique comme lhomologie ou le groupe fondamental permettent de sen convaincre).
Exemple 1.1.5 (Fibr tautologique). Utilisons encore lapplication de Hopf h : S
3
S
2
dnie par (z
1
, z
2
) [z
1
, z
2
]. Si (w
1
, w
2
) h
1
([z
1
, z
2
]), alors (w
1
, w
2
) est sur la ligne complexe
dnie par la classe [z
1
, z
2
].
Si on oublie la restriction [w
1
[
2
+ [w
2
[
2
= 1, alors on obtient un br vectoriel (cest--dire de
bre un espace vectoriel) complexe au-dessus de CP
1
, not

CP
1 (1)

CP
1
o
1
([z
1
, z
2
]) est la ligne dnie par le couple [z
1
, z
2
]. Ce br est appel br tautologique.
Remarquons que lon peut construire de mme un br tautologique au-dessus de CP
n
.
Exemple 1.1.6 (Fibr homogne). Soit O(n) lensemble des matrices relles n n ortho-
gonales. Remarquons que lon peut plonger O(n1) dans O(n) par Q
n1
P
n
, o P
n
O(n) est
la matrice avec 1 dans le coin suprieur gauche, zro dans le reste des premires ligne et colonne,
et Q
n1
dans le carr (n 1) (n 1) restant ; plus prcisment
Q
n1

_
1 0
0 Q
n1
_
.
De plus O(n) agit de faon transitive sur S
n1
. Notons e
i
la base canonique de R
n
. Alors le
stabilisateur de e
1
est O(n1). Lapplication O(n)/O(n1) S
n1
dnie par [A] Ae
1
est un
diomorphisme entre lespace homogne O(n)/O(n1) et S
n1
. Soit : O(n) O(n)/O(n1)
la surjection canonique. Pour tout x O(n)/O(n1), nous avons
1
(x) = A O(n) ; Ae
1
= x.
Puisque
1
(e
1
) = O(n1), on obtient
1
(x) = O(n1). Ceci dnit un br localement trivial,
appel br homogne.
Remarque 1.1.7. Ce dernier exemple se gnralise pour donner des brs de la forme
G

G/H
de bre H, o G est un groupe de Lie et H G est un sous-groupe ferm.
Dnition 1.1.8. Un br ( bundle ) est un quadruplet = (E, B, F, ), o E, B, F sont
des espaces topologiques et : E B est une application continue, vriant :
1.
1
(b) F pour tout b B.
2. Pour tout b B, il existe un voisinage ouvert U B de b, appel ouvert trivialisant, tel que

1
(U) U F de faon prserver
1
(b).
On dira que (E, B, F, ) est despace total E, de base B, de bre F et de projection ; lapplication

1
(U) U F est appele identication ou trivialisation ; enn E
b
=
1
(b) est appele bre
au-dessus de b.
4 Chapitre 1. Fibrs
Bien que la dnition dun br soit trs gnrale, nous ne lappliquerons que dans certaines
catgories spciques :
1. Lisse : E, B, F sont des varits lisses et les applications sont lisses.
2. TopM : E, B, F sont des varits et les applications sont continues.
3. Holomorphe : E, B, F sont des varits lisses complexes et les applications sont holo-
morphes.
Dnition 1.1.9. Si F est un espace vectoriel (par exemple R
n
ou C
n
) et si les identications

1
(U) U F sont linaires, alors (E, B, F, ) est un br vectoriel. De faon plus gnrale, si
la bre est munie dune structure algbrique (de groupe, danneau, etc.) alors E est dit br en la
structure.
Les brs tangent, normal et tautologique sont tous trois des brs vectoriels.
Dnition 1.1.10. Un quadruplet P = (E, B, F, ) est dit F-br principal ou br principal
de groupe de structure F si :
1. E et B sont deux varits lisses.
2. F est un groupe de Lie agissant de faon lisse droite sur E.
3. Laction est libre (cest--dire e g = e si et seulement si g est lidentit).
4. Laction prserve les bres de E B.
Le br de Hopf est un S
1
-br principal et le br homogne O(n) O(n)/O(n 1) est un
O(n 1)-br principal.
1.1.2. Morphismes de brs. Dnissons les applications entre brs conservant la struc-
ture de br.
Dnition 1.1.11. Si : E B et

: E

sont deux brs, un morphisme de brs

est un couple dapplications (u, f) tel que le diagramme suivant commute :
E
u

B
f

La dnition dit que f

b
: E

b
E

f(b)
sous u. Si E = E

et B = B

, alors (u, f) est appel un en-

domorphisme de br. Si les applications sont inversibles, alors (u, f) est un isomorphisme de brs.
Remarquons que si lon considre des brs vectoriels, alors sur la bre les applications doivent
tre linaires. Si lon considre des G-brs principaux, alors nous demandons que lapplication sur
les bres soit un morphisme de groupes et que f soit G-quivariant (cest--dire f(p g) = f(p) g).
Examinons le cas particulier dun endomorphisme de br avec f = Id
B
. Alors
E
u

@
@
@
@
@
@
@
E

~
~
~
~
~
~
~
B
donc u ne fait que transformer les points dans chaque bre. Dans le cas dun br vectoriel,
lapplication u est un isomorphisme despace vectoriel sur chaque bre.
1.2 Des fonctions de transition au br 5
Soit : E B un br vectoriel lisse de bre
1
(b) R
n
. Pour tout b B, choisissons
un voisinage U
b
de b au-dessus duquel E est trivialis par
b
: E

U
b
U
b
R
n
. La collection
U
b

bB
recouvre B. Examinons le lien entre

et

sur U

. Nous avons le diagramme

suivant :
E

UU

o
o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O
O
(U

) R
n
(U

) R
n
g

o g

. Remarquons que g

est linaire puisquelle est compose dapplications

linaires. Puisque

et

sont inversibles, lapplication g

lest galement. On peut ainsi consi-

drer g

: U

GL(n, R) ; nous obtenons un tel morphisme pour tous U

, U

tels que
U

,= . Nous noterons par consquent

E = (

R
n
)/g

.
1.2. Des fonctions de transition au br
tant donn un br vectoriel : E B lisse de bre R
n
, recouvrons B avec des ouverts
trivialisants U

de trivialisations

: E

U
U

R
n
; nous obtenons ensuite des fonctions de
transition g

: U

GL(n, R) en posant g

(x) =

(
1

(x)).
On peut se demander quelle condition le recouvrement et les fonctions de transition sont
quivalents toute linformation contenue dans le br. Plus prcisment, on cherche dterminer
la condition laquelle U

et g

dcrivent un br.
Si le recouvrement et les fonctions de transition dterminent un br, nous devons avoir :
1. g

= Id GL(n, R).
2. g

= g
1

.
3. (condition de cocycle) g

= Id.
Si lon a un morphisme de brs
E
h

A
A
A
A
A
A
A
A
E

B
avec
E = (

R
n
)/g

et E

= (

R
m
)/g

,
alors nous avons le diagramme commutatif suivant, obtenu partir des trivialisations pour E et
E

:
E

R
n

h
1

=h

R
m
En fait, on peut regarder h comme h

: U

Hom(R
n
, R
m
). En clair h peut tre vue comme
un lment de Mat
m,n
(R). Par consquent, h donne on obtient un ensemble h

: U

6 Chapitre 1. Fibrs
Hom(R
n
, R
m
). Examinons le lien entre h

et h

. laide des fonctions de transition pour E et

E

respectivement, nous exigeons que le diagramme suivant commute :

R
n
g

R
m
g

R
n
h

R
m
Considrons le cas particulier E = E

. Alors h est un endomorphisme de br et les applications

h

: U

End(R
n
, R
n
) Mat
n,n
(R)
sont telles que h

= g

. Si h est un automorphisme de br, alors

h

= g

g
1

= g

.
Proposition 1.2.1. tant donn un recouvrement U

de B et g

: U

GL(n, R)
vriant les trois conditions ci-dessus sur toute intersection non vide, il existe un br vectoriel
(unique isomorphisme de brs prs) pour qui les g

sont les fonctions de transition.

Dmonstration. La dmonstration est constructive. Pour tout U

, dnissons
Z =

A
U

R
n
et munissons-le de la topologie produit. Dnissons une relation dquivalence sur Z comme suit :
(x, v)

(x

, v

x = x

et v

= g

(x)(v).
Soit E = Z/ muni de la topologie quotient. Nous avons plusieurs points dmontrer. En
premier lieu, nous devons vrier que puisque les g

sont lisses, alors E est une varit lisse.

Ensuite, il faut dmontrer que [(x, v)

] x est bien dnie de E dans B et est un br de rang

n. Enn, nous devons prouver que lensemble de fonctions de transition pour E est prcisment
g

.
Tout dabord E est une varit lisse si lon peut la recouvrir avec des cartes qui sont relies de
faon lisse (cest--dire dont les fonctions de transition sont lisses). Supposons que le recouvrement
U

de B consiste en des coordonnes avec trivialisations

: U

R
n
(sinon, on rane
notre recouvrement de sorte avoir cette proprit). Supposons que B est de rang m. Il nous faut
dnir une collection V

de cartes sur E et des applications

: V

R
m
R
n
. Posons
V

= [U

R
n
] (image dans le quotient). Chaque V

est ouvert daprs la dnition de la topologie

quotient. Dnissons

en posant [(x, v)

] (

(x), v). Nous avons le diagramme commutatif

suivant :
V

o
o
o
o
o
o
o
o
o
o
o

O
O
O
O
O
O
O
O
O
O
O
(U

) R
n
(U

) R
n

Sur son ensemble de dnition, lapplication

vrie
(x, v)

([(x, v)

]) =

([(x, g

(x)(v))

]) = (x, g

(x)(v))

.
Ainsi, les applications de transition sont lisses puisque les g

le sont.
1.3 Le br principal des cadres 7
Examinons maintenant la projection : E B dnie ci-dessus par [(x, v)

] x. Nous avons
localement
V

.|
|
|
|
|
|
|
|

H
H
H
H
H
H
H
H
H
U

R
n
1

o
1
est la surjection canonique. On a =
1

, donc est lisse (bien dnie, continue, etc.).

Par dnition

(
1
1
(x)) = [(x, v)

] ; v R
n

1
(x).
Si [(x, v

] est dans la bre au-dessus de x, alors [(x, v

] = [(x, g

(x)(v

))

]. Ainsi, la bre
au-dessus de x est R
n
. On dmontre ensuite que la condition de trivialit locale et les proprits
de transition sont vries.
Par consquent, la notation
E = (

R
n
)/g

caractrise le br E B; nous lutiliserons souvent par la suite.

Examinons pour nir le cas des brs principaux. La condition de trivialit locale arme que la
trivialisation

: P

U
U

G doit prserver les bres et tre G-quivariante ; la G-action sur

U

G est triviale sur la composante selon U

et est la multiplication usuelle sur la composante

selon G. Ainsi sur U

lapplication

a pour expression
(x, g) = (x, 1)g (

(x, 1))g.
Dnissons g

en posant g

(x) =

(x, 1). Ainsi nous devons avoir (x, g) (x, g

(x) g).
Comme prcdemment, on pose
P = (

G)/ ,
o la relation est dnie de la mme faon que ci-dessus laide de g

. Nous utiliserons
galement cette notation, qui caractrise le G-br principal P.
1.3. Le br principal des cadres, ou frame bundle
tant donn un br vectoriel : E B dni par g

: U

GL(n, R), on peut

construire un GL(n, R)-br principal en posant
P = (

GL(n, R))/g

.
On dit que P est le GL(n, R)-br principal associ E ; on le note parfois P = P
E
. On peut
lgitimement se demander si la rciproque est vraie. Plus prcisment, tant donn un G-br
principal : P B, peut-on construire un br vectoriel associ ? Pour ce faire, nous avons
besoin dune reprsentation : G GL(V ) du groupe G dans un espace vectoriel V .
Exemple 1.3.1. Si G = GL(n, R), alors la reprsentation standard sur R
n
convient. Si G =
O(n), on plonge O(n) dans GL(n, R) et on utilise la reprsentation compose. Si G = U(n), on
obtient via le plongement de U(n) dans GL(n, C) une reprsentation sur C
n
; on peut rcuprer
une reprsentation relle en ralisant GL(n, C) comme sous-groupe de GL(2n, R).
8 Chapitre 1. Fibrs
Dnissons
E = (

V )/(g

),
o (g

) : U

GL(n, R). La condition de cocycle est vrie, puisque (g

)(g

)(g

) =
(g

) = (Id) = Id.
Jusqu prsent, nous nous sommes concentrs sur la description locale des brs associs. Il est
utile den avoir galement une description globale. Pour ce faire, nous avons besoin de la
Dnition 1.3.2. tant donns un G-br principal : P B et une reprsentation :
G GL(V ), on dnit le produit de P et V au-dessus de G en posant
E = P
G
V,
o E est le quotient de P V par la relation (p, v) (p g, (g
1
)v) pour tout g G.
Lemme 1.3.3. Lapplication [(p, v)] (p) induit un br vectoriel E B de bre V ,
appel br vectoriel associ. De plus, si
P = (

G)/g

,
alors
E = (

V )/(g

).
En clair, les deux constructions (locale comme globale) sont les mmes.
Ide de la dmonstration. On utilise lidentication (U

G)
G
V U

V grce lappli-
cation [((b, u)

, v)] (b, (u)v) dinverse (b, v) [((b, e), v)], o e G est llment neutre.
Donnons maintenant une interprtation gomtrique du GL(n, R)-br principal associ un
br vectoriel : E B de rang n.
Dnition 1.3.4. tant donn un espace vectoriel rel V de dimension n, un cadre de V
( frame ) est une identication f : R
n
V de R
n
avec V . Cest quivalent choisir une base
de V , puisque si e
i
est la base canonique de R
n
alors f(e
i
) est la base de V que nous avons
choisie. Dnissons F(V ) comme tant lensemble de tous les cadres de V .
Remarquons que GL(n, R) agit sur F(V ) par
R
n
f

B
B
B
B
B
B
B
B
R
n
A

{
{
{
{
{
{
{
{
A(f)=fA

V
Pour un br vectoriel : E B et pour tout b B, nous avons E

b
GL(n, R). Ainsi, on
obtient une copie de GL(n, R) attache chaque b via P
b
= F(E

b
).
Lemme 1.3.5. Posons
_
bB
P
b
= P.
Alors P est un GL(n, R)-br principal, appel br principal en cadres (mme construction quau-
paravant).
1.4 Le br principal des cadres 9
Ide de la dmonstration. Supposons que
E = (

R
n
)/g

,
avec pour applications de trivialisation

: E

U
U

R
n
. On utilise
1

(b) : R
n
E
b
pour dnir un cadre f. Nous obtenons alors P
b
= f

A; A GL(n, R), et par consquent

P

U
U

GL(n, R) via (b, A) f

(b)A. Remarquons que P

b
et P sont munis dune action
droite de GL(n, R).
1.4. Sections dun br
Rappelons quun br est un quadruplet (E, B, F, ), o E, B, F sont des espaces topologiques
et : E B est une application continue, vriant
1
(b) F pour tout b B et tels que pour
tout b B il existe un voisinage ouvert U B de b avec
1
(U) U F de sorte prserver la
bre.
Dnition 1.4.1. Pour un br : E B, on dit quune application s : B E est une
section si s = Id
B
(ceci signie que s(b) est dans la bre de s au-dessus de B). Nous noterons
(B, E) ou
0
(B, E) lensemble des sections du br E. Dans le cas du br co-tangent T

B, on
pose
p
(B) =
0
(
p
T

B, B).
Un cas particulier dune section est donn par le br trivial
E = B F
=projection

B
Si s est une section, alors s(b) = (b, (b)) avec : B F. Rciproquement, si lon a : B F
alors lapplication s : B B F dnie par s(b) = (b, (b)) est une section. Ainsi il existe une
correspondance bijective entre les sections dun br trivial et Hom(B, F).
Quand E nest pas le br trivial, on peut penser aux sections comme une sorte dapplication
tordue de B dans F. crivons E

U
pour
1
(U). Si : E

U
U F est une identication, alors
on obtient le diagramme suivant
E

U F
U
s
A
A
A
A
A
A
A
A
s=sU

y
y
y
y
y
y
y
y
y
laide de la trivialisation locale, la description locale de la section est une application U F.
Rappelons qutant donn un br vectoriel de rang n, on a construit un GL(n, R)-br principal.
De plus, pour un G-br principal P et une reprsentation : G GL(V ), nous avons construit
un br vectoriel E = P
G
V = P

V . Enn, si V est de rang n alors

E = (

R
n
)/g

,
o les g

: U

(G) GL(n, R) sont les fonctions de transition. Dune manire

gnrale, on dit que le groupe de structure dun br principal peut tre rduit si son groupe de
structure G est un sous-groupe propre de GL(n, R). Ainsi un br vectoriel peut tre rduit de
10 Chapitre 1. Fibrs
GL(n, R) un sous-groupe G si et seulement si on peut trouver un systme de trivialisations locales
tel que toutes les fonctions de transition prennent leurs valeurs dans G.
Supposons quun br vectoriel : E B est dcrit par
E = (

R
n
)/g

et que : B E en est une section. Soient

: E

U
U

R
n
les applications de
trivialisation. On a dj vu que le diagramme suivant est commutatif :
E

I
I
I
I
I
I
I
I
I
U

{
{
{
{
{
{
{
{
=

R
n
En utilisant la proprit de prservation des bres des applications en jeu, nous vrions que

(b) = (b, s

(b)) o s

: U

R
n
. Maintenant dtermine une collection de sections locales
s

: U

R
n
, une pour chaque ouvert de trivialisation.
Vient alors naturellement une question : une collection de sections locales s

: U

R
n

(une pour chaque ouvert de trivialisation) dtermine-t-elle une section globale : B E avec

U
=

? Sur U

= U

, nous avons le diagramme commutatif :

U

R
n
Id

R
n
Id

R
n
U

R
n
En crivant g

, nous voyons que s

= g

. Par consquent, tant donne une collection

de sections locales

(b) = (b, s

(b)) telles que s

(b) = g

(b), alors on dnit une section

globale en posant (b) =
1

(b). Nous avons ainsi dmontr la

Proposition 1.4.2. La donne dune section globale : B E dun br vectoriel quivaut
la donne dune famille de sections locales

= (Id
U
, s

) : U

R
n
vriant s

UU

=
g

UU

.
Exemple 1.4.3. La collection des sections locales nulles dnies par s

(b) = 0 pour tout

b U

se recolle pour dnir la section nulle globale.

Remarquons que lanalyse des sections des brs vectoriels sapplique de mme aux sections des
G-br principaux. En dautres termes, tant donn un G-br principal dcrit par
P = (

G)/g

,
la description dune section est la mme que ci-dessus, mais avec R
n
remplac par G. Dans la
relation s

= g

, la multiplication sur le membre de droite est la multiplication du groupe.

Rciproquement, en utilisant une section , les fonctions de transition peut tre crites sous la
forme g

= s

s
1

.
1.5 Construction de nouveaux brs partir danciens 11
1.5. Construction de nouveaux brs partir danciens
1.5.1. Construction lmentaires. Rappelons que si E et E

sont deux brs vectoriels

et si h : E E

est un morphisme de brs, alors on construit une collection dapplications

locales h

: U

Hom(R
n
, R
m
) telles que g

= h

. Si h est un automorphisme, alors

h

= g

.
Il est important de savoir quand un br vectoriel E au-dessus de B est isomorphe au br
trivial E B R
n
. Supposons que E est donn par
E = (

R
n
)/g

.
Remarquons que le br trivial R
n
est donn par
R
n
= B R
n
= (

R
n
)/g

,
o g

est lidentit. Une application h : E R

n
est ainsi dcrite par une collection dapplications
h

: U

GL(n, R) dnies localement et vriant g

= h

h
1

. En clair, si on peut trouver

une collection de telles h

, alors on peut trivialiser le br.

Ceci signie prcisment que le GL(n, R)-br principal associ est trivial si et seulement si il
admet une section. On dmontre
Lemme 1.5.1. Un br principal est trivial si et seulement sil admet une section.
Dmonstration. Soit p : P B un G-br principal. Supposons tout dabord quil soit trivial,
cest--dire de la forme pr
1
: P = B G B. Alors lapplication s : B P dnie par
s(b) = (b, 1) est une section du br.
Rciproquement, soit s une section du br p : P G. Dnissons : BG P en posant
(b, g) = s(b)g. Cette application est alors un diomorphisme G-quivariant tel que p = pr
1
,
donc qui trivialise p : P B.
Remarque 1.5.2. La section nulle s : B E plonge B de faon diomorphe dans E. De
plus, cette copie de B dans E est un rtracte par dformation de E. Par consquent B et E ont
le mme type dhomotopie. Ainsi, lhomotopie et lhomologie ne sont pas dun grand secours pour
classier les brs.
Les constructions sur les espace vectoriels sont adaptes presque directement au cas des brs
vectoriels. Par exemple, tant donns deux espace vectoriels V
1
et V
2
, on peut former V
1
V
2
,
V
1
V
2
, V

1
, V
1
V
1
, etc. Ils ont tous des analogues pour les brs.
Si E
1
et E
2
sont deux brs vectoriels de rang r
1
et r
2
respectivement, alors on construit un
br vectoriel E
1
E
2
de rang r
1
+r
2
comme suit. Supposons que E
1
et E
2
sont raliss comme
E
1
= (

R
n1
)/g
1

et E
2
= (

R
n2
)/g
2

.
On dnit la somme des deux brs comme tant
E
1
E
2
= (

R
n1+n2
)/g

,
o g

est la matrice n
1
n
2
diagonale par blocs avec g
1

dans le bloc suprieur gauche et g

2

dans
le bloc infrieur droit. An de dmontrer que ceci dnit un br, nous avons besoin de vrier
la condition de cocycle. Mais ceci se voit en utilisant le fait que les deux blocs de la matrice la
vrient. On construit de mme E
1
E
2
.
12 Chapitre 1. Fibrs
La construction du br dual E

est peine plus dicile. Nous voulons que les bres du nouveau
br soient E

b
Hom(E
b
, R). Si E est donn par
E = (

R
n
)/g

,
alors posons g

= (g
t

)
1
. Les g

vrient la condition de cocycle et ainsi dnissent un br.

Mais est-ce le br recherch ? Plus prcisment, avons-nous E

b
Hom(E
b
, R
n
) ? Supposons que

: E
b
R
n
est une identication de la bre et soit Hom(E
b
, R). Alors on obtient une
application

: R
n
R daprs le diagramme suivant :
E
b

R
R
n

}
}
}
}
}
}
}
}
On a une correspondance

et par consquent on obtient E

b
R
n
Hom(R
n
, R). Par
ailleurs E

U
U

R
n
. Au-dessus de U

, nous avons

=
1

et

=
1

. Ainsi
=

.
La condition de compatibilit sur les

est quen tant quapplications R

n
R elles vrient

. Mais ceci est en fait quivalent

E = (

R
n
)/(g
t

)
1
.
1.5.2. Le br Hom(E, F). Soient deux brs vectoriels
E = (

R
n
)/g

et F = (

R
n
)/h

.
Proposition 1.5.3. Il existe un br vectoriel Hom(E, F) de rang nm tel que Hom(E, F)
b
=
Hom(E
b
, F
b
).
Ide de la dmonstration. On peut construire Hom(E, F) de deux faons direntes (aboutis-
sant au mme br).
1. Pour deux espaces vectoriels V et W, nous avons Hom(V, W) W V

. On peut dnir un
br
Hom(E, F) := F E

de rang nm, de bre (FE

)
b
= F
b
E

b
et dont les fonctions de transition sont h

(g
t

)
1
.
2. Plus directement : on peut construire Hom(E, F) en regardant ses section. Tout dabord
s (Hom(E, F)) si et seulement si s : E F est un morphisme de brs. laide des
trivialisations locales, les morphismes de brs donnent la description locale
s

: U

Hom(R
n
, R
m
)
du morphisme de brs s : E F, avec s

= h

g
1

. Dnissons deux brs principaux

P
F
=

GL(m)/h

et P
E
=

GL(n)/g

,
et posons
P = P
F
P
E
=

(GL(m) GL(n))/h

.
Soit la reprsentation de GL(m) GL(n) dans Hom(R
n
, R
m
) dnie par
: GL(m) GL(n)
Ad
GL(Hom(R
n
, R
m
)),
1.5 Construction de nouveaux brs partir danciens 13
cest--dire telle que (A, B)(U) = A U B
1
. Alors le br recherch est
Hom(E, F) P
Ad
Hom(R
n
, R
m
).
On vrie que ses sections locales sont bien les s

.
Remarque 1.5.4. On peut dmontrer que End(E) = Hom(E, E) = P
E

Ad
Mat
n
, o
Ad : GL(n) GL(Mat
n
), A (U A U A
1
).
Si on dnit Aut(E) comme tant le br des isomorphismes de E tels que Aut(E)

p
= Aut(E
p
),
alors Aut(E) = P
E

Ad
GL(n) est un br en groupes, mais pas un br principal (les fonctions
de transition ne sont pas quivariantes). On peut munir lespace G des sections de Aut(E) dune
structure de groupe laide des identications Aut(E[
p
) GL(n). Le groupe G est dit groupe de
jauge de E.
1.5.3. Les brs noyau, image et co-noyau. tant donn un morphisme de brs
E
f

@
@
@
@
@
@
@
F
~
~
~
~
~
~
~
B
dnissons
(Ker(f))
b
= Ker(f
b
: E
b
F
b
), (Im(f))
b
= Im(f
b
: E
b
F
b
), (Coker(f))
b
= F
b
/(Im(f)
b
)
ainsi que Ker(f) =
bB
(Ker(f))
b
, Im(f) =
bB
(Im(f))
b
et Coker(f) =
bB
(Coker(f))
b
. Ces
trois espaces sont-ils des brs sur B? La rponse est non dans le cas gnral. Par exemple, prenons
les brs triviaux
R
n
R
m
f

J
J
J
J
J
J
J
J
J
R
n
R
m
.t
t
t
t
t
t
t
t
t
R
n
et dnissons f(x) = x I
n
(cest clairement un morphisme de brs). Alors
(Ker(f))
x
=
_
0 si x ,= 0,
R
n
si x = 0,
et la dimension de la bre varie.
Thorme 1.5.5. Si le rang de f
b
est constant, alors Ker(f), Im(f) et Coker(f) sont des brs
de base B. On les appelle respectivement brs noyau, image et co-noyau.
La dmonstration utilise le thorme du rang constant pour les morphismes de brs. On se
ramne dmontrer que les trivialisations pour E et F peut tre choisies de sorte ce que sur chaque
U

on ait des isomorphismes E

b

R
n
= R
k
R
nk
avec R
k
= Ker(f

) et F
b

R
m
= R
i
R
mi
14 Chapitre 1. Fibrs
avec R
i
= Im(f

). Alors sur U

nous avons le diagramme commutatif (pour des dcompositions

de R
n
donnes) :
R
k
R
nk
f

R
i
R
mi
h

R
k
R
nk
f

R
i
R
mi
avec
g

=
_
k

0 C

_
et h

=
_
i

0 D

_
.
En fait, les k

sont les fonctions de transition pour Ker(f). laide des cadres orthonormaux
(en supposant que E et F ont une reprsentation matricielle), on peut suppposer que g

O(n)
et k

O(n). On en dduit que

= 0 et

= 0.
1.5.4. Le br tir en arrire. tant donns un br vectoriel : E B et une appli-
cation lisse f : X B, on peut dnir un br f

(E) X en exigeant la commutativit du

diagramme
f

(E)

f

X
f

B
o

f est un isomorphisme sur les bres (et ainsi f

(E)

x
E[
f(x)
). Pour ce faire, dnissons
lespace total
f

(E) = (x, e) X E ; f(x) = (e) X E.

Alors p : f

(E) X est dnie par (x, e) x, donc p

1
(x) = (x, e) ; (e) = f(x) = E
f(x)
.
Vrions la trivialit locale. Soient E

U R
n
la trivialisation locale et V = f
1
(U) X.
Lemme 1.5.6. Nous avons f

(E)

V
V E

U
et f

(E)

V
V R
n
( laide de ).
Ainbsi f

(E) est un br sur B, appel br tir en arrire de E (ou pull-back ). Soit V

un recouvrement ouvert de X tel que dune part U

= f(V

) est un recouvrement de B, et
dautre part les brs sont localement triviaux ; alors les fonctions de transition de E et f

(E) sont
relies par
g
f

(x) := (f

)(x) = g

(f(x)).
Exemple 1.5.7. 1. Considrons
E

B
Alors

(E) est un br au-dessus de B et

(E) E E.
2. Si E = B R
n
est le br trivial et f : X B, alors f

(E) = X R
n
.
1.6 Mtrique sur un br 15
Proposition 1.5.8. 1. Soit (u, f) un morphisme de brs
E

B
Alors il existe une application v : E

(E) telle que

f

(E)

E
E
E
E
E
E
E
E

y
y
y
y
E

B
2. Si de plus u est un isomorphisme sur les bres, alors f

(E) E

.
Il sensuit que f

(E) est dni de faon unique.

Thorme 1.5.9 (fondamental n

1). Supposons que lon ait

E

X
f0
f1

B
avec f
0
f
1
(homotopes). Alors f

0
(E) f

1
(E). En dautres termes, des applications homotopes
produisent des brs tirs en arrire isomorphes.
Corollaire 1.5.10. Si B est contractile, alors tout br vectoriel E B est trivial.
1.6. Mtrique sur un br
Soit V un espace vectoriel de base v
1
, . . . , v
n
. La base duale v

1
, . . . , v

n
de V

= Hom(V, R)
est dnie par v

i
(v
j
) =
ij
. Il sensuit que tout V

scrit de faon unique sous la forme

i
v

i
.
Rappelons qutant donn
E = (

R
n
)/g

,
on peut utiliser (g
t

)
1
pour dnir un br E

= (

R
n
)/(g
t

)
1
de breE

b
=
Hom(E
b
, R). Dans le cas des brs complexes, nous avons
E = (

C
n
)/g

et g

: U

GL(n, C).
laide de la mme dmonstration, on vrie que g
t

1
dnit E

, que Hom(C
n
, C) C
n
et
que E

b
= Hom(E
b
, C).
Remarque 1.6.1. Il est noter que :
16 Chapitre 1. Fibrs
1. On peut utiliser un produit scalaire hermitien pour identier
Hom(C
n
, C)

C
n
,
mais cette application nest pas C-linaire, donc ce nest pas lidentication que nous recher-
chons.
2. Cas rel : supposons que lon puisse trouver une trivialisation locale E[
U

R
n
telle
que
g

: U

O(n) GL(n, R),

de sorte que le groupe de structure de E peut tre rduit O(n). Alors g
t

= Id, donc
(g
t

)
1
= g

et ainsi E

E.
3. Cas complexe : mme si
g

: U

U(n) GL(n, C),

on a g

t
g

= Id et par consquent g
t

1
= g

,= g

. Ainsi E

, E en tant que brs

complexes. En fait E

E.
Pour un br E ralis comme E = (

R
n
)/g

, supposons que les fonctions de transition

vrient g

: U

O(n).
Lemme 1.6.2. On peut dnir un produit scalaire sur chaque bre E
b
.
Dmonstration. Dnissons , )
b
sur E
b
pour tout b B comme suit. Soit ( , ) le produit
scalaire canonique sur R
n
, cest--dire (e
i
, e
j
) =
ij
pour la la base canonique e
i
de R
n
. Alors
on peut identier

: E
b

R
n
pour tout tel que b U

, puis dnir e

i
(b) =
1

(b, e
i
).
On vrie ensuite que e

i
(b) est une base de E
b
. Dnissons maintenant , )
b
en dclarant que
e

i
(b) est un cadre orthonormal, cest--dire avec la condition
e

i
(b), e

j
(b))
b
=
ij
.
Par consquent si v = v
i
e

i
(b) et u = u
i
e

i
(b), alors
u, v)
b
= (

(b, v
1
),

(b, v
2
)) =
n

i=1
u
i
v
i
.
Tout est bien dni si g

O(n).
Dnition 1.6.3. Un br dont chaque bre est muni dun produit scalaire , )
b
variant de
faon lisse en b est dit br mtrique lisse.
On vrie que si
1
et
2
sont des sections C

, alors b
1
(b),
2
(b))
b
st lisse.
Proposition 1.6.4. Soit : E

U R
n
une trivialisation locale. Fixons b B. Alors
f
i
(b) =
1
(b, e
i
)
n
i=1
est une base de E
b
, appele un cadre local. Dnissons galement
H
ij
(b) = f
j
(b), f
i
(b))
b
.
Alors b H
ij
(b) dnit une application lisse de U dans GL(n).
Remarque 1.6.5. Si E admet un br mtrique lisse (cest--dire , )
b
sur chaque E
b
et
variant de faon lisse en b), alors on peut choisir une identication E

U R
n
telle que
g

: U

O(n).
1.6 Mtrique sur un br 17
Exemple 1.6.6 (Exemples dexistence de mtriques). 1. Sur le br trivial
B R
n

B
choisissons , )
b
= ( , ) (ou nimporte quel utre produit scalaire sur R
n
).
2. Sur E = (

R
n
)/g

, prenons une partition de lunit subordonne U

(on
suppose U

localement ni dans cet exemple). Plus prcisment, soit

: U

R lisse
telle que Supp(

) U

et

(b) = 1 pour tout b. Pour tout b U

, on peut dnir
, )
b,
sur E

U
laide de

: E[
U

R
n
, puis poser , )
b
=

(b) , )
b,
.
Remarque 1.6.7. La construction pour des mtriques hermitiennes sur les brs vectoriels
complexes est identique. En remplaant orthonormal par unitaire et O(n) par U(n), tous
les rsultats restent encore valables.
18 Chapitre 1. Fibrs
1.7. Classication des brs vectoriels et des brs principaux
Le but de la section est de construire un br vectoriel et un br principal universels dans
un sens prciser.
1.7.1. Un outil fondamental : la grassmannienne. La qute du br universel nous
conduit au royaume des grassmanniennes.
Dnition 1.7.1. La grassmannienne relle G(k, m) = G
R
(k, m) = G
k
(m) est lensemble des
sous-espaces vectoriels de dimension k de R
m
. On dnit de mme la grassmannienne complexe
G
C
(k, m) comme tant lensemble des sous-espaces vectoriels de dimension k de C
m
.
Exemple 1.7.2. En fait G(1, m) est lensemble des droites de R
m
, cest--dire le (m1)-ime
espace projectif RP
m1
. De mme G
C
(1, m) = CP
m1
.
Nous avons besoin des proprits suivantes des grassmanniennes. Nous les citons pour G(k, m) =
G
R
(k, m), mais leur analogue pour G
C
(k, m) est vrai.
Proposition 1.7.3. 1. La grassmannienne G(k, m) est une varit lisse de dimension
k(mk).
2. Soit V
k
(m) = (V, v) ; v V G(k, m) R
m
. La projection :G(k, m) sur la premire
composante munit
m
k
= (V
k
(m), p, G
k
(m), R
k
) dune structure de br vectoriel de bre de
dimension k.
La dmonstration de cette proposition nous tiendra en haleine jusqu la n de cette sous-section.
Rappelons que le br trivial est not R
m
. Le br universel Q au-dessus de G(k, m) est dni par
la suite exacte de morphismes de brs
0
m
k
R
m
Q 0.
Plus prcisment Q

V
R
m
/V est un (mk)-plan.
Commenons par la dmonstration de la premire proprit. Une faon pratique dexprimer un
cadre est avec la (mk)-matrice [v
1
, . . . , v
k
], o chaque v
i
R
m
est vu comme une colonne de la
matrice. La condition dindpendance linaire est quivalente au fait que cette matrice [v
1
, . . . , v
k
]
est de rang k. On peut interprter cette matrice comme une application linaire injective R
k

R
m
. Bien sr, chaque k-plan admet de nombreux cadres ; ainsi la description nest pas unique. En
fait, pour toute matrice A GL(k) on a un nouveau cadre dcrit par la matrice [v
1
, . . . , v
k
] A,
cest--dire par lapplication
R
k
A

R
k
[v1,...,v
k
]

R
m
.
Ceci conduit la description de G
k
(m) comme un quotient de lespace F(k, m) des k-cadres (par
GL(k)). Lespace des k-cadres est appel varit de Stiefel. On peut en fait identier
F(k, m) = (mk)-matrice de rang k = f : R
k
R
m
; f linaire et injective.
Ainsi G
k
(m) = F(k, m)/ GL(k), o GL(k) agit librement droite sur F(k, m) comme dcrit ci-
dessus. On vrie que F(k, m) est une varit lisse de dimension km. Supposons que [v
1
, . . . , v
k
]
G
k
(m) est tel que le premier mineur k k soit de dterminant non nul. Alors il existe une matrice
A GL(k) telle que
[v
1
, . . . , v
k
] A =
_
Id
B
_
.
1.7 Classication des brs vectoriels 19
En dautres termes, les k premires lignes ont t rduites lidentit et B est un bloc (mk) k.
Dnissons une application
Mat(mk, k) U
{1,...,k}
GL(k, m), B
_
Id
B
_
.
Si I = i
1
, . . . , i
k
1, . . . , m, alors U
I
dnit un systme de coordonnes pour G
k
(m). En fait
G
k
(m) est recouvert par lensemble de ces U
I
et les changements de paramtrisation sont lisses.
De mme, sur C
m
, les changements de paramtrisation pour G
C
(k, m) sont holomorphes. Ainsi
G
C
(k, m) est une varit complexe de dimension k(mk).
Dmontrons maintenant la seconde proprit. Examinons la projection : F(k, m) G
k
(m),
de bre GL(k). Vrions quen fait (F(k, m), , G
k
(m), GL(k)) est un GL(k)-br principal. Il nous
faut tablir la trivialit locale au-dessus de U
I
. Dcrivons
[v
1
, . . . , v
k
] =
_
Id
B
_
A
au-dessus de U
{1,...,k}
. Pour ce faire, dnissons une application [v
1
, . . . , v
k
] ([v
1
, . . . , v
k
], A).
Cest une trivialisation, donc : F(k, m) G
k
(m) est un GL(k)-br principal. Relions ce br

m
k
.
Lemme 1.7.4. Nous avons
m
k
= F(k, m)
GL(k)
R
k
.
Par consquent
m
k
est le br vectoriel associ au br principal F(k, m) G
k
(m).
1.7.2. Classication des brs vectoriels de base et de rang xs. Un des problmes
centraux des brs vectoriels est le suivant : tant donns un espace topologique B et un entier k,
dterminer ( isomorphisme prs) tous les brs vectoriels de rang k sur B. Lensemble de tous ces
brs est not Vect
k
(B).
Lide pour la classication est de trouver un br vectoriel, not : EG = EG
k
BG =
BG
k
et appel br universel de rang k de B, ayant la proprit suivante. Pour tout autre br
E B de rang k, il existe une application f : B BG appele application classiante vriant
f

(EG) E. Daprs le premier thorme fondamental 1.5.9, des applications homotopes induisent
des brs isomorphes. Donc si [B, BG] dnote lensemble des classes dhomotopie dapplications
de B dans BG, il existe une application bien dnie
[B, BG
k
] Vect
k
(B), [f] [f

(EG
k
)].
Lobjectif est de construire un inverse de cette application, aprs avoir dtermin le br universel.
Nous verrons que la condition ncessaire cette construction est que B soit paracompact.
Dnition 1.7.5. Soit
k
: E B un br vectoriel de rang k. Une application de Gauss
du br dans R
m
est un morphisme de brs vectoriels g : E R
m
qui est injectif sur chaque
bre (en particulier m k).
Par exemple, pour le br
m
k
: (
k
(m) = (V, x) ; V G
k
(m), x V G
k
(m) = G
m
k
au-dessus de la grassmannienne, la seconde projection q : (
k
(m) R
m
est une application de
20 Chapitre 1. Fibrs
Gauss.
(
k
(m)
p=pr1
.u
u
u
u
u
u
u
u
u
q=pr2

F
F
F
F
F
F
F
F
F
G
k
(m) R
m
Proposition 1.7.6. Soit (u, f) :
k

m
k
un morphisme de brs vectoriels qui est un
isomorphisme sur les bres. Alors q u : E R
m
est une application de Gauss.
Rciproquement, soit g : E R
m
une application de Gauss. Alors il existe un morphisme de
brs vectoriels (u, f) :
k

m
k
tel que q u = g.
Dmonstration. Seul le second point mrite une dmonstration. Posons f(b) = g(p
1
(b))
G
k
(m) pour b B et u(x) = (f(p(x)), g(x)) G
k
(m) R
m
. Alors le couple (u, f) convient.
Ainsi, il existe une application de Gauss g : E R
m
si et seulement sil existe une application
f : B G
k
(m) telle que le br de dpart
k
: E B soit isomorphe f

(
m
k
). Avant de
construire une application de Gauss pour chaque br vectoriel de base paracompacte, nous avons
besoin de la
Proposition 1.7.7. Soit E B un br vectoriel de base paracompacte recouvert par des
ouverts trivialisants U
i

iI
. Alors il existe un recouvrement dnombrable W
j

j
de B tel que E

Wj
soit trivial.
Si de plus chaque b B est contenu dans au plus n ouverts U
i
, alors il existe un recouvrement
ouvert ni W
j

1jn
tel que E

Wj
soit trivial.
Dmonstration. La paracompacit de B nous fournit une partition de lunit
i

i
subordonne
au recouvrement U
i

i
(cest--dire Supp(
i
) U
i
). Pour tout ensemble ni dindices S, soit W(S)
louvert des b B tels que
i
(b) >
j
(b) pour tous i S et j / S. Si S et S

sont deux ensembles

dindices distincts m lments, alors W(S) W(S

) = . En eet, il existe i S et j S

tels
que i / S

et j / S ; par consquent pour tout b W(S) nous avons

i
(b) >
j
(b), et pour tout
b W(S

) nous avons
j
(b) >
i
(b). Donc W(S) W(S

) = .
Pour b B, notons S(b) lensemble ni des indices i tels que
i
(b) > 0 et posons W
m
=

S(b)=m
W(S(b)). Le br E
W(S(b))
est trivial. Puisque W
m
est une runion disjointe, il est ga-
lement trivial. Enn W
j
= lorsque j > m.
Le rsultat suivant nous assure de lexistence dune application classiante.
Thorme 1.7.8 (fondamental n

2). Pour tout br vectoriel p : E B de rang k et

de base paracompacte, il existe une application de Gauss g : E R

. Si de plus B admet un
recouvrement ouvert ni U
i

1in
tel que E

Ui
soit trivial pour tout i, alors le br E B
admet une application de Gauss g : E R
kn
.
Dmonstration. Soit U
i
un recouvrement ouvert trivialisant dnombrable, de trivialisations

i
: E

Ui
U
i
R
k
. Choisissons une partition de lunit
i
subordonne U
i
. Dnissons
des applications g
i
: E R
k
en posant
g
i
=
_
(
i
p)(pr
2

i
) sur E

Ui
,
0 ailleurs,
1.7 Classication des brs vectoriels 21
o pr
2
: U R
k
R
k
est la seconde projection. Il nous reste vrier que g =

i
g
i
: E R
k
est bien une application de Gauss. Or les images des g
i
sont des sous-espaces complmentaires de
R

et chaque g
i
est injective, donc g est bien injective.
Sil ny a quun nombre ni n de U
i
, alors

n
i=1
R
k
= R
kn
. Dans le cas contraire, la somme est
de dimension innie.
Nous avons ainsi construit pour chaque br vectoriel une application classiante. An de
construire [E B] [f], il nous faut maintenant dmontrer que deux appplications classi-
antes donnant lieu des brs isomorphes sont homotopes, en dautres termes une unicit de
lapplication classiante.
Thorme 1.7.9 (fondamental n

3). Soient 1 m + et j : G
k
(m) G
k
(2m). Soient
f
0
, f
1
: B G
k
(R
m
) telles que f

0
(
k
(m)) f

1
(
k
(m)). Alors j f
0
et j f
1
sont homotopes.
Dmonstration. Admise car technique (voir [4] page 33).
Le thorme 1.5.9 nous fournit une application : [f] [E B]. Les thormes 1.7.8 et 1.7.9
nous permettent de construire une application : [E B] [f], inverse de . Do le
Corollaire 1.7.10. Soit B une varit paracompacte. Il existe une correspondance bijective
entre les (classes disomorphismes de) brs vectoriels de rang k au-dessus de B et les (classes
dhomotopie de) fonctions lisses B G
k
(). En dautres termes
Vect
k
(B) [B, G

k
].
1.7.3. Classication des G-brs principaux. Pour tout groupe de Lie G, examinons une
construction pour deux espaces B
G
et E
G
ainsi quun G-br principal E
G
B
G
universel.
Dnition 1.7.11. Un br G-principal de base B est trivialisation adapte sil possde une
trivialisation par des ouverts U
i
admettant une partition de lunit
i
subordonne.
Ainsi un br principal localement trivial et de base paracompacte est trivialisation adapte.
Dnition 1.7.12. Un br G-principal trivialisation adapte = (E
0
, p
0
, B
0
) est dit uni-
versel sil vrie les deux conditions suivantes :
1. Pour tout br G-principal trivialisation adapte de base B, il existe une application
f : B B
0
telle que f

().
2. Si f
0
, f
1
: B B
0
sont deux applications telles que f

0
() f

1
(), alors f
0
et f
1
sont
homotopes.
Si on dnit Prin
G
(B) comme tant lensemble des classes disomorphisme de G-brs principaux
sur B, alors lexistence dun br G-principal universel nous fournit une bijection Prin
G
(B)
[B, B
0
]. Lespace E
0
= E
G
dcrit ci-aprs est obtenu laide de la construction de Milnor.
Dnition 1.7.13. La runion innie ( innite join ) dun groupe G est
E
G
= G G = (t
1
x
0
, t
1
x
1
, . . .) ; t
i
[0, 1], x
i
G, les t
i
presque tous nuls,

i
t
i
= 1.
22 Chapitre 1. Fibrs
Un lment de E
G
est not x, t). Deux lments x, t) et x

, t

) sont identis ds que t

i
= t

i
pour tout i et x
j
= x

j
pour tout j tel que t
j
> 0.
Maintenant, faisons agir G sur E
G
par multiplication droite en posant x, t)y = xy, t). On
munit ensuite E
G
dune topologie compatible avec laction de G (admis). Notons BG = E
G
/G
lespace des orbites. On dnit enn
G
= (E
G
, p, B
G
).
Proposition 1.7.14 ([4]). Le G-br
G
est un G-br principal trivialisation adapte.
Les espaces E
G
et B
G
sont brs par
E
G
(n) E
G
(n + 1) E
G
B
G
(n) B
G
(n + 1) B
G
avec E
G
(n) = (t
0
x
0
, t
1
x
1
, . . .) E
G
; t
i
= 0 pour tout i > n et B
G
(n) = p(E
G
(n)).
Exemple 1.7.15. 1. Pour G = Z/2Z, on a E
G
(n) = S
n
. Laction de Z/2Z sur S
n
est
par lidentit et lantipode, donc B
G
(n) = RP
n
. Par consquent E
G
= S

(la limite du
systme inductif S
n
S
n+1
) et BG = RP

(la limite du systme inductif

RP
n
RP
n+1
). Le br (S
n
, p, RP
n
) est universel pour toute dimension
infrieure ou gale n 1.
2. Pour G = S
1
, on a E
G
(n) = S
2n+1
. Laction de S
1
sur S
2n+1
est (z
0
, z
1
, . . . , z
n
)e
i
=
(e
i
z
0
, . . . , e
i
z
n
), donc B
G
(n) = CP
n
. Par consquent E
G
= S

et B
G
= CP

(la limite
du systme inductif CP
n
CP
n+1
). Le br (S
2n+1
, p, CP
n
) est universel
pour toute dimension infrieure ou gale 2n.
An de dmontrer que le br G-principal
G
est universel, nous avons besoin de la
Proposition 1.7.16. Soit un br G-principal trivialisation adapte de base B. Alors il
existe une partition de lunit
n

nN
dnombrable telle que les U
n
=
1
n
(]0, 1]) soient des ouverts
trivialisants pour .
Dmonstration. Admise car technique (voir [4] page 56).
Thorme 1.7.17. Pour tout br G-principal trivialisation adapte, il existe une application
f : B B
G
telle que f

(
G
).
Dmonstration. Soit
n

nN
la partition de lunit fournie par la proposition 1.7.16. Notons
h
n
: U
n
G

Un
les applications de trivialisation. Dnissons une application : E E
G
en posant
u(z) =
_
(
0
p(z))(q
0
h
1
0
(z)), . . . , (
n
p(z))(q
n
h
1
n
(z)), . . .
_
,
o q
n
: U
n
G G est la seconde projection. Pour z en lequel h
1
n
(z) nest pas dni, on a

n
(p(z)) = 0. Par consquent u est bien dnie. Par ailleurs h
n
(zg) = h
n
(z)g donc u(zg) = u(z)g
pour tout g G. Lapplication u induit f : B B
G
et (u, f) :
G
est un morphisme de
G-brs principaux.
Thorme 1.7.18. Soient f
0
, f
1
: X B
G
deux applications telles que f

0
(
G
) f

1
(
G
).
Alors f
0
et f
1
sont homotopes.
Dmonstration.
CHAPITRE 2
CONNEXIONS LINAIRES
Ce chapitre traite des connexions linaires, cest--dire des connexions sur les brs vectoriels. Il
est noter quil existe galement des connexions sur les brs principaux : les connexions principales
(voir ce sujet le chapitre 6 de [2]).
2.1. Dnition et premires proprits
Une connexion gnralise la
Remarque 2.1.1. Soit
0
(B, R
n
) lespace des sections du br trivial : E = B R
n
B.
On peut alors voir f
0
(B, E) en tant quapplication f : B R
n
, de section correspondante
s : b (b, f(b)), et calculer les drives de f le long dun champ de vecteurs sur B en utilisant la
direntielle df de f.
Si n = 1, alors f C

(B, R) et df est une 1-forme globale sur B, cest--dire

df
0
(B, T

B).
Si n > 1 et f : B R
n
, alors f(b) = (f
1
(b), . . . , f
n
(b)) donc df = (df
1
, . . . , df
n
). On vrie que
df est une section globale du br T

B R
n
, cest--dire df =

i
s
i
o
i

0
(B, T

B) et
s
i

0
(B, R
n
).
Par consquent, pensons la direntielle d comme une application d :
0
(B, R
n
)

0
(B, T

B R
n
) =
1
(B, R
n
). Cet oprateur a pour proprits :
(i) d est linaire.
(ii) Si C

(B, R), alors d(f) = d f +fd (rgle de Leibnitz).

Une connexion va rsoudre les trois problmes suivants :
1. Calculer les drives des sections dun br vectoriel.
2. Dcomposer lespace tangent en un point de E en :
(a) La direction verticale (le long des bres de E B).
(b) La direction horizontale ( paralllement aux directions tangentes B).
3. Comparer les bres de E en dirents points b
1
et b
2
par transport parallle le long dune
courbe .
24 Chapitre 2. Connexions
Remarque 2.1.2. 1. Le premier point est facilement descriptible en termes de cadres lo-
caux.
2. Les second et troisime points sappliquent aussi bien aux brs principaux quaux brs
vectoriels.
Avant de continuer, examinons de plus prs les problmes rsoudre.
Problme 2.1 (direntier les sections). Pour toute fonction f C

(B, R), on obtient

une 1-forme globale df sur B. Plus prcisment, nous avons un oprateur d : C

(B, R)

1
(B) =
0
(B, T

B) qui associe une fonction sa direntielle. Rappelons que df

b
: T
b
B R
est dnie par df
b
(X
b
) = X(f)(b) =
d
dt
f((t))

t=0
pour tout X
b
[(t)].
On peut faire de mme pour f : B R
n
. Pour tout X
b
[(t)], on a
d
dt
f((t))

t=0
=
(d(f
1
)
b
(X
b
), . . . , d(f
n
)
b
(X
b
)). Ainsi df = (df
1
, . . . , df
n
) mesure les variations de f le long de (t),
cest--dire df
0
(B, T

B R
n
). Do
d : C

(B, R
n
)
0
(B, T

B R
n
) =
1
(B, R
n
).
On peut se demander ce quil en est pour une section s : B E, cest--dire s
0
(B, E).
Le problme est de donner un sens
d
dt
s((t))

t=0
. En fait s((t)) E
(t)
et s((0)) E
(0)
ne
peuvent tre identis, donc on ne peut pas valuer s((t)) s((0)).
Si nous avions une faon de relier/identier les E
(t)
( E
(0)
) le long de (t), alors nous pourrions
mesurer les variations de s le long de (t). Ainsi une mthode pour rsoudre notre problme est
de spcier comment transporter E
b
le long de (t), cest--dire dnir le transport parallle.
Sans entrer dans les dtails (qui seront examins dans la section 2.3), pour dnir le transport
parallle le long dun chemin dans B nous avons besoin de spcier comment un chemin dans B
se remonte en un chemin dans E ; un tel relvement est appel relvement horizontal. Ceci nous
permet de dnir un relvement des vecteurs tangents B en des vecteurs tangents E. En clair,
on obtient une identication de T
b
B avec un sous-espace H
e
de T
e
E pour tout e E
b
. Le sous-
espace H
e
est un complmentaire dans T
e
E du sous-espace V
e
des vecteurs verticaux, do un
scindement T
e
E = V
e
H
e
.
Problme 2.2 (scindement de TE). Prenons un br vectoriel : E B lisse et de rang
n (sur C ou R). tant donne une trivialisation locale E

U
U R
n
, nous avons T
e
E = T
b
U R
n
pour tout e E

U
avec b = (e). Cest local mais non canonique, donc nous recherchons une rgle
globale pour scinder T
e
E = Fibre Base.
Un vecteur X
e
T
e
E sidentie au germe X
e
[(t)], o (t) est un chemin passant en
e t = 0. Les vecteurs le long de la bre (ou vecteurs verticaux)
1
(b) correspondent aux
chemins (t) valeurs dans
1
(b), cest--dire tels que ((t)) = b pour tout t. Mais la projection
: E B induit lapplication

: TE TB dnie par [(t)] [((t))]. Ainsi

[(t)] = 0
pour tout chemin (t) valeurs dans la bre
1
(b). Par consquent le sous-espace vectoriel
V
e
= Ker(

: T
e
T
b
B) T
e
E est isomorphe lespace des directions le long de la bre.
Continuons avec un traitement complet des connexions linaires, en commenant par la
Dnition 2.1.3. Pour un br vectoriel E B, une connexion est une application
D :
0
(B, E)
0
(B, T

B E) =
1
(B, E)
telle que :
2.1 Dnition et premires proprits 25
1. D est linaire.
2. D(s) = d s + Ds, o C

(B, R) et s
0
(B, E).
Lemme 2.1.4. Le second point garantit que D est un oprateur local, cest--dire que Ds(b)
dpend seulement de s au voisinage de b.
Dmonstration. Prenons un voisinage ouvert U de b et dnissons une fonction bosse lisse
f sur U tel que f 1 sur V ( U) au voisinage de b et f 0 hors de U. Alors D(fs) = df s+fDs
implique D(fs)(b) = Ds(b). Mais fs est nulle hors de U, do le rsultat.
Par consquent la description locale de D est possible, cest--dire que lon peut utiliser des
cadres locaux pour obtenir une description locale de D. Soit : E

U R
n
une trivialisation
locale, de cadre local correspondant e
i

n
i=1
. Ainsi e
i
(b) =
1
(b, e
i
), o e
i
est la base canonique
de R
n
. Au-dessus de U, la section s a une description locale s =

s
i
e
i
avec s
i
: U R. Les
deux axiomes de la dnition 2.1.3 impliquent Ds =

ds
i
e
i
+s
i
(De
i
).
Lemme 2.1.5. La connexion D vrie De
i
=

j

ji
e
j
, o les
ji
sont des 1-formes dnies
sur U.
Dmonstration. De
i
est une section (locale) de T

U E et toute section de T

U E a pour
expression

j

ji
e
j
. Remarquons que
ji
ne dpend que de D et de e
i
mais pas de s. Alors
Ds =

i,j
(ds
i
+
ji
s
j
) e
i
.
Si lon identie s = (s
1
, . . . , s
n
)
t
, nous voyons que
D
_
_
_
s
1
.
.
.
s
n
_
_
_ = (d +)
_
_
_
s
1
.
.
.
s
n
_
_
_,
o = (
ji
) est une matrice n n de 1-formes sur U. Ainsi D = d +.
Nous crirons par consquent
(2.1.1) D = d +.
Certains auteurs notent une connexion ou . Ici, nous utiliserons la notation uniquement
dans le cas du br tangent TM.
Remarque 2.1.6. Si E = BR
n
, alors une seule carte est requise. Choisissons dans ce cas un
cadre global e
i
. Tout matrice de 1-formes donne lieu une connexion D = d+. En particulier
= 0 implique D = d.
Si le br E =

R
n
/g

nest pas trivial et si e

i
est un cadre local sur U

, alors on
doit examiner de plus prs les conditions de compatibilit de la description locale. Supposons que
D = d +

au-dessus de U

et D = d +

au-dessus de U

. Alors De

i
=

ji
e

j
. Or e

i
= g

ji
e

j
,
do
De

i
= D(g

ji
e

j
) = dg

ji
e

j
+g

ji
De

j
= dg

ji
g

kj
e

k
+g

ji

kj
g

k
e

=
_
(g

dg

)
i
+ (g

)
i
_
e

.
26 Chapitre 2. Connexions
Les conditions de compatibilit impliquent
(2.1.2)

= g

+g

dg

.
Nous avons ainsi dmontr la
Proposition 2.1.7. La connexion D est dtermine par une famille

de matrices

de
1-formes sur U

relies par (2.1.2) sur U

.
Remarque 2.1.8. On ne peut pas prendre

0 puisque (2.1.2) nest pas toujours vrie.

Par contre on peut le faire lorsque dg

= 0, cest--dire lorsque g

: U

GL(n) est
localement constante.
Dnition 2.1.9. Si le br : E B admet une description E =

R
n
/g

avec
dg

= 0, alors le br est dit plat. Dans ce cas, on peut dnir une connexion D = d avec des
cadres locaux plats.
Le crochet [ , ] stend aux connexions. Pour D =

i
ei, nous obtenons par exemple
[D, D] =

i,j
(
i

i
)[e
i
, e
j
].
Lemme 2.1.10. Toute connexion D vrie [D, [D, D]] = 0.
Dmonstration. Tout dabord
D
i
D
j
D
k
(X Y Z) =

()D
(i)
(X)D
(j)
(Y )D
(k)
(Z)
= D
i
(X)D
j
(Y )D
k
(Z) D
i
(X)D
k
(Y )D
j
(Z) D
j
(X)D
i
(Y )D
k
(Z)
D
k
(X)D
j
(Y )D
i
(Z) +D
j
(X)D
k
(Y )D
i
(Z) +D
k
(X)D
i
(Y )D
j
(Z).
En omettant la somme sur i, j, k et le symbole pour les 1-formes, nous obtenons
[D, [D, D]](X Y Z) = D
i
D
j
D
k
(X Y Z)[e
i
, [e
j
, e
k
]]
= D
i
D
j
D
k
(X Y Z)
_
[e
j
, [e
k
, e
i
]] + [e
k
, [e
j
, e
i
]]
_
=
_
D
j
(Y )D
k
(Z)D
i
(X) +D
j
(Z)D
k
(Y )D
i
(X) +D
j
(X)D
k
(Z)D
i
(Y )
+D
j
(Y )D
k
(X)D
i
(Z) +D
j
(X)D
k
(Y )D
i
(Z) +D
j
(Z)D
k
(X)D
i
(Y )
_
[e
j
, [e
k
, e
i
]]

_
D
k
(Z)D
j
(Y )D
i
(X) +D
k
(Y )D
j
(Z)D
i
(X) +D
k
(Z)D
j
(X)D
i
(Y )
+D
k
(X)D
j
(Y )D
i
(Z) +D
k
(Y )D
j
(X)D
i
(Z) +D
k
(X)D
j
(Z)D
i
(Y )
_
[e
k
, [e
i
, e
j
]]
= 2(D
j
(Y )D
k
(Z)D
i
(X) +D
j
(Z)D
k
(Y )D
i
(X) +D
j
(X)D
k
(Z)D
i
(Y )
+D
j
(Y )D
k
(X)D
i
(Z) +D
j
(X)D
k
(Y )D
i
(Z) +D
j
(Z)D
k
(X)D
i
(Y )
_
[e
k
, [e
j
, e
i
]]
= 2[D, [D, D]](X Y Z).
2.2 Existence de connexions et transport parallle 27
2.2. Existence de connexions et transport parallle
Soit : E B un br vectoriel ralis comme
E = (

R
n
)/g

.
Nous allons dcrire deux mthodes pour construire une connexion sur E. Ces deux mthodes
utilisent des connexions D

dnies sur E

U
, des trivialisations locales

: E

U
U

R
n
et une partition de lunit

subordonne au recouvrement U

. Ces deux connexions sont

dnies par :
(2.2.1) D
1
=

et D
2
=

La connexion D

est dnie sur E

U
en choisissant une connexion

D

sur U

R
n
puis en posant
D

=
1

, cest--dire D

(s) =
1

(s))).
Remarque 2.2.1. De faon gnrale, tant donns un isomorphisme de brs h : E F et
une connexion D sur F on dnit une connexion h

D sur E en posant h

D = h
1
D h.
Dans la dnition de D
2
, les termes de la somme sont de la forme
(

(s))(b) =

(b)D

(s)(b) =
_

(b)D

(s)(b) si b U

,
0 sinon.
Examinons maintenant la connexion D
1
. Nous avons
(D

)(s) = D

( (s)) = d

s +

(s),
donc
D
1
(s) = D
2
(s) +

s,
cest--dire D
1
D
2
=

Id. Remarquons que hors de U

on a d

= 0, puisque le support
de

est dans U

. La dirence entre D
1
et D
2
est instructive.
Remarque 2.2.2. La 1-forme D
1
D
2
est valeurs dans End(E).
Ceci illustre le fait gnral suivant.
Proposition 2.2.3. Si D
1
et D
2
sont deux connexions sur un br vectoriel : E B,
alors
D
1
D
2

0
(B, T

B End(E)) =
1
(B, End(E)).
Dmonstration. La dirence D
1
D
2
est linaire pour les constantes. Elle est galement linaire
pour les fonctions, puisque (D
1
D
2
)(fs) = (df s + fD
1
(s)) (df s + fD
2
(s)) = f(D
1

D
2
)(s).
Remarque 2.2.4. Pour un cadre local e

n
i=1
de E, une section de T

M End(E) est loca-

lement une matrice de 1-formes

. Au-dessus de U

, les matrices

et

sont relies par les

fonctions de transition :

= g

.
Si (D
1
D
2
)(fs) = f(D
1
D
2
)(s), alors la description locale aura galement cette proprit.
On a vu que D
1
D
2

1
(B, End(E)). Rciproquement, si
1
(B, End(E)) alors on peut
dnir (D
1
+)(s) = D
1
(s) +(s) ; cest en fait une connexion. Do la
28 Chapitre 2. Connexions
Proposition 2.2.5. Si /(E) est lespace des connexions sur E, alors /(E) = D
0
+

1
(B, End(E)) pour une connexion xe D
0
. Plus prcisment /(E) est un espace ane de
dimension innie et despace vectoriel sous-jacent
1
(B, End(E)).
Dnition 2.2.6. Pour une connexion D et un champ de vecteurs X, la drive covariante de
la section s le long de X est D
X
s. Ceci signie que localement D
X
s = d
X
s +((X))s
0
(B, E) ;
ainsi (D
X
s)(b) = (d
X
b
s) + (X
b
)s(b), cest--dire que la drive covariante ne dpend que de
X
b
T
b
B.
2.3. Sections parallles et quations direntielles
Soit D une connexion sur un br E B de rang n sur une varit B de dimension m.
Dnition 2.3.1. Une section s
0
(B, E) vriant Ds = 0 est dite parallle.
On peut lgitimement se demander sil existe une solution lquation Ds = 0. Pour un cadre
local, si s = (s
1
, . . . , s
n
)
t
et D = d + , alors la condition de paralllisme est ds
i
+

j

ij
s
j
= 0
pour tout i. Dans des coordonnes locales (x
1
, . . . , x
n
) sur B, cela revient rsoudre le systme
dquations
m

k=1
s
i
x
k
+ (
k
ij
s
j
)dx
k
= 0 pour tout i = 1, . . . , n
avec
ij
=
k
ij
dx
k
. Cest un systme dquations aux drives partielles pour lesquelles lexistence
de solutions nest pas garantie. Nous allons examiner un cas particulier dans lequel une solution
est possible.
tant donne une courbe dans B, examinons la section le long de la courbe s((t)). Rappelons
que lon obtient un champ de vecteurs le long de , not (t). Cest la vitesse du champ de vecteurs,
dnie par
(t)(f) =

f(())

=t
.
Examinons D

s, la drive covariante de s le long de (t) ; plus prcisment, tudions les solutions
de D

s((t)) = 0.
Lemme 2.3.2. Lquation D

s((t)) = 0 est (localement) un systme dquations diren-
tielles ordinaires linaires et du premier ordre.
Dmonstration. Pour un cadre e
i
de E, on peut crire D = d+ et s = (s
1
, . . . , s
n
)
t
. Les qua-
tions en jeu deviennent ds
i
+

j

ij
s
j
= 0. Ainsi D

s = 0 scrit d
(t)
s
i
+

j

ij
((t))s
j
((t)) = 0.
Mais d
(t)
s
i
= (t)(s
i
) =

s
i
(())

=t
. Posons s
i
(t) = s
i
((t)) et
ij
(t) =
ij
((t)). Alors

s
i
(t) +

ij
(t)s
j
(t) = 0 pour tout i = 1, . . . , n.
Par consquent, il y a une unique solution si lon spcie des conditions initiales s
i
(0) = s
i
((0)).
Cette solution est valide partout o (t) est dni et reste dans une carte. Si change de carte,
un petit argument permet de recoller les solutions. Finalement, la solution est une courbe dans E,
appele le relvement horizontal de et note
h
.
2.3 Sections parallles et quations direntielles 29
Remarque 2.3.3. On peut toujours relever un chemin de B E. Cependant, nous avons
construit un relvement trs spcial ayant certaines proprits de paralllisme. Ceci nous conduit
la :
Dnition 2.3.4. Le relvement horizontal dnit une application T
b
B T
e
E dexpression
X [(t)] [
h
(t)]

X
h
. Le champ de vecteurs

X
h
est dit relvement horizontal du vecteur
X. Limage H
e
de cette application est un sous-espace de dimension n de T
e
E, appel sous-espace
horizontal, complmentaire du sous-espace vertical V
e
= Ker(

: T
e
T
b
B) T
e
E.
chemin
e

b
e

1
(b)
1
(b

)
relvement
horizontal
Figure 2.1. Relvement horizontal dun chemin
Pour b, b

B, nous recherchons une faon de comparer les bres E

b
et E
b
au-dessus de b et b

respectivement. Soit : [0, 1] B un chemin tel que (0) = b et (1) = b

. Soit
h
le relvement
horizontal de tel que
h
(0) = e, comme illustr sur la gure 2.1. Alors la fonction e
h
(1)
dpend du choix du choix du chemin .
b
e
e

1
(b)
chemin
horizontal
relvement
Figure 2.2. Le relvement dun lacet nest forcment pas un lacet
Par exemple, si b = b

alors est un lacet de base b. Cependant rien noblige le relvement

horizontal
h
tre un lacet, comme illustr sur la gure 2.2. En fait
h
(1) = T
h
(0), o T
est une transformation linaire de la bre. Cette application linaire est appele la transformation
dholonomie ; elle correspond laction du groupe fondamental de la base sur un de ses revtements.
30 Chapitre 2. Connexions
Supposons que lon ait n solutions s
1
, . . . , s
n
de lquation Ds = 0 telles que la famille s
i

dnisse un cadre local au-dessus de U B. Alors pour tout e E

b
on peut crire e =

i
s
i
(b).
Posons s
e
=

i
s
i
. Considrons lapplication U B E dnie par s
e
ainsi que lapplication
(s
e
)

: T
b
B T
se(b

)
E induite sur les espaces tangents.
Lemme 2.3.5. s
e
(U) est une sous-varit de E passant en e. De plus (s
e
)

(T
b
B) = H
e

T
se(b

)
E.
Dmonstration. La premire partie du lemme est en fait vraie pour toute section. Plus prcis-
ment, si s : B E est une section alors s est localement de la forme x (x, (x)), cest--dire
R
m
R
m
R
n
. Considrons la matrice
s

=
_
Id
m
i
xj
_
.
des drives partielles de s. Le rang de s

est toujours m et donc limage de s est une sous-varit

de dimension m.
Pour X [(t)], on a (s
e
)

(X) [s
e
((t))]. Ainsi, il nous sut de vrier que s
e
((t)) est
un relvement horizontal. Mais cest vrai daprs la dnition de s. Par consquent, limage est
contenue dans H
e
et lapplication est injective via notre description locale. Il sensuit que les
dimensions concordent et lon obtient (s
e
)

(T
b
B) = H
e
. Nous avons ainsi dmontr que H
e
T
e
E
est un sous-espace m-dimensionnel.
Lensemble
H =
_
eE
H
e
TE
dnit une distribution. Puisque les n solutions s
i
de Ds = 0 sont linairement indpendantes, on
en dduit que H est une distribution intgrable (pour tout e E, il existe une sous-varit H
passant en e telle que TH = H
e
).
2.4. Obstruction lintgrabilit dans le cas dune section parallle
Rappelons qutant donne une section s
0
(B, E) parallle (cest--dire vriant Ds = 0)
dun br E B, nous avons :
1. s(B) est une sous-varit de E (vrai pour tout section).
2. T
s(b)
(s(B)) = s

(T
b
B) = H
s(b)
T
s(b)
E. Pour tout cadre parallle s
1
, . . . , s
n
(o n est
le rang du br), on obtient une telle sous-varit en chaque point. On appelle s(B) une
sous-varit intgrable pour H
s(b)
.
Par consquent, si nous avons des cadres parallles alors la distribution horizontale

eE
H
e
=
H TE est intgrable.
Remarque 2.4.1. Rciproquement, si la distribution horizontale H est intgrable alors il existe
une sous-varit intgrable en tout point. Par consquent une base e
i
(b) de E
b
peut stendre en
un cadre parallle local.
Tout ce qui suit repose sur le thorme de Frobnius. Soit T TM une distribution telle
que dim(T
x
) = d pour tout x. On peut se demander quelle condition T est une distribution
intgrable. Daprs le thorme de Frobnius, une condition dintgrabilit est que pour tous X,
2.4 Obstruction lintgrabilit dans le cas dune section parallle 31
Y T, le crochet de Lie [X, Y ] de X et Y est galement dans T. Nous dirons dans ce cas que T
est involutive.
Il existe une version plus pratique de cette condition, en termes de formes direntielles. Consi-
drons lidal I
D
annihilateur de T dans
1
T

M, ainsi que 1
D
= ; I
D
. Plus prcisment
I
D
=
1
T

M ; (X) = 0 pour tout X T.

Exemple 2.4.2. Si M = R
n
et T
x
= R

x1
T
x
M, alors 1
D
est engendr par
dx
1
, . . . , dx
n
.
La condition sur 1
D
correspondant linvolutivit de T est d1
D
1
D
; on dit alors que 1
D
est
un idal direntiel.
Le thorme de Frobnius arme en fait que les trois proprits suivantes sont quivalentes :
1. d1
D
1
D
.
2. T est involutive.
3. Pour tout x M, il existe une sous-varit intgrable passant en x; de plus si i : S M
alors i

(T
s
S) = T
x
, comme illustr dans la gure 2.3.
M
S
s
x
Dx
Figure 2.3. Sous-varit intgrable
An dappliquer ceci H TE, nous avons besoin de calculer 1
H
.
Lemme 2.4.3. Fixons des coordonnes locales (y
1
, . . . , y
n
) sur les bres. Alors 1
H
est engendr
par dy
i
+

j

ij
y
j
.
En fait (dy
i
+

j

ij
y
j
)
e
(X
h
) = 0 pour tout X
h
H
e
. Ceci dcoule du fait que X
h
[
h
(t)]
pour un relvement horizontal particulier
h
(t).
Examinons ce que signie d1
H
1
H
. On a d(dy
i
+
ij
y
j
) = d(
ij
y
j
) = (d
ij
)y
j

ij
dy
j
.
crivons dy
j
= (dy
j
+
jk
y
k
)
jk
y
k
. On peut dmontrer que d(dy
i
+
ij
y
j
) = (d + )y
j
modulo 1
H
. Par consquent, si d + est nulle alors d1
H
1
H
et la distribution horizontale
est intgrable.
Dnition 2.4.4. La matrice de 2-formes F
D
= F

= d + est appele courbure de D.

Lemme 2.4.5. Si les

sont des 1-formes de connexion pour une trivialisation locale U

et si F

= d

, alors F

dnit une section globale du br

2
T

B End(E). Par
ailleurs F
D
= F

, et ainsi F

= F
D
= F

0
(B,
2
T

M End(E)).
32 Chapitre 2. Connexions
Dmonstration. Soit e

i
un cadre local au-dessus de U

. Notons g

les fonctions de tran-

sition. Le diagramme suivant doit tre commutatif :
R
n
F

R
n
g

R
n
F

R
n
Dune part nous avons

= g

+ g

dg

. Dautre part g

= 1 implique dg

+
g

dg

= 0. Le calcul conscutif au remplacement de

par sa valeur dans F

= d

achve la dmonstration.
Une dnition alternative de la courbure dune connexion est F
D
= D
2
. Cependant elle n-
cessite de donner un sens D
2
. Dans la section suivante, nous construirons plus gnralement
D :
p
(B, E)
p+1
(B, E).
2.5. Courbure dune connexion
2.5.1. Gnralisation des notions de connexion et de courbure. Rappelons que la
courbure F
D
dune connexion D est dans
0
(B,
2
T

BEnd(E))
2
(B, End(E)). Si D = d+
pour un cadre local, alors F
D
sexprime localement sous la forme F
D
= d + .
Proposition 2.5.1. Une connexion D :
0
(E)
1
(E) sur E est lunique extension en
D :
p
(E)
p+1
(E) linaire et vriant D() = d+(1)
q
D pour tous
q
(B)
et
p
(E).
Lemme 2.5.2. Nous avons F
D
= D D = D
2
, cest--dire F
D
(s) = D(Ds) pour tout s

0
(B, E). Ici le second D est lextension de D
1
(B, E)
2
(B, E).
Dmonstration. Examinons
0
(E)
D

1
(E)
D

2
(E). Pour un cadre local e
i
pour E,
nous avons D = d + et toute section au-dessus de U

scrit s =

i
s
i
e
i
. Alors Ds =

i
(ds
i
+

j

ij
s
j
)e
i
, do
D(Ds) =

i
_
d
_
ds
i
+

ij
s
j
_
+

ik
_
ds
k
+

kj
s
j
_
_
e
i
=

i
_
_

j
(d
ij
)s
j

ij
ds
j
_
+
_

ik
ds
k
_
+
_

ik

kj
s
j
_
_
e
i
=

j
(d
ij
)s
j
e
i
+

j
_

ik

kj
_
s
j
e
i
= d(s) + (s).
Dans la suite

0
(E)
D

1
(E)
D

2
(E)
nous avons D
2
= F
D
,= 0 en gnral. Ainsi la courbure mesure lchec de la suite tre un complexe
( la dirence du complexe de Rham C

1
(M)
d

2
(M) dans lequel d
2
= 0).
Dnition 2.5.3. Une connexion D telle que F
D
= 0 est dite plate.
2.5 Courbure dune connexion 33
Si E admet une connexion D plate, alors on peut choisir un cadre local e

i
tel que De

i
= 0.
Ainsi

= 0, cest--dire D = d au-dessus de U

. Il sensuit que g

est constante. En dautres

termes
existence dune connexion plate existence dune structure plate.
Remarque 2.5.4. Mme si F
D
= 0, on peut quand mme avoir de lholonomie. Cependant, si
F
D
= 0 alors lholonomie ne dpend que du type dhomotopie des lacets. Dans ce cas, on obtient
une reprsentation du groupe fondamental
1
(B) de B dans GL(k, R), appele reprsentation
dholonomie et dnie par [] holonomie autour de .
Remarque 2.5.5. La rciproque est galement vraie ; plus prcisment, tant donne une re-
prsentation de
1
(B) dans GL(n, R) on obtient un br plat GL(n, R).
Voici une seconde interprtation de la courbure.
Proposition 2.5.6. Si X et Y sont deux champs de vecteurs sur B, alors
F
D
(X, Y ) = D
X
D
Y
D
Y
D
X
D
[X,Y ]
.
En particulier, si [X, Y ] = 0 alors F
D
(X, Y ) = D
X
D
Y
D
Y
D
X
. En clair F
D
mesure lchec de
D
X
et D
Y
commuter lorsque [X, Y ] = 0.
Dmonstration. Fixons b B. La courbure F
D
(X, Y ) se dcrit localement par F
D
(X, Y ) =
d(X, Y ) + (X, Y ). Pour des 1-formes et nous avons
(2.5.1)
d(X, Y ) = X((Y )) Y ((X)) ([X, Y ]) et ( )(X, Y ) = (X)(Y ) (Y )(X),
que nous appliquons d et an dobtenir
F
D
(X, Y ) = X(Y ) Y (X) ([X, Y ])
+(X)(Y ) (Y )(X).
Dautre part
D
X
(D
Y
s) = D
X
(d
Y
s +(Y )s) = d
X
(d
Y
s +(Y )s) +(X)(d
Y
s +(Y )s)
= X(Y (s)) +X((Y ))s +(Y )X(s) +(X)Y (s) +(X)(Y )s.
Donc
D
X
(D
Y
s) D
Y
(D
X
s) D
[X,Y ]
= X(Y (s)) +X((Y ))s +(Y )X(s) +(X)Y (s) +(X)(Y )s
Y (X(s)) Y ((X))s (X)Y (s) (Y )X(s) (Y )(X)s
d
[X,Y ]
s ([X, Y ])s
= X(Y (s)) Y (X(s)) d
[X,Y ]
s
+X((Y ))s Y ((X))s ([X, Y ])s
+(X)(Y )s (Y )(X)s
et la proposition est dmontre.
On vrie galement que
(2.5.2) F = dD +
1
2
[D, D].
34 Chapitre 2. Connexions
2.5.2. Identit de Bianchi. Si un br vectoriel E B admet une connexion plate D
(cest--dire telle que F
D
= 0), alors on peut choisir un cadre local e

i
sur U

tel que De

i
= 0
(

= 0). Si (t) est une courbe dans B vriant (0) = b, soit

e
(t) son relvement horizontal
passant en
e
(0) = e E
b
.
Remarque 2.5.7. Pour le cadre e

i
, on a
e
(t) =

i
(t)e

i
((t)) avec (

i
)

(t) +

ij
(

(t))

j
(t) = 0. Mais

ij
= 0, cest--dire (

i
)

(t) = 0. Par consquent

i
(t) est constante.
Soit maintenant (t) un lacet avec (1) = (0) = b. Lholonomie autour de (t) provient du fait
que
e
(1) nest pas forcment gal
e
(0) (puisque (t) nest pas toujours dimage contenue dans
un ouvert trivialisant U

).
Supposons que limage de (t) est contenue dans les ouverts trivialisants U
0
, U
1
, . . . , U
N
. Fixons
0 < t
1
< t
2
< < t
N+1
< 1 tels que (t

) U
1
U

pour = 1, . . . ,
N
et (t
N+1
) U
N
U
0
.
Supposons que

e
(0) =

0
i
e
0
i
(0),
e
(t
1
) =

1
i
e
1
i
(t
1
), . . .
e
(t

) =

i
e

i
(t

).
Alors la condition de relvement horizontal implique (t) =


0
i
e
0
i
(t) pour 0 < t t
1
( est
constant pour le cadre e
0
i
(t)). En t
1
on change pour le cadre e
1
i
(t), donc (t
1
) =

(g
10
ij

0
j
)e
1
j
(t
1
),
cest--dire (
1
i
) = g
10
ij

0
j
. Il sensuit que

= g
1

1
chaque changement. Donc aprs avoir fait le tour du lacet nous avons

0
;
_
g
0N
g
NN1
g
10

. .
T=holonomie

0
.
Si le lacet (t) reste dans un seul ouvert U

, alors (1) = (0). Il sensuit que lholonomie est

triviale.
Corollaire 2.5.8. Deux chemins homotopes produisent la mme holonomie. Ainsi, on obtient
une reprsentation dholonomie :
1
(B) GL(k).
Rciproquement, xons une reprsentation :
1
(B) GL(k). Construisons un br vectoriel
(plat) E B qui admet une connexion plate D produisant comme reprsentation dholonomie.
Soit p :

B B le recouvrement universel de B. Puisque le groupe fondamental
1
(B) agit sur

B, posons E =

B

R
n
=

B R
n
/
1
(B) avec (

b, v) (

b, ()v).
Proposition 2.5.9. Lapplication E B est un R
n
-br plat pouvant tre muni dune
connexion plate qui induit :
1
(B) GL(n) en tant que reprsentation dholonomie.
Remarque 2.5.10. Plus gnralement, pour tout reprsentation :
1
(B) G, on peut
vrier que P =

B

G est un G-br principal plat pouvant tre muni dune connexion plate.
Soit une connexion D sur un br vectoriel E B, de courbure F
D
. Supposons que localement
D = d + et F
D
= F

= d + au-dessus de U. Alors F

est une matrice de 2-formes sur U

et
dF

= d d = (F

) (F

) = F

.
En dautres termes F

satisfait lidentit de Bianchi

(2.5.3) dF

+ F

= 0.
2.6 Connexions induites 35
Si on pose [, F] = F

, alors cette galit devient

(2.5.4) dF

+ [, F] = 0.
Nous pouvons donner lidentit de Bianchi une description globale, savoir D(F
D
) = 0.
Cependant il nous faut dj dnir D(F
D
) = 0, ce qui ncessite un dtour par le domaine des
connexions induites. Lexplication surgira au dtour de la remarque 2.6.2.
2.6. Connexions induites
2.6.1. Connexion induite sur E
1
E
2
. Pour deux connexions D
i
sur E
i
(i = 1, 2), d-
nissons D

= D
1
D
2
de la faon suivante. Si localement D
i
= d +
i
, alors
D

= d +
_

1
0
0
2
_
avec somme directe des cadres. Plus prcisment, si s = s
1
s
2

0
(E
1
E
2
) alors D

(s
1
s
2
) =
D
1
(s
1
) D
2
(s
2
). Cest une connexion de courbure locale
F

=
_
F
1
0
0 F
2
_
.
2.6.2. Connexion induite sur E
1
E
2
. Pour deux connexions D
i
sur E
i
(i = 1, 2), posons
D

(s
1
s
2
) = D
1
(s
1
) s
2
+s
1
D
2
(s
2
), cest--dire
D

= D
1
I
2
+I
1
D
2
.
Cest une connexion de courbure
F

D
= F
1
I
2
+I
1
F
2
,
cest--dire F

D
(s
1
s
2
) = F
1
(s
1
) s
2
+s
2
F
2
(s
2
).
2.6.3. Connexion induite sur E

. Fixons une connexion D sur E B. On peut dnir

une connexion D

sur E

telle que si s

0
(E

) et t
0
(E), alors [s

(t)]
b
= s

b
(t
b
) est pour
tout b B une fonction lisse sur la base B. On peut ainsi prendre la direntielle
ds

(t) = (D

)(t) +s

(D(t)).
Construisons D

. Pour le cadre local e

i
de E, on a D = d +. De mme, pour le cadre local
dual e

i
de E

nous avons D

= d +

. Do
e

i
(b)(e
j
(b)) =
ij
, de

i
(e
j
) = 0, De
i
=
ji
e
k
, D

j
=

kj
e

k
.
Par consquent il est ncessaire que 0 = de

i
(e
j
) = (

ki
e

k
)(e
j
) + e

i
(
kj
e
k
) =

ji
+
ij
,
cest--dire

=
t
.
Rciproquement, on vrie que (

)
t
dnit une connexion sur E

.
36 Chapitre 2. Connexions
2.6.4. Connexion induite sur Hom(E
1
, E
2
) E
2
E

1
. En combinant les sous-sections 2.6.2
et 2.6.3, on peut obtenir une connexion sur E
1
E

2
Hom(E
2
, E
1
). Elle est dnie par
D = D
2
I
1
+I
2
D

1
.
Dcrivons-la directement. Donnons-nous h : E
1
E
2
et xons des bases e
(1)
i
et e
(2)
i
de
E
1
et E
2
respectivement. Dans ces bases, nous avons h = (h
ij
). Soit e
ij
= e
(2)
i
(e
(1)
j
)

. Alors
D(e
ij
) =
(2)
ki
e
(2)
k
(e
(1)
j
)

+e
(1)
i

(1)

kj
(e
(1)
k
)

=
(2)
ki
e
(2)
k
(e
(1)
j
)

(1)
jk
e
(2)
i
(e
(1)
k
)

.
Mais h =

h
ij
(e
(2)
i
(e
(1)
j
)

), o e
ij
est vue en tant que base de Hom(E
1
, E
2
) via (e
(2)
i

(e
(1)
j
)

)(s) = (e
(1)
j
)

(s)e
(2)
i
. On en dduit
D(h) =

(dh +
(2)
h h
(1)
)
ij
e
(2)
i
(e
(1)
j
)

,
cest--dire
D(h) = dh +
(2)
h h
(1)
en considrant h = (h
ij
) dans la base e
ij
.
Exemple 2.6.1. En particulier, si E
1
= E
2
= E alors Hom(E
1
, E
2
) = End(E). La connexion
D sur E induit une connexion D sur End(E) ayant la proprit suivante. Dans un cadre local, si
D = d + sur E et u
0
(End(E)) alors
D(u) = du +u u = du + [, u]
sur End(E).
Remarque 2.6.2. On peut utiliser lextension de D sur End(E) pour dnir la drive cova-
riante
D :
p
(End(E))
p+1
(End(E)).
Appliquons cette drive covariante F
D

2
(End(E)) pour calculer D(F
D
). Dans un cadre local
on a D(F

) = dF

+ [, F

] avec D = d + . Ainsi lidentit de Bianchi arme que D(F

D
) = 0.
Nous avons ainsi la clef pour comprendre la n de la sous-section 2.5.2.
2.6.5. Connexion induite sur un br tir en arrire. Construisons une connection sur
f

(E) via
E

X
f

B
Soient D une connexion sur E et e

i
un cadre local de E au-dessus de U

. Soit f

(e

i
) le cadre
de f

(E) tir en arrire au-dessus de f

1
(U

), dni par f

(e

i
)(x) = e

i
(f(x)). Supposons que
D = d +

selon e

i
.
Lemme 2.6.3. f

) dnit une 1-forme de connexion sur f

1
(U

) (pour le cadre f

(e

i
)).
Dmonstration. tant donn un champ de vecteurs Y sur f
1
(U

) X, on a f

x
)(Y ) =

f(x)
(f

Y ). Plus prcisment, on dnit la connexion f

(D) sur f

(E) de sorte avoir

f

(D
Y
)(f

s) = D
fY
(s).
2.7 Connexions induites 37
Une connexion sur E nous fournit une connexion sur End(E) = Hom(E, E) E E

. Pour un
choix de cadre local, on a vu que D(h) = dh + [, h].
On peut dmontrer que si h
0
(End(E)) et s
0
(E), alors D(hs) = D(h)s + hD(s).
Ici D(h)
1
(End(E)) et D(s)
1
(E). Le long dun champ de vecteurs V
0
(TB), on a
galement
D
V
(hs) = D
V
(h)(s) +hD
V
(s).
Lemme 2.6.4. Si s
0
(E), V
0
(TX) et f

(V ) = W
0
(TB), alors
f

(D)
V
(f

s) = f

(D
W
(s)).
En outre f

(D) est lunique connexion sur f

(E) ayant cette proprit.

Considrons le cas X =]a, b[ pour la courbe : ]a, b[ B. Alors

(E) est la restriction de E

(t). Une section s
0
(

(E)) est une section de E le long de , cest--dire un relvement de

E. Le champ de vecteurs vitesse de (t) est

(
d
dt
) = (t).
Dnition 2.6.5. Eectuons un changement de notations pour ce cas particulier :

(D) d
dt
( s(t)) =
D
dt
s(t). Alors
D
dt
s(t) = D

s(t) est la drive covariante le long du champ de vecteurs vitesse de .
Remarquons que s(t) est un relvement horizontal si et seulement si s(t) est parallle selon

(D) (en tant que section de

(E)).
Remarque 2.6.6. Dune manire gnrale, les sections f

(E) ne sont pas toutes de la forme

f

(s) pour une section s de E. Par exemple, si lon a x

1
,= x
2
tels que f(x
1
) = f(x
2
) et si s

est
une section de f

(E) telle que s

(x
1
) ,= s

(x
2
), alors s

nest le tir en arrire daucune section de

E.
la dirence de la remarque ci-dessus, si h : E E

est un isomorphisme de brs vectoriels

au-dessus de B
E
h

@
@
@
@
@
@
@
F
~
~
~
~
~
~
~
B
alors on obtient une bijection (linaire)
0
(E)
0
(E

) de faon naturelle. Ainsi on peut dnir

une connexion h

(D

) = h
1
D

h sur E, cest--dire h

(D

)(h
1
(s)) = h
1
(D

(s)).
Si e
i
et e

i
sont deux cadres locaux pour E et E

respectivement, alors h

(D

)(e
i
) =
h
1
D

(h
ji
e

j
). On vrie que
h

(D

) = d +h
1

h +h
1
dh, F
h

(D

)
= h
1
F

h,
o F

est la 2-forme courbure pour

.
Si lon identie E et E

, nous avons une connexion induite sur End(E). On peut dmontrer que
h

D = h
1
Dh = D +h
1
D(h), o le second D est la connexion induite.
38 Chapitre 2. Connexions
2.7. Connexions mtriques
2.7.1. Dnition et premires proprits. Supposons le br E B muni dune m-
trique , ).
Dnition 2.7.1. Une connexion D est dite compatible avec la mtrique , ) si pour tous
s, t
0
(E) nous avons
ds, t) = Ds, t) +s, Dt).
On parle parfois de connexion orthogonale.
Remarque 2.7.2. Pour s, t
0
(E), on dnit une fonction s, t) (de classe C

sur B) en
posant s, t)(b) = s(b), t(b)). De plus , ) :
0
(E)
0
(E) C

(B) est bilinaire. On peut

ltendre en une application
1
(E)
0
(E)
1
(B) en posant
s, t) s, t).
En fait, on peut mme ltendre en une application
p
(E)
q
(E)
p+q
(B) en posant
s, t) ( )s, t).
Dnition 2.7.3. Soit E un br complexe muni dune mtrique hermitienne , ). Une
connexion D est dite compatible avec le produit hermitien ou unitaire si pour tous s, t
0
(E)
nous avons
ds, t) = Ds, t) +s, Dt).
Soit e
i
un cadre local pour E tel que e
i
, e
j
) =
ij
. Supposons que dans ce cadre local
D = d +. Alors
0 = de
i
, e
j
) =
ki
e
k
, e
j
) +e
i
,
kj
e
k
) =
ki

ki
+
kj

kj
.
Par consquent
ji
+
ij
= 0. Ceci signie que pour une connexion orthogonale, la 1-forme
connexion est anti-symtrique pour un cadre orthogonal.
Remarque 2.7.4. Dans le cas complexe, on obtient
ji
+
ij
= 0 en utilisant un produit
hermitien. Pour une connexion unitaire sur un br complexe, une 1-forme connexion prend ses
valeurs dans u(n) lorsquon la calcule dans un cadre unitaire.
Remarque 2.7.5. On peut raliser E en tant que O(k)-br principal associ. Le rsultat ci-
dessus dcoule alors du fait quune 1-forme connexion sur un G-br principal prend ses valeurs
dans Lie(G).
Un calcul direct dmontre que F

= d + vrie F

+ F
t

= 0, toujours dans un cadre

orthogonal. Ainsi pour deux champs de vecteurs X, Y TB, le morphisme de brs F(X, Y ) :
E E est une isomtrie, cest--dire F(X, Y ) est valeurs dans O(n).
2.8 Connexions sur le br tangent et godsiques 39
2.7.2. Une description alternative de la condition de compatibilit. Un br m-
trique , ), peut tre vu comme une section de E

. Pour un espace vectoriel V , le produit

scalaire , ) : V V R est quivalent une application V V

, donc une section de
Hom(E, E

) E

.
tant donn un cadre local e
i
de E, on dnit
H =

H
ij
e

i
e

j
avec H
ij
= e
i
, e
j
), de sorte avoir H(s, t) = s, t). Pour une connexion D sur E, on obtient une
connexion induite sur E

encore note D. Ainsi, on peut calculer D(H).

Les deux assertions suivantes sont quivalentes :
1. ds, t) = Ds, t) + s, Dt).
2. D(H) = 0.
La seconde condition ci-dessus est parfois appele condition de covariance constante. Plus prcis-
ment, on dit que H est une constante covariante si D(H) = 0.
2.8. Connexions sur le br tangent et godsiques
Rappelons que TM M est un br vectoriel de rang n = m = dim(M). Choisissons une
connexion
D :
0
(TM)
0
(T

M TM) =
1
(TM).
Les sections de TM sont les champs de vecteurs. Dans ce cas D
X
(s) est la drive covariante le
long du champ de vecteurs X de la section s. Mais X et s sont tous deux des champs de vecteurs.
Lorsque lon parle de connexions sur le br tangent, on utilise le symbole , plutt que D. Comme
prcdemment F

2
(End(TM)) et F

(X, Y ) : TM TM pour tous X, Y

0
(TM).
Dans un cadre e
i
, une connexion sexprime sous la forme D = d + pour une matrice
de 1-formes. crivons
=
n

k=1

k
dx
k
dans les coordonnes (x
1
, . . . , x
n
), o
k
= (
k,ij
)
ij
est une matrice (application sur les bres de
E). Pour E = TM on peut prendre
_

x
i
_
n
i=1
pour cadre local au-dessus de la carte dans laquelle les coordonnes sont (x
1
, . . . , x
n
). Il sensuit
que

_

x
i
_
=

ji,k
dx
k

x
i
.
On note ceci sous la forme

_

x
i
_
=
k
ji
dx
k

x
i
,
o les
k
ji
sont les symboles de Cristofell. Pour ajouter la confusion, la courbure de est note
.
Un relvement TM dune courbe (t) dans M est un champ de vecteurs le long de (t). Pour
un tel relvement (t), on peut calculer la drive covariante
(t)
(t) selon (t) le long de (t).
Mais pour notre relvement (t), on peut tout simplement prendre (t).
40 Chapitre 2. Connexions
Dnition 2.8.1. On dit que (t) est une godsique si
(t)
(t) = 0. Ceci signie que le
champ de vecteurs vitesse

(t) est constant covariant.
Dans les coordonnes locales (x
1
, . . . , x
n
), notons (x
1
(t), . . . , x
n
(t)) les composantes de la courbe
(t). Puisque = d +
k
ij
dx
k
, la condition de godsicit donne lieu un systme dquations
direntielles ordinaires
x
k
(t) +
k
ij
(t) x
i
(t) x
j
(t) = 0.
Une consquence de lexistence et de lunicit de la solution de cette quation direntielle implique
que pour tout vecteur v T
x
M, il existe une unique courbe godsique
v
(t) avec
v
(0) = x et

v
(0) = v. Cette godsique vrie
v
(t) =
v
(t) pour toute constante (encore une consquence
de lunicit).
Corollaire 2.8.2. Soit u T
x
M un vecteur unitaire (pour une mtrique riemannienne). Pour
assez petit, la godsique
u
(t) est dnie en t = 1. Dnissons une application T
x
M M
sur un voisinage de 0 T
x
M en posant v
v
(1). Cette application est appele exponentielle et
note exp(v).
Un rsultat de gomtrie riemannienne nous assure du fait que lexponentielle ralise un dif-
fomorphisme entre un voisinage de 0 dans T
x
M et un voisinage de x dans M. La dmonstration
repose sur le thorme des fonctions implicites. On vrie que la direntielle de lapplication
D
0
(exp) : T
0
(T
x
M) T
x
M est lidentit.
Ceci dnit des coordonnes godsiques.
Lemme 2.8.3.
k
ij
sannule en x dans les coordonnes godsiques.
Ide de la dmonstration. Pour v T
x
M, on commence par valuer (
k
ij
dx
k
)(v) en utilisant la
godsique
v
(t) le long de v . Puis on utilise lquation godsique en remarquant que dans les
coordonnes godsiques
v
(t) = tv = (x
1
(t), . . . , x
n
(t)).
2.9. Torsion dune connexion sur le br tangent
2.9.1. Dnition et premires proprits.
Dnition 2.9.1. La torsion dune connexion sur le br tangent TM dune varit M de
dimension n est le champ de tenseurs dni par
(X, Y ) =
X
Y
Y
X [X, Y ]
0
(
2
(T

M) TM)
pour tous champs de vecteurs X, Y TM.
Il nest pas du tout clair que est bien un lment de
0
(
2
(T

M) TM). En fait (X, Y )

b
ne dpend que des valeurs de X
b
et Y
b
. Ceci prouve que
b

2
T

b
M T
b
M. On vrie que si f
est une fonction, alors (fX, Y ) = f(X, Y ).
Que mesure la torsion ? Pour les cadres

xi
pour TM et dx
i
pour T

M, on constate que

_

x
i
,

x
j
_
=
x
i
_

x
j
_

x
j
_

x
i
_
= (
k
ji

k
ij
)

x
k
.
Donc scrit
=
k
ij
dx
i
dx
j


x
k
2.9 Torsion dune connexion 41
avec
ij
=
k
ij

k
ji
. Si = 0, alors la connexion a des symboles de Christoel symtriques.
Remarque 2.9.2. tant donne une connexion , si ,= 0 alors on peut modier an
dobtenir une nouvelle connexion

vriant = 0. La modication est dnie comme suit. Nous
avons
1
(End(TM)) =
0
(T

M End(TM)) et
T

M End(TM) T

M (TM

TM) (T

M TM

) TM.
Puisque
2
(T

M) T

M TM

, la torsion vrie
1
(End(TM)). Alors la connexion

=

1
2
est de torsion nulle.
2.9.2. Connexion de Levi-Civita. Soit g une mtrique sur le br tangent TM dune
varit M. On peut demander ce quune connexion sur TM M soit compatible avec la
mtrique. Daprs notre discussion sur les connexions orthogonales, ceci sexprime par la condition
g = 0.
Proposition 2.9.3. Soit g une mtrique sur le br tangent TM dune varit M. Il existe
une unique connexion, appele connexion de Lvi-Civita et note
lc
, sans torsion et vriant

lc
g = 0.
Dmonstration. Plaons-nous dans des coordonnes locales x
1
, . . . , x
n
. crivons g =

g
ij
dx
i
dx
j
dans le cadre local dx
i
pour T

M. En posant

k
ij
=
1
2
g
1
k
(g
j,i
g
ij,
+g
i,j
)
avec g
j,i
=

xi
(g
j
), nous obtenons la connexion dsire.
Lemme 2.9.4. On a Alt(
lc
) = d, o Alt est loprateur forme alterne .
CHAPITRE 3
CLASSES CARACTRISTIQUES DUN FIBR VECTORIEL
3.1. Classes caractristiques dun br vectoriel
3.1.1. Motivation. Rappelons que pour tout br vectoriel E B de rang n, nous avons
une connexion D :
0
(E)
1
(E) avec D(fs) = df s + fDs. Dans un cadre local e
i
, une
section a pour expression s =

s
i
(x)e
i
(x) (s
1
, . . . , s
n
)
t
et D = d +. Ainsi
Ds = d(s
1
, . . . , s
n
)
t
+(s
1
, . . . , s
n
)
t
.
La connexion stend pour dnir un drive covariante
0
(E)
D

1
(E)
D

2
(E)
D
. La
courbure de D est F = D
2
et a pour expression F

= d + dans un cadre local.

Nous allons construire les classes caractristiques dun br vectoriel E B comme lments
de H

(B) ; on se restreint des classes dans H

(B, R) ou H

(B, C) puisquelles seront obtenues

partir de formes direntielles. Il y a deux approches pour construire les classes caractristiques :
1. (Abstraite) laide du br universel et de lespace classiant, on peut crire
f

(EG) = E

EG

B
f

BG
Il sut ensuite de dnir les classes caractristiques pour EG BG et den prendre limage
rciproque.
2. (Plus concrte) Utilisons la courbure dune connexion. On sait que localement F

est une
matrice de 2-formes. Ainsi pour une fonction polynomiale P sur les matrices, on peut calculer
P(F

) et obtenir une forme direntielle. Si cette forme est ferme, nous obtenons une classe
[P(F

)] dans la cohomologie de B. Si de plus cette classe est indpendante du choix (de la

connexion et du cadre local), alors la classe est caractristique du br.
Nous tudierons ici la seconde approche. Nous avons besoin de :
1. Comprendre quels P conviennent.
2. Vrier que les formes P(F

) sont fermes (sous-section 3.1.3).

3. Dmontrer que [P(F

)] H

(B, R) est indpendent du cadre local (sous-section 3.1.2) et

de la section D (sous-section 3.1.4).
44 Chapitre 3. Classes caractristiques
4. Prouver quelles sont caractristiques (sous-section 3.1.5), au sens o des brs isomorphes
ont mmes classes caractristiques . Plus gnralement, nous verrons que les classes se com-
portent de faon naturelle sous les morphismes de brs. Plus prcisment si
E
h

B
f

(de sorte que E f

(E

)), alors f

(classes de E

dans H

(B

)) = classes de E dans H

(B).
Nous appellerons classe caractristique la classe de cohomologie P(E) = [P(D)] pour nimporte
quelle connexion D de E, pour un polynme P convenable x. Le choix du type de polynme
amne aux classes de Chern (sections 3.2 et 3.4), de Todd (section 3.3), de Pontrjagin (section 3.5)
et dEuler (section 3.6).
3.1.2. Indpendance par rapport au cadre. Soient

une 1-forme connexion et F

une 2-forme courbure locales dans e

i
; de mme, soient

une 1-forme connexion et F

une
2-forme courbure locales dans e

i
. Les fonctions de transition dans le cadre local sont notes
g

: U

G. Ici G est le groupe de structure du br ; cest par exemple GL(n, R) ou O(n)

dans le cas de brs rels et GL(n, C) ou U(n) dans le cas de brs complexes. Ainsi e

i
= (g

)
ji
e

j
et F

= g

. Supposons que lon ait une fonction polynomiale

P : Mat
n
R (ou C).
Par abus de langage, nous emploierons le terme de polynme pour P. Pour que P(F

) soit
indpendant du cadre local, il nous faut vrier que P(A
1
BA) = P(B) pour tout A G.
Exemple 3.1.1. Voici des polynmes classiques sur les matrices :
A det(A) =

(1)
||
A
1(1)
A
n(n)
(degr n)
A Tr(A) =

i
A
ii
(degr 1)
A Tr(A
2
) =

i,j
A
ij
A
ji
(degr 2)
.
.
.
Remarque 3.1.2. On peut galement dnir P(A) pour A valeur dans les formes quelconques
laide du produit extrieur.
Dnition 3.1.3. Soit P : Mat
n
C un polynme. Si P(A
1
BA) = P(B) pour tout
A GL(n, C), on dit que P est un polynme GL(n, C)-invariant.
Remarque 3.1.4. La classication de tous ces polynmes est fondamentale dans la thorie des
classes caractristiques.
Par consquent, si P est un polynme GL(n)-invariant et F

une description locale de la cour-

bure, alors P(F

) est une forme globale sur B bien dnie et note P(D). De plus P(F

)
2m
(B)
si m = deg(P).
3.1 Classes caractristiques dun br vectoriel 45
3.1.3. Les formes sont fermes. La dmonstration du thorme suivant est lobjet de cette
sous-section.
Thorme 3.1.5. Soient P un polynme GL(n)-invariant et D une connexion sur un br
vectoriel E B. Alors dP(D) = 0.
Supposons que P(F) est homogne de degr m.
Lemme 3.1.6. Il existe une application multi-linaire et symtrique Mat
n
Mat
n

F dnie par (A
1
, . . . , A
m
) P(A
1
, . . . , A
m
) et appele polarisation de P, telle que P(A) =
P(A, . . . , A).
Plus prcisment, dveloppons P(

m
i=1
t
i
A
i
). Alors la polarisation de P est
P(A
1
, . . . , A
m
) =
1
m!
( coecient du terme en t
1
t
m
).
Exemple 3.1.7. Si P(A) = Tr(A
2
), alors P(A
1
, A
2
) =
1
2
Tr(A
1
A
2
+A
2
A
1
) puisque Tr(t
1
A
1
+
t
2
A
2
)
2
= t
2
1
Tr(A
2
1
) +t
1
t
2
Tr(A
1
A
2
+A
2
A
1
) +t
2
2
Tr(A
2
2
).
*****A REVOIR EN UTILISANT LE LEMME 10 DE MICHELE VERGNE*****
Ainsi
dP(F) = d(P(F, . . . , F))
= P(dF, F, . . . , F) +P(F, dF, F, . . . , F) + +P(F, . . . , F, dF)
= mP(dF, F, . . . , F).
Mais lidentit de Bianchi implique dF + [, F] = 0, donc dF = [, F] = [F, ]. Do
dP(F) = mP([, F], F, . . . , F).
An dvaluer dP(D) en x
0
B, plaons-nous dans un cadre convenable.
Lemme 3.1.8. On peut choisir un cadre tel que (x
0
) = 0.
Dmonstration du lemme 3.1.8. Supposons que D = d+ et (x
0
) ,= 0 dans un cadre local e
i

dni sur U. Soit e

i
= h
ij
e
j
un autre cadre, o (h
ij
) : U GL(n). Alors

= h
1
h+h
1
dh
dans e

i
. Supposons que lon puisse trouver une matrice h
ij
telle que
(3.1.1)
_
h(x
0
) = I,
dh(x
0
) = (x
0
).
Alors

(x
0
) = (x
0
) (x
0
) = 0, et le lemme est dmontr. Nous devons ainsi trouver h : U
GL(n) ayant les deux proprits (3.1.1). Plaons-nous dans des coordonnes locales (y
1
, . . . , y
n
)
dans lesquelles x = (0, . . . , 0). Dnissons h(y) = I y
i

i
avec =

i
dy
i
. Alors dans un
voisinage convenable de 0 nous avons det(h(y)) ,= 0, cest--dire h(y) GL(n).
Le lemme 3.1.8 nous permet darmer que
dP(D) = 0,
et le thorme 3.1.5 est dmontr.
46 Chapitre 3. Classes caractristiques
3.1.4. Indpendance par rapport la connexion. La dmonstration du thorme suivant
est lobjet de cette sous-section. Son principe est d Quillen.
Thorme 3.1.9. Soit P une fonction polynomiale GL(n)-invariante de degr m sur un br
vectoriel E B. Si D
0
et D
1
sont deux connexions, alors [P(D
0
)] = [P(D
1
)] dans H

(B) ; plus
prcisment, il existe une forme TP(D
0
, D
1
) telle que P(D
0
) P(D
1
) = d(TP(D
0
, D
1
)).
Dnissons
D
t
= tD
1
+ (1 t)D
0
(t [0, 1]).
Cest une connexion pour tout t [0, 1], puisque si D
1
= D
0
+ avec
1
(End(E)) alors
D
t
= D
0
+(t) = D
0
+
t
. Soient

et F

t
les expressions de et F
t
dans un cadre local. Ainsi

est une matrice de 1-formes et F

t
est une matrice de 2-formes.
Remarque 3.1.10. P(

, F

t
, . . . , F

t
) est bien dnie pour tout expression locale ; cest une
(2m1)-forme.
On a
(3.1.2) P(D
1
) P(D
0
) =
_
1
0
d
dt
P(F
t
, . . . , F
t
) dt et
d
dt
P(F
t
, . . . , F
t
) = mP(

F
t
, F
t
, . . . , F
t
).
La connexion D
t
= D
0
+t a pour courbure F
t
= D
t
D
t
= D
2
0
+t(D
0
+D
0
) +t
2
. En fait,
on peut dmontrer que
F
t
= D
0
+tD
0
+ t
2
.
Lemme 3.1.11. Posons TP(D
0
, D
1
) = m
_
1
0
P(, F
t
, . . . , F
t
) dt et = D
1
D
0
. Alors
(3.1.3)
_
1
0
d
dt
P(F
t
, . . . , F
t
) dt = d(TP(D
0
, D
1
)).
Une fois que nous aurons dmontr ce lemme, alors en comparant (3.1.2) et (3.1.3) nous aurons
le thorme 3.1.9.
Remarque 3.1.12. Puisque
1
(End(E)), on peut valuer P(, F
t
, . . . , F
t
) en xant un
cadre local et en utilisant une expression locale de et F
t
. Daprs linvariance de P et les proprits
de transformation des sections de End(E), lexpression P(, F
t
, . . . , F
t
) est indpendante du cadre
local.
Dmonstration du lemme 3.1.11. Supposons que selon un cadre local
D
0
= d +
0
, D
1
= d +
1
, =
1

0
.
Alors D
t
= d +
0
+t = D +
t
pour
t
=
0
+t. Donc
F
t
= d
t
+
t

t
et

F
t
= d
t
+
t

t
+
t

t
.
An dvaluer P(

F
t
, F
t
, . . . , F
t
) en (t
0
, x
0
), xons un cadre local tel que
t0
(x
0
) = 0. Rappelons
que lidentit de Bianchi nous assure galement de la nullit de dF
t0
(x
0
). En x
0
, on obtient

F
t0
= d
t0
= d.
Par consquent
_
1
0
d
dt
P(F
t
, . . . , F
t
) dt = m
_
1
0
P(d, F
t
, . . . , F
t
) dt .
3.2 Classes de Chern dun br vectoriel complexe 47
Puisque P est multi-linaire, nous obtenons
dP(, F
t0
, . . . , F
t0
) = P(d, F
t0
, . . . , F
t0
) + (m1)P(, dF
t0
, . . . , F
t0
).
Lvaluation dans le cadre spcial dcrit ci-dessus implique d(P(, F
t0
, . . . , F
t0
)) = P(d, F
t0
, . . . , F
t0
),
do
_
1
0
d
dt
P(F
t
, . . . , F
t
) dt = d
_
m
_
1
0
P(, F
t
, . . . , F
t
) dt
_
.
Exemple 3.1.13. 1. Si P
1
(A) = Tr(A), alors P(D
1
) P(D
0
) = d
_
1
0
Tr() dt = d Tr().
2. Si P
2
(A) = Tr(A
2
), alors TP
2
(D
0
, D
1
) = d
_
1
0
Tr(F
t
+F
t
) dt = 2d
_
1
0
Tr(F
t
) dt.
3.1.5. Naturalit et homomorphisme de Chern-Weil. Lensemble I
GL
n
des polynmes
GL
n
-invariants sur Mat
n
est muni dune structure danneau pour laddition et la multiplication,
do un morphisme danneaux I
GLn
H

(B; F) dni par P [P(E)] et appel homomorphisme

de Chern-Weil.
Remarque 3.1.14. Si E admet une connexion plate (cest--dire une connexion D telle que
F
D
= 0), alors [P(E)] = 0 pour tout P. Puisque tout br trivial vrie [P(E)] = 0 et quil existe
des brs plats non triviaux, il existe des brs ayant mme classes caractristiques mais qui sont
pas isomorphes.
Soient E

un br et f : B B

une application lisse. Le br f

(E

) = E B
satisfait au diagramme
E

B
f

Pour tout polynme GL

n
-invariant P, nous avons [P(E)] H

(B; F) et [P(E

)] H

(B

; F) ;
vrions que ces deux classes sont relies, cest--dire [P(E)] = f

[P(E

)]. tant donne une

connexion D

sur E

, dnissons la connexion tire en arrire D = f

(D

) sur E. Puisque F =
f

(F

), on obtient [P(E)] = f

[P(E

)] par dnition.
3.2. Classes de Chern dun br vectoriel complexe
3.2.1. Dnition et premires proprits. Rappelons qutant donn un br vectoriel
E B et un polynme GL
n
-invariant P, on peut dnir des classes de cohomologie [P(E)]
H

(B; F) (pour F = R ou F = C).

tudions de faon plus systmatique les polynmes GL(n, C)-invariants. La question est de
dterminer des conditions sur les polynmes P : Mat(n, C) C invariants sous la conjugaison
par des lments de GL(n, C).
Considrons lensemble des matrices diagonalisables DIAG = A Mat(n, C) ; A est diagonalisable =
gAg
1
; A diagonale et g GL(n, C). Si P est un polynme GL(n, C)-invariant et A DIAG,
48 Chapitre 3. Classes caractristiques
alors par dnition
P(A) = P
_
_
_
_
_
_
_
_
_
_

1
0 0
0
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
n1
0
0 0
n
_
_
_
_
_
_
_
_
_
_
o les
i
sont les valeurs propres de A. Ainsi P ne dpend que des
i
, et sera not P(
1
, . . . ,
n
).
Lemme 3.2.1. P(
1
, . . . ,
n
) est une fonction symtrique en les
i
ds que A est diagonali-
sable.
Dmonstration. En conjugant soigneusement dans GL(n, C), on peut permuter les
i
. Puisque
P est invariant par chacune de ces conjugaisons, il doit tre invariant par permutation des
i
.
Exemple 3.2.2.
_

1
0
0
2
_
=
_
0 1
1 0
__

2
0
0
1
__
0 1
1 0
_
.
Les polynmes symtriques sont engendrs par les polynmes symtriques lmentaires

0
(
1
, . . . ,
n
) = 1,

1
(
1
, . . . ,
n
) =
n

i=1

i
,

2
(
1
, . . . ,
n
) =

i=j

j
,
.
.
.

n
(
1
, . . . ,
n
) =
1

2

n
.
Plus prcisment, tout polynme symtrique peut scrire Q(
0
(
1
, . . . ,
n
), . . . ,
n
(
1
, . . . ,
n
))
pour un polynme Q.
Exemple 3.2.3.
n

i=1

2
i
= (
n

i=1

i
)
2
2(

i=j

i
) =
2
1
2
2
.
Remarque 3.2.4. Soit
P(A) = det(I+A) = det
_
_
_
_
_
_
_
_
_
_
1 +
1
0 0
0 1 +
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 1 +
n1
0
0 0 1 +
n
_
_
_
_
_
_
_
_
_
_
=
n

i=1
(1+
i
) = 1+
1
+ +
n
.
Alors les
i
sont les composantes homognes de P(A).
Jusquici, le corps de base (R ou C) est indirent.
3.2 Classes de Chern dun br vectoriel complexe 49
Dnition 3.2.5. Les classes de Chern du br vectoriel complexe E sont dnies par c
k
(E) =
[
k
(
i
2
F)], o F est la courbure dune connexion D sur E. Ce sont les composantes homognes de
la classe de Chern totale c(E) = [det(I +
i
2
F)]. La classe c
k
(E) est dite k-ime classe de Chern
de E.
Il nous reste comprendre pourquoi on peut se ramener aux matrices diagonalisables. Cest le
point de divergence entre les cas rel et complexe.
1. Lensemble des matrices diagonalisables est dense dans lespace des matrices. Si A Mat
n
,
alors il existe une suite de matrices A
i
DIAG telles que A
i
i
A. Puisque les polynmes
invariants sont des fonctions continues, on peut valuer P(A
i
)
i
P(A).
2. Tout br complexe E B peut tre muni dun produit scalaire hermitien. Ainsi, on
peut choisir une connexion compatible D et donc de courbure F anti-hermitienne (cest--
dire F + F

= 0). Un rsultat gnral dalgbre arme que si AA

= A

A, alors A est
diagonalisable. Par consquent F est diagonalisable.
On peut donc se restreindre aux matrices diagonalisables lorsque lon veut valuer c
k
.
Une matrice A u(n) = Lie(U(n)) est diagonalisable dans une base unitaire (cest--dire conju-
gue par T U(n)), donc nous pouvons restreindre notre tude aux polynmes U(n)-invariants
sur u(n).
Lemme 3.2.6. Les classes de Chern sont des classes de cohomologie relle, cest--dire c
j
(E)
H
2j
(B, R). Plus prcisment, pour tous X
1
, . . . , X
2j

0
(TB) on a c
j
(E)(X
1
, . . . , X
2j
) R.
Dmonstration. Si F +F

= 0, alors
i
2
F = (
i
2
F)

. Donc det(I +
i
2
F) = det(I +
i
2
F). Par
consquent c
j
(E) = c
j
(E) pour tout j. De faon explicite, si c
j
(E) = [

I
dx
i1
dx
i2j
] alors

I
=
I
.
Remarque 3.2.7. Nous avons incorpor des facteurs
1
2
an que les classes c
k
(E) soient
valeurs entires, cest--dire c
k
(E) H
2k
(B; Z) (admis).
Exemple 3.2.8. Pour un br en lignes P
1
, la bre

[z0,z1]
au-dessus de [z
0
, z
1
] est la
ligne passant par (z
0
, z
1
). On a c
0
() = det(I) = 1 et c
1
() = Tr(
i
2
F) =
i
2
F H
2
(P
1
, R). (Dune
manire gnrale c
j
(E) est dnie pour j min(
1
2
dim(B), Rang(E)).) Nous dmontrerons plus
loin que
_
P
1
c
1
() = c
1
() [P
1
] = 1.
Proposition 3.2.9. Nous avons
c
0
(A) = det I = 1,
c
1
(A) = Tr
_
i
2
A
_
,
.
.
.
c
n
(A) = det(A).
50 Chapitre 3. Classes caractristiques
Esquisse de la dmonstration. Si lon fait le calcul pour I +
i
2
A diagonale avec
I +
i
2
A =
_
_
_
1 +x
1
.
.
.
1 +x
n
_
_
_
o x
i
=
i
2

i
et o les
i
sont les valeurs propres de A, alors
det
_
I +
i
2
A
_
=
n

i=1
(1 +x
i
) = 1 +

i
x
i
+

i=j
x
i
x
j
+ +
n

i=1
x
i
.
Il sensuit que
det
_
I +
i
2
F
_
= 1 + Tr
_
i
2
F
_
+ + det
_
i
2
F
_
.
3.2.2. Caractre de Chern. Dnissons le caractre de Chern
ch
k
(E) =
1
k!
Tr
_
i
2
F
_
k
(k = 0, 1, 2, . . .)
et le caractre de Chern total
ch(E) =

k=0
ch
k
(E) =

k=0
1
k!
Tr
_
i
2
F
_
k
= Tr
_

k=0
(
i
2
F)
k
k!
_
= Tr
_
exp(
i
2
F)
_
.
Lemme 3.2.10. Nous avons c(E
1
E
2
) = c(E
1
) c(E
2
) dans H

(B, R).
Dmonstration. Soit D
i
une connexion sur E
i
(i = 1, 2). Posons D = D
1
D
2
. Dans un cadre
local, on obtient
=
_

1
0
0
2
_
et F =
_
F
1
0
0 F
2
_
.
Par consquent
c(E) = c(E
1
E
2
) = det
_
I +
i
2
F
_
= det
_
I
1
+
i
2
F
1
0
0 I
2
+
i
2
F
2
_
= det
_
I
1
+
i
2
F
1
_
det
_
I
2
+
i
2
F
2
_
= c(E
1
) c(E
2
).
Corollaire 3.2.11. On peut extraire la valeur de c
j
(E) de la formule
n1+n2

j=0
c
j
(E) =
_
n1

i=0
c
i
(E
1
)
_

_
n2

k=0
c
k
(E
2
)
_
.
Par exemple
c
1
(E) = c
1
(E
2
) +c
1
(E
1
),
c
2
(E) = c
2
(E
1
) +c
1
(E
1
)c
1
(E
2
) +c
2
(E
2
),
.
.
.
3.2 Classes de Chern dun br vectoriel complexe 51
Lemme 3.2.12. Nous avons ch(E
1
E
2
) = ch(E
1
) +ch(E
2
), do ch
k
(E
1
E
2
) = ch
k
(E
1
) +
ch
k
(E
2
).
Dmonstration. Puisque D = D
1
+D
2
, nous obtenons
Tr
_
exp(
i
2
F)
_
= Tr
_
exp(
i
2
F
1
) 0
0 exp(
i
2
F
2
)
_
= Tr
_
exp(
i
2
F
1
)
_
+ Tr
_
exp(
i
2
F
2
)
_
.
3.2.3. Classes de Chern du br dual. Sur notre br vectoriel complexe E B, xons
une connexion compatible D, de courbure F. Soit E

le br dual de E. Notons D

la connexion
sur E

telle que

=
t
. Ainsi
F

= d

= d
t
+
t

t
.
Puisque est une matrice de 1-formes, on a
t

t
= ( )
t
. Donc D

a pour courbure
F

= F
t
. Il sensuit que
c(E

) = det
_
I
i
2
F
_
t
= det
_
I
i
2
F
_
=

k
c
k
(E

) =

k
c
k
_

i
2
F
_
=

k
(1)
k
c
k
_
i
2
F
_
.
Ainsi
c
k
(E

) = (1)
k
c
k
(E).
3.2.4. Relations entre les classes de Chern c
k
et les caractres de Chern ch
k
. On a
ch
k
(F) = Tr(F)
k
, do
ch
0
(E) = Tr
_
i
2
F
_
0
= Tr(I) = Rang(E),
ch
1
(E) = Tr
_
i
2
F
_
1
= c
1
(E),
ch
2
(E) = Tr
_
i
2
F
_
2
,
.
.
.
Si les valeurs propres de
i
2
F sont x
1
, . . . , x
n
, alors
ch
2
(E) =
1
2
n

i=1
x
2
i
=
1
2
_
n

i=1
x
i
_
2

_

i<j
x
i
x
j
_
=
1
2
c
1
(E)
2
c
2
(E).
En utilisant ce processus, on calcule la valeur de nimporte quel caractre ch
k
(E) en fonction des
classes c
j
(E).
3.2.5. Dautres proprits des caractres de Chern.
Proposition 3.2.13. Nous avons ch(E
1
E
2
) = ch(E
1
) ch(E
2
).
Dmonstration. tant donne une connexion D
i
sur E
i
(i = 1, 2), on peut dnir une connexion
D = D
1
I
2
+I
1
D
2
de courbure F
D
= F
1
I
2
+I
1
F
2
sur E
1
E
2
. En utilisant Tr(AB) =
Tr(A) Tr(B), on obtient le rsultat.
52 Chapitre 3. Classes caractristiques
Remarque 3.2.14 (K-thorie). Fixons une base B et soit Vect(B) lensemble des classes
disomorphisme de brs complexes sur B. Les deux oprations E
1
E
2
et E
1
E
2
munissent
Vect(B) dune structure danneau. On peut dmontrer qualors ch : Vect(B) H

(B, R) est un
isomorphisme danneaux.
Remarque 3.2.15. Pour un br en lignes complexe L B, les seules classes de Chern non
nulles sont
c
0
(L) = 1 et c
1
(L) H
2
(B, R).
Ainsi la classe de Chern totale est
c(L) = 1 +c
1
(L).
Donc pour la somme E = L
1
L
2
L
n
de n brs en lignes complexes, nous avons
c(E) = c(L
1
)c(L
2
) c(L
n
) =
n

i=1
(1 +c
1
(L
i
)).
Nous rcuprons alors les classes de Chern de E grce aux formules
c
1
(E) =
n

i=1
c
1
(L
1
), c
2
(E) =

i=j
c
1
(L
i
)c
1
(L
j
), . . . c
n
(E) =
n

i=1
c
1
(L
i
).
Exemple 3.2.16. Soit E = L
1
L
2
L
n
la somme de n brs en lignes complexes. Alors :
1. Si c
1
(L
i
) = 0 pour un i, alors c
n
(E) = 0.
2. Si c
1
(L
1
) = c
1
(L
2
) = = c
1
(L
k
) = 0, alors c
j
(E) = 0 pour tout j > n k.
3.3. Classe de Todd et caractristique dEuler dun br vectoriel complexe
3.3.1. Classe de Todd dun br vectoriel complexe. La classe de Chern totale est
dnie laide du polynme
c(A) = det
_
I +
i
2
A
_
=
n

i=1
(1 +x
i
),
o les x
i
sont les valeurs propres de
i
2
A. Le caractre de Chern total est quant lui dni laide
du polynme
ch(A) = Tr
_
exp(
i
2
A)
_
=
n

i=1
exp(x
i
).
Une autre classe importante dun br vectoriel complexe est dnie laide de
Td(A) =
n

j=1
x
j
1 e
xj
.
Cette srie sachve en degr
1
2
dim(B) lorsquon lapplique la courbure F, donc on peut dnir
la classe de Todd en posant Td(E) = [Td(F)]. On vrie que lon a
Td(E) = 1 +
1
2
c
1
(E) +
1
12
(c
2
1
(E) +c
2
(E)) +
Cette classe apparat dans le thorme de Riemann-Roch.
3.4 Classes caractristiques dun br vectoriel rel 53
3.3.2. Caractristique dEuler. Le polynme dEuler-Poincar dune varit M est f
M
(t) =

p
b
p
t
p
, o b
p
= dim(H
p
(M)) est le p-ime nombre de Betti. La caractristique dEuler
M
de la
varit M est alors
M
=

p
b
p
(1)
p
= f
M
(1).
Proposition 3.3.1 ([2] page 415). Lorsque la base B et la bre F dun br E B sont
compactes, on a
E
=
B

F
.
ATTENTION : PAS DE VRAIE DEFINITION DE LA CARACTERISTIQUE DEULER.
Dans [2] pages 178186205, la caractristique dEuler de E B est dnie comme tant celle
de E. On peut ventuellement avoir une bre F compacte (exercice 1 page 414).
Dans le poly, elle nest pas dnie explicitement ; sa dnition semble ( ?) plus complique (version
br ).
DEMANDER A MICHELE VERGNE QUELLE EST LA VRAIE DEFINITION.
Pour un br holomorphe E B de rang r au-dessus dune varit complexe B, nous avons
un entier
(E) = version br de la caractristique dEuler dune varit
= indice dun oprateur direntiel.
Le thorme de Riemann-Roch relie cette quantit (E) (globale et topologique) aux classes ca-
ractristiques :
(E) =
_
B
Td(T

B) ch(E).
Cest un exemple de thorme de lindice entre lindice (entier) dun oprateur direntiel

0
(E
1
)
0
(E
2
) et
_
B
(classes caractristiques de TB). CEST QUOI CE T

X ? LE FIBRE
NORMAL?
Si B = X est une surface riemannienne (cest--dire dim
C
(X) = 1), alors Rang(T

X) = 1 et
Td(T

X) = 1 +
1
2
c
1
(T

X). Donc
Td(T

X) ch(E) =
_
1 +
1
2
c
1
(T

X)
_
(r +c
1
(E)),
do nalement
_
X
Td(T

X) ch(E) =
_
X
_
1 +
1
2
c
1
(T

X)
_
(r +c
1
(E)) =
_
X
c
1
(E) +
r
2
_
X
c
1
(T

X).
Dnition 3.3.2. 1. Le degr du br E est deg(E) =
_
B
c
1
(E).
2. Le genre de la surface riemannienne X est lentier g tel que deg(T

X) = 2 2g.
Le thorme de Riemann-Roch est alors
(E) = deg(E) + (1 g) Rang(E).
3.4. Classes caractristiques dun br vectoriel rel
Le but de cette section est de dnir des classes caractristiques pour un br rel E
R
B de
rang n.
54 Chapitre 3. Classes caractristiques
3.4.1. Classes de Chern dun br vectoriel rel. Nous allons complexier E
R
et utiliser
le travail prcdent pour les brs complexes.
Rappelons que le complexi de lespace vectoriel rel V
R
est le C-espace vectoriel V
C
= V
R
C.
Si dim
R
(V
R
) = n, alors dim
C
(V
C
) = n; plus prcisment si v
1
, . . . , v
n
est une R-base de V
R
alors
v
1
, . . . , v
n
est une C-base de V
C
.
Pour un br rel E
R
de rang n, on peut construire un br complexi E
C
:= E
R
C comme
suit. Si
E
R
=

R
n
/g

o g

: U

GL(n, R),
alors E
C
= E
R
C =

C
n
/g

o g

: U

GL(n, R) GL(n, C).

En tant que brs rels, nous avons E
C
= E
R
E
R
. On peut ainsi dnir les classes caractristiques
pour E
R
comme tant
P(E
R
) P(E
C
) pour tout polynme GL(n, C)-invariant P.
Ainsi on dnit la classe caractristique du br vectoriel rel E
R
en posant
c
k
(E
R
) := c
k
(E
C
) H
2k
(B, R).
Remarque 3.4.1. Un br complexe peut se raliser comme un br rel (de dimension
double) ; linjection GL(n, C) GL(2n, R) le munit de fonctions de transition relles.
Lemme 3.4.2. Pour k impair, on a c
k
(E
R
) = 0.
Dmonstration. tant donn un br complexe E
C
, construisons le br conjugu E
C
de la
faon suivante. Si les fonctions de transition de E
C
sont notes g

GL(n, C), alors on dnit E

C
laide des fonctions de transition g

GL(n, C). Le br conjugu jouit des proprits suivantes.

Thorme 3.4.3. 1. Si E
C
= E
R
C, alors E
C
= E
C
.
2. Pour tout br complexe E
C
, nous avons c
k
(E
C
) = (1)
k
c
k
(E
C
).
Dmonstration. Pour toute connexion D sur E
C
, on a une connexion D sur E
C
de courbure
F
D
= F
D
. Il sensuit que i F
D
= (i F
D
).
Ainsi c
k
(E
R
) = (1)
k
c
k
(E
R
) = (1)
k
c
k
(E
R
), ce qui achve la dmonstration du lemme.
Donc les seules classes (ventuellement) non nulles sont les c
2k
(E
R
) H
4k
(B, R).
3.4.2. Polynmes GL(n, R)-invariants des classes caractristiques relles. Nous allons
tudier les polynmes GL(n, R)-invariants sur Mat
n
(R). Il est plus facile dtudier les polynmes
O(n)-invariants sur o(n) = A; A
t
+A = 0.
Fixons une mtrique riemannienne sur E
R
et plaons-nous dans un cadre orthonormal. Choisis-
sons une connexion orthogonale D. Sa courbure F est valeurs dans o(n) et les fonctions de transi-
tion sont valeurs dans O(n). Par consquent, pour tout polynme O(n)-invariant P : o(n) R
on peut dnir [P(
1
2
F)] H

(B, Z). Cherchons des conditions sur ces polynmes P.

Une matrice A non nulle vriant A+A
t
= 0 ne peut pas tre diagonalise. En eet, sinon ses
valeurs propres
i
vrient
i
=
i
et sont nulles (ce qui entrane la nullit de A). Par contre A
3.4 Classes caractristiques dun br vectoriel rel 55
est conjugue (par une matrice T O(n))
_
_
_
_
_
_
_
_
0
1

1
0
.
.
.
0
k

k
0
_
_
_
_
_
_
_
_
ou
_
_
_
_
_
_
_
_
_
_
0
1

1
0
.
.
.
0
k

k
0
0
_
_
_
_
_
_
_
_
_
_
.
(si n = 2k) (si n = 2k + 1)
Il sut donc dvaluer les polynmes P sur de telles matrices A. crivons
P(
1
, . . . ,
n
) = P
_
_
_
_
_
_
_
_
0
1

1
0
0
2

2
0
.
.
.
_
_
_
_
_
_
_
_
.
Le point essentiel est que toute matrice A o(n) est conjugue
_
_
_
A
1
.
.
.
A
k
_
_
_ ou
_
_
_
_
_
A
1
.
.
.
A
k
0
_
_
_
_
_
type I (n pair) type II (n impair)
o A
i
est le bloc 2 2
A
i
=
_
0
i

i
0
_
.
Plus prcisment, il existe T O(n) telle que T
1
AT ait la forme ci-dessus. Puisque P est invariant,
nous avons P(A) = P(T
1
AT). Donc on peut exprimer P comme polynme en les
i
, cest--dire
P(A) = P(
1
, . . . ,
n
).
Lemme 3.4.4. 1. Le polynme P est invariant sous laction
i

i
.
2. Le polynme P est symtrique en les variables
1
, . . . ,
n
.
Corollaire 3.4.5. Le polynme P est symtrique en les
2
i
.
Dmonstration. Pour permuter
i
et
i
, il sut de conjuguer par la matrice diagonale par
blocs T = DIAG(I
2
, . . . , I
2
, J, I
2
, . . . , I
2
) de i-ime lment diagonal la matrice
J =
_
1 0
0 1
_
M
2
(R)
56 Chapitre 3. Classes caractristiques
et o I
2
est la matrice identit 2 2. Pour permuter les
1
, . . . ,
n
, par exemple
1

i
, on
utilise des matrices de permutation de blocs 2 2 :
T =
_
_
_
_
_
_
_
_
_
_
_
_
_
0 I
2
I
2
.
.
.
I
2
I
2
0
I
2
.
.
.
_
_
_
_
_
_
_
_
_
_
_
_
_
.
Corollaire 3.4.6. Si m = deg(P), alors P peut scrire
P(
1
, . . . ,
k
) = Q(
1
(
2
1
, . . . ,
2
k
), . . . ,
m/2
(
2
1
, . . . ,
2
k
))
pour un polynme Q et o les
i
sont les polynmes symtriques lmentaires.
3.5. Classes de Pontrjagin P
k
(E) dun br vectoriel rel
Soit E B un br vectoriel rel.
Dnition 3.5.1. Pour une matrice A conjugue lune des matrices I ou II ci-dessus, d-
nissons le polynme P
k
(A) =
k
(
2
1
, . . . ,
2
k
). La k-ime classe de Pontrjagin de E est la classe
P
k
(E) = [P
k
(
1
2
F)] H
4k
(B; R), o F est la courbure de nimporte quelle connexion sur E.
On vrie comme prcdemment (cest--dire comme pour les classe de Chern dun br com-
plexe) que P
k
(E) = [P
k
(
1
2
F)] dnit une classe caractristique. On dmontre que si F + F
t
= 0,
alors det(I +
1
2
F) =

k
P
k
(
1
2
F).
3.5.1. Relation entre les classes de Pontrjagin P
k
(E
R
) et les classes de Chern c
2k
(E
C
).
Soit E
C
= E
R
C la complexication de E
R
.
Proposition 3.5.2. P
k
(E
R
) = (1)
k
c
2k
(E
C
).
Dmonstration. Fixons une mtrique sur E
R
. Soit e

i
un cadre orthonormal pour E
R
, dans
lequel les fonctions de transition g

sont valeurs dans O(n). Grce linclusion GL(n, R)

GL(n, C), nous avons O(n) U(n). Ainsi, on peut voir e

i
comme un cadre unitaire pour E
C
.
Soit D = d + la description locale dune connexion orthogonale D sur E
R
, de sorte que
est valeurs dans o(n). Linclusion Mat
n
(R) Mat
n
(C) implique que la matrice peut tre vue
comme anti-hermitienne, cest--dire valeurs dans u(n) ; notons-la
C
. Alors d+
C
est maintenant
lexpression locale dune connexion unitaire sur E
C
.
La courbure F
R
de est valeurs dans o(n) ; elle est conjugue par O(n) une matrice de type
I ou II. Notons F
C
la courbure de
C
. Alors F
C
est valeurs dans u(n) et est conjugue par U(n)
une matrice diagonale de valeurs propres complexes
i
. Par consquent
P
k
(E
R
) =
k
_

2
1
2
, . . . ,

2
m
2
_
et C
2k
(E
C
) =
k
_
i
2

1
, . . . ,
i
2

m
_
.
3.6 Classes de Pontrjagin dun br vectoriel rel 57
Ce rsultat est amliorable. Remarquons que F
C
est conjugue une matrice de la forme
_
_
_
_
_
_
_
_
i
1
i
1
.
.
.
i
m
i
m
_
_
_
_
_
_
_
_
.
Ceci dcoule du fait quen rang 2
_
0
0
_
est conjugue
_
i 0
0 i
_
grce la matrice
1

2
_
1 i
i 1
_
U(2).
Ainsi
C
2k
(E
C
) =
2k
_
i
2
(i
1
),
i
2
(i
1
), . . . ,
i
2
(i
m
),
i
2
(i
m
)
_
=
2k
_

1
2

1
,
1
2

1
, . . . ,
1
2

m
,
1
2

m
_
.
La dmonstration se ramne donc dmontrer que (1)
k

k
(x
2
1
, . . . , x
2
m
) =
2k
(x
1
, x
1
, . . . , x
m
, x
m
),
qui est une formule classique de thorie des polynmes symtriques.
3.5.2. Relation entre les classes de Pontrjagin P
k
(E
r
) et les classes de Chern c
k
(E
c
).
Fixons un br complexe E
c
, de br rel sous-jacent E
r
obtenu en oubliant la structure
holomorphe. Plus prcisment, injectons GL(n, C) dans GL(2n, R) grce lidentication C
n

R
2n
. Dans le cas n = 1, ceci signie
(z)
_
x y
y x
_
o z = x +iy. Lexpression est similaire en dimension suprieure. Si E
c
= (

C
n
)/g

alors
E
r
= (

R
2n
)/g
r

,
o g
r

est lanalogue rel de g

obtenu par linclusion GL(n, C) GL(2n, R). Comme pour tout

autre br vectoriel rel, dnissons la classe de Pontrjagin de E
r
.
Cherchons relier les classes P
k
(E
r
) et c
k
(E
c
). Pour ce faire, remarquons que E
r
C et E
c
ne sont
pas isomorphes, puisque E
c
est de rang complexe n alors que E
r
C est de rang complexe 2n. Par
contre E
r
C E
c

E
c
en tant que brs complexes. Par consquent P
k
(E
r
) = (1)
k
c
2k
(E
r
C) =
(1)
k
c
2k
(E
c

E
c
). Il sensuit que

k
(1)
k
P
k
(E
r
) =

k
c
2k
(E
c

E
c
).
Puisque c

(

E) = (1)

(E), on obtient c
2k+1
(E

E) = 0. Donc

k
(1)
k
P
k
(E
r
) =

k
c
k
(E
c

E
c
) = c(E
c

E
c
) = c(E
c
)c(

E
c
).
Cette relation permet dobtenir les classes de Pontrjagin P
k
(E
r
) du br rel E
r
sous-jacent E
c
en fonction des classes de Chern c
k
(E
c
) de E
c
.
58 Chapitre 3. Classes caractristiques
3.6. Classe dEuler dun br vectoriel rel
3.6.1. Fibrs orientables. Limage de linclusion GL(n, C) GL(2n, R) est dans la com-
posante connexe GL
+
(2n, R) de GL(2n, R) des matrices inversibles de dterminant strictement
positif. Par consquent, limage de U(n) est dans SO(2n).
Exemple 3.6.1. Le groupe U(1) sinjecte dans SO(n) par
e
i

_
cos() sin()
sin() cos()
_
.
La remarque ci-dessus implique que si E
c
= (

C
n
)/g

et E
r
= (

R
2n
)/g
r

, alors
det(g
r

) > 0. De faon similaire, si lon munit E

c
dune mtrique alors g

est valeurs dans U(n)

et g
r

est valeurs dans SO(n).

Dnition 3.6.2. Si T : R
n
R
n
est linaire inversible et de dterminant strictement
positif, on dit que cest une transformation prservant lorientation. De faon quivalente, si e
i

est un cadre de R
n
alors on dit que e
i
et Te
i
ont mme orientation. Si det(g

) > 0, alors on
peut assigner une orientation aux bres de E en utilisant les trivialisations du br. Par exemple,
si
b
: E
b
R
n
est un isomorphisme avec b U

alors
1

e
i
est appel un cadre de E
b
orient
positivement ; ici e
i
est le cadre standard de R
n
.
Dnition 3.6.3. Un br E est orientable sil existe des fonctions de transition g

avec
det(g

) > 0.
Cest quivalent trouver un cadre dans lequel les fonctions de transition sont valeurs dans
SO(n).
Corollaire 3.6.4. Le br rel E
r
(sous-jacent un br complexe E
c
) est toujours orientable.
Supposons que E B est un br orientable ; ainsi les fonctions de transition peut tre
choisies de sorte prendre leurs valeurs dans SO(n). Dans ce cas, il sut de vrier linvariance
par conjugaison dun polynme P : o(n) R uniquement pour des matrices T SO(n).
Remarque 3.6.5. Il existe des brs non orientables. Dterminer si un br donn est orien-
table est une question laquelle nous nous intresserons au chapitre 4.
On peut se demander sil existe des polynmes P qui sont SO(n)-invariants mais pas O(n)-
invariants. Si oui, alors ces brs dnissent des classes caractristiques pour les brs orientables
que les brs non-orientables nont pas. Nous allons dmontrer quen fait lorsque le rang du br
est impair, la rponse est ngative. Par contre lorsque le rang est pair il existe une nouvelle classe
e(E), appele classe dEuler.
On a dj vu que A est conjugue sous O(n) une matrice de lun des deux types I ou II et que
P(A) = P(
1
, . . . ,
n
), o P est un polynme O(n)-invariant et symtrique en les
2
i
.
1. (Cas n = 2)
_
0
0
_

_
0
0
_
via T =
_
1 0
0 1
_
.
Mais det(T) = 1, donc T O(n) SO(n).
3.6 Classe dEuler dun br vectoriel rel 59
2. (Cas n = 3)
_
_
0 0
0 0
0 0 0
_
_

_
_
0 0
0 0
0 0 0
_
_
via T =
_
_
1 0 0
0 1 0
0 0
_
_
, avec = 1.
Si lon choisit = 1, alors T SO(n).
Dune manire gnrale, si n est impair alors linvariance sous SO(n) implique la symtrie sous

2
i
, qui implique linvariance sous O(n). Par contre si n est pair cela narrive pas.
Lemme 3.6.6. Si P est SO(n)-invariant, alors on peut crire P sous la forme P = P
0
+ P
1
avec des polynmes P
0
et P
1
tels que P
0
est O(n)-invariant et P
1
(gAg
1
) = (det(g))P
1
(A) pour
tout g O(n) (donc P
1
est SO(n)-invariant).
Dmonstration. Fixons g
0
O(n) SO(n) et crivons
P(A) =
P(A) +P(g
0
Ag
1
0
)
2
+
P(A) P(g
0
Ag
1
0
)
2
.
Alors
P
0
(A) =
1
2
(P(A) +P(g
0
Ag
1
0
)) et P
1
(A) =
1
2
(P(A) P(g
0
Ag
1
0
)).
3.6.2. Classe dEuler. Commenons par examiner le cas de R
2m
.
Exemple 3.6.7. Pour une matrice relle A, dnissons e(A) comme suit. Fixons une base e
i

oriente et orthonormale de R
2n
. Si Ae
i
= A
ji
e
j
, posons
(A) =

i<j
A
ij
e
i
e
j

2
(R
2m
).
Si A est une matrice de type I, alors un calcul direct prouve que (A) =

m
i=1
x
i
e
2i1
e
2i
. Posons
e(A) =
1
m!
((A)
m
, e
1
e
2m
)
o ( , ) est le produit scalaire sur
2m
R
2m
. Pour A de type I, on obtient (A)
m
=
m!(x
1
x
2
x
m
e
1
e
2m
), donc e(A) = x
1
x
m
. En particulier e(gAg
1
) = e(A) det(g)
pour g O(n) et e
2
(A) = det(A). On peut dmontrer que tout polynme SO(n)-invariant scrit
P(A) = e(A)

P(A), o

P est un polynme O(n)-invariant.
Cet exemple motive la dnition suivante.
Dnition 3.6.8. Pour un br vectoriel rel orientable E B de rang n = 2m, la classe
dEuler est e(E) = [e(
1
2
F)]. Ici F est la courbure de nimporte quelle connexion orthogonale dans
un cadre orthonormal orient.
Remarque 3.6.9. 1. Bien qua priori e(E) H
2m
(B; R), on a en fait e(E) H
2m
(B; Z).
2. La classe dEuler se comporte bien avec la somme. Plus prcisment e(E
1
E
2
) = e(E
1
)e(E
2
).
60 Chapitre 3. Classes caractristiques
Examinons maintenant le cas particulier du br rel E = E
r
sous-jacent un br complexe E
c
.
On sait que E
r
est orientable et que si E
c
est de dimension complexe m alors E
r
est de dimension
relle 2m. Cherchons relier la classe dEuler e(E
r
) de E
r
et la classe de Chern c
m
(E
c
) de E
c
.
Nous avons e
2
(A) = det(A) et det(I +A) = 1+ +det(A), donc e
2
(E
r
) = P
m
(E
r
). Par ailleurs
m

k=0
P
k
(E
r
)(1)
k
= (1 +c
1
(E
c
) + +c
m
(E
c
))(1 c
1
(E
c
) + + (1)
m
c
m
(E
c
)),
donc P
m
(E
r
)(1)
m
= (1)
m
c
2
m
(E
c
), do e
2
(E
r
) = c
2
m
(E
c
).
Dmontrons quen fait e(E
r
) = c
m
(E
c
), o E
r
est muni de lorientation standard induite par
E
c
. Lorientation sur R
2m
induite par une orientation de C
m
est obtenue comme suit. Choisissons
une C-base e
a

m
a=1
de C
m
. Alors e
a
, ie
a

m
a=1
est une R-base de R
2m
. Lorientation sur R
2m
est
obtenue en dclarant que cette base est oriente positivement.
Avec ce choix de cadres, linclusion GL(m, C) GL(2m, R) donne lieu
_
_
_
i1
2
.
.
.
im
2
_
_
_
_
_
_
_
_
_
_
_
0
1
2
1
2
0
.
.
.
0
m
2
m
2
0
_
_
_
_
_
_
_
_
.
Il sensuit que
c
m
(E
c
) =
m

j=1

j
2
= e(E
r
).
Remarque 3.6.10. Les signes ont t choisis an que lgalit ait lieu. Si on change lorienta-
tion de E, alors e(E) change de signe. Nous tudierons ce phnomne dans la sous-section suivante.
3.6.3. Comportement de la classe dEuler lors du changement dorientation. Soit
E B un br vectoriel rel orient de rang n = 2m ralis comme E =

R
n
/g

avec
g

: U

SO(n). Ainsi

: E

R
n
dnit un cadre orient.
An de changer lorientation de E et dobtenir un br vectoriel

E B de mme rang que
E, choisissons g
0
O(n) SO(n). Dnissons un nouveau cadre

: E

R
n
1g0
U

R
n
.
Les nouvelles fonctions de transition sont g

= g
0
g

g
1
0
. Do le diagramme commutatif
E[
UU

H
H
H
H
H
H
H
H
H
R
n
g

g0

R
n
g

=g0g

g
1
0

R
n
g0

R
n
Remarque 3.6.11. 1. On a det( g

) = +1, donc g

SO(n).
2. Utiliser

pour dnir une orientation sur les bres donne lieu lorientation oppose celle
obtenue par

.
Si F

est la courbure dune connexion D sur E pour le cadre local orient et si

F

est la courbure
correspondante sur

E, alors

= g
0
F

g
1
0
.
3.6 Classe dEuler dun br vectoriel rel 61
Ainsi
e(

E) = e
_
1
2

_
= e
_
g
0
(
1
2
F

)g
1
0
_
= e
_
1
2
F

_
= e(E).
3.6.4. Cas particulier du br tangent E = TM de M.
Dnition 3.6.12. 1. Une varit M est orientable si TM est orientable.
2. La classe dEuler dune varit orientable M est dnie comme tant e(M) = e(TM).
Remarque 3.6.13. Soit M une varit orientable de dimension 2met de classe dEuler e(M)
H
2m
(M, Z). On peut valuer e(M) sur la classe fondamentale dans H
2m
(M, Z), cest--dire sur la
classe [M] H
2m
(M, Z). Un thorme (admis) arme que
e(M)[M] =
_
M
e(M)
= (M)
=
2m

k=0
(1)
k
b
k
(M),
o (M) est la caractristique dEuler de M et les b
k
(M) sont les nombres de Betti. Cest un
exemple de thorme de lindex.
Exemple 3.6.14. Examinons le cas particulier dim(M) = 2. Une matrice anti-symtrique 22
est de la forme
A =
_
0 a
a 0
_
.
Ainsi e(A) = (ae
1
e
2
, e
1
e
2
) = a, o e
1
, e
2
est une base oriente de R
2
. On obtient e(TM) =
[e(
1
2
)], o est la courbure de la connexion de Lvi-Civita. Mais scrit sous la forme
=
_
0 w
w 0
_
,
o w est une 2-forme et donc un multiple de la forme de laire sur M. Donc w = dA, do
e(TM) =
1
2
dA et ainsi
_
M
e(TM) =
1
2
_
M
dA. Finalement
(M) =
1
2
_
M
dA.
La fonction est appele courbure de Gauss de la mtrique sur M et cette quation est le thorme
de Gauss-Bonet.
CHAPITRE 4
ORIENTABILIT ET STRUCTURE SPINORIELLE
4.1. Dtection de lorientabilit
Soit
E =

R
n
/g

un br vectoriel avec pour fonctions de transition g

: U

O(n). On se demande si lon

peut changer les trivialisations locales de sorte ce que les nouvelles fonctions de transition g

soient dans SO(n).

Pour ce faire, nous avons besoin de fonctions

: U

O(n)
telles que si

est dnie par E

R
n

U

R
n
, alors
g

SO(n).
Le diagramme suivant nous prouve que les g

sont bien des fonctions de transition :

E[
UU

H
H
H
H
H
H
H
H
H
R
n

R
n
g

R
n

R
n
Dnissons
_

= det(g

) : U

1 = Z/2Z,

= det(

) : U

Z/2Z.
On constate que les

doivent vrier
1 =

= det( g

) = det(

) =

.
Ainsi, on demande que

.
En crivant

= e
iu

et

= e
iv
avec u

, v

0, 1 = Z/2Z, la question initiale se

rduit dterminer si tant donne une famille u

on peut trouver une famille v

telle que
u

= v

.
64 Chapitre 4. Orientabilit et structure spinorielle
Remarque 4.1.1. Nous ne nous intressons qu des u

qui proviennent de fonctions de

transition, cest--dire satisfaisant Id = g

sur U

,= , ce qui quivaut vrier

1 =

, ou encore 0 = u

+u

+u

.
La question devient alors la suivante. tant donne u

telle que
(4.1.1) u

+u

+u

= 0 sur U

,= ,
on recherche v

telle que
(4.1.2) u

= v

.
Nous verrons dans la section suivante que les quations (4.1.1) et (4.1.2) correspondent respec-
tivement la condition de fermeture et dexactitude sur une 1-cochaine de ech.
4.2. Cohomologie de ech
Supposons que lon puisse trouver des transformations

: U

O(n) telles que sous

E[
U

R
n
1
U

R
n
,
les nouvelles fonctions de transition g

vrient det( g

) = 1. Rappelons que
la condition de cocycle u

+u

+u

= 0 (ferm),
la condition det( g

) = 1 u

= v

(exact).
Construisons la cohomologie de ech coecients dans Z/2Z. Commenons par xer un recou-
vrement U

I
convenable de B, cest--dire tel que toutes les intersections soient connexes
et contractiles.
1. Dnissons une 0-cochaine comme tant
g
(0)
= g

Z/2Z; I (donc g
(0)
dnit une application g
(0)
: I Z/2Z).
2. Dnissons une 1-cochaine comme tant
g
(1)
= g

Z/2Z; g

= g

(= g

Z/2Z) pour tous ,= tels que U

,= .
3. Dnissons une j-cochaine comme tant
g
(j)
= g
0j
Z/2Z; g
0j
antisymtrique pour les indices, pour des
i
tous dirents et tels que
j

i=0
U
i
,= .
4. Soit

C
(j)
le groupe des j-cochaines pour lopration
g
(j)
+f
(j)
= (g +f)
0j
= g
0j
+f
0j
.
5. Soit enn :

C
(j)

C
(j+1)
dnie en posant
(4.2.1) (g
(j)
)
0j+1
=
j+1

i=0
(1)
i
g
(j)
0 ij+1
,
o
i
signie que lon omet
i
de la liste dindices.
4.3 Structure spinorielle 65
Par exemple
:

C
(0)

C
(1)
et (g
(0)
)

= g
(0)

g
(0)

:

C
(1)

C
(2)
et (g
(1)
)

= g
(1)

g
(1)

+g
(1)

.
Nous obtenons ainsi une suite

C
(0)

(0)

C
(1)

(1)

C
(2)

(2)

On vrie facilement que est un morphisme de groupes tel que
2
= 0. Ainsi Im(
(p)
)
Ker(
(p+1)
) et on peut former la cohomologie de ech coecients dans Z/2Z en posant

H
(p)
(U

I
, Z/2Z) =
Ker(
(p)
)
Im(
(p1)
)
pour tout p > 0
et

H
(0)
= Ker(
(0)
). On dmontre que ce rsultat est indpendant du recouvrement convenable
U

I
. Par ailleurs

H
(p)
(B, Z/2Z) H
p
(B, Z/2Z).
Revenons nos moutons, en loccurence u

et v

I
. La famille u

dnit une 1-
cochaine de ech. La condition u

+u

+u

= 0 signie que
(1)
(u

) = 0 (puisque g

= g
1

,
on obtient u

= u

, etc.). Par consquent u

dnit une classe w

1
(E) H
(1)
(B, Z/2Z) =
H
1
(B, Z) appele premire classe de Stiefel-Whitney.
La famille v

I
dnit v
(0)

C
(0)
et la condition u

= v

signie que u

= v
(0)
,
cest--dire w
1
(E) = 0. Do le
Lemme 4.2.1. Si E est orientable, alors w
1
(E) = 0.
La rciproque est galement vraie. En eet, considrons un br vectoriel E =

R
n
/g

.
Dnissons la cochaine de ech u
(1)
= u

comme ci-dessus, cest--dire det(g

) = e
iu

. Nous
avons alors w
1
(E) = [u
(1)
] H
1
(B, Z/2Z). Supposons que w
1
(E) = 0, cest--dire [u

] = 0

H
(1)
(B, Z/2Z). Il sensuit que lon peut trouver une famille v

telle que u

= v

.
Lemme 4.2.2. tant donne v

telle que v

: U

Z/2Z, il existe

: U

O(n) tel
que det(

) = e
iv
.
Par consquent, en utilisant

pour ajuster la trivialisation locale nous obtenons g

SO(n) ;
ainsi E est orientable. Finalement, nous avons dmontr la
Proposition 4.2.3. Le br E est orientable si et seulement si w
1
(E) = 0.
En dautres termes, lobstruction lorientabilit dun br vectoriel est la premire classe de
Stiefel-Whitney.
Dans les deux sections suivantes, nous verrons quil existe une classe de Stiefel-Whitney en
dimension 2, et quelle est lobstruction lexistence dune structure spinorielle.
4.3. Structure spinorielle
Soit E un br vectoriel tel que w
1
(E) = 0 ralis sous la forme E =

U

R
n
/g

avec
g

SO(n). Nous allons munir E dune structure plus ne, appele structure spinorielle.
Remplaons E par le SO(n)-br principal
P
SO(n)
=

SO(n)/g

.
66 Chapitre 4. Orientabilit et structure spinorielle
Admettons la
Proposition 4.3.1. Nous avons
1
(SO(n)) = Z/2Z pour tout n > 2. Par ailleurs, pour n 2
lexactitude de la suite
(4.3.1) 1 Z/2Z Spin(n)

SO(n) 1
dnit un groupe de Lie simplement connexe Spin(n) pour lequel est un recouvrement deux
feuillets et un morphisme de groupes.
Exemple 4.3.2. Nous avons Spin(2) = S
1
grce au recouvrement S
1
S
1
dni par z z
2
.
Exemple 4.3.3. Dmontrons que Spin(3) = SU(2). Pour ce faire, il nous faut un recouvrement
deux feuillets SU(3) SO(3). En fait toute matrice A SU(2) peut scrire
A =
_
z
1
z
2
z
2
z
1
_
avec [z
1
[
2
+[z
2
[
2
= 1. Ainsi
SU(2) = (z
1
, z
1
) ; [z
1
[
2
+[z
2
[
2
= 1 S
3
= q = z
1
+jz
2
H; [q[
2
= 1,
o C
2
H = RiRjRkR est le corps des quaternions. Dnissons une action des quaternions
unitaires S
3
H sur H en posant
S
3
H H, (q
0
, q) q
0
q q
1
0
.
Soit R
3
= Im(H) = iR jR kR. Les quaternions unitaires agissent par restriction sur les
quaternions imaginaires Im(H) = R
3
en (q
0
, x) q
0
xq
1
0
= q
0
xq
0
(car [q
0
[
2
= 1). Cette action
restreinte de S
3
= SU(2) sur R
3
est unitaire, cest--dire A
q0
: x q
0
xq
1
0
est dans SO(3). Enn,
on dmontre que lapplication
A : S
3
= SU(2) SO(3), q
0
(A
q0
: x q
0
xq
1
0
)
est surjective et de noyau 1, 1 est le recouvrement deux feuillets recherch. Cette application
se factorise en un diomorphisme
S
3
A

SO(3)
RP(3)

v
v
v
v
v
v
v
v
v
Exemple 4.3.4. An de dmontrer que Spin(4) = SU(2)SU(2) = S
3
S
3
, il sut de vrier
que lapplication
A : (p
0
, q
0
) (A
p0,q0
: x p
0
xq
1
0
)
est surjective et de noyau (1, 1), (1, 1). En outre A se factorise en un diomorphisme
S
3
S
3
A

Id

SO(4)
RP(3) S
3

r
r
r
r
r
r
r
r
r
r
Exemple 4.3.5. La surjectivit de lapplication dans (4.3.1) nous assure de trouver pour
toute matrice g SO(n) une matrice g Spin(n) telle que ( g) = g.
4.4 Obstruction lexistence dune structure spinorielle 67
Dans la situation
Spin(n)

U
? g

w
w
w
w
w
w
w
w
w g

SO(n)
on peut dmontrer que si U est contractile, alors on peut trouver g.
Appliquons ceci g

: U

SO(n) dans le br principal P

SO(n)
=

SO(n)/g

dni ci-dessus. Ainsi on peut relever g

en g

: U

Spin(n) si U

est contractile.
En dautres termes, le diagramme suivant commute :
Spin(n)

s
s
s
s
s
s
s
s
s
s
g

SO(n)
On peut se demander si les fonctions de transition g

: U

Spin(n) dnissent un
Spin(n)-br, cest--dire
P
Spin(n)
=

Spin(n)/ g

.
Si la rponse est oui, alors un tel relvement dnit une structure spinorielle sur . Il nous faut
vrier la condition de cocycle g

= I dans Spin(n).
4.4. Obstruction lexistence dune structure spinorielle
tant donne g

, on peut choisir un systme de relvements g

. Dnissons h

=
g

pour U

,= .
On a h

Spin(n) mais (h

) = g

= I SO(n), donc h

1
(I) Z/2Z.
Par consquent w
(2)
= h

dnit une 2-cochaine de ech. Admettons le

Thorme 4.4.1. Nous avons w
(2)
= 0, do
[w
(2)
]

H
(2)
(B, Z/2Z).
Si [w
(2)
] = 0, alors il existe une 1-cochaine de ech

=
(1)
telle que w
(2)
= (
(1)
).
La classe [w
(2)
] = w
2
(P
SO(n)
) H
2
(B, Z/2Z) est dite seconde classe de Stiefel-Whitney.
Proposition 4.4.2. Le br P
SO(n)
admet une structure spinorielle si et seulement si
w
2
(P
SO(n)
) = 0.
Dnition 4.4.3. Une varit orientable M est spinorielle si un SO(n)-br principal en cadres
admet un relvement en un Spin(n)-br principal (w
2
(TM) w
2
(M) = 0).
Exemple 4.4.4. 1. La sphre S
m
est spinorielle.
2. Une surface riemannienne orientable est spinorielle.
3. Lespace projectif CP
k
est spinoriel si et seulement si k est impair ; en particulier CP
2
nest
pas spinoriel.
4. Un groupe de Lie est spinoriel.
68 Chapitre 4. Orientabilit et structure spinorielle
Remarque 4.4.5. Si M est une varit orientable spinorielle et P
Spin
est un relvement de
SO(n), on peut lui associer un br vectoriel
S = P
Spin

V
o : Spin(n) Aut(V ) dnit la reprsentation spinorielle ; le br S est appel br vectoriel
spinoriel associ.
Nous avons un recouvrement deux feuillets p : Spin(n) SO(n). Si
P
SO(n)
=

SO(n)/g

est un SO(n)-br principal, alors une structure spinorielle pour le br est

P
Spin(n)
=

Spin(n)/ g

avec p g

= g

. En dcoule un morphisme de brs : P

Spin(n)
P
SO(n)
.
En particulier, si P
SO(n)
est le br des cadres orients pour TM alors P
Spin(n)
dnit une
structure spinorielle sur M. De plus TM = P
SO(n)

R
n
, o : SO(n) Aut(R
n
) = GL(n, R).
tant donn P
Spin(n)
, notons : Spin(n) Aut(R
n
) la reprsentation induite et posons V =
P
Spin(n)

R
n
.
Cherchons une relation entre les SO(n)-reprsentations et les Spin(n)-reprsentations. Puisque
par dnition = p : Spin(n) SO(n) Aut(R
n
), une reprsentation de SO(n) donne lieu
une reprsentation de Spin(n). Rciproquement, remarquons que (I) = (I) = I. Donc si une
reprsentation de Spin(n) vrie (I) = (I), on peut dnir une reprsentation de SO(n) de
faon naturelle. Cependant, il existe des reprsentations de Spin(n) qui nont pas cette proprit.
En fait, on peut identier ces reprsentations pathologiques ; ceci conduit des brs spinoriels sur
M, dont les sections sont appele spineurs.
4.5. Structure Spin
C
Le br spinoriel Spin(n) est dni laide de la suite exacte
1 Z/2Z Spin(n) SO(n) 1.
Examinons le recouvrement deux feuillets de SO(n) S
1
= SO(n) U(1). Le cercle S
1
est un
recouvrement deux feuillets de S
1
grce lapplication z z
2
. tudions par consquent lappli-
cation Spin(n)S
1
SO(n)S
1
dnie par le produit des deux applications des recouvrements.
Nous obtenons alors un recouvrement quatre feuillets de SO(n) S
1
. Remarquons que Z/2Z agit
la fois sur Spin(n) et S
1
(action antipodale). Lespace des orbites de cette action sur Spin(n)S
1
est
Spin(n)
Z/2Z
S
1
= [ g, ] ; [ g, ] = [ g, ].
Dnition 4.5.1. Notons Spin
C
(n) = Spin(n)
Z/2Z
S
1
.
Dnissons une application Spin
C
(n) SO(n)S
1
en posant [ g, ] (g, ). Alors Spin
C
(n) est
un recouvrement deux feuillets de SO(n)S
1
. Cherchons un analogue au br P
Spin(n)
P
SO(n)
.
Partons de
P
SO(n)
L =

(SO(n) U(1))/g

,
4.6 Condition dexistence dune structure Spin
C
69
pour un br vectoriel complexe L muni dun produit scalaire hermitien et de fonctions de transition

. tudions quelle condition on peut relever P

SO(n)
L en un Spin
C
(n)-br. Localement,
il nexiste aucun problme puisque
Spin
C
(n)

O
O
O
O
O
O
O
O
O
O
O
U

1/2

r
r
r
r
r
r
r
r
r
r
(g

SO(n) U(1)
Cependant, rien narme que lon peut prendre les relvements g

et
1/2

de faon satisfaire la
condition de cocycle. Plus prcisment, on doit choisir les relvements tels que pour tous , ,
avec U

,= on ait
[ g

,
1/2

1/2

1/2

] = 1 Spin
C
(n),
cest--dire gal [1, 1] ou [1, 1].
4.6. Condition dexistence dune structure Spin
C
Lespace Spin
C
(n) est un recouvrement deux feuillets de SO(n) S
1
grce [ g, ] (g,
2
).
Fixons P
SO(n)
(du br vectoriel associ E) et L (un br vectoriel complexe muni dun produit
scalaire hermitien) au-dessus de B, avec pour fonctions de transition g

et

. Si U

est contractile, alors on peut relever

Spin(n)

J
J
J
J
J
J
J
J
J
U

s
s
s
s
s
s
s
s
s
s
g

SO(n)
et
S
1

I
I
I
I
I
I
I
I
I
I
U

1/2

w
w
w
w
w
w
w
w
w

U(1) = S
1
crivons

= e
ix

. Alors la condition de cocycle pour les

arme que x

+x

+x

2Z
pour tous , , tels que U

,= . Par ailleurs

= e
ix

/2
. Do

1/2

1/2

1/2

= e
iw

/2
avec
w

= x

+x

+x

.
Dnissons

= g

Z/2Z
et
c

=
w

2
Z.
Pour que
[ g

,
1/2

] Spin
C
(n)
70 Chapitre 4. Orientabilit et structure spinorielle
dnisse un Spin
C
(n)-br P
Spin
C
(cest--dire un recouvrement deux feuillets P
Spin
C
P
SO(n)

L), il faut que

[

, c

] = 1 Spin
C
(n)
cest--dire

= 1 et c

0 mod 2 ou

= 1 et c

1 mod 2.
Mais =

dnit une Z/2Z-cochaine de ech et C = c

dnit une Z-cochaine de

ech. Si c

dsigne la rduction de c

modulo 2, alors C = c

dnit une Z/2Z-cochaine

de ech. La condition que nous voulons est + C = 0. Par consquent, ces cochaines dnissent
des classes de cohomologie vriant [] = [C] H
2
(B; Z).
Lemme 4.6.1. 1. Nous avons [] = w
2
(E).
2. La classe [C] H
2
(B; Z) est la premire classe de Chern c
1
(L).
La condition dexistence dune structure Spin
C
est donc c
1
(L) w
2
(E) mod 2. Par consquent
Proposition 4.6.2. Soit M une varit oriente. Si lon peut trouver un br vectoriel com-
plexe L M tel que c
1
(L) w
2
(M) mod 2, alors (M, L) admet une structure Spin
C
(cest--dire
TM L admet un relvement). En particulier, si M est une varit spinorielle on peut prendre
L = M C et utiliser le relvement P
Spin
pour construire P
Spin
C
.
BIBLIOGRAPHIE
[1] W. Greub, S. Halperin & R. Vanstone Connections, curvature, and cohomology. Vol.
I : De Rham cohomology of manifolds and vector bundles, Academic Press, New York, 1972,
Pure and Applied Mathematics, Vol. 47.
[2] , Connections, curvature, and cohomology. Vol. II : Lie groups, principal bundles, and
characteristic classes, Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers],
New York-London, 1973, Pure and Applied Mathematics, Vol. 47-II.
[3] , Connections, curvature, and cohomology, Academic Press [Harcourt Brace Jovanovich
Publishers], New York, 1976, Volume III : Cohomology of principal bundles and homogeneous
spaces, Pure and Applied Mathematics, Vol. 47-III.
[4] D. Husemoller Fibre bundles, third d., Springer-Verlag, New York, 1994.
INDEX DES NOTATIONS
(E, B, F, ), 3
( , ), 13
(u, f), 4
A
i
, 44
B, 3
B
G
, 18
B
G
(n), 18
C, 56
D, 20, 26
D

, 29
D

, 29
D

, 29
D
1
, 22
D
2
, 22
D
X
s, 23
D, 22
Dt, 37
E, 3
E

, 10
E
1
E
2
, 10
E
G
, 18
E
G
(n), 18
E
C
, 43
E
R
, 43
E
b
, 3
E

b
, 10
F, 3
F(V ), 7
F(k, m), 15
F

, 29
F
D
, 26
F

, 32
F, 26
F

, 29
G, 1
G(k, m), 15
G
C
(k, m), 15
G
k
(m), 15
H, 25
He, 24
H
ij
, 14
I, 15
I
GLn
, 38
I
D
, 25
J, 44
L, 55
N, 2
NX, 2
Nx, 2
P, 3, 36
P(D), 36
P(E), 36
P(F

), 36
P(
1
, . . . , n), 38
P
G
V , 7
P V , 7
P
0
, 47
P
1
, 47
P
E
, 6
P
k
(A), 45
P
k
(E), 45
Q, 15, 39
S, 25, 55
S

, 18
T, 24
TM, 1
TP(D
0
, D
1
), 37
TxM, 1
U, 1
U
I
, 15
U, 4
Un, 18
V , 55
V
C
, 43
V
R
, 43
Ve, 20
V
k
(m), 15
X
b
, 19
Z, 5
[B, BG], 16
[(t)], 1
[v
1
, . . . , v
k
], 15
74 Index des notations
Ad, 11
Alt, 33
Aut(E), 11
Coker(f), 11
End(E), 11
, 56
(B, E), 8

, 56

k
ji
, 32
Hom(E, F), 10
Im(f), 11
Ker(f), 11
O(n), 3
, 32

1
(B, End(E)), 22

0
(B, E), 8

p
(B), 8
Prin
G
(B), 17
Spin(n), 53
Td(E), 42
Vect
k
(B), 16
(A), 47

, 5

C
(j)
, 52

H
(p)
, 52
(E), 43
(M), 42, 49
CP

, 18
deg(E), 43
, 52

, 51
(t), 23
, 51
exp(v), 32
D
dt
s(t), 30
(t), 1

m
k
, 15
, 49
, 10
, 10

i
, 38
s, t, 31
x, t, 18
,
b
, 13
A(E), 23
Dx, 25
I
D
, 25
G, 11
, 32

lc
, 33
, 21

, 21

ij
(t), 23

ji
, 20

G
, 18
, 5
, 3
, 1
, 6
, 14
n, 18
, 8

i
, 39
Spin
C
(n), 55
, 33
DIAG, 38
, 37

h
, 23
R
n
, 9
, 2

P, 47

E, 48

F, 48

, 33

, 48
g

, 48
, 3
b
k
(M), 49
bp, 42
c(E), 39
c
k
(E), 39
c
k
(E
R
), 43
c

, 56
ch(E), 40
ch
k
(E), 40
d, 19
df, 19
df
b
, 19
e(A), 47
e(E), 47
e(M), 49
e
i
, 1, 7
f

(D), 30
f
M
, 42
f
b
, 4
g, 43
g

, 10
g

, 10
g
f

, 12
g
0
, 48
g

, 4
h, 2, 5
h, 5
h

, 54
i, 25
rp

, 18
s, 8
s, 8
s
i
(t), 23
w
(2)
, 54
w
1
(E), 52
w
2
(P
SO(n)
), 54
w

, 56
INDEX TERMINOLOGIQUE
adapte (trivialisation), 17
application
classiante, 16
de Hopf, 2
prservant lorientation, 46
associ
(br principal), 6
(br vectoriel), 7
base, 3
Betti (nombre de), 49
Bianchi (identit de), 28
cadre
(br en), 7
dun espace vectoriel, 7
local, 14
orient, 46
tir en arrire, 30
caractristique
(classe), 36, 43
dEuler, 42
caractre
de Chern, 40
total, 40
ech (cohomologie de), 52
Chern
(caractre de), 40
(classe de), 39
Chern-Weil (homomorphisme de), 38
classe
caractristique, 36, 43
dEuler
dun br, 47
dune varit, 49
de Chern, 39
totale, 39
de Stiefel-Whitney, 52
de Todd, 42
classiante (application), 16
co-noyau (br), 11
co-tangent (br), 1
cocycle (condition de), 4
cohomologie de ech, 52
compatible
(connexion), 31
complexe de de Rham, 26
complexi
espace, 43
br, 43
condition
de cocycle, 4
de constante covariante, 31
connexion, 20
compatible, 31
de Lvi-Civita, 33
orthogonale, 31
plate, 27
unitaire, 31
constante covariante, 31
construction de Milnor, 17
courbure, 26
de Gauss, 49
covariante
(constante), 31
(drive), 23, 30
Cristofell (symbole de), 32
drive covariante, 23, 30
de Rham (complexe de), 26
degr dun br, 43
direntiel idal, 25
distribution, 25
intgrable, 25
involutive, 25
lmentaire (polynme symtrique), 39
endomorphisme de br, 4
espace
complexi, 43
normal, 2
total, 3
Euler
(caractristique d), 42
(classe d), 47
Euler-Poincar (polynme de), 42
76 Index terminologique
exponentielle, 32
br, 3
(degr dun), 43
(endomorphisme de), 4
(morphisme de), 4
trivialisation adapte, 17
co-noyau, 11
co-tangent, 1
complexi, 43
en cadre, 7
homogne, 3
image, 11
localement trivial, 1
mtrique, 14
normal, 2
noyau, 11
orientable, 46
plat, 21
principal, 3
associ, 6
tangent dune varit, 1
tautologique, 2
tir en arrire, 12
trivial, 8
universel, 16, 17
vectoriel, 3
associ, 7
bre, 3
(vecteur le long de la), 20
au-dessus dun point, 3
Frobnius (thorme de), 25
godsique, 32
Gauss (courbure de), 49
Gauss-Bonet (thorme de), 49
genre dune surface riemannienne, 43
G-invariant (polynme), 36
grassmannienne, 15
groupe
de jauge, 11
de structure, 3
rduit, 8
holonomie
(reprsentation d), 27
(transformation d), 24
homogne (br), 3
homomorphisme de Chern-Weil, 38
Hopf (application de), 2
horizontal (sous-espace), 24
idal direntiel, 25
identication, 3
identit de Bianchi, 28
image (br), 11
index (thorme de l), 43, 49
innie (runion), 18
intgrable (sous-varit), 25
involutive (distribution), 25
Jacobien, 1
jauge (groupe de), 11
j-cochaine, 52
k-ime classe de Chern, 39
Lvi-Civita (connexion de), 33
Leibnitz (rgle de), 19
local (cadre), 14
localement trivial (br), 1
mtrique (br), 14
matrice orthogonale, 3
Milnor (construction de), 17
morphisme de brs, 4
nombre de Betti, 49
normal
(espace), 2
(br), 2
noyau (br), 11
nulle (section), 9
orient (cadre), 46
orientable
(br), 46
(varit), 49
orientation (application prservant l), 46
orthogonale
(connexion), 31
(matrice), 3
ouvert trivialisant, 3
parallle
(section), 23
(transport), 20
partition de lunit, 14
plat(e)
connexion, 27
br, 21
polarisation dun polynme, 36
polynme
G-invariant, 36
(polarisation dun), 36
symtrique lmentaire, 39
polynme dEuler-Poincar, 42
principal (br), 3
produit au-dessus dun groupe, 7
projection, 3
strographique, 2
pull-back, 12
rduit (groupe), 8
runion innie, 18
rgle de Leignitz, 19
relvement horizontal
dun chemin, 23
dun vecteur, 24
reprsentation
dholonomie, 27
spinorielle, 55
Riemann-Roch (thorme de), 43
riemannienne (surface), 43
section, 8
nulle, 9
parallle, 23
sous-espace horizontal, 24
sous-varit intgrable, 25
spinorielle
77
(reprsentation), 55
(varit), 54
strographique (projection), 2
Stiefel (varit de), 15
Stiefel-Whitney (classe de), 52
surface riemannienne, 43
symbole de Cristofell, 32
tangent br, 1
tautologique (br), 2
thorme
de Frobnius, 25
de Gauss-Bonet, 49
de lindex, 43, 49
de Riemann-Roch, 43
tir en arrire
(cadre), 30
(br), 12
Todd (classe de), 42
torsion, 33
total
(caractre de Chern), 40
(espace), 3
totale (classe de Chern), 39
transformation dholonomie, 24
transport parallle, 20
trivial (br), 8
trivialisant (ouvert), 3
trivialisation, 3
unit (partition de), 14
unitaire (connexion), 31
universel (br), 16, 17
varit
de Stiefel, 15
orientable, 49
spinorielle, 54
vecteur
le long de la bre, 20
vertical, 20
vectoriel (br), 3
vertical (vecteur), 20
vitesse dun champ de vecteurs, 23