Teoría de Hodge

En matemáticas, la teoría de Hodge es una herramienta útil en el estudio de las formas diferenciales en una variedad diferenciable M. Con mayor precisión, se utiliza para el estudio del grupo de cohomología de M, con coeficientes reales, mediante el uso del operador laplaciano asociado a una métrica de Riemann definida en M.

La teoría fue desarrollada por W. V. D. Hodge en los años 1930 como una extensión de la cohomología de De Rham, aplicándose principalmente para:

En el desarrollo original, M se suponía una variedad cerrada (es decir, compacta y sin frontera). En los tres puntos de aplicación mencionados, la teoría fue de gran influencia en trabajos posteriores, siendo continuada, entre otros, por Kunihiko Kodaira (en Japón y después en Princeton, bajo la influencia parcial de Hermann Weyl).

La formulación original de W. V. D. Hodge, se aplica al Complejo de De Rham. Si M es una variedad compacta y orientable dotada de una métrica diferenciable g, y Ω^k(M) es el espacio de las formas diferenciables de grado k en M, entonces el complejo de De Rham es la secuencia de operadores diferenciales

donde d_k indica la derivada exterior sobre Ω^k(M). La cohomología de De Rham es entonces la secuencia de espacios vectoriales definida por

Se puede definir entonces el adjunto formal de la derivada exterior d, que se denota por δ, de la siguiente manera. Para todo α ∈ Ω^k(M) y β ∈ Ω^k+1(M), se debe cumplir que

donde ${displaystyle langle , angle _{k}}$ es la métrica inducida sobre Ω^k(M). El operador Laplaciano para formas se define entonces mediante Δ = dδ + δd. Esto permite definir el concepto de forma armónica y sus espacios asociados.

Puesto que ${displaystyle d{mathcal {H}}_{Delta }^{k}(M)=0}$, hay una aplicación canónica ${displaystyle varphi :{mathcal {H}}_{Delta }^{k}(M) ightarrow H^{k}(M)}$. La primera parte del conocido como Teorema de Hodge afirma que dicha aplicación φ es un isomorfismo de espacios vectoriales. Dicho de otro modo, para cada clase de cohomología de De Rham en M existe una única forma armónica que la representa.

Una consecuencia importante es que los grupos de cohomología de De Rham en variedades compactas deben ser de dimensión finita. Esto es debido a que el operardor definido como Δ es, en particular, elíptico, y el núcleo de un operador elíptico en una variedad compacta siempre es de dimensión finita.

De forma más general, la teoría de Hodge se aplica a cualquier complejo elíptico sobre una variedad compacta.

Sea ${displaystyle E_{0},E_{1},dots ,E_{N}}$ un fibrado vectorial, con su correspondiente métrica, en una variedad compacta M y sea dV su forma de volumen. Supongamos que

son operadores diferenciables que actúan en secciones de esos fibrados vectoriales, y que la secuencia inducida

es un complejo elíptico . Se introduce la suma directa:

y sea L* el adjunto de L. Se puede definir el operador elíptico Δ = LL* + L*L. Al igual que en el caso de De Rham, puede entonces definirse el espacio vectorial de las secciones armónicas.

Así pues, sea ${displaystyle H:{mathcal {E}}^{ullet } ightarrow {mathcal {H}}}$ la proyección ortogonal, y sea G la operador de Green para Δ. En ese caso, el Teorema de Hodge asegura que:

Se puede dar una definición abstracta de una estructura de Hodge (en el campo real) de la siguiente forma: para un espacio vectorial real W, una estructura de Hodge con peso k (entero) en W es una descomposición como suma directa de W^C = W ⊗ C, la complexificación de W, en piezas con grado W^{p, q} donde k = p + q, y de forma que la conjugación compleja de W^C intercambia este subespacio con W^{q, p}.

En geometría algebraica, se tiene entonces el siguiente enunciado básico: los grupos de cohomología singular con coeficientes reales de una variedad proyectiva compleja no singular V están dotados de una estructura de Hodge, de forma que ${displaystyle H^{k}(V)}$ possee la descomposición requerida en subespacios complejos H^{p, q}. Esto tiene una conocida consecuencia para los números de Betti, ya que tomando dimensiones

donde la suma está hecha sobre las parejas p, q con p + q = k y donde

La sucesión de números de Betti se convierte entonces en un diamante de Hodge de números de Hodge que se extiende en dos dimensiones.

Esta graduación proviene de la teoría de las formas armónicas, las cuales son representantes privilegiados de la clase de cohomología de De Rham anulados por el laplaciano de Hodge (generalizando las propiedades de una función armónica, la cual, como consecuencia del principio del máximo, en una variedad compacta debe ser localmente constante ). En trabajos posteriores de Dobealt ha sido mostrado que la descomposición de Hodge también aparece para grupos de cohomología de haces ${displaystyle H^{q}(V,Omega ^{p})}$ donde Ω^p es el haz de p-formas holomorfas. Esto permite, en este caso, tener una interpretación más algebraica, que no recurre a ningún laplaciano.

---