Teoría de Hodge

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda


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 30 del siglo XX 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).

Aplicaciones y ejemplos[editar]

Cohomología de De Rham[editar]

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

 0\rightarrow \Omega^0(M) \xrightarrow{d_0} \Omega^1(M)\xrightarrow{d_1} \cdots\xrightarrow{d_{n-1}} \Omega^n(M)\xrightarrow{d_n} 0

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

H^k(M)=\frac{\ker d_k}{\mathrm{im}\,d_{k-1}}.

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

\int_M \langle d\alpha,\beta\rangle_{k+1} \,dV = \int_M\langle\alpha,\delta\beta\rangle_k \,dV

donde \langle \ ,\ \rangle_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.

\mathcal H_\Delta^k(M)=\{\alpha\in\Omega^k(M)\mid\Delta\alpha=0\}.

Puesto que d\mathcal H_\Delta^k(M)=0, hay una aplicación canónica \varphi:\mathcal H_\Delta^k(M)\rightarrow 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.

Teoría de Hodge en complejos elípticos[editar]

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

Sea 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

L_i:\Gamma(E_i)\rightarrow\Gamma(E_{i+1})

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

\Gamma(E_0)\rightarrow \Gamma(E_1)\rightarrow\cdots\rightarrow\Gamma(E_N)

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

\mathcal E^\bullet=\bigoplus_i \Gamma(E_i)
L=\bigoplus L_i:\mathcal E^\bullet\rightarrow\mathcal E^\bullet

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.

\mathcal H=\{e\in\mathcal E^\bullet\mid\Delta e=0\}.

Así pues, sea H:\mathcal E^\bullet\rightarrow\mathcal H la proyección ortogonal, y sea G la operador de Green para Δ. En ese caso, el Teorema de Hodge asegura que:

  1. H and G están bien definidos.
  2. Id = H + ΔG = H + GΔ
  3. LG = GL, L*G = GL*
  4. La cohomología del complejo es isomorfa, de manera canónica, al espacio de secciones armónicas, H(E_j)\cong\mathcal H(E_j), en el sentido de que cada clase de cohomología tiene un único representante armónico.

Estructuras de Hodge[editar]

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 WC = WC, la complexificación de W, en piezas con grado Wp, q donde k = p + q, y de forma que la conjugación compleja de WC intercambia este subespacio con Wq, 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  H^k (V) possee la descomposición requerida en subespacios complejos Hp, q. Esto tiene una conocida consecuencia para los números de Betti, ya que tomando dimensiones

 b_{k} = \dim H^{k} (V) = \sum_{p+q=k} h^{p,q},\,

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

 h^{p,q} = \dim H^{p,q}.\,

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 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.

Ver también[editar]

Referencias[editar]