Teorema que identifica la cohomología de De Rham de una variedad suave, definida mediante formas diferenciales, con su cohomología singular (o simplicial) con coeficientes reales, mediante el emparejamiento por integración.

Principio

La integración de formas diferenciales cerradas sobre cadenas singulares induce un isomorfismo entre la cohomología del complejo diferencial de formas y los grupos de cohomología topológica con coeficientes reales.

Demostración

Para el círculo S^1 el espacio de 1-formas cerradas modulo formas exactas es unidimensional y la integración alrededor del lazo proporciona un isomorfismo con H^1(S^1; R) ≅ R; primitivas explícitas y cálculos de periodos muestran la correspondencia.

Aplicación incorrecta

Aplicar la afirmación a espacios no suaves, usar coeficientes distintos de R sin adaptaciones, o confundir la cohomología de De Rham con cohomología con coeficientes arbitrarios conduce a errores; omitir condiciones de regularidad invalida el emparejamiento por integración.

Consecuencia

Permite calcular invariantes topológicos con herramientas diferenciales y teoría elíptica; muestra que objetos puramente analíticos (formas diferenciales modulo exactas) capturan la cohomología topológica sobre R.

Inversión

La cohomología singular no ofrece necesariamente representantes diferenciales o estructura analítica; el teorema no dota a clases topológicas arbitrarias de formas suaves canónicas salvo que la variedad sea suave.

Límite

Requiere una variedad suave (o una estructura suave adecuada); para espacios singulares, orbifolds o esquemas se deben usar teorías adaptadas (p. ej. cohomología de haces, formas distributivas) y el isomorfismo clásico de De Rham puede fallar.

Tensión semántica

Se sitúa entre descripciones analíticas/diferenciales y invariantes algebraicos/topológicos; la tensión surge cuando se intenta generalizar el isomorfismo fuera del contexto suave con coeficientes reales.

Síntesis

El teorema de De Rham afirma que, en una variedad suave, la cohomología calculada a partir de formas diferenciales coincide con la cohomología topológica con coeficientes reales, realizada concretamente por la integración sobre ciclos.