Cohomologia de

-
Rham

Cohomologia de Rham

sea un operador diferencial d: r*(M) - ** (M),

we l(M) es Kamado una forma cerrada si cw-O, y una forma exacta

si existe (k-1)-forma talque w =
dr. Vamos a denotar el conjunto de

todas las k-formas cerradas sobre M po. Z"IM) y el conjuntode todas las

K-formas exactas Por B(M)

zY(M) kerd.
l(M) > r** (M)

B(M) 1mc: lm) r"(M)

=

El grupode cohomologia de Rham de es definido como el espacio

Cociente
V

dR "(M) B"cC,

youdimension as Kamada el 1-th Numero de Bettide.

En otras palabras, el grupo de cohomologia de Rham de es el grupo cohomologica
de deRham complex ic (

0.(m)+i+.....rc0
Es un Abeliano similar spacio vectorial sobre R.
grupo a un

5x e-"dr)), ye in estan representados por formas Cerradas WCE"CM,

he ZPM), respectivamente. Entances podemos definis

xvy =
[wry]c Hi

Sabemos que yox = 11" x

13. As CHI(M), esta equipado con

la estructura del producto Hamado el amillo de Rham

 emma:(Lemma de Poincare. La cohomologia de de Rham Para R" es

2) /Rk =0

20 kFO

donde tin (R)=RR estanrepresentados por funciones constantes.

Esto tambien so cumple cando es contractil, es deeir, Wando podemos contraer suavemente
a un punto. Sin
embargo, esto no es cierto para manifolds generales, a pegar de ser

cierto para chart de coordenadas. El problema es entender como estos charts estarunidos globalmente.
La cohomologia de de Rham es un invariante topologico de la manifold, como estudicemos

mas adelante

etricas de Riemann
Hasta ahora las manifolds que hemos considerado estan definidas con la mociones

de derivadas e
integrales. Necesitamos introducir una metrica para definir el
concepto de longitud.

Definicion 2:Metrica de Riemann. Una metrica de Riemann g sobre

Una manifold grave es una forma bilinear G:MY p

x R

Para walquier peM con las siguientes propiedades:

(i) Simetrico:g(Xp, YeL YetloM.

g(Yo, Xe) Gaaw Xo,

(ii) Definido-Positivo:g(X, X) 0 Para X XpeToM.

Ciii No degenerado:g(X, XP) 0

Siy solo 0
=

Xp
si
=

Ademas, g es suave en el sentido que para cualquier campo vectorial suave /yY
La x1
funcion
>
Gp(X, Yo) es swave.

Un par (M,g) con una metrica

g sobre M es llamada una manifold Riemanniarcs

En fisica, una metrica es usualmente no definida positiva, y el numero de

autovalores negativos de la metrica es llamado signatura.

 En un chat ( U ; × ? " '

/
X
"
) puede so esoito local men te Como ds2= gijlx ) dxi dxi .

En una manifold suave wbitraria , Podemos mostrw que exist una métrica Rieman nina

vsondo una Unidad de pwticién .

En Una manifold Riemannian a ,
Podemos introduce 'r la

nocién de longitud de un vector

tmgnte Xp E 1PM .

p ! =
g ( Xp Xp ) , .

Para una Curva 8 :

a. 6 ]
> 1
,
la
longitud LIN de una Curva

Puedeserdeiinido Por b
b

(8)
! titi dt Jdt
=

gii do
=

a ,

Por lo tanto , podemos deir que la geometric Riemannian estodia Una

" "
geometric en la Walla longitud de una Cueva 1 dimensional 8 esta detinida .

Para un mapa suave f : I 1 ,

la métrica
g sobre una manifold I
"

Puede Ser halada

"
a la métrica
f*g sobre l de Tal Manera que para Xp ,
Yp E
p

* *

9 ( f- Xp f- Xp
*
f- g( Xp ,
xp ) ,

Definition 10 :
sométria .
Sea M , g) y N, h) manifolds Riemannian as .

Deimos 9-ve f : I > 1 es una isometrics si es un difeomorfismo

