Un isomorfismo de comparación que relaciona la cohomología de Betti (singular/topológica) de una variedad algebraica o variedad compleja adecuada con su cohomología de de Rham algebraica o analítica, a menudo tras tensorizar con los complejos, identificando integrales sobre ciclos con períodos de formas diferenciales.

Principio

La integración de formas diferenciales algebraicas sobre ciclos topológicos induce un isomorfismo entre la cohomología de de Rham (calculada a partir de formas) y la cohomología de Betti con coeficientes complejos para variedades suaves y propias (y en otros marcos con hipótesis), fundamento de la teoría de Hodge y las relaciones de períodos.

Demostración

Para una curva proyectiva suave compleja, la comparación identifica H^1(X(C), C) con H^1_dR(X)⊗C; bases explícitas de diferenciales holomorfas integradas sobre una base de homología dan la matriz de períodos clásica.

Aplicación incorrecta

Suponer una comparación integral (con coeficientes en Z) sin tensorizar por C o aplicar el isomorfismo a espacios singulares que no cumplen l suavidad/properidad requerida; confundir Betti–de Rham con comparaciones étale–de Rham válidas en contextos aritméticos distintos.

Consecuencia

Conecta invariantes topológicos con estructuras algebraico-diferenciales, permite el cálculo de períodos y estructuras de Hodge y proporciona el puente usado en cuestiones de trascendencia y comparación de realizaciones motivicas.

Inversión

La inversión —recuperar formas de de Rham únicamente a partir de clases de Betti sin estructura analítica ni coeficientes adecuados— falla sin el complejo de de Rham; se necesitan los datos de las formas diferenciales para producir el isomorfismo.

Límite

Se cumple bajo hipótesis como suavidad y properidad (o con modificaciones adecuadas de crecimiento/coeficientes); no es válido en general para variedades singulares o esquemas sobre cuerpos no complejos sin reemplazar la cohomología de Betti por un análogo apropiado.

Tensión semántica

Tensión entre la comparación Betti–de Rham y otros teoremas de comparación (por ejemplo, étale–de Rham, comparaciones p‑ádicas): cada uno identifica diferentes realizaciones cohomológicas según el cuerpo base y la topología, por lo que hay que elegir la comparación correcta.

Síntesis

La comparación Betti–De Rham iguala clases cohomológicas topológicas con formas diferenciales algebraicas mediante la integración, ofreciendo un isomorfismo (tras la tensorización adecuada) que muestra que la topología geométrica y el cálculo de de Rham son dos caras del mismo invariante cohomológico.