Según http://en.wikipedia.org/wiki/De_Rham_cohomology ,
uno define el -th grupo de cohomología de Rham ser el conjunto de clases de equivalencia, es decir, el conjunto de formas cerradas en módulo las formas exactas.
Por otro lado, los grupos de cohomología de De Rham de un -esfera dimensional es si y 0 en caso contrario.
No estoy seguro de entender el vínculo entre y los grupos de equivalencia. ¿Significa eso que para generar los grupos de cohomología de De Rham de , se puede tomar cualquier función constante (caso ) o distinto de cero -forma diferencial (caso ), y que cada clase de equivalencia puede generarse a partir del producto de por un miembro particular de ?
Para el isomorfismo entre y es bastante canónico, pero para este ya no es el caso. Considere, por ejemplo, una fibración no trivial con fibra ; por lo general, no existe una forma natural de identificar la cohomología de la dimensión superior de cada fibra con , ya que el paquete determinante generalmente no será trivial.
daniel pescador
Aarón
jason de vito
vkubicki
vkubicki