Enotras Pala bras Todo
*

f- h g Xp Yp PM
-

c-
y .

,
para PEM y ,
,

Necesitamos

h ( f- * Xp , f- Yp
* 9 ( Xp Yp ,
.

De hecho ,
dado dos isometrics fn ,
fa ,
su product fnofz es

también una isometrics , asi que el conjunto de isometric forma un

Grupo
Varnado el de isometrics
grupo .
 Un Campo rectorial X sobre una manifold Rimanniana 1 , g) es Varnado Campos rectoriales
de killing Hyo Convierte YE g O Su derivada dela métrica g anula
Si Su Se
g ,
se

✗ 9=0 .

Si escribimos la métrica ds2= gijdxidxi

"

y
el Campo rectorial de killing ✗ = ✗ de

términos de Coordenada local X!

"
La de de
en una U ; . . .
.
×
,
ewaiién Campo
killing
Pvede Ser escritas Como
"

× 2.
" "
gij +
9kg2:X t
9in Jj X 0 .

Usando métrica ten emos entre el Campo rectorial

una
g , on isomoifismo

Y 1- forma § :
*(M ) ≈ Ii IM ) .

de Manera
que para Los Campos vector iales X, Y Et LM ) sobre , 81×1141 GLX Y) ,

Usando el isomorfismo pm ≈ p*M , Podemos introduce's un product intern sobre p

*

µ .

Definition 11 :
Gradient de un Campo rectorial .
Sea f :
M IR una fmcién suave .

El dual de 1- forma df bajo el isomorphism O es Hamada gradient e de un Campo rectorial

def denotado , por grad f 11 f)

8 gradf ,
X =
df ( X ) =
f.
*
Para ✗ c- *(M) .
Dado Coordenadas locales U; x ! . . .
,×
"
) ,
es

expresado Como :
n

9rad f- =
giilx ) 25-2 .

, ;= , 2Xi zxj
Para simplified , Supondremos que la métricagi; es definida positives .

Para Una métrica con una

Signatura ma's general ,
solo ten emos 9M introduce'r factor es de
Signo apropiados

Para de las formulas continuation que la simétrica Podemos

algona a . Dado métrica gij es ,

en contra una base he ? } a =

1, . . .
,n ) en pas Tal que :

cfij e.ae:
a= ,

Esta base se denominamwco Orto normal en PEM .

De hecho ,
el mwcoortonormal se puede
encontrar en un chart local ( U ; x
'

,
. . .
,
×
"
) mediate el Proceso estaidw de Gram Schmidt -

. Para

Una métricc dada ,

un marco oitonoimal se define modulo 01h ) .
 "

El Sistema " "

Varnado Vielbeins Donde
"
e
"
Viel mochas being signifier
es ,
signifier y piernas en

también
"
les llama
"
Aleman .
En 4 dimension es , se
"
Viubeins or tétradas "
.

eorema de Hodge y
des composition de Hodge
-

n Una manifold de Riemann compacta e orientada , g) ,

Podemos encontrw lavinia forma diterencial

distingvida de Todas Ias das de de De Rham

Entre el
Conjunto form as Cerra
que represent an una Clase
Cohomologia .

tal forma es Hamada forma wménica y

se
puedecaraiterizwusondounoperadorditerena.at Varnado Laplacian .

Esta es la teoriadebido a
Hodge .

En esta subseccién asumirémos Mes siempre manifold de Riemann Orientaday compacta

que una .

Dada una métrica g ,

exist un isomorfismo

SEIM )
*
detinido
:

por (M ) >

*
en
""

e' Esto Hamada

"
^ . . .

re e ^ . . .

es el operator de Hogate *
.

*
c- Rn IM ) es Hamada la forma de Volumen

= *
1 = e' ^ Er . . .
r en .

En Coordenadas locales U ; ✗
^

,
. . .
,
×
"
) ,
Podemos expreso la forma de volume n Como

V01 =

g
din . . .
rdxn

donde g =
detlgij ) estamos asumiendo que la métrica es definida Positive

Para Una K -

