Fibrati e Connessioni

Transcript

1 Fibrati e Connessioni Guy Le Baube, Rue Bois Le Vent (1971)

2 1 Generalità sui Fibrati Vettoriali. Nel seguito B è uno spazio topologico connesso e paracompatto (vuol dire che B è di Hausdorff e ogni ricoprimento aperto di B ammette un raffinamento aperto localmente finito), detto spazio di base. Definizione 1.1 [Fibrato Vettoriale]: Un fibrato vettoriale reale ξ su B consiste nei dati seguenti: Uno spazio topologico E detto spazio totale; Una mappa continua e suriettiva π : E B detta proiezione; Una struttura di R-spazio vettoriale su ciascuna delle fibre π ({b}) = F b. Tali dati devono soddisfare la seguente condizione di trivializzazione locale: Per ogni b B esistono un intorno U B e un omeomorfismo tali che il diagramma sotto sia commutativo. h b : U F b = π (U) (1) π (U) h U F b (2) π U proj 1 U ed F b hanno la topologia di sottospazio e U F b la prodotto. Grazie ad h resta definito un isomorfismo tra R κ (ove κ = dim R F b ) e F b stesso mediante la corrispondenza x h(b, x). Una coppia (h, U) come sopra è detta sistema di coordinate locali, o trivializzazione locale per il fibrato ξ. Se si può scegliere U = E, il fibrato ξ è detto triviale su B. Lo spazio vettoriale F b è detto fibra di ξ sopra E. Se c è pericolo di confusione si denota F b (ξ). Per l ipotesi di suriettività fatta, F b per ogni b B. La dimensione di F b (che supponiamo ora e sempre finita) è una funzione continua B N (con la topologia discreta sul secondo), che deve perciò essere localmente costante. Osservazione 1 : In una terminologia più generale, un fibrato (anche non vettoriale) su uno spazio B consiste nel dato di una applicazione continua e suriettiva p: E B, tale che ogni x B abbia un intorno U per cui p (U) = U F x, per qualche spazio topologico F x : questa sola condizione assicura che p ({x}) = F x, e dunque F x si può sensatamente pensare come lo spazio della fibra di x B. Gli aperti U della condizione sono detti aperti banalizzanti; la classe di omeomorfismo della fibra F x è costante restando su un aperto banalizzante, dunque è localmente costante; si può eliminare il pedice x chiamando F la fibra. Appare chiaro dove aggiungere delle ipotesi per ottenere fibrati vettoriali; un omomorfismo di fibrati vettoriali è una mappa continua verso B che rispetta le fibre, ossia tale che φ F sia una applicazione lineare tra le fibre. La nozione di fibrato vettoriale liscio si può dare analogamente. 2

3 1.0.1 Alcuni Esempi. Esempio 1.1 [Fibrato Banale]: Il fibrato banale ɛ B con spazio totale E = B R n ha la mappa di proiezione π : E B : (b, x) b Osservazione 2 : Un fibrato è triviale se e solo se è isomorfo a ɛ B. Esempio 1.2 [Fibrato Tangente]: Il fibrato tangente τ M ad una varietà liscia M di dimensione n è un fibrato liscio (con un argomento classico si riesce a dotare T M di una struttura di varietà liscia). Lo spazio totale è la varietà T M = p M T pm, ovvero fatta dalle coppie (p, v), dove p M e v T p M è un vettore tangente a M in p. La proiezione è definita da (p, v) p, di modo che π (p) = T p M, ed in effetti T M = p M T pm. La condizione di trivialità locale è semplice da verificare: in p U T pm h U R n (3) U la mappa h è definita come (p, v) (p, ψ(v)), dove ψ GL(R n ) è un qualsiasi isomorfismo lineare che identifica T p M ed R n (per esempio, scelte delle coordinate x 1,... x n date da una carta di M attorno a p, e vedendo T p M come spazio di derivazioni, ψ manda x i proj in e i -base canonica-). Osservazione 3 : In modo analogo si definisce il fibrato cotangente ad M, τ M con spazio totale fatto dall unione disgiunta p M T p M = p M (T pm) Esempio 1.3 [Fibrato Normale]: Se M è una varietà liscia di dimensione n, immersa in R N per qualche N > n, lo spazio totale del fibrato normale ν M si ottiene dall unione disgiunta p M (T pm) (l ortogonale è quello indotto dall usuale prodotto scalare di R N ). La proiezione è π : NM M : (p, α) p, in modo che π (p) = (T p M). Esempio 1.4 [Spazio proiettivo P n (R)]: Lo spazio proiettivo reale P n (R) è definito come l insieme dei punti della sfera n-dimensionale S n quozientato dalla relazione di antipodia. Abbiamo modo, a partire da tale spazio, di costruire un fibrato vettoriale: se chiamiamo E(γ 1,n ) il sottoinsieme di P n (R) R n+1 fatto dalle coppie ([x], v), dove v = λx, definiamo π : E(γ 1,n ) P n (R): ([x], v) [x]. Ogni fibra si può quindi identificare alla retta di R n+1 che congiunge i punti antipodali x e x, con la naturale struttura di spazio vettoriale. Questo è un esempio di fibrato in rette, detto fibrato in rette tautologico su P n (R). Il fibrato in rette tautologico su P n (R) è localmente triviale. Si scelga U S n tale da non contenere punti antipodali, e sia U 1 la sua immagine in P n (R). Si definisce facilmente un omeomorfismo h: U 1 R π (U 1 ) ([x], λ) ([x], λx). (4) Per mostrare che γ 1,1 non è globalmente triviale, definiamo Definizione 1.2 : Una sezione di un fibrato ξ su B è una funzione continua s: B E(ξ) tale che s(b) F b per ogni b B. Una sezione s si dice mai nulla se s(b) 0 Fb per ogni b B. 3

