Una descomposición ortogonal canónica de la cohomología de de Rham de una variedad kähleriana compacta en subespacios de formas diferenciales de bidegrado complejo fijo, realizada mediante representantes armónicos para cada bidegrado.

Principio

Teoría de Hodge: en una variedad kähleriana compacta, el operador de Laplace asociado a la métrica produce espacios finito-dimensionales de formas armónicas cuya suma directa, organizada por tipo de Hodge (p,q), coincide con la cohomología total.

Demostración

Para una superficie de Riemann compacta de género g, H^1_{dR} se descompone como H^{1,0} ⊕ H^{0,1}; las 1-formas holomorfas dan el sumando H^{1,0} y sus conjugadas complejas dan H^{0,1}, de modo que la cohomología real de dimensión 2g se explica por g formas holomorfas complejas y sus conjugadas.

Aplicación incorrecta

Suponer que la misma descomposición por bidegrado vale para variedades complejas arbitrarias sin la condición kähleriana; en variedades complejas no kählerianas los espacios H^{p,q} pueden no recomponer la cohomología de de Rham de forma ortogonal.

Consecuencia

Proporciona invariantes numéricos (números de Hodge) que restringen la topología y la estructura compleja, implica la simetría de Hodge y relaciones entre los números de Betti y de Hodge, y permite calcular la cohomología a partir de datos holomorfos.

Inversión

Invertido, la afirmación describe situaciones donde la cohomología no se descompone por bidegrado: en manifolds no compactas o no kählerianas los representantes armónicos pueden existir sin producir una descomposición por (p,q).

Límite

Requiere que la variedad sea kähleriana compacta para la descomposición completa en tipos (p,q); para una variedad riemanniana compacta en general existe una isomorfía de Hodge entre formas armónicas y cohomología de de Rham pero sin el refinamiento (p,q).

Tensión semántica

A menudo se confunde con la filtración de Hodge o con la mera identificación de formas armónicas; la descomposición es una suma directa por bidegrado, mientras la filtración de Hodge es una filtración descendente que contiene información relacionada pero distinta.

Síntesis

La descomposición de Hodge afirma que, en una variedad kähleriana compacta, la harmonicidad métrica y la estructura de bidegrado complejo se combinan para dividir la cohomología de de Rham en sumandos ortogonales (p,q), produciendo números de Hodge que enlazan topología y geometría compleja.