Projet de Semestre

t 2005

Fibrs Vectoriels
Oliver Prosperi

Professeur Responsable:

prof. K. Hess Bellwald

Table des matires

Rsum Table des notations Introduction Chapitre 1. K-familles 1. Notions de base 2. Morphismes 3. K-famille triviale 4. Restrictions et K-familles induites 2 2 3 5 5 6 8 10

Chapitre 2. Fibrs Vectoriels 1. Fibr vectoriel 2. Thormes de recollement 3. Oprations sur le Fibrs Vectoriels 4. Sections de Fibrs Vectoriels 5. Thorie de lHomotopie des Fibrs Vectoriels 6. Proprits algbriques Bibliographie Index

13 13 14 20 25 31 34 49 51

TABLE DES MATIRES

Rsum En partant de la structure de base de K-famille, nous introduisons la notion de br vectoriel sur un espace topologique. Nous montrons ensuite des proprites essentielles des brs vecoriels, en particulier les recollements, le lien avec les Gcocycles, les brs induits, la possibilit deectuer des oprations comme la somme directe, et le concept de section, on observe les brs avec les "lunettes" de la thorie de lhomotopie. Finalement, nous tudions les proprits algbriques des brs vectoriels pour conclure avec limportant thorme de Serre-Swan qui fait le pont entre les brs vectoriels et les modules projectifs de type ni et qui a une grande importance en Kthorie.

Table des notations

Nous utiliserons les notations suivantes tout au long du travail: la catgorie des K-familles la catgorie des K-familles sur X la projection sur le i-me facteur la K-famille induite par f de la rstriction de X X lensemble des classes dquivalence des G-cocylces les morphismes de E vers F dans la catgorie C les morphismes de E vers F dans la catgorie C lanneau des fonctions continues valeur dans K lensemble des sections continues sur le br (E, p, X) le br trivial de rang n

Kf am Kf am (X) i f () |X ou EX H1 (X, G) C (E, F ) HomC (E, F ) A := CK (X) (X, E) = (E) n

Introduction

Dans le cadre du "Projet de lIndex", qui regroupe quatorze projets individuels dont le but commun est de sapprocher du Thorme de lindice dAtiyah et Singer, ce projet vise introduire les notions principales lies la thorie des brs vectoriels sur un espace topologique, an de permettre une introduction la Kthorie topologique Dans ce texte on utilise souvent des concepts lis la thorie des catgories qui nappartiennent pas directement au sujet tudi ici. Pour avoir plus de dtails sur la thorie des catgories je recommande la lecture de projet de Xavier Alexandre "Thorie des Catgories" [7] qui fait aussi partie de lambitieux projet de lindex. Tout au long de luvre on applique la convention que K est soit le corps R soit le corps C, et i reprsente la projection sur le i-me facteur dun produit. De plus on utilise deux notations, C (E, F ) et HomC (E, F ), pour indiquer les morphismes de E vers F dans la catgorie C . Il ne me reste plus qua vous souhaiter un bonne lecture !

CHAPITRE 1

K-familles

1. Notions de base

Dfinition 1.1. Soient E et X deux espaces topologiques. Soit p : E X une application continue telle que pour tout x X : (1) Ex = p1 (x) est muni dune structure de K-espace vectoriel de dimension nie ; (2) la topologie sur E induit la topologie naturelle sur chaque Ex On appelle alors X: lespace de base E: lespace totale p: la projection Ex : la bre de E en x (E, p, X): une K-famille sur X Remarque 1.2. (1) On a que nest pas un K-espace vectoriel, donc p1 (x) = x X et donc p est surjective. (2) E =
xX

Ex , la runion disjointe des espaces Ex . En eet si p(z) = x,

alors z Ex et z Ex pour tout x = x. / Exemple 1.3. Soit X la sphre S n = {x Rn+1 : x = 1}. Pour tout point x de S n on choisit Ex comme tant lespace vectoriel orthogonal x. Alors E= Ex S n Rn+1 est muni de la topologie induite. On pose p : E S n
xX

la projection sur la premire composante : p(z) = x avec z Ex . Alors (E, p, S n ) est une K-famille. Exemple 1.4. La K-famille produit sur X avec bre F est (X F, p, X) ou p : X F X est la projection sur le premier facteur, F est un K-espace vectoriel de dimension nie et p1 (x) = {x} F F . = Ainsi X F = {x} F .
xX 5

1. K-FAMILLES

Notation 1.5. On note une K-famille avec une lettre grcque (, , , . . . ) = (E, p, X).

2. Morphismes

Dfinition 1.6. Soient = (E, p, X) et = (E , p , X ) deux K-familles. Un morphisme de vers est un couple (f, g) dapplications continues f : X X et g : E E telles que : (1) p g = f p, donc telles que le diagramme suivant soit commutatif. E E p
f g

X X (2) Lapplication induite par g chaque x X, gx : Ex Ef (x) dnie par gx (z) = g(z), soit K-linaire. Remarque 1.7. Si (f, g) : (E, p, X) (E , p , X ) et (f , g ) : (E , p , X ) (E , p , X ) sont des morphismes de K-famille, alors le diagramme suivant est commutatif : E E E p
p p g g

X X X En eet on a f p = p g et f p = p g et donc p g g = f p g = f f p. De plus lapplication (g g)x : Ex Ef est K-linaire. En eet on a

gx f (x) gf (x)

dnie par (g g)x (z) = gf (x) (g(z))

Ex Ef (x) Ef et donc

f (x)

(g g)x (y + z) = gf (x) (gx (y + z)) = gf (x) gx (y) + gf (x) gx (z) = (g g)x (y) + (g g)x (z) Par consquent les compositions g g et f f induisent un morphisme de Kfamilles (f f, g g) : (E, p, X) (E , p , X ) qui est dni comme tant la composition (f f, g g) = (f , g ) (f, g) de (f, g) et (f , g ). On peut donc construire une catgorie o les objets sont les K-familles et les ches sont les morphismes de K-familles. Le morphisme identit est donn par le morphisme (idX , idE ) et lassociativit dcoule de lassociativit de la composition

2. MORPHISMES

dapplications continues. On note cette catgorie Kf am Cas particulier Si et ont la mme base X, un morphisme entre et est un morphisme (f, g) au sens de la dnition (1.6) avec f = idX . Le diagramme suivant doit donc tre commutatif : Ed dd dd d p dd 2
g

X On note g la place de (f, g) = (idx , g). Les K-familles de mme base X et les morphismes g forment une sous-catgorie de Kf am not Kf am (X). Dfinition 1.8. Soit (f.g) : (E, p, X) (E , p , X ) un morphisme de Kfamilles. (f, g) est un isomorphisme sil existe un morphisme (f , g ) : (E , p , X ) (E, p, X) tel que la composition (f , g ) (f, g) = (f f, g g) = (idX , idE ) et (f, g) (f , g ) = (f f , gg ) = (idX , idE ) Remarque 1.9. Si (f, g) est un isomorphisme, alors il existe un unique (f, g ) tel que (f f, g g) = (idX , idE ) et (f f , gg ) = (idX , idE ). En eet, si (f , g ) est un autre tel morphisme, on obtient g (z ) = g (idE (z )) = g gg (z ) = idE (g (z )) = g (z ), pour tout z E et f (x ) = f (idX (x )) = f f f (x ) = idX (f (x )) = f (x ), pour tout x X Donc (f , g ) = (f , g ). On appelle (f,g) le morphisme inverse de (f, g) et on le note (f, g)1 . Dfinition 1.10. Deux K-familles sont isomorphes sil existe un isomorphisme entre les deux. Exemple 1.11. Reprenons lexemple (1.3) et posons n = 1. On a = (E, p, X), E S 1 R2 . Posons en plus = (S 1 R, , S 1 ) o S 1 R a la topologie produit et est la projection sur le premier facteur. Si on identie R2 avec le corps des nombres complexes comme dhabitude, on dnit g : E S 1 R par g(x, z) = (x, iz ). x Alors g est un morphisme de K-famille sur S 1 et en fait, cest aussi un isomorphisme.

GE } }} }} }} p ~}

1. K-FAMILLES

x z rotation de i/x iz/x

3. K-famille triviale

Dfinition 1.12. Soit V un K-espace vectoriel de dimension nie. Soit E = X V , p : E X la projection sur le premier facteur et Ex = x V pour tout x X. Alors (E, p, X) = (X V, p, X) est appel K-famille triviale. On aimerait maintenant dcrire les morphismes entre deux K-familles triviales de mme base X, E = X V et E = X V . Soit donc g : E E un morphisme de K-famille, le diagramme suivant
g G X V X TV TT TT TT T p p TT TT TT ' X

est alors commutatif, donc p g = p et ainsi p g(x, v) = p(x, v) p (x , v ) = x x = x Donc pour tout (x, v) X V on a g(x, v) = (x, v ) o v = 2 g(x, v) V . Ceci implique que pour tout point x de X, g induit une application linaire gx : V V dnie par gx (v) = 2 g(x, v) (o on identie {x} V avec V et {x} V avec V ). Posons g : X L (V, V ) dnie par g (x) = gx (o L (V, V ) est lespace des applications linaires de V vers V ). Thorme 1.13. Lapplication g : X L (V, V ) est continue par rapport la topologie naturelle de L (V, V ). Rciproquement, soit h : X L (V, V ) une application continue, et soit h : E E lapplication qui induit h(x) pour tout est un morphisme de K-famille sur X. x X. Alors h Dmonstration. Soit {e1 , . . . , en } une base de V et {f1 , . . . , fp } une base de V . Puisque gx est linaire on peut voir cette application comme une matrice p n

3. K-famille TRIVIALE

(ij (x))ij o ij (x) K est la i-me coordonn du vecteur gx (eij ). La fonction ij : X K qui nous donne le coecient ij (x) pour tout x X est continue car cest la composition des applications continues suivantes : X
j

G X V

G X V

GV

pi

GK

o j (x) = (x, ej ), (x, v ) = v et pi est la i-me projection de V sur K. On observe que L (V, V ) peut tre identi Kp+n et donc 11 12 g (x) = . . . pn On peut donc armer que g est continue si et seulement si chaque ij est continue. Par ce qui prcde on a donc que g est continue. Rciproquement si h : X L (V, V ) est une application continue, alors h : E E est obtenue par la composition des applications continues suivantes : X V X L (V, V ) V

X V

o (x, v) = (x, h(x), v) et (x, u, v) = (x, u(v)). Donc h = est continue et on a bien que hx (v) = h(x)(v) pour tout v V , ainsi induit h(x) pour tout x X. h On a que h fait commuter le diagramme X V qq qq qq p q qq 5
h

G X V ww ww wwp w {ww

par dnition et hx est linaire, donc h est bien un morphisme de K-famille sur X Remarque 1.14. On a bien que g = g car pour tout (x, v) E g (x, v) = (x, g (x)(v)) = (x, gx (v)) = g(x, v) et que h = h car h(x)(v) = hx (v) = h(x)(v) pour tout v V et x X.

10

1. K-FAMILLES

4. Restrictions et K-familles induites

Dfinition 1.15. Soit = (E, p, X) une K-famille et soit X X un sousespace de X. Le triple (p1 (X ), p|p1 (X ) , X ) forme une K-famille appel rstriction de X . On note (p1 (x), p|p1 (X ) , X ) par |X ou simplement X ou EX . Les bres de |X sont les bres de au dessus du sous-espace X . Si X X X alors on a bien (|X )|X = |X

Dfinition 1.16. Soit f : Y X une application continue et soit = (E, p, X) une K-famille. La K-famille induite par f de est une K-famille f () qui a comme base Y , comme espace total E qui est le sous-espace de Y E de tous les couples (y, z) Y E avec f (y) = p(z). La projection 1 est lapplication 1 (y, z) = y. La bre au dessus de y est donne par : Ey = (1 )1 () = {(y, z) E : y = y et f (y) = p(z)} y = {(, z) E : z Ef () } y y = {} Ef () y y Parfois on indique E par f (E). Remarque 1.17. (1) Le diagramme suivant est commutatif f (E)
1 2

GE
p

 Y

 GX

o 2 est la projection sur le deuxime facteur. En eet si (y, z) f (E) alors 2 (y, z) = z et 1 (y, z) = y et on sait que f (y) = p(z), donc f p (y, z) = p2 (y, z). (2) Si f = id : X X alors f () = car E =
xX

Ex =
xX

Ef (x) =

Ex = E
xX

(3) Si f : Z Y est une autre application continue, alors on a (f f ) () = f (f ()). En eet pour (f f ) () on a Ez = Ef f (z) . De lautre ct on a dabord que pour f (), lespace Ey = Ef (y) , et ensuite, pour f (), on a Ez = Ef (z) . On pose maintenant = f () et on obtient Ez = Ef (z) = Ef f (z) . (4) Si Y X et f est linclusion, alors on a f () = |Y . En eet Ey = Ef (y) = Ey

4. RESTRICTIONS ET K-FAMILLES INDUITES

11

Proposition 1.18. Si (f, g) est un morphisme de K-familles entre (E, p, X) et (E , p , Y ) avec f : Y X et g : E E, alors (f, g) induit un morphisme de K-familles sur Y , h : E f (E) comme le montre de diagramme suivant E
p h

G f (E)
1

GE
p

 Y

id

 GY

 GX

o i est la projection sur le i-me facteur. Dmonstration. Lapplication f : Y X induit la K-famille (f (E), 1 , Y ) et si on pose h(e ) = (p (e ), g(e )) pour e E , alors on a bien (p (e ), g(e )) f (E) car p2 (p (e ), g(e )) = p(g(e )) = f p (e ) = f 1 (p (e ), g(e )). Ainsi on observe que p (e ) = 1 (p (e ), g(e )) = 1 (h(e )). On peut donc armer que la partie de gauche du diagramme commute et donc h est un morphisme. Considrons maintenant deux K-familles sur X (E, pE , X) et (F, pf , X), un morphisme : E F et une application continue f : Y X. On peut dnir un morphisme f () : f (E) f (F ) par f ()(y, e) = (y, (e)) qui est continu car est continue. Ainsi le diagramme suivant est commutatif : f (F ) vX F f () vv 1 v vv vv v f (E) ss ss ss E s ss 1 s6  Y
F 2

E 2

GF d GE pF cc cc pE cc cc 1  GX

En particulier si Y X et f est linclusion alors f () correspond la restriction de p1 (Y ) ; en eet, on a f () : p1 (Y ) p1 (Y ) car f (E) = p1 (Y ) et E E F E f (F ) = p1 (Y ) par le point (4) de la remarque 1.17. f Proposition 1.19. Soit f : Y X une application continue. Alors la correspondance E f (E) et f () est un foncteur entre la catgorie des K-familles sur X et la catgorie des K-familles sur Y . Dmonstration. Il nous reste seulement a voir que si : F G est un morphisme vers une famille G alors f ( ) = f () f (). Soit (y, e) f (E). On a alors f () f ()((y, e)) = f ()((y, (e))) = (y, ((e))) = (y, (e)) = f ( )((y, e))

CHAPITRE 2

Fibrs Vectoriels

1. Fibr vectoriel

Dfinition 2.1. Soit = (E, p, X) une K-famille, alors est dit un br vectoriel si pour tout point x X il existe un voisinage U de x tel que la restriction |U de U soit isomorphe une K-famille triviale Cette dernire condition est verie sil existe un K-espace vectoriel V de dimension nie et un homomorphisme : U V p1 (U ) tel que le diagramme suivant soit commutatif : U V ii ii ii 1 i ii 4

G p1 (U ) xx xx xx |p1 (U ) p x {xx

et si pour tout point y U lapplication y : V Ey soit K-linaire ; de sorte que soit un isomorphisme de K-familles. Notation 2.2. On appelle U un domaine de trivialisation en x X du br vectoriel . Un recouvrement {Ui }iI de X est dit un recouvrement de trivialisation si chaque Ui est un domaine de trivialisation. Exemple 2.3. Montrons que lexemple 1.3 est un br vectoriel. E= Ex o Ex est lespace vectoriel orthogonal x. E S n Rn+1 .
xX

Pour x S n on pose Ux = {y S n :< y, x >= 0} o < . , . > est le produit scalaire usuel de Rn+1 . Posons x : p1 (Ux ) Ux Ex dnie par x (u, v) = (u, w) o w est la projection orthogonale de v sur Ex . Explicitement on a w = v < v, x > x. Inversement on a v = w <g,w> x. Ainsi x est un homomorphisme et de plus, <x,g> grce la linarit du produit scalaire, on a bien que les applications x (u,v) et x 1 ( ) (u,w) sont K-linaires, et donc E est localement trivial.
13

14

2. FIBRS VECTORIELS

2. Thormes de recollement

Thorme 2.4 (Recollement de morphismes). Soient = (E, p, X) et = (E , p , X) deux brs vectoriels avec mme base X. Soient de plus (1) Un recouvrement ouvert {Ui } de X (2) Une collection de morphismes i : Ui Uj i I , Uj )) tels (o Ui = (p1 (Ui ), p|p1 (U ) , Ui ) et Ui = (p 1 (Uj ), p| 1
i p (Uj )

que i|Ui Uj = j |U

i Uj

pour tout i, j I
i

Alors il existe un unique morphisme : tel que |p1 (U ) = i . Dmonstration. Unicit : Soit e E, comme {Ui }iI est un recouvrement de X, on a que e EUi pour un certain i I (EUi est lespace total de Ui ). Donc (e) = ri (i (e)) o ri : EUi E est linclusion. Ainsi est uniquement dtermine grce la condition (2) qui nous dit que ne dpend pas du choix de louvert Ui Existence On identie EUi et EUj avec des sous-ensembles de E et E respectivement. Pour e E on pose (e) = i (e) avec i tel que e appartienne lespace EUi . La condition (2) nous dit que cette dnition est indpendante du choix de louvert Ui . Les sous-ensembles EUi = p 1 (Ui ) forment un recouvrement ouvert de lespace E . En eet p 1 (Ui ) est un ouvert comme p est continue et si e E alors p (e ) Ui pour un certain i I et donc e p 1 (Ui ). On vrie maintenant que est continue. Soit A E un ouvert de E , alors on peut crire A =
iI

EUi A et donc

1 (A) = 1 (
iI

EUi A)

=
iI

1 (EUi A)
1 i (EUi A) iI

=
1 1 iI i (EUi A)

Ainsi (A) = qui est un ouvert de E comme runion douverts vu que i est continue pout tout i I. Donc est continue. Dautre part x : Ex Ex est linaire car Ex = p1 (x) p1 (Ui ) = EUi avec x Ui , donc x = i x qui est linaire. Ainsi est un morphisme de brs vectoriels. Thorme 2.5 (Recollement de brs). Soit {Ui }iI un recouvrement ouvert dun espace topologique X. Soient i = (Ei , pi , Ui ) des brs vectoriels sur les espaces Ui . Soient de plus gji : i|Ui Uj j|Ui Uj des isomorphismes qui satisfont la condition de compatibilit gki|Ui Uj Uk = gkj gji pour tout i, j, k I o

2. THORMES DE RECOLLEMENT

15

gkj = gkj|Ui Uj Uk et gji = gji|Ui Uj Uk . Alors il existe un br vectoriel sur X et des isomorphismes gi : i |Ui tels que le diagramme suivant commute
ji G j|U U i|Ui Uj i j ss ss uu ss uu u gi|U U sss uug i j zuu j|Ui Uj 6 |Ui Uj

Dmonstration. La preuve est omise, voir Karoubi [1] p.8. Exemple 2.6. Soit S n la sphre de Rn+1 , i.e. S n = {x = (x1 , . . . , xn+1 ) Rn+1 : x = x2 + + x2 = 1}. 1 n+1

n n n Soit S+ (respectivement S le sous-ensemble de S n tel que S+ = {x S n : xn+1 n n n 0} (respectivemet S = {x S n : xn+1 0}. On obtient ainsi que S+ S = S n1 .

Soit de plus f : S n1 GLp (K) une application continue. Selon le thorme (2.5) il existe un br vectoriel Ef sur S n associ naturellement a f . n n Ef est obtenu en rcollant les brs triviaux E1 = S+ Kp et E2 = S Kp avec lapplication de "transition" g21 = f : S n1 Kp S n1 Kp dnie par n1 g21 (z, k) = (z, f (z)(k)) pour tout z S et k Kp (g11 et g22 sont lapplication identit) Dfinition 2.7. Soit = (E, p, X) un br vectoriel. On dnit sur X une fonction rang rE : X N par r(x) = dimev (Ex ) = la dimension comme espace vectoriel de Ex pour tout x X. Si rE est constante gale un entier n pour tout x X, alors on dit que n est le rang de Remarque 2.8. Lapplication rE est localement constante. En eet pour tout x X il existe un domaine de trivialisation U X et un homomorphisme : p1 (U ) U V o V est un espace vectoriel de dimension nie n. Ainsi, via , Ex est homomorphe V pour tout x U et ainsi dimev (Ex ) = dimev (V ) = n pour tout x U et donc r(U ) = {n}. Remarque 2.9. Si X est connexe alors rE : X N est constante. En eet supposons que rE ne soit pas constante. Soit R = {Ui }iI un recouvrement de

16

2. FIBRS VECTORIELS

trivialistion de X. Posons A1 = {Ui R : rE (U) = 1} A2 = {Ui R : r(U) = 2} . . .

On a
i=1

Ai = X o Ai est la runion de tous les lments de Ai . Chaque

Ai est un ouvert comme union douverts. De plus si j N vrie Aj = , alors Aj i=1 i=j

Ai = , car sinon, si x Aj i=1 i=j

Ai alors x Aj et donc

r(x) = j ; mais on a aussi x

Ai donc il existe k = j tel que x Ak et

i=1 i=j ainsi r(x) = k = j. On a donc contradiction.

Donc Aj

Ai = et ainsi X = Aj

Ai et donc X nest pas

i=1 i=1 i=j i=j connexe, ce qui nous mne a une contradiction, sil existe i = j tel que Ai = . Dfinition 2.10. Soient X un espace topologiqe et G un groupe topologique. Un G-coclycle sur X est donn par un recouvrement ouvert {Ui }iI de X et des applications continues gji : Ui Uj G telles que gkj (x) gji (x) = gki (x) pour x Ui Uj Uk et i, j, k I. On note un G-cocycle par (Ui , gji ) Remarque 2.11. gii (x) = e o e G est llment neutre de G. En eet on a par dnition que gkj (x) gji (x) = gki (x) et si on pose j = i on obtient gki (x) gii (x) = gki (x) et ainsi gii (x) = gki (x)1 gki (x) = e. gji (x)1 = gij (x) car gij (x)gji (x) = gii (x) = e et donc gij (x) = gji (x)1 Dfinition 2.12. Deux G-cocycles (Ui , gji ), (Vr , hsr ) sur X sont quivalents sil r s r existe des applications continues gi : Ui Vr G telles que gj (x)gji (x)gi (x)1 = hsr (x) pour x Ui Uj Vr Vs . On note (Ui , gji ) (Vr , hsr ) Remarque 2.13. Ceci est une relation dquivalence. symtrie :
s r Si (Ui , gji ) (Vr , hsr ) alors on a gj (x)gji (c)gi (x)1 = hsr (x) et ainsi gji (x) = s r gj (x)1 hsr (x)gi (x). s 1 r On pose gj (x) = hj (x) et gi (x) = hi (x)1 et ainsi gji (x) = hj (x)1 hsr (x)hi (x) s r s r et donc (Vr , hsr ) (Ui , gji ).

2. THORMES DE RECOLLEMENT

17

rexivit :
j On pose gk (x) = gjk (x). On obtient ainsi s r gj (x)gji (x)gi (x)1 = gsj (x)gji (x)gri (x)1

= gsi (x)gir (x) = gsr (x) pout tout i, j, s, r I Ainsi on a bien que (Ui , gji ) (Ui , gji ). transitivit : Supposons (Ui , gji ) (Vr , hsr ) et (Vr , hsr ) (Wu , lvu ). On a donc des applications hu : Vr Wu G telles que hv (x)hsr (x)hu (x)1 = lvu r s r pour x Vr Vs Wv Wu
s r Ainsi lvu (x) = hv (x)hsr (x)hu (x)1 = hv (x)gj (x)gji (x)gi (x)1 (x)hu (x)1 . s r s r On dnit v s kj (x) = hv (x)gj (x) s

et
u r ki (x) = hu (x)gi (x) r

pour des s et r quelconques o s v v kj : Uj Wv G est dnie par kj (x) = hv (x)gj (x) avec s tel que x Vs . s u De mme pour ki , i.e., r u u ki : Ui Wu G dnie par gi (x) = hu (x)gi (x) avec r tel que x Vr . r Ceci est bien dni car {Vk } est un recouvrement de X et si x Vp Vq Ui Wu q p alors hu (x)gi (x) = hu (x)gi (x). q p p q p q En eet de (Ui , gji ) (Vr , hsr ) on a que gi (x)gii (x)gi (x)1 = hpq (x) donc gi (x)gi (x)1 = hpq (x) pour x Ui Vp Vq . De mme, de (Vr , hsr ) (Wu , lvu ) on a que hu (x)hpq (x)hu (x)1 = luu (x) p q hu (x)hpq (x)hu (x)1 = e p q hpq (x) = hu (x)1 hu (x) pour x Vp Vq Wu p q
p q On obtient alors hu (x)1 hu (x) = gi (x)gi (x)1 pour tout x Vp Vq Ui Wu . p q q p Et ainsi hu (x)gi (x) = hu (x)gi (x) pour tout x Vp Vq Ui Wu q p v u Ainsi lvu (x) = gj (x)gji (x)gi (x) pour tout x Ui Uj Wv Wu et donc (Ui , gji ) (Wu , lvu ).

On note H1 (X, G) = {G-cocycles} G-cocycles.

, lensemble des classes dquivalence des

Thorme 2.14. Soit K (X) lensemble des classes disomorphisme de Kn brs vectoriels sur X de rang n. Alors K (X) est isomorphe lensemble H1 (X, G) n o G = GLn (K)

18

2. FIBRS VECTORIELS

Dmonstration. On va dnir deux applications h: K (X) H1 (X, G) n . 1 h H (X, G) K (X) n Soit = (E, p, X) un br vectoriel et {Ui }iI un recouvrement de trivialistation de X. Soient i : Ui Kn EUi des isomorphismes donns par la trivialisation et gji : Ui Uj G dni par gji (x) = (j )1 (i )x pour tout x i, j I. Ainsi on a que (Ui , gji ) est un G-cocycle sur X. En eet gkj (x)gji (x) = (k )1 x (j )x (j )1 (i )x = (k )1 (i )x = gki (x) pour tout x Ui Uj Uk . x x On pose h([]) = [U1 , gji ]. La classe h([]) H1 (X, G) ne dpend ni du choix du reprsentant de la classe [] ni du choix du recouvrement de trivialisation et des i utiliss pour construire le cocycle. En eet si (Vi , hsr ) est un cocycle associ au br vectoriel = (E , p , X) [] qui a les trivialisations r : Vr Kn EVr , alors r on pose gi (x) = (r )1 fx (i )x o fx : Ex Ex est donn par lisomorphisme x f : E E entre et . Si x Ui Uj Vr Vs alors on a
s r 1 gj (x)gji (x)gi (x)1 = (s )1 fx (j )x (j )1 (i )x (i )1 fx (r )x x x x

= (s )1 (r )x x = hsr (x) et donc (Ui , gji ) (Vr , hsr ) si est isomorphe . Ainsi h est bien dnie. Rciproquement si (Ui , gji ) est un G-cocycle, soit le br vectoriel obtenu en recollant les brs vectoriels triviaux Ei = Ui Kn avec les applications gji : Uj Ui G de la faon suivante. On pose gji : Ui Uj Kn Uj Ui Kn dnie par gji (x, a) = (x, gji (x)(a)). Pour x Ui Uj Uk on a bien gkj gji (x, a) = gkj (x, gji (x)(a)) = (x, gkj (x)(gji (x)(a))) = (x, (gkj (x)(gji (x))(a)) = (x, gki (x)(a)) = gki (x, a) et donc la condition de compatibilit rquise par le thorme (2.5) est satisfaite par gji et on obtient donc un br vectoriel = (E, p, X). On pose h ([(Ui , gji )]) = []. Cette application est bien dnie. En eet soit (Vr , hsr ) [(Ui , gji )] un autre reprsentant de la classe et soit F est le br vectoriel obtenu en recollant les brs triviaux Fr = Vr Kn . Montrons que E et F sont isomprphes. Soit : E F le morphisme unique qui fait commuter le diagramme suivant pour tout couple (i, r).

2. THORMES DE RECOLLEMENT

19

Ei|Ui Vr
gi|U

gi r

G Fr|U V r i
hr|U

i Vr

i Vr

 E|Ui Vr

|U

i Vr

 G F|U V r i

o gi est donne par lquivalence entre (Ui , gji ) et (Vr , hsr ) : r r gi : Ui Vr Kn Ui Vr Kn dnie par gi (x, a) = (x, gi (x)(a)) ; et gi , hr r r sont les isomorphismes donns par le thorme de recollement (2.5). est bien dnie car si x Ui Vr et x Uj Vs alors on a
s r hsr (x) = gj (x)gji (x)gi (x)1 r s hsr (x)gi (x)gji (x)1 = gj (x) r s hs (x)1 hr (x)gi (x)gi (x)1 gj (x) = gj (x) r s hr (x)gi (x)gi (x)1 = hs (x)gj (x)gj (x)1

De plus on a que est un isomorphisme car de la mme faon on peut dnir : F E qui fait commuter le diagramme dans le sens inverse. Ainsi E est isomorphe F . Enn h et h sont lune linverse de lautre par dnition. Thorme 2.15. Soient (Ui , gji ) et (Ui , hji ) deux cocycles avec le mme recouvrement sur lespace X. Alors les brs vectoriels associs E et F respectivement sont isomprphes si et seulement sil existe des applications continues i : Ui G = GLn (K) telles que hji (x) = j (x)gji (x)i (x)1 pour x Ui Uj . En particulier le br vectoriel E est trivial si et seulement si gji (x) = j (x)1 i (x) pour un bon choix des i Dmonstration. Soit : E F un isomorphisme. On a alors le diagramme commutatif suivant :
i j E|Ui Uj tt gj| tt Ui Uj tt tt t7 gi|U U Ej|Ui Uj i j W tt t tt tt  tt gji Ei|Ui Uj

|U

G F|U U i j
j|U

i Uj

i|U

G Fi|U U i j

tt hj| tt Ui Uj t hi|U U ttt i j t6 G Fj|U U i j tX tt tt tt  tt hji

i Uj

o Ei = Fi = Ui Kn et o, selon la notation de 1.13, i = hi |Ui (gi )1 ; 1 ji = hj h1 . gji = gj gi et h i On obtient donc que hji (x) = j (x)gji (x)i (x)1 . En particulier si on choisit hji (x) = e, llment neutre de G, pour tout x UI Uj , alors on a que F est isomorphe au br trivial et du diagramme on a gij (x) =

20

2. FIBRS VECTORIELS

j (x)1 i (x). Rciproquement si des tel i existent, alors on se ramne la dernire partie de la preuve du thorme (2.14) Exemple 2.16. Appliquons le thorme prcdent lexemple 2.6 avec les n mmes notations. Soit : E1 = S+ Kp E1 un automorphisme qui induit un n1 automorphisme : E1|Sn1 = S Kp E1|Sn1 . On considre les deux G-cocycles ({E1 , E2 }, g21 = f ) et ({E1 , E2 }, h21 = f ), avec comme dans le thorme 1.13. On montre que Ef et Ef sont isomorphes. n On applique le thorme prcdent en posant 1 = ()1 : S+ GLp (K) dnie 1 1 par () (x) = (x) (comme dans le thorme 1.13), et 2 id. On observe que pour tout x S n1 on a 2 (x)g21 (x)1 (x)1 = id f (x)((x)1 )1 = f (x)(x) = f (x)(x) = h21 (x). Ainsi les deux brs sont isomorphes.

3. Oprations sur le Fibrs Vectoriels

On appelle Ke la catgorie des espaces vectoriels de dimension nie sur un corps v K, et Vect(X) celle des brs vectoriels sur lespace topologique X. Si on veut prciser le corps, par exemple R, on note Re et VectR (X). v Dfinition 2.17. Une catgorie C est additive si pour tout A, B C lensemble HomC (A, B) est muni dune structure de groupe ablien compatible avec la composition dapplications. Proposition 2.18. Soient E, F V ect(X), alors HomVect(X) (E, F ) est un groupe ablien, et donc Vect(X) est une catgorie additive. Dmonstration. zE Somme: Si f, g HomVect(X) (E, F ), on pose pour (f + g)(z) = f (z) + g(z) Cest bien dni car on fait la somme dans Fp(z) . f +g est un morphisme ; en eet il nous ne reste qu vrier la continuit, et localement on a Ui V qq qq qq qq q5
f +g

Ui

G Ui W ww ww ww w {ww

o f + g(x, z) = (x, fx (z) + gx (z)). Ainsi f + g est continue car cest linaire. Donc f + g est continue.

3. OPRATIONS SUR LE FIBRS VECTORIELS

21

lment neutre: On a llment neutre vident f : E F z 0

Inverses: Si f HomVect(X) (E, F ) on pose f : E z F fp(z) (z)

f est continue et clairement (f + f ) = 0 Lemme 2.19. Soit f : Y X une application continue entre deux espaces topologiques Y . Alors le foncteur f de la proposition 1.19 induit un foncteur entre la catgorie Vect(X) et Vect(Y ). Dmonstration. Il faut voir que f () est localement triviale si est un br vectoriel. Soit y Y et soit U un voisinage de f (x ) X tel que U soit triviale. Soit U = f 1 (U ) et g : U U la restriction de f U . On a le diagramme g (U )
1

G U V

   g Id GU GU U Donc U U V et ainsi par dnition on a = g (U ) U U (U V ). = On pose U U (U V ) U V (u , u, v) (u , v) (u , g(u ), v) (u v) Les deux applications sont videmment lune linverse de lautre et ainsi g (U ) U U (U V ) U V. = = Donc f () est localement triviale. En particulier si Y est un sous-espace de X alors f () = Y est un br vectoriel. Dfinition 2.20. Un foncteur : Ke Ke est appel continu si pour v v tout couple (M, N ) dobjets dans Ke , lapplication naturelle M,N : Ke (M, N ) v v Ke ((M ), (N )) dne par M,N (f ) = (f ) pour toute application linaire f de M v dans N , est continue (pour la topologie usuelle sur un espace vectoriel de dimension nie). Exemple 2.21. (1) (M ) = M M
i fois

22

2. FIBRS VECTORIELS

(2) (M ) = M M
i fois

Pour voir que ces foncteurs sont continus, on choisit une base pour M et N , alors la matrice de M,N () est donne par une matrice qui dpend de faon continue de la matrice de , pour Ke (M, N ). v On aimerait maintenant associer chaque foncteur continu un foncteur = (X) :Vect(X)Vect(X) dans la catgorie des brs vectoriels sur X, Vect(X), qui concide avec quand X est rduit un point. Si = (E, p, X) est un br vectoriel sur X, on dnit lensemble E = (E) comme lunion disjointe (Ex ), muni de la projection p : (E) X denie par p (e ) = x avec
xX

x tel que e (Ex ). Pour munir (E) dune topologie pour quil devienne un br vectoriel, on a besoin du lemme suivant. Lemme 2.22. Soient = (E, p, X) un br vectoriel sur X et U , V des sousensembles ouverts de X. Soient de plus : EU U M et : EV V N des trivialisations de E sur U et V respectivement. Posons alors : EU U (M ) et : EV V (N ) les bijections induites par fonctorialit sur chaque bre. Si on donne EU et EV les topologies induites par ces bijections, alors elles concident sur EU EV = EU V et de plus EU V est un ouvert aussi bien dans EU que dans EV . Dmonstration. On a le diagramme commutatif suivant : EU V
|
U V

G (U V ) (M ) 

EU V

U V

G (U V ) (N )

o est donne par la composition dapplication continues U V

s

G Ke (M, N ) v

M,N

G Ke ((M ), (N )) v

avec s = |U V |1 . Comme est continue, est aussi continue (thorme U V 1 1.13). Pour la mme raison est aussi continue et a nous montre que les deux topologies sur E|U V concident. De plus la projection pU : EU U est continue 1 par rapport la topologie induite par . Ainsi EU V = pU (U V ) est un ouvert de EU , et de mme EU V est un ouvert de EV . On peut maintenant dnir une topologie sur E = (E). Soit {Ui }iI un recouvrement ouvert de X, et soit i : EUi Ui Mi une trivialisation de E sur Ui pour chaque i I. Par fonctorialit, les isomorphismes i induisent une bijection i : EUi Ui (Mi ) et ainsi on peut munir EUi dune topologie. On le munit maintenant de la topologie la plus ne qui rend linclusion EUi E continue. Ceci est possible car, grce au lemme prcdent, pour tout couple (i, j) I I les topologies sur EUi et EUj concident sur EUi Uj , qui est ainsi un ouvert de EUi et de EUj .

3. OPRATIONS SUR LE FIBRS VECTORIELS

23

Cette topologie ne dpend ni du choix du recouvrement ni du choix des trivialisations. En eet, si {Vj }jJ est un autre recouvrement et r : EVr Vr Nr est une autre trivialisation pour chaque j, alors le mme argument quavant nous montre que si on a deux topologies possibles sur EUi Vr , elles concident, et que EUi Vr est un ouvert de EUi et de EVr . Ainsi les deux topologies sur E concident. Enn E est localement trivial car EUi est homomrphe Ui (Mi ) et donc cest un br trivial pour tout i I. Pour dnir compltement le foncteur , il faut dnir f = (f ) : (E) (F ) dans le cas o f : E F est un morphisme de brs vectoriels sur X. On dnit f sur chaque bre par fx = (fx ) : (Ex ) (Fx ), qui est linaire car fx lest. Pour montrer que f est continue, on regarde les diagrammes suivants EU
f|U

G U M
g

et
f|

EU
U

G U (M )  G U (N )
g

FU

 G U N

FU

o , et g sont induites par fonctorialit sur chaque bre par , et g respectivement. Alors lapplication g , induite par g , est la composition des applications continues suivantes. U
g

G Ke (M, N ) v

M,N

G Ke ((M ), (N )) v

En accord avec le thorme 1.13 lapplication g est continue et donc f est continue. Gnralisation 2.23. Soit C la catgorie
Re op Re op Ce op Ce op Re Re Ce Ce v v v v v v v v
| {z
p1

{z
p2

{z
q1

{z
q2

et soit C la catgorie Re op Re op Ce op Ce op Re Re Ce Ce v v v v v v v v
| {z
p1

{z
p2

{z
q1

{z
q2

o la notation op indique la catgorie oppose (mmes objets mais ches inverses). Un foncteur : C C est appel continu si pour tout couple (R, S) de objets de C , lapplication C (R, S) C ((R), (S)) est continue. Alors la mme mthode quavant nous montre comme on peut dnir un foncteur = (X) : C (X) C (X) o C (X) = VectR (X)op VectR (X)op VectC (X)op VectC (X)op
| {z
p1

{z
p2

} }

VectR (X) VectR (X) VectC (X) VectC (X)

| {z
q1

{z
q2

24

2. FIBRS VECTORIELS

et C (X) = VectR (X)op VectR (X)op VectC (X)op VectC (X)op

| {z
p1

{z
p2

} }

VectR (X) VectR (X) VectC (X) VectC (X)

| {z
q1

{z
q2

Si la composition de deux foncteurs 2 1 est bien dnie, alors on a (2 1 )(X) = 2 (X) 1 (X). Enn, si 1 et 2 sont des foncteurs isomorphes, alors 1 (X) et 2 (X) sont aussi isomorphes.

Dfinition 2.24. Soient (E, p, X) et (E , p , X) deux brs vectoriels sur X. Alors le produit br E X E est le sous-ensemble de E E form par les couples (e, e ) tels que p(e) = p (e ). On a que E X E est une K-famille sur X avec projection q : E X E X dnie par q(e, e ) = p(e) = p (e ) et avec bres q 1 (x) = Ex Ex . Exemple 2.25. (1) Le foncteur : Ke Ke Ke donn par (M, N ) = M N induit v v v (X) : Vect(X)Vect(X) Vect(X). Si E et F sont des brs vectriels sur X, alors le br vectoiel (X)(E, F ) est not E F et est appel la somme directe ou somme de Whitney des brs vectoriels E et F . E F est isomorphe au produit br E X F car la bre au-dessus de x dans E X F est donne par (Ex , Fx ) = Ex Fx Ex Fx qui est la bre au dessus de x dans le produit br. De plus les identits classiques pour les espaces vectoriels impliquent grce 2.23 les isomorphismes (E F ) G E (F G) et E F F E. = = (2) Soit : Ke Ke Ke (K) le foncteur dni par (M, N ) = M K N . v v v Alors (X)(E, F ) = E F est le produit tensoriel de E et F . Encore une fois on a les isomorphismes (E F ) G E (F G) et E F F E. = = (3) Si : Ke o Ke Ke est le foncteur (M, N ) Ke (M, N ) alors lobv v v v jet (X)(E, F ) = HOM(E, F ) est appel le br vectoriel des homomorphismes entre E et F (la bre au dessu de x X est Ke (Ex , Fx ) = v HomKe (Ex , Fx )). v Remarque 2.26. On a que f (E F ) f (E) f (F ), donc que f est un = foncteur additif. En eet, il est facile de vrier que lapplication (g, (e, f )) ((g, e), (g, f )) est un isomorphisme de brs vectoriels.

4. SECTIONS DE FIBRS VECTORIELS

25

4. Sections de Fibrs Vectoriels

Dfinition 2.27. Soit = (E, p, X) un br vectoriel. Une section de est une application s : X E telle que p s = IdX . Une section s est dite continue si s est une application continue. Notation 2.28. On note (X, E) lensemble des sections continues du br vectoriel (E, p, X). Sil ny a pas dambiguit sur lespace X on crit (X, E) = (E). Exemple 2.29. Si s0 : X E est lapplication qui chaque point x X associe le vecteur 0 de lespace Ex , alors s0 est une section continue. En eet comme s0 (x) Ex , on a bien que p s0 = IdX . Montrons maintenant que s0 est continue. Soit x0 X et V un ouvert trivialisant de x0 . On a le diagramme commutatif suivant G V T EV f = x ff xx ff xx 1 ff pV f2 |xxxx V o : EV V T est une trivialisation locale avec T un espace vectoriel de dimension nie. Dnissons : V V T par (x) = (x, 0). Clairement est continue et de plus on a s0|V (x) = (0x ) = (x, 0) = (x) pour x V , et ainsi s0|V = 1 qui est continue. Donc s0 est continue puisquelle est localement continue. Cette section est appel section zro du br vectoriel. Exemple 2.30. Supposons que E soit le br vectoriel trivial X M . Alors une section continue de E peut tre crite comme x (x, s1 (x)), o s1 : X M est une application continue. Inversement, toute application continue X M induit une section continue de E. On va montrer maintenant un thorme trs utile qui, en sappuyant sur les sections, nous donne un outil pour vrier si une K-famille est triviale. Si cest le cas, la famille est aussi un br vectoriel trivial. Thorme 2.31. Soit = (E, p, X) une K-famille sur lespace topologique X. Alors est triviale si et seulement sil existe des sections s1 , . . . , sn (X, E) telles que {s1 (x), . . . , sn (x)} soit une base de lespace Ex pour tout x X Dmonstration. Supposons que soit une K-famille triviale. On a le diagramme commutatif suivant Ed dd p dd dd d2
=

G X T w ww w ww1 w {ww

avec Ex = T o T est un espace vectoriel de dimension nie, pout tout x dans X. Soit {v1 , . . . , vn } une base de T et dnissons si : X X T par si (x) = (x, vi ).

26

2. FIBRS VECTORIELS

Posons de plus si = 1 si : X E avec si (x) = 1 (x, vi ). On a que si est continue car si est continue et est un homomorphisme. De plus on a que p si (x) = p 1 (x, vi ) = x. Ainsi chaque si est une section continue. Comme 1 : {x}T Ex est un isomorphisme et comme {(x, v1 ), . . . , (x, vn )} x est une base de {x} T , alors son image {s1 (x), . . . , sn (x)} par 1 est une base de Ex . x Rciproquement, supposons que pour tout x X on a que {s1 (x), . . . , sn (x)} est une base de Ex . Soit {s (x), . . . , s (x)} la base duale associe. n 1 Pour tout z Ex on a que
n

z=
i=1

s (x)(z)si (x) i

Remarquons que s (x) : Ex K i est linaire et comme la dimension de K-espace vectoriel de Ex est nie, on a que s (x) est continue. Soit V un K-espace vectoriel de dimension n et v1 , . . . , vn une i base de V . Posons alors : E X V dnie par
n

(z) =

p(z),
i=1

s (p(z))(z)vi i

est bijective car son inverse 1 : X V E est donn par

n

1 (x, v) =
i=1

vi (v)si (x)

4. SECTIONS DE FIBRS VECTORIELS O v1 , . . . , vn est la base duale. En eet on a bien que n

27

1 (x, v) = (
i=1

vi (v)si (x)) n vj (v)sj (x)), j=1 i=1 n n n vj (v)sj (x)))( j=1 j=1

= p( = x,

vj (v)sj (x))vi

s (p( i

vj (v) s (x)(sj (x)) vi i i,j=1

= x,

vj (v) ij vi

i,j=1 n

x,
i=1

vi (v)vi

= (x, v) Et de mme
n

1 (z) = 1
n

p(z),
i=1 n

s (p(z))(z) vi i

=
j=1 n

vj ( i=1

s (p(z))(z) vi ) si (p(z)) i

=
i,j=1 n

s (p(z))(z)vj (vi ) si (p(z)) i

=
i=1 n

s (p(z))(z) si (p(z)) i s (x)(z) si (x) avec x = p(z) car z Ex i

i=1

= =z

Pour montrer que et 1 sont continues, il sut de remarquer que p, si , s i et vi sont toutes continues. Exemple 2.32. Soit X = S 2 = {x R3 : x = 1} et considrons la K-famille E = T S 2 quon appelle br tangent, et qui est dnie par T S 2 = {(x, v) R3 R3 : x S 2 et x, v = 0} o , est le produit scalaire standard de R3 . On muni T S 2 de la topologie induite par celle de R3 R3 . Un lment de T S 2 peut tre represent par un couple (x, v) avec x S 2 et v Tx , o Tx est le plan tangent S 2 en x. La projection p : T S 2 S 2 est donne par p(x, v) = x. Une section s : S 2 T S 2 nest rien dautre quun champ de vecteurs tangents la sphre. Or, par le thorme du hrisson, un tel champ sannule en au moins un

28

2. FIBRS VECTORIELS

point. Il nexiste donc pas de sections s1 , s2 telles que {s1 (x), s2 (x)} soit une base de Tx pour tout x S 2 . Donc T S 2 nest pas triviale. Notation 2.33. On note A := CK (X), lanneau des fonctions continues valeur dans K. Proposition 2.34. Soit (E, p, X) un K-br vectoriel, alors (X, E) = {s : X E| s est une section continue} est un Amodule. Dmonstration. Posons (s1 + s2 )(x) = s1 (x) + s2 (x) et (s)(x) = (x)s(x) pour tout x X ; s, s1 , s2 (X, E) et A. Ces applications sont bien dnies car les oprations sont eectues dans les bres Ex pour tout x X. Montrons quelles sont continues. Comme dans lexemple 2.29, soit x0 X et V un ouvert trivialisant contenant x0 . On a le diagramme commutatif EV f ff ff pV f f f 2
=

G V T xx xx xx1 x |xx

o : EV V T est une trivialisation locale avec T un espace vectoriel de dimension nie. x On a Ex G T via lhomomorphisme x pour tout x V .
=

On pose s1 + s2 :V V T x (x, x s1 (x) + x s2 (x)) s :V V T x (x, x ((x)s(x))) Ces deux applications sont clairement continues et on a (s1 + s2 )|V (x) = (s1 (x) + s2 (x)) = (x, x s1 (x) + x s2 (x)) = s1 + s2 (x) donc (s1 + s2 )|V =
1

s1 + s2 qui est continue. De mme (s)|V = 1 s.

Proposition 2.35. Si n X Kn est un br vectoriel trivial, alors = (n ) = An , i.e., cest un Amodule libre de type ni. Dmonstration. n est un br trivial, et donc, pour le thorme 2.31, il existe des sections s1 , . . . , sn (n ) telles que {s1 (x), . . . , sn (x)} soit une base de {x} Kn . On montre maintenant que {s1 , . . . , sn } est une partie gnratrice de

4. SECTIONS DE FIBRS VECTORIELS

29

(n ). Pour tout x X et s (n ) on a s(x) = 1 (x)s1 (x) + + n (x)sn (x) o on interprte les i comme des applications de X dans K. Ces applications sont clairement continues puisque s, s1 , . . . , sn sont continues. Ainsi tout lment de (n ) peut tre crit comme combinaison linaire dun nombre ni dlments de (n ) coecients dans A. Donc (n ) est de type ni. Dnissons maintenant une application : s= (n )
N i=1

i si

An . (1 , . . . , n )

On vrie facilement que est A-linaire est bijective. Donc (n ) est libre. Proposition 2.36. Si (E, p, X) est un br vectoriel sur un espace topologique compact1 X , alors (X, E) est un Amodule de type ni. Dmonstration. La proposition prcdente nous dit que (E) = (X, E) est un Amodule. Montrons que cest de type ni. Soit {Ui }iI , avec I = {1, . . . , n}, un recouvrement de trivialisation ni. Supposons que la restriction EUi du br Ui soit triviale de rang ni . Soit {i }iI une partition de lunit, qui existe car X est normal. Autrement dit on a des applications i : X R, i I, telles que supp(i ) Ui ;
n not

i=1

2 i (x) = 1 pour tout x X.

Comme dans la preuve de la proposition 2.35, pour chaque Ui on a une partie gnratrice {si,1 , . . . , si,ni } de (EUi ). Ainsi, si si (EUi ) est la restriction de s (E) Ui on peut crire si = i,1 si,1 + + i,ni si,ni . Dnissons maintenant pour i I et 1 j ni ti,j = i si,j et i,j = i i,j o si,j et i,j sont les prolongements par 0 de si,j et i,j sur tout lespace X. On observe que ti,j et i,j sont continues. On considre maintenant la somme i,j ti,j
i,j 1Pour X compact on entend X para-compact et Hausdor. Ainsi X est aussi normal.

30

2. FIBRS VECTORIELS

o on a bien que i,j A et ti,j (E). On calcule donc, pour x X i,j ti,j (x) =
i,j i j

i,j (x)ti,j (x) i (x)i,j (x)i (x)i,j (x) s

i j 2 i (x) i j 2 i si (x) i 2 i s(x) i 2 i i

= = = =

i,j (x)i,j (x) s

= s(x) = s(x). Ainsi {ti,j }iI;1jni gnre (E).

Lemme 2.37. Soient E et F deux brs vectoriels sur X. On a que (X, E) (X, F ) (X, E F ), = un isomprhisme de Amodules. Dmonstration. On dnit lapplication (X, E) (X, F ) (r, s) (X, E F ) sr

o s r(x) = (s(x), r(x)) vu dans Ex Fx . Cette application est clairement A-linaire et bijective, cest donc un isomorphisme. Proposition 2.38. Soit (E, p, X) un br vectoriel sur un espace topologique compact X. Alors (E) est un module projectif de type ni. Dmonstration. Par la proposition 2.36, (E) est un module de type ni, montrons quil est projectif. Par le thorme 2.45 il existe un br F sur X et un entier n N tels que E F n = o n est un br triviale de rang n. Ainsi (E F ) (n ). = Par le lemme 2.37 on a (E F ) (E) (F ). = Dautre part, par la proposition 2.35 on a (n ) An . = Ainsi on a (E) (F ) An = et donc (E) est un facteur direct dun module libre, ainsi il est projectif.

5. THORIE DE LHOMOTOPIE DES FIBRS VECTORIELS

31

5. Thorie de lHomotopie des Fibrs Vectoriels

Dans cette section on va noncer des thormes qui reprennent le concept de br induit introduit dans la section 4. Pour faire cela on admettera dabord le rsultat suivant. Proposition 2.39. Soient E et F deux brs vectoriels sur un espace paracompact X. Soient Y un sous-ensemble ferm de X et : EY FY un isomorphisme de brs vectoriels. Alors il existe un voisinage V de Y et un isomorphisme : EV FV tel que Y = Dmonstration. La dmonstration est omise, voir [1], p.24. Thorme 2.40. Soit X un espace topologique compact et E un br vectoriel sur X I, o I = [0, 1]. Posons t : X X I x (x, t)
Alors les brs E0 := 0 (E) et E1 = 1 (E) sont isomorphes.

Dmonstration. La projection 1 du br est donne par 1 : X I X (x, t) x.

Posons Et = t (E). On a le diagramme 1 (Et )|X{t}

Et  GX

E|X{t}  G X {t}

 X {t}

On a bien que 1 (Et )|X{t} est isomorphe E|X{t} , car t 1|X{t} = Id|X{t} et donc 1 (Et )|X{t} = 1 (t (E))|X{t} = (t 1 ) (E)|X{t} = Id X{t} (E)|X{t} = E|X{t}

Par la proposition 2.39, il existe un voisinage V de X {t} dans X I tel que EV 1 (Et )|V . = Comme X est compact, V doit contenir un voisinage de la forme X U o U est un voisinage de t dans I. En eet V peut scrire comme V =
jJ

Aj Bj X I.

Avec les Aj qui recouvrent X et les Bj qui sont des voisinage de t. Comme X est compact on peut choisir un sous-ensemble ni L de J tel que {Al }lL soit un recouvrement ni de X. En posant U=
lL

Bl

32

2. FIBRS VECTORIELS

on obtient que U est encore un voisinage de t et donc Al

lL lL

Bl = X U

est un voisinage de X {t} X I. Evidemment si EV 1 (Et )|V alors on a aussi EXU 1 (Et )|XU car lisomor= = phisme est dni sur chaque bre. On rappelle que si f : Y X est une application continue, alors f est un foncteur covariant et donc si E et F sont deux brs isomorphes, on a que f (E) et f (F ) sont isomorphes. On considre lapplication continue dinclusion i : X {u} X U pour u U . On applique le foncteur i aux brs isomorphes EXU 1 (Et )|XU . On obtient = i (EXU ) i ( (Et )| ). =
1
XU

Donc EX{u} 1 (Et )|X{u} = car dans le cas dune inclusion, le br induit concide avec la restriction (remarque 1.17, point 4). On applique maintenant le foncteur u aux deux brs isomorphes quon vient dobtenir. On a u (EX{u} ) u (1 (Et )|X{u} ) = Et ainsi Eu E t = car
u (1 (Et )|X{u} ) = (1|X{u} u ) (Et ) = Id (Et ) = Et . X

Le diagramme suivant illustrera bien la situation G Eu Et d dd dd dd d1  X

= G E|X{u} 1 (Et )|X{u} = xxx xxx xxx xx8  G X {u} u

(Et )|XU = G E|XU vvv vvv vvv vv8  G X U i

Donc pour tout u U on a que Eu Et et donc par connexit de I, E0 E1 . = = Thorme 2.41. Soient X un espace compact et f0 , f1 : X Y deux appli cations continues et homotopes. Si E est un br sur Y, alors f0 (E) f1 (E) = Dmonstration. Soit H : X I Y une homotopie entre f0 et f1 . On a f0 (E) = (H 0 ) (E) = 0 (H (E)) et
f1 (E) = (H 1 ) (E) = 1 (H (E)).

Vu que H (E) est un br sur X I le thorme prcdent nous permet dar mer que 0 (H (E)) et 1 (H (E)) sont isomorphes, et donc f0 (E) et f1 (E) sont isomorphes. Thorme 2.42. Si X est un espace compact contractile, alors tout br vectoriel sur X est trivial.

5. THORIE DE LHOMOTOPIE DES FIBRS VECTORIELS

33

Dmonstration. Soit f : X X x x0 lapplication constante en x0 X. Comme X est contractile, f est homotope lidentit IdX . Soit E un br sur X, on a E = (IdX ) (E) f (E) = car on peut appliquer le thorme prcedent. Dautre part si on pose h : X {x0 } x x0 et i : {x0 } X x0 x0 o i est linclusion, alors on a f =ih et ainsi f (E) = (i h) (E) = h (i (E)). Vu que i est linclusion, le br induit est isomorphe la restriction (remarque 1.17, point 4). Ainsi i (E) E{x0 } . = Mais E{x0 } = p1 (x0 ) = {x0 } Ex0 Ainsi i (E) est trivial, i.e., i (E) {x0 } Ex0 . = On applique le foncteur h aux brs isomorphes quon vient dobtenir, et on a h (i (E)) h ({x0 } Ex ) =
0

h (i (E)) X ({x0 } Ex0 ) =

o ({x0 } Ex0 ) est clairement un espace vectoriel. En eet h ({x0 } Ex0 ) = {(x, x0 , e) X ({x0 } Ex0 ) : h(x) = 1 (x0 , e) = x0 = p(e)} = X ({x0 } Ex0 ) G h ({x0 } Ex ) h (i (E)) 0 9  X
=

i (E)

=G ({x0 } Ex0 ) www www www w8  G {x0 }

Ainsi h (i (E)) est trivial, et donc E est trivial, vu que E f (E) = h (i (E)) =

34

2. FIBRS VECTORIELS

6. Proprits algbriques

Dans la section prcdente on a vu quil est possible eectuer des oprations sur les brs vectoriels dans le contexte de la catgorie Vect(X). On exploite cette possibilit pour enoncer quelque proprites algbriques des brs vectoriels qui nous amnerons dimportants thormes, dont celui de Serre-Swan (2.56). Thorme 2.43. Dans la catgorie Vect(X) des brs vectoriels sur X, la somme directe (au sens des catgories) existe et correspond limage de comme vu prcdemment. Dmonstration. Soient F , E1 et E2 trois brs vectoriels sur lespace X. Par dnition de la somme directe catgorique on a
f1

E1 r rr rr rr rr i1 6 !f E1 E2 X vv vv vvi2 v vv f2 E2 o pour k = 1, 2 ik : Ek E1 E2 =
xX

% GF i

E1 x E2 x =
xX

E1 x E2 x

est donn par les homomorhismes dinjection Ekx E1x E2x et f1 et f2 sont des morphismes dans Vect(X). On doit montrer quil existe un unique morphisme f : E1 E2 F tel que le diagramme prcdent soit commutatif. Unicit Soient f, g : E1 E2 F telles que fk = f ik et fk = g ik . Soit (e1 , e2 ) E1 E2 , on a alors f (e1 , e2 ) = fx (e1 , e2 ) = fx ((e1 , 0) + (0, e2 )) = fx (e1 , 0) + fx (0, e2 ) = fx i1 (e1 ) + fx i2 (e2 ) = f1x (e1 ) + f2x (e2 ) (o fkx = fk|Ek ).
x

De mme pour g on obtient g(e1 , e2 ) = f1x (e1 ) + f2x (e2 ).

6. PROPRITS ALGBRIQUES

35

Et donc g = f . Existence Posons f : E1 E2 (e1 , e2 ) F (f1 )x (e1 ) + (f2 )x (e2 )

o (e1 , e2 ) E1x E2x . Il faut montrer que f est une application continue. Soit U une trivialisation de E1 , E2 , F i.e. E1|U U M1 = E2|U U M2 = FU U N = Alors (E1 E2 )|U E1|U E2|U U (M1 M2 ). = = Si on dnit lapplication continue U (M1 M2 ) (u, m1 , m2 ) U N (u, g1 (m1 ) + g2 (m2 ))

o gk : Mk N est lapplication induite par la trivialisation sur fk |U ; on peut dnir f|U : (E1 E2 )|U FU grce aux corrspondances quon vient denoncer
f| U

(E1 E2 )|U

G U (M1 M2 ) (u, m1 , m2 ) 1

G U N

9G

FU .

G (u, g1 (m1 ) + g2 (m2 ))

Ainsi f|U est continue et donc f est continue. Thorme 2.44. Soit E un br vectoriel sur lespace X, et soit p : E E telle que p2 = p (i.e. p est un projecteur). Alors ker p :=
xX

ker(px )

est un br vectoriel. Dmonstration. Sans perte de gnralit, on peut considrer E = X M o M est un espace vectoriel de dimension nie. Soit x0 X et posons f: X x Homk (M, M ) . idM px px0 + 2(px px0 )

36

2. FIBRS VECTORIELS

On a f (x0 ) = idM et donc il existe un voisinage V (x0 ) = V de x0 tel que f (x) est un automorphisme pour tout x dans X (car Aut(M ) est ouvert dans End(M )). Comme px0 f (x) = f (x) px on a que le diagramme suivant est commutatif 0 G ker p 1 1 1  G X ker px0 G X M  G X M
f p

G X M  G X M
f

p0

o p0 = idX px0 et f est dnie comme au thorme 1.13 On considre lapplication fV M ker p : V M ker p (v, m) V ker px0 . (v, f (v)(m)) Cette application est bien dnie car si (v, m) (V M ker p) alors selon le diagramme prcdent on a f p(v, m) = p0 f (v, m) f (v, 0) = p0 (v, f (v)(m)) (v, f (v)(0)) = (v, px0 f (v)(m)) (v, 0) = (v, px0 f (v)(m)) f (v)(m) ker px0 De plus cette application est continue, bijective et son inverse est aussi continue car 1 (fV M ker p )1 = (fV M ker p ). Ainsi cest un homomorphisme, et donc ker p est localement triviale. Thorme 2.45. Soit E Vect(X) un br vectoriel qui a pour base un espace topologique compact X, alors il existe un autre br vectoriel E Vect(X) tel que E E est trivial. Dmonstration. Bien que ce thorme donne un rsultat trs important, sa dmonstration est technique, non constructive et comporte des notions qui nont pas t introduites. Elle est donc omise et peut tre trouve dans [1], thorme 6.5 page 27. Nous introduisons maintenant de nouveaux concepts de la thorie des catgories utiles aux prochains thormes. Dfinition 2.46. Une catgorie additive C est dite pseudo-ablienne si pour tout E C et pout pour tout p : E E tel que p2 = p, le noyau de p existe. Exemple 2.47. (1) Vect(X) est pseudo-ablienne (2) Si A est un anneau unit, P(A), la catgorie des modules projectifs de type ni, est pseudo-ablienne.

6. PROPRITS ALGBRIQUES

37

Proposition 2.48. Soient C une catgorie pseudo-ablienne, E C un objet de C , et p : E E telle que p2 = p. Alors E = ker(p) ker(1 p) Dmonstration. Soient i1 : i2 : ker(p) E E

ker(1 p)

les inclusions canoniques. Considrons les diagrammes commutatifs ker(p) h ker(p)

i1

GE y h GE

j h1 h

1p

G E et ker(1 p) i2 dr r j2 r ker(1 p)

GE y r
p

1p

GE

i1

i2

r GE

o j1 et j2 sont donnes par la proprit universelle du noyau car p (1 p) = p 1 p p =pp =0 et (1 p) p = 1 p p p =pp =0 (j1 et j2 sont uniques par la propriet universelle). On a alors i1 j1 i1 = (1 p) i1 = i1 p i1
=0

= i1 Donc j1 i1 = idker(p) . De mme on obtient j2 i2 = idker(1p) De plus on a les diagrammes commutatifs GE ker(p) y y1 drr rr j1 1 rr 0 1p rr 1 rr GE ker(1 p)
i1 i2 p

G E et ker(1 p) i2 GE y y1 dr r j2 1 r p 0 r 1 r GE ker(p)
i1

1p

GE

38

2. FIBRS VECTORIELS

o on a par la proprit universelle les ches et . Comme on doit avoir (1 p) i2 = i1

=0

et i1 est injective, on a forcment que = 0. De mme pour on a = 0. Ainsi j1 i2 = 0 et j2 i1 = 0 et de plus on a que i1 j1 + i2 j2 = ((1 p) + p = 1. Par le lemme 18.1 p.29 de Mitchell[3], on a E ker(p) ker(1 p). =

Le thorme suivant nous montre un procd universel pour associer une unique catgorie pseudo-ablienne a chaque catgorie additive. Ceci sera trs utile pour le thorme de Serre-Swan (2.56). Dfinition 2.49. Un foncteur F : C D est quasi-surjectif si tout objet de D est un facteur direct dun objet dans limage de F . Autrement dit, pour tout objet G de D il existe un objet G dans D et un objet E dans C tels que G G = T (E). Thorme 2.50. Soit C une catgorie additive, alors il existe une catgorie pseudo-ablienne C et un foncteur additif : C C pleinement dle (i.e. Hom(A, B) Hom((A), (B))) tel que le diagramme sui= vant soit commutatif
GC CI II  II  II  II  II  ! II  $  D

o est un foncteur additif et D est une catgorie pseudo-ablienne. La paire (C , ) est unique quivalence de catgorie prs. De plus est quasi-surjectif.

6. PROPRITS ALGBRIQUES

39

Dmonstration. Construisons C . Les objets de cette catgorie sont les couples (E, p), o E C et p est un projecteur de E (i.e. p HomC (E, E) telle que p p = p). Un morphisme de (E, p) vers (F, q) est un morphisme f de E dans F tel que f p=qf =f comme dans le digaramme commutatif GF Ed dd f p d dd q d1   f GF E
f

avec la composition usuelle ; en eet

f GF g GG . Ed dd dd f dg q d p d dd r dd d1  d1   f g GF GG E

Avec la structure de catgorie additive de C on dnit la somme de deux objets dans C comme (E, p) (F, q) = (E F, p q). Vrions que, avec lobjet quon vient de dnir, on a eectivement la somme directe dans la catgorie C . On a le diagramme suivant
f

(E, p)

xxx xxx x i1 p xxx 8 (E F, p q) V qqq qqq qq qqq i2 q

g

!h

1 G (G, r) c

(F, q)

o (G, r) est un objet quelconque. En eet on a que i1 p est un morphisme car le diagramme G EF E pp pp p pp i1 p pp pq  i1 p p4  G EF E
i1 p

40

2. FIBRS VECTORIELS

commute. De mme i2 q est un morphisme. Dans la catgorie C on a

f

E pp pp pp p i1 p p5 EF Y xx xx x xx i xx 2 g F avec

!h

$ GG p

h i1 = f et h i2 = g On pose h = r h (p q). Vrions quavec cette dnition h fait laaire. (1) h est bien dnie (i.e. cest un morphisme dans C ). Il faut vrier que le diagramme suivant commute. GG EF pp pp h pp pq pp r p4   h GG EF r h = r r h (p q) = r h (p q) =h h (p q) = r h (p q) (p q) = r h ((p p) (g g)) = r h (p q) =h Ainsi h est un morphisme dans la catgorie C . (2) h a la proprit universelle. On observe dabord que f est un morphisme et donc f = r f = f p pour le diagramme GG Ed dd f p d dd r d1   f GG E
f h

Et donc on a que r f p = f.

6. PROPRITS ALGBRIQUES

41

De mme pour g on a que r g q = g. On calcule h i1 p = r h (p q) i1 p = r h i1 p car (p q) i1 p = i1 p =rf p =f Le mme raisonnement sapplique pour h i2 q = g Ainsi h a bien les proprites voulues. On vrie maintenant que HomC ((E, p), (F, q)) est un groupe ablien, ce qui nous permettera de dire que C est une catgorie additive. On sait que HomC (E, F ) est un groupe ablien. Llment 0 de HomC (E, F ) est aussi dans HomC ((E, p), (F, q)) car il stisfait au diagramme 0 G Ed F . dd 0 dd p dd q  0 G1  E F Pour deux morphismes f et g dans HomC ((E, p), (F, q)), dnissons f + g = f + g dans HomC (E, F ) Alors le diagramme
f +g GF Ed dd f +g dd p d q  f +g d1  GF E

commute car q (f + g) = q f + q g = f + g vu que f et g sont des morphismes et C est additive, ce qui nous permet de distribuer la composition. De mme on obtient que le triangle du bas commute. Ainsi f + g est dans HomC ((E, p), (F, q)) qui est donc un sous-groupe ablien de HomC (E, F ). Montrons maintenant que C est pseudo-ablienne. Soit f un projecteur de (E, p) C (en particulier f est un morphisme de C ). On veut prouver quil existe un noyau de f , ker f . Posons ker f = (E, p f ) (1) ker f est bien dni (i.e. cest un objet). Il faut vrier que p f est un projecteur. (p f ) (p f ) = p p p f f p + f f =pf f +f =pf

42

2. FIBRS VECTORIELS

Ainsi p f est un projecteur. (2) Montrons que ker f avec la che p f : (E, p f ) (E, p) a la proprit universelle du noyau. (a) p f est un morphisme de C car p (p f ) = p p p f = p f et dautre part (p f ) (p f ) = (p f ) comme vu avant. Donc le diagramme
pf GE Ed dd pf dd pf d p  pf d1  GE E

commute, et ainsi p f est un morphisme. (b) Vrions la proprit universelle

f (pf )=0

(E, p f ) e

pf

G (E, p) y

!h

0 G (E, p) vY 0 vvv g v vv vv (F, q)

f

o (F, q) est un objet et g un moprhisme dans C tel que f g = 0. Si h : (F, q) (E, p f ) est un morphisme dans C tel que le diagramme commute, alors on a (p f ) h = g et dautre part, vu que h est un morphisme, on a h q = (p f ) h = h alors h = (p f ) h = g. Posons donc h = g. Montrons que h : (F, q) (E, p f ) est un morphisme. On a (p f ) h = (p f ) g = p g f g = g 0 = g = h et hq =gq =g =h

6. PROPRITS ALGBRIQUES

43

Ainsi on a le diagramme commutatif GE F d dd h q d dd pf d  h G1  F E

h

et donc h est un morphisme. Maintenant il nous reste voir que le triangle de gauche commute. On a (p f ) h = (p f ) g = g et ainsi la proprit est veri. (3) On soccupe maintenant du foncteur : C C . On pose (E) = (E, ide ) pour tout objet E de C , et (f ) = f pour tout morphisme f de C . Montrons que f est un morphisme dans C pour tout morphisme f de C E F. On a le diagramme vident GF Ed dd f dd dd 1 f GF E
f f

et donc f est un morphisme. est pleinement dle car en eet on a HomC (E, F ) = HomC ((E, p), (F, q)) et on peut voir cette galit comme une bijection et un homomorphisme de groupes abliens. De plus est clairement additif. Montrons enn que (C , ) satisfait la proprit universelle souhaite C c cc cc cc c1

GC 
!

avec additif et D pseudo-ablienne. On pose (E, p) = ker((1 p)) (f ) = (f )|

ker((1p))

44

2. FIBRS VECTORIELS

On a (E) = (E, idE ) = ker((1 idE )) = ker((0) = ker(0(E) ) = (E). De plus (f ) = (f )|ker (1p) = (f )|(E) = (f ). Ainsi vrie la proprit voulue. Lunicit de (C , ) resulte des proprits universelles. De plus si on pose f = 1 p vue comme un morphisme de (E) vers (E), on obtient que le noyau de 1 p est (E, p), et ainsi pour la proposition 2.48 on a que (E) = (E, 1 p) (E, p). Ce qui montre que tout objet (E, p) de C est un facteur direct dun objet dans limage de , et ainsi est quasi-surjective. On achve ainsi la dmonstration. Dfinition 2.51. La catgorie C ici dcrite est appele la catgorie pseudoablienne associe C . Thorme 2.52. Soient C une catgorie additive, D une catgorie pseudoablienne et : C D un foncteur plienement dle tel que tout objet de D soit un facteur direct dun objet dans limage de , alors le foncteur dcrit dans le et D. thorme prcdent est une quivalence de catgorie entre C Dmonstration. Un foncteur est une quivalence de catgorie si et seulement si il est essentiellement surjectif et pleinement dle (Mac Lane page 91 [6]). (1) Montrons dabord que le foncteur est essentiellemetn surjectif (i.e. tout objet de D est isomorphe un objet de limage de ). Soit G un objet de D, par hypothse il existe un objet E dans C et un objet G dans D tels que (E) = G G . Par la proprite universelle de la somme directe on a le diagramme commutatif suivant
id

G qq qq i qq1 qq q5 GG wY i2 w w w w ww ww 0 G

.
!p1

$ GG p

6. PROPRITS ALGBRIQUES

45

Ainsi on a que p1 i1 = idG et p1 i2 = 0, et donc pour la proposition 18.5 page 31 du Mitchell [3] on a que = i1 p1 : (E) (E) est un projecteur et
1 G G G est le noyau de q = id qui est aussi un projecteur. Ainsi on obtient que G ker(q). = Comme est pleinement dle, on peut crire q comme (p) pour un certain projecteur p de E. Alors G est isomorphe (E, 1 p), en accord donne dans la preuve du thorme 2.50 avec la dnition de (2) Pour prouver que est pleinemetn dle, considrons deux objets H et qui sont des facteurs directs de (E) et (E ) respectivement. H de C Alors on a le diagramme E = G C (E, E ) m C (H, H ) C ((E), (E )) E,E H,H (E),(E ) @   F D((E), (E )) n D((H), (H ))

o les ches horizontales courbes sont induites par la decomposition en somme directe (E) = H H1 et (E ) = H H1 et les morphismes associs i1 , i1 , p1 etp1 . Autrement dit si H H est un morphisme entre H et H , alors on pose (E) (E) dni par la composition g = i1 f p1 ; et si (E) (E) est un morphisme entre (E) et (E ), alors on pose H H comme tant la composition l = p1 k i1 . On observe que (1) p1 (i1 f p1 ) i1 = (p1 i1 ) f (p1 i1 ) = idH f idH = f et i1 (p1 k ii )p1 = (i1 p1 ) k (i1 p1 ) (2) = (1 p ) k (1 p) =k o la premire identit est vidente et pour la deuxime on rappelle que si H = (E, p) alors i1 p1 = 1p comme dans la preuve de la proposition 2.48
l k g f

46

2. FIBRS VECTORIELS

et vu que 1 p est un projecteur sur (E) on a le diagramme commutatif (en considrant le mme pour (E ) et i1 p1 = 1 p ) G (E ) (E) qq qq k qq i1 p1 =1p i1 p1 =1p qq q5   G (E ) (E)
k k

car k est un morphisme. De plus on observe facilement que chacune des ches horizontales courbes dcrites ci-dessus est un homomprphisme de groupes ; ainsi grce 1 et 2 on a que ces ches sont des isomorphismes. De mme pour les ches en bas, avec le fait que est quasi-surjectif, on obtient que les ches sont des isomorphismes de groupes. On montre maintenant que le carr de droite commute. Pour faire ceci il sut de montrer que (i1 ), (i1 ), (p1 ), (p1 ) corresopondent aux analogues de i1 , i1 , p1 , p1 pour les ches en bas. En eet on a , par exemple pour i1 , E
i1

G EE

(E)
(i1 )

G (E E ) .

Or (E) (E ) (E E ), et ainsi linjection "en bas" corresponds = limage par de i1 . Enn vu quon sait que le carr de droite du diagramme commute, les ches courbes sont des isomorphismes et E,E est un isomorphisme par hypothse, on a que H,H est un isomorphisme. Ainsi est une quivalence de catgorie. Thorme 2.53. Soit C = VectT (X) la catgorie des brs triviaux sur X. Si X est compact, alors la catgorie pseudo-ablienne associe C est quivalente la catgorie Vect(X) des brs vectoriels sur X. Dmonstration. Soit : C D le foncteur dinclusion (pleinement dle). Par le thorme 2.45 on a que les hypothses du thorme 2.52 sont vries et donc on peut conclure que C est quivalente D. Thorme 2.54. Soit A un anneau unit. Posons C = L (A) la catgorie des modules libres de type ni. Alors C est quivalente D = P(A) la catgorie des modules projectifs de type ni. Dmonstration. Tout module libre est projectif, et on sait que tout module projectif est facteur direct dun module libre (pour plus de dtails voir Rotman pages 474-476 [2]). On considre encore une fois le foncteur dinclusion pleinement dle : C D. On obtient ainsi que les hypotses du thorme 2.52 sont vris, ce qui nous permet de conclure.

6. PROPRITS ALGBRIQUES

47

Remarque et Dfinition 2.55. Soit A = CK (X) lanneau des fonctions continues valeur dans K sur un espace X compact. Si E est un K-br vectoriel sur X, lensemble (X, E) des sections continues de E est muni dune structure de Amodule par s(x) = (x) s(x) o s (X, E) et A. Si E est un br trivial X Kn , on peut identier (X, E) An , et si dautre part on a E et E tels que E E X Kn , alors = (X, E) (X, E ) (X, E E ) An = = et ainsi (X, E) est un Amodule projectif de type ni (comme facteur direct dun module libre). On dnit alors : V ect(X) E E
f

P(A) (X, E)
(X, E) s
(f )

GF

(X, F ) f s

Thorme 2.56 (Serre-Swan). Le foncteur quon vient dintroduire est une quivalence de catgorie entre Vect(X)et P(A) o A = CK (X) et X est compact. Dmonstration. Le foncteur induit un foncteur T : VectT L (A) o VectT (X) est la sous categorie de Vect(X) des brs vectoriels triviaux sur X quon a dnit au thorme 2.53. Pour (2.55) on a An T (E) avec E = X Kn = et donc T est essentiellement surjective. Si F = X Kp et f : E F est un morphisme, alors T (f ) est represent par les matrices M (x) = (aji (x)), pour i = 1, . . . , n et j = 1, . . . , p et lapplication x M (x) concides avec f : X Ke (Kn , Kp ) selon la notation du thorme v 1.13. De plus, toujours par le thorme 1.13, on a que f est continue, donc T (f ) corresponds de manire unique une application continue de X vers Ke (Kn , Kp ). v Dautre part si h : X Ke (Kn , Kp ) est une application continue alors pour le v mme thorme h : E F est un morphisme de E dans F . Par la remarque 1.14 on a f = f et h = h, ainsi on a une bijection entre les morphismes de brs vectoriels de E dans F et les applications continues de X dans Ke (Kn , Kp ). Donc par v lidentiction faite entre les morphismes de T (E) dans T (F ) et les applications continues de X dans Ke (Kn , Kp ) on a une bijection entre les morphismes de brs v vectoriels de E dans F et les morphismes de modules libres de T (E) dans T (F ). Ainsi T est pleinement dle, et donc T est une quivalence de catgorie. Posons C = VectT (X) et D = P(A), et soit : C D la composition de T et linclusion de L (A) dans P(A). Comme le diagramme VectT (X) = C G C Vect(X) mmm mm mmm mmm  vm P(A) = D

48

2. FIBRS VECTORIELS

est commutatif, doit tre identi avec du thorme 2.50. De plus tout module projectif est un facteur direct dun module libre (Rotman page 476 [2]) et ainsi tout objet de D est un facteur direct dun objet dans limage de , ainsi pour le thorme 2.52 on a que est une quivalence de catgorie.

Bibliographie
[1] Karoubi, Max. KTheory, An Introduction. Springer-Verlag, 1978. [2] Rotman, Joseph J.. Advanced modern algebra. Prentice Hall Inc., 2002. [3] Mitchell, Barry. Theory of categories. Academic Press, 1965. [4] Husemoller, Dale. Fibre bundles. McGraw-Hill Book Co., 1966. [5] Herrlich, Horst & Strecker, George E.. Category theory : an introduction. Allyn and Bacon Inc., 1973. [6] Mac Lane, Saunders. Categories for the Working Mathematician. Springer-Verlag, 1971. [7] Alexandre, Xavier. Thorie des catgories. Projet de semestre lEPFL, t 2005.

49

Index

K-famille, 5 induite, 10 Morphisme, 6 Morphisme inverse, 7 Restriction, 10 triviale, 8 Catgorie additive, 20 des K-familles sur X, 7 des K-familles, 7 pseudo-ablienne, 36 pseudo-ablienne associe, 44 Equivalence de G-cocycles, 16 Fibr vectoriel, 13 Foncteur continu, 21 pleinement dle, 38 quasi-surjectif, 38 G-cocycle, 16 Rang dun br vectoriel, 15 Section , 25 zero, 25

51