4 Esempio 1.5 : Se M è una varietà liscia, una sezione del fibrato tangente T M si dice campo vettoriale su M. Un fibrato isomorfo al banale possiede almeno una sezione trasversale mai nulla, ossia (fissato un vettore v 0 in F b ) s: B B R n b (b, v) (5) Però γ 1,1 non può averla (dunque la tesi segue dal Teorema 1.1): se s: P n (R) E(γ 1,1 ) è una sezione, la composizione S n P n E che manda x S n in una coppia ([x], t(x) x), mediante una funzione t: S n R, continua e tale che t( x) = t(x), è continua. Essendo S n connessa, t( ) deve annullarsi in almeno un punto x 0, dunque s(x 0 ) = ([x 0 ], 0). Nel caso particolare n = 1, ogni elemento e E(γ 1,1 ) si riesce a scrivere come ([(cos θ, sin θ)], t(cos θ, sin θ)), per qualche 0 θ π, e t R. Tale rappresentazione è unica eccetto che per il fatto che i punti immagine di (0, t) e π, t) coincidono per ogni t R. In altre parole,e(γ 1,1 ) si ottiene da [0, π] R nel piano (θ, t) identificando {0} R con {π} R, grazie alla mappa (0, t) (π, t): E(γ 1,1 ) è il nastro di Möbius (aperto). Un criterio di trivialità per un fibrato ξ è il seguente: Definizione 1.3 : Le sezioni s 1,..., s k di un fibrato ξ su B si dicono indipendenti se per ogni b B i vettori s 1 (b),..., s k (b) sono linearmente indipendenti in F b (ξ). Teorema 1.1 : Un fibrato di dimensione n su B è triviale se e solo se ammette n sezioni indipendenti. La dimostrazione dipende dal seguente Lemma Lemma 1.1 : Siano ξ, η due fibrati di dimensione n su B, e sia f : E(ξ) E(η) una funzione continua che manda ogni fibra F b (ξ) in F b (η) con un isomorfismo lineare f b. Allora f è un omeomorfismo. In altre parole due fibrati sono isomorfi se e solo se lo sono fibra per fibra. Proof. Dato b B possiamo scegliere coordinate locali (U, g) e (V, h) su E(ξ) ed E(η) tali che b U V. Allora esiste un diagramma commutativo π ξ (U V ) g proj (U V ) R n U V π η (U V ) h (6) Se mostriamo che la composizione h 1 f g è un omeomorfismo abbiamo concluso. Poniamo h 1 f g(b, x) = (b, y), dove y = f b (x) si può scrivere y i = f ij (b)x j, per certi coefficienti reali f ij, funzioni continue di b B, tali che det f ij (b) 0. (b) è la matrice inversa a f ij(b) è chiaro che la mappa (b, y) (b, x), dove x i = f 1 ij y j, è l inversa di h 1 f g ed è continua, dunque è un omeomorfismo. La tesi segue perché ora h 1 f g = u, isomorfismo, implica f = h u g 1, composizione di isomorfismi. Se f 1 ij Ora, se s 1,..., s n sono sezioni indipendenti del fibrato ξ, definiamo la mappa f : B R n E (b, v) vi s i (b) (7) 4

5 Per costruzione f è una funzione continua che manda ogni fibra del fibrato banale in una fibra di E, isomorficamente. La tesi dunque segue dal precedente Lemma. Viceversa, sul fibrato banale B R n ci sono le sezioni costanti e indipendenti s i (b) = (b, e i ). ({e 1,..., e n } è la base canonica.) 1.1 Funzioni di Transizione. Sia ξ un fibrato su B di proiezione π : E B. Gli aperti banalizzanti formano un ricoprimento di B, che indichiamo con {U i }. In corrispondenza di due trivializzazioni locali h i : π (U i ) = U i R n e h j : π (U j ) = U j R n, si ottiene, per restrizione all intersezione U ij := U i U j, un isomorfismo h ij, definito da h i h 1 j : U ij R n U ij R n (x, v) (x, g ij (x)v), (8) dove g ij : U ij GL n (R) è una mappa continua (o liscia se B è una varietà). Le funzioni g ij sono dette funzioni di transizione per E. Esse soddisfano le identità (dette condizioni di cociclo) g ij (x)g ji (x) = id Uij R n per ogni x U ij g ik (x) = g ij (x)g jk (x) per ogni x U ijk = U i U j U k Proof. Entrambe le identità sono conseguenza del fatto che g ij è l unica mappa tale che h ij = id Uij g ij. La prima segue dal fatto che h ij h ji = h i h 1 j h j h 1 i = id Uij R n, dunque g ij(x)g ji (x)v = v per ogni v R n, che implica quanto affermato. La seconda segue dal fatto che id Uik g ik = h ik = h i h 1 = h i h 1 j k h j h 1 k = (id Uij g ij ) (id Ujk g jk ) = id Uik (g ij g jk ), per ogni x U ijk, e per l unicità di cui sopra si conclude. Le funzioni di transizione di un fibrato lo caratterizzano univocamente, nel senso che se viene dato un ricoprimento aperto dello spazio di base, U = {U i } i I ed una famiglia di mappe continue g ij : U ij GL n (R) che soddisfano le condizioni di cociclo, esiste un unico fibrato vettoriale di dimensione n che ammette le g ij come funzioni di transizione. Esso è costruito prendendo per spazio totale E l unione disgiunta ( Ui R n) (9) i I quozientata per la relazione di equivalenza generata dall identificazione (x, v) (y, v ) se e solo se x = y e v = g ij (x)v. Se su E c è la topologia quoziente, π : E B è una mappa continua e suriettiva. Le trivializzazioni locali h i : π (U i ) = U i R n sono definite da h 1 i (x, v) = [(x, v)] (la classe nel quoziente). 1.2 Operazioni sui Fibrati. La collezione dei fibrati su B è una famiglia di oggetti resa ricca dal trasporto di molte costruzioni topologiche (prodotti fibrati, cartesiani) e vettoriali (somme dirette, ortogonali, duali) alle proiezioni sullo spazio B. Vediamo in che modo i principali trasporti hanno luogo. 5

