Teora de Hodge - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Teora_de_Hodge

Teora de Hodge
En matemticas, la teora de Hodge es una herramienta til en el estudio de las formas diferenciales en una
variedad diferenciable M. Con mayor precisin, se utiliza para el estudio del grupo de cohomologa de M,
con coeficientes reales, mediante el uso del operador laplaciano asociado a una mtrica de Riemann definida
en M.

La teora fue desarrollada por W. V. D. Hodge en los aos 1930 como una extensin de la cohomologa de
De Rham, aplicndose principalmente para:

el estudio de una variedad de Riemann

el estudio de una variedad de Khler
en geometra algebraica, el estudio de una variedad proyectiva compleja o incluso, de forma ms
general, en un motivo.

En el desarrollo original, M se supona una variedad cerrada (es decir, compacta y sin frontera). En los tres
puntos de aplicacin mencionados, la teora fue de gran influencia en trabajos posteriores, siendo
continuada, entre otros, por Kunihiko Kodaira (en Japn y despus en Princeton, bajo la influencia parcial
de Hermann Weyl).

ndice
1 Aplicaciones y ejemplos
1.1 Cohomologa de De Rham
1.2 Teora de Hodge en complejos elpticos
2 Estructuras de Hodge
3 Vase tambin
4 Referencias

Aplicaciones y ejemplos
Cohomologa de De Rham
La formulacin original de W. V. D. Hodge, se aplica al Complejo de De Rham. Si M es una variedad
compacta y orientable dotada de una mtrica 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 dk indica la derivada exterior sobre k(M). La cohomologa 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

1 de 4 27/09/2017 22:59
Teora de Hodge - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teora_de_Hodge

donde es la mtrica inducida sobre k(M). El operador Laplaciano para formas se define entonces
mediante = d + d. Esto permite definir el concepto de forma armnica y sus espacios asociados.

Puesto que , hay una aplicacin cannica . La primera parte del

conocido como Teorema de Hodge afirma que dicha aplicacin es un isomorfismo de espacios vectoriales.
Dicho de otro modo, para cada clase de cohomologa de De Rham en M existe una nica forma armnica
que la representa.

Una consecuencia importante es que los grupos de cohomologa de De Rham en variedades compactas
deben ser de dimensin finita. Esto es debido a que el operardor definido como es, en particular, elptico,
y el ncleo de un operador elptico en una variedad compacta siempre es de dimensin finita.

Teora de Hodge en complejos elpticos

De forma ms general, la teora de Hodge se aplica a cualquier complejo elptico sobre una variedad
compacta.

Sea un fibrado vectorial, con su correspondiente mtrica, en una variedad compacta M y

sea dV su forma de volumen. Supongamos que

son operadores diferenciables que actan en secciones de esos fibrados vectoriales, y que la secuencia
inducida

es un complejo elptico . Se introduce la suma directa:

y sea L* el adjunto de L. Se puede definir el operador elptico = LL* + L*L. Al igual que en el caso de De
Rham, puede entonces definirse el espacio vectorial de las secciones armnicas.

As pues, sea la proyeccin ortogonal, y sea G la operador de Green para . En ese caso, el
Teorema de Hodge asegura que:

1. H and G estn bien definidos.

2. Id = H + G = H + G
3. LG = GL, L*G = GL*
4. La cohomologa del complejo es isomorfa, de manera cannica, al espacio de secciones armnicas,
, en el sentido de que cada clase de cohomologa tiene un nico representante
armnico.

2 de 4 27/09/2017 22:59
Teora de Hodge - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teora_de_Hodge

Estructuras de Hodge
Se puede dar una definicin 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 descomposicin
como suma directa de WC = W C, la complexificacin de W, en piezas con grado Wp, q donde k = p + q, y
de forma que la conjugacin compleja de WC intercambia este subespacio con Wq, p.

En geometra algebraica, se tiene entonces el siguiente enunciado bsico: los grupos de cohomologa
singular con coeficientes reales de una variedad proyectiva compleja no singular V estn dotados de una
estructura de Hodge, de forma que possee la descomposicin requerida en subespacios complejos
p, q
H . Esto tiene una conocida consecuencia para los nmeros de Betti, ya que tomando dimensiones

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

La sucesin de nmeros de Betti se convierte entonces en un diamante de Hodge de nmeros de Hodge

que se extiende en dos dimensiones.

Esta graduacin proviene de la teora de las formas armnicas, las cuales son representantes privilegiados
de la clase de cohomologa de De Rham anulados por el laplaciano de Hodge (generalizando las propiedades
de una funcin armnica, la cual, como consecuencia del principio del mximo, en una variedad compacta
debe ser localmente constante ). En trabajos posteriores de Dobealt ha sido mostrado que la descomposicin
de Hodge tambin aparece para grupos de cohomologa de haces donde p es el haz de
p-formas holomorfas. Esto permite, en este caso, tener una interpretacin ms algebraica, que no recurre a
ningn laplaciano.

Vase tambin
Conjetura de Hodge

Referencias
P. Griffiths; J. Harris (1994). Principles of Algebraic Geometry. Wiley Classics Library. Wiley
Interscience. p. 117. ISBN 0-471-05059-8.
Hodge, W. V. D. (1941), The Theory and Applications of Harmonic Integrals
(http://books.google.com/books?id=-8k8AAAAIAAJ), Cambridge University Press,
ISBN 978-0-521-35881-1, MR 0003947 (http://www.ams.org/mathscinet-getitem?mr=0003947)
Ofer Gabber, Lorenzo Ramero (2009). Foundations for almost ring theory (http://arxiv.org
/abs/math.AG/0409584).

Obtenido de https://es.wikipedia.org/w/index.php?title=Teora_de_Hodge&oldid=88061388

Se edit esta pgina por ltima vez el 28 dic 2015 a las 16:21.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden

3 de 4 27/09/2017 22:59
Teora de Hodge - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Teora_de_Hodge

aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

4 de 4 27/09/2017 22:59