La teoría de Hodge se ocupa del estudio de formas diferenciales en variedades suaves . Más concretamente, esta teoría estudia cómo el laplaciano generalizado asociado a una métrica riemanniana sobre una variedad M afecta a sus grupos de cohomología con coeficientes reales.
Esta teoría fue desarrollada por William Hodge en la década de 1930 como una generalización de la cohomología de De Rham . La teoría de Hodge tiene aplicaciones importantes en tres niveles:
En los primeros artículos, se suponía que la variedad M era cerrada (es decir, compacta y sin límite). En los tres niveles, la teoría tuvo una gran influencia en el trabajo posterior, siendo utilizada por Kunihiko Kodaira y, más tarde, por muchos otros.
Hodge mismo formuló esta teoría para los complejos de Rham . Si M es una variedad orientable compacta dotada de una métrica suave g , y Ω k ( M ) es un haz de formas diferenciales suaves de grado k en M , entonces el complejo de Rham es una secuencia de operadores diferenciales
donde d k denota la derivada exterior en Ω k ( M ). Entonces la cohomología de De Rham es simplemente una secuencia de espacios vectoriales definidos como
Es posible definir un operador formalmente conjugado a la derivada exterior (diferencial exterior) d , llamado codiferencial y denotado simplemente requiriendo que para todo α ∈ Ω k ( M ) y β ∈ Ω k +1 ( M ) la relación
donde es la métrica inducida en . Ahora el laplaciano se puede definir como . Esto nos permite definir espacios de formas armónicas:
Se puede demostrar que , entonces, hay un mapeo canónico . La primera parte del teorema de Hodge establece que es un isomorfismo de espacios vectoriales.
Una de las principales consecuencias de esto es que los grupos de cohomología de De Rham en una variedad compacta son de dimensión finita. Esto se sigue del hecho de que los operadores son elípticos y el núcleo de un operador elíptico en una variedad compacta es siempre de dimensión finita.
La definición abstracta de las estructuras (reales) de Hodge es la siguiente: para un espacio vectorial real , la estructura de Hodge es la descomposición de su complejización en una suma directa graduada
además, la conjugación compleja no reordena los términos graduados y :
La afirmación principal es que los grupos de cohomología singular con coeficientes reales de una variedad proyectiva compleja no singular tienen la siguiente estructura de Hodge:
donde están los grupos de cohomología de Dolbeault de la variedad . Esto implica la relación entre los números de Betti y :
La expansión de Hodge surgió originalmente de la teoría de las formas armónicas (vectores propios del laplaciano en el espacio de formas diferenciales ) generalizando funciones armónicas localmente constantes. Se demuestra que cada clase de cohomología singular puede ser representada por una única forma armónica, y que tal forma tiene necesariamente una bigradación bien definida (respecto a la acción del operador de estructura compleja). Esto implica la expansión de Hodge. Posteriormente, se obtuvo la descomposición de Hodge de forma puramente algebraica, utilizando la teoría de secuencias espectrales y grupos de cohomología de haces , en los trabajos de Dolbeault.
En el caso de variedades no compactas o variedades con singularidades , es necesario reemplazar la estructura de Hodge por una estructura de Hodge mixta , la cual se diferencia en que se reemplaza la descomposición de la cohomología singular en una suma directa por un par de filtraciones . Este caso se utiliza, por ejemplo, en la teoría de la monodromía .