Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Topología Algebraica (Ivorra Castillo Carlos) PDF
Topología Algebraica (Ivorra Castillo Carlos) PDF
TOPOLOGIA
ALGEBRAICA
CON APLICACIONES A LA
GEOMETRIA DIFERENCIAL
Si simplemente hace girar la rueda, es algebra; pero
si contiene una idea, es topologa.
Solomon Lefschetz
Indice General
Introduccion ix
1 Topologa 1
Captulo I: Preliminares topologicos 3
1.1 Convexidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Variedades topologicas . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Espacios cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 Cocientes de polgonos . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5 Homotopas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
v
vi INDICE GENERAL
Bibliografa 481
ix
x Introduccion
a7
a8 v8 v7
v6
v5 a6
a5
a11
a9 a12 a10
v4 a3 v3
a4 a2
v1 a1 v2
Es importante que las aristas y las caras las hemos de considerar orientadas.
En el caso de las aristas, esto signica que hemos de determinar un extremo
inicial y un extremo nal. En la gura hemos indicado mediante echas la
orientacion de cada arista. La orientacion de una cara es un sentido de giro.
Por ejemplo, podemos establecer que el sentido positivo en una cara sera el
sentido antihorario cuando la vemos de frente desde fuera del cubo.
Si S es el cubo, llamaremos C0 (S) al grupo abeliano libre generado por sus
vertices, y a sus elementos los llamaremos cadenas de dimension 0. As pues,
una cadena de dimension 0 de S es una expresion algebraica de la forma
n1 v1 + n2 v2 + n3 v3 + n4 v4 + n5 v5 + n6 v6 + n7 v7 + n8 v8 , ni Z.
0 : C0 (S) 0 y 3 : 0 C2 (S)
1 (2 c1 ) = 1 a1 1 a5 1 a9 + 1 a10 = v2 v1 + v5 v6 + v1 v5 + v6 v2 = 0
Lo mismo vale para las fronteras de las caras restantes (no por casualidad,
sino por la propia denicion de frontera de una cara), luego ciertamente 2 1 =
0, y este era el unico caso no trivial. Denimos el grupo de los ciclos de dimension
p como
Zp (S) = {c Cp (S) | p c = 0}.
As, Z0 (S) = C0 (S), mientras que Z1 (S) es, como ya hemos comentado, el
grupo formado por las cadenas que describen circuitos cerrados. No es difcil
probar que
Z2 (S) = c1 + c2 + c3 + c4 + c5 + c6 .
En efecto, ante todo, z = c1 +c2 +c3 +c4 +c5 +c6 es un ciclo, pues al calcular
su frontera cada arista aparece dos veces con signos opuestos. Por ejemplo, la
arista a10 aparece con signo positivo en la frontera de la cara frontal de la gura
y con signo negativo en la frontera de la cara de la derecha (recordemos que el
signo ha de ser el necesario para que el recorrido de cada frontera se haga en
sentido antihorario). Por otra parte, si z Z2 (S) y c1 aparece con coeciente
n
= 0 en z , entonces c1 aporta a z un sumando na10 , que debe ser cancelado
con otro termino, pero solo la cara derecha puede aportar otro termino en a10 ,
luego el coeciente de dicha cara ha de ser tambien n, y as sucesivamente
llegamos a que todas las caras deben aparecer con coeciente n, luego z = nz.
Por otra parte, denimos el grupo de las fronteras de dimension p como
z = a1 + a10 + a6 + a7 a8 a9 .
Vemos que z divide al cubo en dos regiones, una contiene a la cara frontal y
a la cara superior del cubo. Llamemos c1 a la suma de estas dos caras y c2 a la
suma de las caras restantes, es decir, las contenidas en la otra region. Es facil
ver entonces que 2 c1 = 2 c2 = z (la clave esta en que las aristas interiores de
cada region se cancelan mutuamente al calcular la frontera). En general, todo
ciclo es la suma de varios circuitos cerrados de aristas, cada uno de los cuales
divide al cubo en dos regiones, de modo que la suma de las caras contenidas en
una de ellas es una cadena cuya frontera es, salvo el signo, el ciclo considerado.
As pues, el hecho de que todo 1-ciclo sea una 1-frontera esta ntimamente
relacionado con una propiedad peculiar de las esferas, a saber, que todo circuito
cerrado las divide en dos componentes conexas, cada una de las cuales tiene por
frontera al circuito dado. Esto es el teorema de Jordan.
xii Introduccion
Al pegar dos de los lados obtenemos un cilindro y al pegar los dos lados
restantes obtenemos el toro. Esto se traduce en que podemos pensar que un
cuadrado es un toro si convenimos en que el lado superior es el mismo que
el inferior y que el lado izquierdo es el mismo que el derecho. Notemos que
los cuatro vertices corresponden al mismo punto del toro. Segun esto, una
descomposicion degenerada es la indicada en la gura:
v a v
b c b
v a v
Cumple los unicos requisitos necesarios: que las aristas sean homeomorfas a
segmentos abiertos y las caras a discos abiertos (notemos que a es una circun-
ferencia, pero la arista propiamente dicha no incluye a v, luego es homeomorfa
a un segmento, y lo mismo vale para b).
De este modo, c = a + b a b = 0, luego c es un ciclo, como tambien lo
son a y b. Ahora es facil ver que, si llamamos T al toro,
H2 (T )
= Z, H1 (T )
= Z Z, H0 (T )
= Z.
En las paginas que siguen introduciremos con rigor las ideas que hasta aqu
hemos expuesto vagamente. Hay que advertir que la denicion general que
daremos de los grupos de homologa no coincidira con la que aqu hemos usado,
aunque en el captulo IV veremos que sobre una amplia clase de espacios
compactos es equivalente. Anticipamos las diferencias para no desconcertar
al lector:
En la segunda parte del libro veremos que el aparato algebraico que habre-
mos desarrollado para entonces en el estudio de los grupos de homologa de los
espacios topologicos es aplicable en un contexto muy distinto, como es el estudio
de las formas diferenciales en una variedad diferencial, las cuales permiten de-
nir unos objetos formalmente similares: los grupos de cohomologa de De Rham.
La relacion no es meramente formal, sino que el teorema de De Rham muestra
que ambas teoras son isomorfas en un sentido que ahora sera difcil precisar.
En realidad casi todos los resultados que veremos para variedades diferenciales
pueden reformularse en terminos de espacios topologicos arbitrarios. Nosotros
dejaremos la topologa y pasaremos a la geometra diferencial en el momento
en que las tecnicas puramente topologicas se hagan demasiado abstractas como
para que puedan seguirse de forma razonable sin tener in mente como gua la
situacion en las variedades diferenciales.
Senalemos, por ultimo, que los requisitos necesarios para seguir este libro son
mnimos: tan solo cierta familiaridad con la topologa, el analisis y el algebra
elemental. La unica excepcion aparece en la prueba de que toda supercie
compacta es triangulable, que requiere una version fuerte del teorema de Jordan.
No obstante, el papel de este teorema es marginal, pues afecta tan solo a una
de la aplicaciones de la teora (la clasicacion de las supercies compactas) y de
hecho puede evitarse sin mas que exigir la triangulabilidad en la denicion de
supercie. Todos los resultados de la geometra diferencial propiamente dicha
se incluyen en los primeros captulos de la segunda parte.
Primera parte
Topologa
1
Captulo I
Preliminares topologicos
1.1 Convexidad
Recordemos que un subconjunto A de Rn es convexo si contiene al segmento
que une a dos cualesquiera de sus puntos, es decir, si cuando a, b A y t [0, 1],
entonces ta + (1 t)b A.
Mas en general, se dice que un punto x es combinacion convexa de a0 , . . . , am
si es de la forma
x = t0 a0 + + tm am , t0 + + tm = 1, ti 0.
3
4 Captulo 1. Preliminares topologicos
z = x + (1 )y .
Como K esta acotado y 0 esta en su interior, es claro que tx > 0 esta bien
denido. Ademas es claro que g(x) = tx x K, luego tenemos denida una
funcion g : S n1 K. Es facil ver que es biyectiva. Concretamente, su
inversa f : K S n1 es la dada por f (x) = x/x. Ciertamente, g f = 1,
lo que prueba que g es inyectiva. Falta probar que f g = 1. Tomemos x K,
sea y = f (x) y t0 = x. Por convexidad tx K para todo t t0 , luego
ty t0 . Si fuera ty > t0 entonces, x sera combinacion convexa de 0 y g(y), y
1.2. Variedades topologicas 5
f (x) = (x1 cos (x) x2 sen (x), x1 sen (x) + x2 cos (x), x3 , . . . , xn ).
por lo que F : Y [0, 1]. Para probar que F es continua en Y \ C basta ver
que lo es en cada bola abierta B cuya clausura no corte a C. Fijada B, sea
0 = d(C, B) > 0 y sea 1 = sup d(x, C) < +.
xB
Tomemos x, y B y c C con d(x, c) 30 . Entonces
d(x, c) d(y, c)
|pc (x) pc (y)| =
d(x, C) d(y, C)
d(x, C) |d(y, C) d(x, C)| + d(x, C) |d(x, c) d(y, c)|
d(x, C)d(y, C)
30 + 1
d(x, y) = Kd(x, y).
02
Dado x B, para todo 0 < , < 1 existe un c C tal que |F (x)pc (x)| < ,/2.
Ha de ser d(x, c) 30 , pues en caso contrario pc (x) (30 )/0 1 2.
Fijemos = ,/2K. As si d(x, y) < se cumple |pc (x) pc (y)| < ,/2, luego
|F (x) pc (y)| < , y por consiguiente F (y) pc (y) F (x) + ,.
Tomemos ahora c C tal que |F (y)pc (y)| < ,/2. Como antes concluimos
que d(y, c) 30 , luego |pc (x) pc (y)| < ,/2 y as F (x) F (y) + ,.
En resumen, si d(x, y) < entonces |F (x) F (y)| < ,. Esto prueba que F
es continua en x.
Veamos ahora que F es continua en todo punto c0 C. Dado , > 0 sea
> 0 tal que si c C cumple d(c, c0 ) < 4 entonces |f (c) f (c0 )| < ,/2. Basta
probar que si x Y \ C cumple d(x, c0 ) < entonces |F (x) f (c0 )| < ,.
Tomemos c C tal que
As
d(x, c) ,
1< .
d(x, C) 2
Como d(c, c0 ) < 2 tenemos F (x) pc (x) f (c0 ) + ,. Por otro lado, para
todo c C, si d(x, c) 2 entonces
2
pc (x) 1 = 1 f (c0 ) ,,
y si d(x, c) < 2 entonces d(c, c0 ) < 4, luego pc (x) f (c) f (c0 ) ,.
Por consiguiente F (x) f (c0 ) , y en total |F (x) f (c0 )| ,.
U0 V
Como X1 X2 es un retracto absoluto de entornos, f |B0 se extiende a una
funcion g0 : U0 X1 X2 , donde U0 es un entorno de B0 en Y0 . Notemos
que U0 = (U0 B) Y0 es cerrado en U0 B, por lo que f y g0 determinan una
funcion continua g : U0 B X.
Ahora usamos que B0 e Y0 \ U0 son cerrados disjuntos en Y0 , por lo que
existen abiertos disjuntos V y W (en Y0 ) tales que B0 V e Y0 \ U0 W .
Entonces, U0 = Y0 \ W es cerrado y V U0 U0 .
12 Captulo 1. Preliminares topologicos
Teorema 1.17 Sea V un espacio topologico localmente compacto con una base
numerable y sea B una base cualquiera de V . Entonces todo cubrimiento abierto
de V tiene un renamiento localmente nito formado por abiertos de B.
X Y = X {0} Y {1}.
Si identicamos los puntos del lado izquierdo con los del derecho obtenemos
una cinta. Ahora bien, hay dos formas esencialmente distintas de realizar esta
identicacion: si a cada punto del lado izquierdo le hacemos corresponder el
que esta a su misma altura en el lado derecho obtenemos una cinta normal,
una supercie cilndrica; pero si identicamos los lados de modo que el vertice
superior izquierdo se corresponda con el inferior derecho y viceversa, obtenemos
una cinta de Mobius, con una sola cara y un solo borde, homeomorfo a una
circunferencia:
Para distinguir ambas formas de identicar los los lados del rectangulo usa-
remos la notacion siguiente:
a1 a a a
b1 b
a
1.4. Cocientes de polgonos 17
b1 a1
a
b b
b b
As, P puede verse como el espacio que se obtiene al hacer un agujero a una
esfera y cerrarlo cosiendole el borde completo de una cinta de Mobius. Esta
operacion no puede hacerse en R3 , pues la supercie esferica corta necesaria-
mente a la cinta en puntos no fronterizos.
Pensemos ahora en el cociente aba1 b. Al identicar los lados a obtenemos
un cilindro, pero ahora hemos de identicar sus dos extremos al reves de
como haramos para formar un toro, es decir, un extremo ha de pegarse al otro
por dentro en lugar de por fuera. Esto no puede hacerse tampoco en R3 ,
la unica forma de llegar por dentro a un extremo sin cortar la supercie es
doblando el cilindro en la cuarta dimension. La gura muestra una aproximacion
tridimensional al resultado: se trata de la botella de Klein, una supercie sin
borde y con una sola cara.
b a1
b c a c c
a a
El resultado es ciertamente una botella de Klein. Esta nueva representacion
nos proporciona una nueva imagen de este espacio. Para llegar a ella hemos de
observar este hecho: si realizamos la identicacion siguiente en un triangulo:
a a
a a a
b a
a
Vemos as que tenemos dos cintas de Mobius identicadas por su unico borde.
Podemos hacernos una idea mas clara del resultado si observamos un hecho mas:
si a un cilindro le pegamos una cinta de Mobius por un extremo, el resultado es
homeomorfo a una cinta de Mobius. Para comprobarlo representamos el cilindro
y la cinta como dos rectangulos con sendos pares de lados identicados:
d c d
a a b e b
c
Si partimos el rectangulo por la mitad e identicamos primero los lados c y
d obtenemos el esquema siguiente:
e d b
a a
b c e
b1 v3 a1
1
v4
v2
a1 b1
1
v1 v5
Por ultimo, los entornos basicos del unico punto que se corresponde con los
vertices del polgono (digamos de n lados) son los que resultan de identicar n
sectores circulares de radio sucientemente pequeno, que se pegan formando un
disco completo.
Teniendo en cuenta esta descripcion, es facil ver que dos puntos distintos
tienen entornos disjuntos. Mas aun, hemos probado que todo punto de Mg y Nh
tiene un entorno homeomorfo a un disco abierto en R2 , es decir, son variedades
topologicas bidimensionales. Conviene introducir el termino siguiente:
En general, es claro que Mg es una esfera con g asas, o con g agujeros, o bien g
toros pegados. Esto justica que hayamos convenido llamar M0 a la esfera sin
agujeros.
Consideremos ahora los espacios Nh . Por denicion N1 es el plano proyec-
tivo, que puede verse como una esfera a la que hemos cosido una cinta de
Mobius, y N2 es la botella de Klein, que puede verse como una esfera con dos
cintas de Mobius. En general, Nh es una esfera con h cintas de Mobius. Para
convencernos de ello pensemos en N3 :
c a
c a
b b
Al identicar los vertices del triangulo interior obtenemos una esfera con tres
agujeros en los que hemos de pegar el resultado de identicar los tres triangulos
exteriores. Ahora bien, estos dan lugar a tres cintas de Mobius, luego, efectiva-
mente, tenemos una esfera con tres cintas.
Podra pensarse en denir supercies mas complicadas que estas, por ejemplo
combinando asas y cintas de Mobius, sin embargo no dan lugar a nuevos espa-
cios: en el apendice A probamos que toda supercie compacta es homeomorfa
a una de las supercies Mg o Nh .
1.5 Homotopas
Probar que toda supercie compacta es homeomorfa a una de las supercies
canonicas que hemos denido en la seccion anterior no resuelve completamente
el problema de la clasicacion, sino que falta justicar que estas no son ho-
meomorfas dos a dos. La topologa algebraica nos permitira probarlo, al mismo
tiempo que nos proporcionara tecnicas para decidir a cual de todas las supercies
canonicas es homeomorfa una supercie dada. Todo ello se basara en el calculo
de los grupos de homologa de las supercies Mg y Nh . Segun explicabamos en
la introduccion, espacios homeomorfos tienen grupos de homologa isomorfos,
luego bastara probar que las supercies canonicas se distinguen por sus grupos
de homologa.
Sin embargo, sucede que para que dos espacios topologicos tengan la misma
homologa no es necesario que sean homeomorfos, sino que basta con que sa-
tisfagan una relacion mas general: la homotopa. El hecho de que espacios
homotopicos tengan los mismos grupos de homologa hace que el concepto de
homotopa sea fundamental en la topologa algebraica, por lo que dedicamos
esta seccion a su estudio.
Para empezar introducimos el concepto de homotopa entre aplicaciones. En
lo sucesivo I representara al intervalo unidad [0, 1] con la topologa usual.
1.5. Homotopas 23
S n1 = {x S n | xn+1 = 0}.
Este es, de hecho, un retracto por deformacion de S n \{N, S}. Una retraccion
es la aplicacion r : S n \ {N, S} S n1 dada por
(x1 , . . . , xn , 0)
r(x1 , . . . , xn+1 ) = ,
(x1 , . . . , xn , 0)
y la homotopa es
tr(x) + (1 t)x
Ht (x) = .
tr(x) + (1 t)x
Obviamente S n1 es homeomorfo a S n1 . Es facil ver que la esfera S n menos
dos cualesquiera de sus puntos es homotopica a S n1 . Por ejemplo, podemos
26 Captulo 1. Preliminares topologicos
Homologa singular
27
28 Captulo 2. Homologa singular
Podemos identicar los vertices con las 0-caras de S. Las 1-caras se llaman
tambien aristas de S. Notemos que los 0-smplices son los puntos, los 1-smplices
son los segmentos, los 2-smplices son los triangulos y los 3-smplices son los
tetraedros. La gura muestra un 3-smplice.
2.1. Smplices anes 29
entonces,
p
aj = (tti + (1 t)ti )ai ,
i=0
2 3
30 Captulo 2. Homologa singular
Observemos que, como todos los p-smplices anes son homeomorfos, en lu-
gar del smplice canonico p podramos considerar cualquier p-smplice afn.
Puesto que 0 se reduce a un punto, podemos identicar los 0-smplices sin-
gulares de un espacio X con sus puntos. Los 1-smplices singulares son las
aplicaciones continuas de 1 = [0, 1] en X, es decir, los arcos en X.
A cada smplice afn le podemos asociar un smplice singular. Mas en ge-
neral, dados p + 1 puntos y0 , . . . , yp Rn , denimos [y0 , . . . , yp ] Rn como
su envoltura convexa (de modo que si los puntos son afnmente independientes
entonces [y0 , . . . , yp ] es el smplice afn que generan, de acuerdo con la seccion
anterior). Representaremos por
(y0 , . . . , yp ) : p [y0 , . . . , yp ]
f : C(X) C(Y )
p
p (x0 , . . . , xp ) = (1)i (x0 , . . . , xi , . . . , xp ) Cp1 (p ).
i=0
= p ( f ) = p (fp ()).
La formula que hemos usado para denir la frontera del smplice (x0 , . . . , xp )
es valida de hecho para cualquier smplice singular afn:
Teorema 2.9 Sea (y0 , . . . , yp ) un p-smplice afn en Rn . Entonces
p
p (y0 , . . . , yp ) = (1)i (y0 , . . . , yi , . . . , yp ).
i=0
p
p
= (1)i p1 (x0 , . . . , xi , . . . , xp ) = (1)i (y0 , . . . , yi , . . . , yp ).
i=0 i=0
p
= (1)i p1 (x0 , . . . , xi , . . . xp ) =
i=0
= (1)i+j (x0 , . . . , xj , . . . , xi , . . . xp ) + (1)i+j1 (x0 , . . . , xi , . . . , xj , . . . xp )
j<i i<j
= (1)i+j (x0 , . . . , xj , . . . , xi , . . . xp ) + (1)i+j1 (x0 , . . . , xj , . . . , xi , . . . xp )
j<i j<i
= 0,
donde hemos usado el teorema 2.9.
El lector debera visualizar este teorema para el caso del tetraedro =
(x0 , x1 , x2 , x3 ). Lo que sucede es que cada arista forma parte de dos caras, y
es recorrida en sentidos opuestos cuando aparece en la frontera de cada una de
ellas.
Denicion 2.11 Un complejo es un par C = ( Cp , ), donde la primera
pZ
componente es un A-modulo graduado y es un homomorsmo de grado 1
tal que = 0. Entonces tenemos
p p1
Cp Cp1 Cp2
de manera que p p1 = 0.
p+1 p p1
Cp+1
Cp Cp1
p+1 p
2.3. Grupos de homologa 35
Pero
c (x0 , x1 )(t) = c (x0 , x1 )(t) = c t, 0 = (t),
luego c (x0 , x1 ) = . Similarmente se prueba que c (x1 , x2 ) = y que c (x0 , x2 )
es la constante (0), luego es una frontera por el ejemplo anterior. En total
tenemos
c = + + c ,
como queramos probar.
f : C(X, U ) C(Y, V ).
p : Hp (C) Hp (C ).
fp : Hp (X, U ) Hp (Y, V )
f : H(X, U ) H(Y, V ).
Demostracion: Los operadores frontera son los mismos para ambas ho-
mologas salvo a lo sumo 0 . Esto hace que todos los grupos de homologa
coincidan salvo a lo sumo H0 (X, U ) y H1 (X, U ). Ahora bien, si U
= , en-
tonces C1 (X) = C1 (U ), pues ambos coinciden con el A-modulo generado por
(). Por consiguiente C1 (X, U ) = 0, de donde H1 (X, U ) = 0 para ambas
homologas. Ademas entonces 0 = 0 necesariamente, luego tambien coinciden
los dos grupos H0 (X, U ).
Falta probar que si U = tambien coinciden los grupos H1 (X, U ) =
H1 (X). Podemos suponer X
= . Para la homologa completa tenemos tri-
vialmente que H1 (X) = 0, y para la reducida tenemos que Z1 (X) = C1 (X),
porque 1 = 0 y F1 (X) = C1 (X), pues () es la frontera de cualquier x X.
As pues, H1 (X) = 0 tambien en este caso.
El teorema siguiente es ahora trivial:
ik : (Xk , Uk ) (X, U )
Esto mismo es trivialmente cierto si p < 0 (podra ser falso para p = 1 con
la homologa reducida). Es claro entonces que
ik : Cp (Xk , Uk ) Cp (X, U )
k k
2.3. Grupos de homologa 39
es un isomorsmo.
Una comprobacion directa nos da que este isomorsmo se restringe a otro
ik : Zp (Xk , Uk ) Zp (X, U )
k k
es un isomorsmo.
En particular el teorema anterior es aplicable cuando los subespacios Xk son
las componentes arcoconexas de X, lo que reduce cualquier calculo de grupos
de homologa al caso de espacios arcoconexos. Ahora estamos en condiciones de
calcular H0 (X, U ).
Esto prueba que los r 1 elementos [xi xi0 ] generan H0 (X). Basta probar
que son independientes. Supongamos que
bi [xi xi0 ] = 0,
i=i0
Teorema 2.20 Si los pares (X, U ) e (Y, V ) son homotopicos entonces, para
todo p Z, se cumple Hp (X, U )
= Hp (Y, V ).
Demostracion: Sean f : (X, U ) (Y, V ) y g : (Y, V ) (X, U ) tales
que f g sea homotopica a la identidad en (X, U ) y g f a la identidad en
(Y, V ).
Entonces, f g = (f g) = 1 y g f = (g f ) = 1, luego f es un
isomorsmo de modulos y g es su inverso.
Comencemos la prueba del teorema de homotopa. Para ello consideramos
el espacio I p Rp+1 . Identicaremos los vertices xi de p con los puntos
(0, xi ) y llamaremos yi = (1, xi ). Denimos el prisma canonico como
p
Pp = (1)i (x0 , x1 , . . . , xi , yi , yi+1 , . . . , yp ) Cp+1 (I p ).
i=0
P () = (P ) Cp+1 (I X).
Cp (X)
P Cp+1 (I X)
f f
Cp (Y ) Cp+1 (I Y )
P
Ahora bien, es una aplicacion afn, y es facil ver que tambien lo es,
as como la composicion (x0 , . . . , xi , yi , . . . , yp ). Esta aplicacion, es un p + 1-
smplice determinado por las imagenes que toma sobre los vertices canonicos
x0 , . . . , xp+1 (que no hemos de confundir con los vertices de dimension p a los
que damos el mismo nombre). Calculando estas imagenes concluimos que
(x0 , . . . , xi , yi , . . . , yp ) = (u0 , . . . , ui , vi , . . . , vp ).
Hemos de comprobar que los dos ultimos sumandos coinciden con la ex-
presion P ((x0 , . . . , xp )). En efecto, usamos la formula (2.2):
p
P ((x0 , . . . , xp )) = (1)j P (x0 , . . . , xj , . . . , xp )
j=0
= (1)i+j (x0 , . . . , xi , yi . . . yj , . . . , yp )
i<j
+ (1)i+j1 (x0 , . . . , xj , . . . xi , yi , . . . , yp ).
j<i
p+1
Cp+1 Cp p Cp1
Pp
p p
Pp1
Cp+1
Cp Cp1
p+1 p
En estos terminos hemos probado que toda homotopa h entre dos aplicacio-
nes f, g : (X, U ) (Y, V ) induce una homotopa Ph entre los homomorsmos
f y g , luego concluimos, como queramos probar, que f = g .
Como consecuencia del teorema de homotopa, si un espacio X es contrac-
tible, entonces sus grupos de homologa son los mismos que los de un punto, es
decir, son todos nulos salvo H0 (X) para la homologa completa, que es libre de
rango 1.
Notar que una sucesion 0 M N es exacta en M si y solo si es
inyectiva, mientras que una sucesion M N 0 es exacta en N si y solo si
es suprayectiva.
Las sucesiones exactas de la forma
0 P Q R 0
se llaman sucesiones exactas cortas. Las sucesiones exactas innitas (por ambos
lados) se llaman sucesiones exactas largas.
Uno de los ejemplos mas importantes de sucesiones exactas con que vamos
a tratar es el siguiente:
Teorema 2.23 Sean V U X espacios topologicos, sean
i : (U, V ) (X, V ), j : (X, V ) (X, U )
la inclusion y la identidad, respectivamente. Entonces la sucesion siguiente es
exacta:
i j
0 C(U, V ) C(X, V ) C(X, U ) 0.
Demostracion: Observemos que la exactitud de la sucesion indicada equi-
vale a la exactitud de cada sucesion
ip jp
0 Cp (U, V ) Cp (X, V ) Cp (X, U ) 0.
Distingamos varios casos:
a) Si X = todos los modulos son nulos, y la exactitud es trivial.
b) Si X
= y U = V = , entonces Cp (U, V ) = 0, luego i = 0. Por otra
parte, Cp (X, U ) = Cp (X, V ) = Cp (X) y j = 1 (i.e. es la identidad). De nuevo
la conclusion es trivial.
c) Si X
=
= U , V = , entonces tenemos
ip jp
0 Cp (U ) Cp (X) Cp (X, U ) = Cp (X)/Cp (U ) 0.
Para p < 1 todos los modulos son triviales, luego la conclusion es obvia.
Lo mismo sucede si p = 1 y la homologa es completa. Para p = 1 en la
homologa reducida tenemos que i1 = 1, j1
= 0 (pues C1 (X, U ) = 0). La
conclusion es clara. Finalmente, si p 0, tenemos que ip es la inclusion y jp es
la proyeccion en el cociente, luego la sucesion tambien es exacta en este caso.
d) Si V
= , para p < 0 todos los modulos son nulos y la conclusion es
trivial. Para p 0 tenemos
ip jp
0 Cp (U )/Cp (V ) Cp (X)/Cp (V ) Cp (X)/Cp (U ) 0.
Los homomorsmos son los naturales, es decir, los dados por [c] [c]. La
exactitud se comprueba sin ninguna dicultad.
El interes de las sucesiones exactas es que, como vamos a probar, una su-
cesion exacta de este tipo da lugar a una sucesion exacta entre los grupos de
homologa. Para verlo demostramos primero un resultado auxiliar:
46 Captulo 2. Homologa singular
1 Z
Z 2 Z
3 0
1 2 3
0 Z1 Z2 Z3
N(1 ) N(2 ) N(3 ) Z1 / Im 1 Z2 / Im 2 Z3 / Im 3
(c1 ) = 2 c2 .
Es claro que c2 es unico modulo N( ) = Im , luego 2 c2 es unico modulo
[Im 1 ], luego c1 es unico modulo Im 1 .
Por lo tanto podemos denir (c3 ) = c1 + Im 1 . Es claro que, as denido,
es un homomorsmo de G-modulos. (Observar que en denitiva se calcula
eligiendo una antiimagen por , su imagen por 2 y una antiimagen por .)
Es claro que Im N( ). Si c3 N( ) entonces c1 = 1 c1 , para un
cierto c1 Z1 , luego 2 c2 = (c1 ) = (1 c1 ) = 2 ( (c1 )), con lo que tenemos
c2 (c1 ) N(2 ) y as
c3 = (c2 ) = c2 (c1 ) + (c1 ) = c2 (c1 ) Im .
p p p p1
Hp (A) Hp (B) Hp (C) Hp1 (A) Hp1 (B)
2.5. Sucesiones exactas 47
p p p
p1 p1
0 Zp1 (A) Zp1 (B) Zp1 (C)
Entonces, ([]) = [b] [a], que es, segun hemos observado, una base de
H0 (U ). Como es un isomorsmo [] ha de ser una base de H1 (X, U ). Mas
en general, es claro que la clase de cualquier arco que una un punto de ]0, 1[ con
un punto de ]2, 3[ es una base de H1 (X, U ).
Para terminar la seccion necesitamos un resultado sobre la relacion entre
las sucesiones de homologa y los homomorsmos de complejos. Lo enunciamos
primero en general:
0 A i B j
C 0
f g h
j
0 A i B C 0
2.5. Sucesiones exactas 49
Hp (A) i Hp (B) j
Hp (C)
Hp1 (A)
f g h f
Hp (A ) i Hp (B ) j
Hp (C )
Hp1 (A )
Hp (U, V )
i
Hp (X, V ) j
Hp (X, U )
Hp1 (U, V )
i j
Hp (U , V ) Hp (X , V ) Hp (X , U )
Hp1 (U , V )
i j
0 Cp (U, V ) Cp (X, V ) Cp (X, U ) 0
j
Cp (U , V ) i Cp (X , V ) Cp (X , U ) 0
0
Teorema 2.30 Sea una cadena singular en Rn formada por smplices anes
y sea z Rn . Entonces (z) = z.
p
(z) = (z, y0 , . . . , yp ) = (y0 , . . . , yp ) (1)i (z, y0 , . . . , yi , . . . , yp )
i=0
p
=z (1)i (y0 , . . . , yi , . . . , yp ) = z.
i=0
S() = bS(),
donde b es el baricentro de .
c) Si = ai i es una p-cadena singular afn en Rn , denimos
i
S() = ai S(i ).
i
x0 b x1 x0 x1
S : Cp (X) Cp (X).
= S((x0 , . . . , xp )) (x0 , . . . , xp )
(S((x0 , . . . , xp )) (x0 , . . . , xp ) Hp1 ( 2 (x0 , . . . , xp ))) = 0.
Ahora bien, p es convexo, luego es contractible, luego sus grupos de homo-
loga coinciden con los del punto, con lo que Hp1 (p ) = 0 (para la homologa
completa), lo que signica que todos los p 1-ciclos son p 1-fronteras. Por
consiguiente, podemos denir Hp (x0 , . . . , xp ) eligiendo una p-cadena en Cp (p )
cuya frontera sea el miembro derecho de (2.6), de manera que (2.5) se cumple
para (x0 , . . . , xp ).
Para un p-smplice singular en un espacio topologico arbitrario X, deni-
mos
Hp () = (Hp (x0 , . . . , xp )),
y extendemos linealmente esta aplicacion a un homomorsmo en Cp (X).
Hemos de comprobar que cumple las dos relaciones. En primer lugar:
luego claramente
d(||) = max yi yj . (2.7)
i,j
Ahora bien,
p
yi v = bj (yi yj ) bj yi yj
j=0 j=i
p
1
En particular, si v = b = p+1 yi , tenemos que
i=0
p
yi b d(||).
p+1
2.6. El teorema de escision 55
i : (X \ V, U \ V ) (X, U )
induce isomorsmos
i : Hp (X \ V, U \ V ) Hp (X, U )
2 = 1 + .
Hp (Gr , U )
= Hp (Gr \ V, U \ V ).
Pero Gr \ V es union de r componentes conexas Ai . La interseccion de U \ V
con cada una de ellas es un segmento Ui . Como es contractible, Hp (Ai , Ui ) =
Hp (Ai )
= Hp (S 1 ), pues la circunferencia correspondiente es un retracto por
deformacion de Ai . Por los teoremas 2.15 y 2.16 concluimos que
r
A si p = 1,
Hp (Gr )
=
0 si p
= 1.
La tecnica que hemos empleado para probar el teorema de escision nos per-
mite probar un resultado de interes por s mismo. Necesitamos algunas deni-
ciones:
i : Hp (X; U) Hp (X).
p
T () + T () = H (1 + S + + S m()1 )() + (1)p T (i )
i=0
p
= S m() () (1)p H (1 + S + + S m()1 )(i )
i=0
p
+ (1)p H (1 + S + + S m(i )1 )(i )
i=0
p
= S m() () (1)i H S m(i ) + + S m()1 )(i ) .
i=0
Ahora denimos
p
() = S m() () (1)i H S m(i ) + + S m()1 )(i ) ,
i=0
T + T = i 1.
Aplicaciones de la
homologa singular
h5 h4 h3 h2 h1
N5
g5
N4 g4
N3 g3
N2 g2
N1
61
62 Captulo 3. Aplicaciones de la homologa singular
C(U1 , U1 U2 ) C(U1 U2 , U2 )
(C(U1 ) + C(U2 ))/C(U2 )
Teniendo en cuenta que C(U1 , U1 U2 ) = C(U1 )/(C(U1 )C(U2 )), uno de los
teoremas de isomorfa de modulos nos da que la echa vertical es un isomorsmo,
luego induce isomorsmos entre los grupos de homologa de ambos complejos.
Lo mismo sucede con la echa horizontal debido a la exactitud de la trada. Por
consiguiente, la echa oblicua tambien induce isomorsmos
Hp C(U1 ) + C(U2 ) C(U2 ) Hp (U1 U2 , U2 ). (3.1)
3.1. La sucesion de Mayer-Vietoris 63
0 C(U1 , V1 ) C(U1 U2 , V1 ) C(U1 U2 , U1 ) 0
Todos los homomorsmos son los inducidos por las inclusiones. Las las son
exactas. El teorema 2.27 nos da un diagrama conmutativo entre los grupos de
homologa de estos complejos, al que podemos aplicar el teorema anterior. Ob-
servemos que los homomorsmos inducidos por la echa vertical de la izquierda
son identidades, y acabamos de probar que los inducidos por la echa de la
derecha son isomorsmos. El teorema anterior nos da que la inclusion induce
isomorsmos
Hp (C(U1 ) + C(U2 ))/C(V1 ) Hp (U1 U2 , V1 ). (3.2)
Ahora consideramos el diagrama
0 (C(V1 ) + C(V2 ))/C(V1 ) (C(U1 ) + C(U2 ))/C(V1 ) (C(U1 ) + C(U2 ))/(C(V1 ) + C(V2 )) 0
0 C(V1 V2 , V1 ) C(U1 U2 , V1 ) C(U1 U2 , V1 V2 ) 0
Hp (V )
Hp (U1 ) Hp (U2 )
Hp (X) Hp1 (V )
Hp (V )
Hp (U1 ) Hp (U2 )
Hp (X ) Hp1 (V )
3.2. La homologa de las esferas 65
Hp (S n1 ) Hp (U1 ) Hp (U2 ) Hp (S n )
0 Hp (S n ) Hp1 (S n1 ) 0,
y 2 = t2 a2 + 2t a b + b2 = 1.
lo cual es imposible.
Tenemos, pues, que r(x) = f (x) + t(x)(x f (x)) esta bien denida, es
continua y ja a los puntos de S n1 , ya que si x S n1 entonces y = x es de
la forma (3.3) con t = 1, luego por la unicidad que hemos probado ha de ser
r(x) = x.
Recprocamente, el teorema 3.8 se prueba facilmente a partir del teorema
de Brouwer: si existiera una retraccion r : B n S n1 , entonces la aplicacion
f : B n B n dada por
x r(x)
f (x) =
2
no tendra puntos jos.
68 Captulo 3. Aplicaciones de la homologa singular
Hp (S n1 )
i
Hp (U1 U2 )
f f
Hp (S n1 )
i
Hp (U1 U2 )
0 Hp (S n ) Hp1 (U1 U2 ) 0
f f
0 Hp (S n ) Hp1 (U1 U2 ) 0
X = S n \ S r1 , U1 = S r \ B+
r
, U2 = S n \ B
r
, V = U1 U2 = S n \ S r .
72 Captulo 3. Aplicaciones de la homologa singular
= H n (S n ).
El teorema anterior nos da que Hp (Ui ) = 0 para todo p. La sucesion de
Mayer-Vietoris es, entonces
0 = Hp+1 (U1 ) Hp+1 (U2 ) Hp+1 (X) Hp (V ) Hp (U1 ) Hp (U2 ) = 0,
luego
Hp+1 (S n \ S r1 )
= Hp (S n \ S r ).
Aplicando esto r-veces concluimos que Hp (S n \ S r ) = Hp+r (S n \ S 0 ). Ahora
0
bien, S esta formado por dos puntos. Vimos en el captulo I que S n menos
dos puntos es homotopico a S n1 , luego Hp+r (S n \ S 0 ) = Hp+r (S n1 ). Por
consiguiente hemos llegado a la relacion
Hp (S n \ S r )
= Hp+r (S n1 ).
Si r = n esto es contradictorio, pues nos da que
H1 (S n \ S n )
= Hn1 (S n1 )
= A,
cuando, por otra parte, el miembro izquierdo ha de ser trivial. Esta contra-
diccion viene de suponer que S n contena un subespacio propio homeomorfo.
En total hemos probado lo siguiente:
Teorema 3.16 Sean n y r numeros naturales. Entonces:
a) Si r > n, entonces S n no contiene copias homeomorfas de S r .
b) La unica copia homeomorfa de S n en S n es el mismo.
c) Si r < n y S r es cualquier copia homeomorfa de S r en S n , entonces la
homologa reducida de S n \ S r es
A si p = n r 1,
Hp (S n \ S r )
=
0 en otro caso.
El apartado a) se debe a que si r > n entonces S r contiene (propiamente)
una copia homeomorfa de S n . Teniendo en cuenta que podemos identicar a
S n con la compacticacion de Alexandro de Rn , los apartados a) y b) nos dan
inmediatamente:
Teorema 3.17 Si r n, entonces Rn no contiene copias de S r . En particular
Rm es homeomorfo a Rn si y solo si m = n.
Este resultado puede ser renado notablemente. Para ello probamos primero
el teorema de Jordan-Brouwer. Observemos que del apartado c) de 3.16 se
desprende que S n \ S r es arcoconexo excepto si r = n1, en cuyo caso se cumple
H0 (S n \ S n1 ) = A (para la homologa reducida), lo que signica (teorema 2.16)
que S n \ S n1 tiene exactamente dos componentes arcoconexas. Esto es la mitad
del teorema de Jordan-Brouwer:
3.4. El teorema de Jordan-Brouwer 73
Los grupos de homologa reducida son todos nulos. As pues, las compo-
nentes Ui tienen los mismos grupos de homologa que las bolas abiertas. Cabe
preguntarse si son, de hecho, homeomorfas a bolas. Esto es cierto si n = 2
(teorema A.2), pero en dimensiones superiores hay contraejemplos.
Supongamos ahora que tenemos S n1 Rn . El teorema de Jordan-Brouwer
vale para la compacticacion de Alexandro de Rn , pues es homeomorfa a S n ,
luego Rn \ S n1 tiene dos componentes conexas, U1 y U2 , ambas con frontera
S n1 . Digamos que U1 . Es claro entonces que U1 \{} sigue siendo conexo,
luego concluimos que Rn \ S n1 tiene tambien dos componentes conexas, ambas
con frontera S n1 . Recogemos esto en el teorema siguiente.
Teorema 3.22 Si m
= n, entonces ningun abierto (no vaco) de Rm es ho-
meomorfo a un abierto de Rn .
3 2
3 2
4 U1 V 1
4 1
U2
5 8
5 8
6 7
6 7
Llamamos 1 , . . . , 2r a los arcos de amplitud /r que se muestran en la
gura, orientados en sentido positivo. La aplicacion cociente : B 2 Fr
identica estos arcos a pares segun los patrones de Mg o Nh , de modo que
si i debe identicarse con j , la identicacion consiste concretamente en que
(i (t)) = (j (t)) para todo t I o bien (i (t)) = (j (1 t)), para todo
t I. Si Fr es de tipo Nh las identicaciones son todas de la primera forma, si
es de tipo Mg son todas de la segunda.
Observemos que los tipos de identicaciones que estamos considerando hacen
que todos los vertices (los extremos de los i ) tengan la misma imagen en Fr ,
por lo que los 1-smplices i = (i ) son 1-ciclos en Fr . Mas concretamente,
si Fr es de tipo Mg y identica i con j , entonces [i ] = [j ] en H1 (Fr ),
mientras que si Fr es de tipo Nh entonces [i ] = [j ].
Sea U1 el complementario en B 2 de un disco cerrado de centro 0 y U2 un
disco abierto de radio mayor. Llamaremos U1 y U2 a las imagenes por de
U1 y U2 , que claramente son abiertas en Fr . Las intersecciones V = U1 V2 y
V = U1 U2 son coronas circulares.
Determinemos ahora la estructura de H1 (U1 ). Para ello usamos que el espa-
cio Gr = [S 1 ] es un retracto por deformacion de U1 . En efecto, es claro que la
aplicacion r : U1 S 1 dada por r(x) = x/x es una retraccion, que induce a
su vez una retraccion r : U1 Gr dada por r([x]) = [r(x)].
Tambien es claro que r es homotopica a la identidad. Ademas, la homotopa
H : I U1 U1 induce a su vez una homotopa H : I U1 U1 entre r y la
identidad denida por Ht ([x]) = [Ht (x)]. De este modo, tenemos el isomorsmo
r : H1 (U1 ) H1 (Gr ).
Al identicar S 1 a traves de para obtener Gr , podemos empezar iden-
ticando los extremos de los arcos i , con lo que obtenemos una or de 2r
petalos (es decir, 2r circunferencias identicadas por un punto). Cada arco i
recorre uno de estos petalos, pero estos han de identicarse dos a dos, con lo
que obtenemos una or con r petalos, cada uno recorrido por dos de los arcos
i . Es facil ver entonces que el espacio Gr es homotopico al espacio del ultimo
ejemplo de la seccion 2.6 (solo hay que contraer a un punto el segmento que all
una a las circunferencias). Por consiguiente H1 (Gr ) = Ar . Mas aun, el estudio
3.5. La homologa de las supercies compactas 77
que hicimos all muestra que una base de H1 (Gr ) esta formada por las clases de
homologa de cualquier conjunto de arcos que den una vuelta completa a cada
una de las circunferencias. En nuestro contexto, una base de H1 (Gr ) la forman
la mitad de las clases [i ].
Necesitamos estudiar con detalle el homomorsmo i : H1 (V ) H1 (U1 )
inducido por la inclusion. Para ello consideramos una circunferencia S 1 de
centro 0 contenida en V . Claramente S 1 es un retracto por deformacion de V ,
luego la inclusion induce un isomorsmo H1 (S 1 ) = H1 (V ). Segun el ejemplo tras
la denicion 2.41, una base de H 1 (S 1 ) la forma la clase de cualquier arco que
de una vuelta completa a la circunferencia. Podemos tomarlo, concretamente,
de tal modo que su extremo inicial (y nal) este alineado con el 0 y el extremo
comun de los arcos 1 y 2r en S 1 . A su vez, podemos dividir en 2r arcos
i homoteticos a los arcos i tal y como indica la gura. Sabemos que es
homologo a la cadena 1 + +2r . As pues, [] = [1 + +2r ] es una base de
H1 (S 1 ), luego tambien de H1 (V ). Si llamamos i = (i ), entonces, dado que
se restringe a un homeomorsmo entre V y V , tenemos que [] = [1 + +2r ]
es una base de H1 (V ).
La imagen de [] por el homomorsmo H1 (V ) H1 (U1 ) inducido por la
inclusion es tambien [] = [1 + + 2r ], pero considerando ahora las clases
en H1 (U1 ). Teniendo en cuenta las conmutatividades obvias, podemos concluir
que
i ([]) = [] = [1 + + 2r ],
considerando ahora las clases en H1 (U1 ). El homomorsmo i esta completa-
mente determinado por esta imagen.
Para estudiarla consideramos su imagen en H1 (Gr ) a traves de r. Teniendo
en cuenta la construccion de r es facil ver que r ([]) = (r ([])), es decir,
que para calcular la imagen de [] por r podemos calcular la imagen de [] por
r y luego aplicar . Ahora bien, es claro que r (i ) = i , por lo que
[] = [1 ] + + [2r ],
Ademas sabemos que las clases de la derecha son una base de H1 (U1 ). Otra
base la constituyen las clases
[2 ], . . . , [2(r1) ], [2 ] + + [2r ].
78 Captulo 3. Aplicaciones de la homologa singular
Ejercicio: Recordemos que Mg es una esfera con g asas. Los calculos que hemos
hechos nos proporcionan explcitamente una base de H1 (Mg ). Interpretar los 2g arcos
que la componen.
H1 (Nh )
= H1 (U1 )/ Im i
= Ah1 (A/2A).
Complejos celulares
4.1 Adjunciones
Deniremos los complejos celulares como los espacios que pueden construirse
mediante un proceso nito de adjuncion de celdas. En esta seccion introduci-
remos y estudiaremos este concepto de adjuncion. En el captulo I vimos como
pegar dos espacios topologicos a traves de un subespacio cerrado. Ahora con-
viene generalizar esta nocion para permitir que la identicacion se haga a traves
de una aplicacion continua arbitraria, no necesariamente un homeomorsmo:
o (u Y, v A y f (v) = u) o u = v.
81
82 Captulo 4. Complejos celulares
Demostracion: De las hipotesis del enunciado se sigue que, para todo par
u, v X Y , se cumple u R v h(u) = h(v). Esto nos permite
de puntos
denir k [u] = h(u), de modo que el diagrama siguiente conmuta:
X Y
h W
k
X f Y
u R v u = v, C, || = 1.
S 2n1 B 2n
f f
Pn1 (C) Pn (C)
i
Denicion 4.3 Sean B1n , . . . , Brn bolas disjuntas de dimension n, con fronteras
S1n1 , . . . , Srn1 . Sean fi : Sin1 Y continua. Estas inducen una aplicacion
continua f : S1n1 Srn1 Y . Denimos Yf1 ,...,fr = (B1n Brn )f Y .
Diremos que Yf1 ,...,fr es el espacio obtenido a partir de Y por la adjuncion
(simultanea) de r celdas n-dimensionales a traves de las aplicaciones fi .
h = g i : (B1n Brn ) Y W,
k
b) Para cada j, k, el conjunto C j \Cjk esta contenido en la union de las celdas
de dimension menor que k.
d) X k = Cjr .
rk
Por otra parte, los ejemplos de la seccion anterior muestran que la sucesion
1g g
I V
H V
x R y x = y o x, y U.
Teorema 4.8 Sea (X, U ) un par de espacios compactos tal que U sea un re-
tracto fuerte por deformacion de X. Entonces x0 = [U ] es un retracto por
deformacion fuerte de X/U .
I X
H X
1
I X/U X/U
H
Teorema 4.9 Sea (X, U ) un par de espacios compactos tal que U sea un re-
tracto fuerte por deformacion de un entorno compacto en X. Entonces la pro-
yeccion canonica : (X, U ) (X/U, x0 ) induce isomorsmos
: Hp (X, U ) Hp (X/U, x0 ).
Demostracion: Sea G el entorno compacto del cual U es un retracto fuerte
por deformacion. La idea basica de la prueba es que induce un homeomorsmo
: (X \ U, G \ U ) (X/U \ {x0 }, [G] \ {x0 }),
que a su vez induce isomorsmos
: Hp (X \ U, G \ U ) Hp (X/U \ {x0 }, [G] \ {x0 }).
Aplicamos el teorema de escision a las ternas (X, G, U ) y (X/U, [G], x0 ),
con lo que obtenemos isomorsmos
: Hp (X, G) Hp (X/U, [G]).
Los seguimos llamando porque es claro que vienen dados por [c] [ (c)].
Ahora solo nos queda sustituir G por U y [G] por x0 . Para ello usamos que
U es un retracto fuerte por deformacion de G y que, por el teorema anterior,
x0 es un retracto fuerte por deformacion de [G]. Esto nos dice que los grupos
de homologa (reducida) Hp (G, U ) y Hp ([G], x0 ) son triviales (son isomorfos a
los grupos de los pares (U, U ) y (x0 , x0 )).
Entonces, la sucesion exacta de la terna (X/U, [G], x0 ), que es de la forma
Hp ([G], x0 ) Hp (X/U, x0 ) Hp (X/U, [G]) Hp1 ([G], x0 )
nos da que la inclusion induce isomorsmos Hp (X/U, x0 )
= Hp (X/U, [G]), y
del mismo modo obtenemos isomorsmos Hp (X, U ) = Hp (X, G).
Al combinar todos estos isomorsmos obtenemos nalmente isomorsmos
Hp (X, U )
= Hp (X/U, x0 ),
y es inmediato comprobar que se trata de las aplicaciones .
Observemos que si X es cualquier espacio y x0 X, entonces la sucesion
exacta del par (X, x0 ) para la homologa reducida nos da isomorsmos naturales
Hp (X)
= Hp (X, x0 ), luego el teorema anterior nos da una interpretacion de los
grupos de homologa relativa Hp (X, U ) cuando X es compacto y U es un retracto
fuerte por deformacion de un entorno compacto en X. En tal caso resulta
que Hp (X, U ) = Hp (X/U ), siempre y cuando consideremos (a la derecha) la
homologa relativa (a la izquierda es lo mismo).
Ahora ya podemos probar el teorema que necesitamos:
Teorema 4.10 (Teorema del homeomorsmo relativo) Consideremos un
homeomorsmo relativo f : (X, U ) (Y, V ) entre pares de espacios compac-
tos tales que que U y V sean retractos fuertes por deformacion de respectivos
entornos compactos. Entonces f induce isomorsmos
f : Hp (X, U ) Hp (Y, V ).
90 Captulo 4. Complejos celulares
X/U Y /V
f
Hp (X, U )
f
Hp (Y, V )
Hp (X/U, x0 ) Hp (Y /V, y0 )
f
Lo esencial es que hay que escoger el signo de los smplices para que las
fronteras interiores se cancelen y las exteriores formen un circuito cerrado que
de una sola vuelta.
92 Captulo 4. Complejos celulares
p : Hp (X p , X p1 ) Hp1 (X p1 , X p2 )
Hp1 (X p2 )
i
p p1
p
Hp (X , X p1
) Hp1 (X p1
,X p2
) Hp2 (X p2 , X p3 )
i
Hp1 (X p1 )
i : (X p , X p1 , ) (X p , X p1 , X p2 )
Consideremos el diagrama
Hp (X p+1 , X p2 )
j
p+1
Hp+1 (X p+1 , X p ) Hp (X p , X p1 ) i
Hp (X p+1 , X p1 ) 0
p
Hp1 (X p1 , X p2 )
: N(p ) Hp (X p+1 , X p2 )
p x = (i (x )) = (j (y )) = 0,
: Hp (X) Hp (X p+1 , X p2 ).
Hp (X) Hp (X n , X 1 ) Hp (X n , X 0 ) Hp (X n , X p2 ).
Hp (X i , X i1 ) Hp (X n , X i1 ) Hp (X n , X i ) Hp1 (X i , X i1 ),
y el teorema 4.11 nos da que los extremos de esta sucesion son triviales, luego
cada homomorsmo es en realidad un isomorsmo. Concluimos, pues, que
Hp (X)
= Hp (X n , X p2 ).
94 Captulo 4. Complejos celulares
Hp (X p+1 , X p2 ) Hp (X p+2 , X p2 ) Hp (X n , X p2 )
Hp (X n , X p2 )
= Hp (X p+1 , X p2 ).
f2 : S 1 X 1 ,
b
b2
c1 b1
f2
v
c2 a2
a1 c a
As obtenemos una aplicacion g2 : B 2 X 2 que restringida a B 2 es un
homeomorsmo en su imagen y en la frontera cumple
g2 (a1 ) = g2 (a2 ) = a , g2 (b1 ) = g2 (b2 ) = b , g2 (c1 ) = g2 (c2 ) = c .
C0 (X) = v .
Similarmente, sabemos que C1 (X) esta generado por las imagenes por g1
de un generador de cada grupo H1 (Bi1 , Si1 ). Este grupo esta generado por la
clase de la identidad Bi1 Bi1 , y su imagen es la clase del smplice a , b , c
correspondiente. As pues, tomando clases en H1 (X 1 , X 0 ), llamamos a = [a ],
b = [b ] y c = [c ], y se cumple que
C1 (X) = a, b, c .
c1 b1
c2 a2
a1
Puesto que
k = a1 + a2 + b1 + b2 + c1 + c2
es un ciclo cuya clase genera H 1 (S 1 ), tenemos que k = g2 ([k ]) es el generador
de H 2 (X 2 , X 1 ) correspondiente a la unica cara de N3 . As pues,
C2 (X) = k .
Ahora calculamos el operador frontera del complejo C(X). Trivialmente,
v = 0. Por otra parte,
a = ([a ]) = [a ] = [v v] = 0,
e igualmente b = c = 0. Por otra parte,
k = ([g2 (k )]) = [g2 (k )] = [g2 (k )] = [g2 (a1 + a2 + b1 + b2 + c1 + c2 )]
= [2a ] + [2b ] + [2c ] = 2a + 2b + 2c.
Por consiguiente, rk, para r A es un ciclo si y solo si 2r = 0, es decir,
si y solo si r pertenece al nucleo A(2) de la multiplicacion por 2 en A y, por
consiguiente, H2 (X) = A(2) . Por otra parte,
H1 (X) = a, b, c / 2a + 2b + 2c
= A2 (A/2A),
y claramente H0 (X)
= A.
Para calcular tal y como habamos anunciado la homologa de los espa-
cios proyectivos reales, necesitamos un resultado mas:
Denicion 4.14 Una aplicacion continua f : X Y entre complejos celula-
res es celular si cumple f [X p ] Y p para todo p.
Una aplicacion celular f induce aplicaciones entre pares
f : (X p , X p1 ) (Y p , Y p1 ),
luego induce homomorsmos
f : Hp (X p , X p1 ) Hp (Y p , Y p1 ).
Hp (X) Hp (X)
f f
Hp (Y ) Hp (Y )
Hp (X)
Hp (X p+1 , X p2 ) Hp (X, X p2 ) Hp (X)
f f f f
Hp (Y ) Hp (Y p+1 , Y p2 ) Hp (Y, Y p1 ) Hp (Y )
2
B+
1
B
S2
S0 S1
1
B+ 2
B
gp
B1p B2p Sp
gp
Hp (B1p B2p , S1p1 S2p1 ) Cp (S n )
Hp1 (S p1 )
p
Hp (S , S p1
)
Hp1 (S p1 , S p2 )
4.4. La homologa de los complejos celulares 99
=
Hp1 (S p1 ) Hp1 (S p1 , S p2 )
i
gp : (B1p , S1p1 , ) (S p , S p1 , S p2 ),
Por consiguiente,
: Cp (S n ) Cp (Pn (R)).
p
La restriccion : (B+ , S p1 ) (Pp (R), Pp1 (R)) es un homeomorsmo
p
relativo, luego se restringe a un isomorsmo entre Hp (B+ , S p1 ) y Cp (Pp (R)).
Por consiguiente, ep = (ep ), es una base de Cp (Pp (R)). Por otra parte,
Explcitamente:
2ep si p es par,
ep+1 =
0 si p es impar.
Ahora es inmediato el teorema siguiente:
Teorema 4.16 La homologa (completa) del espacio proyectivo real Pn (R) viene
dada por 0
si p < 0 o p > n,
A
si p = 0,
n
Hp (P (R)) = A (2) si 1 p = 2k n,
A/2A si 1 p = 2k + 1 < n,
A si p = 2k + 1 = n,
Tenemos, pues, que la caracterstica de Euler esta denida para todo com-
plejo celular. Por ejemplo, con los calculos que tenemos hechos, es inmediato
comprobar que
0 si n es impar,
(S n ) = (Mg ) = 2 2g, (Nh ) = 2 h,
2 si n es par,
n n 0 si n es impar,
(P (C)) = n + 1, (P (R)) =
1 si n es par.
En particular, vemos que este invariante es suciente para distinguir entre
s las supercies Mg y tambien las Nh (aunque (Mg ) = (N2g )).
Observemos que los numeros de Betti pueden depender del anillo de coe-
cientes. Un ejemplo nos lo proporcionan las supercies Nh , para las cuales
1 = h 1 si A no tiene caracterstica 2 y b1 = h en caso contrario. Ahora bien,
la caracterstica de Euler resulta invariante porque b2 compensa esta diferencia.
El teorema 4.20 prueba que la caracterstica de Euler de un complejo celular no
depende del anillo de coecientes.
Vamos a ver que la caracterstica de Euler es muy facil de calcular en espacios
concretos. Para ello necesitamos algunas cuentas con sucesiones exactas. El
teorema siguiente es trivial si A es un cuerpo y, por consiguiente, los modulos
son espacios vectoriales.
1 2 3
0 Ar1 j1
Ar 2 j2
Ar 3 0
i i i
j1 j2
0 Kr1 Kr2 Kr3 0
y
0 Im f2 M3 Mr 0.
Como ambas tienen longitud menor que r, podemos aplicarles la hipotesis de
induccion y, sumando las igualdades que obtenemos, llegamos a la conclusion.
Teorema 4.19 Sea (X, U ) un par de espacios topologicos de modo que esten
denidas las caractersticas de Euler de X, U y (X, U ). Entonces se da la
relacion
(X) = (U ) + (X, U ).
(X) = (X n1 ) + (X, X n1 ).
V + C A = 2,
(X Y ) = (X)(Y ).
104 Captulo 4. Complejos celulares
r : Hp (K) Hp (V ).
4.6 Poliedros
Terminamos estudiando los complejos celulares mas sencillos, a saber, aque-
llos cuyas caras de dimension p son p-smplices anes. Estos espacios tienen
gran interes en topologa algebraica. De todos modos, los resultados que siguen
no van a ser usados despues salvo en el apendice A.
5 6
4 3
1 2
4.6. Poliedros 107
Demostracion: a) es inmediato.
Para probar b) basta observar que el conjunto |K| \ EK (S) esta formado
por las caras de K que no tienen a S por cara. En efecto, si y |K| \ EK (S),
entonces y esta en el interior de una cara de K, pero esta no puede tener a S
por cara, o de lo contrario y estara en EK (S). Recprocamente, si C es una
cara de K que no tiene a S por cara e y C, entonces y esta en el interior de
una unica cara de K que, por ser cara de C, no tiene a S por cara. La unicidad
implica que y |K| \ EK (S). Por consiguiente este conjunto es cerrado en |K|.
c) Si y EK (S), entonces y esta en el interior de una cara C de K que
tiene a S por cara, luego C NK (x) y por consiguiente y |NK (S)|. Ademas
y / SK (x), o de lo contrario y estara en una cara de NK (S) que no contiene a
x, luego estara en el interior de una cara de NK (S) que no contiene a x, pero
esa cara habra de ser C por la unicidad y x S C.
Recprocamente, si y |NK (x)| \ |SK (x)|, entonces y esta en una cara C de
K que contiene a x. En particular y estara en el interior de una cara C de C,
4.6. Poliedros 109
x
T
S z
S l
Basta probar que los puntos interiores del segmento xz son interiores a T ,
pues entonces estaran en EK (S ) y no en |SK (x)|. Ahora bien, x tiene coor-
denadas baricentricas positivas respecto de todos los vertices de S , z tiene
coordenadas baricentricas positivas respecto de todos los vertices de S, luego
una combinacion convexa estricta de ambos tiene coordenadas baricentricas po-
sitivas respecto de todos los vertices de T y es, por lo tanto, interior a T .
110 Captulo 4. Complejos celulares
|NL (f (x))|
f |NK (x)|
f (x)
|NL (f (x))|
f |NK (x)|
Denimos como sigue una aplicacion : |SL (f (x))| f |SK (x)| . Dado
y |SL (f (x))|, tenemos que f 1 (y) |NK (x)| |NK (x)|, f 1 (y)
= x. Por
el teorema anterior la semirrecta de origen x que pasa por f 1 (y) corta a SK (x)
en un unico punto. Tomamos su homotetico en |SK (x)| y aplicamos f .
Similarmente, podemos denir : f |SK (x)| |SL (f (x))|, es decir,
partimos de y f |SK (x)| |NL (f (x))|, lo proyectamos radialmente sobre
SL (f (x)) y consideramos su homotetico en |SL (f (x))|.
Vamos a probar que es homotopica a la identidad en |SL (f (x))|. En
primer lugar consideramos la aplicacion f 1 . Si y |SL (f (x))|, entonces
4.6. Poliedros 111
f 1 ((y)) esta situado en la semirrecta de origen x que pasa por f 1 (y). Ambos
puntos estan en |NK (x)| y, por el teorema anterior, tambien lo esta el segmento
que los une. Mas precisamente, dicho segmento esta contenido en |NK (x)|\{x}
luego, por el teorema 1.24, las aplicaciones
El algebra homologica
5.1 Categoras
La nocion de categora permite un tratamiento unicado de diversas estruc-
turas algebraicas. Veamos la denicion:
113
114 Captulo 5. El algebra homologica
Nota Un ejemplo de categora es la que tiene por objetos a todos los anillos
y de modo que los morsmos entre dos anillos son todos los homomorsmos de
anillos (y la composicion de morsmos es la composicion usual de aplicaciones).
En este ejemplo, como en la mayora de los que surgen de forma natural, la clase
de los objetos no es un conjunto, pero esto es un mero problema tecnico de la
teora axiomatica de conjuntos que puede resolverse de muchas formas. Una es
simplemente ser cuidadoso. Otra es restringirse a categoras menores, como, en
nuestro ejemplo, la categora de todos los anillos de cardinal hereditariamente
menor que un cierto cardinal regular . As tenemos un conjunto y, puesto
que es arbitrario, todos los resultados que obtengamos se aplicaran a anillos
arbitrarios. Hay mas posibilidades, pero no vamos a discutirlas aqu. El lector
que sepa la suciente teora de conjuntos para comprender realmente el problema
tambien sabra resolverlo sin dicultad.
En muchos casos, deniremos una categora indicando unicamente cuales son
sus objetos, pues en general es facil sobrentender cuales seran los morsmos co-
rrespondientes. As, por ejemplo, si hablamos de la categora de los A-modulos,
para un anillo jo A, se sobrentiende que los morsmos son los homomorsmos
de modulos, y que la composicion es la composicion usual de aplicaciones.
No obstante, hemos de destacar que la denicion de categora no exige que los
morsmos entre objetos sean aplicaciones, ni en particular que la composicion
de morsmos sea la composicion de aplicaciones. Precisamente, la utilidad de la
teora de categoras reside en gran parte en la posibilidad de cubrir situaciones
mas complejas. Por ejemplo, jado un anillo A, las sucesiones exactas cortas
de A-modulos son los objetos de una categora (mas concretamente, los objetos
son quntuplas formadas por tres modulos y dos homomorsmos), en la cual,
los morsmos entre dos sucesiones son las ternas de homomorsmos que hacen
conmutativo el diagrama correspondiente.
0 P Q R 0
0 P Q R 0
F (f )
F (X) F (Y )
(X) (Y )
G(X) G(Y )
G(f )
L
P Q
D + D = (1 s)s + (1 s)s = 1 = 1 0,
0 C C C 0.
Teniendo en cuenta que Hp (C) = Hp1 (C), de esta sucesion obtenemos una
sucesion exacta de homologa
g : C C, D : C C, D : C C
f : (M B N ) C R M B (N C R)
Ejercicio: Probar que los isomorsmos de los teoremas anteriores son naturales.
Iniciamos ahora el estudio de las sucesiones exactas entre productos tenso-
riales, estudio que completaremos mas adelante con la ayuda del producto de
torsion.
Z Z (Z/2Z)
= Z/2Z
= 0,
pero f 1 = 0, ya que f (n [m]) = 2n [m] = n [2m] = 0.
Pese a esto, algo mas podemos decir sobre conservacion de la exactitud. Para
ello necesitamos el resultado siguiente:
: M A N (M N )/D.
124 Captulo 5. El algebra homologica
Teorema 5.24 Para una sucesion exacta (5.1), las condiciones siguientes son
equivalentes:
a) La sucesion se escinde.
b) Existe un homomorsmo f : Q P tal que f f = 1.
c) Existe un homomorsmo g : R Q tal que g g = 1.
Teorema 5.26 Una condicion suciente para que una sucesion exacta de A-
modulos (5.1) se escinda es que R sea un A-modulo libre.
C A (X, U )
= C(X, U ) Z A.
p : Hp (C) A M Hp (C A M ).
Denicion 5.28
Una resolucion de un A-modulo M es un complejo de A-
modulos C = ( Cp , ) tal que Cp = 0 para p < 0, junto con un homomorsmo
p
, : C0 M tal que la sucesion
4
C1
1
C0 M 0.
es exacta.
Diremos que la resolucion es libre si cada Cp es un A-modulo libre.
Es claro que todo modulo M tiene una resolucion libre. Basta expresar M
como cociente de un A-modulo libre C0 , con lo que tenemos un epimorsmo
, : C0 M . Seguidamente, expresamos el nucleo de , como cociente de un
A-modulo libre C1 , con lo que tenemos una sucesion exacta
4
C1
1
C0 M 0.
1
0
C1 C0
1
C0
4 M
0 0
1
0 =0
C1 C
0
1
5.4. Productos de torsion 129
Continuando de este modo obtenemos una homotopa entre los dos homo-
morsmos. Observemos que como 0 = 0 la homotopa induce tambien una
homotopa entre los homomorsmos que y inducidos entre C y C .
De este modo, si C y C son dos resoluciones libres de un mismo modulo M ,
el teorema anterior nos da dos homomorsmos : C C , : C C que
extienden a la identidad en M . Aplicando la parte de la unicidad a y
la identidad, concluimos que es homotopico a la identidad, y lo mismo
sucede con . Mas aun, esto es cierto tambien para los homomorsmos
correspondientes y entre C y C .
Si N es un A-A-bimodulo, tenemos homomorsmos de bimodulos = 1
y = 1 entre C A N y C A N tales que y son homotopicas
a la identidad (las homotopas son las inducidas por las asociadas los factores
de la izquierda). As, y inducen isomorsmos de bimodulos mutuamente
inversos Hp (C A N ) = Hp (C A N ).
Al calcular los productos de torsion con una resolucion de este tipo llegamos
a que TorAp (M, N ) = 0 para p < 1. As, el unico producto de torsion que nos
queda por estudiar es el que llamaremos simplemente
Este teorema nos da una primera muestra del papel que desempenan en la
teora los productos de torsion: completan las sucesiones exactas de productos
tensoriales. Pronto veremos un resultado mas general en esta lnea, pero de mo-
mento es mas conveniente probar varios resultados que nos permiten determinar
explcitamente los productos de torsion en los casos mas frecuentes. En primer
lugar probamos que distribuyen las sumas directas:
0 C1i C0i Mi 0
0 TorA (Mi , N ) C1i A N C0i A N
iI iI iI
donde las echas verticales son los isomorsmos canonicos, las las son exactas y
el cuadrado conmuta (y todos los homomorsmos son de bimodulos). De aqu se
sigue claramente el isomorsmo buscado. Si la suma directa esta en el segundo
argumento se razona analogamente.
El producto de torsion debe su nombre a que solo depende de los submodulos
de torsion de los factores. Esto lo probaremos mas adelante, pero de momento
tenemos lo siguiente:
0 0 M M 0,
se expresa como combinacion lineal de un numero nito de los tres tipos de gene-
radores de all indicados. Por consiguiente, podemos encontrar un A-submodulo
nitamente generado C0 de C0 y un A-submodulo nitamente generado N de N
de modo que la expresion (5.5) sea nula interpretada como elemento de C0 A N .
Llamemos C1 = N(,|C0 ) y M = ,[C0 ]. De este modo,
0 C1 C0 M 0
i 4
comprobacion muestra que los homomorsmos que intervienen son los indicados.
Tor(f,g) Tor(g,f )
TorA (M , N ) TorA (N , M )
0 C1 C0 N 0.
0 TorA (M, N ) M A C1 M A C0 M A N 0.
0 TorA (N, M ) C1 A M C0 A M N A M 0.
Ahora bien, existen isomorsmos canonicos (de bimodulos) entre los tres
ultimos modulos de la primera sucesion y los correspondientes de la segunda,
que hacen conmutativos los dos cuadrados que determinan. De aqu se sigue
facilmente la existencia del isomorsmo buscado.
Para probar la naturalidad debemos recapitular lo que hemos obtenido: por
una parte podemos sumergir TorA (N, M ) C1 A M a traves de la inclusion,
y el teorema anterior nos da un monomorsmo natural (concretamente es un
homomorsmo de conexion) TorA (M, N ) M A C1 . Lo que hemos probado
es que el isomorsmo natural C1 A M
= M A C1 se restringe a un isomorsmo
entre los productos de torsion.
Consideremos ahora una resolucion libre de N
0 C1 C0 N 0
cualesquiera son homotopicas. Esto hara que nada de lo que sigue dependa de
la eleccion de la extension. Similarmente, tenemos homomorsmos que hacen
conmutativo el diagrama
0 C1 C0 N 0
g1 g0 g
0 C C N 0
1 0
g1 g0 g
0 C A C1 C A C0 C A N 0
Tor(f,g) f g1
0 TorA (M , N ) M A C1
Sin mas que aplicar las deniciones oportunas obtenemos la conmutatividad
del diagrama que resulta de cambiar el orden de los factores:
0 TorA (N, M ) C1 A M
Tor(g,f ) f g1
0 TorA (N , M ) C1 A M
f g1 g1 g
M A C1 C M
1
A partir de este teorema es facil probar una version del teorema 5.34 con los
factores en orden contrario. Otra consecuencia de 5.34 es que el producto de
torsion de dos modulos depende unicamente de sus submodulos de torsion, es
decir:
Teorema 5.36 Sean M y N dos A-A-bimodulos y sean i : Mt M y
j : Nt N las inclusiones para los submodulos de torsion respecto de la
estructura de A-modulo. Entonces Tor(i, j) : TorA (Mt , Nt ) TorA (M, N ) es
un isomorsmo de bimodulos.
136 Captulo 5. El algebra homologica
0 Nt N N/Nt 0.
Puesto que el modulo N/Nt es libre de torsion, el teorema 5.33 nos da que
TorA (M, N/Nt ) = 0, luego 5.34 implica que
Como F es libre, los teoremas 5.25 y 5.26 nos dan la sucesion exacta de
bimodulos
i1 1
0 Z A N C A N F A N 0.
A su vez podemos aplicar el teorema 2.25 para obtener la sucesion exacta
p
Hp (Z A N ) Hp (C A N ) Hp (F A N ) Hp1 (Z A N )
Fp1 (C)
hp
1
Cp (C) Fp1 (C)
p
de modo que hp p = 1.
La aplicacion hp 1 : Fp1 (C) A N Cp (C) A N transforma elementos
de TorA (Hp1 (C), N ), es decir, del nucleo de p , en ciclos. Para probarlo
descomponemos el operador frontera p : Cp (C) Cp1 (C) como composicion
p j i, donde j : Fp1 (C) Zp1 (C) e i : Zp1 (C) Cp1 (C). As
(hp 1) (p 1) = (hp 1) (p 1) (j 1) (i 1) = p (i 1).
Por consiguiente hp 1 induce un homomorsmo
: TorA (Hp1 (C), N ) Hp (C A N ) (5.7)
que escinde la sucesion exacta del enunciado por el teorema 5.24.
138 Captulo 5. El algebra homologica
HpN (X, U )
= (Hp (X, U ) Z N ) TorZ (Hp1 (X, U ), N ).
HpA (X)
= (Zr Z A) (Mt Z A).
5.5 Cohomologa
Si queremos profundizar en el estudio de los espacios topologicos mediante
tecnicas algebraicas necesitamos introducir una sucesion de modulos comple-
mentarios a los grupos de homologa. Estos modulos intervienen en los llamados
teoremas de dualidad, que contienen informacion valiosa sobre las variedades to-
pologicas. En el caso de las variedades diferenciales, los modulos de cohomologa
tienen una interpretacion natural, pues pueden identicarse con los grupos de
cohomologa de De Rham, es decir, con los grupos de cohomologa determinados
a partir del algebra de Grassmann (el algebra de las formas diferenciales) de la
variedad.
f g
Teorema 5.40 Si P Q R 0 es una sucesion exacta de A-modulos
y N es un A-A-bimodulo, entonces la sucesion
gt ft
0 Hom(R, N ) Hom(Q, N ) Hom(P, N )
es exacta.
f g
Teorema 5.41 Si 0 P Q R 0 es una sucesion exacta de
A-modulos que se escinde y N es un A-A-bimodulo, entonces la sucesion
gt ft
0 Hom(R, N ) Hom(Q, N ) Hom(P, N ) 0
es exacta y se escinde.
En particular
HomA (C Z A, N )
= HomZ (C, N ).
De aqu se sigue que cualquier complejo mas general de cohomologa singular
se reduce a un complejo CN (X, U ) para un modulo N adecuado. De todos
p
modos, muchas veces resulta mas natural representar el modulo CN (X, U ) como
A
HomA (Cp (X, U ), N ) en lugar de como HomZ (Cp (X, U ), N ).
Las cocadenas relativas admiten una interpretacion mas simple que la de-
nicion que hemos dado. Para ello consideramos la sucesion exacta
j
0 CpA (U ) CpA (X) CpA (X, U ) 0,
i
5.5. Cohomologa 141
que se escinde porque CpA (X, U ) es un A-modulo libre. Por consiguiente, tenemos
la sucesion exacta
p jt
p p it
0 CN (X, U ) CN (X) CN (U ) 0.
p p
Esto nos permite identicar a CN (X, U ) con un submodulo de CN (X). Con-
p
cretamente, podemos considerar que CN (X, U ) es el submodulo formado por
p
todas las cocadenas CN (X) tales que it () = 0, es decir, que se anulan
sobre los smplices contenidos en U . Puesto que j t conmuta con el operador
p
cofrontera, a traves de esta identicacion la cofrontera de CN (X, U ) pasa a ser
p
la restriccion de la cofrontera de CN (X).
p
Los cociclos de ZN (X) son claramente las cocadenas que se anulan sobre
FpA (X), luego los cociclos relativos de ZN
p
(X, U ) son las cocadenas que se anulan
tanto sobre CpA (U ) como sobre FpA (X).
Si f : (X, U ) (Y, V ) es una aplicacion continua entre pares de espacios
topologicos, y N es un A-modulo, entonces la aplicacion
fp = (fp )t : CN
p p
(Y, V ) CN (C, U )
es un homomorsmo de complejos inversos que induce a su vez homomorsmos
f : HN
p p
(Y, V ) HN (X, U ).
i : H p (X, U ) H p (X \ V, U \ V ).
donde las aplicaciones i , j son las inducidas por las inclusiones correspon-
dientes. Entonces existen homomorsmos
H p1 (U1 U2 , V1 V2 ) H p (U1 U2 , V1 V2 )
H p (U1 , V1 ) H p (U2 , V2 ) H p (U1 U2 , V1 V2 )
ik : (Xk , Uk ) (X, U )
Ext0A (M, N )
= HomA (M, N ).
y
ExtA (M, N ) = HomA (C1 , N )/ Im 1t .
El teorema siguiente se prueba igual que su analogo 5.31:
Teorema 5.46 Sea M un A-modulo y N un A-A-bimodulo. Entonces cada
resolucion libre de M de la forma (5.4) da lugar a una sucesion exacta de
bimodulos
t t
0 HomA (M, N ) HomA (C0 , N )
1
HomA (C1 , N ) ExtA (M, N ) 0.
El modulo ExtA (M, N ) tiene este nombre porque esta relacionado con las
posibles extensiones de N a traves de M , es decir, con los posibles modulos
E que contengan un submodulo N = N y de modo que E/N = M . Mas
precisamente, una extension de N a traves de M es una sucesion exacta
0 N E M 0.
5.5. Cohomologa 145
0 N E M 0
1 1
0 N E M 0
0 0 M M 0.
es una resolucion libre de la suma directa. El teorema 5.46 nos da las sucesiones
exactas
0 HomA (Mi , N ) HomA (Ci , N ) HomA (Ci , N ) ExtA (Mi , N ) 0.
HomA Ci , N HomA C , N ExtA Mi , N 0
i
iI iI iI
146 Captulo 5. El algebra homologica
Las echas verticales son los isomorsmos dados por (5.8). Es facil ver que
la la superior sigue siendo exacta y que el cuadrado es conmutativo, con lo que
los modulos de la tercera columna son cocientes de modulos isomorfos respecto
a submodulos que se corresponden por el isomorsmo, luego son isomorfos.
0 A A A/aA 0,
donde (b) = ab. Es claro que HomA (A, N ) = N y que, a traves de este
isomorsmo (f f (1)), el homomorsmo t se corresponde con (n) = an.
Por consiguiente, tenemos la sucesion exacta
N N ExtA (A/aA, N ) 0,
f g
0 P Q R 0,
gt ft
0 HomA (R, N ) HomA (Q, N ) HomA (P, N )
Ext(g) Ext(f )
ExtA (R, N ) ExtA (Q, N ) ExtA (P, N ) 0.
0 0 0
P f
Q g
R 0
0
g
4 4
4
0 C0 C0 C0 C0 0
1 1 1
0 C1 C1 C1 C1 0
0 0 0
Las echas horizontales son las naturales: inclusiones y proyecciones, por
lo que todas las las son exactas. Para denir , jamos un homomorsmo
g : C0 Q tal que g g = , , que existe por la propiedad proyectiva de los
modulos libres. Denimos , (c, c ) = f (,(c)) + g(c ).
As, , es suprayectiva, pues si q Q, tenemos que g(q) = , (c ), para cierto
c C0 , luego g(g(c )) = j(q), de donde se sigue que q = i(p) + g(c ), para un
para lo cual basta con que f (,(e(y))) = g(1 c ) para todo c C1 . Pode-
mos exigir que e cumpla esto por la propiedad proyectiva de los modulos libres
aplicada al diagrama
C1
e
1 g
C0 Q
4f
0 C C C 0.
se escinde.
c, d = c, , c Cp , C p1 .
5.5. Cohomologa 149
Esto a su vez nos permite denir otra aplicacion bilineal, llamada producto
de Kronecker,
p
, : Hp (C) HN (C) N
mediante
p
[z], [] = z, , z Zp , ZN .
Equivalentemente, tenemos un homomorsmo (de bimodulos)
p
h : HN (C) HomA (Hp (C), N )
it p
HomA (Zp , N ) HomA (Fp , N )
de donde extraemos la sucesion exacta
t it
0 HomA (Fp1 , N ) Im p1 p
HN (C) N(p ) 0. (5.10)
Productos
151
152 Captulo 6. Productos
una transformacion natural del funtor C que a cada espacio topologico le asigna
su complejo de cadenas singulares lo cual no es extrano, pues la denicion
es canonica, pero en la prueba del teorema 2.34 denimos una homotopa
H de la que probamos que es una transformacion natural de C en C, y en la
construccion s se hacen elecciones arbitrarias. El argumento empleado en dicha
prueba es un caso particular del teorema que nos proponemos demostrar aqu.
Denicion 6.1 Una categora con modelos es una categora C junto con un
conjunto M de objetos de C llamados modelos. Sea G un funtor en C con
imagenes en la categora de los grupos abelianos. Una base es un conjunto
{gi }iI tal que gi G(Mi ), para cierto Mi M de modo que para todo objeto
X de C el conjunto {G(f )(gi )}iI, f hom(Mi ,X) es una base de G(X).
Diremos que G es un funtor libre con modelos en M si tiene una base con
modelos en M. Si C es un funtor con imagenes en la categora de los complejos
de A-modulos, diremos que es libre con modelos en M si cada funtor Cp es libre
con modelos en M.
Para cada p 0 jamos una base {cj }jJp de Cp , de modo que cj Cp (Mj ),
para cierto Mj M. Esto signica que cada A-modulo Cp (X) tiene por base al
conjunto {Cp (f )(cj )}jJp , f hom(Mj ,X) .
Por consiguiente, el homomorsmo p (X) que queremos denir quedara
completamente determinado si especicamos {p (Mj )(cj )}jJp a traves de la
ecuacion
p (X) aij Cp (fij )(cj ) = aij Cp (fij ) p (Mj )(cj ) (6.1)
i,j i,j
[respectivamente, dado i , para i < p, p > 0, tendremos que denir p (Mj )(cj )
de modo que se cumpla la ecuacion siguiente:]
De este modo,
C A C = (C A C )p
pZ
p (c c ) = i c c + (1)i c j c , c Ci , c Cj .
p (p+1 (c c )) = p (i c c + (1)i c j c )
= (1)i1 i c j c + (1)i i c j c = 0.
0 Z C F 0.
i
(6.7)
Hp (Dj )
= Hpj (C) A Zp (C ), (6.9)
puesto que Zp (C ) es libre y, por consiguiente, el producto de torsion que aparece
en el teorema es nulo. j
Similarmente, C A F = E , donde Ej es el complejo dado por
jZ
con lo que
Hp (C A F )
= Hp (Ej )
= Hpj (C) A Fp1 (C ) = Hi (C) A Fj (C ),
jZ jZ i+j=p1
p
Hi (C) A Zj (C ),
i+j=p1
[z z ] Hp (C A Z )/ Im p y su imagen en Hp (C A C ) es [z z ]. Es facil
ver que la sucesion es funtorial.
Supongamos ahora que C es libre y veamos que la sucesion se escinde. Como
F (C) y F (C ) son libres, el teorema 5.26 nos da que la sucesion (6.7) se escinde,
al igual que su analoga sin primas. Por el teorema 5.24 existen homomorsmos
p : C Z(C) y p : C Z(C ) tales que p(c) = c para c Z(C) y p(c ) = c
para c Z(C ). Entonces la composicion
pp
Z(C A C ) C A C Z(C) A Z(C ) H(C) A H(C )
d( ) = d + (1)i d.
Cp+1 (X Y )
C(X) A C(Y )
Cp (X Y )
C(X) A C(Y )
N1 A N2
Por consiguiente,
d( ) = ( ) = ( ),
d = (d ), d = ( d).
De aqu que basta comprobar la relacion
( ) = d + (1)i d.
6.3. El producto exterior 161
= + .
= p p1 ( ) + p p+1 ( )
= d p1 ( ) ,
pues es claro que el producto de cociclos se anula en las fronteras. As
pues, [ ] = [ ].
j
Teorema 6.8 Sean X, Y , Z espacios topologicos y ZN
i
1
(X), ZN 2
(Y ),
ZN3 (Z). Entonces
k
[] [] [] = [] [] [] .
162 Captulo 6. Productos
T 1
H i+j (X)
H i+j (X X)
164 Captulo 6. Productos
Es claro que podemos aplicar el teorema de los modelos acclicos a los fun-
tores indicados, por lo que dos aproximaciones naturales cualesquiera son na-
turalmente homotopicas. De aqu se sigue, por el mismo razonamiento que ya
hemos empleado en varias ocasiones, que si es una aproximacion diagonal y
y son dos cociclos singulares en un espacio X, entonces [] [] es la clase
de cohomologa de ( ) . Conviene denir = ( )
para cocadenas cualesquiera y , aunque hemos de tener presente que este
producto depende de la eleccion de . Del teorema 6.7 se sigue la relacion
i = (x0 , . . . , xi ), i = (xpi , . . . , xp ),
p
= (1)r i
(x0 , . . . , xr , . . . , xp ) (x0 , . . . , xr , . . . , xp )j
r=0 i+j=p1
6.3. El producto exterior 165
p
p
= (1)r (x0 , . . . , xr , . . . , xi+1 ) (xi+1 , . . . , xp )
r=0 i=r
p
r1
+ (1)r (x0 , . . . , xi ) (xi , . . . , xr , . . . , xp ).
r=0 i=0
p
= (x0 , . . . , xi ) (xi , . . . , xp ) + (1)i (x0 , . . . , xi ) (xi , . . . , xp )
i=0
p
i
= (1)r (x0 , . . . , xr , . . . , xi ) (xi , . . . , xp )
i=1r=0
p1 p
+ (1)r (x0 , . . . , xi ) (xi , . . . , xr , . . . , xp ).
i=0 r=i
Los terminos con i = r del primer sumando se cancelan con los del segundo,
y es facil ver que los restantes coinciden con los de la expresion que hemos
obtenido para ().
a1
1
b1
1 b1
z y
x
a2 a1
b2 b1
2
a1
2
Sabemos que H0 (M2 ) = 1 , H1 (M2 ) = [a1 ], [b1 ], [a2 ], [b2 ] , H2 (M2 ) = [c] ,
donde c es la suma de los ocho triangulos que muestra la gura, considerados
como 2-smplices orientados en sentido antihorario. Mas concretamente, si es
uno de ellos, convenimos que (x0 ) es el vertice central. As, por ejemplo, si el
el 2-smplice de lados x, b1 e y, tenemos que = x + b1 y (consideramos que
los radios estan orientados del centro hacia los vertices del octogono), 1 = x,
1 = b1 .
Las cuatro clases [ai ], [bi ] son, de hecho una base de H1 (M2 ). Como H0 no
tiene torsion, el teorema 5.51 nos da que H 1 (M2 ) se identica de forma natural
con H1 (M2 ) . Sea 1 , 1 , 2 , 2 la base dual de [a1 ], [b1 ], [a2 ], [b2 ], es decir,
1 toma el valor 1 sobre [a1 ] y 0 sobre las otras tres clases, etc. Pongamos que
1 = [a1 ], 1 = [b1 ], 2 = [a2 ], 2 = [b2 ], donde a1 , etc. son 1-cociclos de los
que, en principio, solo sabemos como actuan sobre a1 , b1 , a2 , b2 , pero no sobre
otras 1-cadenas.
Similarmente, H 2 (M2 ) se identica de forma natural con H2 (M2 ) . Una
base es, pues, la base dual de [c], formada por una unica clase caracterizada
por que ([c]) = 1. Calculamos:
8
8
(a1 b1 )(c) = (a1 b1 )(i ) = a1 1 (i ) b1 (i )1 .
i=1 i=1
i j = 0 si i
= j
y la clase i i = i i es independiente de i y es una base de H 2 (Mg ).
En particular, H (Mg ) esta generada como algebra por las clases i , i .
Nos ocupamos ahora de la supercie N3 . Consideramos los smplices indica-
dos en la gura:
a1
a2 a1
x
a2 a3
a3
Tomamos las orientaciones analogas a las del caso anterior. Ahora tenemos
que
H0 (N3 ) = 1 , H1 (N3 ) = [a1 ], [a2 ], [a3 ] , H2 (N3 ) = 0.
Sin embargo, ahora H1 (N3 ) no es libre, sino que sus generadores estan sujetos
a la relacion 2[a1 ] + 2[a2 ] + 2[a3 ] = [c] = 0, donde c es la suma de los seis
triangulos que aparecen en la gura. Su estructura es
H1 (N3 )
= A A (A/2A).
( 1) .
: A A C(X) C(X) y : A A A A
( 1) (1 ) = ( ) ,
es decir,
c , = c, ,
entendiendo que los dos productos se calculan con la misma aproximacion dia-
gonal. Si usamos concretamente la aproximacion de Alexander-Whitney, es facil
ver que, para un p-smplice y C i (X),
= (i )pi .
6.5. Productos relativos 169
Veamos ahora que el producto mixto induce un producto entre las clases
de homologa y cohomologa. Para ello estudiamos la frontera de un producto
mixto:
(c ), = c , d = c, d .
Ahora usamos que d( ) = d + (1)i d, con lo que
(c ), = c, (1)i (d( ) d )
= (1)i c , c d,
= (1)i (c c d), .
(1)i (c ) = c c d. (6.15)
= d( ( ) ),
Esta misma tecnica permite adaptar para el producto exterior relativo las de-
mostraciones de las propiedades del producto absoluto. En principio podramos
trabajar con un producto relativo general , pero esto involucra productos
de pares
(X, A) (Y, B) = (X Y, X B A Y ),
cuando para nuestros nes es mas sencillo adaptar las pruebas particularizadas
al caso X = Y . Veamos por ejemplo la anticonmutatividad. Observemos que
si T es la aplicacion del teorema 6.9 (para X = Y ) y : X X X es
la aplicacion diagonal, entonces T = . Por consiguiente T = y si
componemos (6.13) con por la izquierda y con ( ) por la derecha nos
queda la relacion
(1)ij ( ) = d( ( ) ).
Variedades topologicas
Aunque la practica totalidad de los espacios con los que hemos trabajado son
variedades topologicas, lo cierto es que este hecho no ha inuido en ninguno de
los resultados que hemos probado. La unica excepcion es el teorema 4.22, donde
hemos probado que las variedades compactas tienen denidos los numeros de
Betti, en cuya prueba hemos usado resultados nada triviales sobre variedades.
En este captulo demostraremos algunos resultados fundamentales especcos
de las variedades topologicas.
7.1 Orientacion
Suponemos que el lector esta familiarizado con la nocion intuitiva de orien-
tacion de una variedad. Determinar una orientacion es un problema doble:
localmente consiste en distinguir entre ciertas alternativas simetricas, como iz-
quierda y derecha, giro horario y antihorario, etc.; globalmente consiste en es-
coger coherentemente una orientacion en cada punto de forma consistente con
desplazamientos continuos.
En esta seccion mostraremos que la nocion de orientacion en una variedad
puede precisarse en terminos de su homologa singular. Localmente, la idea
basica es que una orientacion local puede determinarse sin mas que especicar
un cierto smplice singular. Por ejemplo, si V es una variedad de dimension 1,
entonces un 1-smplice inyectivo : 1 V determina una orientacion de
los puntos de su soporte: determina una sentido de movimiento: de (0) hacia
(1). Por supuesto determina la orientacion opuesta. Equivalentemente,
esta informacion esta contenida en , que distingue el vertice inicial con signo
negativo y el nal con signo positivo.
Analogamente, si V es una variedad bidimensional, un 2-smplice inyectivo
: 2 V determina una orientacion en su soporte. Por ejemplo, nos permite
convenir que el sentido de giro positivo es el que marca su frontera , es decir,
el que nos lleva de (0, 0) a (1, 0), de aqu a (0, 1) y de aqu de vuelta a
(0, 0).
173
174 Captulo 7. Variedades topologicas
x
T T
Tenemos dos triangulos T y T junto con seis triangulos que forman una
2-cadena c tal que c = T T . Notemos que si la orientacion de T es la que
indican las echas, para que la frontera de c sea la indicada es necesario que
todos sus smplices esten orientados en sentido antihorario como T , lo que a su
vez obliga a que la orientacion de T sea tambien antihoraria, es decir, la misma
que la de T .
7.1. Orientacion 175
Nota La misma prueba del teorema anterior rebajando los ndices en una
unidad demuestra que Hn1 (V, V \ {x}) = 0.
jyU
Hn (V, V \ {y}) Hn (B, B \ {y}) Hn1 (B \ {y})
176 Captulo 7. Variedades topologicas
Nota 2 La misma prueba del teorema anterior junto con la nota que sigue
al teorema 7.1 implican que, para todo abierto U sucientemente pequeno, se
cumple Hn1 (V, V \ U ) = 0.
Ahora estamos en condiciones de relacionar orientaciones locales:
Denicion 7.5 Sea V una variedad topologica n-dimensional y U un abierto
en V . Una A-orientacion local sobre U es una clase Hn (V, V \ U ) tal que
para todo y U se cumple que y = jyU () es un generador de Hn (V, V \ {y}).
En los dos ultimos teoremas el abierto U se puede sustituir por cualquier
otro abierto menor, por lo que podemos tomar uno que cumpla los dos al mismo
tiempo. As, dada una A-orientacion local x en un punto x, existe un entorno
U y una clase Hn (V, V \ U ) tal que x = jxU () y para todo y U el
homomorsmo jyU es un isomorsmo. Por consiguiente, ha de ser un generador
de Hn (V, V \ U ), de donde a su vez cada y es un generador de Hn (V, V \ {y}).
Por consiguiente es una orientacion local sobre U . Ademas, el hecho de que
jxU sea un isomorsmo implica es la unica A-orientacion sobre U que extiende
a x . As pues:
Teorema 7.6 Si x es una A-orientacion local en un punto x de una variedad
n-dimensional V , entonces existe un entorno U de x en el cual x se extiende
de forma unica a una A-orientacion local sobre U .
Supongamos ahora que U1 U2 V son dos abiertos en la variedad V .
Llamaremos
jUU12 : Hn (V, V \ U2 ) Hn (V, V \ U1 )
al homomorsmo inducido por la inclusion. Es claro que si es una A-orientacion
sobre U2 entonces jUU12 () es una A-orientacion sobre U1 .
7.1. Orientacion 177
HnZ (V, V \ U ) Z A
= HnA (V, V \ U ), (7.1)
Veamos que estos conjuntos son la base de una topologa en V con la cual
adquiere estructura de variedad topologica n-dimensional.
Por el teorema 7.3 los conjuntos indicados cubren V . Supongamos ahora que
(x, x ) U, U U , U . Por el teorema 7.4 el punto x tiene un entorno
U U U tal que jxU es un isomorsmo. Tomamos como U la antiimagen
de x por jxU y basta probar que U , U U, U U , U . Ahora bien,
jxU (jUU (U )) = jxU (U ) = x = jxU (U ),
consistentes dos a dos. Ahora bien, puesto que la interseccion de dos abiertos
basicos es un nuevo abierto basico, basta probar que si
(x, x ) U, U U , U
entonces las A-orientaciones denidas en el punto con uno y otro abierto inducen
el mismo elemento de Hn (U , U , U , U \ {(x, x )}). Esto se sigue de
considerar el siguiente diagrama conmutativo:
Ejemplo Sea V el plano proyectivo real P2 (R). Vamos a probar que su super-
cie de orientaciones es homeomorfa a la esfera S 2 . Consideramos la proyeccion
canonica p : S 2 P2 (R). Abreviaremos x = p(x), U = p[U ].
Fijemos un generador de H2 (S 2 ). Para cada x S 2 , tomamos un entorno
U donde p sea inyectiva (es decir, que no llegue a abarcar un hemisferio). Enton-
ces p transforma la restriccion de x , visto como elemento de H2 (U, U \ {x}),
en una orientacion local en x , que representaremos por x . Denimos la apli-
cacion : S 2 V1 mediante (x) = (x , x ). Vamos a demostrar que es un
homeomorsmo que (obviamente) hace conmutativo el diagrama
S2
p
P2 (R)
p
V1
H2 (S 2 )
i
H2 (S 2 , S 2 \ {x}) i
H2 (U, U \ {x})
p
H2 (U , U \ {x })
f f f 1
H2 (S 2 )
i
H2 (S 2 , S 2 \ {x}) i
H2 (U, U \ {x})
p
H2 (U , U \ {x })
p1 [A]
AA
p
A
jA : Hn (V, V \ A) [A]
Hn (V, V \ B)
jB
[B] (7.2)
B r
jA
Hn (V, V \ A)
jA
[A]
donde r es la restriccion a A.
Diremos que una seccion s [A] tiene soporte compacto si existe un sub-
espacio compacto K A tal que s coincide con la seccion nula en A \ K.
Llamaremos c [A] al conjunto de las secciones de A con soporte compacto, que
claramente es un submodulo de [A]. Se entiende que si A es compacto entonces
c [A] = [A].
Todos los resultados que perseguimos en esta seccion se deducen del teorema
siguiente:
jA jA jA jA A
1 2 1 2
0 c [A] c [A1 ] c [A2 ] c [A1 A2 ]
(r1 ,r2 ) r1 +r2
Hn (V, V \ A)
jA
[A]
i
jA
Hn (U, U \ A)
Hp (U, U \ A)
= Hp1 (U \ A)
= Hp1 (S n1 ) = 0.
Respecto a b), por la nota tras el teorema 7.4 sabemos que A cumple dicho
teorema (cumple lo que all se arma sobre U ), es decir, que si tomamos x A
tenemos que jxA es un isomorsmo. Sea x Hn (U, U \ x) una orientacion
local en x y U Hn (U, U \ A) tal que jxA (U ) = x . Tenemos, pues, que
Hn (U, U \ A) es un modulo libre de rango 1 y U es una base. Por otra parte, el
teorema 7.16 nos dice que mismo sucede con el modulo [A], luego basta probar
que jA (U ) es una base de [A].
Este mismo teorema nos hace corresponder los elementos de [A] con las
aplicaciones constantes de A en A y, de aqu, con los elementos de A. Con-
cretamente, la imagen de jA (U ) es la segunda componente de (jA (U )(x)).
Calculamos:
(jA (U )(x)) = (x, x ) = (x, 1),
y como 1 es una base de A, tenemos la conclusion.
2.2) A = A1 Am es una union nita de cubos.
Razonamos por induccion sobre m. El caso m = 1 es el anterior. Si vale para
menos de m cubos, entonces vale para A = A1 Am1 , tambien para Am
y para A Am , que es union de a lo sumo m 1 cubos (tal vez de dimensiones
menores, pero eso no importa). Por el caso 1 el teorema vale tambien para A.
2.3) A U es un compacto arbitrario.
Veamos en primer lugar que jA es suprayectiva. Tomamos s [A]. Al cor-
tar con s[A] las componentes conexas de V obtenemos una particion en abiertos
disjuntos, y como s[A] es compacto solo puede cortar a un numero nito de
7.2. La homologa de las variedades topologicas 187
jA j j
A(U \U ) U \U
0 c [A] [A (U \ U )] [U \ U ]
e r
Observemos que c [A] se reere a la variedad U , mientras que los otros dos
modulos se reeren a la variedad V . De todos modos, podemos identicar U
con p1 [U ] V identicando cada grupo Hn (U, U \ {x}) con Hn (V, V \ {x}).
El homomorsmo e asigna a cada s c [A] su extension s a A (U \ U ) dada
por s(x) = (x, 0) para todo x / A. El hecho de que s tenga soporte compacto
garantiza que s es continua.
La la inferior es exacta, pues si s [A (U \ U )] se anula en U \ U ,
teniendo en cuenta que A \ A U \ U , tenemos que el conjunto de puntos donde
s no se anula esta contenido en A, y es cerrado en A (por la continuidad de la
aplicacion m : V A), luego s|A tiene soporte compacto y e(s|A) = s.
7.2. La homologa de las variedades topologicas 189
5) El caso general.
Dado s c [A] con soporte compacto K, tomamos un abierto U que con-
tenga a K y que tenga clausura compacta (cubrimos K con un numero nito
de cerrados homeomorfos a bolas cerradas de Rn ). Consideramos A = A U
y s = s|A . El caso anterior aplicado a A y la conmutatividad del diagrama
siguiente nos dan que s tiene antiimagen por jA .
Hn (U, U \ A )
i
Hn (V, V \ A)
jA jA
c [A ] c [A]
e
Z/mZ
= HnZ/mZ (V )
= (Hn (V ) Z Z/mZ) TorZ (Hn1 (V ), Z/mZ)
= Z/mZ Tor Z (Hn1 (V ), Z/mZ),
de donde se sigue que TorZ (Hn1 (V ), Z/mZ) = 0 para todo m > 1, lo que
implica que Hn1 (V ) no tiene torsion. Si V no es compacta llegamos a la misma
conclusion, pues esta vez la cadena de isomorsmos empieza con el modulo
trivial.
Si V es compacta no orientable y m es impar, el teorema anterior nos da
Z/mZ
tambien que Hn (V ) = 0, por lo que concluimos igualmente que el modulo
TorZ (Hn1 (V ), Z/mZ) es trivial, y de aqu se sigue que el modulo de torsion de
Hn1 (V ) tiene orden potencia de 2. Ahora bien:
Z/2Z
= HnZ/4Z (V )
= TorZ (Hn1 (V ), Z/4Z) = {x Hn1 (V ) | 4x = 0}.
Tomemos un ndice j I mayor que i y que todos los que aparecen en las
ecuaciones anteriores. Aplicamos ij a (7.4), kj a (7.5) y sumamos:
ij (x) = auv vj (uv (xuv )) uj (xuv ) = 0.
uv
modulos con los homomorsmos pij , luego existe su lmite inductivo C p . Sea dp
el lmite inductivo de las cofronteras dpi . Tenemos que pi d = di p+1
i .
Se cumple que el modulo graduado de los lmites inductivos es un complejo
con d como operador cofrontera. En efecto, si x C p , entonces x = pi (xi ),
para un cierto i I y un cierto xi Cip , luego d(d(x)) = d(p+1 i (di (xi ))) =
p+2
i (d (d (x
i i i ))) = 0. Ademas es claro que los homomorsmos p
i determinan
homomorsmos de complejos i : Ci C.
Si C es otro complejo con homomorsmos i : Ci C tales que ij j =
i , entonces lo mismo se cumple restringido a los submodulos de dimension p,
luego existe un unico p : C p C tal que pi p = pi .
p
= p+1
i (d(xi )) = d(pi (xi )) = d(p (pi (xi ))) = d(p (x)).
Es facil ver que es unico.
Ccp (V ) = lm
C p (V, V \ K),
K
Cc (V ) = lm
C (V, V \ K)
K
Hcp (V ) = lm
H p (V, V \ K),
K
donde los homomorsmos del sistema de grupos de cohomologa son los indu-
cidos por las inclusiones KK = ip : H p (V, V \ K) H p (V, V \ K ). As
mismo, los homomorsmos K : H p (V, V \ K) Hcp (V ) son los inducidos por
las inclusiones C p (V, V \ K) Ccp (V ).
En general, una aplicacion continua f : X Y no determina un homo-
morsmo entre los grupos de cohomologa con soporte compacto. En general
hemos de exigir una propiedad adicional:
jK : Hn (V, V \ K) [K].
K
H p (V, V \ K) Hnp (V )
KK
K
H p (V, V \ K )
D = lm
K
: Hcp (V ) Hnp (V ).
K
H p (U, U \(K1 K2 )) H p (U1 , U1 \K1 )H p (U2 , U2 \K2 ) H p+1 (U, U \(K1 K2 ))
Las echas verticales son escisiones (isomorsmos) que nos permiten sustituir
los grupos de arriba por los de abajo. Combinando la sucesion que obtenemos
con la sucesion de homologa de Mayer-Vietoris de la trada (W, U1 , U2 ) obtene-
mos el diagrama siguiente:
H p (U, U \(K1 K2 )) H p (U1 , U1 \K1 )H p (U2 , U2 \K2 ) H p (W, W \(K1 K2 )) H p+1 (U, U \(K1 K2 ))
K K K K K K K K
1 2
1 2 1 2
1 2
Hnp (U ) Hnp (U1 ) Hnp (U2 ) Hnp (W ) Hnp1 (U )
Hnp (U )
Hn (U, U \ (K1 K2 )) A H p (U, U \ (K1 K2 ))
Hnp (W )
Hn (W, W \ (K1 K2 )) A H p (W, W \ (K1 K2 ))
Hnp (W )
Hn (W, W \ K1 ) A H p (W, W \ K1 )
Hnp (U1 )
Hn (U1 , U1 \ K1 ) A H p (U1 , U1 \ K1 )
C (W, W \ (K1 K2 ))
7.4. La dualidad de Poincare 199
C(W )
Los homomorsmos verticales inducen isomorsmos en cohomologa (resp.
homologa). El diagrama que hemos de estudiar es, concretamente,
H p (W, W \ (K1 K2 ))
H p+1 (W, W \ (K1 K2 ))
i
K1 K2 H p+1 (U, U \ (K1 K2 ))
K1 K2
Hnp (W )
Hnp1 (U )
D DD D D
Hnp (U ) Hnp (U1 ) Hnp (U2 ) Hnp (W ) Hnp1 (U )
Aqu hemos usado que los lmites inductivos conmutan con las sumas direc-
tas, lo cual se comprueba facilmente, por lo que lo dejamos a cargo del lector.
La la superior es exacta por el teorema 7.30, y dos de cada tres echas vertica-
les son isomorsmos por hipotesis, luego el teorema 3.1 (que vale tambien para
diagramas conmutativos salvo signo) nos da que los homomorsmos D para W
tambien son isomorsmos.
2) Si el teorema vale para una familia de abiertos {Ui }iI totalmente orde-
nada por la inclusion, entonces vale para su union.
C(U ) = lm
C(Ui ),
i
donde los homomorsmos ij son las inclusiones. Por el teorema 7.29 tenemos
que
Hnp (U ) = lm
Hnp (Ui ).
i
Hcp (U ) = lm
Hcp (Ui ).
i
tambien.
H p (Ui , Ui \ K)
K
Hcp (Ui )
ij
i
H p (Uj , Uj \ K)
K
Hcp (Uj )
j
H p (U, U \ K) Hcp (U )
K
Hcp (U )
D
K
K
H (U, U \ K)
p Hnp (U )
i
donde K recorre las bolas cerradas de centro 0 y radio < 1. De aqu se sigue que
Hcp (U ) = 0 salvo si p = n (y as mismo Hnp (U ) = 0). En el caso exceptuado
vamos a calcular
K : H n (U, U \ K) H0 (U ).
Para ello observamos que H0 (U ) = A. Mas concretamente, una base de
H0 (U ) la forma la clase g de cualquier 0-smplice. Usando la aproximacion de
Alexander-Whitney, para cada n-smplice y cada n-cocadena tenemos que
= ()0 , luego, tomando clases, [] [] = [], [] g.
Por linealidad esto vale para clases arbitrarias, luego en particular tenemos
que K x = K , x g, para todo x H n (U, U \ K).
Con la notacion del teorema 5.51, tenemos K x = h(x)(K )g. Por
este mismo teorema h es un isomorsmo y K es la composicion de h con
la evaluacion en K que es un isomorsmo porque K es un generador de
Hn (U, U \ K) y con la multiplicacion por g que es un isomorsmo porque
g es un generador de H0 (U ). As pues, D es un isomorsmo, por ser el lmite
inductivo de un sistema de isomorsmos.
Por el teorema 1.5, todo abierto convexo en Rn es homeomorfo a una bola
abierta, luego en realidad tenemos probado el teorema para abiertos conexos
cualesquiera. De aqu se sigue inmediatamente que es cierto para uniones nitas
de abiertos convexos. Razonamos por induccion sobre el numero m de convexos.
Lo tenemos para m = 1 y si U es union de m + 1 convexos, llamamos U a la
union de m de ellos y U al que queda. Entonces U U es union de a lo
sumo m convexos, luego por hipotesis de induccion el teorema vale para U , U
y U U . Por el apartado 1) tambien vale para U .
En particular tenemos probado el teorema para uniones nitas de bolas
abiertas. Por el apartado 2) vale tambien para uniones numerables, pero todo
abierto de Rn es una union numerable de bolas abiertas.
4) El teorema vale en general.
Tenemos que el teorema vale para los abiertos de V homeomorfos a abiertos
de Rn . La interseccion de dos de estos abiertos es tambien de este tipo, luego el
apartado 1) y un argumento inductivo identico al del apartado anterior nos da
que el teorema vale para uniones nitas de abiertos coordenados. Por el apartado
2) vale tambien para uniones numerables. Si la variedad V es razonable, por
ejemplo, si cumple el segundo axioma de numerabilidad, entonces V es union de
una cantidad numerable de abiertos coordenados, con lo que cumple el teorema.
En el caso general podemos razonar usando el lema de Zorn. En efecto, el
apartado 2) nos da que la familia de los abiertos que cumplen el teorema tiene
un maximal U respecto a la inclusion. Si U
= V , podemos tomar un abierto
coordenado U
= U , y entonces U U cumple tambien el teorema porque es
homeomorfo a un abierto en Rn . Por 1) tenemos que U U tambien cumple el
teorema, en contra de la maximalidad de U .
Veamos algunas consecuencias sencillas de este teorema, aunque en la seccion
siguiente podremos apreciar algo mejor su importancia.
7.4. La dualidad de Poincare 203
Segun vimos al nal del captulo V, los numeros de Betti pueden calcu-
larse indistintamente con los grupos de homologa o cohomologa, por lo que el
teorema de Poincare nos da inmediatamente la siguiente relacion:
Por otra parte, el teorema 5.52 nos da la siguiente relacion entre los modulos
de torsion de los grupos de homologa:
K , y x = K y, x =
0.
As pues, y x
= 0.
En general, si un espacio vectorial E de dimension nita tiene denida una
forma bilineal antisimetrica regular F , su dimension ha de ser par. Recordemos
el argumento: si x1 E es no nulo, existe y1 E tal que F (x1 , y1 )
= 0. Ha de
ser y1
= x1 porque la antisimetra da F (x1 , x1 ) = 0. Denimos
natural entre H 2n (Pn (C)) y H2n (Pn (C)) implica que n genera H 2n (Pn (C)).
j
H p (U ) H p (V )
i (r|v )
H p (A)
206 Captulo 7. Variedades topologicas
H p (W ) H p+1 (V, W ) H p+1 (U, U \ K),
: H p (A) Hcp+1 (U ).
i j
Hcp (U ) H p (V ) H p (A) Hcp+1 (U )
es exacta.
H p (U, U \ K) H p (V, V \ K) H p (V ) H p (V \ K)
1
Hcp (U ) Hcp (V ) H p (V ) H p (A)
i 1 j
7.5. La dualidad de Alexander 207
1
H p (V ) H p (A) H p+1 (U )
j c
donde W es un entorno de A y K = V \ W .
En efecto, dada H p (V ), sera j() = W (), para cierto entorno W de
A y cierto H p (W ). As, si = [], entonces = [|Cp (W ) ]. Al continuar el
recorrido por la la superior pasamos a [d] = 0. As pues, la imagen de en
Hcp+1 (U ) por la la superior es nula, luego tambien por la la inferior, es decir,
j = 0.
Por otra parte, si H p (A) cumple () = 0, tomemos W tal que =
W (), para cierto H p (W ). Tomando W sucientemente pequeno podemos
exigir que la imagen de en H p+1 (U, U \ K) sea nula, con lo que tambien lo
sera su imagen en H p+1 (V, W ) (porque el tramo que media es un isomorsmo).
Ahora bien, la sucesion H p (V ) H p (W ) H p+1 (W ) es exacta, luego
tiene antiimagen en H p (V ), la cual es, a su vez, una antiimagen de por j.
Finalmente, para probar la exactitud en Hcp+1 (U ) consideramos el diagrama
H p (A) H p+1 (U ) H p+1 (V )
c i
1
H p1 (A) H p (V, A) H p (V ) H p (A)
La naturalidad del producto mixto nos da que A conmuta con las inclu-
siones al cambiar W , luego podemos tomar el lmite en W :
Hcp (U ) H p (V ) H p (A)
DU DV DA
Hnp (U ) Hnp (V ) Hnp (V, V \ A)
H p (U, U \ K) H p (V, V \ K)
U
K V
K
Hnp (U ) Hnp (V )
DA DU
Hnp (V, U )
Hnp1 (U )
H p+1 (V, W )
H p (W )
V
A
Hnp (W, W \ A) H p+1 (U, U \ K)
U
K
Hnp (V, V \ A) Hnp1 (U )
210 Captulo 7. Variedades topologicas
U
K |Cp (U ) (1)p (K
U
|Cp (U ) ).
Ahora bien, el ultimo termino es una frontera de una cadena de Cnp (U ),
luego la imagen de en Hnp1 (U ) es simplemente [ KU
|Cp (U ) ]. Mas aun,
puesto que K Zn (U, U \K), tenemos que K Cn1 (U \K) = Cn1 (W \A),
U U
por lo que la naturalidad del producto mixto nos permite sustituir |Cp (U ) por
|Cp (W \A) y este a su vez por . En resumen hemos llegado a [ KU
].
W
Por el otro camino tenemos (A ) = [(A
W
)] = (1)p [ A
W
].
La demostracion estara concluida si probamos que, eligiendo adecuadamente
W U
los representantes A y K de las clases fundamentales, podemos exigir que
A = K . En efecto, sea V Hn (V ) la clase fundamental de V . Apli-
W U
Como consecuencia:
7.5. La dualidad de Alexander 211
en el ultimo la reducida.
A su vez esto nos da la siguiente aplicacion:
pues por el teorema anterior Rn+1 \A tiene k+1 componentes conexas y el ultimo
grupo es respecto a la homologa reducida. Ahora bien, si A es no orientable
alguna de sus componentes conexas es no orientable, y por 7.21, el rango de
Hn (A) ha de ser menor que k.
En particular las supercies Nh no pueden sumergirse en R3 .
Captulo VIII
Homotopa
213
214 Captulo 8. Homotopa
Veamos ahora que este producto dene realmente una estructura de grupo.
Para probar la asociatividad observamos que
(4s) si 0 s 1/4,
(() )(s) = (4s 1) si 1/4 s 1/2,
(2s 1) si 1/2 t 1,
(2s) si 0 s 1/2,
(( ))(s) = (4s 2) si 1/2 s 3/4,
(4s 3) si 3/4 t 1.
f : (X, x) (Y, y) es una aplicacion entre pares (es decir, una aplicacion
continua tal que f (x) = y), entonces podemos denir f : 1 (X, x) 1 (Y, y)
mediante f ([]) = [ f ]. Es facil comprobar que la denicion no depende del
representante de la clase. Ademas es inmediato que ( ) f = ( f )( f ),
por lo que f es claramente un homomorsmo de grupos. Tambien es obvio que
1 = 1 y que (f g) = f g , de modo que 1 es un funtor de la categora de los
pares (X, x) en la categora de los grupos.
Esto implica en particular que si f es un homeomorsmo f es un isomorsmo
de grupos, luego el grupo fundamental es un invariante topologico.
Es evidente que el grupo 1 (X, x) depende unicamente de la componente
arcoconexa de x en X. As pues, no perdemos generalidad si suponemos que X
es arcoconexo. Tomemos dos puntos x, y X y jemos un arco en X tal que
(0) = x, (1) = y.
Para cada bucle en x tenemos que (1 ) es un bucle en y (notemos
que la denicion (8.1) y la de 1 tienen sentido para arcos cualesquiera, no
necesariamente bucles). Ademas, si y son bucles homotopicos, es facil
construir una homotopa entre (1 ) y (1 ). Por consiguiente podemos
denir una aplicacion
h : 1 (X, x) 1 (X, y)
mediante h ([]) = [(1 )]. Esta aplicacion resulta ser un isomorsmo de
grupos.
En efecto: Es facil ver que ((1 ))((1 )) es homotopico a (1 ( )).
La homotopa se construye analogamente a la que hemos dado para probar
que 1 es homotopico a e. Por consiguiente h es un homomorsmo de
grupos. Tambien es facil ver que una antiimagen de una clase [ ] 1 (X, y)
es [( )1 ], por lo que h es suprayectivo. Finalmente, si h ([]) = 1, esto
signica que (1 ) es homotopico a la constante ey . Es facil ver entonces
que el bucle (((1 )))1 es homotopico a (e)1 , es cual es homotopico
a ex . Ahora bien, es facil construir una homotopa entre (((1 )))1
y ((1 ))(1 ), que a su vez es homotopico a ex ex , que es claramente
homotopico a . Concluimos, pues, que [] = 1.
As pues, si X es un espacio arcoconexo podemos hablar simplemente de su
grupo fundamental 1 (X), entendiendo que nos referimos a cualquiera de los
grupos 1 (X, x) con x X, ya que todos ellos son isomorfos.
En particular tiene sentido denir un espacio simplemente conexo como un
espacio (arcoconexo) cuyo grupo fundamental es trivial. Veamos algunas equi-
valencias:
a) X es simplemente conexo,
d) Todo par de arcos en X que unen un punto x con un punto y son ho-
motopicos a traves de una homotopa F tal que Ft (0) = x, Ft (1) = y para
todo t I.
Es facil ver que F es una homotopa entre y en las condiciones del enunciado.
d) a) Si es un bucle en un punto x X, basta aplicar el apartado
anterior a y el bucle constante x.
Del teorema 1.24 se sigue que todo subespacio convexo de Rn es simplemente
conexo. En particular lo es Rn y cualquier bola abierta o cerrada en Rn . Intui-
tivamente es evidente que S n es simplemente conexo para n 2, aunque una
prueba formal no es inmediata. La obtendremos a partir del teorema siguiente:
8.1. El grupo fundamental 217
(s4 )
U (s3 ) V
(s2 )
x
(s1 )
8.2 Cubrimientos
Introducimos ahora un concepto de gran utilidad en diversos contextos. Aqu
nos servira para calcular algunos grupos fundamentales.
Denicion 8.4 Un cubrimiento de un espacio topologico X es una aplicacion
continua suprayectiva p :bAnnnnnnnnnnnnnnn
8.2. Cubrimientos 219
que coincida con la ya denida sobre las aristas {t1 } [t1 , t2 ] [t1 , t2 ] {t1 } (lo
cual es posible porque este conjunto es conexo, por lo que su imagen por G esta
en la misma componente conexa del correspondiente p1 [U ]). Mediante este
proceso acabamos con G denida sobre [t0 , t2 ] I y, repitiendo el argumento,
llegamos a una extension a I I.
Es claro que la funcion G cumple lo pedido. En denitiva, G es una elevacion
de F al cubrimiento, luego es unica una vez determinado G(0, 0) = x.
El proceso de construccion de G muestra que si Ft (0) y Ft (1) son constantes,
entonces Gt (0) y Gt (1) tambien lo son. En efecto: al tratar con [t0 , t1 ] [t0 , t1 ]
tenemos que Gt (0) es la antiimagen por p|U0 de Ft (0), luego es constante en
[t0 , t1 ]. Similarmente vemos que Gt (0) es constante en [t1 , t2 ], etc. Lo mismo
sucede con Gt (1). En particular esto se aplica cuando F es una homotopa entre
bucles:
Es facil ver que esta aplicacion es una accion del grupo fundamental sobre
la bra p1 [x], lo cual quiere decir que x1 = x y que (x1 )2 = x(1 2 ).
Mas aun, si X es arcoconexo vemos que la accion es transitiva, es decir, que
dados x1 , x2 p1 [x] existe un 1 (X, x) tal que x1 = x2 (basta considerar
un arco que conecte x1 con x2 y tomar = [ p].)
Por otra parte, el estabilizador de un punto x p1 (x), es decir, el subgrupo
de 1 (X, x) formado por los elementos que jan a x, es precisamente el subgrupo
p [1 (X, x)]. En efecto, basta observar que se eleva a un bucle en x si y solo
si es la imagen por p de un bucle en x.
Argumentos basicos de la teora de grupos nos dan ahora cierta informacion
sobre los cubrimientos:
Ejercicio: Probar que si p : X X es un cubrimiento con X arcoconexo y x X,
entonces el cardinal de p1 [x] es el ndice de p [1 (X, )] en 1 (X, x). En particular
todas las bras tienen el mismo cardinal.
arcos en X con el mismo origen y el mismo extremo. Por el teorema 8.1 existe
una homotopa entre ambos que deja invariantes a los extremos. Al componerla
con p obtenemos una homotopa de bucles entre y , luego = .
As pues, jando x p1 [x], sabemos que para cada transformacion f G
existe un 1 (X, x) tal que f (x) = x y acabamos de probar que es unico.
Si lo llamamos (f ) tenemos una aplicacion : G 1 (X, x) que verica
la relacion x = f (x) (f ). Es facil ver que se trata de un homomorsmo
de grupos, pues aplicando una trasformacion g a esta relacion obtenemos que
g(x) = g(f (x)) (f ) y multiplicando por (g) queda
As pues,
(f g)(x) (f g) = x = (f g)(x) (f )(g),
de donde (f g) = (f )(g).
Por otra parte, si (f ) = 1 entonces x = f (x), luego f = 1. As pues,
es un monomorsmo. Falta probar que es suprayectivo. Para ello hemos de
probar que para cada 1 (x, X) existe f G tal que x = f (x) o, lo que es
lo mismo, que f (x) = x 1 . Mas en general, basta probar que si x, x p1 [x]
entonces existe f G tal que f (x) = x.
Dado z X, consideramos un arco que una x con z y llamamos a la
elevacion a X con extremo en x del arco p. Denimos f (z) = (1). En
primer lugar comprobamos que esta denicion no depende de la eleccion de .
En efecto, si 0 y 1 son dos arcos que unen x con z, entonces son ho-
motopicos mediante una homotopa que deja invariantes sus extremos (por el
teorema 8.1). Consecuentemente 0 p y 1 p son homotopicos mediante una
homotopa que deja invariantes sus extremos. Por el teorema 8.8 y la obser-
vacion posterior tenemos que 0 y 1 tienen el mismo extremo, luego dan lugar
al mismo valor para f (z).
Es claro que f (x) = x, luego basta probar que f G. Es claro que f p = p.
Tambien es facil ver que f es biyectiva, pues su inversa se obtiene sin mas que
intercambiar los papeles de x y x. Por esta misma razon basta comprobar que
f es continua, ya que entonces su inversa tambien lo sera.
Tomemos z X. Sea U un entorno fundamental de p(z) y sean U0 y U1
las componentes conexas de p1 [U ] que contienen a z y f (z) respectivamente.
Como X es localmente arcoconexo, U0 y U1 son abiertos arcoconexos tales que
p|U0 y p|U1 son homeomorsmos sobre U . Por consiguiente g = p|U0 (p|U1 )1
es un homeomorsmo de U0 en U1 . Basta probar que g = f |U0 .
Tomamos w U0 . Existe un arco en U0 que une z con w. Sea un arco
que una x con z. As, el producto es un arco que une x con w. Es claro
que = g es la elevacion a X con origen en f (z) del arco p, ya que
g p = p. Por otra parte, si llamamos a la elevacion de p con origen
en x (y, por consiguiente, con extremo en f (z)), es claro que es la elevacion
a X de con origen en x. Ahora bien, el extremo de es, por una parte
f (w) y, por otra, (1) = g(w).
8.3. Un criterio de elevacion 223
Teorema 8.13 1 (S 1 )
= Z.
Demostracion: Consideramos el cubrimiento p : R S 1 denido me-
diante p(t) = (cos 2t, sen 2t). Claramente estamos en las condiciones del
teorema anterior, luego sabemos que 1 (S 1 ) es isomorfo al grupo G de los ho-
meomorsmos f : R R que cumplen f (t) = t + 2k para todo t R y cierto
k Z. Notemos que en principio k depende de t, pero como
f (t) t
k(t) = ,
2
tenemos que k es una funcion continua de R en Z, luego por conexion es cons-
tante. As pues, cada transformacion f tiene asociado un entero kf de modo
que f (t) = t + 2kf . Es claro que la aplicacion G Z dada por f kf es un
isomorsmo de grupos.
Si componemos los isomorsmos de los dos teoremas anteriores vemos que a
cada bucle en 1 (S 1 , x) le estamos asignando el numero de vueltas que da a la
circunferencia teniendo en cuenta el sentido de giro. Veamos otro ejemplo:
Por consiguiente, f = 0.
8.3. Un criterio de elevacion 225
Sn
g
Sm
p
f
p
Pn (R) Pm (R)
f
p1 x1 + + pn xn + pn+1 > 0.
su amabilidad.
8.3. Un criterio de elevacion 227
Geometra diferencial
229
Captulo IX
Variedades diferenciales
231
232 Captulo 9. Variedades diferenciales
pues su inversa es x1
2 x1 , que tambien es de clase C k
por la denicion de atlas.
Una estructura diferencial en un espacio topologico V es un atlas maximal
respecto de la inclusion. Es facil ver que todo atlas A de clase C k determina una
unica estructura diferencial de clase C k , a saber la dada por todas las cartas
(U, x) tales que las funciones x y 1 y y 1 x son de clase C k en sus dominios,
para toda carta (U , y) de A.
Una variedad diferencial de clase C k y de dimension n es un par (V, A),
donde V es un espacio topologico de Hausdor con una base numerable y A es
una estructura diferencial de clase C k y de dimension n en V .
En lo sucesivo, cuando hablemos de variedades diferenciales sobrentende-
remos que son variedades de clase C . As mismo, cuando digamos que una
aplicacion es diferenciable se entendera que es de clase C . Como es habitual,
escribiremos V en lugar de (V, A). Cuando hablemos de una carta de la variedad
V se entendera que nos referimos a una carta de su estructura diferencial. Un
atlas de V sera un conjunto de cartas de V cuyos dominios cubren a V .
Si V es una variedad diferencial y p V , diremos que (U, x) es una carta
alrededor de p si es una carta de V y p U . Para cada q U , decimos que
x(q) Rn es el vector de coordenadas de q respecto de la carta dada. Las
funciones xi que resultan de componer x con las proyecciones de Rn en R se
9.1. Denicion y hechos basicos 233
llaman funciones coordenadas de la carta dada. Por ello a las cartas se las llama
tambien sistemas de coordenadas y los dominios de las cartas se llaman abiertos
coordenados.
Conviene destacar lo siguiente: si A es un atlas de una variedad V , entonces
una carta (U, x) en el espacio topologico V es una carta de V si y solo si las
composiciones x1 y e y 1 x son diferenciables para toda carta (U , y) de A
cuyo dominio corte a U .
Es inmediato comprobar que si componemos una carta de una variedad
con un difeomorsmo entre abiertos de Rn obtenemos otra carta, as como
que la restriccion de una carta a un abierto menor es tambien una carta. Por
ejemplo, una carta cubica centrada en p es una carta (U, x) tal que x(p) = 0 y
n
x[U ] = ]1, 1[ . Segun lo dicho, es claro que todo punto p V tiene una carta
cubica centrada en p.
y analogamente para los otros ndices. Es inmediato comprobar que estas cartas
determinan un atlas de Pn (R). La proyeccion canonica Rn+1 \ {0} Pn (R)
es diferenciable, as como su restriccion S n Pn (R).
234 Captulo 9. Variedades diferenciales
Ejercicio: Usando dos veces (en cada caso) la sucesion de Mayer-Vietoris comprobar
que Mg #Mg = Mg+g y Nh #Nh = Nh+h . Deducir que toda supercie compacta
admite una estructura diferenciable.
e1/x
P (x),
xn
donde P (x) es un polinomio, de donde se sigue facilmente que h es derivable en
0, que todas las derivadas valen 0 en 0 y que todas son continuas.
Dados numeros reales 0 < a < b, la funcion h1 (x) = h(x a) se anula solo
en los numeros x a y la funcion h2 (x) = h(b x) se anula solo si x b, luego
su producto hab se anula fuera del intervalo ]a, b[ y es estrictamente positiva en
el.
9.2. Aplicaciones diferenciables 237
$b
Sea M = a
hab (x) dx > 0. Entonces la funcion
% x
1
ab (x) = hab (t) dt
M a
Notemos que la suma tiene sentido porque todos los i (p) son nulos salvo
un numero nito de ellos.
Diremos que una particion de la unidad en V esta subordinada a un cubri-
miento abierto de V si cada funcion de la particion tiene su soporte contenido
en uno de los abiertos del cubrimiento. Hemos de probar que todo cubrimiento
abierto en una variedad tiene una particion de la unidad subordinada. En la
prueba de este resultado usaremos por primera vez, a traves del teorema 1.17,
el hecho de que toda variedad diferencial tiene por denicion una base nu-
merable.
f f
= g g salvo que f y g tengan el mismo dominio. Este inconveniente se
subsana tomando clases de equivalencia:
Denimos el espacio de germenes diferenciables en p como el conjunto co-
ciente Gp (V ) de Cp (V ) respecto a la relacion de equivalencia en virtud de la
cual dos funciones locales f y g son equivalentes si y solo si coinciden en un
entorno de p.
La suma, el producto y el producto escalar en Cp (V ) inducen operaciones
analogas en Gp (V ), pero ahora tenemos una estructura de algebra conmutativa
y unitaria. Notemos que si Gp (V ), podemos hablar de (p) como el valor
que toma en p cualquiera de las funciones locales que forman .
Denimos el espacio tangente a V en p como el conjunto Tp (V ) formado por
todas las aplicaciones v : Cp (V ) R que cumplen:
Denicion 9.9 Sea V una variedad diferencial, sea p V y x una carta alre-
dedor de p. Denimos la aplicacion
: Cp (U ) R
xi
p
Por consiguiente
% 1
n
F (y) = F (y 0 ) + g (t) dt = F (y 0 ) + Fi (y)(yi yi0 ),
0 i=1
donde %
1
F
Fi (y) = dt.
0 xi
t(yy0 )+y0
Claramente las funciones Fi son de clase C y
% 1
0 F
F
Fi (y ) =
dt = xi
0 .
0 xi y 0 y
Teorema 9.11 Sea V una variedad diferencial, sea x una carta alrededor de
un punto p V y sea v Tp (V ). Entonces
'
n
v= v(xi ) .
i=1
xi
p
luego
n
f = cf (p) + (x Fi )(xi cxi (p) ).
i=1
Demostracion: Solo falta probar que las derivadas son linealmente inde-
pendientes (en particular distintas dos a dos). Supongamos que
1 + + = 0.
x1
p xn
p
n
p f (p)
Rn Rm
df |p
df |p (v) = v(f ).
9.4 Subvariedades
Introducimos ahora el concepto de subvariedad, gracias al cual conectaremos
el concepto abstracto de variedad diferencial con el clasico de subvariedad de
Rn .
f (t) = (0, 0) si t = 0,
1/t2 1/t2
(e ,e ) si t > 0,
dif (p) (dxi |f (p) ) = di|f (p) dxi |f (p) = d(xi |U W )|f (p)
esta formado por los puntos de U cuyas n primeras coordenadas son nulas. To-
mamos como carta alrededor de p la composicion x de x|U W con la proyeccion
en las m n ultimas coordenadas. Claramente x es un homeomorsmo, cuya
inversa se obtiene completando con ceros y aplicando x1 . Es inmediato com-
probar que estas cartas determinan un atlas para W . Ademas, la lectura de
la inclusion respecto a un par de cartas x y x es la identidad, luego W es una
subvariedad de V .
Por ejemplo, es claro que 1 es un valor regular para f : Rn+1 R dada
por f (x) = x21 + + x2n+1 , y entonces el teorema anterior nos da una prueba
alternativa de que S n es una subvariedad de Rn+1 .
Terminamos la seccion con la prueba de un importante teorema sobre exis-
tencia de valores regulares de una aplicacion. Concretamente, el teorema de
Sard arma que el conjunto de valores crticos de cualquier aplicacion diferen-
ciable tiene medida nula, pero para dar sentido a esto hemos de generalizar el
concepto de conjunto nulo a variedades arbitrarias.
es nulo. En efecto, como V tiene una base numerable es posible cubrir C por
una cantidad numerable de conjuntos cuya interseccion con C es nula, luego C
es nulo.
Ahora ya podemos enunciar el teorema que perseguimos:
Es claro que x es inyectiva, pues si x(p, v) = x(q, w), comparando las prime-
ras componentes concluimos que p = q y comparando las segundas concluimos
que v = w. (Las segundas componentes son las coordenadas de v y w respecto a
la base de Tp (V ) asociada a x.) Ademas la imagen de x es el abierto x[U ] Rn .
Es facil ver que existe una unica topologa en T V para la que los conjuntos
T U son abiertos y las aplicaciones x son homeomorsmos. La prueba resulta
mas clara en un contexto general:
Teorema 9.28 Sea V un conjunto y A un conjunto de pares (U, x), donde los
conjuntos U V cubren V y x : U Rn biyectiva de modo que si (U, x),
(U , y) A, entonces x[U U ] es abierto en Rn y x1 y es un homeomorsmo
en la imagen. Entonces existe una unica topologa en V para la cual las aplica-
ciones de A son homeomorsmos en la imagen (o sea, cartas). En particular,
si las aplicaciones x1 y son diferenciables entonces A determina en V una
estructura de variedad diferencial con dicha topologa.
Demostracion: Basta probar que las antiimagenes por las cartas de los
abiertos de Rn forman la base de una topologa en V . Para ello tomamos
un punto p x1 [G] y 1 [H], donde G y H son abiertos en Rn . Entonces
A = G x[y 1 [H]] es un abierto en Rn y p x1 [A] x1 [G] y 1 [H].
As, si (T U, x) y (T U , y) son dos cartas de de T V , tenemos que T U T U =
T (U U ) y x[T (U U )] = x[U U ] Rn , que es abierto en R2n . Ademas, si
(u, v) esta en este conjunto, entonces
( )
1 1 n
x (u, v) = x (u), vj xj |x1 (u) ,
j=1
y
(x1 y)(u, v) = ((x1 y)(u), w),
donde
'
n
yi
'
n
(x1 yi )
wi = vj = vj
.
j=1
xj
x1 (u) j=1 xj u
donde
'
n
(x1 f yi )
wi = vj
j=1
xj u
ip : Tp (V ) T V
dada por ip (v) = (p, v) es diferenciable pues, jada una carta (U, x) alrededor
de p, su lectura respecto al isomorsmo que a cada v Tp (V ) le asigna sus coor-
denadas en la base xi y la carta x es la identidad. Mas aun, si llamamos y a
x
la composicion T U x[U ] Rn Rn , tenemos que ip y es el isomorsmo
(v) = (dx1 |p (v), . . . , dxn |p (v)). De aqu se sigue que i1
p = y|ip [Tp (V )] 1
es continua, luego ip es un homeomorsmo en la imagen. Por otra parte,
dip |v dy|(p,v) = d|v es un isomorsmo, luego dip |v es un monomorsmo. Esto
termina la prueba de que Tp (V ) es ciertamente una subvariedad de T V .
Los isomorsmos canonicos p : Tp Rn Rn determinan una aplicacion
: T Rn Rn . Claramente es diferenciable, pues su lectura respecto de la
carta inducida por la identidad es la aplicacion (p, v) v.
9.6 Tensores
Los espacios tangentes permiten adaptar a las variedades diferenciales con-
ceptos y resultados propios del algebra lineal. El concepto de tensor sistematiza
y unica esta adaptacion.
= v1 vr v1 vr 1 s 1 s .
256 Captulo 9. Variedades diferenciales
(v1 vr 1 s )(1 , . . . , r , w1 , . . . , ws )
al hacer actuar esta forma multilineal sobre (ei1 , , eir , ej1 , , ejs ) obtenemos
que Tji11,...,j
,...,ir
s
= 0.
As pues, los tensores de tipo (0, 0) son los escalares, los tensores de tipo (1, 0)
son los elementos de V que, de acuerdo con el teorema anterior, se identican
con los elementos de V . Los tensores de tipo (0, 1) son los elementos de V , los
tensores de tipo (0, 2) son las formas bilineales en V . Por ejemplo, el producto
9.6. Tensores 257
En cada punto p U constituyen una base de Tsr (Tp (V )), luego si T Tsr (V ),
entonces
' i ,...,i
T |U = Tj11,...,jsr xi1 xir dxj1 dxjs , (9.5)
i1 ,...,ir
j1 ,...,js
Tji11,...,j
,...,ir
s
(p) = Tp (dxi1 |p , . . . , dxir |p , xj1 |p , . . . , xjs |p ).
Teorema 9.35 Los campos vectoriales en una variedad V son las aplicaciones
diferenciables X : V T V tales que para todo p V se cumple Xp Tp V .
Las primeras coordenadas son ciertamente diferenciables y las ultimas son las
coordenadas de X como tensor, luego la diferenciabilidad de X como aplicacion
equivale a la diferenciabilidad como tensor.
T (1 , . . . , r , v1 , . . . , vs )(p) = Tp (1 |p , . . . , r |p , v1 |p , . . . , vs |p ).
(1 , . . . , r , v1 , . . . , vs )(p) = (1 , . . . , f i , . . . r , v1 , . . . , vs )(p)
= f (p) (1 , . . . , r , v1 , . . . , vs )(p) = 0.
Si se anula un campo vi se razona igualmente.
Ahora veamos que si i |p = 0 o bien vi |p = 0, entonces
(1 , . . . , r , v1 , . . . , vs )(p) = 0,
Tji11,...,j
,...,ir
s
(p) = Tp (dxi1 |p , . . . , dxir |p , xj1 |p , . . . , xjs |p )
= (1 , . . . , r , v1 , . . . , vs ),
donde k es cualquier forma tal que k |p = dxik |p y vk es cualquier campo
tal que vk |p = xjk |p . Ahora bien, podemos construir k y vk de modo que
coincidan con dxik y xjk no solo en p sino de hecho en un entorno U de p, con
lo que
Tji11,...,j
,...,ir
| = (1 , . . . , r , v1 , . . . , vs )|U
s U
Variedades de Riemann
Una variedad topologica tiene una estructura topologica similar hasta cierto
punto a la de Rn , mientras que una variedad diferencial comparte ademas con
Rn las propiedades vectoriales. En este captulo introduciremos una estructura
adicional en las variedades que generaliza la estructura eucldea de Rn , es de-
cir, la posibilidad de determinar distancias entre puntos y medir angulos entre
curvas. Esta es la nocion de metrica de Riemann, aunque empezaremos estu-
diando en la primera seccion el concepto de conexion afn: un aparato algebraico
analogo a la estructura afn de Rn .
263
264 Captulo 10. Variedades de Riemann
D : C (V ) C (V ), y D : X(V ) X(V ).
Entonces existe una unica derivacion D : T(V ) T(V ) de grado (0, 0) que
extiende a las derivaciones dadas y que conmuta con las contracciones de ten-
sores.
As pues,
(D)(X) = D((X)) (DX). (10.1)
Segun el lema de localizacion, esto determina a D sobre (V ). 1
T X1 Xs 1 r T2s
2r
(V ).
10.1. Conexiones anes 265
D(T (1 , . . . , r , X1 , . . . , Xs )) = D(C(T X1 Xs 1 r ))
= C DT X1 Xs 1 r
+ T X1 DXi Xs 1 r
i
+ T X1 Xs 1 Dj r
j
= (DT )(1 , . . . , r , X1 , . . . , Xs ) + T (1 , . . . , r , X1 , . . . , DXi , . . . , Xs )
i
+ T (1 , . . . , Dj , . . . , r , X1 , . . . , Xs ).
j
''
entonces
vk uk
[X, Y ] = ui vi . (10.3)
i
xi xi xk
k
Denicion 10.4 Sea V una variedad diferencial. Una conexion afn o derivada
covariante en V es una aplicacion D : X(V ) X(V ) X(V ) tal que
a) Si X, Y , Z X(V ), f , g C (V ), entonces Df X+gY Z = f DX Z +gDY Z.
b) Si X, Y , Z X(V ), entonces DX (Y + Z) = DX Y + DX Z.
c) Si X, Y X(V ), f C (V ), entonces DX (f Y ) = f DX Y + X(f )Y .
De este modo, para cada campo X X(V ), una conexion D determina una
derivacion DX en X(V ) respecto a la derivacion f X(f ) de C (V ). Por el
teorema anterior DX se extiende a una unica derivacion de grado (0, 0) en T(V )
que conmuta con las contracciones de tensores, luego podemos extender D a
una aplicacion D : X(V ) T(V ) T(V ) cuyas propiedades son:
a) Si f C (V ), entonces DX (f ) = X(f ).
b) Si X, Y X(V ), f , g C (V ), T T(V ), entonces
Df X+gY T = f DX T + gDY T.
DX (T1 + T2 ) = DX T1 + DX T2
y
DX (T1 T2 ) = T1 DX T2 + DX T1 T2 .
10.1. Conexiones anes 267
Vamos a probar que las conexiones conectan los distintos espacios tan-
gentes de una variedad conexa, pero antes debemos probar que una conexion
permite derivar campos tensoriales denidos unicamente sobre arcos regulares,
en el sentido que explicamos a continuacion:
Teorema 10.7 Sea T un campo tensorial de tipo (r, s) denido sobre un arco
regular : [a, b] V y sea t0 [a, b]. Entonces existe un entorno U de (t0 )
en V y un campo tensorial T Tsr (U ) tal que T = T . Ademas, si D es una
conexion en V , entonces (D (t0 ) T )(t0 ) no depende de T .
1 Entenderemos que esto signica que se extiende a una aplicacion diferenciable denida
y al aplicar DX resulta:
'
DX T = DX (Tji11,...,j
,...,ir
s
)xi1 xir dxj1 dxjs
i1 ,...,ir
j1 ,...,js
'
+ Tji11,...,j
,...,ir
s
DX (xi1 xir dxj1 dxjs ).
i1 ,...,ir
j1 ,...,js
D( T )
= D (t) T.
dt
Es claro que la derivada covariante es local, es decir, que DT /dt|t0 depende
unicamente de la restriccion de T a un entorno de t0 . Las demas propiedades
se deducen inmediatamente a partir de las de la derivada de campos en V :
con lo que
(
)
Dv ' dvj
' d( xi )
= + vj (Dxi xj )(t) .
dt j
dt xj
(t) i
dt
10.1. Conexiones anes 271
Ejemplo Consideremos en R2 el arco dado por (t) = (cos t, sen t), digamos
para t [0, ]. Un campo vectorial sobre es el dado por
vt = x |(t) + y |(t) ,
dvk 'n
d( xi )
+ vj ( kij ) = 0. (10.7)
dt i,j=1
dt
de modo que cada intervalo corta al siguiente y existe transporte paralelo unico
entre sus extremos.
Dado v0 Tp (V ), el transporte paralelo v a lo largo de |[a,a+40 ] es un campo
vectorial que coincide en un intervalo con el transporte paralelo de v(t1 ,) a
lo largo de |[t1 4,t1 +4] , luego este extiende a v hasta un transporte paralelo
(diferenciable) de v a lo largo de |[a,t1 +4] . Encadenando de este modo los
transportes llegamos a un transporte paralelo a lo largo de . La unicidad en
cada tramo implica la unicidad global.
Recogemos en la denicion siguiente el concepto de transporte paralelo que,
por conveniencia, hemos introducido ya en la prueba del teorema anterior:
tales que, para cada v T(a) (V ), el campo t tpt (v) es el unico campo
vectorial sobre que tiene derivada covariante nula y cumple tpa (v) = v.
Una forma exigir esto sin hacer referencia a coordenadas sera pedir que
Sin embargo esto ultimo es mucho mas fuerte que la condicion anterior. Para
comprender exactamente la situacion consideramos las expresiones en coorde-
nadas
' '
X= ui , Y = vj .
i
xi j
xj
10.1. Conexiones anes 275
As queda claro que, aunque se den la simetras kij kji = 0, habra campos
para lo cuales DX Y DY X
= 0. Ahora bien, el termino residual es precisamente
la expresion en coordenadas del corchete de Lie (10.3), luego tenemos que
''
DX Y DY X [X, Y ] = ui vj (kij kji ) .
ij
xk
k
Hemos probado que Tor D es bilineal y tambien es claro que (Tor D)(X, Y )p
depende unicamente de los valores de X e Y en un entorno de p. Teniendo
en cuenta que [xi , xj ] = 0, es claro que (Tor D)(X, Y )p = 0 si y solo si
kij (p) = kji (p), para todo i, j, k. Con esto hemos probado que esta con-
dicion es independiente del sistema de coordenadas respecto al que se calculan
los coecientes kij (tal y como armabamos) y la razon es que la torsion es
esencialmente un tensor. La situacion es similar a la que en el teorema 9.31 nos
permita representar los endomorsmos por tensores: conocer (Tor D)(X, Y )
equivale a conocer ((Tor D)(X, Y )), para cada 1 (V ). As pues, podemos
identicar la torsion con el tensor
X X
gij = . (10.8)
xi xj
Para cada q U y cada v = vi xi |q Tq (V ), denimos
i
& * & *
v1 = gq (v, v) = gij (q)vi vj , v2 = gq (v, v) = vi2 .
ij i
Ahora bien, por la homogeneidad de los tres terminos, esta desigualdad vale
para todo u Rn . De aqu se deduce que
Esta expresion muestra que v es diferenciable (en el sentido usual del analisis)
cuando lo consideramos como aplicacion en Rm .
En este contexto, la variacion de v viene expresada por su derivada v , pero
esta tiene dos partes de naturaleza muy distinta. Podemos descomponerla de
forma unica como
v (t) = Dv(t) + N (t),
donde Dv(t) T(t) (V ) y N (t) es ortogonal a T(t) (V ).
As, N es la variacion de v necesaria para que este permanezca tangente a
V a medida que avanzamos por , mientras que Dv expresa la variacion de v
sobre la supercie V .
Por ejemplo, si representa la trayectoria de un coche que se mueve sobre la
tierra y v = , entonces v es la velocidad y v es su aceleracion. La aceleracion
normal N es la parte de la aceleracion que obliga al coche a permanecer sobre
la tierra, causada unicamente por la gravedad, mientras que la aceleracion tan-
gencial Dv recoge las variaciones del modulo de la velocidad y las variaciones de
direccion sobre la supercie terrestre, y esta producida por la fuerza del motor
del coche. En ausencia de rozamiento, el coche con el motor parado se movera
con Dv = 0, y su trayectoria sera una recta sobre la tierra, que en realidad
sera una circunferencia, a causa de la aceleracion normal. Es esta derivada
tangencial Dv la que queremos denir para un campo de vectores arbitrario en
una variedad arbitraria. En otras palabras, queremos probar que Dv es un con-
cepto interno, a pesar de que aqu lo hemos introducido a partir del concepto
externo v .
Derivando la expresion local que hemos obtenido para v(t) vemos que
'n
X
'n
2 X
v (t) = vj (t)
+ vj (t)
xi (t). (10.10)
j=1
xj x(t) i,j=1
x i xj x(t)
10.3. La conexion de Levi-Civita 283
Todos los elementos del miembro derecho son internos, es decir, tienen
sentido en una variedad arbitraria. Solo falta encontrar una denicion interna
las aplicaciones kij . Para ello multiplicamos (10.11) por X/xl y, teniendo en
cuenta (10.8), obtenemos
2 X X ' n
= kij gkl .
xi xj xl
k=1
Por otra parte, derivando en (10.8) respecto a los ndices oportunos, se com-
prueba facilmente que
2 X X 1 gjl gil gij
= + .
xi xj xl 2 xi xj xl
'
n
1 gjl gil gij
gkl kij = + , (10.13)
2 xi xj xl
k=1
10.4 Geodesicas
Las geodesicas son el analogo a las rectas de Rn en una variedad diferencial.
Las rectas pueden caracterizarse como las curvas con segunda derivada nula o,
equivalentemente, con primera derivada constante. Esto tiene sentido en una
variedad de Riemann arbitraria:
Llamemos kij = x1 kij , de modo que kij ((t)) = kij (x(t)). En conclusion,
tiene derivada covariante nula alrededor de 0 si y solo si la funcion x(t) cumple
el sistema de ecuaciones diferenciales
d2 xk 'n
dxi dxj
2
+ kij (x(t)) = 0, k = 1, . . . , n. (10.16)
dt i,j=1
dt dt
pasa por p con tangente v. A su vez esto prueba que la aplicacion exp es
independiente de la carta con la que la hemos construido.
Podemos repetir la construccion con cada punto q V y unir todos los en-
tornos Wq de (q, 0) pues, por la unicidad, las funciones exponenciales asociadas
a cada uno de ellos coincidiran sobre los dominios comunes. En resumen hemos
probado lo siguiente:
Notemos que, en general, expp solo esta denido para vectores suciente-
mente pequenos, mientras que v (t) = expp (tv) esta denido para cualquier v,
solo que el dominio de variacion de t sera menor cuanto mayor sea v.
d expp |0 : T0 (Wp ) Tp (V )
d expp |0 ((v)) = d expp |0 (v (0)) = d expp |0 (dv |0 (t )) = d(v expp )|0 (t ),
x(p) = 0.
Si v (t) es la geodesica que pasa por p = v (0) con tangente v Tp (V ),
entonces v (t) = expp (tv), luego x(v (t)) = t(v). As pues, v x es una recta
en Rn que pasa por 0. Recprocamente, si es una curva que pasa por p = (0)
y x es una recta t tv, entonces es la geodesica que pasa por p con
derivada 1 (v).
De aqu se sigue, en particular que, para cada v Tp (V ),
Acabamos de probar que todo punto tiene una carta normal a su alrededor.
Teorema 10.27 Sea (U, x) una carta normal alrededor de un punto p de una
variedad de Riemann V . Entonces, los coecientes de la metrica en la carta
cumplen
1 si i = j, gij
gij (p) = = 0.
0 si i
= j, xk
p
Notemos que las condiciones del teorema anterior las cumplen los coecientes
de la metrica usual de Rn en todo punto. As pues, lo que tenemos es que
localmente la metrica de cualquier variedad se parece a la de Rn .
' 2 xi
' xi
xj
=
+
j i (s ,t ) .
st (s0 ,t0 )
s (s0 ,t0 ) t (s0 ,t0 ) 0 0
i ij
Ahora bien, el segundo sumando es nulo, pues 0 (t) = v (t) es una geodesica,
luego la derivada covariante de su derivada a lo largo de 0 (t) es nula. Al primer
termino le aplicamos (10.17) y luego volvemos a usar que el tensor metrico tiene
derivada nula:
( (
)
)
df
= g(0,t0 )
,
dt
t0 ds t
(s,t0 )
t
(0,t0 )
0
294 Captulo 10. Variedades de Riemann
( (
))
1
= (0) g(s,t0 ) ,
2 t0 t
(s,t0 ) t
(s,t0 )
1
= t0 (0) g(s,t0 ) (v(s) (t0 ), v(s) (t0 ))
2
1 1
= t0 (0) v(s) (t0 )2 = t 0 (0) v(s) (0)2
2 2
1 1
= t0 (0) v(s) = t0 (0) ,2 = 0.
2
2 2
Con esto ya podemos demostrar el resultado principal:
Teorema 10.32 Sea V una variedad diferencial, p V y , > 0 tal que exista
la bola geodesica B4 (p). Sea q B4 (p) y v = exp1 p (q). Sea : [0, 1] V
el arco de geodesica (t) = v (t) y sea c : [a, b] V un arco diferenciable a
trozos que una c(a) = p con c(b) = q. Entonces l(c) l() y se da la igualdad
si y solo si c es una reparametrizacion de .
exp1
p (c(s))
r(s) = exp1
p (c(s)), v(s) = ,
exp1
p (c(s))
El lema de Gauss nos da que las dos derivadas parciales que aparecen son
ortogonales. En efecto, la parcial respecto de s es la derivada en s0 de la curva
r(s0 ) (s) = expp (r(s0 )v(s)), que esta contenida en la esfera geodesica de radio
r(s0 ) y es regular en un entorno de s0 salvo que la parcial sea nula (en cuyo caso
es obviamente ortogonal a la otra parcial). Por otra parte, la parcial respecto
de t es la derivada de la geodesica s0 (t) = expp (tv(s0 )). As pues,
(
)
g(s0 ,r(s0 )) , = 0.
s
t
(s0 ,r(s0 )) (s0 ,r(s0 ))
Si se da la igualdad entonces c (s) = |r (s)| donde estan denidas, luego
= 0.
s
(s0 ,r(s0 ))
Esto es la derivada de r(s0 ) (s) = expp (r(s0 )v(s)), luego esta funcion es
constante, luego tambien lo es v(s) = v(b) = v/r(b) y as
v r(s)
c(s) = expp r(s) =
r(b) r(b)
es una reparametrizacion de .
Supongamos ahora que la imagen de c no esta contenida en la bola geodesica
B4 (p). Esto signica que r(s) = exp1 p (c(s)) no es siempre menor que ,, luego
existe un s0 tal que c[a, s0 ] B4 (p) y r(s0 ) > v. Sea v0 = exp1p (c(s0 )) y sea
0 : [0, 1] V el segmento de geodesica 0 (t) = expp (tv0 ). Por la parte ya
probada,
l(c) l(c|[a,s0 ] ) l(0 ) = v0 > v = l().
Obviamente c no puede ser, en estas condiciones, una reparametrizacion de .
As pues, tenemos que si B4 (p) es una bola geodesica, q = expp (v) B4 (p)
y es la (unica) geodesica que une p con q contenida en la bola, entonces
En esta denicion no excluimos que pueda haber otras geodesicas que unan
los puntos dados pero que no esten contenidas en U . Vamos a probar que, en una
variedad de Riemann V , las bolas abiertas de radio sucientemente pequeno son
convexas. Para demostrarlo necesitamos volver a la funcion exponencial denida
sobre el brado de tangentes.
Vamos a probar que una base de entornos de un punto (q, 0) en T V esta
formada por los conjuntos de la forma
En efecto, jamos una carta normal (U, x) alrededor de q, de modo que (para
sucientemente pequeno) la imagen de E por la carta x es el conjunto
donde *
yx = gij (x)yi yj , gij = x1 gij .
i,j
Basta probar que los conjuntos E son una base de entornos de (0, 0). Como
yx es claramente continua en x[U ] Rn , ciertamente son conjuntos abiertos.
La funcion
m(x) = mn yx
y=1
Ahora, jado , > 0, tomamos > 0 tal que < ,, si x < entonces
m(x) m > 0 y /m < ,. As, si (x, y) E con y
= 0, tenemos que
yx
> yx = y m(x)y my,
y
luego y < , (lo cual tambien es cierto si y = 0). As pues, E B4 (0) B4 (0),
lo que prueba que todo entorno de (0, 0) contiene un E .
Sea ahora h : W V V dada por h(p, v) = (p, expp (v)), claramente
diferenciable. Tenemos dh|(q,0) : T(q,0) (W ) T(q,q) (V V ). Vamos a probar
que es un isomorsmo.
Una base de T(q,0) (W ) = T(q,0) (T V ) la forman las derivadas
donde xi (q, v) = xi (q) e yi (q, v) = dxi |q (v). Por otra parte, una base de
T(q,q) (V V ) la forman las derivadas
(0)
La interpretacion es esta: si es sucientemente pe-
queno como para que a esa distancia la metrica sea eucl-
dea alrededor de q, la condicion (0)(f ) = 0 (es decir, q
que la derivada direccional de f en la direccion de (0)
sea nula) se da cuando (0) es tangente a la esfera for-
mada por los puntos equidistantes de q. Lo que vamos a probar es que entonces
(0) es el punto de mas cercano a q, tal y como muestra la gura.
Segun lo dicho, hemos de elegir para que a distancias menores la metrica sea
sucientemente eucldea. Concretamente, dado que los smbolos de Christoel
se anulan en q (teorema 10.27), podemos tomar > 0 tal que si d(p, q) <
entonces
1
|kij (p)| < 3 .
n
Llamemos xk (t) = xk , de modo que
' dxk
(t) =
.
dt xk
(t)
k
10.4. Geodesicas 299
Notemos que podemos sustituir la curva (t) por (M t), para cualquier
M > 0 y as garantizar que
' dxk
2
= 1. (10.19)
dt
0
k
Tenemos que *
g(t) = x2k (t)
k
g (0) = (0)(f ) = 0,
(
2
)
1 ' dxk
d2 xk
g (0) = + xk (0)
g(0) dt
0 dt2
0
k
(
)
1 ' d2 xk
= 1 xk (0) ,
g(0) dt2
0
k
donde hemos usado (10.19). Como es una geodesica, sus coordenadas satisfa-
cen las ecuaciones (10.16), luego tenemos
1 '
dxi
dxj
k
g (0) = 1 xk (0) ((0)) .
g(0) dt
0 dt
0 ij
i,j,k
Tenemos que d((0), q) = f ((0)) , luego |kij ((0))| < n3 . Por otra
parte, (10.19) implica que
dxi
dt
1
0
y |xk (0)| f ((0)) 1 (podemos tomar 1). En denitiva,
'
'
dxi
dxj
k
1
x (0) ((0))
< = 1,
k
dt
dt
ij
n 3
i,j,k 0 0
i,j,k
(t0 + ) B ((t0 ) ),
luego podemos aplicar 10.32 para concluir que |[t0 ,t0 +] es (salvo reparame-
trizacion) una geodesica. Como esta parametrizada por el arco, de hecho es una
geodesica. En particular es regular en un entorno de t0 y su derivada covariante
en t0 es nula. Como esto vale para todo t0 , concluimos que es una geodesica.
X d expp (1r)
BR (0) T (BR (0)) T V T V,
(v) = (1 r)d expp (Xv ) = (1 r)d expp (r 1 v (r)) = (1 r)r 1 v (r).
En particular (rw) = (1 r)w (r) Tq0 V , luego
Aqu hemos usado que la geodesica que parte de v (r) con tangente v (r)
es simplemente la prolongacion de v (t). Los parametros se suman porque son
proporcionales a la longitud de arco (con la misma proporcion v).
El teorema principal sobre geodesicas a nivel global es el siguiente:
Por otra parte, si : [a, b] V es un arco que une p con q, existe un punto
t0 ]a, b[ tal que (t0 ) S4 (p) y as
pero la union de v |[0,t1 ] con la geodesica que va de v (t1 ) a p0 tiene longitud
t1 + , , luego es minimizante y, por consiguiente, una geodesica. Necesariamente
entonces es la propia v . En particular d(p, p0 ) = t1 + , y v (t1 + , ) = p0
De este modo tenemos que d(v (t1 + , ), q) = r (t0 + , ), en contradiccion
con la eleccion de t1 .
Como consecuencia, la aplicacion expp : Tp V V es suprayectiva. Mas
aun, todo q V tiene una antiimagen v con v = d(p, q). Por consiguiente
todo conjunto acotado de V esta contenido en la imagen de una bola cerrada de
Tp V , que por continuidad sera compacta. Es claro entonces que b) implica c).
Obviamente c) implica d): Toda sucesion de Cauchy es acotada, luego esta
contenida en un compacto, luego tiene una subsucesion convergente, luego con-
verge.
Para probar que d) implica a) observamos que si : ]a, b[ V es una
geodesica que no puede prolongarse mas alla de b (por ejemplo) entonces po-
demos tomar una sucesion {tm }m ]a, b[ convergente a b, con lo que (tm )
es una sucesion de Cauchy en V (ya que d((tm ), (tr )) = k|tm tr |, donde
k = (0)). Por hipotesis converge a un punto p V . Mediante el teorema
10.34 encontramos una bola geodesica B4 (q) tal que, si (tm ) esta en ella, en-
tonces una bola B ((tm )) es geodesica y contiene a q. Entonces, la geodesica
ha de llegar a la frontera de esta bola, luego no puede terminar en q.
Si se cumple cualquiera de estas condiciones, entonces tenemos b) para todo
punto p, luego hemos probado que cualquier par de puntos p y q pueden unirse
por una geodesica minimal.
En particular todas las variedades compactas son geodesicamente completas.
Homologa y cohomologa
diferenciable
305
306 Captulo 11. Homologa y cohomologa diferenciable
P : Cp (V ) Cp (R V ).
g f = P + P.
i : C (V ) C(V )
induce isomorsmos Hp (V ) Hp (V ).
Hp (V ; U) Hp (V ; U)
Hp (V ) Hp (V )
0 C(U ) C(V ) C(V, U ) 0
: Ak (V ) Ar (V ) Ak+r (V )
dados por
(k + r)!
= A( ).
k! r!
Estos inducen un producto en A(V ). Vamos a probar que es asociativo,
con lo que A(V ) sera ciertamente un algebra unitaria (notemos que si K
entonces = ).
Para ello probamos primero la asociatividad del producto 1 = A( ).
Consideramos el algebra cociente Q = T /I , donde
T = Tk (V )
k0
( 1 ) = () ().
De aqu se sigue:
En efecto, ambos tensores coinciden sobre las k-tuplas (ej1 , . . . , ejk ) para
ndices crecientes y, por la antisimetra, tambien si los ndices son cualesquiera.
Por linealidad coinciden en todo V k .
Por otra parte, si
i1 ,...,ik ei1 eik = 0,
i1 <<ik
haciendo actuar esta forma sobre (ei1 , . . . , eik ) obtenemos que i1 ,...,ik = 0,
luego los tensores del enunciado son linealmente independientes (en particular
distintos dos a dos).
iX ( ) = iX () + (1)p iX (), p (V ), q (V ).
k
LX ()(X1 , . . . , Xk ) = X((X1 , . . . , Xk )) (X1 , . . . , LX Xi , . . . , Xk ),
i=1
i[X,Y ] = iY LX LX iY . (11.2)
= iY ((LX ) + LX ).
iY (LX ( )) = iY ((LX ) + LX ).
d(1 2 ) = d1 2 + (1)p 1 d2 .
d) d2 = d d = 0.
e) Si (V ) se anula en un abierto U V entonces d tambien se anula
en U .
+ (1)i+j ([Xi , Xj ], X1 , . . . , Xi , . . . , Xj , . . . Xk+1 )
i<j
entonces se cumplen las propiedades del enunciado (el circunejo indica que
falta el termino correspondiente). Para k = 0 esta denicion debe entenderse
como df (X) = X(f ), con lo que df es la diferencial usual, tal y como exige a).
Por el lema de localizacion es claro que d, as denida, es ciertamente una
forma diferencial de dimension k + 1. Extendemos d a (V ) por linealidad y
obviamente se cumple b). Probaremos c) indirectamente. Una comprobacion
rutinaria a partir de las deniciones nos da que
LX = iX d + d iX .
Usando c), de aqu se sigue que d(dyi1 dyik ) = 0, para todas las fun-
ciones yi C (V ), pero este era el unico caso particular de d) que hemos usado
en la prueba de la unicidad, luego sabemos que si es una forma arbitraria, en
un entorno de cada punto p, la forma d coincide con una forma de tipo (11.4),
luego (por la propiedad e) en dicho entorno d(d) coincide con d(d), y esta es
nula por c) y el caso particular de d) que hemos probado.
Tenemos, pues, que la diferencial exterior es una antiderivacion de grado 1
del algebra exterior. Ademas, en la prueba del teorema anterior hemos obtenido
la relacion
LX = iX d + d iX (11.5)
entre las tres derivaciones que hemos introducido. De ella, junto al hecho de
que d2 = 0, se sigue inmediatamente que
LX d = d LX . (11.6)
Ahora bien, ambos miembros son d(f g) d(f yi1 ) d(f yik ).
Por consiguiente toda aplicacion diferenciable entre variedades f : V W
induce homomorsmos fk : H k (W ) H k (V ) entre los grupos de cohomologa.
De hecho, f es un homomorsmo de algebras, luego lo mismo vale para el
homomorsmo inducido f : H (W ) H (V ).
Ahora es claro el caracter funtorial (contravariante) tanto de los complejos
(V ) como de la cohomologa de De Rham.
Aunque no es evidente en absoluto, el algebra de cohomologa de De Rham
de una variedad diferencial V resulta ser naturalmente isomorfa al algebra de
cohomologa singular de V . La prueba requerira algunos resultados sobre la
cohomologa de De Rham que ya conocemos para la cohomologa singular.
it (f dxi1 dxik ) = 0.
Finalmente, dados dos numeros reales a < b, denimos una aplicacion lineal
Iab : (R V ) (V ) de grado 0 que a cada k (R V ) le asigna
$b
Iab ()p (v1 , . . . , vk ) = a jt ()p (v1 , . . . , vk ) dt, v1 , . . . , vk Tp (V ).
y en denitiva $
b
Iab () = a
f dt dxi1 dxik .
Se comprueba inmediatamente que la integral que aparece en esta expresion
es diferenciable como funcion de p, luego tambien en este caso Iab () (V ).
luego
' f
it (d) = dxi dxi2 dxik
xi
i=ij
y
' f f
d(it ()) = dxi dxi2 dxik + dt dxi2 dxik .
xi t
i=ij
Al sumar estos dos terminos nos queda solo el ultimo sumando de la ultima
igualdad y, como tiene dt, al aplicar Iab queda la forma nula. As mismo es claro
que jb () ja () = 0.
Ahora ya es facil probar el teorema de homotopa:
Teorema 11.13 Si f, g : V W son aplicaciones homotopicas entre varie-
dades, entonces f , g : (W ) (W ) son homomorsmos homotopicos.
Demostracion: Sea H : R V W una homotopa entre f y g. Deni-
mos h = H it I01 . Claramente h : (W ) (V ) es un homomorsmo de
grado 1. Componiendo con H en ambos miembros de (11.7) obtenemos
H (j1 j0 ) = H d it I01 + H it I01 d.
El primer miembro es (j1 H) (j0 H) = g f . Teniendo en cuenta
que H conmuta con la diferencial, el segundo miembro es d h + h d, luego h
es una homotopa.
En particular:
Teorema 11.14 Si V es una variedad contractible, entonces
k R si k = 0,
H (V ) =
0 si k
= 0.
322 Captulo 11. Homologa y cohomologa diferenciable
!
H p (V )
= H p (Vk ),
k=0
r
Si c = ai i Cp (V ) es una p-cadena singular diferenciable (con coe-
i=1
cientes en R), denimos
% '
r %
= ai .
c i=1 i
$
As tenemos denida una aplicacion bilineal : Cp (V ) p (V ) R. En
primer lugar probamos que se comporta adecuadamente respecto a los homo-
morsmos inducidos por las aplicaciones diferenciables.
/i dxp+1 = (1)i+1 f
d = df dx1 dx dx1 dxp+1 .
xi
Para evitar confusion con las funciones coordenadas llamaremos e0 , . . . , ep+1
a los vertices del smplice canonico p+1 , es decir,
e0 = (0, . . . , 0), e1 = (1, 0, . . . , 0), . . . , ep+1 = (0, . . . , 0, 1).
Con la notacion de la seccion 2.2 (salvo por lo que acabamos de decir),
tenemos que
p+1
= (e0 , . . . , ep+1 ), = (1)j (e0 , . . . , ej , . . . , ep+1 ).
j=0
Para terminar observamos que f ((x, 0)) = f (i (x)) = i (f )(x), por lo que,
comparando con (11.9), solo queda demostrar que
%
p
f (x1 , . . . , xi1 , 1 xr , xi , . . . , xp ) dx1 dxp
p r=1
%
p
= f (1 xr , x1 , . . . , xp ) dx1 dxp ,
p r=1
U1 U2 U1 U2 U1 U2
H
p
(U1 U2 ) H
p
(U1 ) H
p
(U2 ) H
p
(U1 U2 )
H p (U1 U2 )
H p+1 (U1 U2 )
U1 U2 U1 U2
p
H (U1 U2 )
H p+1 (U1 U2 )
C) Si U = Uk es una union disjunta de abiertos de V tal que
k=0
cada Uk es un isomorsmo, entonces U es un isomorsmo.
!
En efecto, es claro que Cp (U ) = Cp (Uk ), y as C
p
(U ) = p
C (Uk ),
k=0 k=0
!
p
H (U ) = p
H (Uk ). El isomorsmo viene dado por [f ] ([f |C
p (U )]).
k
k=0
Tambien sabemos que esto es cierto para la cohomologa de De Rham: H p (U ) =
!
H p (Uk ) y el isomorsmo es [] ([|Uk ] ). Es facil ver entonces que U es
k=0
el isomorsmo inducido por los isomorsmos Uk .
Ahora ya podemos probar:
son isomorsmos.
Vi = U2k+i son uniones disjuntas de abiertos de V, luego es un isomorsmo
k=0
para ambos, y lo mismo sucede con V1 V2 , luego por B) podemos concluir que
V es un isomorsmo.
Los isomorsmos del teorema anterior determinan un isomorsmo graduado
: H (V ) H
(V ).
: k (V, V \ K) C
k
(V, V \ K),
donde C k
(V, V \ K) se dene como el subespacio de C k
(V ) determinado por
las cocadenas que se anulan sobre los k-smplices contenidos en V \ K.
330 Captulo 11. Homologa y cohomologa diferenciable
0 (V, V \ K) (V ) (V \ K) 0
0 C
(V, V \ K) C
(V ) C
(V \ K) 0
k : H k (V, V \ K) H
k
(V, V \ K).
0 c (Rn ) (S n ) Gp (S n ) 0.
Es facil comprobar directamente que Hc0 (Rn ) = 0, con lo que tenemos las
sucesiones exactas
0 R R Hc1 (Rn ) H 1 (S n ) 0
y
0 Hck (Rn ) H k (S n ) 0, para k 2.
De la primera se deduce que la segunda vale tambien para k = 1 y de aqu
se sigue (11.10).
Para construir la sucesion de Mayer-Vietoris para la cohomologa con so-
portes compactos observamos que si U es un abierto en una variedad V , la
inclusion induce una aplicacion lineal i : c (U ) c (V ) que extiende a V
cada k-forma en U haciendola nula en V \ U . Esta aplicacion induce a su vez
otra sobre la cohomologa: i : Hc (U ) Hc (V ).
As, si V = U1 U2 es una descomposicion de V en union de abiertos,
podemos formar la sucesion exacta
i j
0 c (U1 U2 ) c (U1 ) c (U2 ) c (V ) 0
La cohomologa de De
Rham
333
334 Captulo 12. La cohomologa de De Rham
f
Hn (S n ) Hn (S n )
Hn (U, U \ {p}) Hn (V, V \ {p})
f
x1 1 1 1
(x(p) ) = y (y (x (x(p) ))) = y (y(p) ).
Demostracion: En efecto:
( )
n
n
(w1 , . . . , wn ) = 1j1 vj1 , . . . , njn vjn
j1 =1 jn =1
= 1j1 njn (vj1 , . . . , vjn )
j1 ,...,jn
Los sumandos con ndices repetidos son nulos. Los restantes corresponden
a todas las permutaciones de n elementos:
(w1 , . . . , wn ) = 11 1 n1 n (v1 1 , . . . , v1 n )
n
= (sig )1,1 n,n (v1 , . . . , vn ) = det(ij ) (v1 , . . . , vn ).
n
y dx1 dxn ,
12.1. Orientacion de variedades diferenciales 337
Demostracion: Basta observar que las cartas con que hemos denido la
estructura diferencial de T V forman un atlas orientado, es decir, que satisface
el teorema 12.1. En efecto, hablamos de las cartas de la forma
+ (W ) = { (W ) | J () = }, (W ) = { (W ) | J () = }.
H+ (W ) = { H(W ) | J () = }, H (W ) = { H(W ) | J () = }.
luego ()
= 0.
Tomemos ahora k+ (W ) y veamos que tiene una antiimagen. Fijemos
un punto p V . Sea q W tal que (q) = p. Sea U un entorno de q en el cual
sea un difeomorsmo. Sea p = (|1 U ) (|[U ] ), que es una k-forma en [U ].
Veamos que p no depende de ninguna de las elecciones que hemos hecho
para construirla. Si p es cualquier punto en [U ] y q es su antiimagen en U ,
entonces
pp (v1 , . . . , vk ) = q (dq1 1
(v1 ), . . . , dq (vk )). (12.1)
Esta expresion no depende mas que de salvo por el hecho de que hemos
escogido la antiimagen q de p . Solo hay otra alternativa, pues p no tiene mas
antiimagenes que q y J(q ). Ahora bien, si en (12.1) sustituimos q por J(q ) el
1
miembro derecho se convierte en J(q ) actuando sobre los vectores dJ(q ) (vi ),
lo mismo que
J ()q (dq1 1
(v1 ), . . . , dq (vk )),
Denicion
$ 12.8 Si U es un abierto en Rn y G es un abierto en U , denimos
G
: c (U ) R como la aplicacion lineal dada por
n
$ $
G
f (x) dx1 dxn = G f d,
As pues, la integral de es
% '% %
= x1
(i ) = x1
().
G i x[GU ] GU
$
b) Si G es abierto en V y |G = 0, entonces G
= 0.
d) Si n (V ) determina la orientacion
$ de V y f 0c (V ) es no nula y
f (x) 0 para todo x V , entonces V f > 0.
Para terminar con los resultados basicos sobre integracion de formas di-
ferenciales demostraremos dos casos particulares del teorema de Stokes para
variedades (su formulacion general requerira introducir las variedades con fron-
tera).
Teorema 12.17 (Teorema de Stokes para anillos) Sea V una variedad di-
ferencial orientable y nc (R V ), sea J = ]a, b[ y ja , jb : V R V las
inclusiones en {a} V y {b} V respectivamente. Entonces
% % %
d = jb () ja ().
JV V V
it Iab : p (R V ) p1 (V ).
= f dt dx1 dxn ,
y por consiguiente
% % (% ) %
b
Iab (it ()) = f (t, x) dt dx1 dxn = .
V Rn a JRn
D ()() = D(), = , = , .
A) Si V = Rn entonces DV es un isomorsmo.
En efecto, si k
= 0 tenemos que H k (Rn )
= Hcnk (Rn ) = 0, luego basta
probar que DV : H0 (V ) Hc (V ) es un isomorsmo. Sabemos que ambos
0 n
DV DU DU DU U DV
1 2 1 2
Hcnk (V ) Hcnk (U1 ) Hcnp (U2 ) H nk (U1 U2 ) Hcnk1 (V )
= [], ([]) .
El teorema 3.1 implica ahora lo siguiente:
H(V1 ) H(V2 )
= H((V1 ) (V2 )). (12.4)
advertir que esto no es cierto en general, sino que hemos de exigir que H(V1 ) o
H(V2 ) tenga dimension nita.
Ciertamente, podemos llegar a esta conclusion a partir del teorema de De
Rham y del resultado correspondiente para la homologa singular. En efecto,
tenemos el isomorsmo
H(V1 V2 )
= H(V1 ) H(V2 )
dada por
( ) = = 1 () 2 ().
Esta aplicacion es un homomorsmo de complejos, pues
A) Si V1 = Rm y V2 = Rn entonces c es un isomorsmo.
c (U V2 ) c (U1 V2 ) c (U2 V2 ) c (W V2 )
H(V1 ) H(V2 )
H(V1 V2 )
es decir,
( ) ( ) = 1 () 2 () 1 () 2 ()
= 1 () 1 () 2 () 2 () = ( ) ( ),
basta aplicar el teorema anterior.
Si suponemos que H(V1 ) o H(V2 ) tiene dimension nita, entonces la inclusion
i es un isomorsmo (por 12.21), y el diagrama muestra que tambien lo es. Nos
falta eliminar la hipotesis de que V1 y V2 sean orientables.
Supongamos, por ejemplo, que V1 es orientable pero V2 no lo es. Entonces
consideramos su variedad de orientaciones V2 , el cubrimiento : V2 V2
y la involucion J : V2 V2 que intercambia las orientaciones. Como V2 es
orientable, tenemos el isomorsmo
H(V1 ) H(V2 )
H(V1 V2 )
I (I)
H(V1 ) H+ (V2 ) H+ (V1 V2 )
360 Captulo 12. La cohomologa de De Rham
donde las dos echas verticales son isomorsmos por 12.7, y la echa horizontal
inferior tambien lo es, luego es un isomorsmo, como queramos probar.
Si V1 y V2 son ambas no orientables, el mismo razonamiento reduce el pro-
blema al caso de V1 y V2 , para el cual ya hemos probado que es un isomorsmo.
En denitiva tenemos:
Teorema 12.24 Sean V1 y V2 variedades diferenciales tales que uno de los
espacios H(Vi ) tiene dimension nita. Entonces la aplicacion
: H(V1 ) H(V2 ) H(V1 V2 )
inducida por es un isomorsmo de espacios vectoriales.
f
H n (W ) H n (V )
$ $
W V
R R
f
donde hemos usado el teorema 12.12. Esta formula prueba que el grado de
cualquier aplicacion es un entero supuesto que tenga valores regulares, pero el
teorema de Sard asegura su existencia.
12.5. El grado de una aplicacion 363
S 1
f
S1
R R
f
P (z) = an z n + an1 z n1 + + a1 z + a0 , ar C, an
= 0,
Ejercicio: Demostrar que todo polinomio de grado n (visto como aplicacion de P1 (C)
en s mismo) es homotopico a z n . Deducir el teorema fundamental del algebra.
y sea la identidad para x 1/2. Usando la proyeccion sobre las n primeras
componentes como carta del hemisferio norte de S n denimos S n S n que
es constante igual al polo norte N en un entorno de N y es la identidad fuera de
un entorno mayor. Componiendo un difeomorsmo entre la bola abierta B1 (0)
en Rn con la proyeccion estereograca y con la aplicacion anterior obtenemos
una aplicacion diferenciable h : B1 (0) S n que es un difeomorsmo en un
entorno de 0 y toma constantemente el valor N fuera de un entorno mayor.
Podemos suponer que h(0) = S (el polo sur) y que h1 [S] = {0}.
Sea (U, x) una carta en V cuya imagen sea B1 (0). Digamos que x(p) = 0. La
aplicacion xh es constante igual a N fuera de un entorno de p, luego se extiende
a una funcion diferenciable f : V S n que toma el valor N fuera de un entorno
de p. Ademas es un difeomorsmo en un entorno de p y p es la unica antiimagen
de 0. Por consiguiente 0 es un valor regular y grad f = ,(p) = 1. Anando
la construccion podramos asegurar que el grado es 1 pero, mas facilmente, si
resulta ser 1 componemos f con una aplicacion de grado 1, lo cual es posible
por el teorema 3.14.
Por el contrario, en general no existen aplicaciones f : S n V , para una
variedad dada V . Esto se deduce del teorema siguiente:
Como consecuencia:
H n1 (W(p) )
p
H n1 (Vp )
(p) p
R R
4
En particular 0 es un isomorsmo.
r
Entonces V = A B, A B = Upi . La sucesion de Mayer-Vietoris nos
i=1
da un homomorsmo de conexion
r
: H n1 (Upi ) H n (V ).
i=1
r
Por otra parte podemos denir : H n1 (Upi ) R como la suma de
i=1
las aplicaciones canonicas pi . Vamos a probar que el diagrama siguiente es
conmutativo:
r
H n1 (Upi ) R (12.10)
i=1
$
V
n
H (V )
En efecto, basta probar que el triangulo conmuta sobre un elemento de uno
de los sumandos directos, por ejemplo H n1 (Up1 ), es decir, que
%
p1 () = ().
V
Sea n1
(Up1 ) tal que = []. Para considerar a como elemento
de H n1 (A B) extendemos a A B como la forma nula sobre los demas
Upi . Sea {f, g} una particion de la unidad subordinada al cubrimiento A, B.
As = f + g, con g n1 (A), f n1 (B). Para calcular ()
consideramos el par (g, f ), pasamos a (d(g), d(f )) y de aqu a la forma
n (V ) dada por
d(g)q si q A,
q =
d(f )q si q B.
Entonces () = [] y por consiguiente
% % % %
() = = = dg .
V V U1 U1
H m+n2 (Vp Wq )
H m1 (Vp ) H n1 (Wq )
fp
H n1 (Uf (p) ) H n1 (Up )
p f (p)
R R
fp
(Observemos que el teorema 12.30 implica que las aplicaciones p y f (p) son
isomorsmos.) El grado de f en p se dene como el numero real
gradp f = fp (1).
fp
H n1 (Uf (p) ) H n1 (Up )
f (p) p
R
i
R i
f (p)
fp p
H n1 (U0f (p) )
H n1 (U0p )
fp
R
H(W1 W 2)
(f g) f(pg,p
1 2 )
H(W1 W2 )
H(W1 )H(W2 )
(f g)
f g
H(V1 V2 )
H(V1 )H(V2 )
V1 = V1 p1 , V2 = V2 p2 , V1 V
2 = (V1 V2 )(p1 ,p2 ) ,
W1 = W1 f (p1 ) , W2 = W2 g(p2 ) , W1 W
2 = (W1 W2 )(f (p1 ),g(p2 ))
y no hemos indicado las dimensiones de los grupos de cohomologa, que se
deducen del contexto. Por ejemplo, el vertice posterior izquierdo es
por fp1 gp2 . Como las echas verticales son isomorsmos, esto nos da la
igualdad f(pg
1 ,p2 )
= fp1 gp2 , lo que implica d).
r
grad f = gradxi f.
i=1
r
r
Llamemos A = Ui , B = V \ {x1 , . . . , xr }, de modo que A B = Ui xi .
i=1 i=1
r
Sea = xi : H n1 (A B) R. Por otra parte, la suma directa de las
i=1
aplicaciones fipi : H n1 (A B) H n1 (W ) es simplemente f |AB , luego
r
gradxi f = (f |AB (y1 (1))).
i=1
H n+1 (Ua Va )
a
H n (S n )
f f
H n1 (U V ) H n (S n )
f f
H n1 (S n1 ) H n1 (U V )
i
H n1 (S n1 ) H n (S n )
(i )1
Ahora basta demostrar que los isomorsmos horizontales son la misma apli-
cacion, pues entonces f y f seran la multiplicacion por el mismo entero. Ahora
bien, la inclusion j : (S n , Ua , Va ) (S n , U, V ) determina el siguiente diagrama
conmutativo:
i
H n1 (S n1 ) H n1 (Ua Va )
a
j
a
i
H n1 (U V ) H n (S n )
Fibrados
379
380 Captulo 13. Fibrados
f (p, v) = v1 x1 |p + + vn xn |p .
E
E
B B
B
Vamos a probar que Tsr (E) admite una estructura de variedad diferencial
con la cual resulta ser un brado vectorial con la misma base B que E y con
382 Captulo 13. Fibrados
es diferenciable basta ver que lo son las composiciones con las proyecciones en los
dos factores. La composicion con la proyeccion en U U es la propia proyeccion
en U U , luego es diferenciable.
Observemos ahora que las aplicaciones gp : Tsr (F ) Tsr (F ) determinadas
mediante g(p, t) = (p, gp (t)) son los isomorsmos inducidos por los isomorsmos
gp = fp fp1 : F F .
n
Si e1 , . . . , en es una base de F , entonces gp (ei ) = ij (p)ej , para ciertas
j=1
funciones ij : B R diferenciables (pues ij (p) es la composicion de la
funcion p g(p, ei ) con la j-esima funcion coordenada en F ). Similarmente,
Teorema 13.5 Si E es un brado vectorial, entonces Tsr (E) admite una es-
tructura de brado con la misma base B y con bra Tsr (F ) caracterizada por que
si f : U F 1 [U ] es una factorizacion local de E, entonces la aplicacion
inducida f : U Tsr (F ) 1 [U ] es una factorizacion local de Tsr (E).
djp |w : Tw Fp Vw E isomorsmo.
: Rn Rr Rr V U
dado por
r
(a, b, d) = dj yj |w(a,b) ,
j=1
f : U Rr 1 [U ],
concretamente
r
f(w, d) = dj yj |w . (13.2)
j=1
una unica bra de T B. Esto tiene sentido para brados arbitrarios, y expresa
el contenido fundamental de la nocion de brado vertical.
Similarmente nos gustara denir un brado horizontal de modo que si v
es un arco horizontal en T B entonces v(t) sea el mismo vector transportado
de bra en bra. Ahora bien, esta es la nocion de transporte paralelo, que
no puede denirse en una variedad B si no anadimos una estructura adicional
(una conexion afn). La nocion de conexion afn puede generalizarse a brados
vectoriales arbitrarios, y con ella la de transporte paralelo, y puede probarse
que cada conexion afn en un brado E determina un subbrado horizontal de
T E de modo que los arcos horizontales en E son los campos paralelos en la base
B, pero no vamos a necesitar estos hechos, as que nos limitaremos a introducir
un concepto mas general de brado horizontal puramente algebraico.
f : U Rn Rr T U y f : U Rr V U
w : F(w) Vw E.
Llamaremos
w : Vw E F(w)
al isomorsmo inverso. Estos isomorsmos determinan un homomorsmo de
brados vectoriales que hace conmutativo el diagrama siguiente:
VE
E
E B
r
(w, c) ((w), ci ei ),
i=1
claramente diferenciable.
Por otra parte, dada una seccion : B E, denimos : E V E
mediante (w) = ((w)) (w). Se comprueba sin dicultad que es diferen-
ciable, con lo que de hecho es un homomorsmo de brados vectoriales que hace
conmutativo el diagrama siguiente:
E
VE
B E
Teorema 13.15 Sea E un brado y sean , r (E) dos formas que orien-
ten E. Supongamos que la base B es conexa y que para cierto p B, las
formas jp () y jp () determinan la misma orientacion en Fp . Entonces y
representan la misma orientacion de E.
= (B ( )) ( ) = ( ( )) ( ) = ( ),
de modo que conserva o invierte las orientaciones producto segun lo que haga
B con las orientaciones de las bases.
396 Captulo 13. Fibrados
Es evidente que cf (E) es un ideal graduado del algebra (E), estable para
las evaluaciones iX , para las derivadas de Lie LX y para la diferencial exterior d.
Representaremos por Hcf (E) a la cohomologa de cf (E).
Obviamente, c (E) cf (E) (E). Si B es compacto es claro que
cf (E) = c (E) y si F es compacto entonces cf (E) = (E). En efecto, dado
K E compacto, para cada p K tomamos un abierto U sobre el que exista
una factorizacion local de E y tomamos p Vp V p U , de modo que la
clausura V p sea compacta. Cubrimos K por un numero nito de abiertos Vp , y
entonces basta probar que cada 1 [V p ] sop es compacto, pero a traves de
una factorizacion local 1 [V p ] se corresponde con V p F , luego es compacto.
Observemos que hemos encontrado una prueba indirecta de que si la base y
la bra de un brado E son compactos, entonces E es compacto, pues cumple
c (E) = cf (E) = (E). Por supuesto, tambien es facil probarlo directamente.
La caracterizacion siguiente se demuestra sin dicultad por un argumento
similar al que acabamos de emplear:
(K F ) sop (B 1) ( ) K L,
398 Captulo 13. Fibrados
luego = (B 1) ( ) cf (B F ).
Ahora observamos que para todo p B se cumple que Fp sop Im p ,
es decir, que y cumplen la hipotesis del teorema. En efecto,
Fp sop Fp (B 1)1 [F B (p) sop ] Fp (B 1)1 [Im p ] Im p .
Una buena parte del argumento de la prueba del teorema 13.23 ha consistido
en reducir el problema al caso de un brado trivial. El teorema siguiente justica
que este tipo de reduccion es posible en muchos mas casos:
Teorema 13.25 Sea E un brado y (E) una forma con soporte compacto
en bras (resp. con soporte compacto). Entonces existe una familia numerable
(resp. nita) {i } de formas en E cuyos soportes soncompactos y forman una
familia localmente nita en E, de tal modo que = i . Ademas, para cada
ndice i existe una carta x : Ui Rn de B, una carta y : Vi Rr de F y una
factorizacion local fi : Ui F 1 [Ui ] de E de modo que sop i fi [Ui Vi ].
v (z1 , . . . , zr ) 1
= f ()(p,v) (V(u,v) k
, . . . , V(p,v) , dip |v (z1 ), . . . , dip |v (zr ))
= q (df |(p,v) (v1 ), . . . , df |(p,v) (vk ), dfp |v (z1 ), . . . , dfp |v (zr ))
= q (w1 , . . . , wk , dfp |v (z1 ), . . . , dfp |v (zr )),
v (z1 , . . . , zr ) = p (v1 , . . . , vk )fp (v) (df |(p,v) (vk ), dfp |v (z1 ), . . . , dfp |v (zr )).
mediante (% ) %
p (v1 , . . . , vk ) = p (v1 , . . . , vk ),
Fp Fp
Teorema 13.27 (Fubini) Sea E un brado orientable sobre una base orienta-
ble B. Consideremos en E como variedad la orientacion producto Sea n = dim B
y r = dim F . Entonces
% % %
= : n+r
c (E) R.
E F B
%
= B (p) (dB |p (v1 ), . . . , dB |p (vk )).
F
B (p)
Tomemos q Fp y z1 , . . . , zr Tq Fp . Entonces,
Por consiguiente,
% % %
B (v1 , . . . , vk ) =
(Aqu hemos usado el teorema 13.28, teniendo en cuenta que fiB es la iden-
tidad.)
Sea {hi } una particion de la unidad en B subordinada al cubrimiento {Ui }.
Las formas (hi )i pueden extenderse a E con el valor 0 fuera de 1 [Ui ] y
sus soportes forman
una familia localmente nita, por lo que esta bien denida
la suma = (hi )i cf (E). Ademas, de nuevo por la parte ya probada,
i
% '% ' '
= (hi )i = hi i = hi = .
F i F i i
Llamaremos
$ dB y dF a estos dos terminos. En primer lugar observamos
que F dF = 0 salvo a lo sumo si v = r 1, en cuyo caso si falta dyt vale
% %
f
dF = (1)u+t1 dxi1 dxik+1 dy1 dyr
F F yt
%
fp
= (1)u+t1 dy dxi1 dxik+1 = 0,
Rr yt
En este caso,
% 'n %
d = fp (y) dy dxi1 dxik ,
F t=1
xt Rr
% (% )
'
n
fp
dB = dy dxi1 dxik .
F Rr t=1 xt
Teorema 13.33 Sea E un brado orientable sobre una base orientable. Enton-
ces las aplicaciones
%
: Hc (E) Hc (B) y : H(B) H(E)
F
$
En particular F es inyectiva, suprayectiva o biyectiva si y solo si es,
respectivamente, suprayectiva, inyectiva o biyectiva.
En el caso en que la bra F es compacta, es facil ver que la proyeccion
es propia,
$ por lo que induce un homomorsmo c : Hc (B) Hc (E). En este
caso F : H(E) H(B). El mismo razonamiento de la prueba anterior nos
da esta variante:
408 Captulo 13. Fibrados
donde
wi (p) = ei (p) gp (ei (p), vj (p))ej (p).
j<i
S = () S ,
i+1 : Ui+1 \ (C K Ki ) E
Demostracion: Sea
B\K = Gi
i=0
Teorema 13.44 Sea B una variedad conexa no compacta. Entonces existe una
sucesion de compactos Ai y una sucesion de abiertos Gi tales que
a) Gi Ai Gi+1 ,
b) B = Gi ,
i
La cohomologa de los
brados
Nos ocupamos ahora la cohomologa de los brados. Concretamente estu-
diaremos los brados de esferas y brados vectoriales. Ademas de llegar a con-
secuencias muy interesantes sobre la cohomologa en s, obtendremos tambien
resultados clasicos de Poincare sobre campos vectoriales en variedades diferen-
ciales.
0 0 0
0 M11 11
M12 12
M13 0
11 12 13
0 M21 21
M22 22
M23 0
21 22 23
0 M31 31
M32 32
M33 0
0 0 0
417
418 Captulo 14. La cohomologa de los brados
Si todas las las y columnas son exactas salvo a lo sumo la primera la,
entonces esta tambien es exacta.
(B) (S)
(B S)
$
$
1
S
S
(B)
$
Si llamamos NS al nucleo de S
, tambien es conmutativo el diagrama si-
guiente
$
1
0 (B) NS (B) (S) S
(B) 0
0 1
0 NF (B S) $ (B) 0
S
r1
es un isomorsmo. Ahora bien, NS = p (S) F r (S), luego
p=0
r1
H(NS ) = H p (S) = H 0 (S)
= R,
p=0
A continuacion demostramos:
B) Si U y V son abiertos de B tales que U , V y U
V son iso-
morsmos, entonces U V tambien es un isomorsmo.
420 Captulo 14. La cohomologa de los brados
Todas las echas verticales son epimorsmos, luego podemos aplicar el teo-
rema anterior para concluir la exactitud de la sucesion
0 NU V NU NV NU V 0.
0 (U V ) (U ) (V ) (U V ) 0
U V U V U V
0 NU V NU NV NU V 0
H(B)
1
( )
H(NF ) H(E)
i
14.1. La clase de Euler 421
Hay otro caso mucho mas importante en el que podemos garantizar que la
clase de Euler es nula:
Teorema 14.7 Sea E un brado de esferas orientable cuya bra tenga di-
mension par. Entonces E = 0.
0 NF (E) S
(B) 0 (14.2)
$ B
0 N (E ) S
(B ) 0
S
14.1. La clase de Euler 423
(B ) N
S
mediante i() = 1, ( + 1) = .
Es claro que son homomorsmos de complejos, as como que la sucesion
i
0 (B) (B) H(S) (B) 0
es exacta.
Por otra parte, el diagrama siguiente es conmutativo:
$ 1
0 NS (E) S
(B) 0
mediante
d( 1) = 0,
d( ) = (1)p ( E ) 1, p (B).
mediante i() = 1, ( + 1) = .
Son homomorsmos de complejos si consideramos en H(B) la cofrontera
nula. Es claro que el diagrama siguiente es conmutativo y tiene las las exactas:
0 H(B) H(B) H(S) H(B) 0
luego por la exactitud existe una unica clase [, ] H r (B) tal que
([, ]) = .
= () + () = () + () ( + [, ]),
() () = [, ] = [, ].
E = ([, ]).
14.2. Indices de secciones 427
= i () ( ()), = i () ( ()),
= [ ], = [ ].
Consecuentemente
= [ + ] = ([ () ()]),
es decir,
[, ] = [ () ()].
Para calcular ([, ]) pasamos de () () al par
(U (), V ()) (U ) (V ),
de aqu pasamos a
()(p) = 1
p ((B (p))).
428 Captulo 14. La cohomologa de los brados
( ) = , ( ) = , B ([ , ]) = [, ].
= B , = B ,
as como la relacion % %
= B .
S S
: Rn S n1 EV = 1 [V ].
localmente una seccion de un brado de esferas trivial, la cual puede verse a su vez como una
aplicacion diferenciable que a cada punto de Rn le asigna un vector unitario, es decir, como
un campo de vectores unitarios en RN .
14.2. Indices de secciones 431
$
dada por (v) = (v, p). Sea n1 (S n1 ) tal que $ S n1
= 1, con lo que
1 n1 (Rn0 S n1 ) cumple 0 (1 ) = 0 y S (1 ) = 1.
De este modo, 0 = [1] H n1 (Rn0 S n1 ). Por otra parte tenemos que
OS n1 = [] H n1 (S n1 ) es la clase de la orientacion de S n1 y si llamamos
S : Rn0 S n1 S n1 a la proyeccion, es claro que 0 = S (OS n1 ).
Se comprueba inmediatamente que = 0 ( (0 )), con lo que
[0 , ] = (0 ) = (S (OS n1 )) = (OS n1 ) H n1 (Rn0 ). Por consi-
guiente j0 () = 0 ( (OS n1 )). Ahora aplicamos el teorema 12.30 (y aqu
usamos que la orientacion de la esfera es la canonica), segun el cual
% %
j0 () = S (OS n1 ) = grad S OS n1 = grad S .
S n1 S n1
Con esto tenemos probado que la suma de los ndices de una seccion solo
depende del brado E (salvo el signo, que depende de las orientaciones). En
particular, si la dimension de la base es impar la suma es nula (teorema 14.7).
Todava nos falta demostrar que si E es el brado de esferas asociado al brado
de tangentes de una variedad de Riemann compacta y orientable V entonces la
integral de E es la caracterstica de Euler de V , pero esto tendra que espe-
rar. No obstante, aun podemos extraer otra consecuencia notable del teorema
anterior:
Teorema 14.16 Sea E un brado de esferas orientable sobre una base conexa
y orientable de dimension n 2 y con bra S n1 . Entonces E tiene una seccion
(sin singularidades) si y solo si su clase de Euler es nula.
es un isomorsmo.
: c (F ) cf (Rn F ) e i : cf (Rn F ) c (F ),
H(E) Hcf (E) Hcf (E) y Hcf (E) H(E) Hcf (E)
Th( ) = () Th().
H(B ) H(B)
B
En particular cf (E ) = E .
: H(B) H(E)
436 Captulo 14. La cohomologa de los brados
% %
(1) df
m+r1
= (1) m+r1
df 1 (1 ) (2 (2 ))
F
% F
= 1 (1 ) df (2 (2 ))
F
%
= 1 df (2 (2 )).
F
df (2 ) = d(f (2 )).
E E
Hcf (E ) Hcf (E)
cf
= () df () f (d) = (1 f ) () df (),
aplicacion de Gysin de ES ):
Hcf (E)
i H(E)
E
i
H(ES ) Th H(ES )
$
S
H(B)
S D
H(B)
Mas aun, tomando una factorizacion de E cuyas restricciones a las bras sean
isometras deducimos que ES es difeomorfo a Rn S n1 , luego H n1 (ES ) = R.
Por consiguiente la integral en bras es un isomorsmo y en particular i (1 )
representa a la unica clase en H n1 (ES ) cuya integral en bras vale 1.
De este modo, si : B ES es cualquier seccion, la clase a dada por
(14.4) ha de ser necesariamente [i (1 )]. Por otra parte
S = a (S (a )),
pues el segundo miembro cumple (14.4). Por consiguiente [a , S ] = S (a ) y
ja () = a (S (a )). Digamos que S (p) = (p, S (p)), para cada p B. As
S (a )) = [S (i (2 ()))] = [S ()] = S (01 (1)).
Ahora bien, las aplicaciones S y a : Ua Rn0 son homotopicas, pues
a (p) es un multiplo positivo de S (p), y por consiguiente el segmento que los
une no pasa por 0. As pues,
grada = a (S (01 (1))) = ja ().
442 Captulo 14. La cohomologa de los brados
Teorema 14.24 Sea E un brado vectorial orientable sobre una base compacta
orientable de la misma dimension n 2 que la bra, jemos una metrica de
Riemann en E y sea S la caracterstica de Euler del brado de esferas asociado
ES . Sea : B E una seccion con un numero nito de ceros a1 , . . . , am .
Entonces %
m
jai () = S .
i=1 B
Todo brado en las condiciones de este teorema admite una seccion con un
numero nito de ceros. En efecto:
Teorema 14.25 Sea E un brado vectorial tal que su base y su bra tengan
ambas dimension n 2. Si la base no es compacta E admite una seccion sin
ceros y en caso contrario E admite una seccion con a lo sumo un cero.
rp : H p (V ) H p (V ) LpV .
Denimos el isomorsmo
n
r: H p (V ) H p (V ) LV
p=0
444 Captulo 14. La cohomologa de los brados
dado por
n
r= (1)np rp .
p=0
Como consecuencia:
n
Tr() = (1)p Tr(p ),
p=1
donde = p , con p LpV y en el segundo miembro Tr representa la traza
p
de un endomorsmo en el sentido algebraico usual.
ic
c (W4 ) c (T V )
$
$
Rn
B
(V )
i
Hc (W4 )
c
Hc (T V )
$
$
R
n
B
H(V )
14.5. La clase y la caracterstica de Euler 447
Tomando clases:
% %
h ([]) [] = [] [hc ()].
B V
448 Captulo 14. La cohomologa de los brados
(f 1) (V ()) = V ( f ).
En particular
V (f ) = (f 1) (V ).
Ademas %
L(f ) = ((f 1) (V )).
V
V ( f ) = f () = (f 1) ( ) = (f 1) (V ()).
n
n
W = (1)p dim H p (W ) = 2 (1)p dim H p (V ) = 2V .
p=0 p=0
H n (S n S n )
= H n (S n ) H 0 (S n ) H 0 (S n ) H n (S n ).
S n = a OS n 1 b 1 OS n = a1 (OS n ) + b2 (OS n ),
V = L(1) = L(f ) = 0,
Este apendice esta dedicado a probar que toda supercie compacta es ho-
meomorfa a una de las supercies canonicas Mg o Nh denidas en 1.21, es decir,
a una esfera con g asas o con h cintas de Mobius.
453
454 Apendice A. Las supercies compactas
Teorema A.4 Sea una curva de Jordan en R2 . Sean a y b dos puntos dis-
tintos en y sea un arco de Jordan de extremos a y b tal que \ {a, b} este
contenido en el interior de . Entonces existen dos arcos 1 y 2 de extremos a
y b cuya union es , los arcos 1 = 1 y 2 = 2 son curvas de Jordan,
sus interiores son disjuntos y su union es igual al interior de menos .
A.2 Triangulaciones
La parte mas delicada de la clasicacion de las supercies compactas consiste
en demostrar que todas ellas son triangulables, en el sentido que introducimos
a continuacion:
Jm
Ahora vamos a describir una construccion. Con ella, cada curva n quedara
dividida en un numero nito de arcos de Jordan. Llamemos i a todos estos
arcos, de modo que dos de ellos se cortan a lo sumo en los extremos. Construi-
remos tambien un conjunto nito de dominios de Jordan Ji , de modo que sus
interiores sean disjuntos dos a dos y no contengan ningun punto de ningun n ,
sus fronteras sean union de arcos i y sus clausuras cubran toda la supercie S.
Para ello partimos del dominio J1 y consideramos una curva n tal que
J1 n
= . Segun hemos visto, la interseccion se descompone en un numero
nito de arcos. Tomamos uno de ellos, digamos 1 . Sus extremos estan en 1 .
Por el teorema A.4 este arco divide a J 1 en la union de las clausuras de dos
dominios de Jordan disjuntos. Mas concretamente, 1 se divide en dos arcos y
la frontera de cada subdominio es la union de 1 con uno de ellos.
Consideramos ahora otro de los arcos de J1 n , digamos 2 . Como es
disjunto de 1 , de hecho 2 esta contenido en uno de los dos subdominios que
hemos formado. Aplicamos de nuevo el teorema A.4 y este queda dividido a
su vez en otros dos subdominios. Repitiendo este proceso terminamos con un
numero nito de dominios de Jordan disjuntos dos a dos tales que la union de sus
clausuras es J 1 , ademas sus fronteras estan formadas por la union de un numero
nito de arcos que se cortan a lo sumo en sus extremos y estan contenidos en
1 o n . Ademas, ninguno de estos recintos contiene puntos de 1 o n .
Podemos repetir este proceso cambiando n por cualquier otra curva que
corte a J1 , pero trabajando con los subdominios que hemos obtenido en lugar
de J1 (hay que comprobar que cualquier otro m corta a los subdominios en
un numero nito de arcos, lo cual se sigue de que la interseccion de m con
la frontera de los subdominios es tambien nita). El resultado es que tenemos
dividida la clausura de J1 en union de las clausuras de un numero nito de
dominios de Jordan disjuntos dos a dos cuyas fronteras son uniones de un numero
nito de subarcos de las curvas m que se cortan a lo sumo en sus extremos y
de modo que sus interiores no contienen puntos de ninguna curva m .
458 Apendice A. Las supercies compactas
Repetimos todo el proceso cambiando J1 por cada uno de los dominios del
cubrimiento. Observemos que si tenemos dos divisiones de un n en un numero
nito de arcos, podemos renarlas a una sola. Notemos tambien que un dominio
Ji obtenido al dividir un Jn y otro Jj obtenido al dividir un Jm han de ser
iguales o disjuntos, pues si tienen un punto en comun x Ji Jj , como ninguno
contiene un punto de la frontera del otro, han de ser iguales (si hubiera un punto
y Jj \ Ji , un arco que uniera x con y sin salir de Jj habra de pasar la frontera
de Ji ).
Ahora estamos en condiciones de construir la triangulacion: tomamos como
vertices los extremos de los arcos i , mas un punto en el interior de cada arco,
mas un punto en el interior de cada dominio Ji .
1
Ji 3
2
Tomamos un homeomorsmo i : J i , donde es el disco unidad
cerrado, de modo que S 1 se corresponda con la frontera de Ji . Podemos exigir
que el centro se corresponda con el vertice interior de Ji . Los demas vertices en
la frontera se corresponden con un numero nito de puntos en S 1 . Los radios
que unen el centro del disco con estos puntos se corresponden con arcos de
Jordan en J i . Cada sector circular determinado en por dos radios contiguos
es homeomorfo a un triangulo, luego i se restringe a un numero nito de
triangulos, que claramente determinan una triangulacion de S.
Ahora nos falta probar que toda supercie compacta tiene un cubrimiento
triangulable. Para ello necesitamos algunos hechos previos:
Diremos que un conjunto de arcos de Jordan en una supercie S es discreto
si todo punto de S tiene un entorno que corta a lo sumo a un numero nito de
arcos de .
Obviamente un conjunto nito de arcos es discreto. Si A es un abierto en
S, la interseccion con A de cada arco de es un conjunto a lo sumo numerable
de arcos disjuntos. Llamaremos A al conjunto de todas estas intersecciones.
Veamos que sigue siendo un conjunto discreto de arcos en A. En efecto, jado
un punto x A, tiene un entorno V A que corta a un numero nito de arcos
de . De hecho, si x no esta en uno de estos arcos, podemos reducir V para que
no lo corte. Podemos suponer, pues, que los arcos a los que corta V pasan por x.
Si es uno de estos arcos, el problema es que A puede haberse dividido
en innitos subarcos, pero reduciendo V podemos exigir que V solo corte al que
contiene a x, llamemoslo 0 . En efecto, en caso contrario podramos tomar una
sucesion de puntos en , todos contenidos en subarcos distintos de 0 , pero que
convergieran a x. Esto es imposible, porque 0 es un entorno de x en .
Teniendo esto en cuenta, podemos probar:
A.2. Triangulaciones 459
p Vp V p Wp W p Up
1
s1
p1
q1
s2
q2 p2
Vn
n
2
Supongamos ahora que |K| es una supercie. Claramente cumple a). Veamos
que b) implica c). Dado un vertice v, sea a1 una arista de extremo v (si no
hubiera ninguna, v sera un punto aislado y |K| no sera conexo). Existen dos
caras A0 y A1 que comparten la arista a1 . Sea a2 la otra arista del triangulo
A1 con vertice v. Sea A2 la otra cara que tiene a a2 por arista. No puede
ocurrir que A2 = A0 , pues dos caras no pueden tener dos aristas en comun (por
denicion de complejo simplicial). Sea a3 la otra arista de A2 con vertice v.
Puede ocurrir que a3 = a1 . Si no es as, existira otra cara A3 con arista a3 .
Puesto que el numero de aristas es nito, este proceso tiene que terminar. En
resumen, existe un numero nito de caras A0 , . . . , An con vertice v de modo que
cada una comparte una arista con la siguiente, al igual que An con A0 . Falta
probar que no hay mas caras (o mas aristas) con vertice v.
Si las hubiera, podramos generar otro ciclo de caras A11 , . . . , A1m con aris-
tas comunes. Siguiendo as, las caras con vertice v se dividen en grupos en las
condiciones de c). Cada uno de estos grupos de caras (con sus fronteras corres-
pondientes) es cerrado en el entorno simplicial de v. Al quitar v, estos grupos se
vuelven disjuntos dos a dos, luego N (v) \ {v} tiene tantas componentes conexas
como grupos de caras. Si v tiene un entorno homeomorfo a un disco en R2 ,
ningun entorno conexo de v puede desconectarse al eliminar v, luego solo puede
haber un grupo de caras. Esto prueba c).
Para probar b), observamos que, si x |K|, entonces |SK (x)| ha de ser ho-
motopico a S 1 . De hecho, admitiendo b), es facil ver que ha de ser homeomorfo,
pero de momento probaremos unicamente la homotopa. En efecto, existe un
2-smplice R2 y un homeomorsmo h : h[] |K| tal que h[]
sea un entorno de x. Aplicamos el teorema 4.32 tomando como K (de 4.32)
el complejo formado por junto sus caras y como L el complejo K de este
teorema. Concluimos que |SK (x)| es homotopico a la esfera de h1 (x) en ,
que es claramente homeomorfa a S 1 .
Tomemos ahora una arista a de |K| de vertices v1 , v2 y consideremos un
punto x en su interior. Tiene que haber al menos una cara con arista a, pues
en caso contrario SK (x) = {v1 , v2 }, y la esfera no sera homotopica a S 1 (como
es facil comprobar). Supongamos ahora que hay r caras con arista a. Entonces
el entorno simplicial de x esta formado por estas r caras junto con sus aristas y
vertices.
SK (a)
Comparando con los grupos de S 1 , vemos que SK (a) solo puede ser ho-
motopico a S 1 si r = 2 (y en tal caso es claro que es homeomorfo a S 1 ).
A.3 La clasicacion
El siguiente paso en el proceso de clasicacion es el teorema siguiente:
Teorema A.12 Sea K un complejo simplicial cuyo poliedro sea una supercie.
Entonces |K| es homeomorfo a un cociente obtenido a partir de un polgono
regular de 2n lados identicando estos dos a dos.
c) Cada arista fronteriza de Pn (es decir, cada lado del polgono) pertenece
unicamente a una cara de Pn .
Pn
C C
que resulta de identicar en |Pn | los pares de aristas con la misma imagen por
n .
Llamemos K a la imagen de n y supongamos que en K hay caras que no
estan en K . Llamemos K al subcomplejo de K formado por las caras que no
estan en K junto con sus aristas y vertices. Como K es conexo, |K ||K | =
.
La interseccion ha de ser un poliedro, pero no puede contener ninguna cara (por
denicion de K ) ni tampoco una arista. En efecto, cada arista de K esta
compartida por dos caras de K , y por A.11 no puede formar parte de otra cara
en K . Por consiguiente, |K | |K | esta formado por un conjunto (nito) de
vertices de K. De este modo, si a |K| le quitamos sus vertices obtenemos un
espacio disconexo, pero esto es imposible: es facil probar que si a una supercie
le quitamos un conjunto nito de puntos obtenemos un espacio conexo.
Por ultimo, en el enunciado del teorema hemos exigido que el polgono sea
regular, mientras que en la prueba hemos obtenido unicamente un polgono
convexo. El teorema 1.3 nos permite transformarlo en un disco cerrado. Por
conexion, cada lado del polgono se ha de transformar en un arco de circunfe-
rencia. Es facil ver que podemos aplicar un homeomorsmo al disco para que
las imagenes de los vertices resulten equiespaciadas, y entonces una nueva apli-
cacion del teorema 1.3 transforma el disco en un polgono regular, de modo que
los arcos que hay que identicar se convierten en sus lados.
A
C D E C
x y x y x y
E D
B B
A
Observemos que el polgono resultante no es convexo, pero es facil ver que
es homeomorfo a un polgono convexo. La prueba de b) es similar. Respecto a
c) tenemos:
x x
x x A B
x
y A B
y
A B y y
De este modo agrupamos todos los pares similares que hubiera en la identi-
cacion original.
F yyddccG.
De este modo reducimos todos los pares de pares de C en pares xi xi . Con
esto tenemos una sucesion ED, con E de la forma x1 x1 x2 x2 o bien de la
forma x1 y1 x1 1
1 y1 y D no contiene pares de pares de este tipo ni pares de
aristas similares.
Veamos nalmente que podemos eliminar D. Consideremos el par x x1
mas cercano a E. No puede haber aristas entre x y x1 , pues si hubiera un par
completo y y 1 , sera un par mas cercano a E, y si hubiera una arista y, con
su inversa formara un par de pares x y x1 y 1 . As pues, tenemos un
par xx1 en D, que puede eliminarse por la operacion c) del teorema anterior.
De este modo podemos eliminar todos los pares de D salvo en el caso en que E
sea vaco o conste de un unico par xx. En el primer caso obtenemos xx1 yy 1
o bien xyy 1 x1 ; en el segundo xxyy 1 .
De estos tres, el primero es la esfera, M0 y el tercero es el plano proyec-
tivo N1 . El espacio xyy 1 x1 es el mismo que x1 xyy 1 (podemos permutar
cclicamente las aristas) y tambien el mismo que xx1 yy 1 , o sea, la esfera de
nuevo.
Dejando aparte estos casos, podemos eliminar por completo el bloque D,
con lo que llegamos a uno de los espacios
Mg = x1 y1 x1 1 1 1
1 y1 xg yg xg yg , Nh = x1 x1 xh xh .
Variedades complejas
469
470 Apendice B. Variedades complejas
son derivaciones reales, por lo que coinciden si actuan igual sobre las funciones
coordenadas.
As pues, podemos identicar a Tp V con un subespacio vectorial (real) de
Tp (V, C). Mas exactamente, si v Tp (V, C), tenemos que
(
)
'n
v= v(xk ) + v(yk ) ,
xk
p yk
p
k=1
pues ambos miembros coinciden sobre las funciones coordenadas. De hecho, las
derivaciones xk |p , yk |p son una base de Tp (V, C) (si una combinacion lineal de
ellas es nula, al hacerla actuar sobre las funciones coordenadas obtenemos que
todos los coecientes son nulos). Esto implica que C R Tp (V ) = Tp (V, C).
Separando las partes reales de las imaginarias de los coecientes de una
combinacion lineal de los vectores de la base deducimos que cada elemento de
Tp (V, C) se expresa de forma unica como v + iw, con v, w Tp (V ).
Cada forma Tp V se extiende a una forma en Tp (V, C) mediante
(v + iw) = (v) + i(w).
Es facil ver que la extension es ciertamente C-lineal y la base dual dxk |p , dyk |p
se corresponde con la base dual de xk |p , yk |p en Tp (V, C) , por lo que tenemos
el isomorsmo Tp (V, C) = C R Tp V . Analogamente al caso de los espacios
tangentes, cada Tp (V, C) se expresa de forma unica como = 1 + i2 ,
con 1 , 2 Tp V .
Extendemos el operador d : Cp (V, C) Tp (V, C) mediante
d(f + ig) = df + i dg.
Equivalentemente: df (v) = v(f ), para toda v Tp (V, C), f Cp (V, C).
En particular tenemos denidas las formas dzk |p = dxk |p +idyk |p y, si llama-
mos z k = xk iyk a la composicion de zk con la conjugacion compleja, tambien
tenemos dz k |p = dxk |p idyk |p .
Las formas dzk |p , dz k |p son claramente una base de Tp (V, C) . Resulta
conveniente considerar su base dual en Tp (V, C), que no es sino la formada por
las derivaciones
(
)
(
)
1
1
= i , = +i .
zk
p 2 xk
p yk
p z k
p 2 xk
p yk
p
Si comparamos con
'
n
Re
f Re
f Im f
Im f
xk +
yk + i
xk + i
yk ,
xk
yk
xk
yk
k=1 z(p) z(p) z(p) z(p)
que es otra expresion para dfz(p) (z1 , . . . , zn ), vista como aplicacion de R2n en
R2 , concluimos que
Re f
Im f
Re f
Im f
k = = , = = .
xk
p yk
p yk
p xk
p
k
Recprocamente, basta con que se den las igualdades anteriores entre las
derivadas parciales (en cada punto p respecto de algun sistema de coordenadas
a su alrededor) para que los k denidos por las ecuaciones anteriores justiquen
que dfp es C-lineal. Dichas relaciones entre las derivadas parciales se conocen
como ecuaciones de Cauchy-Riemann. Una simple comprobacion muestra que
esta condicion es equivalente a la siguiente caracterizacion:
Teorema B.2 Una funcion diferenciable f : V C denida sobre una varie-
dad compleja de dimension n es holomorfa si y solo si para cada p V existe
un sistema de referencia z alrededor de p tal que
f
= 0, k = 1, . . . , n.
z k
p
Ademas en tal caso esta relacion se cumple para cualquier sistema de referencia
de V .
Diremos que una funcion f : V C es antiholomorfa si su conjugada
f (la composicion con la conjugacion compleja) es holomorfa. Es inmediato
comprobar las relaciones
f
f
f
f
= , = ,
zk
p z k
p z k
p zk
p
de donde se sigue que una funcion f es antiholomorfa si y solo si sus derivadas
respecto a las coordenadas zk son nulas. Esto nos permite denir:
2
3 2
3
h
a
Tp V = ,..., , Tp V = ,..., ,
z1
p zn
p z 1
p z n
p
B.2. Estructuras analticas 473
sin que la denicion dependa del sistema de coordenadas, pues el espacio tan-
gente holomorfo Tph V esta formado por las derivaciones que se anulan sobre las
funciones antiholomorfas y el espacio tangente antiholomorfo Tpa V esta formado
por las derivaciones que se anulan sobre las funciones holomorfas. Obviamente
tenemos la relacion
Tp (V, C) = Tph V Tpa V.
[z1 , . . . , zn+1 ] [z1 /zk , . . . , zk1 /zk , zk+1 /zk , . . . , zn+1 /zk ].
(a + bi)v = av + bI(v), a, b R, v V.
Si denimos
Con esto tenemos una replica abstracta de lo que sucede en cada espacio
tangente de una variedad compleja. Para trasladar estos hechos a una variedad
solo hemos de sustituir el endomorsmo I por un tensor de tipo (1, 1).
Una variedad V dotada de una estructura casi compleja es una variedad casi
compleja.
El nombre de estructuras casi complejas se debe a que para que una varie-
dad casi compleja sea de hecho una variedad compleja es hace falta una condicion
adicional, cuya necesidad acabamos de comprobar:
Ip (xk |p ) = yk |p , Ip (yk |p ) = xk |p .
En tal caso las cartas analticas de V son precisamente las que cumplen esta
condicion.
B.3. Tensores complejos 477
uk = fk (x1 , . . . , xn , y1 , . . . , yn ),
vk = gk (x1 , . . . , xn , y1 , . . . , yn ).
' fj ' gj
= +
xk j
xk uj j
xk vj
' fj ' gj
= +
yk j
yk uj j
yk vj
Aplicando I obtenemos
' fj ' gj
=
yk j
xk vj j
xk uj
' fj ' gj
= +
xk j
yk vj j
yk uj
fj gj gj fj
= , = .
xk yk xk yk
si p
= p o q
= q y no es nula en algun caso cuando p = p y q = q .
Claramente tenemos que Ar (V, C) = Ap,q (V, C).
p+q=r
aplicaciones T que a cada punto p V le asignan un tensor Tp Tsr (Tp (V, C))
de modo que Tp = T1p + iT2p con T1 , T2 Tsr (V ).
Estos espacios de tensores forman el algebra T(V, C), que contiene como
subespacio vectorial al algebra exterior (V, C) de las formas diferenciales com-
plejas. Sobre esta tenemos denida la diferencial exterior
d( + i) = d + i d,
Concretamente, las formas de tipo (p, q) son las que en cada abierto coorde-
nado admiten una expresion de la forma
'
= k1 ,...,kp ,k1 ,...,kq dzk1 dzkp dz k1 dz kq .
k1 <<kp
k1 <<kq
'
n
k1 ,...,kp ,k ,...,kq '
n
k1 ,...,kp ,k ,...,kq
1 1
d k1 ,...,kp ,k1 ,...,kq = dzr + dz r ,
r=1
zr r=1
z r
de donde se sigue que d p+1,q (V, C) p,q+1 (V, C). Como la suma es
directa, podemos denir las diferenciales parciales
' '
n
k1 ,...,kp ,k ,...,kq
= 1
dzr dz1 dzkp dz k1 dz kq ,
zr
k1 <<kp r=1
k1 <<kq
' '
n
k1 ,...,kp ,k ,...,kq
= 1
dz r dz1 dzkp dz k1 dz kq ,
z r
k1 <<kp r=1
k1 <<kq
[3] Bredon, G.E., Topolgy and geometry, Springer, New York (1993).
[4] Greenberg, M.J., Harper, J.R. Algebraic Topology, Benjamin, New York
(1981).
[5] Greub, W., Halperin, S., Vanstone, R. Connections, Curvature and Coho-
mology, Academic Press, New York (1972).
[6] Matsusima Y., Dierentiable Manifolds, Marcel Dekker, New York (1972).
[10] Wallace, A. H., Algebraic Topology, W.A. Benjamin, New York (1970).
481
Indice de Materias
482
INDICE DE MATERIAS 483