6 1.2.1 Restrizione ad un sottospazio della base. Sia ξ un fibrato di proiezione π : E B, e B un sottospazio di B. Poniamo E = π (B ) e sia π la corestrizione di π a B. La mappa π : E B è la proiezione di un fibrato, detto restrizione di ξ a B e denotato ξ B. La fibra F b (ξ B ) è uguale alla fibra F b (ξ) per ogni b B, ed eredita in questo modo l identica struttura di spazio vettoriale. Esempio 1.6 : Se M è una varietà liscia, e U un suo sottoinsieme aperto, il fibrato tangente a U τ U corrisponde a τ M U (nelle notazioni dell Esempio 1.2). La costruzione si può generalizzare nel modo che segue Fibrato indotto da una mappa continua. Sia ξ un fibrato di proiezione π : E B, e B un generico spazio topologico. Data una mappa continua f : B B definiamo il fibrato indotto da f, f ξ, come quello di spazio totale E = E B B nel diagramma cartesiano E ˆf E (10) π B f π B. E quindi è l insieme {(e, b) E B π(e) = f(b)}: la mappa ˆf è definita da (e, b) e, e π : (e, b) b, di modo che π ˆf = f π. Grazie a questa relazione ˆf, ristretta alle fibre F b (f ξ) e F f(b) (ξ) è un isomorfismo lineare: infatti ˆf ( (αv 1 + βv 2, b) ) = αv 1 + βv 2 = α ˆf(v 1, b) + β ˆf(v 2, b) (11) e banalmente F b (f ξ) = (π ) (b) = {e E π(e) = f(b)} {b} = {e E π(e) = f(b)} = π (f(b)) = F f(b) (ξ). Ciò prova che ˆf è una applicazione lineare biiettiva. Da ultimo, se (U, h) è una trivializzazione locale di ξ, poniamo U = f (U) e h : U R n (π ) (U ) (b, v) (b, h(f(b), v)). (12) Questa definizione è ben data se (b, h(f(b), v)) sta in (π ) (U ) = (π ) f (U). Lo fa, perché f π (b, h(f(b), v) = π ˆf((b, h(f(b), v)) = π(h(f(b), v)) = f(b) U (dato che b U ). Esercizio 1 : Si dimostri che se ξ è un fibrato triviale, tale è anche f ξ. Osservazione 4 : È possibile definire una nozione di omomorfismo di fibrati anche se gli spazi di base sono diversi; siano perciò ξ, η due fibrati su B(ξ), B(η) con proiezioni π ξ : E(ξ) B(ξ) e π η : E(η) B(η). Un omomorfismo di fibrati da η a ξ è una mappa continua tra gli spazi totali, g : E(η) E(ξ) che manda ogni fibra F b (η) in una qualche fibra F b (ξ), in modo isomorfo (più fibre potrebbero finire nella stessa F b (ξ), 6

7 e non tutte le fibre F b (ξ) potrebbero essere raggiunte, rispettivamente nel caso in cui g non sia iniettiva o non sia suriettiva). La posizione g : b b, definisce evidentemente una mappa continua tra gli spazi di base. Vale il seguente Lemma 1.2 : Se g : E(η) E(ξ) è un omomorfismo di fibrati nel senso precedente, e g la mappa indotta tra gli spazi di base, allora η = g ξ. Proof. Definiamo la mappa h: E(η) E(g ξ): e (π η (e), g(e)); si osservi che h è l unica mappa tale da far commutare in tutte le sue parti il diagramma di pull-back E(η) g (13) h B(η) B(ξ) E(ξ) E(ξ) π η B(η) g B(ξ) (questo non è casuale dato che E(g ) si ottiene davvero tramite un pull-back). Ora però h è continua e tale che se e F b (η), (π η (e), g(e)) = (b, g(e)) (π ) (b), con un isomorfismo lineare determinato da g. La tesi segue dal Lemma 1.1, che dice che h è un omeomorfismo Prodotto Cartesiano. Dati due fibrati vettoriali ξ 1, ξ 2 di proiezioni π 1 : E 1 B 1, π 2 : E 2 B 2, il prodotto ξ 1 ξ 2 dei due fibrati è definito come quello che ha per proiezione la mappa π 1 π 2 : E 1 E 2 B 1 B 2 (e 1, e 2 ) (π 1 (e 1 ), π 2 (e 2 )) (14) in modo he ogni fibra sia il prodotto delle fibre dei due: (π 1 π 2 ) (b 1, b 2 ) = F b1 (ξ 1 ) F b2 (ξ 2 ). Esempio 1.7 : Se M è una varietà liscia che risulta dal prodotto cartesiano di varietà M 1 M 2 (dotato della struttura differenziabile indotta dal prodotto di atlanti), il fibrato tangente τ M è isomorfo a τ M1 τ M2. Si può affermare, in linea generale, che le costruzioni universali tra spazi vettoriali ne inducono di analoghe tra fibrati che hanno quegli spazi vettoriali per fibre. Quelli che seguono sono degli esempi di quanto appena detto Somma di Whitney. Dati due fibrati ξ 1, ξ 2 di proiezioni π 1 : E 1 B, π 2 : E 2 B, la somma di Whitney di ξ 1 e ξ 2 è il fibrato ξ 1 ξ 2 che ha per fibra sopra b la somma diretta delle fibre F b (ξ 1 ) F b (ξ 2 ), e spazio totale l unione disgiunta b B F b(ξ 1 ) F b (ξ 2 ) di tutte queste fibre, con l ovvia proiezione definita da π (b, v + w) = b. 7

8 A partire da trivializzazioni locali h i : π 1 (U i ) = U i R n k i : π 2 (U i ) = U i R m su uno stesso aperto U i otteniamo biiezioni σ (U i ) = U i (R n R m ); le funzioni di transizione di questo fibrato sono le mappe U ij GL(R n R m ) x ( g 1 ) ij (x) 0 0 g 2 ij (x) (15) g 1 ij e g2 ij essendo le funzioni di transizione di ξ 1 e ξ 2 rispettivamente. Equivalentemente, definiamo la mappa diagonale relativa allo spazio di base d: B B B b (b, b) (16) e il fibrato ξ 1 ξ 2 = d (ξ 1 ξ 2 ); ogni fibra F b (ξ 1 ξ 2 ) è canonicamente isomorfa alla somma diretta F b (ξ 1 ) F b (ξ 2 ), in quanto spazio vettoriale isomorfo a F b (ξ 1 ) F b (ξ 2 ) Complemento Ortogonale. Definizione 1.4 : Siano ξ, η fibrati vettoriali su uno stesso spazio di base, tali che E(ξ) E(η). Si dice che ξ è un sottofibrato di η se ogni fibra F b (ξ) è un sottospazio vettoriale di F b (η). Il Lemma 1.1 porge immediatamente il risultato che segue Proposizione 1.1 : Siano ξ 1, ξ 2 due sottofibrati di η tali che F b (η) = F b (ξ 1 ) F b (ξ 2 ) per ogni b B. Allora η = ξ 1 ξ 2. Può a questo punto nascere la domanda: dato un sottofibrato ξ di η, esiste sempre un complemento ortogonale per ξ tale che η = ξ τ? In effetti è chiaro come questo sia possibile, a opportune ipotesi 1, bastando promuovere ad un fibrato ξ quello che ha per fibre gli ortogonali F b (ξ) in η. Teorema 1.2 : Sia F b (ξ ) = F b (ξ), e E(ξ ) = b B F b(ξ ) E(η). Questo definisce un sottofibrato di η, detto ξ e chiamato complemento ortogonale di ξ, in modo che η = ξ ξ Duale, Tensore, Potenza Esterna e Simmetrica. Dovrebbe apparire chiaro a questo punto che la regola operativa da seguire è che operazioni sugli spazi vettoriali ne inducono, di analoghe, tra i fibrati vettoriali che hanno quegli spazi per fibre; il modo più comodo di definire tali fibrati è attraverso le funzioni di transizione, dato che esse sono determinate, in ultima analisi, da mappe lineari U GL(F (ξ)) (si pensi per esempio ad una varietà liscia M, le mappe di transizione del suo fibrato tangente -su una sua trivializzazione locale- sono delle g ij (x) GL(T x M)); in questo senso possiamo definire 1 Queste ipotesi sono: lo spazio di base deve essere paracompatto, o almeno η deve essere un fibrato vettoriale euclideo, nel senso precisato dalla Definizione??; la paracompattezza, grazie al teorema di Whitney -ibidem- implica questa condizione. 8

9 Il fibrato duale di un fibrato ξ : E B, denotato ξ : E B e definito dalle transizioni g ij (x) = g t ij (x) GL(Rn ) (17) (identificato a GL ( (R n ) ) grazie all isomorfismo canonico); Il fibrato prodotto tensoriale di E B E (rispettivamente di dimensione n ed m), denotato ξ ξ : E E B e definito dalle transizioni k ij = g ij (x) g ij (x) GL(Rn R m ) = GL(R nm ); (18) Il fibrato potenza esterna di ξ : E B, denotato k ξ : k E B, e quello potenza simmetrica, denotato ξ : E B, definiti rispettivamente dalle transizioni w ij (x) = g ij (x) GL( R n ) z ij (x) = k (g ij )(x) GL( k R n ). Se ξ : E B è un fibrato di dimensione n, n ξ è sempre un fibrato in rette, chiamato fibrato determinante di ξ, ed è definito dalle transizioni k ij (x) = det g ij (x); si indica con det ξ. Esercizio 2 : Si dimostri che valgono i seguenti isomorfismi, per tre fibrati ξ, η, θ. (ξ η) θ = ξ (η θ) ξ η = η ξ (ξ η) θ = ξ (η θ) ξ η = η ξ (ξ η) = ξ η (ξ η) = ξ η k ξ = ( k ξ ) n k ξ = k ξ Se ξ e ξ sono due fibrati vettoriali su una stessa base B, si è già detto che un omomorfismo di fibrati è determinato da una mappa continua f tra gli spazi totali che si restringe ad una mappa lineare sulle fibre. Se (U, h), (U, h ) sono due trivializzazioni locali, la mappa f ottenuta dalla commutatività di U R n U R m (19) π (U) (π ) (U ) si dice espressione locale di f nelle trivializzazioni scelte. Essa è della forma (x, v) (x, G(x)v), ove G: U hom R (R n, R m ) è una mappa sufficientemente regolare (nella topologia ovvia di hom R (R n, R m )). 1.3 Esempi educativi Il fibrato tensoriale T r s (M). La sezione non ha raccontato la storia per intero, e ξ, ξ sono esempi di una costruzione più generale. 9

10 Diamo per nota la costruzione (universale) che ad uno spazio vettoriale V di dimensione finita associa l algebra tensoriale (controvariante) su V : essa consiste della somma diretta T (V ) = n 0 V n (20) V n indicando lo spazio V V fatto n volte. T (V ) gode della proprietà di rialzare ogni applicazione lineare φ: V A, ove A è una k-algebra, ad una applicazione T (f) di k-algebre; se una base di V è data da e 1,... e d, una base di V n è fatta dai d n simboli formali e I = e i1 e in, dove 1 i 1,..., i n d. Una analoga costruzione dà l algebra tensoriale controvariante su V, T (V ) = n 0 (V ) n : l algebra tensoriale totale si ottiene, generalizzando un altro po, dalla somma diretta degli spazi Tm(V n ) = V m (V ) n : T (V ) = V m (V ) n. (21) m,n 0 Esercizio 3 : Trovare una base per T n m(v ). Ci occupiamo ora dello studio di fibrati tensoriali (di grado (r, s)) ottenuti da un fibrato dato; richiamiamo prima qualche risultato che discende dalla funtorialità della assegnazione V T (V ), T (V ). Definizione 1.5 [Fibrato tensoriale di ξ]: Sia π : E B la proiezione di un fibrato ξ. Denotiamo come al solito F b (ξ) = π (b) per ogni b B. Definiamo T r s (ξ) := b B T r s (F b (ξ)) (22) e πs r : Ts r (ξ) B : (e, b) b nel modo ovvio, per ogni e Ts r (F b (ξ)). Allo stesso modo, se A B, definiamo Ts r (E) A := b A T s r (F b (ξ)). Se π : E B è la proiezione di un altro fibrato ξ, ed f : E E è un omomorfismo di fibrati che è isomorfismo sulle fibre (ossia f b = f Fb (ξ) è un isomorfismo), definitamo Ts r (f): Ts r (ξ) Ts r (ξ ) con la posizione Ts r (f) T r s (F b (ξ)) = Ts r (f b ). Se {U i } è un ricoprimento di aperti trivializzanti di B, allora {π (U i )} è un ricoprimento dello spazio totale, e ciascun π (U i ) è omeomorfo mediante le trivializzazioni locali a U i F (la fibra senza pedice è la generica fibra sopra b B). Da ciò segue che {(π r s) (U i )} ricopre lo spazio totale di T r s (ξ) e che restano indotte (il consiglio per esplicitarle è di cercare le funzioni di transizione) delle trivializzazioni locali h i : (π r s) (U i ) = U i T r s (F (ξ)). Queste coordinate locali sono chiamate coordinate naturali su T r s (ξ). Se lo spazio totale di ξ era una varietà, si dimostri che lo è anche lo spazio totale di T r s (ξ), e che le coordinate naturali sono un atlante per questa struttura di varietà. In effetti tutto questo si può specializzare (e acquista senso nel momento in cui questo viene fatto) al caso in cui ξ = τ M è il fibrato tangente a una varietà liscia. Definizione 1.6 : Sia M una varietà liscia e τ M il suo fibrato tangente. Il fibrato dei tensori di tipo (s, r) su M è definito da T r s (M) = T r s (τ M ). Il fibrato tangente τ M si identifica con T 1 0 (M), e il cotangente a T 0 1 (M) (oltre che al fibrato duale τ M ). Come ulteriore approfondimento studiamo le sezioni lisce del fibrato dei tensori di tipo (r, s) su una varietà. 10

11 Campi di Tensori. Si rammenti anzitutto che una sezione di un fibrato vettoriale ξ è una mappa s: U E sufficientemente regolare definita su U B, che manda ogni b U in un vettore v F b (ξ) nella fibra sopra b, e che è una sezione della proiezione di ξ. Le sezioni di ξ sono raccolte nell insieme Γ(U, ξ). L assegnazione U Γ(U, ξ) è un fascio di R-moduli. Si noti che un campo vettoriale su U M, nelle notazioni appena introdotte, è un elemento di Γ(U, τ M ) = Γ(U, T0 1 (M)) e una forma differenziale è un elemento di Γ(U, τ (M)) = Γ(U, T1 0 (M)). Questo fatto ne nasconde uno estremamente più generale. Definizione 1.7 : Un campo di tensori di tipo (s, r) su una varietà liscia M è una sezione liscia del fibrato T r s (M). Denotiamo con T r s(m) l insieme Γ(U, T r s (M)), riferendosi ad esso come dotato implicitamente della struttura di spazio vettoriale reale. Pressoché tutte le definizioni si possono dare senza troppo sforzo. Se f C (M), t T r s(m), definiamo f t: M Ts r (M): p f(p)t(p) (questo rende T r s(m) un C -modulo). Se X 1,..., X s sono campi vettoriali su M, α 1,... α r sono forme differenziali, e t Ts r (M), definiamo t(α, X): M p t t : M p R t(p)(α(p), X(p)) T s+s r+r (M) t(p) t (p). Vale ovviamente un risultato che riguarda la Rappresentazione in Coordinate di un Campo Tensoriale. Se φ: U R n è una carta locale di M, φ 1 : φ(u) U la sua inversa, allora T φ 1 (e i ) = x i è una base dello spazio tangente visto come spazio di derivazioni; la base duale sullo spazio cotangente è fatta da dx i : dx i ( x j ) = δ ij. L espressione in coordinate locali di un campo tensoriale t di tipo (s, r) su M è allora data da T U = t i1,...,ir j 1,...,j s x j1 x dx js dxi1 ir (23) dove t i1,...,ir j 1,...,j s = t ( dx i1,..., dx ir, x,..., ) j 1 x C (M). js I fibrati canonico e anticanonico. Il fibrato canonico di una varietà M (algebrica, C, analitica...) si ottiene dalla potenza esterna massima possibile del fibrato cotangente a M, n M; è un fibrato in rette, e si chiama canonico perché si ottiene senza fare delle scelte arbitrarie sulla varietà. In un modo opportuno (e questa è la base da cui parte la K-teoria, in cui non saremo così folli da addentrarsi) si può dare all insieme delle classi di isomorfismo di fibrati su uno stesso spazio (supponiamolo una varietà liscia a sufficienza) una struttura di gruppo, la cui operazione è commutativa e indotta dalla somma di Whitney. In quest ottica, 11

12 l elemento neutro è dato dal fibrato triviale, e l inverso (ci vuole qualche giro di parole per farlo esistere, ma si puo fare) è dato da un fibrato tale che E ( E) = M R n. Fatti interessanti: condizione sufficiente ad avere un inverso rispetto all operazione in K(M) è essere un fibrato vettoriale su una base Hausdorff compatta, e (più importante) il prodotto tensoriale di fibrati induce su K(M) una operazione che lo rende un anello commutativo Gli spazi dei jets. Sia M una varietà, e C (M) l algebra delle sue funzioni regolari. L insieme delle sezioni lisce di un fibrato vettoriale su M è in modo naturale un C (M)-modulo; se p M, chiamiamo C,p (M) il sottospazio di C (M) fatto dalle f che si annullano in p (questo in effetti è l ideale massimale dell anello locale C (M)). Chiamiamo Γ p il sottospazio di Γ(U, E) generato da C,p (M), ossia l insieme delle sezioni che si scrivono come s = f i s i (24) con f i (p) = 0 per ogni i = 1,..., r e s 1,..., s r Γ(U, E) Le s di quella forma possono essere pensate come le sezioni che si annullano in p almeno fino al primo ordine. Definiamo E p = Γ(U, E)/Γ p (25) Chiaramente E p è uno spazio vettoriale reale: dall insieme E = E p = p M E p = {(p, v v E p )} si ottiene un fibrato vettoriale, ponendo come mappa di proiezione l ovvia E M : (p, v) p. Aver formulato così la questione suggerisce come generalizzare: basta dividere γ(u, E) ne sottospazi delle sezioni che si annullano all ordine r e fare un quoziente. Se Γ p è definito -sono le sezioni che si annullano all ordine zero in p, ossia tali che s(p) = 0, Γ p 1 sarà composto da quelle che si annullano al primo ordine in p, e così via ad ordini più elevati: Γ p 1 è lo spazio delle combinazioni lineari di elementi di C (M)Γ p ; Γ p 2 è lo spazio delle combinazioni lineari di elementi di C (M)Γ p Γ p r è lo spazio delle combinazioni lineari di elementi di C (M)Γ p r 1. Ora, definiamo J r (E) p = Γ(M, E)/Γ p r 1, e J r (E) = p M J r (E) p. Questo induce in modo naturale un fibrato vettoriale su M, ponendo come proiezione la mappa π r : J r (E) M : (p, v) p (26) J r (E) è detto spazio dei jets di ordine r associati a Γ(U, E), ed è (nelle notazioni della sezione 1.2) l unico fibrato vettoriale su M che ha per fibra sopra p lo spazio E p = Γ(U, E)/Γ p 0. Gli spazi dei jet su M sono essenziali allo studio degli operatori differenziali sulle varietà: se d è un endomorfismo di Γ, e X un endomorfismo di C (M) compatibile con le sue funzioni di restrizione, e i due sono tali che d(fs) = X(f)s + f ds X(fg) = X(f)g + fx(g) (27) 12

13 per f, g C (M), s Γ(U, E), consideriamo s Γ(U, E) e f 1,..., f r Γ p. Allora f 1... f r s Γ p r 1 (provate): in più d(f 1... f r s) = r f 1... X(f i )... f r s + f 1... f r ds (28) i=1 che è un elemento di Γ p r 2. Con ciò abbiamo che d(γp r 1 ) Γp r 2, per p M, r 1, d mappa come sopra. Dunque, d definisce una mappa tra i due spazi che passa al quoziente ed è lineare: σ p r,d : J r (E) p J r 1 (E) p (29) Al variare di p M, σ r,d definisce una mappa J r (E) J r 1 (E) che è lineare fibra per fibra. Supponiamo ora che d sia della forma d d, con d, d operatori Γ(U, E) Γ(U, E) che rispettano le condizioni Ripetendo due volte un ragionamento analogo a quello sopra, si ottiene l inclusione d(γ p r 1 ) Γp r 3, e d passa al quoziente definendo una mappa lineare σ p r,d : J r (E) p J r 2 (E) p (30) Al variare di p M, σ r,d definisce una mappa J r (E) J r 1 (E) che è lineare fibra per fibra. Fatta questa introduzione genrale, lo scopo del resto della sezione è mostrare come il linguaggio dei fibrati dona un modo elegante di parlare di calcolo delle variazioni su una varietà (ed è quindi strumento essenziale allo studio della teoria dei campi classica). Innanzitutto, è possibile definire gli spazi dei jets anche per fibrati non vettoriali. Non cercheremo eccessivo rigore ma ci limiteremo a dare delle idee generali. Supponiamo che E M sia un fibrato liscio, localmente banale come previsto nella Osservazione 1. Chiamiamo come al solito Γ(E) lo spazio delle sue sezioni globali; non essendo le fibre di π dotate di una struttura vettoriale, Γ(E) non ha una struttura naturale di spazio vettoriale. Dovremo allora trovare un modo alternativo per definire gli spazi dei jets. Procediamo quindi a definire una relazione di equivalenza su Γ(E) e a fare il quoziente. Moralmente, quello che vogliamo è che s, s Γ(E) siano uguali all ordine r nel punto p. Questa proprietà è squisitamente locale, perciò possiamo benissimo restringerci ad un intorno banalizzante U per cui π (U) = M E p : in questo scenario una sezione è univocamente determinata da come si comporta sulla fibra, ossia è una mappa id α: M E p : x U (x, α(x)). Questo apre la strada alla giusta definizione: Diciamo che due sezioni s, s sono uguali all ordine r nel punto p se e solo se le mappe α, α che le definiscono sono tali che α(p) = α (p); In una (e quindi in tutte) le coordinatizzazioni locali di E p le derivate parziali di α e α coincidono in p fino all ordine r: questo si scrive in modo un po ingarbugliato usando i multiindici, quindi è un ottimo, noioso, esercizio. Va verificato che la definizione data non dipende dalla trivializzazione scelta (e quindi dalle coordinatizzazioni possibili su π (U): questo implica che essere uguali fino 13

14 all ordine r in p è una relazione di equivalenza in Γ(E) che chiamiamo r,p. L insieme quoziente Γ(E)/ r,p è quello che chiamiamo spazio degli r-jets in p, e che indichiamo con J r (E) p. Sorge spontanea la domanda: p M J r (E) p si può rendere in qualche modo lo spazio totale di un fibrato su M (la proiezione sarà definita come al solito)? La risposta è sì: prendiamo in considerazione l insieme J r (E) = Γ(E) M, quozientato per la relazione che identifica (s, p), (s, p ) se e solo se p = p e s r,p s. L insieme quoziente J/ r,p è lo spazio totale di un fibrato, le cui fibre sono esattamente J r (E) p se la proiezione π r : J r (E) M è definita da (s, p) p. Osservazione 5 : Se r < r esiste una mappa J r (E) J r (E), per l ovvio motivo che se s, s coincidono fino all ordine r, coincidono in particolare fino all ordine r. Ora che abbiamo reso J r (E) M un fibrato, consideriamo l insieme Γ(J r (E), M) delle sue sezioni globali. Si osservi che esiste una mappa canonica j r : Γ(E) s Γ(J r (E)) j r (s): p [(s, p)] (31) dove [(s, p)] è la classe di equivalenza rispetto a r,p. Legami col calcolo delle variazioni. Spieghiamo ora l applicazione promessa: se π : E M è un fibrato (anche non vettoriale, ma sempre liscio) e r 1 è un intero, definiamo una lagrangiana di ordine r come una funzione regolare su J r (E), che denotiamo con la lettera L. Per evitare problemi supponiamo che lo spazio di base sia una varietà orientabile e compatta, in modo che possieda una forma volume dµ e che abbia senso integrare M dµ e ogni funzione f C (M) mediante fdµ. In particolare, per una lagrangiana L denotiamo con L la M mappa L: Γ(E) R s L(j r (s) p )dµ M (32) In poche parole il compito del calcolo delle variazioni è di studiare le proprietà di L quando viene valutata su curve in Γ(E). Il problema classico del calcolo delle variazioni è in particolare quello di studiare la variazione all ordine 1 d dλ L(s(λ)) λ=0 (33) λ s(λ) essendo una curva sufficientemente regolare in Γ(E). Sepolto sotto la questione c è un certo operatore differenziale, detto di Eulero Lagrange, che in generale è complicato da determinare. Restringiamo quindi il campo di lavoro e supponiamo che r = 1; E M sia il fibrato banale; M abbia coordinate (x i ) = x. 14

15 Ogni elemento di Γ(E) si scriverà allora in modo unico come funzioni ϕ = (ϕ a (x i )) (anche a sono indici). Un sistema di coordinate su J 1 (E) è determinato dalla posizione ϕ ai = ϕ a x i (34) (precisamente, (x i, ϕ a, ϕ ai ) sono coordinate su J 1 (E).) Ora, una funzione L: J 1 (E) R verrà detta lagrangiana, e sarà rappresentata da una funzione L = L(x i, ϕ a, ϕ ai ) (35) delle variabili suddette. A questo punto però la L definita sopra acquista una forma che dovrebbe essere nota a molti: L: s L(x, ϕ(x), ϕ(x))dµ (36) M (o in coordinate s M L(xi, ϕ a, ϕ ai )dµ). Con queste notazioni fissate una volta per tutte, calcoliamo d dλ L(s(λ)) λ=0 : se λ s(λ) = (ϕ a λ (x)) è una curva in Γ(E), poniamo δ a (x) = d dλ ϕa λ(x) L a = L ϕ a ; λ=0 L L ai ϕ ai Allora d dλ L(s(λ)) λ=0 = d L(x, ϕ λ (x), ϕ λ (x))dµ dλ M [ = La (x, ϕ(x), ϕ(x))δ a (x) ] dµ M + L ai (x, ϕ(x), ϕ(x)) i δ a (x)dµ M λ=0 Se ora supponiamo che δ a sia a supporto compatto e integriamo opportunamente per parti siamo rimasti con [ ] L a (x, ϕ(x), ϕ(x)) i L ai (x, ϕ(x), ϕ(x)) δ a (x)dµ (37) M che ricorda molto da vicino le equazioni di Lagrange. 2 Connessioni Affini. Sia E p M un fibrato di rango k su una varietà liscia M (che dovremo supporre a un certo punto paracompatta). Proposizione 2.1 : Le sezioni del fibrato r T M E si possono pensare come r-forme a valori in E. 15

16 Proof. Dato U M aperto banalizzante sia per (E, p) che per ( r T M, π) (basta prendere l intersezione di due aperti banalizzanti attorno a x M), ogni sezione locale ξ Γ(U, r T M E) si scrive ξ = I j ξj I σ j dx I. (38) Si può dunque identificare ξ al vettore di r-forme (ξ 1,..., ξ k ), dove ξ m = I ξm I σ m dx I = ( I ξm I dx I) σ m. (39) Definiamo allora Ω r (U, E) := Γ(U, r T M E) (40) (si noti che Ω r (U, E) è in modo naturale un C -modulo). Direttamente dalla definizione segue che Ω 0 (U, E) = Γ(U, R E) = Γ(U, E) e Ω 1 (U, E) = Γ(U, T M E): in particolare il primo è il fascio delle sezioni globali quando U = M. Definizione 2.1 : Una connessione lineare su un fibrato E p M è una applicazione lineare D : Ω 0 (M, E) Ω 1 (M, E) (41) tale che D(fσ+τ) = df σ+fd(σ)+dτ, per ogni f C (M), σ, τ Ω 0 (M, E). Osservazione 6 : Una connessione lineare è un operatore locale, nel senso che è compatibile con le restrizioni del fascio Ω r (, E): il diagramma Ω 0 (M) D Ω 1 (M) (42) ρ 0 Ω 0 (U) D U ρ 1 Ω 1 (U) è dunque commutativo. Esempio 2.1 [Differenziale di Cartan]: Sul fibrato banale E = R M M c è sempre la connessione data dall usuale differenziale, d(f 1,..., f k ) = (df 1,..., df k ) (43) Si può definire più in generale sul fibrato banale di rango k, E = R k M M. La definizione di connessione nasce precisamente per definire un estensione del differenziale di Cartan a un fibrato non banale. Più in generale, data una matrice k k, diciamo ω, possiamo definire una connessione d A sullo spazio totale E come d A σ = dσ + ωσ (44) dove si è indicato σ = (σ 1,..., σ k ) e dσ = (dσ 1,..., dσ k ); in breve si indica con d A = d + ω. 16

17 Si verifica che d A (fσ + τ) = (d + ω)(fσ + τ) = d(fσ + τ) + ω(fσ + τ) = df σ + fdσ + dτ + fωσ + ωτ = df σ + f(d + ω)σ + (d + ω)τ = df σ + (d A σ) + d A τ Studiandola a livello locale, ci si accorge che ogni connessione d A si scrive localmente nella forma d + ω, dove ω è una opportuna matrice di 1-forme. Proof. Sia come prima U un aperto che banalizzi allo stesso tempo E e 1 T M = T M. Sia poi {σ 1,..., σ k } una base di sezioni locali, e D una assegnata connessione su E. Ogni sezione s Γ(U, E) si scrive come s = s i σ i, dunque Ds = D(s i σ i ) = ds i σ i + s i Dσ i (45) A questo punto, siccome U banalizza E T M, Dσ i deve potersi scrivere come θ ij σ j, θ ij essendo una 1-forma su U, per ogni coppia di indici. Allora Ds = (ds j + s i θ ij ) σ j (46) scrittura che in forma contratta si rappresenta come Ds = (d + θ)s, intendendo con s il vettore (s 1... s k ), θ = (θ ij ). Definizione 2.2 : La matrice θ ora determinata è detta matrice della connessione D. Il criterio di tensorialità. Per procedere nella esposizione serve una digressione sul cosiddetto criterio di tensorialità. Dati due fibrati E, E B su una stessa base, che assumiamo essere una varietà C, definiamo per prima cosa il fibrato hom(e, E ) come E E, di funzioni di transizione g t ij g ij. Vorremmo dimostrare alcune relazioni che legano tra loro Γ(M, E E ) a Γ(M, E) e a Γ(M, E ), e Γ(M, E ) a Γ(M, E). Per farlo ci serviamo di alcune proprietà del (pre)fascio delle sezioni di E M; in particolare osserviamo che su aperti abbastanza piccoli da banalizzare E ed E ogni sezione s = s U di E E si scrive come una somma k f k U gu k per opportune f U, g U C (U). Scelta una partizione dell unità {φ U } U subordinata a un ricoprimento di aperti banalizzanti, notiamo che la sezione s su U si scrive s = s 1 = s U φ U = U (sφ U ) = U σ U (47) dove σ U Γ(U, E E ). A questo punto ognuna delle σ U si scrive come sopra, σ U = k f k U gu k, in modo che s = U,k f k U gu k. La sezione s determina allora in modo univoco un elemento di Γ(M, E) C Γ(M, E ), porgendo così un isomorfismo Γ(M, E E ) = Γ(M, E) C Γ(M, E ). (48) Operando in modo simile si ricava un isomorfismo Γ(M, E ) = Γ(M, E) (49) che implica (ed è implicato dal)l esistenza di una dualità canonica Γ(M, E) C Γ(M, E ) C (M) tra i C -moduli Γ(M, E) e Γ(M, E ). Alla luce di tutto questo vale il seguente 17

18 Teorema 2.1 : Siano E, E fibrati vettoriali su una stessa base M, varietà C. Allora esiste un isomorfismo di spazi vettoriali, naturale nei suoi argomenti, tra Γ(M, E E ) e hom C (Γ(M, E), Γ(M, E )). In particolare, τ Γ(M, E E ) f τ (α) p = τ, α (p), per ogni α Γ(M, E), p M. Proof. Abbiamo la catena di isomorfismi Γ(M, E E ) = Γ(M, E ) C Γ(M, E ) = hom C (Γ(M, E), Γ(M, E )), (50) tutti giustificati dalla osservazione precedente. Osservazione 7 : Questo principio ha molte applicazioni che emergeranno durante la discussione. Esso stabilisce una biiezione { } { } sezioni globali di fibrati su M mappe di C -moduli tra sezioni di E e di E secondo la quale ogni campo tensoriale su E E si può riguardare come una mappa tra gli spazi delle sezioni. Lemma 2.1 : Se D, D sono due connessioni su E, la differenza D D è un omomorfismo di C (M)-moduli Ω 0 (M, E) Ω 1 (M, E). Proof. Valutiamo D D su fs. (D D )fs = df s + fds df s fd s = f(d D )s (51) per ogni f C (M), s Ω 0 (M, E). Il criterio di tensorialità enunciato sopra dice allora che la differenza D D determina univocamente una sezione del fibrato E E 1 T M, ossia un elemento di Ω 1 (M, End(E)). Localmente, D = d + θ, D = d + θ, dunque D D è una matrice di 1-forme. Da ciò segue quasi subito la seguente considerazione: Proposizione 2.2 : L insieme D E di tutte le connessioni su E è uno spazio affine su Ω 1 (M, End(E)). Proof. Basta mostrare che su E esiste almeno una connessione D: grazie al lemma precedente ogni altra connessione si ottiene facendo operare il gruppo abeliano Ω 1 (M, End(E)) per traslazione, il che conclude la prova. Si deve ipotizzare qui che M sia almeno paracompatto, in modo da garantire l esistenza di una partizione dell unità subordinata ad un suo ricoprimento di aperti banalizzanti. Ciò assicurato, chiamiamo {U α } il ricoprimento e {φ α } la partizione associata. Allora porre D = α A φ α D α (52) ove D α è la connessione indotta dal differenziale di Cartan sul fibrato E Uα una connessione su E; infatti ( ) D(fs) = φα D α fs = R k, è = φ α (x)d α (fs)(x) = φ α (x)(df s) + φ α fd α s ( ) = 1 df s + f φα D α s 18

19 Si noti, a margine, che D dipende fortemente dalla partizione dell unità scelta. Osservazione 8 : Un fibrato qualsiasi non possiede una connessione canonica, come avviene per il fibrato banale e per la connessione di Cartan. Per avere una connessione definia in modo intrinseco, ci si dovrà appoggiare a delle strutture aggiuntive sovraimposte al fibrato (per esempio una metrica riemanniana). La connessione D induce naturalmente dei differenziali d D : Ω r (M, E) Ω r+1 (M, E) per ogni 1 r k, univocamente determinati dalle proprietà d D = D al grado zero; d D (ω ξ) = dω ξ + ( 1) p ω d D ξ er ogni ω Ω p (M), ξ Ω p (M, E). Osservazione 9 : Non è in generale vero che d D d D = 0, dunque in generale d D non è il codifferenziale di un complesso di cocatene: per esempio, sia D = d + θ una connessione sul fibrato banale in rette R. Allora d D ω = dω + θ ω (53) (il prodotto tra una matrice di 1-forme e un vettore di r-forme si fa prendendo la forma che al posto j ha i θ jiω i ). In tal caso (d D d D )f = d(df + fθ) + θ (df + fθ) = d 2 f + d(fθ) + θ df + f(θ θ) = fdθ + df θ + θ df = fdθ e dunque se θ non è chiusa, (d D d D ) 0. Va tuttavia osservato che per ogni connessione D su E, d D d D definisce un omomorfismo C -lineare, come si osserva dal conto (d D d D )(fs) = d D (df s + fd D s) = d D (df s) + d D (fd D s) = d 2 f s df d D s + df d D s + f(d D d D )s = f(d D d D )s d D d D individua quindi, per il criterio di tensorialità (v. Esercizio 4), una sezione globale di Ω 2 (M, End(E)), chiamata curvatura della connessione e indicata con F D. Localmente, la curvatura si rappresenta in termini di una matrice di 2-forme detta matrice di curvatura della connessione; su un aperto banalizzante si ha (d D d D )s = (d + θ) (d + θ)s = d(ds + θs) + θ (ds + θs) = d(θs) + θ ds + (θ θ)s = (dθ)s θ ds + θ ds + (θ θ)s = ( dθ + θ θ ) s =: Θs (si noti che θ θ 0 perché ha per componente ij la somma l θ il θ lj ). Esercizio 4 : Si trovi come cambia la curvatura di D con un cambio di coordinate e si deduca che si tratta di una quantità tensoriale. 19

20 Connessione indotta su End(E) e identità di Bianchi. Una connessione D su E ne induce naturalmente una sul fibrato End(E) con la posizione ˆD : Ω 0 (M, End(E)) Ω 1 (M, End(E)) (54) definita da ( ˆDL)s = D(Ls) L(Ds) per ogni L Ω 0 (M, End(E)) che manda p M in L p : E E morfismo di fibrati. È facile verificare che questa posizione rende ˆD una connessione: ( ˆD(fL))s = D(fLs) fl(ds) = df Ls + f(d(ls) L(Ds)) = df Ls + f( ˆDL)s per ogni f C (M), s Ω 0 (M, E), L Ω 0 (M, End(E)). Da ciò si deduce la presenza di derivazioni in ogni grado ˆd D := d ˆD : Ω r (M, End(E)) Ω r+1 (M, End(E)) (55) Teorema 2.2 [Identità di Bianchi]: Se F D è la curvatura di una connessione D su E, allora ˆd D F D = 0 (56) Proof. Localmente si ha d D = d + θ e F D = Θ. Dunque D altra parte vale ˆd D s = d D (Θs) Θ d D s = d(θs) + θ Θs Θ (d D s) = (dθ)s + Θ ds + (θ Θ)s Θ ds (Θ θ)s = ( dθ + [θ, Θ] ) s dθ = d(dθ + θ θ) = d 2 θ + dθ θ θ dθ = (Θ θ θ) θ θ (Θ θ θ) = Θ θ θ Θ = [Θ, θ]. Dunque ( ˆd D Θ)s = 0, per ogni s Γ(U, E). Derivata Covariante. Deduciamo da quanto esposto finora la nozione di derivata covariante di una sezione lungo un campo. Sia M una varietà liscia, ed E M un fibrato su M. Si osservi innanzitutto che c è una dualità, : Γ(M, T M) Ω 1 (M, E) Ω 0 (M, E) (57) (perché ce n è una Γ(M, T M) Ω 1 (M)). Allora, se D è una connessione su E, per ogni campo vettoriale X Γ(M, T M), e ogni sezione s Ω 0 (M, E), la quantità si dice derivata covariante di s lungo X rispetto a D. X s := X, Ds Ω 0 (M, E) (58) 20