Professional Documents
Culture Documents
Coomologia
Chiacchiere.
........................................
fj
fj+1
Vj1 ........................................ Vj ........................................ Vj+1 ........................................
di omomorfismi (applicazioni lineari, eccetera) di gruppi abeliani (spazi vettoriali, eccetera) `e esatta in Vj se Ker fj+1 = Im fj ; ed `e esatta se lo `e in tutti
i suoi elementi.
In particolare, una successione esatta della forma
O
................................
................................
................................
................................
(4.1)
................................
................................
112
4 Coomologia
................................
................................
`e esatta equivale a dire che g: V W `e surgettiva. In particolare, in una successione esatta corta (4.1) il morfismo f `e iniettivo, il morfismo g `e surgettivo
e W `e isomorfo al quoziente V /f (U ).
Definizione 4.1.4. Un gruppo abeliano (spazio vettoriale, eccetera) C `e graduato su N se si pu`o scrivere come somma diretta di sottogruppi (sottospazi,
eccetera) nella forma
!
C=
Ck ;
kN
dd=O .
kN
#
$
Esempio 4.1.6. Sia M una variet`a. Allora la coppia A (M ), d , dove
A (M ) =
Ak (M )
kN
113
...............................
...............................
...............................
...............................
...............................
...............................
(4.2)
una successione esatta corta di morfismi di cocatene. Allora esiste un morfismo graduato d : H (C) H (A) di grado 1 tale che la successione
...............................................
sia esatta.
F
G
d
H k (A) ....................................... H k (B) ....................................... H k (C) ................................. H k+1 (A) .........................................
(4.3)
Dimostrazione. Il fatto che (4.2) sia una sequenza esatta corta di morfismi
di cocatene equivale a dire che il seguente diagramma `e commutativo a righe
esatte:
114
4 Coomologia
...................................................
.
.........
...
....
..
...
...
...
...
...
..
.
.........
...
....
..
...
...
...
...
...
..
.
.........
...
....
..
...
...
...
...
...
..
.
.........
...
....
..
...
...
...
...
...
..
.
.........
....
..
...
...
...
...
...
...
..
.
.........
...
....
..
...
...
...
...
...
..
F ..
G ..
..
Ak+1 ........................................... B k+1 ........................................... C k+1 ................................................. O
d
........................................................
Ak
d
F
........................................................
.
..........
..
...
...
...
...
...
...
...
..
Bk
d
G
........................................................
.
..........
..
...
...
...
...
...
...
...
..
Ck
........................................................
.
..........
...
....
..
...
...
...
...
...
..
...
.
.........................................................
...
.
.......................................................
da
...
.
.............................................
.
..........
.....
..
...
...
...
...
...
.
...........
ddb = O
.
..........
....
...
...
...
...
...
...
.
..........
.
.
.
F
G
a, a$ ................................................. db, db$ ........................................... dc = O ................................................. O
..
..........
....
...
...
...
...
...
...
.
..........
d
O
...
.
.........................................................
a$$
..
..........
....
...
...
...
...
...
...
.
..........
..
..........
....
...
...
...
...
...
...
.
..........
d
F
...
.
.......................................................
.
G
b, b$ .......................................................... c
..
.........
..
....
..
...
...
...
...
...
.
..........
b$$
...
.
.........................................................
...
.
.........................................................
...
.
.........................................................
..
.........
..
....
..
...
...
...
...
...
.
..........
c$
115
&
'
116
4 Coomologia
Dimostrazione. Infatti K `e un operatore di omotopia fra lidentit`a e il morfismo nullo, e la tesi segue dalla Proposizione 4.1.15.
&
'
Un ultimo risultato generale molto utile `e il seguente:
Lemma 4.1.17 (dei cinque). Sia dato il seguente diagramma commutativo
di morfismi con le righe esatte:
A
f1
................................
...
...
...
...
..........
.
................................
f1$
f2
................................
...
...
...
...
..........
.
f3
................................
...
...
...
...
..........
.
................................
f2$
................................
f3$
f4
................................
E
...
...
...
...
...
...
..........
.
%.............
.....
................................
f4$
E$
117
:
U
U
U
U
linclusione
di
U
U
j
0
1
0
1
0
1 in Uj (con j = 0, 1), e con
%
: U0 U1 M linclusione. Abbiamo quindi una successione di inclusioni
M
..................................
U0
...............
....................0
U1 ..................................... U0 U1
1
.....................................
A (M ) ............................. A (U0 ) A (U1 ) ......................................... A (U0 U1 )
.
1
Prendendo la differenza degli ultimi due morfismi otteniamo la successione di
Mayer-Vietoris:
O
.........................................
(, ) ................................................................................................................
(4.4)
..............................
d
H k (M ) .............................. H k (U0 ) H k (U1 ) ................. H k (U0 U1 ) .................. H k+1 (M ) .......................
(4.5)
&
'
d [] =
[d0 ]
in U1 .
In particolare, il supporto di d [] `e contenuto in U0 U1 .
118
4 Coomologia
Esempio 4.2.3. Calcoliamo la coomologia di R. Le 0-forme sono funzioni. Lunica 0-forma esatta `e la funzione nulla; una 0-forma f `e chiusa se e solo se
df 0, cio`e se e solo se `e costante. Quindi H 0 (R) = R.
Le 1-forme su R sono tutte (banalmente) chiuse; vogliamo mostrare che
sono anche esatte. Infatti, data = f dx A1 (R), poniamo
' x
g(x) =
f (t) dt ;
0
..............................
d
R R ......................................... R R ..................................... H 1 (S 1 ) ........................... O
per cui H 1 (S 1 )
= (R R)/ Im , dove : H 0 (U0 ) H 0 (U1 ) H 0 (U0 U1 ) `e il
morfismo indotto in coomologia da 1 0 . Chiaramente, (a, b) = (ba, ba);
quindi dim Im = 1. Riassumendo,
(
R se k = 0, 1 ;
H k (S 1 ) =
O se k > 1 .
119
Vogliamo far vedere che il bordo di una variet`a orientata `e automaticamente orientato. Per farlo ci serve il seguente
j /= per j = 0, 1, dove
Lemma 4.3.5. Siano U0 , U1 Hn aperti di Hn con U
j = Uj Hn . Sia F : U0 U1 un diffeomorfismo con determinante jacobiano
U
0 U
1 , visto
sempre positivo. Allora il determinante jacobiano di F = F |U0 : U
n1
come diffeomorfismo di aperti di R
, `e sempre positivo
Dimostrazione. Scriviamo x = (x$ , xn ), con x$ = (x1 , . . . , xn1 ), e analogamente F = (F $ , F n ), con F $ = (F 1 , . . . , F n1 ); dunque F (x$ ) = F $ (x$ , 0). Per
ogni (x$ , 0) U0 Hn abbiamo
*
*
* Jac F (x$ ) Fn! (x$ , 0) *
$
*
* .
x
0 < det Jac F (x , 0) = det * F n $
F n
$
*
x! (x , 0) xn (x , 0)
120
4 Coomologia
0 ) U
1 implica F n (x$ , 0) 0; quindi
Ora, F (U
0 < det Jac F (x$ , 0) =
F n $
(x , 0) det Jac F (x$ ) .
xn
F n
$
xn (x , 0)
> 0, e la
&
'
'
f $ n
(x , x ) dxn = lim [f (x$ , t) f (x$ , t)] = 0
t+
xn
121
n
.
j=1
/j dxn ,
gj (x$ , xn ) dx1 dx
n
.
g
j
d = (1)j1 j (x$ , xn ) dx1 dxn .
x
j=1
Ora, se 1 j n 1 si ha
' +
gj $ n
(x , x ) dxj
xj
xj +
gn $ n
(x , x ) dxn = lim gn (x$ , t) gn (x$ , 0) = gn (x$ , 0) ,
t+
xn
Hn
122
4 Coomologia
&
'
g
Osservazione 4.3.10. In R2 , se = f dx+g dy allora d = x
f
dxdy,
y
per cui il classico Teorema di Gauss-Green diventa un caso particolare del
Teorema di Stokes.
In 5R3 , se = f3 dx1 6
dx2 +f1 dx2 dx3 +f2 dx3 dx1 `e una 2-forma allora
f2
f3
f1
d = x
+ x
+ x
dx1 dx2 dx3 ; quindi identificando con il campo
1
2
3
vettoriale di coordinate (f1 , f2 , f3 ) vediamo che anche il classico teorema della
divergenza `e un caso particolare del teorema di Stokes.
dx3 dx1 ,
3
x1
per cui d rappresenta il rotore del campo X. Infine, se al campo X associamo
anche la 2-forma = f3 dx1 dx2 + f1 dx2 dx3 + f2 dx3 dx1 , allora d
rappresenta chiaramente la divergenza di X.
In particolare, la relazione dd = O ha come casi particolari i fatti ben noti
che il rotore di un gradiente o la divergenza di un rotore sono identicamente
nulli.
123
f dt ,
k1
f (p, t) dt ;
K(f ) = O
e
K(f dt) = (1)
t0
f
dt ,
t
4n f
j
dove in coordinate locali `e data da =
e
j=1 xj (dx ), e quindi `
combinazione lineare di forme del primo tipo. Quindi
df = +
(dK Kd) = Kd = K (f d( ) + df )
,
f
= K f (d) + + (1)k dt
t
,' s
f
=
(p, t) dt = f f (, t0 )
t
t0
= (id ) ,
dK = (1)
d
f (p, t) dt
t0
,' s
= K( dt) + + (1)k1
f (p, t) dt d ,
t0
troviamo
k1
K( dt) (1)
f (p, t) dt d
t0
= = (id s ) ,
124
4 Coomologia
e ci siamo.
&
'
U1 = {x S n | xn+1 < }
.................................
d
H k (S n1 ) ................................ H k+1 (S n ) ................................................... O
per k 1 e
1 0
R R ............................................ R
.........................................................
H 1 (S n ) ......................................................... O
125
&
'
126
4 Coomologia
Esempio 4.5.3. Calcoliamo la coomologia a supporto compatto di R. Le 0forme sono funzioni. Lunica 0-forma esatta `e la funzione nulla; una 0-forma
f `e chiusa se e solo se df 0, cio`e se e solo se `e costante. Ma lunica funzione
costante a supporto compatto in R `e la funzione nulla; quindi Hc0 (R) = O.
Le 1-forme a supporto compatto su R sono tutte (banalmente) chiuse; vogliamo capire quando sono esatte come forme a supporto compatto.
Supponiamo che = df , con f A0c (R); allora
'
' +
=
f $ (t) dt = 0 ,
R
perche f `e a supporto
compatto. Quindi lintegrale su R definisce unappli+
cazione lineare R : Hc1 (R) R, chiaramente
+ surgettiva; dimostriamo che `e
anche iniettiva. Sia = g dt A1c (R) con R = 0. Allora g Cc (R) ha
supporto compatto, contenuto diciamo nellintervallo [a, b]. Poniamo
' t
f (t) =
g(s) ds ;
+
127
......................
(4.7)
..............................
d
Hck (M ) .............................. Hck (U0 ) Hck (U1 ) ................ Hck (U0 U1 ) .................... Hck1 (M ) .......................
(4.8)
&
'
128
4 Coomologia
(M R) ponendo
e(t) dt = 1. Definiamo e# : Ac (M ) A+1
c
R
e# () = e .
f dt ,
k
binazione lineare di forme del primo tipo. Dunque se f Ac (M R) `e
una forma del primo tipo otteniamo
,
#
$
f
# d(f ) = # ( ) + (1)k #
dt
t
,'
f
= (1)k
(p, t) dt = O = d# (f ) ,
t
in quanto
'
#
$
f
(p, t) dt = lim f (p, t) f (p, t) = 0
t+
t
129
(4.9)
k1
K(f dt) = (1)
f (p, t) dt E(t)
f (p, t) dt ,
dove
E(t) =
'
e(s) ds ;
(id e# # ) = f dt
f (p, t) dt e ;
7,' s
8
'
k1
dK = (1)
d
f (p, t) dt E(t)
f (p, t) dt
,' s
= (1)k1
f (p, t) dt d + f dt
130
4 Coomologia
,'
(1)k1 E(t)
f (p, t) dt d
,'
f (p, t) dt e + K( dt) ;
e ci siamo.
Kd = K( dt + f d dt)
,' s
k1
= K( dt) + (1)
f (p, t) dt d
,'
k1
(1)
E(t)
f (p, t) dt d ,
&
'
4.6 La dualit`
a di Poincar
e
Il ragionamento fatto nellEsempio 4.4.3 suggerisce che, usando la successione di Mayer-Vietoris, potrebbe essere possibile ricostruire la coomologia di
una variet`a partendo dalla combinatoria di un atlante con domini delle carte diffeomorfi a Rn e con intersezioni controllate. Lo strumento tecnico che
permette di realizzare questo programma `e quello di buon ricoprimento.
Definizione 4.6.1. Un buon ricoprimento (o ricoprimento di Leray) di una
variet`a n-dimensionale M `e un ricoprimento aperto {U } di M tale che ogni
intersezione finita non vuota U1 Ur sia diffeomorfa a Rn . Una variet`a
con un buon ricoprimento finito sar`a detta di tipo finito.
Definizione 4.6.2. Un insieme diretto `e un insieme I con un ordine parziale
< tale che per ogni a, b I esiste c I con c < a e c < b. Un sottoinsieme
J I `e cofinale se per ogni i I esiste j J tale che j < i.
4.6 La dualit`
a di Poincare
131
.................................
deduciamo
r
d
H k1 (U V ) ................................. H k (U V ) ............................................ H k (U ) H k (V ) ...........................
H k (U V )
= Ker r Im r
= Im d Im r .
132
4 Coomologia
Di conseguenza,
+ lintegrazione di n-forme a supporto compatto induce unoperatore lineare M : Hcn (M ) R. In particolare, per ogni 0 k n = dim M
otteniamo unapplicazione bilineare
'
: H k (M ) Hcnk (M ) R
data da
(, ) 5
'
4.6 La dualit`
a di Poincare
133
....................... H k (U V
.................. H nk (U V
c
s.
.
.d
.
) ..................... Hcnk (U )Hcnk (V ) .......................... Hcnk (U V ) ........................... Hcnk1 (U V ) ...............
...
...
...
......... U V
.
...
...
..
.......... U
.
...
...
..
.......... U V
.
...
...
..
.......... U V
.
ottenuto mettendo insieme le due successioni di Mayer-Vietoris, `e commutativo a meno del segno.
Dimostrazione. La commutativit`a nel quadrato a sinistra `e conseguenza della
formula
'
'
'
(j 1 + j 2 ) =
|U 1 +
|V 2 ,
U V
U V
U V
U V
U V
U V
U V
U V
&
'
n
lapplicazione
bilineare
+
k
nk
:
H
(M
)
H
(M
)
R
`
e
non
degenere.
In
particolare,
c
M
H k (M )
= Hcnk (M )
per ogni 0 k n.
(4.10)
134
4 Coomologia
Dimostrazione. Procediamo per induzione sulla cardinalit`a di un buon ricoprimento {U1 , . . . , Ur } di M . Se r = 1, la variet`a M `e diffeomorfa a Rn , per
cui la tesi `e ovvia
+ per k > 0, grazie
+ ai Corollari 4.4.2 e 4.5.9. Per k = 0, sia
Hcn (M ) con M = 1; allora M : H 0 (M ) Hcn (M ) R `e data da
'
(a, b) 5 a
b = ab ,
M
............
...
...
...
...
..........
.
...
...
...
...
..........
.
...
...
...
...
..........
.
...
...
...
...
..........
.
...
...
...
...
..........
.
Hcnk (M )
.......................
Hcnk (U ) Hcnk (V )
................. H nk (U V )
c
in cui la prima, seconda, quarta e quinta freccia verticale sono degli isomorfismi. Il Lemma 4.1.17 ci assicura allora che anche la terza freccia centrale `e
un isomorfismo, e la tesi segue subito dal Lemma 4.6.8.
&
'
Possiamo spingere questo argomento anche pi`
u in l`a:
morfismi r: H (M ) k H (Mk ) ed s: Hc (M )
H
c (Mk ), e quindi
k
(ricordando che il duale della somma diretta
`
e
il
prodotto
diretto
dei duali;
9
vedi la Proposizione ??) un isomorfismo s : k Hc (Mk ) Hc (M ) . Usando
il Teorema 4.6.10 troviamo il diagramma commutativo
9
r
H (M ) ........................................................... k H (Mk )
+
Quindi
caso.
...
...
...
...
...
...
.
M ......
...
.
.........
.
...
...
...
...
...
...
...
...
...
..
.........
.
9 +
k
Mk
s 9
Hcn (M ) ........................................ k Hcn (Mk )
#9 + $
= s
e un isomorfismo, e la tesi segue in questo
k Mk r `
4.6 La dualit`
a di Poincare
135
Sia ora M orientata qualsiasi, e U = {U } un buon ricoprimento numerabile di M . Siccome M ha una base numerabile, e i buoni ricoprimenti sono
cofinali nella famiglia dei ricoprimenti aperti, possiamo anche supporre che
{U } sia una base della topologia di M .
#
$
Sia f C (M ) una esaustione (cio`e f 1 (, a] `e compatto per ogni
a R). Per ogni m Z poniamo
Am = {p M | m f (p) m + 1} ,
A$m = {p M | m 12 < f (p) < m + 32 } .
Siccome U `e una base, ogni punto di Am appartiene a un elemento di U
contenuto in A$m . Ma ciascun Am `e compatto; quindi possiamo ricoprire Am
con un numero finito di elementi di U contenuti in A$m . Sia Bm A$m la loro
unione; in particolare, Bm `e di tipo finito.
Per costruzione, Bm pu`o intersecare Bm! solo se m$ = m 1 (perche?);
quindi se poniamo
:
:
U=
B2k
e
V =
B2k+1 ,
kZ
kZ
136
4 Coomologia
).
Sia An (M ); dobbiamo dimostrare che `e esatta. Sia
= An (M
=
A
=
+
= 0. La dualit`a di Poincare implica allora che
`e esatta,
da cui segue M
) con
per cui esiste An1 (M
= d.
Poniamo = 12 ( + A ). Siccome il differenziale esterno commuta con i
pull-back, d
=
; inoltre, essendo A2 = idM , si ha A = . Questultima
affermazione implica che esiste An1 (M ) tale che = . Infatti, sia
U M un aperto ben rivestito; allora esistono esattamente due sezioni 0 ,
del rivestimento su U , collegate da 1 = A 0 . Quindi
1 : U M
1 = 0 A = 0 ;
dunque ponendo |U = 0 definiamo una (n 1)-forma globale su M .
Infine,
d|U = d0 = 0 d
= 0
= 0 = |U ,
in quanto 0 = idU , e quindi = d, come voluto.
&
'
137
K p,q .
p+q=n
Definizione 4.7.2. Sia (K, d, ) un complesso doppio. Il complesso differenziale (K, D) appena definito `e il complesso differenziale indotto da (K, d, ).
La coomologia del complesso doppio (K, d, ) `e per definizione la coomolo
gia HD
(K) del complesso (K, D) indotto.
Osservazione 4.7.3. Un elemento K n `e, per definizione, una somma
= 0,n + 1,n1 + + n1,1 + n,0
con p,q K p,q . Quindi
D = d0,n + (0,n d1,n1 ) + + (n1,1 + (1)n dn,0 ) + n,0 ,
per cui
(D)p,q
d0,n
= p1,q + (1)p dp,q1
n,0
se p = 0 e q = n + 1 ;
se 0 < p < n + 1 e q = n + 1 p ;
se p = n + 1 e q = 0 .
In particolare,
D = O
e
= D
d0,n = O ,
p,q = (1)p dp+1,q1
n,0
= O ;
0,n = d 0,n1 ,
p,q = p1,q + (1)p d p,q1
n,0
= n1,0 .
(4.11)
138
4 Coomologia
Lemma 4.7.4. Sia (K, d, ) un complesso doppio con righe esatte. Allora ogni
n
classe di coomologia [] HD
(K) `e rappresentata da un elemento K 0,n
che `e d-chiuso e -chiuso.
Dimostrazione. Sia 0 = 0,n + + n,0 K n un D-cociclo rappresentante []. Siccome D0 = O, la (4.11) ci dice che n,0 = O; lesattezza
delle righe implica quindi che esiste K n1,0 tale che n,0 = . Poniamo
1 = 0 D; allora 1 `e ancora un D-cociclo rappresentante [], ma senza componente in K n,0 . La (4.11) dice allora che la componente in K n1,1
di 1 `e -chiusa; lesattezza delle righe implica che `e anche -esatta, e quindi
come prima possiamo sottrarre a 1 un D-cobordo in modo da ottenere un
rappresentante di [] senza componenti ne in K n,0 ne in K n1,1 .
Procedendo in questo modo otteniamo un rappresentante K 0,n di [];
e usando ancora (4.11) da D
= O deduciamo d = O e = O, ed `e fatta.
&
'
Lidea `e che un complesso doppio con righe esatte pu`o essere usato per
calcolare la coomologia di un complesso che possa essere inserito come colonna
iniziale del complesso doppio, formando un complesso doppio aumentato:
Definizione 4.7.5. Un complesso doppio aumentato `e dato da un complesso
doppio (K, d, ), un complesso differenziale (A, d) e un morfismo r: A K
che soddisfa le seguenti condizioni:
(i) r(Aq ) K 0,q per ogni q N;
(ii) r `e iniettivo;
(iii) r d = d r;
(iv) r = O.
................................
Aq
.............................
..
..
..
K 0,q ......................... K 1,q ......................... K 2,q ...........................
r : H (A) HD
(K) in coomologia; vogliamo dimostrare che r `e un isomorfismo.
n
Sia [] HD
(K). Per il Lemma 4.7.4, possiamo trovare un -cociclo e d0,n
cociclo K
rappresentante []. Lesattezza delle righe ci fornisce allora
un An tale che r() = . Inoltre r(d) = dr() = d = O; essendo r
iniettivo troviamo d = O. Quindi `e un d-cociclo tale che r [] = [], per
cui r `e surgettiva.
139
>
Aq (U0 ...p ) .
0 <<p
(4.13)
p+1
.
j=0
(4.14)
140
4 Coomologia
h1
.
j=0
h1
.
j=0
k1
.
j=h+1
p+1
.
j=k+1
k1
.
j=h+1
p+1
.
j=k+1
come voluto.
Per vedere che = O basta osservare che
( 2 )0 ...p+2 =
p+2
.
j=0
p+2 .
j1
.
j=0 i=0
p+2 .
p+2
.
j=0 i=j+1
0i<jp+2
0j<ip+2
=O.
Infine, d = d `e ovvio.
141
Definizione 4.7.10. Sia U un# ricoprimento aperto numerabile di una variet`a M . Il complesso doppio C (U, A ), d, ) `e detto complesso doppio di
Mayer-Vietoris associato al ricoprimento U.
Per applicare il Teorema 4.7.6 dobbiamo aumentare il complesso doppio di
Mayer-Vietoris. Sia r: A (M ) C 0 (U, A ) il morfismo dato da r() = |U
per ogni J. Liniettivit`a di r segue subito dal fatto che U `e un ricoprimento.
Inoltre
#
$
r() 0 1 = (|U1 U0 )|U0 1 = O ;
#
$
#
$
quindi r: A (M ), d C (U, A ), d, `e un complesso doppio aumentato.
.....................
r() = .
Grazie al Corollario 4.1.16, per dimostrare lesattezza del resto della successione basta trovare un morfismo graduato K: C (U, Aq ) C (U, Aq ) di
grado 1 tale che K + K = id.
Scegliamo una partizione dellunit`a { } subordinata al ricoprimento U, e
per C p (U, Aq ) poniamo
.
(K)0 ...p1 =
0 ...p1 .
Allora
(K)0 ...p =
p
.
j=0
142
4 Coomologia
p .
.
j=0
(K)0 ...p =
()0 ...p
@
.
0 ...p +
p
..
j=0
&
'
d,
che se (K, d, ) `e un complesso doppio, allora il complesso doppio (K,
p,q = (1)p e |
p,q = (1)q d, cio`e scambiando
p,q = K q,p , d|
definito da K
K
K
righe e colonne, ha la stessa coomologia del complesso originale. Aumentare
)
equivale ad aggiungere una riga iniziale al com d,
il complesso doppio (K,
plesso doppio originale, cio`e ad avere un complesso differenziale (C, ) e un
morfismo graduato i: C K che soddisfa le seguenti condizioni:
coomologia H
del ricoprimento U.
` importante notare che la coomologia di Cech
E
di un ricoprimento dipende soltanto dalla combinatoria del ricoprimento, cio`e dalla struttura delle
intersezioni dei vari aperti del ricoprimento.
Inoltre, la dimostrazione del Teorema 4.7.12 non si applica al comples
so di Cech,
in quanto anche se C p (U, R) non `e affatto detto che
143
................
i
d
d
C p (U, R) ....................... C p (U, A0 ) ...................... C p (U, A1 ) ...................... C p (U, A2 ) ......................................
Questa successione `e esatta in C p (U, R) e C p (U, A0 ) per costruzione. Lostruzione allesattezza della successione in C p (U, Aq ) per q 1 `e invece data dai
gruppi di coomologia q-esima delle intersezioni di p + 1 elementi di U.
Di conseguenza, se U `e un ricoprimento qualsiasi non `e detto che le colonne
del complesso doppio di Mayer-Vietoris siano esatte, per cui la coomologia
di Cech
di U non `e necessariamente isomorfa alla coomologia del complesso
doppio di Mayer-Vietoris. Ma se U `e un buon ricoprimento, allora il lemma
di Poincare ci assicura che la coomologia di tutte le intersezioni `e banale;
quindi le colonne del complesso doppio di Mayer-Vietoris sono esatte, e il
Cech
di un buon ricoprimento `e un invariante topologico della variet`a; e questo
implicher`a che anche la coomologia di de Rham lo `e.
144
4 Coomologia
(c) F() = O;
(d) se {Uj }jJ `e un ricoprimento aperto dellaperto U X, e s, t F(U )
sono tali che s|Uj = t|Uj per tutti i j J, allora s = t (in altre parole, le
sezioni sono univocamente definite dalle loro restrizioni locali);
(e) se {Uj }jJ `e un ricoprimento aperto dellaperto U X, e sj F(Uj )
sono sezioni tali che si |Ui Uj = sj |Ui Uj per ogni i, j J, allora esiste
s F(U ) tale che s|Uj = sj per ogni j J (in altre parole, sezioni locali
compatibili si incollano).
A volte si usa la notazione (U, F) per indicare F(U ). Gli elementi di F(X)
sono detti sezioni globali di F.
Esempio 4.8.2. Sia M una variet`a. Allora possiamo definire un fascio EM associando a ogni aperto U M lanello EM (U ) = C (U ) delle funzioni differenziabili definite su U , e a ogni inclusione di aperti loperatore di restrizione.
Il fascio EM (a volte indicato con C ) `e detto fascio dei germi di funzioni
differenziabili su M ; nellEsempio 4.8.8 giustificheremo questa terminologia.
In modo analogo si pu`o definire il fascio dei germi di funzioni C k per
qualsiasi k N, o il fascio ApM dei germi di k-forme su M , o il fascio dei germi
di funzioni analitiche reali su una variet`a analitica reale, o il fascio O delle
funzioni olomorfe su una variet`a complessa.
Esempio 4.8.3. Sia G un gruppo abeliano qualsiasi. Il fascio banale di gruppo G su uno spazio topologico X `e ottenuto assegnando a ciascun aperto di X
il gruppo G e ponendo U
V = idG per ogni coppia di aperti U V X.
Esempio 4.8.4. Sia F il prefascio su R che associa a ogni aperto U R lanello
delle funzioni continue limitate su U , e a ogni inclusione di aperti loperatore
di restrizione. Si vede subito che F `e un prefascio ma non un fascio, in quanto
la propriet`a (e) non `e soddisfatta: se Uj = (j, j) per j N, allora le sezioni
sj = idR |Uj F(Uj ) sono compatibili ma non sono la restrizione di alcuna
sezione globale s F(R).
145
146
4 Coomologia
Definizione 4.8.9. Sia U = {U }J un ricoprimento aperto di uno spazio topologico X, dove J `e un insieme totalmente ordinato. Per r N e
0 , . . . , r J poniamo
U0 ...r = U0 Ur .
Se F `e un prefascio su X e p N, il gruppo delle p-cocatene su U a valori
in F `e
>
F(U0 ...p ) .
C p (U, F) =
0 <<p
Una p-cocatena s C p (U, F) `e una collezione {s0 ...p } di sezioni locali del
prefascio F; quando gli indici non sono ordinati, useremo la convenzione
s (0) ... (p) = sgn( )s0 ...p
per ogni permutazione Sp ; in particolare s0 ...p = O non appena i = j
per qualche i /= j.
p+1
.
j=0
Definizione 4.8.12. Sia V = {V }B un raffinamento di un ricoprimento aperto U = {U }A di uno spazio topologico X. Una funzione di
raffinamento `e una : B A tale che V U() per ogni B.
Dato un prefascio F su X e una funzione di raffinamento : B A
definiamo # : C (U, F) C (V, F) ponendo
(# s)0 ...p = s(0 )...(p ) |V0 ...p
per ogni s C p (U, F) e p N.
147
p+1
.
(1)j (# s)
p+1
.
j=0
0 ...j ...p+1
j=0
(1)j (s(
|V0 ...p+1
0 )...(j )...(p+1 )
|V
0 ...j ...p+1
)|V0 ...p+1
(Ks)0 ...p1 =
j=0
Allora
(Ks)0 ...p =
p
.
(1)i (Ks)
(1)i+j s
/i )...(p )
(0 )...(j )(j )...(
0j<ip
0 ...i ...p
i=0
(1)i+j1 s(
e
(Ks)0 . . . p =
p
.
0i<jp
j=0
p
.
(1)j
j=0
p
.
i=0
(1)
j=0
j
.
(1)i s(
p
.
(1)i+1 s
i=j
(1)i+j s(
0i<jp
/i )...(p )
(0 )...(j )(j )...(
148
4 Coomologia
p
.
j=0
(1)i+j+1 s(
0j<ip
p
.
i=0
La coomologia di Cech
di uno spazio topologico X a coefficienti in un dato
gruppo G `e chiaramente un invariante topologico di X. Possiamo quindi finalmente dimostrare limportante teorema di de Rham, che implica fra le altre
cose che i gruppi di cooomologia di de Rham sono degli invarianti topologici
di una variet`a:
Teorema 4.8.15 (de Rham). La coomologia di de Rham di una variet`
a `e
4 Esercizi
149
segue (Esercizio 4.4) che possiamo passare al limite diretto e ottenere liso
morfismo : H(M,
R) H (M ) cercato.
&
'
Esercizi
Esercizio 4.1. Sia K M un compatto in una variet`a. Dimostra che esiste un
intorno aperto U M di K tale che U sia una variet`a con bordo compatta.
Esercizio 4.2. Sia {Gi }iI un sistema diretto di gruppi. Dimostra che la relazione introdotta nella Definizione 4.8.6 `e una relazione dequivalenza, e
che il limite diretto lim Gi ha ununica struttura di gruppo rispetto a cui le
iI
Esercizio 4.3. Sia {Gi }iI un sistema diretto di gruppi, e J I un sottoinsieme cofinale. Dimostra che lim Gj `e canonicamente isomorfo a lim Gi .
jJ
iI
Esercizio 4.4. Sia {Gi }iI un sistema diretto di gruppi. Sia G un gruppo, e supponiamo di avere una famiglia di morfismi i : Gi G tali che i fji = j per
ogni coppia di indici i j. Dimostra che esiste un unico morfismo : lim G
iI
Esercizio
B 4.5. Sia F un fascio su uno spazio topologico X, e indichiamo con
F = xX Fx lunione disgiunta delle spighe del fascio, e indichiamo con
: F X lovvia proiezione. Se U X `e aperto, una sezione s F(U ) determina un germe sx Fx per ogni x U , e quindi unapplicazione s: U F .
Dimostra che esiste ununica topologia minimale su F rispetto a cui tutte queste applicazioni s: U F sono continue e aperte; che questa topologia induce
la topologia discreta su ogni spiga; e che : F X `e un omeomorfismo locale.
Linsieme F con questa topologia `e detto spazio etale associato al fascio F.
Esercizio 4.6. Sia U = {U }J un ricoprimento aperto di uno spazio topologico X, dove J `e un insieme totalmente ordinato, e F un prefascio su X.
Procedendo come nel Lemma 4.7.9 dimostra che il morfismo introdotto nella
Definizione 4.8.10 `e ben definito e soddisfa = O.
Esercizio 4.7. Dimostra che H 1 (M ) = O per ogni variet`a M semplicemente
connessa.
Esercizio 4.8. Dimostra che H p (M, EM ) = O per ogni p 1 e ogni variet`a M ,
dove EM `e il fascio dei germi di funzioni differenziabili. (Suggerimento: usa le
partizioni dellunit`a.)