El operador de Hodge en variedades

Riemannianas
Diosel Lopez Cruz

1.

Introducci
on

El operador estrella de Hodge, el cual es importante para las ecuaciones de

Maxwell en el caso de metricas de signatura Lorentziana, tambien juega un importante rol en las variedades Riemannianas. En estas notas, consideraremos
variedades Riemannianas, compactas y orientadas, veremos que el laplaciano
Pn 2
ordinario (1) i=1 x
2 se generaliza al operador en formas, conocido como
i
el operador de Laplace-Beltrami. Haremos tambien un sketch de la demostraci
on del eorema de Hodge y el eorema de descomposicion de Hodge. Como una
nk
k
simple aplicaci
on de todo lo anterior, probaremos que HDR
(M )
(M ) ,
= HDR
el teorema de dualidad de Poincare para cohomologa de De Rham.

2.

El isomorfismo estrella en

(V )

Sea V un espacio vectorial n-dimensional con producto

Vq interno h , i, entonces,
este producto interior induce, un producto interior en
V definido como sigue.
Sea v1 , . . . , vq ; v10 , . . . , vq0 V , entonces, definimos:
hv1 vq , v10 vq0 = det(hvi , vj0 i)j=1,...,q
i=1,...,q .
V
L Vq
Vk
Esto, dota al
algebra V =
V de un producto interior, haciendo a
V y




Vl
Vq
Vnq
n
V ortogonales si k 6= l. Puesto que dim( V ) = nq = nq
= dim(
V)
para q = 0, 1, . . . , n. Es decir, se tiene un isomorfismo entre ambos espacios
vectoriales.
esta secci
on, daremos un isomorfismo natural, denotado por ,
Vq
VEn
nq
de
V a
V.
Vq
Vnq
Definici
on 2.1 El operador estrella de Hodge, :
V
V , es
definido como sigue. Sea e1 , . . . , en una base ortonormal positivamente orientada
de V . Entonces, , est
a dado por:
(ei1 ei2 . . . eiq ) = eiq+1 eiq+2 . . . ein
donde {i1 , . . . , ik , ik+1 , . . . , in } es una permutacion par de {1, 2, . . . , n}, tal que
cumple con la propiedad siguiente:
u v = hu, vidV
1

para u, v

Vq

V y dV = e1 . . . en es el elemento de volumen.

El operador depende u
nica y exclusivamente del producto interno de V .
Ejemplo en R3 2.2 Sea {e1 , e2 , e3 } la base canonica de R3 con el producto
interior euclidiano, entonces {e1 e2 , e1 e3 , e2 e3 } es una base ortonormal de
V2 3
V3 3
V2 3
R , y {e1 e2 e3 } es una base ortonormal de
R . Para e2 e3
R ,
V1 3
3
tenemos que (e2 e3 ) est
a en
R = R . De esta forma:
(e2 e3 ) = e1 ,

(e1 e3 ) = e2

(e1 e2 ) = e3 ;

y luego por linealidad,

(a1 (e2 e3 ) + a2 (e1 e3 ) + a3 (e1 e2 )) = a1 e1 a2 e2 + a3 e3 .
Puesto que e2 e3 = e1 , etc., lo u
ltimo demuestra que si u, v {e1 , e2 , e3 },
entonces:
u v = (u v)
y por linealidad, se extiende a todo R3 .
Presentaremos ahora un ejemplo que ilustra la diferencia del operador estrella de hodge aplicado a R4 con dos distintas metricas.
Ejemplo en dimensi
on cuatro 2.3 En R4 con la metrica euclidiana y la base
can
onica {e1 , e2 , e3 , e4 }, entonces {e1 e2 , e1 e3 , e1 e3 , e2 e3 , e2 e4 , e3 e4 } es
V2 4
una base ortonormal para
R y {e1 e2 e3 , e1 e2 e4 , e1 e3 e4 , e2 e3 e4 }
V3 4
V1 4
es una base ortonormal para
R . Luego, en
(R ) tenemos que:
(e1 ) = e2 e3 e4 , (e2 ) = e1 e3 e4 , (e3 ) = e1 e2 e4 , (e4 ) = e1 e2 e3
V2 4
y para
(R ) se tiene que:
(e1 e2 ) = e3 e4 ,

(e1 e3 ) = e2 e4 ,

(e2 e3 ) = e1 e4 ,

(e1 e4 ) = e2 e3 ;

(e2 e4 ) = e1 e3 ,

(e3 e4 ) = e1 e2 .

Ejemplo en el espacio de Minkowski 2.4 Consideremos ahora el espacio

P3 de
Minkowski R41 , es decir, R4 con la metrica lorentziana dada por: hu, vi = i=1 ui vi
u4 v4 , con base est
andar {e1 , e2 , e3 , e4 }, con elemento de volumen dado por la
matriz:

1 0 0 0
0 1 0 0

0 0 1 0
0 0 0 1
V1 4
El operador de Hodge en
(R1 ) es dado por:
(e1 ) = e2 e3 e4 , (e2 ) = e1 e3 e4 , (e3 ) = e1 e2 e4 , (e4 ) = e1 e2 e3
V2 4
(R1 ) por:
y en
(e1 e2 ) = e3 e4 ,

(e1 e3 ) = e2 e4 ,

(e2 e3 ) = e1 e4 ,

(e2 e4 ) = e1 e3 ,
2

(e1 e4 ) = e2 e3 ;
(e3 e4 ) = e1 e2 .

3.

El Laplaciano y formas arm

onicas

Sea M una variedad Riemanniana cerrada y orientada, entonces existe un isomorfismo natural:
q
nq
^
^
:
Tp M
Tp M,
=
para cada p M . Variando p M obtenemos un isomorfismo lineal:

: Aq (M ) Anq (M ),
donde es una (n p)-forma dado por
P (p) = ((p)). Sea i , 1 i n, una
base dual de ei y consideremos = i1 <...<ik fi1 ...ik i1 ik , entonces:
(w) =

sgn(I, J)fi1 ...ik j1 jnk ,

i1 <...<ik

donde j1 < < jnk es el reordenamiento en orden ascendente del complemento de i1 < < ik en el conjunto {1, . . . , k} y sgn(I, J) es el signo de
la permutaci
on i1 , . . . , ik , j1 , . . . , jnk . Tambien tenemos que 1 An (M ), al
cual se le llama, forma de volumen, y lo denotaremos como vM , es decir,
1 = vM = 1 n .
Para dos formas , Aq (M ), tenemos un
interno hp , p i en
Vqproducto
cada punto p, dado por el producto interior de
Tp M .
Proposici
on 3.1 El operador de Hodge satisface las siguiente propiedades
para dos formas y en Aq (M ):
i) (()) = (1)q(nq) ,
ii) = = h, ivM ,
iii) ( ) = ( ) = h, i.
Demostraci
on. Para i), sea 1 , . . . , n una base ortonormal de Tp M y supongamos que = 1 q . En este caso, tenemos que () = q+1 n ,
aplicando nuevamente, queda que ((p )) = (1)q(nq) p .

Ahora, definimos un producto interno Aq (M ) integrando la funcion hp , p i
sobre M , es decir,
Z
hh, ii =
h, ivM ,
M

usando el operador estrella de Hodge y la proposicion 3.1, la forma bilineal:

hh , ii : Aq (M ) Aq (M ) R
R
se puede escribir como hh, ii = M . Tambien es claro de la proposicion
3.1 que esta forma bilineal es simetrica y definida-positiva. Por convencion,
definimos el producto interior entre dos formas de grados distintos como cero,
3

luego el
algebra A (M ) es provisto de un producto interno. A partir de aqui,
denotaremos a la metrica hh , ii, simplemente como h , i.
Ahora, estudiaremos como la derivada exterior d : Aq (M ) Aq+1 (M ) es
transformado por el operador de Hodge. Para esto, definimos el operador lineal:
= (1)q 1 d = (1)n(q+1)+1 d : Aq (M ) Aq1 (M )
tal que el siguiente diagrama conmuta:

Aq1 (M )

/ Anq (M )

Aq (M )

/ A(nq)+1 (M ).

(1)k

De la definici
on, es inmediato que = (1)q d, = (1)q+1 d y que = 0.
Proposici
on 3.2 Con el producto interior definido en A (M ), y d son adjuntos.
Demostraci
on. Sean Aq (M ) y Aq+1 (M ). Puesto que
d = d( ) (1)q d() = d( ) + .
Integrando ambos lados sobre M , nos queda que:
Z
hd, i =
d( ) + h, i.
M

Por el teorema de Stokes se tiene que



R
M

d( ) = 0 y luego hd, i = h, i.

Definici
on 3.3 Para una variedad Riemanniana M , el operador definido por:
:= d + d : Aq (M ) Aq (M )
es llamado el operador de Laplace-Beltrami (o Laplaciano). Una forma
Aq (M ) tal que = 0 es llamada forma arm
onica.
Para Rn y considerando A0 (Rn ) = C (Rn ), el operador Laplaciano aplicado
Pn 2
a f A0 (Rn ) es simplemente el Laplaciano ordinario: (1) i=1 x
2.
i

Se prueba que conmuta con , es decir, = , y con esto, tenemos que

una forma es
armonica si y solo si es armonica. Tambien se prueba que el
operador es autoadjunto. En efecto, h, i = hd + d, i = hd, i +
hd, i = h, i + hd, di = h, d + di = h, i. Asimismo, se muestra
que una forma es arm
onica si y solo si d = 0 y = 0. Y esto se sigue del
hecho de que:
h, i = h(d + d), i = h, i + hd, di = 0,
puesto que h , i es definido positivo, = 0 si y solo si d = 0 y = 0.
4

4.

Teorema de Hodge

Para esta secci

on, sea M una variedad Riemanniana cerrada y orientada. Recorq
demos que un elemento de HDR
(M ) es una clase de equivalencia representada
por una forma cerrada Aq (M ). El teorema es debido a Stokes y dice:
Teorema 4.1 (Stokes). Sea M una n-variedad orientada y una (n 1)forma en M con soporte compacto, se tiene que:
Z
d = 0.
M

Teorema de Hodge y teorema de descomposici

on de Hodge 4.2 Consideremos como Hq (M ) = { Aq (M ) | = 0}, al conjunto de todas las
q-formas arm
onicas de M . Puesto que toda forma armonica es cerrada, esto nos
induce un morfismo lineal:
q
(M )
Hq (M ) HDR
q
dado por 7 []. Es inmediato ver que el morfismo Hq (M ) HDR
(M ) es inyectivo. En efecto, si es una q-forma armonica tal que su clase de cohomologa
de De Rham es cero ([] = 0), es decir es exacta, luego h, i = hd, i =
h, i = h, 0i = 0. Por lo tanto = 0.

Lema 4.3 Los siguientes tres subespacios de Aq (M ) son ortogonales cada uno
de otro: Hq , dAq1 y Aq+1 . M
as a
un, un elemento de Aq ortogonal a la suma
directa de los tres subespacios, debe ser 0.
Demostraci
on. Sean Hq , Aq1 , Aq+1 , luego:
h, di = h, i = h0, i = 0;

h, i = hd, i = h0, i = 0

hd, i = hdd, i = h0, i = 0.

Ahora, si Aq es ortogonal a dAq1 , entonces para cualquier Aq1
tenemos que : 0 = h, di = h, i y luego = 0. De manera similar, si es
ortogonal a dAq+1 , entonces d = 0, es decir, si es ortogonal a dAq1 Aq+1 ,
entonces d = = 0, luego Hq . Si tambien es ortogonal a Hq , entonces
h, i = 0, por lo tanto = 0.

Teorema 4.4 (Descomposicion de Hodge) En una variedad Riemanniana,
compacta y orientada, toda q-forma puede escribirse de forma u
nica como la
suma de una forma arm
onica, una forma exacta y una forma coexacta, es decir:
Aq (M ) = Hq (M ) dAq1 (M ) Aq+1 (M ).

Demostraci
on del teorema de Hodge basado en el teorema de desq
composici
on. Es suficiente probar que Hq (M ) HDR
(M ) es suprayectiva.
q
Sea A (M ) cerrada, y sea = A + d + por la descomposicion de
. Ahora 0 = d = d(A + d + ) = d, luego 0 = d = d, de esta
forma 0 = hd, i = h, i, as = 0. Por lo tanto, = A + d, y asi
A = d. Entonces es cohomologo a A , luego A 7 []. Por lo tanto
q
Hq (M ) HDR
(M ) es un isomorfismo.
Dualidad de Poincare 4.5 Sea M una n-variedad compacta, conexa y orientada. Para cada q (0 q n), definimos un mapeo bilineal:
Z
q
nq
HDR (M ) HDR (M ) R
dado por
([], []) 7
,
M

donde y son q y (n q)-formas cerradas, y [] y [] son las clases de

cohomologa de De Rham representados por y , respectivamente. Es obvio
que es bilineal y no depende del representante que se elija, lo cual se sigue del
teorema de Stokes, digamos:
Z
Z
Z
Z
q
( +d)( d) =
+
d( +(1) +d) =
.
M

Un resultado muy u
til de Algebra Lineal sobre formas bilineales no-degeneradas,
nos dice que: Sean V y W espacios vectoriales dimensionalmente finitos y sea:
h , i : V W R
bilineal y no-degenerada en el sentido de que, para cualquier v V , v 6= 0, existe
w W tal que hv, wi 6= 0, e inversamente. Entonces V puede ser identificado
con W , y W con V . Donde:
i : V W ,

i(v)(w) = hv, wi

j : W V ,

j(w)(v) = hv, wi

son mapeos lineales inyectivos. Entonces V y W deben ser de la misma dimensi

on, luego i y j son isomorfismos.
Teorema 4.6 (Dualidad de Poincare). Para una n-variedad conexa, compacta y orientada, el mapeo bilineal:
nk
k
HDR
(M ) HDR
(M ) R

es no-degenerado y luego induce un isomorfismo:

nk
k
HDR
(M )
(M ) .
= HDR

Demostraci
on. La identificacion natural H k (M, R) = (Hk (M )) induce un
k
k
k
isomorfismo Hk (M, R)
(M, R) , pero HDR
(M, R) = HDR
(M, R). Por
= (HDR
el teorema de Hodge, basta probar que:
Hk (M ) Hnk (M )
6

es un isomorfismo. Sea entonces Hk (M ), luego Hnk (M ), de esta

forma:
Z
= h, ivM = kk2 .
M
k
Esto prueba que si dada una clase [] HDR
(M ) con armonica
R y no cero,
nk
entonces existe [] HDR (M ) tal que = es armonica y M 6=
0, luego el morfismo Hk (M ) Hnk (M ) es inyectivo. De manera similar se
prueba que Hnk (M ) Hk (M )tambien es inyectivo. La demostracion se sigue
del hecho de que inyecciones de espacios vectoriales de la misma dimension son
isomorfismos.


Referencias
[1] R. W. R. Darling, Diff erential F orms and Connections, Cambridge University Press. Cambridge, 1994.
[2] S. Morita, Geometry of Diff erential F orms, Traslations of Mathematical
Monographs, 201. AMS, Providence, RI, 2001.
[3] F. W. Warner, F oundations of Diff erentiable M anif olds and Lie Groups,
GTM 94, Springer. New York, 1983.