forma W ,
(* W ) se define Como

*
It - ' _ Jkjktn .jn . .

W 1 C-
Wjn 9 jutiiut Gjn
- - •

iv. +, . . _
in
=
. . .
jie , in
µ,

É
" "

Donde
""
"

"
el tensor artisimétriw 1
izado En
"

normal
'

Ei E Como
-

.in es
, . .
y . . - n .

/ Punto importante es que el operator estrella de Hogde depend e de la métrica g. Bago transformation es

de coordenadas transform tensor Sin Podemos remedial multiplicand o

,
C-
i. . . .in no a Como un .

embargo , g

Para convertor to en la forma de Volvmen .

La forma de voto men transform a Como un tensor si has transformaciones

de coordenadas preserver la orientation .

Si Cambiamos la orientation ,
obtenemos un extra 1 .
-

I operador 8 sobre 1"del diferencial exterior des definido como

mk n +
+

SW - *d*W

Asi tenemos el diagrama commutativo:

I

~"
n -
k

S d

1)** 1

24
+
-

"M

Podemos verificar el siguiente propiedades,

S 0,
=

8dd8*,
* d*8Sxc 0.
=

Para una manifold carrada, podemos definir el producto interno definido

positivo sobre l"(M) por

win)
GW in new
Para w, y -* (M). El operador
= 8 es un operador adjunto c, ya que:

du, 7 W, S7 .

Sobre una manifold de Riemannian, un operador definido por

Sd + d8:(M) <
_*(M).
Es llamado el operador de Laplace Beltrami. Una forma wer*(M)
tal que AW=0 es llamada una forma comonica. In particular, una funcion

I tal que /f 0
=

es llamada una funcion

armonica. El operador de

Laplace Beltramie s
-

autoadjeto en el sentido que

W,n w, 2

Para x w, y c-2" (M). Ademas, podemos mostrar que una condicion

necesaria

y suficiente de forma armonica

w 0
if dw= Sw
=

0
=
 Vamos a denoter el conjunto de K-formas armonicas sobre

1 TM) [we(m) 1w =
or

leoremal:Gescomposicion de
Hogde. Para una manifold de Riemann orientaday
compacta, tenemos la descomposicion
ortogonal

(M) It-*(M) *d*(M) - 5-**(M)

=

Pf:Usando el lemma toda forma es amonica siy solo si es cerraday S-cerradar

podemos verifion que los tres espacios arriba son
ortogonales can respecto al producto
global Hermitico sobre *(M), entences

(w,z)
(H(w,z) dv solo falteria mostrar (toma algo de tiempo)
=

la director de estos tres sumandos todo el "CM). prueba

que espacio
I.ith
suma es
peo

corema B:teorema de Hodge). Sobre una manifold de Riemann orientaclay

compacta, el mapa natural f:1."(M) > 112(M) es un isomorfismo.

PF: Podemos mostrar que festa bien definido ya que cada forma cmonica es cerrada.

el kernel def debido el de armonicas al

es zero a que espacio formas es
ortogonal
espacio de formas exactus, en particular so intersection
is reducida a You.

finalmente, para cada clase de cohomologia de Rham C, Sean una forma cerradar

tal que [W] =

c. Debido al teorema 12,la descomposicionde w es w dw'twH
=

asi

f(wt) wH] [dw' wH] [W]

=

c.
=
=
+ =

por lo tanto f es subjective.

 E) teorema de HERLM) trivial, podemos
Hodge nos dice que para un we no

escoga una forma armonica como un representante. Debido a

+

*, n *W
=

es Una (n-K) -

forma comonica, ya que WFO tenemos

Gwen WIl+
0.

teorema 14: (Dualidad de Poincare. Para una manifold de Riemann conectade,

orientada, Cerrada n-dimensional, el mapa bilinear

+x(M) x- E (M) > R

(w,y)1 <wen
no es degenerado y po. lotanto induce unisomorfismo.

(M) = -

M)*.

Pf:El isomorfismo es dado por el operador *

Hodge, el cal

mapea K-formas almonicas a (n-K)-formas.