Coomologia di De Rham

Campo vettoriale corrispondente ad una forma differenziale sul piano bucato di un insieme localmente chiuso, esso mostra che la coomologia di De Rham di questo spazio non è banale.

In matematica la coomologia di De Rham è uno strumento usato in topologia algebrica e differenziale per studiare le varietà differenziabili. Prende il nome dal matematico Georges De Rham.

Definito usando le forme differenziali, la coomologia di De Rham è un invariante topologico delle varietà differenziabili che (intuitivamente) conta il loro "numero di buchi $k$-dimensionali".

Definizione

Preliminari

Template:Vedi anche Sia $M$ una varietà differenziabile di dimensione $n$ e $k$ un intero con

$0\le k\le n.$

Tutte le $k$-forme differenziali su $M$ formano uno spazio vettoriale reale che viene indicato con

${\mathrm{\Omega }}^k(M).$

Questo spazio ha dimensione finita. In particolare, per $k=0$ questo spazio è lo spazio delle funzioni differenziabili a valori in $ℝ$.

Il differenziale esterno di una forma differenziale $\omega$ è una $(k+1)$-forma, indicata con il simbolo $d\omega$. Il differenziale definisce quindi una mappa

$d:{\mathrm{\Omega }}^k(M)⟶{\mathrm{\Omega }}^{k+1}(M)$

che risulta essere una applicazione lineare fra i due spazi vettoriali.

Complesso di cocatene

Il complesso di De Rham è il complesso di cocatene seguente:

$0\to {\mathrm{\Omega }}^0(M)\stackrel{d}{\to }{\mathrm{\Omega }}^1(M)\stackrel{d}{\to }\cdots \stackrel{d}{\to }{\mathrm{\Omega }}^{n-1}(M)\stackrel{d}{\to }{\mathrm{\Omega }}^n(M).$

Poiché ogni forma esatta è anche chiusa, vale $d(d\omega )=0$ per ogni forma $\omega$, ovvero

$d^2=d\circ d=0.$

D'altra parte, una forma chiusa può non essere esatta, e la coomologia di De Rham misura proprio questo fenomeno; la coomologia è definita come l'omologia del complesso di De Rham nel modo seguente. Siano

$C^k(M),Z^k(M)\subset {\mathrm{\Omega }}^k(M)$

i sottospazi formati rispettivamente dalle $k$-forme chiuse ed il sottospazio delle $k$-forme esatte. Poiché ogni forma esatta è chiusa, vale l'inclusione

$Z^k(M)\subset C^k(M).$

Il $k$-esimo gruppo di coomologia di De Rham è definito come il quoziente di questi due spazi:

$H^k(M)=C^k(M)/Z^k(M)$

Bibliografia

• Template:Cita pubblicazione
• Template:Cita pubblicazione
• Template:Cita pubblicazione

Voci correlate

• Coomologia
• Omologia (algebra)
• Forma differenziale