Integrale di una forma differenziale

Messaggioda Trilogy » 22/05/2017, 15:26

Ciao a tutti!

Sto leggendo una dimostrazione nel libro Principles of Algebraic Geometry di Griffiths e Harris della proposizione (a pagina 110) che dice che i numeri di Betti pari di una varietà di Kähler sono positivi.

Tanto per cominciare, prendo come definizione di $r$-esimo numero di Betti $$b_r(M)=\dim H_{DR}^r(M,\mathbb C)$$la dimensione dell'$r$-esimo gruppo di coomologia di De Rham. La dimostrazione intuitivamente è facilissima, si dimostra che esiste una $2q$-forma differenziale chiusa ma non esatta. So che una certa $2$-forma $\omega$ (la forma associata alla metrica di Kähler) è chiusa, quindi $\omega^q$ sarà una $2q$-forma chiusa. Il problema è che non capisco perché non dovrebbe essere esatta. Nel libro c'è scritto che questo non vale perché se avessi $\omega^q=d\psi$ allora $$\int_M\omega^n=\int_Md(\psi\wedge\omega^{n-q})=0,$$ dove $n$ è la dimensione di $M$. E il libro dice che questo non può succedere perché $\omega^n \/ n!$ è la forma di volume.
Visto che non so quasi niente sull'integrazione di forme differenziali, posso prendere per buono che il primo integrale non possa essere zero, ma perché il secondo lo è?

Grazie a tutti, buona giornata!
Ultima modifica di Trilogy il 22/05/2017, 22:27, modificato 1 volta in totale.
The road to wisdom? Well, it's plain and simple to express: err and err and err again, but less and less and less.
Trilogy
Junior Member
Junior Member
 
Messaggio: 165 di 404
Iscritto il: 05/07/2013, 19:52

Re: Integrale di una forma differenziale

Messaggioda Trilogy » 22/05/2017, 16:32

Forse ho capito. È possibile che derivi dal Teorema di Stokes e dal fatto che $M$ non ha frontiera?
The road to wisdom? Well, it's plain and simple to express: err and err and err again, but less and less and less.
Trilogy
Junior Member
Junior Member
 
Messaggio: 166 di 404
Iscritto il: 05/07/2013, 19:52

Re: Integrale di una forma differenziale

Messaggioda dan95 » 22/05/2017, 22:17

Sì esatto, immagino che volessi scrivere $\omega^q=d\psi$
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 1643 di 5268
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Integrale di una forma differenziale

Messaggioda Trilogy » 22/05/2017, 22:28

Grazie mille per la risposta! E sì, grazie, ho corretto
The road to wisdom? Well, it's plain and simple to express: err and err and err again, but less and less and less.
Trilogy
Junior Member
Junior Member
 
Messaggio: 167 di 404
Iscritto il: 05/07/2013, 19:52


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite