Arroyo Flores Merwil Espacios Fibrados Clases Caracteristicas Isomorfismo Thom

DEL PERU
PONTIFICIA UNIVERSIDAD CATOLICA

ESCUELA DE GRADUADOS
Espacios Fibrados, Clases Caratersticas

y el Isomorfismo de Thom
Tesis
para optar el grado de
Magister en Matematica
Presentado por:
Merwil Luciano Arroyo Flores

Asesor
Dr. Percy Braulio Fernandez Sanchez
Jurado
Dr. Christiam Bernardo Figueroa Serrudo

Dr. Jes
us Abad Zapata Samanez
Lima Per
u
2013
Agradecimiento
Expreso mi agradecimiento a todas las personas que directa o indirectamente hicieron
posible el desarrollo de este trabajo:
A mi familia en especial a mi madre Santos Blanca por ser siempre mi gua y apoyar
en todo momento difcil de mi vida, a cada uno de mis cinco hermanos por su apoyo
desinteresado.
A Isidora mi novia una persona que con sus sabios concejos y compa
na fue muy importante para que logre terminar este proyecto.
A mi asesor el Dr. Percy Fernandez por aceptar muy amablemente ser su tesista y
ayudarme a aclarar mis dudas y logre una mejor madurez matematica.
A cada uno de mis profesores de la maestra como Maynard Kong, Christiam Figueroa
y en especial a mi honorable jurado por sus observaciones valiosas y mostrar siempre
buena disposicion a ayudarnos.
A la universidad en especial al Vicerrectorado de Investigacion de la Ponticia Universidad Catolica del Per
u por el apoyo brindado para el desarrollo de esta tesis mediante
el proyecto DGI 2013-0047.
Merwil Luciano, Arroyo Flores
Lima, marzo del 2013
Introducci
on
La Topologa Algebraica es una rama de las matematicas, donde la idea fundamental
es asociar objetos algebraicos a los espacios topologicos y/o variedades, de manera que
la estructura asociada sea un invariante, en ese sentido estudiando las propiedades algebraicas del objeto asociado podemos extraer consecuencias sobre la geometra y la
topologa del espacio.
La cohomologa de Rham y la cohomologa con soporte compacto, son los dos principales invariantes topologicos de una variedad C , en ambos casos son herramientas
algebraicas, que se trata de cierta estructura algebraica extrada de una variedad diferenciable, permitira distinguir si dos variedades son o no homeomorfas.
El calculo de los grupos de cohomologa de una variedad no es tan facil, con esa idea
se introdujo una buena tecnica como es la secuencia de Mayer Vietoris para ambos
invariantes introducida por Leopoldo Vietoris(1850), esta tecnica calcula grupos de
cohomologa de una variedad que es posible expresarla como la union de dos conjuntos
abiertos no necesariamente disjuntos, entonces as se puede determinar los grupos de
cohomologa de la variedad en terminos de los grupos de cohomologa de estos abiertos. As mismo y con esa misma necesidad se obtuvo la Dualidad de Poincare para
una variedad orientable de dimension n, que establece el isomorsmo entre el grupo de
cohomologa de Rham y el dual de la cohomologa con soporte compacto, este isomorsmo es mucho mas importante cuando la variedad orientable no es compacta.
Con el proposito de seguir buscando mas objetos algebraicos que permitan proporcionar
mas informacion geometrica y/o topologica del espacio se empieza estudiar la variedad
producto, cuya generalizacion conduce a la variedad producto local en ese sentido se
obtiene una nueva variedad a partir de otra(espacio base) llamado(Espacio Fibrado)
donde su espacio total esta formado por bras(sub-variedades) en particular y en el
que mas trabajaremos es cuando las bras sean espacios vectoriales a estos brados los
llamaremos Fibrados Vectoriales ya teniendo un brado y la nocion de paralelismo
en el espacio ambiente Rn se generaliza a espacios brados y se obtiene un operador
algebraico llamada conexion, asociada a este tenemos denida la curvatura. Con todo
esto obtenemos las llamadas clases caractersticas que se iniciaron en 1935 con Whitney
I
y en 1942 por Shing-Shen Chern, estas son invariantes que miden en cierta manera
como se aparta esa estructura producto local de una estructura producto. Las clases
caractersticas que se expresan usando la forma de curvatura con coecientes reales o
complejos gracias a Chern, tienen muchas aplicaciones por eso que es motivo de estudio
en esta tesis, por ejemplo, para resolver el problema de encontrar el n
umero de campos
de vectores linealmente independientes en la esfera. Tambien han sido usadas para
formular el Teorema del ndice, que iguala un invariante analtico de ciertas variedades
con un invariante topologico de la variedad y una razon particular es probar el teorema
generalizado de Gauss-Bonnet.
Ahora estamos interesados en establecer un isomorsmo entre la cohomologa de un
brado y la cohomologa de su espacio base, entonces la pregunta es De que manera podemos establecer un isomorsmo explicito entre ambos grupos de cohomologa?
la respuesta que no siempre es posible, entonces para que este sea posible necesitamos primero que la variedad (espacio base) sea orientable y este es posible gracias a
Rene Thom cuyo teorema lleva el mismo nombre Isomorsmo de Thom.
Este trabajo esta dividido en cinco captulos; el primer captulo se hace una exposicion
ligera de la cohomologa de Rham as como una exposicion de la secuencia de Mayer
Vietoris y lo mas importante la Dualidad de Poincare que son los pilares fundamentales
en el exito de este trabajo. En el segundo y tercer captulo se hace un estudio de los
espacios brados pero concentrandonos mas en los brados vectoriales las operaciones
entre ellos y la conexion y curvatura este u
ltimo es la base fundamental para las clases
caractersticas. En el captulo cuatro empezamos a hablar de los polinomios invariantes
que son una herramienta clasica que permite hacer un estudio detallado de las clases
caractersticas principalmente en las Clases de Chern para brados vectoriales complejos la misma que se construye en base a la 2-forma de curvatura. Finalmente en el
captulo cinco se empieza trabajando una herramienta que permite calcular los grupos
de cohomologa de un espacio producto llamada la Formula de K
unneth, posteriormente se construye un nuevo brado llamado el brado de esferas que se usara en poder
probar el isomorsmo de Thom, ademas se dene el ndice de una seccion y se concluye
con el teorema generalizado de Gauss-Bonnet.
El trabajo ha sido hecho en base a mucho esfuerzo, dedicacion, y doy gracias a Dios
por haberme guiado siempre y as poder lograr todas las metas trazadas .
Agradezco anticipadamente a los lectores por las observaciones que tengan a bien formular.
El Autor
II
Indice general
1. Preliminares
1.1. Cohomologa de Rham . . . . . . . . . .
1.2. Cohomologa de un Complejo de Cadenas
1.3. Secuencia de Mayer Vietoris . . . . . . . .
1.4. Dualidad de Poincare . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
2
3
8
11
2. Fibrados y Fibrados Vectoriales

24
2.1. Denicion y Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2. Suma de Whitney . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3. Secciones en un Fibrado Vectorial . . . . . . . . . . . . . . . . . . . . . . 31
2.4. Complementar de un Fibrado Vectorial . . . . . . . . . . . . . . . . . . . 34
2.5. Fibrado Inducido e Invarianza por Homotopa . . . . . . . . . . . . . . . 36
2.5.1. Invarianza por Homotopa en Fibrados Vectoriales . . . . . . . . 38
2.6. Operaciones con Fibrados Vectoriales . . . . . . . . . . . . . . . . . . . . 40
2.6.1. Producto Tensorial y Exterior de Modulos . . . . . . . . . . . . . 40
2.6.2. Fibrado Dual, Producto Tensorial de Fibrados, Homomorsmo
de Fibrados y Producto Exterior de Fibrados. . . . . . . . . . . . 45
2.7. Complexicacion de un Fibrado Vectorial . . . . . . . . . . . . . . . . . 49
2.8. Propiedades Fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . 51
3. Conexi
on y Curvatura
55
3.1. Conexion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2. Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2.1. La Conexion y Curvatura en Algunos Fibrados . . . . . . . . . . 65
4. Clases Caractersticas
4.1. Polinomios Invariantes . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Clases Caractersticas en Fibrados Vectoriales Complejos . . . . . . .
4.2.1. Clases Chern de un Fibrado de Lnea . . . . . . . . . . . . .
4.2.2. Clases Caractersticas de Chern de Operaciones con Fibrados
4.3. La Clase de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . .
III
.
.
.
.
.
.
.
.
.
.
71
71
75
79
80
88
5. El Isomorsmo de Thom y la F
ormula General de Gauss-Bonnet
96
5.1. La Formula de K
unneth y el Teorema de Leray-Hirsch . . . . . . . . . . 96
5.2. Isomorsmo de Thom . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
5.3. Formula de Gauss-Bonnet . . . . . . . . . . . . . . . . . . . . . . . . . . 105
Bibliograa
110
Captulo 1
Preliminares
1.1.
Cohomologa de Rham
Empezamos este captulo estudiando brevemente la cohomologa de Rham; que es una

coleccion de espacios vectoriales obtenidos dentro del calculo de la exactitud de un
complejo de formas diferenciables asociado a una variedad dada; que aporta informacion acerca de la arquitectura del espacio.
Sea M una variedad diferenciable de dimension n, denotamos por k (M ) al espacio
de kformas diferenciales en M ; donde el operador derivada exterior d : k (M )
k+1 (M ) goza de la propiedad d d = 0 la misma que hace que la secuencia
/ k1 (M )
/ k (M )
/ k+1 (M )
sea semiexacta. Por otro lado se dice que una kforma w k (M ) es cerrada si y solo
si dw = 0. Y decimos que es exacta si y solo si existe u k1 (M ) tal que du = w;
(
)
el hecho que d d = 0; implica que Im d : k1 (M ) k (M ) esta contenido en el
(
)
Ker d : k (M ) k+1 (M ) . Con eso denimos el kesimo grupo de cohomologa
de Rham como el espacio vectorial cociente
(
)
Ker d : k (M ) k+1 (M )
k
(
)
H (M ) =
Im d : k1 (M ) k (M )
en particular H k (M ) = 0 para k < 0 y k > n = dimM ; ademas H 0 (M ) es el n
ucleo
de d : C (M, R) (M ). Decimos que dos clases [w] = [w ] si y solo si w w es

una forma exacta. Tambien podemos deducir que H 0 (M ) es el espacio de las funciones
constantes sobre las componentes conexas de M y como consecuencia de esto se tiene
que dimH 0 (M ) es el n
umero de componentes conexas de M .
El producto exterior de formas induce un producto H k (M ) H l (M ) H k+l (M ) que
hace que H (M ) sea un algebra graduada. Si M, N son dos variedades diferenciales
2
Preliminares
y : M N una aplicacion suave entre las variedades, la aplicacion : k (N )

k (M ) induce una aplicacion lineal
H k () : H k (N ) H k (M ).
Por otro lado si tenemos dos aplicaciones f0 , f1 : M N homotopicas entre variedades
diferenciales, entonces
H k (f0 ) = H k (f1 ) : H k (N ) H k (M ).
Ahora decimos que dos variedades M y N tienen el mismo tipo de homotopa si existen
aplicaciones diferenciales f0 : M N y f1 : N M tal que f0 f1 y f1 f0 son
homotopicas a la idM y idN respectivamente. Con esto si una variedad diferenciable M
tiene el mismo tipo de homotopa que un punto jo c de M , entonces tienen grupos de
cohomologa isomorfos, de ese modo se sabe que Rn tiene el mismo tipo de homotopa
que un punto, por lo tanto
R, k = 0
H k (Rn ) =
0, k > 0.
De la misma forma se tiene H k (M Rn ) = H k (M ). Una subvariedad diferenciable
A M es un retracto de M si existe una aplicacion diferenciable r : M A tal que
r(a) = a para todo a A. Es decir r i = iA donde i : A M es la inclusion y iA es
la identidad en A. Y decimos que A es un retracto por deformaci
on de M si i r
es homotopica a la identidad iM en M . De esa manera decimos que si A es un retracto
por deformacion de M , entonces H k (A) = H k (M ).
1.2.
Cohomologa de un Complejo de Cadenas
En esta seccion deniremos la cohomologa para un complejo de cadenas que nos

dara importantes resultados que luego nos permitira particularizar y facilitara la pruebas en ciertos resultados sobre todo en la prueba de la Secuencia de Mayer Vietoris.
Denici
on 1.1. Sean A, B y C espacios vectoriales y , aplicaciones lineales, la se
/A
/B
/C
/ decimos que es una secuencia exacta
cuencia
en B si la imagen de coincide con el n
ucleo de ; esto es, Im = Ker(), la secuencia completa, es exacta si lo es en cada uno de los espacios vectoriales.
/A
/B
/C
/ 0 se llama secuencia corta,
Una secuencia de la forma: 0
esta secuencia es exacta si es inyectiva, es sobreyectiva y Im = Ker() en este
caso la llamaremos secuencia exacta corta.
Preliminares
Denici
on 1.2. Se dene un complejo de cadenas como una secuencia A =
{Ak , dk }kZ de espacios vectoriales y aplicaciones lineales dk : Ak Ak+1 tales que
dk+1 dk = 0.
La igualdad dk+1 dk = 0 implica que Im dk Ker(dk+1 ) as esta secuencia no necesariamente es exacta.
Si un complejo de cadenas es exacta, entonces induce las secuencias exactas cortas.
0
/ Im dk1
/ Ak
dk
/ Im dk
/0,
donde i : Im dk1 Ak es la inclusion, ademas tenemos los isomorsmos

Ak1 Ak1
=
= Im dk1 .
Im dk2
Ker dk1
/A
/B
/C
/0
Si A, C son espacios vectoriales de dimension nita y 0
es una secuencia exacta corta, deducimos que B tambien es de dimension nita ademas
B
= A C.
Observaci
on 1.1. Dado una transformaci
on lineal entre espacios vectoriales
f : A B esta induce la secuencia exacta corta
0
/ Ker(f )
/A
/0.
/ Im(f )
En consecuencia; tenemos que A

= Ker(f ) Im(f ) y dimA = dim Ker(f ) + dim Im(f ).
Denici
on 1.3. Dado un complejo de cadenas A = {Ap , dp }pZ denimos el p-esimo
espacio vectorial de cohomologa del complejo de cadenas A como:
Ker(dp )
.
Im(dp1 )
H p (A ) =
A los elementos de Ker(dp ) se les llama p cociclos y de Im(dp1 ) se les llama p

cobordes y los elementos de H p (A ) se llaman clases de cohomologa.
Denici
on 1.4. Sea A = {Ak , dkA }kZ , B = {B k , dkB }kZ complejos de cadenas,
Una aplicaci
on entre complejos de cadenas f : A B es una familia de aplicaciones
lineales f k : Ak B k tal que el diagrama
/ Ak+2
dk+2
A
f k+2
dk+2
B
B k+2
/ Ak+1
dk+1
A
f k+1
dk+1
B
B k+1
/ Ak

dkA
fk
/ Ak1
/ Bk
dkB
dk1
A
f k1
dk1
B
B k1
es conmutativo. Esto es f k1 dkA = dkB f k , k Z.
/ Ak2

f k2
/ B k2
Preliminares
Lema 1.1. Una aplicaci

on de cadenas f : A B induce una aplicaci
on lineal
f : H p (A ) H p (B )
[a] [f p (a)].
Demostraci
on. La demostracion consiste en probar que f esta bien denida, sea [a]
H p (A ), este es un co-ciclo por lo tanto dp (a) = 0, donde a es un representante de la
p
clase dada; entonces [a] = a+Im(dp1

A ). Ahora si tomamos dos clases iguales en H (A ),
p1
p1
digamos [a1 ] = [a2 ] entonces (a1 a2 ) Im(dA ) as tenemos que (a1 a2 ) = dA (b)
p1 p1
para alg
un b de Ap1 y f p (a1 a2 ) = f p (dp1
(b)) por lo tanto tenemos
A (b)) = dB (f
p1
p
p
p
p
que (f (a1 ) f (a2 )) Im(dB ) entonces [f (a1 )] = [f (a2 )].
Una secuencia exacta corta de complejos de cadenas.
/ A
/ B
/ C
/0
consiste de una familia de secuencias exactas cortas

fp
/ Ap
/ Bp
gp
/ Cp
/0,
para todo p.
f
/ A
/ B
/ C
Lema 1.2. Sea 0
complejos de cadenas entonces la secuencia
H p (A )
/ H p (B )
/ 0 , una secuencia exacta corta de
/ H p (C )
es exacta.
Demostraci
on. Debemos probar que la imagen de f coincide con el n
ucleo de g lo
haremos por doble inclusion.
(i) Im(f ) Ker(g ), esto se puede probar con la siguiente composicion g f = 0.
Claro esto es evidente, pues por hipotesis tenemos g p f p = 0 y ello implica que
g f ([a]) = g ([f p (a)]) = [g p (f p (a))] = 0.
(ii) Ker(g ) Im(f ), considere [b] una clase de cohomologa en H p (B ) tal que
g [b] = 0, probemos que [b] pertenece a la imagen de f . Como g [b] = 0 entonces
g p (b) = dp1
un c de C p1 y como g p1 es sobreyectiva entonces existe
C (c) para alg
b1 en B p1 tal que g p1 (b1 ) = c luego se sigue que g p (b dp1
B (b1 )) = 0 por lo
p1
p
p
tanto existe a en A con f (a) = b dB (b1 ). Veamos que a es un p-cociclo esto
se puede ver de la conmutatividad del diagrama (ver denicion de complejo de
cadenas) luego tenemos
p1
f p+1 (dpA (a)) = dpB (f p (a)) = dpB (b dB
(b1 )) = 0
Preliminares
puesto que b es un p- cociclo y dp dp1 = 0. De la inyectividad f p+1 tenemos

que dpA (a) = 0, es decir a es co-ciclo. Tenemos [a] esta en H p (A ) por lo tanto
f ([a]) = [b dp1
[b] pertenece a la imagen de f .
B (b1 )] = [b], as
De (i) y (ii) la secuencia es exacta.
/ A
De la familia de secuencias exactas cortas 0

mamos el siguiente diagrama
..
.
..
.

/ Ap1
dp1
A
/ Ap
dpA

/ B p1
p1
dB
fp
/ Bp
..
.
f p+1
/ B
/ C
/ 0 , for-
..
.
g p1

/ C p1
/0
p1
dC
dpB
/ Ap+1
f p1
/ B p+1

..
.
gp

/ Cp
/0
(1)
dpC
g p+1

/ C p+1
/0
..
.
conmutativo. En seguida damos una denicion de suma importancia que nos permitira conectar una clase en dimension p en otra clase en dimension (p + 1) y eso es
posible gracias a la denicion del homomorsmo conector .
Denici
on 1.5. Consideremos una secuencia exacta corta de complejos de cadenas
0
/ A
/ B
/ C
/ 0 , denimos el homomorsmo lineal
: H p (C ) H p+1 (A )
que asigna, a cada clase [c] de H p (C ) la clase ([c]) = [(f p+1 )1 (dpB ((g p )1 )(c))] con
las mismas notaciones de la denici
on de complejo de cadenas.
La aplicacion g p no posee inversa la notacion (g p )1 (c) indica la imagen inversa de c que
esta contenida en B p , lneas mas adelante se ve que la clase [(f p+1 )1 (dpB ((g p )1 )(c))]
independe del valor de la preimagen de c va g p . En esta denicion veremos que la clase
( p+1 1 p
)
[(f p+1 )1 (dpB ((g p )1 )(c))] es un co-ciclo, esto es dp+1
[(f
) (dB ((g p )1 )(c))] = 0
A
con esos nes sea b (g p )1 (c) y usando la conmutatividad del diagrama (1), se tiene
que
(
)
( p+1 1 ) p
p
p+1 p+1 1 p
f p+2 dp+1
(f
)
(d
(b))
= dp+1
(f
) dB (b) = dp+1
A
B
B f
B dB (b) = 0
y de la inyectividad de f p+2 se consigue lo que queramos. Ahora veremos la buena
denicion de para esto considere b, b (g p )1 (c) esto es g p (b ) = g p (b) = c; y desde
Preliminares
que g p (b) = c y dpC (c) = 0 entonces se concluye que dpB (b) Imf p+1 , por otro lado
si f p+1 (a) = dpB (b) usando la conmutatividad del diagrama y el hecho que f p+2 es
inyectiva se tiene que dp+1
as como g p (b ) = g p (b) = c y f p+1 (a) = dpB (b),
A (a) = 0, adem
f p+1 (a ) = dpB (b ), entonces [a] = [a ] H p+1 (A ), lo cual demuestra la buena denicion.
Ahora usando la aplicacion operador conector , tenemos la siguiente secuencia
H p (B )
/ H p (C )
/ H p+1 (A )
(2)
veamos que esta es exacta, esto es Img = Ker para probar esta igualdad procedemos
a hacerlo por doble inclusion, si hacemos
(
)
g ([b]) = [g p (b)] = [(f p+1 )1 dpB ((g p )1 g p (b))] = [(f p+1 )1 dpB (b)] = 0
entonces, se tiene que Img Ker . Faltara la otra inclusion para esto sea c C p
tal que ([c]) = 0, esto es [(f p+1 )1 (dpB ((g p )1 )(c))] = 0 de donde se tiene que
(f p+1 )1 (dpB ((g p )1 )(c)) = dpA (a ) para alg
un a Ap , por lo tanto dpB (g p )1 (c) =
f p+1 dpA (a ) = dpB f p (a ) y tomando los extremos de esta u
ltima igualdad tenemos
)
( p 1
)
p ( p 1
p
p
p
dB (g ) f (a ) = 0 con esto se tiene g (g ) f (a ) = c, de ah obtene[
]
mos g (g p )1 f p (a ) = [c], entonces [c] Img eso muestra la otra inclusion con lo
que se tiene la exactitud de la secuencia, esto es para cualquier p Z.
De la misma forma tenemos la secuencia
H p (C )
/ H p (A )
/ H p+1 (B )
(3)
exacta, probaremos dicha exactitud, osea Im = Kerg en efecto

[
] [
]
f [c] = f (f p+1 )1 (dpB ((g p )1 )(c)) = dpB (g p )1 (c) = 0
eso muestra que Im Kerg , para ver la otra inclusion supongamos que f ([a]) = 0,
entonces f p+1 (a) = dpB (b) para alg
un b B p luego g p (b) C p as hacemos
[
] [
]
[g p (b)] = (f p+1 )1 (dpB ((g p )1 )g p (b)) = (f p+1 )1 (dpB (b) = [a]
por lo tanto [a] Im , luego secuencia dada en (3) es exacta.
Juntando el Lema(1.2) y (2), (3) obtenemos una secuencia exacta larga, esto lo formalizamos en la siguiente proposicion.
/ 0 una secuencia exacta cor/ A f / B g / C
Proposici
on 1.1. Sea 0
ta de complejos de cadenas. Entonces la secuencia larga
/ H p (A )
es exacta.
/ H p (B )
/ H p (C )
/ H p+1 (A )
/ H p+1 (B )
Preliminares
Esta proposicion facilitara la prueba de la Secuencia de Mayer Vietoris que presentaremos en seguida.
1.3.
Secuencia de Mayer Vietoris
Leopoldo Vietoris (1891 2002), es uno de los topologos quien descubrio esta tecnica
que da excelentes resultados para el calculo de grupos de cohomologa. Por lo que en
esta seccion nos ocuparemos del estudio de las secuencia de Mayer Vietoris que nos
permite calcular los grupos de cohomologa de H (U1 U2 ) en terminos de H (U1 )
y H (U2 ), donde U1 y U2 son subconjuntos abiertos de Rn . Esta tecnica tambien se
puede generalizar para abiertos de una variedad diferenciable.
Empezaremos dando un teorema que facilitara la llegada de la secuencia de Mayer
Vietoris.
Teorema 1.1. Sea U1 , U2 subconjuntos abiertos de Rn con uni
on U = U1 U2 , sea
iv : Uv U y jv : U1 U2 Uv para v = 1, 2 las respectivas inclusiones, entonces la
secuencia
0
/ p (U )
Ip
/ p (U1 ) p (U2 )
Jp
/ p (U1 U2 )
/0
es exacta, donde I p (w) = (i1 (w), i2 (w)) y J p (w1 , w2 ) = j1 (w1 ) j2 (w2 ).
Demostraci
on. Sea V, W abiertos de Rn , dada una pforma w =
fI dxI en p (W )
y : V W una aplicacion diferenciable, entonces podemos escribir
(w) =
(fI )di1 ... dip
en la prueba usaremos como inclusion de un abierto en Rn osea i (x) = xi donde los

i son las componentes de la aplicacion entonces di1 ... dip = dxi1 ... dxip
para abreviar cierta notacion escribimos dxI = dxi1 ... dxip por lo tanto (w) se
escribe de la forma (fI )dxI en ese sentido tomaremos = iv , jv para v = 1, 2;

con lo cual tenemos
iv (w) =
(fI iv )dxI y jv (w) =
(fI jv )dxI para v = 1, 2.
(
)
Probemos que I p es inyectiva, tome I p (w) =

(fI i1 )dxI , (fI i2 )dxI = 0, por
lo tanto fI iv = 0 para todo v esto implica que fI = 0 en U , luego w =

fI dxI = 0.
p
p
Ahora veremos que KerJ = ImI , esto se hara por doble inclusion, para ver ImI p
KerJ p hacemos
J p I p (w) = j1 i1 (w) j2 i2 (w) = j (w) j (w) = 0,
Preliminares
donde j : U1 U2 U es la inclusion. Para ver la otra inclusion considere dos p-formas
w1 =
fI dxI p (U1 ) y w2 =
gI dxI p (U2 ) :
con J p (w1 , w2 ) = 0. Obteniendo que estas formas restrictas a U1 U2 coinciden; es decir
j1 (w1 ) = j2 (w2 ), de ah se deduce que fI j1 = gI j2 en U1 U2 , luego fI (x) = gI (x)
para todo x U1 U2 , entonces podemos denir una aplicacion diferenciable hI : U R
dado por
f (x), x U
1
I
hI (x) =
g (x), x U
2
I
de esta manera se tiene que I p ( hI dxI ) = (w1 , w2 ), por lo tanto (w1 , w2 ) Im I p .

Por u
ltimo falta demostrar que J p es sobreyectiva, probaremos que para toda forma
w=
fI dxI p (U1 U2 ) existe (w1 , w2 ) p (U1 ) p (U2 ) tal que J p (w1 , w2 ) = w;
con ese n considere {1 , 2 } particion de la unidad subordinada a la cobertura abierta
{U1 , U2 }; esto es v : U [0, 1] con sop(v ) Uv tal que 1 (x) + 2 (x) = 1 para x U .
Si elegimos f : U1 U2 R una funcion diferenciable; usando la particion de la unidad
elegida podemos extender f a U1 y U2 respectivamente. Si sop(1 ) U2 U1 U2 la
extendemos en U2 de la forma
(x)f (x) si x U U
1
1
2
f2 (x) =
0
si x U sop( )
2
analogamente, se extiende a U1 de la forma
(x)f (x) si x U U
2
1
2
f1 (x) =
0
si x U1 sop(2 ).
Notemos que f1 (x) f2 (x) = f (x) esto es para todo x U1 U2 . Aplicamos la
situacion de arriba para extender las funciones fI : U1 U2 R, obteniendose las
funciones fI,v : Uv R. Por lo tanto construimos las formas wv =

fI,v dxI p (Uv )
tal que
J p (w1 , w2 ) =
(fI,1 j1 )dxI
(fI,2 j2 )dxI =
(fI,1 fI,2 )dxI = w.
donde w =
corta.
fI dxI p (U1 U2 ). Eso completa la exactitud de la secuencia exacta
El siguiente teorema es de suma importancia por lo que es necesario incluirlo en nuestro

trabajo. La primera aplicacion sera la prueba de la Dualidad de Poincare y por u
ltimo facilitara la prueba del Isomorsmo de Thom enunciada y probada en el Captulo 5.
Usando la misma notacion del Teorema(1.1) enunciamos el siguiente resultado.
Preliminares
10
Teorema 1.2. Secuencia de Mayer Vietoris Sea U1 , U2 abiertos de Rn con uni

on
U = U1 U2 . Entonces existe una secuencia exacta larga de espacios vectoriales de
cohomologa
/ H p (U )
/ H p (U1 ) H p (U2 )
/ H p (U1 U2 )
/ H p+1 (U )
donde, I ([w]) = (i1 [w], i2 [w]) y J ([w1 ], [w2 ]) = j1 [w1 ] j2 [w2 ].

Demostraci
on. La demostracion esta basada en el Teorema(1.1) y luego se aplica a la
Proposicion(1.1).
En la demostracion hecha en el Teorema(1.1) se tomo un sistema coordenado local
donde las formas diferenciales se podran escribir de la forma w =

fI dxI ; este tipo
de representacion no es necesaria para dicha prueba. Motivo por el cual la prueba vale
si M es una variedad diferenciable con cubrimiento {U1 , U2 }. As la Secuencia de Mayer
Vietoris tambien se aplicar para una variedad que es cubierta por dos abiertos.
En lo que sigue M sera considerada como una variedad diferenciable de Hausdor y
enumerable. Ahora considere U , V abiertos de M con V U y sea i : V U la
inclusion. Entonces existe una aplicacion i denida de la forma
i : c (V ) c (U ),
i (w)|V = w, i (w)|U sop(w) = 0; para w c (V ).
(4)
donde c (U ) es el espacio de formas con soporte compacto en U . As tenemos una

aplicacion lineal
i : Hcp (V ) Hcp (U )
(5)1
Dada W V y una segunda inclusion j : W U , con la propiedad (i j) (w) =
i j (w); entonces (Hcp (), i ) se convierte en un funtor contravariante en la categora
de subconjuntos abiertos y inclusiones en una variedad diferenciable.
Sea U1 y U2 abiertos de una variedad M con union U = U1 U2 y considere iv : Uv U ,
jv : U1 U2 Uv para v = 1, 2 la respectivas inclusiones. Entonces la secuencia
0
/ pc (U1 U2 )
Jp
/ pc (U1 ) pc (U2 )
Ip
/ pc (U )
/0
(6)
es una secuencia exacta corta, donde Jp (w) = (j1 (w), j2 (w)) y Ip (w1 , w2 ) = i1 (w1 )+
i2 (w2 ). Para probar dicha exactitud debemos probar que Jp es inyectiva lo cual es inmediato seg
un (4). Ahora se probara que ImJp = KerIp este lo haremos por doble
inclusion; la inclusion ImJp KerIp se obtiene de el hecho que Ip Jp (w) = 0; faltara
Hcp (U ) denota el grupo de cohomologa con soporte compacto denido como el cociente entre
Ker(d : pc (U ) p+1
(U )) y Im(d : p1
(U ) pc (U ))
c
c
1
Preliminares
11
ver la otra inclusion KerIp ImJp , para ello considere w1 pc (U1 ) y w2 pc (U2 )
tal que Ip (w1 , w2 ) = 0 lo que implica que w1 = w2 en U1 U2 , as se tiene que
Jp (w = w1 ) = (w1 , w2 ). Obteniendose la otra inclusion. Por u
ltimo para la sobreyectividad de Ip considere {1 , 2 } particion de la unidad subordinada a la cobertura {U1 , U2 }
con sop(v ) Uv . Dada una forma w pc (U ) entonces la forma 1 w tiene soporte compacto en U1 , esta forma tiene soporte compacto puesto que sop(1 w) sop(1 )sop(w)
esta contenido en un compacto(sop(w)) y como M es de Hausdor. De la misma manera sucede con la forma 2 w que tiene soporte compacto en U2 . Por lo tanto la forma
w es la imagen va Ip del par de formas (1 w, 2 w), con lo cual Ip es sobreyectiva. Esto
completa la prueba de la exactitud de (6).
En resumen como (6) es una secuencia exacta corta, se puede aplicar a la Proposicion(1.1) y ah se obtiene la Secuencia de Mayer Vietoris para cohomologa con
soporte compacto.
/ Hcp (U1 U2 )
/ Hcp (U1 ) Hcp (U2 )
/ Hcp (U )
/ Hcp+1 (U1 U2 )
/ .
(7)
Esta secuencia sera de suma importancia en la construccion de la Dualidad de Poincare.
1.4.
Dualidad de Poincar
e
La Dualidad de Poincare es uno de los resultados mas importantes de este trabajo;

por eso que es necesario incluirlo, as como su demostracion para tener un mejor entendimiento. Empezamos dando algunas ideas de la construccion de dicho isomorsmo.
Dada una variedad diferenciable orientable compacta M de dimension n; la Dualidad
de Poincare arma que H p (M )
= H np (M ) donde H np (M ) denota el espacio vectorial dual de H np (M ).
La prueba que presentamos en este trabajo se hara por induccion a traves de un
cubrimiento abierto de M . La justicacion se establecera de manera muy general sin
considerar en la hipotesis que M es compacta. es decir se probara que
H p (M )
= Hcnp (M ) , p {0, ..., n};
donde Hcnp (M ) es la cohomologa de Rham con soporte compacto sobre una variedad
orientable M (no necesariamente compacta)
En el caso que M sea compacta, entonces (M ) = c (M ) en consecuencia se tiene
que H (M ) = Hc (M ).
Preliminares
12
Por otro lado sabemos que Hc (M ) no necesariamente es un funtor contravariante, en

la categora de aplicaciones diferenciales. Sin embargo si : M N , es una aplicacion
propia entre variedades diferenciales, osea 1 (K) es compacto, para todo compacto
K de N . Entonces si w es una forma con soporte compacto sobre N , se tiene que (w)
es una forma con soporte compacto sobre M .
sopM (w) ( )1 (sopN (w)),
donde : pc (N ) pc (M ). En consecuencia induce una aplicacion Hcp () :
Hcp (N ) Hcp (M ) as Hcp () se convierte en un funtor contravariante de la categora
de formas diferenciales con soporte compacto en la categora de funciones diferenciales
propias.
Observaci
on 1.2. Sea M una variedad diferenciable conexa orientable de dimensi
on
n entonces tenemos el isomorsmo.
: Hcn (M ) R,
M
vea [4] Corolario(10.14) del Teorema(10.13).

En el siguiente ejemplo se determina los grupos de cohomologa con soporte compacto
de Rn , este ayudara a la prueba de la Dualidad de Poincare.
Ejemplo 1.1.
R,
Hcq (Rn ) =
0,
q=n
otros casos
Veamos la prueba del ejemplo. En los casos q = 0 y q = n usamos la observacion(??);

con lo cual Hcq (Rn ) = R. Faltara ver los casos en que 0 < q < n, esto quiere decir que
tendremos que probar que la secuencia
n
q1
c (R )
dq1
/ qc (Rn )
dq
n
/ q+1
c (R )
es exacta. Ya tenemos que toda forma exacta es cerrada, esto por dq dq1 = 0. Ahora
tenemos que ver que toda forma cerrada con soporte compacto es una forma exacta
con soporte compacto; para ello identicaremos a Rn con S n {p0 } as trabajaremos
en S n {p0 }. El conjunto qc (S n {p0 }) contiene todas las formas que se eliminan en
una vecindad de p0 , por lo tanto es un subcomplejo de qc (S n ). Consideremos w una
forma cerrada en qc (S n {p0 }); y como H q (S n ) = 0, en 0 < q < n entonces w es
exacta en q (S n ), esto quiere decir que existe en q1 (S n ) tal que d( ) = w, debemos
probar que se elimina en una vecindad de p0 . Consideremos W una vecindad de p0
difeomorfa a Rn tal que w|W = 0.
En el caso que q = 1, entonces se convierte en una aplicacion en S n que es constante
Preliminares
13
en W esto quiere decir que |W = a, as denimos k = a en 0c (S n p0 ) por lo

tanto d(k) = w.
En el caso que 2 q < n, tenemos que W es difeomorfa a Rn entonces se tiene
H q1 (W ) = H q1 (Rn ) y que |W es una forma cerrada, para hallar en q1 (W ) con
d() = |W , elegimos una aplicacion diferenciable : S n [0, 1] con sopp() W ,
que toma el valor de 1 en una vecindad de p0 , mas peque
na que W digamos U W la
n
forma en W se puede extender a S y le asignamos el valor de cero en S n W ,
sea
e la forma extendida y k = d(e
), entonces k|U = 0 y d(k) = d( ) + dd(e
) = w.
q
n
Luego existe k en c (S ) tal que d(k) = w, entonces la secuencia es exacta.
Sea A un espacio vectorial, denotemos A = HomR (A, R) al conjunto de aplicaciones
lineales de A en R llamado el dual del espacio vectorial A.
/B
Es facil ver que si la secuencia A
riales, es exacta; entonces la secuencia
/ B
/ C donde A, B y C son espacios vecto
/ C ,
es exacta.
Entonces se puede dualizar la Secuencia de Mayer Vietoris para soporte compacto dada
en (7). As se tiene
/ Hcq+1 (U1 U2 )
/ Hcq (U )
Ii
/ Hcq (U1 ) Hcq (U2 )
Ji
/ Hcq (U1 U2 )
donde I i () = (i1 (), i2 ()) y J i (1 , 2 ) = j1i (1 ) j2i (2 ).

Por otro lado si tenemos una familia {U / I} de abiertos disjuntos dos a dos de
una variedad M con U = I U ; entonces tenemos el isomorsmo dado por:
Hcq (U ) A Hcq (U ); [w] [i (w)]; I.
(8)
Ahora considere a M como una variedad orientable de dimension n. Denimos el producto exterior sobre formas con soporte compacto como:
: p (M ) np
(M ) nc (M )
c
(w1 , w2 ) (w1 w2 ),
donde sop(w1 w2 ) sop(w1 ) sop(w2 ), as esta induce una aplicacion bilineal a nivel
de grupos de cohomologa
H p (M ) Hcnp (M ) Hcn (M ).
Por la Observacion(1.2) tenemos que M : Hcn (M ) R es un isomorsmo, entonces

obtenemos una aplicacion bilineal
np
p
(M ) R
M : H (M ) Hc
([w1 ], [w2 ]) M w1 w2 ;
Preliminares
14
que de esa manera dene una aplicaci

on lineal
p
DM
: H p (M ) Hcnp (M ) .
En esta seccion demostraremos que esta aplicacion es un isomorsmo. Para la prueba

daremos algunos lemas previos.
Lema 1.3. Sean U ,V subconjuntos abiertos de M con V U M entonces el diagrama
H p (i)
H p (U )

/ H p (V )
p
DU
i!
Hcnp (U )
p
DV
/ Hcnp (V )
es conmutativo.
Demostraci
on. Se probara que DVp H p (i) = i! DUp . Tome i : V U como la inclusion;
considere w p (U ) y np
(V ) formas cerradas representantes de las clases de
c
cohomologa de [w] y [ ] respectivamente; hacemos la composicion
p
p
p
DV H (i)([w])([ ]) = DV ([i (w)])[ ] =

i (w) ,
()
V
donde i : p (U ) p (V ). Por otro lado componemos
p
p
!
i DU ([w])([ ]) = DU ([w])(i ( )) =
w i ( ),
()
donde i : p (V ) p (U ), ademas soppU (w i ( )) soppU (i ( )) = soppV ( ),

as podemos integrar () sobre V , por otro lado tenemos que i (w) y w i ( )
coinciden sobre V entonces () = () y esto es para cualquier par de formas luego se
tiene la igualdad requerida.
Lema 1.4. Considere U1 y U2 subconjuntos abiertos de M donde U = U1 U2 . Entonces
el diagrama
H p (U1 U2 )

/ H p+1 (U )
p
DU
1 U2
(1)p+1 !
Hcnp (U1 U2 )
p+1
DU
/ Hcnp1 (U )
es conmutativo; donde es el homomorsmo conector y ! es una aplicaci

on lineal.
Demostraci
on. La prueba consiste en obtener la igualdad (1)p+1 ! DUp 1 U2 = DUp+1
.
Sea w p (U1 U2 ) y np1
(U ) dos formas cerradas representantes de las clases
c
de cohomologa de [w],[ ] respectivamente; considere i1 : U1 U , i2 : U2 U y
Preliminares
15
tambien j1 : U1 U2 U1 , j2 : U1 U2 U2 como las inclusiones. Tome w1 p (U1 )

y w2 p (U2 ) escribimos w = j1 (w1 ) j2 (w2 ); y sea k p+1 (U ) una (p + 1)-forma
cerrada con i1 (k) = dw1 , i2 (k) = dw2 entonces k es un representante de la clase ([w]).
Entonces tenemos que
p+1
p+1
DU ([w])([ ]) = DU ([k])([ ]) =
k .
(1 )
U
Por otro lado tenemos la aplicacion

: Hcnp1 (U ) Hcnp (U1 U2 )
[ ] ([ ]).
Podemos escribir = 1 + 2 ; donde 1 , 2 np1
(U ) y sop(1 ) U1 , sop(2 ) U2
c
y sea = j1 (d1 ) = j2 (d2 ) y
j1 (U1 ) : np
(U1 ) np
(U1 U2 )
c
c
d1 j1 (d1 ),
j2 (U2 ) : np
(U2 ) np
(U1 U2 )
c
c
d2 j2 (d2 ).
Entonces es una (n p)-forma cerrada representante de la clase de cohomologa de
([ ]) por lo tanto,
p
p
!
DU1 U2 ([w])([ ]) = DU1 U2 ([w])([ ]) =
w .
(2 )
U1 U2
Ahora mostraremos que (1 ) es igual (2 ) multiplicada por (1)p+1 . Por un lado se

tiene que
=
U
k (1 + 2 ) =
k 1 +
k 2
U
U
dw1 1 +
dw2 (2
(1 )
U1
donde sop(1 ) U1 y sop(2 ) U2 y sabemos que

d(wr r ) = d(wr ) r + (1)p wr d(r )
r = 1, 2
()
y como consecuencia del Teorema de Stokes2 se tiene que Ur d(wr r ) = 0.

Por lo tanto aplicando la integral en (*) se tiene que
p
d(wr r ) =
d(wr ) r + (1)
wr d(r )
r = 1, 2
Ur
Ur
()
Ur
Teorema de Stokes. Sea M una variedad orientable de dimensi

on m y w una (m 1) forma con
soporte compacto, entonces M i (w) = M dw, donde i : M M es la inclusi

on y M denota la
frontera de M .
2
Preliminares
16
y aplicando (**) obtenemos
wr d(r ) =
p+1
(1)
d(wr ) r .
Ur
As
(1)
Ur
k =
p+1
U
w1 d(1 ) +
U1
w2 d(2 ).
U2
Por otra parte d(1 ) |U1 = j1 () y d(2 ) |U2 = j2 () y se tiene
w1 d(1 ) +
w2 d(2 ) =
w1 j1 ()
w2 j2 ()
U1
U2
U2
U1
=
j1 (w1 )
j2 (w2 )
U1 U2
U1 U2
=
w .
(2 )
U1 U2
Luego comparando (1 ) y (2 ) se concluye que (1 ) es igual a (2 ) entonces se obtiene

que el diagrama es conmutativo.
Corolario 1.1. Tenemos las siguientes armaciones:

i. Sea U1 y U2 subconjuntos abiertos de M , supongamos que U1 , U2 y U1 U2
satisface la Dualidad de Poincare. Entonces U = U1 U2 satisface la Dualidad
de Poincare.
ii. Sea {U }A una familia de subconjuntos abiertos disjuntos dos a dos de M donde
cada U satisface la Dualidad de Poincare. Entonces U = A U satisface la
Dualidad de Poincare.
iii. Cada subconjunto abierto de Rn difeomorfo a este; satisface la Dualidad de Poincare.
Demostraci
on.
i. Tome U = U1 U2 ; la prueba consiste en demostrar que H p (U ) Hcnp (U ) .
Por hipotesis tenemos H p (U1 ) Hcnp (U1 ), H p (U2 ) Hcnp (U2 ) y H p (U1 U2 )
H np (U1 U2 ) ; en base a esto construimos el siguiente diagrama
H p1 (U1 ) H p1 (U2 )
D
p1
p1
D
U1
U2
Hcnp+1 (U1 ) Hcnp+1 (U2 )
D
Ji
H p1 (W )
p1
W
D
(1)p i
Hcnp+1 (W )
H p (U )
p
U
Hcnp (U )
Ii
H p (U1 ) H p (U2 )
p
p
D
U1
U2
Hcnp (U1 ) Hcnp (U2 )
H p (W )
D
Ji
p
W

/ Hcnp (W )
donde W = U1 U2 . Este
es conmutativo por el Lema(1.3) y el Lema(1.4) y ademas las
p
dos secuencias de las las son exactas. Por hipotesis DW
, DUp 1 DUp 2 son isomorsmos
y por el Lema Cinco se concluye que DUp es un isomorsmo para todo p.
Preliminares
17
ii. Por hipotesis tenemos que H p (U ) H np (U ) A. Demostraremos que

H p (U ) H np (A U ) ; para eso consideremos el siguiente diagrama
/
H p (U )
p
DU
Hcnp (U )
p
A H (U )
p
DU
np
(U )
A Hc
las las horizontales son isomorsmos por (8). Tambien por hipotesis
isomorsmo, entonces DUp es un isomorsmo.
DUp es un
iii. Como U Rn es difeomorfo a Rn , entonces H p (U ) H p (Rn ). Y por el Ejemplo(1.1)

se tiene Hcnp (U ) Hcnp (Rn ). Usando el Lema de Poincare y el ejemplo antes mencionado se tiene que Hcp (U )
= H np (U ) = 0 esto es para todo p = 0. Solo faltara
probar que DU0 : H 0 (U ) Hcn (U ) es un isomorsmo, esto es suciente viendo que la
aplicacion U : Hcn (U ) R es diferente de cero. Entonces, DUp es un isomorsmo.

En particular Hcn (U ) R, ademas si (h, U ) es una carta de M , entonces todo subconjunto abierto de M difeomorfo a Rn satisface la Dualidad de Poincare, esto es DUp
es un isomorsmo para todo p.
La demostracion de la Dualidad de Poincare se basa en el siguiente teorema; que puede
ser demostrada en base a induccion sobre abiertos que cubren a la variedad.
Teorema 1.3. Sea M una variedad diferenciable n-dimensional dotada de una cobertura abierta V = (V )I . Sup
ongase que U es una colecci
on de subconjuntos abiertos
de M que satisface las cuatro condiciones.
i. U
ii. Cualquier subconjunto abierto U V difeomorfo a Rn , pertenece a U
iii. Si U1 ,U2 y U1 U2 pertenecen a U, entonces U1 U2 pertenece a U
iv. Si U1 , U2 ,.... es una sucesi
on de subconjuntos abiertos disjuntos dos a dos, con
Ui U entonces Ui U.
Entonces M pertenece a U.
Para la demostracion del teorema usaremos el siguiente lema y la Proposicion(1.2).
Lema 1.5. Adem
as de las hip
otesis del Teorema(1.3); supongamos que U1 , U2 ,.... es
una sucesi
on de abiertos relativamente compactos de M , con las siguientes propiedades.
i. jJ Uj U, para cualquier subconjunto nito J
Preliminares
18
ii. (Uj )jN es localmente nito.

Entonces la uni
on U1 U2 .... pertenece a U.
Demostraci
on. Sabemos que U1 , U2 ,.... son conjuntos relativamente compactos que
cumplen las cuatro condiciones del Teorema(1.3); ademas de las dos hipotesis dadas
por el lema. Empezamos la prueba para el caso nito. Osea

se probara que Uj1
Uj2 , ...., Ujm U, la justicacion la haremos por induccion sobre m.
Si m = 1, 2 aplicamos (i) y la condicion(iii) del Teorema(1.3); con lo cual Uj1 Uj2 U.
En el caso que m 3 supongamos que se cumple para (m 1)-ndices, osea V =
Uj2 Uj3 , ...., Ujm U entonces Uj1 V = m

v=2 (Uj1 Ujv ) U aplicando Teorema(1.3)(iii) a la secesion {Uj1 Ujv }jN , donde Ui Uj U y por la parte(i), se concluye que
Uj1 Uj2 , ...., Ujm U. Y esto completa la prueba para el caso nito. Ademas de eso
obtenemos que
m
(Uiv Ujv ) U,
()
v=1
donde i1 , j1 , i2 , j2 , ..., im , jm son 2m-ndices.

Veamos el caso mas general. Para esto denamos; un conjunto de ndices Im y conjuntos
abiertos Wm de forma inductiva.
Si m = 1, entonces I1 = {1} y W1 = U1 . Si m 2 entonces
Im = {m} {i/i > m, Ui Wm1 = }
m1
Ij
j=1
y
Wm =
Ui
()
iIm
Se prueba que Im es un conjunto nito; esto se puede hacer por induccion. Si Im1
es nito, por lo tanto Wm1 es relativamente compacto(pues es union nita de relativamente compactos). Por la condicion(ii) implica que Wm1 intercepta a un n
umero
nito de Ui esto por que la familia {Ui } es localmente nita. As Im es un conjunto
nito de ndices, para todo m. Por otro lado si m 2; m no pertenece a ning
un Ij con
j < m con lo cual por la denicion de Im , este pertenece a Im . As concluimos que N
es la union disjuntos de conjuntos nitos Im .
En el caso en que Im = , entonces Wm = U por Teorema(1.3)-(i). Como la union
nita esta en U, as Wm = iIm Ui U.

As como se tiene () se puede obtener
Wm Wm+1 =
(Ui Uj ) U
(i,j)Im Im+1
Notemos que si k m+2 y por () se tiene Wm Wk = . Si la interseccion es no vaca,

entonces no existira i Ik con Wm Ui = , y por () i Ij para algunos j (m+1).
Preliminares
19
Ahora usamos la condicion(iv) del Teorema(1.3) para notar que los tres conjuntos
(1) =
(0) W (1) =
W (0) =
j=1 W2j , W
j=1 W2j1 y W
j=1 Wj Wj+1 ,estan en U.
Y por Teorema(1.3)-(iii) se tiene
Ui = W (0) W (1) U.
i=1
Proposici
on 1.2. Si U es un subconjunto abierto arbitrario de Rn y V = (Vi )iI una
cobertura abierta de U ; entonces podemos hallar una secuencia de puntos {xj } en U y
n
umeros reales positivos rj que satisface las siguientes condiciones:
i. U =
j=1 Brj (xj )
(Brj (xj ) es la bola abierta con centro en xj y radio rj ).
ii. Para cada j existe un i(j) I con B2rj (xj ) Vi(j) .

iii. Todo x U tiene una vecindad W que intercepta s
olo una familia nita de bolas
B2rj (xj ).
Demostraci
on. Todo conjunto U abierto de Rn se puede escribir de la forma U =
m=1 Km , donde Km es un compacto de la forma Km = B2m (0) x(Rn U ) B1/2m (x)

(adicionalmente K0 = K1 = ). Si m 1, se tiene que Km esta contenido en el
interior de Km+1 ; ahora denimos los siguientes conjuntos Bm = Km Int(Km1 ),
Um = Int(Km+1 ) Km2 , se puede deducir que Bm es compacto y Um es abierto,
ademas Bm Um por u
ltimo U =
m=1 Bm . Luego para cada x Bm podemos
encontrar r(x) > 0 tal que B2r(x) (x) este contenido tanto en Um y en al menos uno
de los Vi (V = (Vi )iI cobertura abierta de U ). El Teorema de Heine-Borel para Bm
asegura la existencia de xm,j Bm y rm,j > 0 tal que:
m
() Bm dj=1
Brm,j (xm,j ).
() Cada B2rm,j (xm,j ) esta contenido en Um y en al menos en algunos de los conjuntos
abiertos Vi . Entonces
U=
m=1
Bm
dm

m=1 j=1
Brm,j (xm,j )
Um U.
()
m=1
La parte(i) se deduce de . Para(ii), en se tiene que para cada j existe i(j) tal que
B2rj (xj ) Vi(j) . Por u
ltimo (iii); dado x U escogemos m0 1 con x Um0 y
Um Um0 = cuando m m0 + 3, entonces deducimos que Um0 intercepta a B2r (xm,j )
para m m0 + 2.
Demostraci
on. del Teorema(1.3)
Primero consideremos el caso especial en que W Rn con cobertura abierta V =
Preliminares
20
(V )I y para esto considere la norma del maximo en Rn

x = max1in |xi |
donde las bolas abiertas son cubos de la forma Uj = ni=1 (aji , bji ). Por equivalencia de
normas y la Proposicion(1.2), tenemos las tres propiedades.

i. W =
j=1 Uj =
j=1 Uj .
ii. (Uj )jN es localmente nito.
iii. Cada Uj esta contenido en alg
un abierto V .
La interseccion nita Uj1 , ...., Ujm tambien se puede escribir de la forma ni=1 (ai , bi )
la cual es difeomorfo a Rn , entonces por el Lema(1.5) se concluye que W U.
Para el caso general M es considerada como una variedad diferenciable de dimension
n; elegimos una carta (h, U ) donde h : U W y W es un subconjunto abierto de Rn
difeomorfo a este, la cobertura abierta de W es (V ) J con lo cual (h1 (V ))J es
una cobertura abierta de U . Aplicando el caso especial anterior para W ; se concluye
que U U. Esto es para cualquier abierto coordenado de la variedad.
Si M es compacto aplicamos el argumento del Lema(1.5) a una cobertura abierta nita
de M , donde cada uno de estos es un abierto coordenado, as M U. Para el caso no
compacto hacemos uso de una cobertura localmente nita de M por una secuencia de
abiertos coordenados relativamente compactos.
El objetivo de esta seccion es probar la Dualidad de Poincare, entonces hemos probado todos los resultados previos que ayudaran a dicho objetivo, que mencionaremos a
continuacion.
Teorema 1.4. Dualidad de Poincar
e Sea M una variedad diferenciable orientable
n-dimensional, entonces la aplicaci
on
p
DM
: H p (M ) H np (M )
es un isomorsmo para todo p {0, ..., n}.

Demostraci
on. Para la prueba denimos la siguiente coleccion
U = {U M/U abierto, DUp es un isomorsmo para todo p {0, ..., n}};
por lo comentarios posteriores al Corolario(1.1) se tiene que esta coleccion es distinto
del vaco, tome V = (V )B una cobertura abierta de M . El Corolario(1.1) garantiza
p
que cumplen las condiciones del Teorema(1.3); por lo tanto M U, as DM
es un
isomorsmo.
Preliminares
21
Terminamos este captulo dando una proposicion que nos proporciona una secuencia
exacta larga para un par (N, M ), donde M es una subvariedad compacta de la variedad
compacta N ; este sera muy usado en el Captulo(v). El Lema que sigue es necesario
incluirlo pues ayudara a la demostracion de dicha proposicion, tambien conviene recordar ciertos conocimientos de topologa diferencial.
Denotemos por U al complemento de M (U = N M ); ah tenemos las inclusiones
i : U N , j : M N , con lo cual la aplicacion lineal j : q (N ) q (M ) es
sobreyectiva.
Como M y N son variedades compactas, entonces existe un encajamiento en Rk con lo
cual se puede considerar a M, N como subvariedades de Rk . Por otro lado el Teorema
de la Vecindad Tubular garantiza la existencia de abiertos en VM Rk y VN Rk
con M VM , N VN y una extension de las inclusiones iN , iM a retracciones
rM : VM M y rN : VN N de M y N respectivamente. As tenemos las aplicaciones lineales
rM
: q (M ) q (VM ) y rN
: q (N ) q (VN ).
Como M es una subvariedad de Rk , el triple (VM , iM , rM ) existe por el Teorema de la
Vecindad Tubular donde se tiene que rM iM = idM y iM rM es homotopica a idVM ,
entonces
iM : H q (VM ) H q (M ) es un isomorsmo .
(9)
Lema 1.6. Sea M una subvariedad compacta de la variedad compacta N donde j :
M N es la inclusi
on, entonces tenemos las siguientes armaciones:
i. Si w q (M ) es una forma cerrada, entonces existe una qforma q (N )
tal que j ( ) = w y que d se anule en alg
un conjunto abierto de N que contenga
a M.
ii. Si q (N ) con sopN (d ) M = y j ( ) es exacta; entonces existe una forma
q1 (N ) tal que d es identicamente cero en alg
un abierto de N que
contiene a M.
Demostraci
on. Considere a N como una subvariedad de Rk , por el Teorema de la
Vecindad Tubular existen los triples, (VN , iN , rN ) y (VM , iM , rM ) de N y M respectivamente de donde podemos asumir que VM VN . Tambien necesitamos tomar una
funcion suave : N [0, 1] tal que sopN () N VM y esta funcion toma el valor
de 1 en alg
un abierto W N VM con M W y el valor de cero en el complemento.
Para la prueba de (i) tome la forma w q (M ) cerrada; entonces tenemos la forma
(w) q (N V ), as
w
= rM
w
la podemos extender hasta N usando la apliM
cacion , por lo tanto tenemos la existencia de una forma = w
en N tal que
j ( ) = j (rM (w)) = j (rM (w)) = (rM j) (w) = idM (w) = w y como w es cerrada,
(w)) = 0 en alg
es decir dw = 0, se concluye que d = d(rM
un abierto W N VM
Preliminares
22
que contiene a M esto completa la prueba de (i).

: q (N ) q (V );
En la prueba de (ii) tenemos por hipotesis que q (N ) y rN
N
recordando que VM VN , entonces podemos denir la forma como
= rN
( )|VM q (VM )
) = r (d ) adem
y por propiedad de la derivada exterior se tiene d(rN
as la hipotesis
N
sopN (d ) M = , implica que rN (d ) se anula en una vecindad que cubre M , por lo

tanto VM se puede elegir donde d
= 0. Por otro lado tomemos iN j = iM : M VN
de ah se tiene que
iM (
) = (iN j) (rN
( )) = j iN rN
( ) = j ( )
y desde que j ( ) = iM (
) es exacta y cerrada d(iM (
)) = iM (d
) = 0, por lo tanto
[iM (
)] = 0 en H (M ) y usando (9) donde iM es un isomorsmo se concluye que
[
] = 0 en H q (VM ). Si tenemos la inclusion iN |N VM : N VM VM as se tiene la
aplicacion lineal iN : q (VM ) q (N VM ) y usando el hecho que [
] = 0 en H q (VM ),
[iN (
)] = [(rN iN ) ] = [ |N VM ] = 0; entonces encontramos que |N VM es exacta.
En consecuencia existe una (q 1)-forma 0 q1 (N VM ) tal que d0 = |N VM ;
esta forma o se puede extender usando la aplicacion as encontramos una forma
= o en N tal que = d en un abierto W de N que contiene a M , por lo tanto
d = 0 en W.
Proposici
on 1.3. Sea M una subvariedad compacta de la variedad compacta N donde
U es el complemento(U = N M ) y j : M N , i : U N las respectivas inclusiones.
Entonces existe una secuencia exacta larga
/ H q1 (M )
/ Hcq (U )
/ H q (N )
/ H q (M )
/ .
Demostraci
on. Como la aplicacion j es la inclusion, se tiene que j : (N ) (M )
es sobreyectiva y denotemos por (N, M ) al n
ucleo de j esto es:
(N, M ) = {w (N )/j (w) = 0}
con lo cual tenemos una secuencia exacta corta
0
/ (N, M )
/ (N )
/ (M )
/0
y denotamos por H (N, M ) la cohomologa de ( (N, M ), d). Entonces por la Proposicion(1.1) se tiene una secuencia exacta larga
/ H q1 (M )
/ H q (N, M )
/ H q (N )
/ H q (M )
/ .
()
Preliminares
23
Por otro lado la inclusion i : U N , induce una aplicacion i : c (U ) (N ) esta

tiene imagen en (N, M ). Para completar la demostracion debemos probar que
i : c (U ) (N, M )
induce un isomorsmo en grupos de cohomologa H q (i ) : Hcq (U ) H q (N, M ) nuestro
trabajo consiste en probar que esta aplicacion es justamente un isomorsmo, primero
veamos la inyectividad. Sea la clase [w] Hcq (U ) tal que H q (i )[w] = 0 esta es representada por la q-forma cerrada en w qc (U ), de ah H q (i )[w] = [i (w)] = 0 por lo tanto
existe alg
un q1 (N, M ) tal que d = i (w), ademas como q1 (N, M ) se
tiene que j ( ) = 0, as j ( ) es exacta y como sopN (d ) U aplicamos el Lema(1.6)(ii) donde garantiza la existencia de q2 (N ) tal que d es nula en alg
un
q1
abierto de N que contiene a M , por lo tanto la forma k = d esta en c (U )
con la cual se tiene que dk = w, as la forma w es exacta y cerrada a la vez, entonces
[w] = 0. Finalmente se prueba la sobreyectividad sea [w] H q (N, M ) esta clase esta
representada por la forma w q (N, M ) as j (w) = 0, en ese sentido aplicamos el
Lema(1.6)-(ii) donde nos da la existencia de una q1 (N ) con la propiedad que
w d es nula en W donde este es una vecindad de M , esto quiere decir que w = d
en W. Observe que
d(j ()) = j (d) = j (w) = 0, en W
de donde obtenemos que j () es una forma cerrada en W ; ahora aplicamos el Lema(1.6)(i) donde garantiza la existencia de una forma q1 (N ) con j () = j ( ) y que
d es nula en alguna vecindad de M ; por lo tanto se tiene que j ( ) = 0 con lo
cual ( ) q1 (N, M ). Y denamos
(
)
k = w d( ) |U = (w d)|U + d |U qc (U ),
as tenemos la existencia de k qc (U ) tal que H q (i )[k] = [i (k)] = [w d(
)] = [w]. Con esto se concluye que H q (i ) : Hcq (U )
= H q (N, M ) es un isomorsmo y
reemplazando este isomorsmo en (), tenemos la secuencia exacta larga deseada.
Captulo 2
Fibrados y Fibrados Vectoriales

En este captulo estudiaremos una estructura llamada Fibrado y/o Fibrado Vectorial
que esta asociada a un espacio topologico (espacio base) que sera de suma importancia
trabajar, para poder hablar de clases caractersticas y estos a la vez nos proporcionaran
informacion topologica del espacio base, de la misma forma se estudiaran las secciones
en brados como por ejemplo los campos vectoriales y las formas diferenciales que son
secciones del brado tangente y cotangente respectivamente, as el espacio de secciones
sobre un brado nos permitira denir nuevas estructuras como la conexion y posteriormente la curvatura en dicho brado, que es un concepto necesario para poder hablar
de clases caractersticas. Empezamos dando las deniciones necesarias para abarcar en
el objetivo deseado.
2.1.
Definici
on y Ejemplos
Empezamos dando la denicion mas general de brado; posteriormente expondremos

el ejemplo mas com
un (brado trivial) y luego se dara la denicion de brado vectorial
que en este trabajo tiene mas importancia.
Denici
on 2.1. Un fibrado = (E, B, F, ) consiste de tres espacios topol
ogicos E B
y F y una aplicaci
on continua : E B tal que satisface la siguiente condici
on, para
cada punto b B tiene una vecindad Ub y un homeomorsmo h : Ub F 1 (Ub )
tal que el diagrama
Ub FG

GG prj
GG 1
GG
GG
#
/B
es conmutativo. De ah se deduce que h({c} F ) 1 (c).
24
25
El espacio E es llamado espacio total, B es llamado espacio base y F la bra tpica.

Un brado es llamado diferenciable si B, F y E son variedades diferenciales de
dimension n, m y (n + m) respectivamente( as B y F son subvariedades de E) y
: E B es una aplicacion diferenciable donde h es un difeomorsmo. Entonces
U F 1 (U ) as F 1 (c).
Ejemplo 2.1. El ejemplo m
as obvio de brado es el fibrados trivial dado por
E
B = (B F, B, F, )
donde : B F B es la proyecci
on en el primer factor, en este caso las bras son
{p} F para todo p B.
Por la denicion de brado podemos decir entonces, que todo brado es localmente
trivial y a este homeomorsmo local h se le llama trivializaci
on.
Denici
on 2.2. Un Fibrado Vectorial = (E, B, V, ) es un brado de bra tpica V (espacio vectorial) y 1 (x) es un espacio vectorial para todo x B, donde
el homeomorsmo local h : Ub V 1 (Ub ) puede ser escogido de modo que
h(x, ) : V 1 (x) sea un isomorsmo lineal para todo x Ub .
Un brado vectorial puede ser real o complejo dependiendo de V y de la aplicacion
h(x, ). Pero nosotros nos concentraremos es brados vectoriales reales. Un brado
vectorial es diferenciable1 si es un brado vectorial que es un brado diferenciable.
La dimension del brado vectorial es la dimension de la bra 1 (x); un brado vectorial de dimension uno se le llama brado de lnea.
Si = (E, B, V, ) es un brado vectorial con lo cual en algunos casos solo escribiremos
y denotaremos por E() al espacio total E y por b a cada bra Fb () = 1 (b). Ahora si W B entonces escribiremos el brado vectorial por |W = (E( |W ), W, V, )
donde E( |W ) = 1 (W ).
Sea un brado vectorial a los homeomorsmo hj : Uj V 1 (Uj ) y hk : Uk V
1 (Uk ), en adelante los llamaremos trivializaciones y a los abiertos Uj abiertos trivializantes. Supongamos que la interseccion Ujk = Uj Uk es no vaca, entonces la
aplicacion hj h1
k queda expresada de la forma:
hj h1
: Ujk V Ujk V
k
(p, v) (p, hjk (p).v)
donde hjk (p) = hj (hk |{p}V )1 entonces denen funciones con valores en Gln (R)
hjk : Ujk Gln (R)
1
Generalmente omitiremos la palabra diferenciable, esto ser

a obvio cuando estemos trabajando con
variedades diferenciables.
26
que son llamados co-ciclos, estos gozan de las siguientes propiedades:

i. hjj = I en Uj
ii. hjk hkj = I, en Ujk
iii. hjk hkl hjl = I, en Ujkl = Uj Uk Ul .
Tambien es imprescindible dar la siguiente denicion. Diremos que un brado vectorial
real = (E, M, ) es orientable si existe una familia de trivializaciones de E tal
2
que las funciones de transicion(co-ciclos) correspondientes toman valores en GL+
m (R) ,
donde m es la dimension del brado.
Ahora veamos algunos ejemplos se brados vectoriales.
Ejemplo 2.2. Un ejemplo muy importante es el fibrado can
onico de lneas que lo
1
construiremos de la siguiente forma. Considere S C donde (S 1 , ) tiene estructura
de grupo y es la multiplicaci
on usual de n
umeros complejos, ahora tome la esfera
2n+1
n+1
unitaria en S
C
, hacemos actuar S 1 en S 2n+1 de la forma S 1 S 2n+1
2n+1
S 2n+1 , (, u) u entonces, obtenemos el espacio proyectivo complejo CPn = S S 1 .
Ahora hacemos actuar S 1 en S 2n+1 C de la forma:
S 1 (S 2n+1 C) S 2n+1 C, (, (z, u)) (z, 1 u)
por lo tanto, obtenemos el espacio de
orbitas denotado por:
S 2n+1 S 1 C = {[z, u]/(z, u) S 2n+1 C}
en este denimos la aplicaci
on : S 2n+1 S 1 C CPn , [z, v] [z] que est
a bien
n
denida y adem
as es continua. Considere Uj = {[z0 , ..., zn ] CP /zj = 0} cubrimiento
n
abierto de CP ; ahora denimos para cada j = 0, ..., n las trivializaciones locales
hj : Uj C 1 (Uj ) = {[z, u]/[z] Uj },
on est
a bien denida donde su
de la forma hj ([z], t) = [z, ztj ] 1 (Uj ) esta aplicaci
1
inversa de dene de la forma hj ([z, u]) = ([z], uzj ) Uj C por lo tanto los hj son
efectivamente una biyecci
on, para ver la continuidad considere el abierto Uij = Ui Uj
entonces el cambio de coordenadas
h1
j hi : Uij C Uij C
1
j
t
viene dada por h1
on
j hi ([z], t) = hj ([z, zi ]) = ([z], t zi ) claramente es una aplicaci
continua, e induce una familia de aplicaciones
z
hji : Uij GLn (C), dadas por hji ([z0 , ..., zn ]) =

2
Denota el grupo de matrices con determinante positivo
zj
zi
27
que son los co-ciclos del brado. Por lo tanto S 2n+1 S 1 C es un brado de lneas que
en adelante denotaremos por Hn = S 2n+1 S 1 C.
Ejemplo 2.3. El fibrado tangente sea M una variedad diferenciable de dimensi

on
n+k
n contenida en R
denimos el siguiente conjunto
T M = {(p, v) M Rn+k /v Tp M } =
{p} Tp M
pM
probamos que = (T M, M, Rn , ) tiene estructura de brado vectorial donde : T M

M esta dada por (p, v) = p; cada bra es 1 (p) = Tp M para cada p M , escogemos
una vecindad U al rededor de este punto y una parametrizaci
on g : W U tal que
n
g(p) = q, donde W R denimos la aplicaci
on
h : U Rn 1 (U )
(x, v) h(x, v) = Dgg1 (x) (v)
as h : Rn Tp M es un isomorsmo. Luego es un brado vectorial.
Ejemplo 2.4. El fibrado normal Sea M una variedad diferenciable de dimensi
on n
n+k
contenida en R
el espacio Np M = (Tp M ) es el espacio ortogonal a Tp M .Denimos
uple =
el siguiente conjunto N M = pM Np M M Rn+k se prueba que el cuadr
n
(N M, M, R , ) tiene estructura de brado vectorial donde (p, v) = p con v Np M .
Para cada p0 en M , produce campos vectoriales X1 , .., Xn tal que X1 (p), .., Xn (p) constituye una base de Tp M esto es para todo p que esta en una vecindad de p0 y usando el teorema de completaci
on de base existen vectores V1 , .., Vk tal que {X1 (p), .., Xn (p), V1 , .., Vk }
constituyen una base de Rn+k desde que el determinante det(X1 (p), .., Xn (p), V1 , ..Vk )
es distinto de cero y de la continuidad de esta aplicaci
on hace que esta base sea siempre
distinto de cero en una vecindad de p0 , y aplicando el proceso de ortonormalizaci
on de
n+k
Gram-Schmidt, tenemos X1 , .., Xn , Y1 , ..., Yk : W R
defnidas en una vecindad
p0 W con la propiedad de que son bases ontonormales para cada p M es decir
X1 (p), ...., Xn (p) es base de Tp M y Y1 (p), ...., Yk (p) es base de Np M . Podemos denir
h : W Rk 1 (W ) dada por h(p, t) = ki=1 ti Yi (p) la cual es una trivializaci

on
local, por lo tanto es un brado vectorial de dimensi
on k.
Para obviar algunas notaciones solo usaremos = (E, B, ) para denotar a un brado
vectorial o simplemente .
Denici
on 2.3. Considere los brados vectoriales = (E, B, ) y = (E , B , )
i. Una aplicaci
on (diferenciable) entre brados vectoriales(diferenciales) y es
una pareja de aplicaciones continuas (
o diferenciales ) (f, f) : donde
28
f : B B y f : E E tal que el diagrama

E

/B

/ B
es conmutativo.
ii. Un homomorsmo(diferenciable) entre brados vectoriales(diferenciales) y
es una aplicaci
on de bras tal que f : 1 (x) ( )1 (f (x)) es lineal para todo
x B.
Ejemplo 2.5. Sea M y M variedades diferenciales y f : M M una aplicaci
on
diferenciable, entonces f induce una aplicaci
on
Tp f = Dp f : Tp M Tf (p) M
la derivada de f que es una aplicaci
on lineal.
Denici
on 2.4. Sea y dos brados vectoriales con el mismo espacio base B, estos
brados son isomorfos si existen homomorsmo de brados (idB , f), (idB , g) tal que
f g = id y g f = id.
Presentamos otra forma de construir el Fibrado Canonico de Lneas y probaremos que
este es isomorfo al brado construido en el Ejemplo(2.2). Considere el espacio proyectivo
complejo CPn de dimension n. Con la nalidad de construir un brado vectorial cuya
bra sobre el punto [w] CPn sea una recta que pasa por w y el origen 0 Cn+1 . En
ese sentido considere
L = {([w], z) CPn Cn+1 : t C, z = tw}.
La aplicacion proyeccion : L CPn , esta denida de la forma ([w], z) = [w]; este
es brado vectorial de lnea sobre CPn . Para justicar esto veamos sus trivializaciones
para esto considere Uj = {[x0 , ..., xn ]/xj = 0} luego denimos
(
t )
hj : Uj C 1 (Uj ); ([w], t) [w],
w .
wj
Ahora si elegimos otro abierto Ui hacemos la composicion
1
h1
i hj : Uij C (Uij ) Uij C,
(
)
wi
entonces as tenemos que h1
h
([w],
t)
=
[w],
t
con lo cual sus co-ciclos quedan
j
i
wj
representados de la forma
hij : Uij GL1 (C); [w0 , .., wn ]
wi
.
wj
29
A este brado se le llama Fibrado de Lneas Tautol

ogico. Veremos que este es
isomorfo al brado construido en el Ejemplo(2.2)
S 2n+1 S 1 C

/ CPn

id
/ CPn
donde la aplicacion f esta denida de la forma f([z, t]) = ([z], tz) y su inversa esta
dada por f1 ([z], u]) = f1 ([z], tz]) = [z, t]. Con lo cual los brados en mencion son
isomorfos.
Lema 2.1. Sea y dos brados vectoriales(diferenciales) con el mismo espacio base
B y E(), E() sus respectivos espacios totales. Una aplicaci
on continua(diferenciable)
f : E() E() que aplica la bra b isom

orcamente en la bra b , es un isomorsmo.
Demostraci
on. Por hipotesis se tiene que f es continua(diferenciable), ademas una
biyeccion, por lo tanto, faltara probar que f1 , es continua(diferenciable). Considere
U B abierto en B donde y se trivializan respectivamente, entonces demostremos
que f1 : 1 (U ) 1 (U ) es continua(diferenciable), por otro lado, tenemos las
trivializaciones locales h : U Rn 1 (U ) y k : U Rn 1 (U ) de y ,
as h(x, ) : Rn 1 (x) y k(x, ) : Rn 1 (x) son isomorsmos. Ahora hacemos
la composicion
U Rn
/ 1 (U )
/ 1 (U )
h1
/ U Rn
as obtenemos la aplicacion F = k f h1 : U Rn U Rn , donde F (x, ), es un

isomorsmo que viene dada por F (x, v) = (x, F2 (x, v)), donde F2 (x, v) es la aplicacion
lineal que se obtiene, en cada punto de la aplicacion U GLn (R). Como F2 (x, ) es
un isomorsmo entonces posee inversa F21 (x, ), esto nos permitira denir F 1 , de la
siguiente forma
F 1 = h f1 k 1 : U Rn U Rn
(x, v) F 1 (x, v) = (x, F21 (x, v))
y como la inmersion
GLn (R)
F2 (x, )
GLn (R)
F21 (x, ) , x U, es diferenciable
por lo tanto, continua luego F 1 (x, v) = (x, F21 (x, v)), es continua(diferenciable), as,
f1 es continua(diferenciable).
Este
lema sera de mucha importancia, para probar cuando dos brados vectoriales son
isomorfos, de hecho en lo que sigue del trabajo usara muy seguido.
2.2.
30
Suma de Whitney
En esta seccion construiremos un brado vectorial, a partir de dos brados vectoriales

, sobre el mismo espacio base B, este nuevo brado vectorial lo llamaremos suma
de whitney; o tambien suma directa de brados vectoriales por la forma como se
deniran sus bras.
Sea y dos brados vectoriales sobre el mismo espacio base B y E(), E() su
respectivo espacio total, la suma whiney de y es otro brado vectorial denotado
por = (E( ), B, Rn Rm , ), donde el espacio total esta denido por:
E( ) = {(v, w) E() E()/ (v) = (w)};
y la aplicacion proyeccion es (v, w) = (v) = (w) y cada bra es de la forma
()b = b b . De hecho , as denido tiene estructura de brado vectorial. Si U es
un abierto de B donde y se trivializan, entonces las aplicaciones h : U Rn (U )
y k : U Rm (U ) son homeomorsmos, con lo cual podemos denir de forma
natural la aplicacion dada por:
h k : U Rn Rm 1 (U ) 1 (U )
(x, v, w) h k(x, v, w) = (h(x, v), k(x, w)).
As denida es un homeomorsmo, y restricta a cada bra es un isomorsmo.
Denici
on 2.5. El producto interno en un brado vectorial es una aplicaci
on
: E( ) R tal que : b b R en un producto interno en la bra b .
Proposici
on 2.1. Todo brado vectorial sobre una variedad compacta B tiene un
producto interno.
Demostraci
on. Sea el brado vectorial sobre la variedad compacta B, elegimos una
trivializacion local hi : Ui Rn 1 (Ui ). Como B es compacta de un cubrimiento arbitrario podemos extraer un cubrimiento nito digamos U1 , ...., Ur , ahora elijamos una
particion de la unidad {i }ri=1 subordinada a dicho cubrimiento, es decir sop(i ) Ui .
El producto interno en Rn induce un producto interno en {x} Rn , luego hi induce un producto interno en 1 (x) digamos i : 1 (x) 1 (x) R dada por
i (hi (x, v), hi (x, w)) = v, w, x Ui donde , es el producto interno canonico de
Rn . Entonces podemos denir la aplicacion
(v, w) =
i (v, w)i ( (v));
i=1
es facil ver que esta aplicacion, satisface las condiciones de producto interno en 1 (x),
B por lo tanto esta dene un producto interno en .
31
Sea M una variedad diferenciable el producto interno en el brado tangente sobre M ,

es la misma que la metrica riemanniana. Si f : W M una parametrizacion en M.
Una metrica riemanniana en M , es una funcion que a cada punto se le asigna una
aplicacion bilineal (p) : Tp M Tp M R con las siguientes propiedades:
i. Simetrica (p)(v, w) = (p)(w, v) v, w Tp M.
ii. Positiva, si v = 0 entonces (p)(v.v) > 0.
tal que la aplicacion p (p)(Dp (f (v1 )), Dp (f (v2 ))), es diferenciable en W.
2.3.
Secciones en un Fibrado Vectorial
En seguida introducimos un concepto muy importante que nos permitira seguir obteniendo mas informacion sobre los brados.
Denici
on 2.6. Una Secci
on en un brado = (E, B, ) es una aplicaci
on s : B
E tal que el diagrama
B@
@@
@@idB
@@
@

/B
E
s
conmuta, esto es s(x) 1 (x).

El conjunto de todas las secciones de un brado vectorial, es un 0 (M )3 - espacio vectorial que denotaremos por () donde la operacion suma, es la operacion suma en las
bras, y el elemento cero es el cero de alguna bra de E.
Ejemplo 2.6. Para cualquier brado vectorial sobre B se tiene bien denida una
secci
on global s : B E dada por s(x) = 0 para todo x B, a esta se le llama la
secci
on nula.
Ejemplo 2.7. El ejemplo cl
asico de secciones, son los campos vectoriales que son las
secciones del brado tangente. Sea M una variedad diferenciable de dimensi
on n y T M
el brado tangente una secci
on del brado tangente T M , es llamado compo vectorial
s : M TM
p s(p) = (p, Xp ) {p} Tp M
3
Denota el anillo de las funciones diferenciables de M en R.
32
Considere s : B M , una seccion en el brado y hj : Uj Rn 1 (Uj ), una

trivializacion del brado . La seccion s en Uj puede ser representada de la forma
n
h1
on
j (s(p)) = (p, sj (p)), donde sj : Uj R . Ahora veamos que pasa en la intersecci
no vaca de dos abiertos trivializantes de M , digamos Ujk = Uj Uk , entonces una
seccion s puede ser representada por h1
en puede ser
j (s(p)) = (p, sj (p)) en Uj , y tambi
1
n
representada por hk (s(p)) = (p, sk (p)) en Uk , donde sj : Uj R y sk : Uk Rn ,
entonces en la interseccion se tiene
1
(p, sk (p)) = h1
k (s(p)) = hk hj (p, sj (p)) = (p, hkj sj (p)),
por lo tanto sk = hkj sj . en Ujk donde hkj son los co-ciclos.

Si es un brado vectorial diferenciable, entonces denotaremos por 0 () al subespacio
vectorial de secciones diferenciales.
Denici
on 2.7. Sea = (E, B, Rn , ) un brado vectorial de dimensi
on n un referencial de en U B es un conjunto de secciones {s1 , ...., sn } ( |U ) de tal
manera que {s1 (x), ...., sn (x)} es una base de x para todo x en U.
Si M es una variedad diferenciable, de dimension n y f : U Rn M una parametrizacion de M , entonces, { x 1 , ..., xn } es un referencial de T M en el abierto coordenado
f (U ).
Localmente siempre podemos conseguir referenciales, esto es, si hj : Uj Rn 1 (Uj )
es una trivializacion del brado entonces, podemos tomar referenciales de la forma:
sj (x) = hj (x, e ), {1, ..., n}
donde {e } es la base canonica de Rn .
Si {sj1 (x), ...., sjn (x)} es un referencial en Uj y {sk1 (x), ...., skn (x)} es un referencial en Uk ,
entonces en el abierto Ujk siempre es posible hallar una matriz invertible de funciones
denidas en Ujk , de orden (n n), que relaciona los referenciales de la siguiente forma.
jk
sj =
f sk .
Por otro, se sabe que localmente siempre es posible elegir un referencial {s1 (x), ...., sn (x)},
y ademas si tiene un producto interno, usando el proceso de ortonormalizacion de
Gram-Schmidt, obtenemos una base ortonormal y decimos que {s1 , ...., sn } es un referencial ortonormal.
Considere , brados vectoriales sobre el mismo espacio base B y (idB , f) un homomorsmo de en , consideremos {si } y {ti } referenciales sobre U B, entonces
fx : x x puede ser representada por una matriz y luego podemos obtener una
aplicacion.
ad(f) : U Mn (R)
33
esto quiere decir que para cada punto x U se tiene asignada una matriz de la forma
fx : x x , ad(f) depende del referencial dada. De hecho fx : x x es un
isomorsmo si y solo si ad(fx ) GLn (R).
Si los brados vectoriales , tienen un producto interno y {si }, {ti } son estructuras
ortonormales entonces fx es una isometra si ad(fx ) On el subgrupo ortonormal de
GLn (R).
Lema 2.2. Sea , brados vectoriales(diferenciales) sobre una misma base compacta
B, que tienen un producto interno. Si f : es un isomorsmo entonces existe un
> 0 tal que todo homomorsmo g : que satisface fb gb < para b B, es
tambien un isomorsmo.
Demostraci
on. Sea {U i }ri=1 un cubrimiento nito de B, y considere referenciales s =
{si }ni=1 y t = {ti }ni=1 de y respectivamente tomados en U i . entonces, f, g quedan
representados por las aplicaciones ad(f) : B GLn (R) y ad(f) : B Mn (R), donde
fx : x x es un isomorsmo para todo x U i y como la aplicacion : U i
Rn 1 (U i ), dada por (b, x1 , ..., xn ) = x1 s1 (b) + ... + xn sn (b) con (b, x1 , ..., xn ) =
h(b, x1 , ..., xn ) donde h es la trivializacion local de ; es un isomorsmo de brados, por
lo tanto ad(fx ) GLn (R), x U i . Entonces ad(f)(U i ) GLn (R), ahora tome ad(fx )
la matriz asociada a fx , tome la vecindad V (ad(fx ), i ) GLn (R) esto es para todo x
en U i , luego ad(fx ad(gx < i , as ad(gx GLn (R) ahora tome = min{1 , ..., r }
de donde se tiene, V (ad(fx ), ) GLn (R) por consiguiente ad(gx ) GLn (R) para todo
x en B, esto implica que gx es un isomorsmo y aplicando el Lema(2.1) se concluye
que g es un isomorsmo.
El proximo resultado muestra que, no existe distincion alguna entre las nociones de
continuo y diferenciable si el espacio base B, es una variedad diferenciable compacta.
Lema 2.3. Sea , dos brados vectoriales diferenciables sobre una variedad diferenciable compacta B. Si , son continuamente isomorfas entonces, son diferencialmente
isomorfas.
Demostraci
on. Por hipotesis existe un isomorsmo continuo entre y , digamos
f : . Como B es compacta; de un cubrimiento arbitrario podemos extraer un cubrimiento nito {U i }ri=1 ; ademas , tienen un producto interno por lo tanto siempre
existen referenciales ortonormales si = (si1 , ..., sin ), ti = (ti1 , ..., tin ) de y respectivamente en U i . Sabemos que la aplicacion f : es continua ademas es un isomorsmo
con lo cual, en cada U i induce una aplicacion continua ad(fi ) : U i GLn (R) de modo
i
que en cada punto x de U i , se obtiene un isomorsmo ad(fx ); considere una aplicacion
i
diferenciable Gi : U i GLn (R) de modo que Gi (x) ad(fx ) < y aplicando el
lema anterior se tiene que Gi (x) es un isomorsmo para todo x en U i . En base a esto
34
construiremos un homomorsmo diferenciable, g : 1 (U i ) 1 (U i ) tal que
gi |b = gb i (
k sk (b)) =
tk .Gikv (b).b
k
k,v
luego ad(
g i ) = Gi , as fb gb i < esto es para todo b en U i , ahora usando la
particion de la unidad {i }ri=1 subordinada a la cobertura abierta dada, la misma que
nos permite denir
g : , de la forma, gb =
i (b)gb i
i=1
entonces, fb gb = fb ri=1 i (b)gb i ri=1 i (b)fb gb i < ri=1 i (b) =

aplicando el lema anterior y el Lema(2.1), se concluye que g : es un isomorsmo
diferenciable.
2.4.
Complementar de un Fibrado Vectorial
En los ejemplos (2.3) y (2.4) se construyo dos brados vectoriales asociadas a una
subvariedad M n Rn+k , llamados brado tangente y brado normal, que ahora en
adelante denotaremos por y respectivamente, donde la dimension de las bras de
es n y, y de las bras de es k, se puede decir que la suma de whitney es
un brado trivial donde las bras son x x = Rn+k , x M. Si n+k es un brado
trivial sobre M , de dimension (n + k) entonces, la aplicacion f : n+k , es un
isomorsmo.
Esto motiva para la presentacion y demostracion del siguiente teorema, que sera de
mucha importancia en el desarrollo de nuestro trabajo.
Denotaremos por k a un brado trivial de dimension k, sobre B.
Teorema 2.1. Sea un brado vectorial sobre una base compacta B. Entonces existe
un brado vectorial tal que es isomorfo a k , para un k sucientemente grande.
A este brado lo llamaremos el complementar de .
Demostraci
on. Como B es compacto de un cubrimiento arbitrario elegimos un cubrimiento nito {U i }ri=1 y considere las trivializaciones hi : U i Rn 1 (U i ) y tome
la particion de la unidad con Sop(i ) U i ; la composicion
1 (U i )
h1
i
/ U i Rn prj2
/ Rn
1
i
n
nos da una aplicacion f i = prj2 h1
on
i : (U ) R . Ahora denimos la aplicaci
35
S : E() B Rnr
v S(v) = ( (v), 1 ( (v))f 1 (v), ..., r ( (v))f r (v))
podemos notar que, prj1 S = donde prj1 : B Rnr B, S es una aplicacion de
bras. Este
induce un homomorsmo S : nr donde nr es el brado trivial.
Notemos que
S|b
: b {b} Rnr
v Sb (v) = (b, 1 (b)f 1 (v), ..., r (b)f r (v))
veamos que esta es inyectiva para eso se usemos la denicion, si Sb (v) = (b, 0) donde
v b , esto implica que (b, 1 (b)f 1 (v), ..., r (b)f r (v)) = (b, 0) y como b U i para
alg
un i luego, i (b) = 0 para este i por lo tanto, si i (b)f i (v) = 0 implica que f i (v) = 0
as v = 0. Con esto tenemos que S|b (b ) es una bra en el brado B Rnr de dimension
n que lo indicaremos por S(b ).
Como Rnr tiene un producto interno, con lo cual podemos denir el siguiente cuadruple
= (E(), B, Rnrn , prj1 ),
donde E() = {(b, v)/b B, v (S(b )) } y prj1 : E() B dada por: prj1 (b, v) = b
probaremos que este es un brado vectorial.
Sabemos que es un brado vectorial donde las trivializaciones son hj : U j Rn
1 (U j ), elijamos un referencial en una vecindad V de b U j ( la vecindad puede ser mas peque
na que U j ), de la forma hj (b, e ) = s (b) donde {1, .., n}
as {s (b)}=1,..,n forma una base de b esto es b V U j , ademas se tiene
que, S : b S(b ) es un isomorsmo entonces, {S(s (b))}={1,..,n} es una base
de S(b ) por el proceso de ortonormalizacion de Gram-Smhithd la podemos considerar como una base ortonormal de S(b ) y como S(b ) S(b ) = {b} Rnr luego obtenemos que dim(S(b ) ) = nr n. Ahora aplicamos el teorema de comple
(b)} patacion de base para obtener una base {S(s1 (b)), ..., S(sn (b)), Fn+1
(b), ..., Fnr
(b)} forman parte de la

ra {b} Rnr , observemos que los vectores {Fn+1
(b), ..., Fnr
base solo en el punto b, pero eso se puede extender a una vecindad de b puesto
(b)) = 0 es una funci

on continua. Lueque det(S(s1 (b)), ..., S(sn (b)), Fn+1
(b), ..., Fnr
go ortonormalizando Fn+1 (b), ..., Fnr (b)} se obtiene una base para S(b ) digamos
{v1 (b), ..., vnrn (b)}. Con esto ya podemos denir
kj
: U j Rnrn prj11 (U j )
(b, z) kj (b, z) = nrn

j=1 zj vj (b),
donde z = (z1 , ..., znrn ), por la forma como se ha denido se tiene que kj es un homeomorsmo local tal que kj (b, ) : Rnrn prj11 (b) es un isomorsmo. Luego es
36
un brado vectorial.
Solo faltara probar que es isomorfo a nr , donde tenemos la inclusion E()
B Rnr , dada por (b, w) (prj1 (b, w), s(w) ) donde s(w) S(b ) y s(v) =
(1 ( (v))f 1 (v), ..., r ( (v))f r (v)) ahora podemos denir la aplicacion
:
nr
(v, w) s(v) s(w)
as es continua y un isomorsmo de bras, luego por el Lema(2.1), se concluye que

es un isomorsmo de brados vectoriales.
2.5.
Fibrado Inducido e Invarianza por Homotopa
Antes de construir el brado inducido, construiremos un conjunto V ectn (B) que contiene a las clases de isomorsmo de un brado sobre una misma base B, de dimension
n esto es
V ectn (B) = {[]/ brado vectorial de dimension n },
donde [] = {/ es isomorfo a }. La suma directa de brados vectoriales induce una
aplicacion
: V ectn (B) V ectm (B) V ectn+m (B)
([1 ], [2 ]) [1 ] [2 ] = [1 2 ].
Ahora el conjunto V ect(B) =

n=0 V ectn (B), es un semigrupo abeliano con la operacion (cerrada y asociativa). En el caso que n = 0 tenemos V ect(B) = V ect0 (B) = 0 .
En lo que sigue hacemos la descripcion del grupo de Grothendieck. Considere (V, +)
un semigrupo abeliano, a partir de este construimos un grupo abeliano de la siguiente
forma, sea (x1 , y1 ), (x2 , y2 ) V V,
decimos que (x1 , y1 ) (x2 , y2 ) si y solo si, z V tal que x1 + y2 + z = y1 + x2 + z
as es una relacion de equivalencia, entonces denimos el conjunto
V V
= {[(x, y)]/x, y V }
luego (K(V ), +) es un grupo abeliano, tambien se puede escribir de la forma

K(V ) =
K(V ) =
donde
V V
= {[(x, y)]/x y = (x + z) (y + z), z V },
[(x, y)] = [(y, x)] y [(x, x)] = 0

[(x , y )] + [(x , y )] = [(x + x , y + y )].
1 1
2 2
1
2 1
2
37
Siguiendo la misma idea concluimos diciendo que (K(V ect(B)), ) es un grupo abeliano, en el caso que B es compacto usaremos la notacion KO(B) = K(V ect(B)). Por
el Teorema(2.1), los elementos de KO(B) son de la forma [] [k ] donde, [] denota
la clases de isomorsmo del brado vectorial . Osea

KO(B) = {[] = [(1 , 2 )]/[] = [1 ] [2 ]}
esto es pues
[1 ] [2 ] = ([1 ] [2 ]) ([2 ] [2 ]) = [1 2 ] [2 2 ] = [] [k ]
donde 2 es el complemento de 2 .
Ahora presentamos el brado inducido.
Denici
on 2.8. Sea f : X B una aplicaci
on continua(diferenciable) y un brado
vectorial(diferenciable) sobre B luego el fibrado inducido denotado por f es un
brado vectorial sobre X.
Veamos una breve descripcion de la construccion del brado inducido. El espacio total
esta dado por
E(f ) = {(x, v) X E()/f (x) = (v)}
y la proyeccion f : E(f ) X dada por f (x, v) = x note que, f = prj1
as denido el espacio total de f y la proyeccion, hace que el diagrama
E(f )
prj1
prj2
/ E()

/B
conmute, esto signica que las bras sobre b B se corresponden con las bras sobre
f 1 (b).
Si hj : Uj Rn 1 (Uj ) es una trivializacion de , entonces
kj
: f 1 (Uj ) Rn prj11 (f 1 (Uj ))

(x, u) kj (x, u) = (x, hj (f (x), u)),
es una trivializacion para f .

Observaci
on 2.1. Si , son dos brados vectoriales isomorfos, sobre la mima base
B y f : X B una aplicaci
on continua entonces f y f son brados vectoriales
isomorfos, sobre X.
Si f : X B es una funcion continua, por la observacion anterior f induce un
homomorsmo
f : V ect(B) V ect(X)
38
que junto con g : Y B(aplicacion continua) y (un brado vectorial sobre B) goza
de las siguientes propiedades:
i. (g f )
= f g .
ii. id
= .
donde es el representante de alguna clase de equivalencia.
2.5.1.
Invarianza por Homotopa en Fibrados Vectoriales
Una propiedad fundamental del brado inducido la vemos en el siguiente teorema.

Teorema 2.2. Sea X, un espacio topol
ogico compacto y f0 , f1 : X B aplicaciones
homot
opicas. Si es un brado vectorial sobre B entonces, los brados f0 y f1 son
isomorfos.
Demostraci
on. Por hipotesis f0 , f1 : X B son aplicaciones homotopicas entonces,
existe F : X I B homotopa entre f0 , f1 donde I = [0, 1]; por lo tanto podemos
denir una familia de aplicaciones ft : X B tal que ft (x) = F (x, t), la composicion
X I
prj1
ft
/X
/B
induce un brado vectorial sobre X I que denotaremos por = (ft prj1 ) , de la

misma forma la aplicacion F : X I B induce un brado vectorial sobre X I que
se denotara por = F . En el caso que I = {t} se tiene que F = ft prj1 , por lo
tanto, = , as podemos obtener un isomorsmo de brados,
h
/
GG
GG
GG
GG
GG
X {t}.
de brados, sobre X [t , t + ] para
El primer paso es extender el homomorsmo h
alg
un > 0. De la compacidad de X podemos elegir un cubrimiento nito {U1 , ..., Ul }
tome i asociada a cada Ui y considere las trivializaciones de , dadas por: ri :
(Ui [t i , t + i ]) Rn 1 (Ui [t i , t + i ]), si : (Ui [t i , t + i ]) Rn
1 (Ui [t i , t + i ])
hi
/
NNN
NNN
NNN
NNN
N'

Ui [t i , t + i ].
Recordemos que si dos brados se trivializan sobre el mismo abierto estos son isomorfos.
Este
es el caso entonces, hi es un isomorsmo.
39
Ahora considere {i }i={1,..,l} la particion de la unidad con sop(i ) Ui y considere

= mn{i }, entonces formamos el diagrama
/
MMM
MMM
MMM
MMM
&

X [t , t + ]
donde k queda denida de la forma:
k(v)
=
i (prj1 (v))hi (v),
i=1
en X {t}, as k
cuando (v) X {t}, hi (v) = h(v)
y como i = 1 se tiene, k = h
es un isomorsmo en X {t}. Finalmente demostremos que k es un isomorsmo en una
vecindad X [t 1 , t + 1 ] de X {t}. Como X es compacto es suciente demostrar
que k es un isomorsmo en una vecindad V (x, t) de X {t}. Para esto considere e, s
referenciales de y respectivamente en una vecindad W del punto (x, t). Por ahora
tenemos que
: X [t , t + ] Mn (R)
ad(k)
: X {t} GLn (R) esto es ad(k)(x,
y tambien ad(k)
t) GLn (R) y como GLn (R) es
abierto y ad(k)(x, t) es una matriz invertible, por la continuidad del determinante se
concluye, que ad(k)(x,

t) GLn (R) en Uj [t j , t + j ], ahora tomando 1 = mn{j }
y por la compacidad de X [t 1 , t + 1 ] se tiene ad(k)(x,

t) GLn (R) cuando
(x, t) X [t 1 , t + 1 ] por lo tanto, k es un isomorsmo luego f0 y f1 son brados
isomorfos.
Antes de presentar el siguiente corolario damos algunas observaciones, que son armaciones que son faciles de justicar.
Observaci
on 2.2. Sea un brado vectorial.
i. Si es un brado vectorial sobre un punto entonces, es un brado trivial.
ii. Si f : X B, continua(diferenciable) y un brado trivial sobre B entonces,
f es un brado trivial sobre X.
Corolario 2.1. Todo brado vectorial sobre una base B contr
actil, es trivial.
Demostraci
on. Como B es contractil entonces, tiene el mismo tipo de homotopa que
la de un punto esto quiere decir que existen aplicaciones f : B {p} y g : {p} B
continuas tal que, g f es homotopica a idB , usando el teorema anterior y la observacion(2.1) tenemos (g f )
= idB
= , as f g
= . Por otro lado observamos
40
que g es un brado sobre {p} y por la Observacion(2.2) es trivial, ademas como f es

continua entonces f g es trivial, luego es trivial.
2.6.
Operaciones con Fibrados Vectoriales
Las operaciones mas importantes con brados vectoriales son producto tensorial y
el producto exterior; en ese sentido abordamos esta seccion hablando del producto
tensorial de modulos, que es el caso mas general del producto tensorial de espacios
vectoriales nalmente el producto exterior.
2.6.1.
Producto Tensorial y Exterior de M

odulos
Antes de presentar la construccion del producto tensorial y exterior, sera necesario

introducir algunas operaciones sobre modulos. Sea R un anillo con unidad, (V, +, ) es
un Rmodulo si solo si, (V, +) es un grupo abeliano y la aplicacion R V V dada
por (r, v) rv satisface las condiciones.
r(v + w) = rv + rw
(r + s)v = rv + sw
(rs)v = r(sv)
1 v = v, r, s R, v, w V.
Un R modulo (V, +, ), se llama modulo libre si y solo si, V posee una base. Ademas
decimos que M V es un submodulo de V, si es un modulo por si solo con las mismas
operaciones.
Considere V, W dos Rmodulos, una aplicacion f : V W se llama homomorsmo de
Rmodulos si satisface f (v + w) = f (v) + f (w) y f (rv) = rf (v) v, w V y r R.
Si f es una biyeccion entonces decimos que f es un isomorsmo.
Sea V, W modulos sobre el anillo R, considere las funciones de la forma
V W
(vi , wi )
R
0 , salvo para un n
umero nito de puntos.
Denotaremos por R[V W ] al conjunto de funciones de la forma ni=1 ri (vi , wi ) donde

ri R. Por la forma como se denio R[V W ] este es un Rmodulo libre con base
V W.
41
En R[V W ] consideremos el submodulo R(V, W ) de elementos de la forma:
(v1 + v2 , w) (v1 , w) (v2 , w)
(v, w + w ) (v, w ) (v, w )

1
2
1
2
(1)
(rv, w) r(v, w)
(v, rw) r(v, w); donde vi V, wi W y r R.

Ahora ya estamos en condicion de dar la denicion formal del producto tensorial.
Denici
on 2.9. Considere V, W dos Rm
odulos, denimos el producto tensorial
que denotaremos por V R W , como
V R W =
R[V W ]
.
R(V, W )
Las clases de equivalencia de V R W son denotadas (v, w) = w w. Todo elemento
de V R W se escribe como ni=1 ri (vi wi ), la proyeccion canonica restricta a V W

esta dada por
: V W V R W
(v, w) v w
esta es Rbilineal por (1). Entonces tenemos:
(v1 + v2 ) w = (v1 w) + (v2 w)
v (w + w ) = (v w ) + (v w )
1
r(v w) = (rv w)
r(v w) = (v rw); donde vi V, wi W y r R.
(2)
Para la prueba de resultados en adelante el que mas utilizaremos es la propiedad

universal del producto tensorial, que la presentamos en el siguiente lema.
Lema 2.4. Considere V, W y U tres Rm
odulos. Dada una aplicaci
on R bilineal
f : V W U , entonces existe una u
nica aplicaci
on Rlineal f : V R W U tal
que f = f .
Demostraci
on. Denamos la aplicacion:
fb :
R[V W ] U
n
i=1 ri (vi , wi )
i=1 ri f (vi , wi ),
as fb es Rlineal y como f es R bilineal por consiguiente, fb|R(V,W ) = 0, con lo cual

fb es independiente de los elementos de R(V, W ). Ahora podemos extender fb a una
aplicacion f : V R W U dada por f (v w) = f (v, w), eso demuestra la existencia;
42
ahora para la unicidad supongamos que g : V R W U es otra aplicacion Rlineal

tal que g(v w) = f (v, w), considere x V R W entonces
n
n
n
g(x) = g(
ri (vi wi )) =
ri g(vi wi ) =
ri f (vi , wi ) = f (x)
i=1
i=1
i=1
luego f es u
nica.
Sea : V V y : W W , homomorsmos de Rmodulos, estas inducen una

aplicacion Rbilineal : V W V W denida por (v, w) = ((v), (w)),
hacemos la composicion
V W
/ V W
/ V R W
entonces ( ) es Rbilineal, por lo tanto por el lema anterior existe un u

nica
aplicacion Rlineal
: V R W V R W
(v w) (v) (w).
El lema que damos a continuacion solo es valido para modulos libres o en particular
para espacios vectoriales.
Lema 2.5. Considere V, V dos R m
odulos libres con bases B, B respectivamente
entonces, V R V es un R m
odulo libre con base {b b /b B, b B }.
Demostraci
on. Como : V V V R V es R-bilineal, entonces todo elemento
v v se puede escribir de la forma: v v = n,m

i,j=1 rij (bi bj ) donde bi B, bj B
y rij R. Solo faltara probar que {b b /b B, b B } es linealmente independiente
para esto considere
n,m
rij (bi bj ) = 0,
()
i,j=1
ahora denamos las aplicaciones lineales

i0 : V R con i0 (bi ) = 0 si i0 = i y i0 (bi ) = 1 si i0 = i y j0 : V R con
j0 (bj ) = 0 si j0 = j y j0 (bj ) = 1 si j0 = j; entonces existe una u
nica aplicacion
lineal i0 j0 : V R V R R R . Se hace la composicion
i0 j0
V R V
/ R R R
mult
/ R,
donde mult es el operador multiplicacion en el anillo R, entonces obtenemos una

aplicacion lineal f = mult i0 j0 , aplicando f en () tenemos:
f
n,m
(
i,j=1
rij (bi
bj )
n,m
i,j=1
rij f (bi
bj )
n,m
i,j=1
rij i0 (bi ).j0 (bj ) = 0
43
por lo tanto rij = 0.
En seguida presentamos algunas propiedades del producto tensorial, en esta oportunidad solo probaremos dos ellas.
Proposici
on 2.2. Sea V , V1 ,V2 y V3 Rm
odulos entonces tenemos:
i. R R V
= V.
ii. V1 R V2
= V2 R V1 .
iii. (V1 R V2 ) R V3
= V1 R (V2 R V3 ).
iv. (V1 V2 ) R V3
= V1 R V3 V2 R V3 .
Demostraci
on. Para la parte (i) denimos una aplicacion bilineal
B : RV V
(r, v) rv,
entonces por la propiedad universal del producto tensorial existe una u
nica aplicacion
lineal f : RR V V tal que f (rv) = rv ahora demostremos que f es un isomorsmo.
Si x R R V , entonces se puede escribir x = ni=1 ri vi tambien x = ni=1 ri 1 vi
y por la bilinealidad de tenemos x = 1 ni=1 ri vi = 1 z donde z V . Ahora

veamos la inyectividad sea x, y R R V osea x = 1 z1 y y = 1 zz , por lo tanto si
f (x) = f (y) entonces 1x = 1y. Para la sobreyectividad dado z V existe 1 z tal que
f (1 z) = z, luego f es isomorsmo.
Para la prueba de (ii) tome : V2 V1 V2 R V1 la aplicacion bilineal entonces,
podemos denir la aplicacion : V1 V2 V2 R V1 de la forma (v, w) = (w, v) as
es bilineal y por el Lema(2.4) existe una u
nica aplicacion lineal : V1 R V2 V2 R V1
tal que (v w) = (w, v); ahora invirtiendo los roles sea : V1 V2 V1 R V2

la aplicacion bilineal denimos : V2 V1 V1 R V2 de la forma (w, v) = (v, w)
luego, es bilineal y por el Lema(2.4) existe una u
nica aplicacion lineal : V2 R V1
V1 R V2 tal que (w v) = (v, w). Ahora hacemos las composiciones
(v w) = ( (w, v)) = (w v) = (v, w) = v w = idV1 R V2 y
(w v) = ((v, w)) = (v w) = (w, v) = w v = idV2 R V1 ,
por lo tanto es un isomorsmo.
44
La construccion del producto tensorial de k, Rmodulos es totalmente analoga a

la construccion ya hecha para dos Rmodulos, por lo tanto se puede generalizar la
propiedad universal del producto tensorial. Sea f : V1 V2 ... Vk W una
aplicacion R multilineal de modulos entonces, existe una u
nica aplicacion lineal
f : V1 R V2 R ... R Vk W tal que f = f .
Por la asociatividad del producto tensorial podemos escribir V R V R ... R V =
{z
}
|
kveces
k
odulo Ak (V ) kR V donde sus elementos estan geneR V y considere el Rsubm

rados por el conjunto
{v1 ... vk /vi V y vi0 = vi0 +1 para alg
un i0 }.
Denici
on 2.10. Denimos el k producto exterior como el m
odulo cociente
k
kR (V
)=
RV
,
k
A (V )
donde las clases de equivalencia ser

an denotadas por: v1 ... vk = v1 R ... R vk .
La imagen de v1 ... vk por la proyeccion canonica viene dada por:
1 :
kR (V )
(v1 ... vk ) v1 R ... R vk ,
RV
as 1 (v1 ... vk ) = 0 si y solo si vi0 = vi0 +1 .

Haciendo la composicion
V ... V
RV
/ k (V )
R
obtenemos una aplicacion = 1 , Ralternante. Si : {1, ..., k} {1, ..., k} es una

permutacion, entonces tenemos que
v1 R .... R vk = sign()(v(1) R ... R v(k) )
Lema 2.6. Sea w : V ... V W una aplicaci
on Ralternante entonces, existe
k
una u
nica aplicaci
on Rlineal w : R (V ) W tal que w = w .
Demostraci
on. La aplicacion w es alternante por consiguiente Rmultilineal entonces,
k
induce una u
nica aplicacion Rlineal w
b :
b 1 ... vk ) =
R V W tal que w(v
w(v1 , ..., vk ) por otro lado como w es alternante se tiene que w
b se anula en Ak (V ) por
lo tanto es independiente de las relaciones con lo cual podemos denir w : kR (V ) W
de la forma w(v1 R ... R vk ) = w(v1 , ..., vk ) esto proporciona la existencia. Ademas
como 1 (V ... V ) = kR (V ), w es u
nica.
45
Sea V , W dos R espacios vectoriales de dimension nita y Altk (V ) es el conjunto

de aplicaciones alternas. En lo que sigue para simplicar la notacion usaremos V W,
k
(V ), k (V ) y Hom(V, W ).
Sea V = Hom(V, R) el espacio vectorial dual de V ; el producto exterior de formas
alternas permite denir la aplicacion
: V ... V Altk (V )
(T1 , ..., Tk ) (T1 , ..., Tk ) = T1 ... Tk
as es alternante y por el lema anterior, existe una u
nica aplicacion Rlineal
:
k (V ) Altk (V )
(T1 R ... R Tk ) (T1 R ... R Tk ) = T1 ... Tk .
(3)
Teorema 2.3. Tenemos las siguientes armaciones:

i. La aplicaci
on dada en (3) es un isomorsmo.
ii. Si {ei }ni=1 es una base de V entonces, {ei1 ... eik /i1 < ... < ik } es una base de
k (V ).
iii. Los espacios vectoriales k (V ) y k (V ) son isomorfos.
Demostraci
on.
i Para(demostrar
que es un isomorsmo es suciente vericar
n)
k
que dim (V ) =
= dim Altk (V ) donde n es la dimension de V . Tome
k
{Ti1 ... Tik /1 i1 < ... < ik n} una base para Altk (V ), por la forma
(n )como
k
se denio entonces este es sobreyectiva por consiguiente dim (V )

; por
k
otro lado se sabe que {v1 ... vk /vi B} donde ({vi } base de V )} es una base
de kV . Por el Lema(2.5) entonces, v1 ... vk = v1 R ... R (vk)genera k (V )

n
y como dim k (V ) = dim k (V ) se concluye dim k (V )
aplicando el
k
teorema de la dimension, es inyectiva. As es un isomorsmo.
ii Esto se puede obtener de la parte (i) y de (3).
iii Denimos la funcion g : Altk (V ) k (V ). Para esto considere w Altk (V ) una
aplicacion k-alternante, luego por el Lema(2.6) w induce una u
nica aplicacion
k
lineal g(w) : (V ) R. Por consiguiente, g es lineal e inyectiva. De la parte (i)
tenemos dim k (V ) = dim Altk (V ) . Por lo tanto g es un isomorsmo.
2.6.2.
Fibrado Dual, Producto Tensorial de Fibrados, Homomorfismo

de Fibrados y Producto Exterior de Fibrados.
La idea fundamental de esta seccion es construir nuevos brados vectoriales a partir

de otros brados vectoriales que daran. Sea B espacio topologico, consideremos dos
46
brados vectoriales = (E(), Rn , ) y = (E(), Rm , ) denidos sobre la misma

base B.
1. , el dual de un brado vectorial .
Tenemos que es un brado vectorial. Queremos construir un brado vectorial
cuyas bras sean x donde x son las bras de , para tal caso empezamos
deniendo la union disjunta E( ) = xB x y la proyeccion

: E( ) B
f (f ) = x, donde f x .
Considere hi : Ui Rn 1 (Ui ) las trivializaciones locales para donde h1

i (x, ) :
n
x R es un isomorsmo, a partir de estas se construiran aplicaciones de la forma:
hi : Ui (Rn ) ( )1 (Ui )
(x, f ) hi (x, f ) = f h1
i (x, );
entonces hi son las trivializaciones locales para . Si hji : Uij Gln (R) son los
co-ciclos de , veamos los co-ciclos para , para esto hagamos la composicion
Uij (Rn )
hi
/ ( )1 (Uij )
(hj )1
/ Uij (Rn )
1
(hj )1 hi (x, f ) = (x, f h1
i (x, ) hj (x, )) = (x, f hji (x))
por lo tanto, los co-ciclos quedan determinados de la forma

(hji ) : Uij Aut((Rn ) )
x (hji ) (x)(f ) = f h1
ji (x).
2. , el producto tensorial de brados vectoriales.
En este caso tome y dos brados vectoriales dados. Considere el conjunto
E( ) = xB (x x ) donde x , x son las bras de y respectivamente;

junto con la proyeccion
: E( ) B
v w (v w) = x donde v x , w x .
Tenemos que hi : Ui Rn 1 (Ui ) son las trivializaciones locales de y
ki : Ui Rm 1 (Ui ) son las trivializaciones locales de , en base a estas
denimos las aplicaciones
1
i : Ui (Rn Rm )
(Ui )
(x, v w) i (x, v w) = hi (x, v) ki (x, w),
47
que son las trivializaciones locales para . Sea hji : Uij GLn (R) y kji : Uij
GLm (R) los co-ciclos correspondientes a y respectivamente, ahora veamos los
co-ciclos para , para eso hacemos la composicion
Uij (Rn Rm )
/ ( )1 (Uij )
1
j
/ Uij Rn Rm
1
1
j i (x, v w) = j (hi (x, v) ki (x, w)) = (x, hji (x)v) (x, kji (x)w)
entonces, las funciones

ji : Uij
Aut(Rn Rm )
x ji (x)(v w) = hji (x)v kji (x)w
son efectivamente los co-ciclos de .

3. Hom(, ), el homomorsmo de brados vectoriales.
Nuestro interes ahora es construir el brado Hom(, ) cuyas bras son Hom(x , x )
donde x ,x son las bras de los brados y respectivamente, con esa idea con
sidere Hom(E(), E()) = xB Hom(x , x ) junto con la proyeccion
Hom(,) : Hom(E(), E()) B dada por: Hom(,) (f ) = x tal que f
Hom(x , x ). Por otro lado tenemos hi : Ui Rn 1 (Ui ) y ki : Ui Rm
1 (Ui ) las trivializaciones locales de y respectivamente, en base a estas
denimos las aplicaciones
Hi : Ui Hom(Rn , Rm ) Hom(,) (Ui )
(x, f ) Hi (x, f ) = ki (x, ) f h1
i (x, )
que constituyen las trivializaciones locales de Hom(, ). Veamos ahora los cociclos de Hom(, ) en base a hji : Uij GLn (R) y kji : Uij GLm (R), para
eso hacemos la composicion:
Uij Hom(Rn , Rm )
Hi
/ (Hom(,) )1 (Uij )
Hj1
/ Uij Hom(Rn , Rm )
1
1
Hj1 Hi (x, f ) = (x, kj1 ki (x, )f (h1
j hi ) (x, )) = (x, kji (x)f hji (x))
es decir: Hj1 Hi (x, f ) = (x, Hji (x)f ) donde
Hji : Uij Aut(Hom(Rn , Rm ))

x Hji (x)f = kji (x) f h1
ji (x)
estos constituyen los co-ciclos correspondientes al brado Hom(, ).
4. k , el producto exterior del brados vectoriales .
Sea V un espacio vectorial real de dimension nita, en espritu de la Denicion(2.10) tenemos un producto exterior k V alterno, de la misma forma podemos
tener el producto exterior k x alterno donde x es la bra del brado vectorial
48
. Nuestro interes es construir un brado vectorial k cuyas fras sean k x . En
ese sentido consideramos E(k ) = xB k x junto con la aplicacion proyeccion

k : E(k ) B denida como k (v1 R .... R vk ) = x tal que vi x , por
otro lado tenemos las trivializaciones locales hi : Ui Rn ( )1 (Ui ) de , en
base a estas construimos las funciones:
Hi :
(x, ea1
Ui k Rn (k )1 (Ui )
R .... R eak ) hi (x, ea1 ) R .... R hi (x, eak ),
donde e1 , ..., en es alguna base de Rn , estas son las trivializaciones locales para
k . Para ver los co-ciclos veamos que sucede en la interseccion Uij
Uij k Rn
Hi
/ ( k )1 (Uij )

Hj1
/ Uij k Rn
luego hacemos la composicion

Hj1 Hi (x, ea1 R .... R eak ) = Hj1 (hi (x, ea1 ) R .... R hi (x, eak ))
1
= h1
j hi (x, ea1 ) R ... R hj hi (x, eak )
= (x, hji (x)ea1 R ... R hji (x)eak )

por lo tanto los co-ciclos vienen representados por:
Hji : Uji Aut(k Rn )
x Hji (x) = hji (x) R .... R hji (x)
|
{z
}
kveces
Cabe mencionar que cuando es el brado tangente , las secciones de este

brado son las kformas diferenciales.
Para terminar con esta seccion presentamos un lema que relaciona algunos isomorsmos entre brados vectoriales. Pero antes hacemos una breve descripcion del material
tecnico a usar.
Si V, W son R espacios vectoriales de dimension nita podemos obtener una aplicacion
: V W Hom(V, W ) denida por (f w) = fw , donde fw : V W, fw (v) =
f (v)w por lo tanto, es Rlineal ademas inyectiva, tambien por el Lema(2.5) V W
y Hom(V, W ) tienen la misma dimension por lo tanto, es un isomorsmo.
Lema 2.7. Sea y brados vectoriales sobre la misma base entonces, tenemos los
siguientes isomorsmos:
i.
=
ii.
= Hom(, )
49
Demostraci
on. .
i. Por el Lema(2.1) es suciente establecer una aplicacion continua :
que aplique isomorcamente bras de en bras de . En ese sentido denamos (v) : R tal que v (g) = g(v) donde g x . Para demostrar que es continua veamos que la representacion local es continua, para
eso considere hi : Ui Rn ( )1 (Ui ), hi : Ui (Rn ) ( )1 (Ui ) y
h
: Ui (Rn ) ( )1 (Ui ) las trivializaciones de los brados , y
i
respectivamente entonces, expresamos la representacion local de la forma:
1 h : U Rn U (Rn )
(h
i
i
i
i )
1
1
(h
hi (x, v) = (h
i )
i ) hi (x,v)
= (x, hi (x,v) hi )
= (x, f (v)) donde f (Rn ) ,
por lo tanto es continua entonces, es un isomorsmo de brados.
ii. Con la misma idea de la parte (i) y en espritu a los comentarios previos a este
lema denimos la aplicacion
:
Hom(, )
(f w) (f w)v = f (v)w
para demostrar la continuidad de esta aplicacion, demostremos la continuidad de

la expresion local para eso considere las trivializaciones i : Ui ((Rn ) Rm )
( )1 (Ui ) del brado y i : Ui Hom(Rn , Rm ) (Hom(,) )1 (Ui ) las
trivializaciones del brado Hom(, ), por lo tanto, la representacion local de
n
m
n
m
es 1
i i : Ui ((R ) R ) Ui Hom(R , R ) que puede ser expresada
de la forma
1
1
i i (x, f w) = (x, i f 1 (x,)i (x,w) i (x, ))
i
Rn
aplicando v
y usando la denicion de tenemos:
1
i i (x, f w)v = (x, f (v)w), la misma que es una aplicacion continua
luego, es un isomorsmo de brados.
2.7.
Complexificaci
on de un Fibrado Vectorial
Sea un brado vectorial complejo de dimension n, este induce un brado vectorial

real R de dimension 2n esto puede ser posible haciendo perder la estructura compleja
de las bras de .
50
Por otro lado si es un brado vectorial real de dimension n sobre B, este induce
un brado vectorial complejo C esto puede hacerse complexicando las bras de , y
obtenemos
C =
x R C
xB
entonces queda denido un brado vectorial complejo de dimension n sobre B, que se

llama la complexicaci
on de .
Sea V = (V, +, ) un Cespacio vectorial, la estructura V = (V, +, ) es tambien un
Cespacio vectorial donde la operacion esta denida de la forma z v = z v, a V
se le conoce como espacio vectorial conjugado de V. La aplicacion
: V R C V V
v z (v z) = (zv, zv)
es un R isomorsmo de Cespacios vectoriales, lo que a nosotros nos interesa es un
Cisomorsmo para esto cambiamos el segundo sumando del rango de por V (espacio
vectorial conjugado) y redenimos de la forma
: V R C V V
v z (v z) = (zv, z v),
(4)
se verica que esta aplicacion es un Cisomorsmo. Por otro lado identicamos a V

con V (dual de V) mediante la aplicacion : V V de la forma (v)w = w, v se
puede probar que es un Cisomorsmo, por lo tanto tenemos
V R C
= V V .
(5)
Lema 2.8. Tenemos los siguientes isomorsmos:

i. Para un brado vectorial real tenemos: (C )R
=
ii. Para un brado vectorial complejo tenemos: (R )C
=
Demostraci
on. Para (i) usamos los comentarios previos a este lema. El brado vectorial real induce un brado vectorial complejo C complexicando sus bras es decir
(x )C = x R C. El brado vectorial complejo C induce un brado vectorial real
(C )R donde sus bras son de la forma: ((x )C )R = x R (R R)
= x x que son
las bras del brado por lo tanto, podemos denir una aplicacion continua entre
estos brados de ah se tiene que los brados son isomorfos.
Para (ii) tenemos que es un brado vectorial complejo de dimension n este brado induce un brado vectorial real R donde sus bras son Respacios vectoriales de
dimension 2n. Ahora R induce un brado vectorial complejo (R )C cuyas bras son
51
((x )R )C = (x )R R C. La idea es aplicar el Lema(2.1) para eso necesitamos denir

una aplicacion continua : (R )C que proporcione un isomorsmo de bras
entonces denimos (v z) = (zv, (v)) donde (v) es como (5) por lo tanto nos
da un isomorsmo de bras, faltara ver la continuidad, para eso tenemos que ver la
continuidad de su expresion local en ese sentido considere hi : Ui Cn 1 (Ui ),
hi : Ui Cn Cn ( , )1 (Ui ) y ki : Ui Cn (Cn ) ( )1 (Ui ) las trivializaciones de los brados , (R )C y respectivamente entonces, la expresion local
queda expresada de la forma
ki1 hi (x, v, v) = ki1 (hi (x, v), hi (x, v))
= ki1 (hi (x, v) z), donde z C
= ki1 (zhi (x, v), (v)), donde (v) x
= (x, h1
i (x, ) () hi (x, )), donde x
y la aplicacion () hi (x, ) : Cn C, es de la forma ()(hi (x, v)) = hi (x, v), .
As es continua por lo tanto, es un isomorsmo de brados vectoriales.
2.8.
Propiedades Fundamentales
En esta parte desarrollaremos algunas propiedades fundamentales que son necesarias

para nuestros objetivos, entonces la idea de esta seccion es basicamente en relacionar
las secciones de un brado con las secciones de otros brados.
Sea un brado vectorial diferenciable sobre M , tenemos que el espacio de las secciones diferenciables 0 () del brado es un 0 (M )modulo, donde la multiplicacion
act
ua de la forma (f s)(x) = f (x)s(x) donde s 0 () y f 0 (M ). En virtud
a la Denicion(2.9) y (2.10) tenemos 0 () 0 (M ) 0 ()4 y k (0 ()) son nuevos
0 (M )modulos.
Generalmente 0 () no es un 0 (M )modulo libre, en la proposicion siguiente damos
el caso cuando este es modulo libre.
Proposici
on 2.3. Un brado vectorial es trivial si y s
olo si, el conjunto de secciones
n
{si (x)}i=1 forman una base de x para todo x M .
Demostraci
on. Para la primera implicacion suponga que es trivial sobre M con espacio total E entonces existe un homeomormo h : M Rn E. Sea si : M E las
funciones denidas por si (x) = hi (x, ei ), donde {ei } es la base canonica de Rn y como h
es un isomorsmo en cada bra entonces se concluye que el conjunto {si (x)}ni=1 forman
una base de x para todo x M . Para la otra implicacion considere s1 , ..., sn secciones
4
y son brados vectoriales reales.
52
linealmente independientes; en base a estas denimos la aplicacion h : M Rn E

dada por:
h(x, v) = v1 s1 (x) + ... + vn sn (x),
donde v = (v1 , ..., vn ) as h es continua y mapea cada bra del brado trivial en
la correspondiente bra en isomorcamente y por el Lema(2.1) h es un isomorsmo de brados. Entonces es trivial. Esto quiere decir que si es un brado vectorial(diferenciable) admite secciones globales entonces el brado es trivial.
Para entender mejor considere a L como un brado de lnea(diferenciable) sobre M
tome el brado vectorial(diferenciable) Hom(L, L) y sea s : M Hom(L, L) la aplicacion denida por s(p) = (p, idLp ) esta aplicacion es suave no nula y mapea cada p M
en la bra sobre p de Hom(L, L) luego es una seccion global por lo tanto, el brado
Hom(L, L) = L L5 es trivial.
Esta
proposicion muestra tambien que el espacio de secciones sobre el brado trivial
es un 0 (M )modulo libre.
Lema 2.9. Sea un brado vectorial sobre una variedad diferenciable compacta M .
Entonces 0 () es suma directa de 0 (M )m
odulos libres nitamente generados.
Demostraci
on. Por un lado tenemos: 0 ()0 ()
= 0 () y usando el Teorema(2.1)
obtenemos:
0 ( ) = 0 (n+k )
0 () 0 () =
donde es complementar de ; por la proposicion anterior n+k es un 0 (M )-modulo
libre, y sabemos que todo modulo libre es suma directa de modulos libres nitamente
generados luego, 0 () es un 0 (M )-modulo libre que es suma directa de modulos libres
nitamente generados.
Un Rmodulo se llama proyectivo si es sumando directo de un Rmodulo libre6 .

Usando el lema anterior se tiene que 0 () en un 0 (M )modulo proyectivo, ademas
Hom0 (M ) (0 (), 0 (M )) tambien es un 0 (M )-modulo proyectivo.
Por otro lado si tenemos P un Rmodulo proyectivo y ademas es nitamente generado
entonces concluimos diciendo que P es un R-modulo libre.
Si tenemos P1 y P2 dos Rmodulos proyectivos nitamente generados. Entonces tenemos los siguientes isomorsmos:
P1
= P1 y HomR (P1 , P2 )
= P1 R P2
(6)
L es el brado dual de L
Decimos que P es un m
odulo proyectivo cuando hay un m
odulo Q que la suma directa de los dos
es un m
odulo libre F .
5
53
Como son proyectivos y nitamente generados entonces libres por lo tanto la demostracion es analoga al caso de espacios vectoriales.
Teorema 2.4. Sea y brados vectoriales sobre la misma base M (variedad diferenciable). Se tiene los siguientes isomorsmos:
i. 0 (Hom(, ))
= Hom0 (M ) (0 (), 0 ()).
ii. 0 ( )
= Hom0 (M ) (0 (), 0 (M )).
iii. 0 ( )
= 0 () 0 (M ) 0 ().
Demostraci
on.
i. Denimos una aplicacion

F : 0 (Hom(, )) Hom0 (M ) (0 (), 0 ())
dada por F ()(s)
= (s),
donde 0 (Hom(, )) F as es un 0 (M )-homomorsmo.

Solo faltara ver que esta es una biyeccion.
Veamos la inyectividad. Si F ()
= 0 entonces, demostraremos que = 0 que
es lo mismo probar que x : x x es una aplicacion lineal nula para todo x
en M ; para tal efecto jemos x M y tome una vecindad V (x) centrada en x
donde se trivializa, sea v x y tome una seccion sv 0 () tal que sv (x) = v
(esto es posible siempre existen secciones donde se trivializa) ahora hallaremos
una seccion global lo haremos extendiendo la seccion local que tenemos, para
esto tome una funcion f diferenciable en M tal que sop(f ) V (x) con lo cual
podemos reemplazar sv por f sv . Ahora
F ()(s
v ) = F ()(f
sv ) = 0
entonces, x (v) = 0, x M por lo tanto, F es inyectiva.
Para la sobreyectividad, considere Hom0 (M ) (0 (), 0 ()) debemos denir
un homomorsmo diferenciable : de modo que x = (sv )(x) donde sv
es una seccion en 0 () y sv (x) = v x . Sabemos que es un homomorsmo de
brados y ademas F ()
= . Para ver la buena denicion de esta tome sv (x) =
sv (x) luego, sv (x)sv (x) = 0 aplicando (homomorsmo) obtenemos, (sv (x)) =

(sv (x)) con eso esta bien denida. Ahora veamos que es un homomorsmo
de brados vectoriales, para esto considere un referencial local {e1 , ..., ek } de
tomada en un abierto trivializante U M con este referencial podemos generar
secciones localmente
s(p) =
fi (p)ei (p) para todo p U
donde fi son aplicaciones diferenciables en U la idea es extender esta seccion

para eso tome : M R con sop() U y (x) = 1 (esta aplicacion siempre
54
existe) luego, s es la extension de s ahora hacemos (s) = (s + (1 )s) =
(s) + (1 )(s) obtenemos que (s)(x) = (s)(x) donde s = i (fi )ei ,

por otro lado las funciones fi se pueden extender diferencialmente a todo M
y obtenemos las aplicaciones diferenciales gi de modo que gi (x) = fi (x) = 0.
Entonces, denimos el homomorsmo diferenciable
(s)(x) =
gi (x)(ei ) 0 ()
pero como gi (x) = 0 tenemos (s)(x) = 0, esto garantiza que existe un homomorsmo diferenciable( esto es verdad puesto que los gi son diferenciables) con
x = (sv )(x) para todo x en M y ademas F ()
= .
ii. Note que este es un caso particular de (i) en la situacion que = 1 es el brado
trivial de dimension 1.
iii.
0 ( )
= 0 (Hom( , )), esto por Lema(2.7) parte ii
= Hom0 (M ) (0 ( ), 0 ()), esto por la parte i
= Hom0 (M ) (Hom0 (M ) (0 (), 0 (M )), 0 ()), por ii
= (Hom0 (M ) (0 (), 0 (M ))) 0 (M ) 0 ()

(0 ()) 0 (M ) 0 () =
0 ()) 0 (M ) 0 ()
=
los dos u
ltimos isomorsmo se obtienen a partir de (6).
Captulo 3
Conexi
on y Curvatura
La conexion es un objeto matematico denido en una variedad diferenciable que permite establecer una relacion o conectarla geometra local en torno a un punto con
la geometra local en torno a otro punto. La conexion es el objeto que establecera como
derivar secciones y as comparar las bras sobre puntos diferentes de la base.
3.1.
Conexi
on
En esta seccion estudiaremos la conexion; en un brado vectorial sobre una variedad

diferenciable M y la representacion local de este haciendo uso de los referenciales locales
que siempre existe.
Denici
on 3.1. Una Conexi
on en es una aplicaci
on Rlineal
: 0 () 1 (M ) 0 (M ) 0 ()
que satisface la regla de Leibnitz (f.s) = df s + f.s donde f 0 (M ), s 0 ()
y d es la derivada exterior exterior.
En el caso que sea un brado vectorial complejo el espacio de las secciones en es
un C espacio vectorial1 . Entonces, en la denicion anterior se exigira que sea una
aplicacion C lineal y la denotaremos por C .
Sea el brado tangente sobre M ; por lo tanto las 1-formas diferenciales en M es el
espacio de las secciones del brado (dual de ) esto es 1 (M ) = 0 ( ). Usando los
isomorsmo del Teorema(2.4)-(i-ii) tenemos
1 (M ) 0 (M ) 0 ()
= 0 (Hom(, ))
= Hom0 (M ) (0 ( ), 0 ()).
1
()
El espacio de secciones sobre un brado vectorial complejo ser

a denotado por 0 (, C).
55
Conexion y Curvatura
56
En la Denicion(3.1) podemos cambiar el rango de por cualquiera de los isomorsmos

dados en () seg
un convenga.
Sea X un campo vectorial, que es una seccion del brado tangente es decir X 0 ( ),
esta induce una aplicacion
EvX
: 1 (M ) 0 (M )
f

df dX (f ) =
ai xi , donde X =
ai xi ;
as EvX es 0 (M )lineal. Por otro lado tomando la identidad en 0 () y por la propiedad universal del producto tensorial estas inducen una u
nica aplicacion 0 (M )lineal,
que denotaremos de la misma forma y esta dada por:
EvX := EvX id : 1 (M ) 0 (M ) 0 () 0 ()
df s EvX (df s) = dX (f )s.
Haciendo la composicion X = EvX : 0 () 0 () entonces obtenemos una
aplicacion Rlineal. aplicamos (f.s) y usando la Denicion(3.1) se tiene
X (f.s) = EvX (f.s) = dX (f )s + f X (s),
donde f 0 (M ) y dX (f ) indica la derivada direccional de f en la direccion del
campo X. Por lo tanto, una conexion nos permite tomar derivadas direccionales de las
secciones.
Por otro lado, si cambiamos el rango de por Hom0 (M ) (0 ( ), 0 ()) y jando s
0 (). Entonces, la aplicacion.
s : 0 ( ) 0 ()
X X (s), es 0 (M ) lineal en X;
en consecuencia, se tiene gX+hY (s) = gX (s) + hY (s) donde g, h 0 (M ) y X, Y
son campos vectoriales.
Sea U una vecindad de p y para v Tp M podemos denir v (s) = X (s(p)) p
entonces tomando Xp Tp M se tiene.
Xp (s) = (s)(Xp )
(1)
por lo tanto (1) verica las siguientes propiedades.

{
Xp (f.s)
= dXp (f )s(p) + f (p)Xp (s)
aXp +bYp (s) =
aXp (s) + bYp (s),
(2)
donde Xp , Yp son vectores el espacio tangente Tp M y a, b n

umeros reales. As (2) dene
una conexion.
57
Ejemplo 3.1. Considere M una variedad diferenciable de dimensi

on n, en Rn+k , su
brado tangente es = {(p, v) M Rn+k /v Tp M }; sea s : M una secci
on
donde s(p) Tp M . Denimos una conexi
on en el brado tangente de la siguiente forma
Xp (s) = jp (dXp (s)) Tp M,
(3)
donde, Xp y dsp : Tp M Rn+k usando una notaci

on adecuada escribimos dsp (Xp ) =
n+k
dXp (s) R
= Tp M Np M , y jp : Tp M Np M Tp M es la proyecci
on ortogonal.
Podemos probar que (3) satisface las propiedades de (2). Veamos una de ellas
Xp (f.s) = jp (dXp (f.s)) = jp (dXp (f ).s(p) + f (p)dXp (s))

= jp (dXp (f ).s(p)) + jp (f (p)dXp (s))
= dXp (f ).s(p) + f (p)Xp (s).
Luego (3) es una conexi
on.
Como consecuencia de la regla de Leibnitz tenemos que el operador conexion es
local. Ahora veamos la representacion local de este operador.
Sea p en M y U una vecindad de p donde se trivializa, por lo tanto, podemos escoger
un referencial en U como {e1 , ..., ek } 0 () tal que {e1 (p), ..., ek (p)} es una base de
p para todo p U . Entonces los elementos de 1 (U ) 0 (U ) 0 (|U ) se escriben de
forma u
nica de la siguiente manera
Ai ei , para algunos Ai 1 (U ).
Si tenemos que es una conexion en , entonces podemos escribir
(ej ) =
Aij ei
(4),
j=1
para algunas 1-formas Aij 1 (U ), esta matriz de 1-formas es de orden k k llamada

la forma de conexion respecto a e = (e1 , ..., ek ), que denotaremos por A.
Por otro lado, dada la matriz A de 1-formas en U y un referencial en donde se trivializa que denen una conexion en 0 ( |U ) como en (4); si s 0 ( |U ) se puede
escribir de la forma s = ki=1 si ei donde si 0 (U ). Entonces (s) = ( si ei ) =
dsi ei + si (ei ) usando (4) se tiene

(s) =
dsi ei +
si
Aij ei =
(dsj + si Aij ) ej .
Usando la matriz A de forma de conexion podemos escribir

(s1 , ..., sk ) = (ds1 , ..., dsk ) + (s1 , ..., sk )A.
(5)
Ejemplo 3.2. Sea M una variedad diferenciable compacta; y un brado vectorial

sobre M por el Teorema(2.1) se tiene que
= n+k donde es el brado complementar de . Dada la inclusi
on i : n+k y la proyecci
on j : n+k estas inducen
58
las respectivas aplicaciones

i : 0 () 0 (n+k ) y j : 0 (n+k ) 0 ().
Ahora damos una conexi
on 0 : 0 (n+k ) 1 (M ) 0 (M ) 0 (n+k ) en el brado
trivial n+k como en (5) esto en posible debido que existen referenciales globales. Ahora
hacemos la composici
on
= (id j ) 0 i : 0 () 1 (M ) 0 (M ) 0 ()
se tiene que (s) = (id j )(0 (i s)),donde i (s) = s i, dene una conexi
on en .
Observe que
0 (n+k )
= 0 (M ) .... 0 (M ),
|
{z
}
(n+k)veces
entonces podemos expresar

1 (M ) 0 (M ) 0 (n+k )
= 1 (M ) ..... 1 (M )
|
{z
}
(n+k)veces
por lo tanto la conexion 0 puede expresarse de la forma 0 = d

| ....
{z d} donde d es
(n+k)veces
la derivada exterior.
Como se menciono que una conexion es un operador local, esto quiere decir que para
cada abierto de M donde se trivializa siempre tenemos una conexion, la idea es
obtener una conexion global la proposicion que sigue da tal resultado.
Proposici
on 3.1. Sea un brado vectorial sobre una variedad diferenciable M , entonces admite una conexi
on.
Demostraci
on. Considere {Ui } una cobertura abierta localmente nita de M , donde
estos abiertos son trivializantes, es decir en cada abierto Ui el brado se trivializa,
esto es existe un difeomorsmo hi : Ui V 1 (Ui ) tal que hi = pr1 ; para
cada abierto Ui tenemos una conexion i en |Ui como es (5), tomamos la particion
de la unidad {i } subordinada a la cobertura abierta, entonces denimos el operador
R-lineal
(s) =
i .i (s),
i
este satisface la regla de Leibnitz, por lo tanto dene una conexion en .

Observaci
on 3.1. Sea = (E, M, ) un brado vectorial sobre M , con la propiedad de
que para todo E y cada : I M con (0) = (), existe un u
nico P : I E tal
que P (0) = , llamado transporte paralelo a lo largo de , el cual permite conectar
las bras. Cada P induce un isomorsmo entre (0) y (1) esto es P (1)
59
Sea una conexion en y : I M una curva diferenciable, w(t) una seccion a

lo largo de esto es w(t) 0 ((t) ), donde w(t) = w((t)) para alg
un w 0 ().
Entonces, existe un u
nico operador llamado Derivada Covariante, denotada por Dw
dt
que signica la derivada covariante de la seccion w a lo largo de , y satisface las
siguientes propiedades
i.
ii.
iii.
D(w1 +w2 )
dt
D(f.w)
dt
df
dt w
Dw
dt
Dw1
dt
Dw2
dt .
+ f Dw
dt .
= (t) w.
Veamos la representacion local de la derivada covariante, considere U abierto de M (Variedad

diferenciable de dimension n), donde se trivializa, y sea (t) U , elijamos (U, x) una
carta local de M , en estas cartas locales podemos tomar una base x

, por otro lado e =
i
0
1
{e1 , ..., ek } es un referencial de (|U ), podemos escribir (t) = x (u1 (t), ..., un (t)),
donde ui (t) son funciones diferenciables. Por lo tanto, escribimos w(t) = ki=1 wi (t)ei (t)
con ei (t) = ei ((t)).
Luego tenemos
)
k
k (
Dw
D
dwi
= (
wi (t)ei (t)) =
ei (t) + wi (t) (t) (ei )
dt
dt
dt
i=1
(6)
i=1
i
como (t) = ni=1 du
as j (ei ) es una seccion en 0 (|U ) entonces, lo podt .i , adem
demos escribir como combinacion lineal usando la base e, j (ei ) = kv=1 vji ev ; luego
se tiene
(t) (ei ) = ei (
dui
i=1
dt
.i ) =
duj
j=1
dt
duj
j (ei ) =
dt
j,v
vji ev
remplazando (7) en (8) obtenemos

Dw
=
dt
l=1
dwl +
dt
duj
i,j
dt
lji wi el .
Decimos que una seccion w a lo largo de (t) es paralela si
Dw
dt
= 0.
Sea un brado vectorial, introducimos la siguiente notacion:

i () = i (M ) 0 (M ) 0 ()
(8)
donde, i (M ) es el espacio de iformas en M .

Ahora extenderemos el operador conexion , a un operador d :
d : i () i+1 ()
(9)
(7)
60
que satisface la regla de Leibnitz d (w s) = dw s + w d (s).

Sea y brados vectoriales sobre M , luego podemos denir un producto 0 (M )bilineal de la forma
:
i () j () i+j ( )
((w t) ( s)) (w t) ( s) = w (s t),
(10)
donde w i (M ), j (M ), s 0 (), t 0 () y w es el producto exterior de

formas.
Sea 1 el brado trivial de dimension 1, sabemos que i (1 ) = i (M ). Supongamos que
en (10) remplazamos = 1 . Entonces este operador puede expresarse de la siguiente
manera
: i (M ) j () i+j (M )
(w1 (w2 s)) w1 w2 s,
(11)
y en el caso que i = 0, se tiene w s = w s. Usando estos comentarios previos
probamos el siguiente lema.
Lema 3.1. Sea 1 , 2 y 3 elementos de i (1 ), j (2 ) y k (3 ) respectivamente. Entonces el producto denido en (10) satisface las siguientes propiedades
i. (1 2 ) 3 = 1 (2 3 ).
ii. 1 = , donde 1 es la unidad del anillo 0 (M ).
Demostraci
on. Para (i) tomemos 1 = w1 s1 , 2 = w2 s2 y 3 = w3 s3
(1 2 )3 = (w1 w2 s1 s2 )(w3 s3 ) = w1 (w2 w3 )s1 (s2 s3 ) = 1 (2 3 ).
Para la parte (ii) 1 = 1 =
Este
lema se torna mas importante en el caso que 1 = 1 , 2 = 1 entonces as i (1 ) =
i (M )) y j (2 ) = j (M )). Entonces la propiedad (i) del lema se escribe (w )3 =
w ( 3 ), para w i (M ), j (M ).
Aprovechando el operador denido y la conexion en . La regla de Leibnitz
para d , puede escribirse de la siguiente forma
d ( s) = d s + (1)j (s)
(12)
donde j (M ) y s 0 (). Ahora demos el siguiente lema.

Lema 3.2. Para cada , existe un u
nico operador Rlineal, d : j () j+1 (),
que satisface:
i. d = , cuando j = 0
61
ii. d (w t) = dw t + (1)i w d (t), cuando w i (M ), t j ().

Demostraci
on. Para la existencia es suciente con (12), pues por la Proposicion(3.1)
siempre existe conexion, y para la unicidad es suciente tomar dos operadores que
satisface (i) y (ii) se prueba que se trata del mismo operador.
Para la parte (i) hacer j = 0 en (12). Y para la parte (ii) lo obtenemos de:
d (w t) = d (w ( s)) = d ((w ) s), usando 12 tenemos
= d(w ) s + (1)i+j (w ) (s)
= (dw ) + (1)i w d ) s + (1)i+j (w ) (s)
= dw ) s + (1)i w d s + (1)i+j (w ) (s)
= dw ( s) + (1)i w d ( s)
= dw t + (1)i w d t.
Ahora tomemos una secuencia de 0 (M )modulos

0
/ 0 ()
/ 1 ()
/ 2 ()
note que en el caso que sea el brado trivial de dimension 1 es decir 1 , se obtiene el
complejo de Rham
0
/ 0 (M )
/ 1 (M )
/ 2 (M )
/ ,
donde la conexion coincide con el diferencial exterior d ademas se cumple que d d = 0.
3.2.
Curvatura
En general cuando , es cualquier brado vectorial no siempre la composicion d

es nula, esta composicion nos da una aplicacion que la denotaremos por:
F = d : 0 () 2 ()
Proposici
on 3.2. F = d , es 0 (M )-lineal.
Demostraci
on. Tomemos dos secciones s1 , s2 en 0 () se verica inmediatamente que
F (s1 + s2 ) = F (s1 ) + F (s2 ). Veamos la otra propiedad de la linealidad, tome
f 0 (M ) y s 0 () aplicando en F tenemos
F (f.s) = d (df s + f (s))
= d (df s) + d (f (s))
= d(df ) s + (1)1 df (s) + df (s) + (1)0 f d ((s))
= f.d ((s)) = f.F (s).
62
Esta
proposicion muestra que F Hom0 (M ) (0 (), 2 ()). Usando los isomorsmo
del Teorema(2.4) tenemos:
Hom0 (M ) (0 (), 2 ())
= Hom0 (M ) (0 (), 0 () 0 (M ) 2 (M ))
= Hom0 (M ) (0 (), 0 ()) 0 (M ) 2 (M )
= 0 (Hom(, )) 0 (M ) 2 (M )
= 2 (M ) 0 (M ) 0 (Hom(, ))
= 2 (Hom(, ))
por lo tanto, F 2 (Hom(, )) con lo cual a F la llamaremos una 2-forma.
Denici
on 3.2. Una 2-forma F 2 (Hom(, )) es llamada forma de Curvatura
del brado vectorial (, ).
Una conexion , en el brado , es llamada conexi
on plana si y solo si F = 0.
Con lo cual todo brado trivial tiene conexion plana. Tambien podemos decir que la
curvatura mide cuando una conexion deja de ser plana.
Considere dos campos vectoriales X, Y este par induce una aplicacion 0 (M )-lineal
EvX,Y : 2 (M ) 0 (M ), dada w w(X, Y ), usando la propiedad universal del
producto tensorial esta induce una u
nica aplicacion 0 (M )-lineal
EvX,Y := EvX,Y id : 2 (M ) 0 (M ) 0 (Hom(, )) 0 (M ) 0 (M ) 0 (Hom(, ))
EvX,Y : 2 (Hom(, )) 0 (Hom(, )), dada por F FX,Y

(p) : , puede ser determinada por los valores X , Y T M.
donde FX,Y
p
p
p p
p
Ahora veamos la representacion local de F = d , donde (ei ) =

seg
un (4)
Aij ej
d ((ei )) = d (
Aij ej ) =
d (Aij ej )
j
(dAij ej )
(Aij (ej ))
j
(dAij ej )
(Aij
Ajv ev
(dAiv ev (
Aij Ajv ) ev ).
Entonces, F (ei ) = v (dAAA)iv ev , como F es un tensor con lo cual si se quiere
determinar FX
, bastara evaluar el referencial en el punto p, y (dA A A)Xp ,Yp .
p ,Yp
63
Por lo tanto podemos expresar la curvatura de la siguiente manera

F = dA A A.
(13)
Considere una aplicacion 0 (M )bilineal : i () Hom(0 (), 2 ()) i+2 ()

dada por ((w s), G) w G(s). Con esta denicion podemos presentar el siguiente
lema.
Lema 3.3. Sea w s i (), y F forma de curvatura, Entonces, la composici
on
d d : i () i+2 (), viene dada por w F .
Demostraci
on. Como w s i (M )0 (M ) 0 (), podemos aplicar el Lema(3.2)
d (d (w s)) = d (dw s + (1)i w (s))
= d (dw s) + (1)i d (w (s))
= d(dw) s + (1)i+1 dw (s) + (1)i (dw (s) +
(1)i w d ((s)))
= (1)2i w F (s)
as se obtiene la igualdad deseada.
Ejemplo 3.3. En el Ejemplo(2.2) hemos construido el brado vectorial can
onico de
lneas Hn , en este ejemplo construiremos una conexi
on y curvatura para el caso n = 1.
1
3
Sea H = S S 1 C el brado vectorial sobre CP donde su espacio total es E(H) =
{(L, u) CP1 C2 : u L} y L es una recta que pasa por el origen, H puede ser
incluido en el brado trivial 2 = CP1 C2 , mediante la aplicaci
on de brados
i : S 3 S 1 C CP1 C2 dada por [z1 , z2 , u] ([z1 , z2 ], uz1 , uz2 )
se puede ver que este es un homomorsmo de brados vectoriales. Por el Teorema(2.1)
existe el complementar H de H donde su espacio total esta dada por
E(H ) = {(L, v) CP1 C2 : v L }
tal que H H
on j : CP1 C2 E(H)
= CP1 C2 . Ahora denimos la proyecci
dada por j(L, u1 , u2 ) = (L, u) donde u es la proyecci
on ortogonal de (u1 , u2 ) en la recta
2
2
L. En el caso que L = [z1 , z2 ] con |z1 | + |z2 | = 1 entonces, j(L, u1 , u2 ) = (u1 , u2 )PL
donde PL es la matriz de 2 2 dada por:
)
(
z1 z1 z1 z2
PL =
z2 z1 z2 z2
en realidad si L contiene al vector unitario z = (z1 , z2 ) entonces, la proyecci
on ortogonal
j queda expresada de la forma
jL (u1 , u2 ) = (
z1 u1 + z2 u2 )(z1 , z2 ).
64
Se usa la conexi
on 0 = (d, d) en el brado trivial 2 = CP1 C2 , para denir una
conexi
on en el brado H sobre CP1 ; hacemos la composici
on
0 (H)
/ 0 (2 )
/ 1 (2 )
/ 1 (H)
on en el brado H, ahora hallaremos

por lo tanto, = j 0 i dene una conexi
la matriz A de forma de conexi
on como en (4) para eso considere una parametrizaci
on
1
local de CP
g : R2 U1 CP1 ; g(x, y) = [1, z]
donde z = x + iy y considere una secci
on e : U1 H denida en U1 , mediante la
aplicaci
on i esta secci
on puede incluirse en el brado trivial 2 de la forma
e(g(x, y)) = (g(x, y), (1, z)) CP1 C2 ,
como en el brado trivial tenemos una conexi
on 0 = (d, d) por lo tanto
0 (e) = (g(x, y), (0, dz)), donde dz = dx + idy
En el caso que L = [1, z], la matriz de la proyecci
on, se expresa de la forma:
(
)
1 z
1
P[1,z] =
1 + |z|2
z |z|2
por lo tanto
(e) = j 0 (i (e)) = j 0 (g(x, y), (1, z)) = j (g(x, y), (0, dz))
= (g(x, y), (0, dz) P[1,z] )
1
(
z dz, |z|2 dz))
= (g(x, y),
1 + |z|2
z
=
dz (g(x, y), (1, z)) = Ag(x,y) e
1 + |z|2
z
entonces, la matriz de forma de conexi
on en coordenadas locales es Ag(x,y) = 1+|z|
2 dz
con z(x, y) = x + iy.
Usaremos F = dAg(x,y) Ag(x,y) Ag(x,y) como en (13), para determinar la 2-forma
de curvatura.
Podemos observar que A A = 0 puesto que dz dz = 0 esto puede calcularse usando
propiedades de la derivada exterior de formas diferenciales
dz dz = (dx + idy) (dx + idy) = 0

y tambien
d
z dz = (dx idy) (dx + idy) = 2idx dy
65
ahora calculamos
dAg(x,y) =
( z )
2i
d
z dz =
dx dy
z 1 + |z|2
(1 + |z|2 )2
por lo tanto, la 2-forma de curvatura expresada en coordenadas locales en el brado H

viene dada por:
2i
Fg(x,y)
=
dx dy.
(1 + |z|2 )2
3.2.1.
La Conexi
on y Curvatura en Algunos Fibrados
Sea , , dos brados vectoriales sobre M , y , una conexion en , respectivamente; y considere f : M M, una aplicacion diferenciable. Usando las conexiones
que tenemos, se dara una conexion en los brados f , , Hom(, ) y .
La aplicacion diferenciable f, induce una aplicacion 0 (M )lineal denida de la siguiente forma f : 0 () 0 (f ), s s f . De la misma forma f induce la
aplicacion 0 (M )lineal f : i (M ) i (M ), dada por w f (w).
Para tales objetivos empezamos dando el siguiente lema.
Lema 3.4. Sea f : M M, una aplicaci
on diferenciable y una conexi
on en ,
entonces existe una u

nica conexi
on f ( ) en f tal que el diagrama
0 ()
f
0 (f )
/ 1 ()
f

/ 1 (f )
f ( )
conmuta.
Demostraci
on. Tenemos que demostrar la existencia de una aplicacion Rlineal
f ( ) : 0 (f ) 1 (f )
que satisface la ragla de Leibnitz, ademas que sea u
nica, sabiendo que el diagrama conmuta. Primero veamos la existencia para eso establecemos un isomorsmo de
0 (M )modulos de la forma:
1 (M ) 0 (M ) 0 () 1 (f )
s
f (s)
efectivamente este es un isomorsmo. Usando este isomorsmo se prueba que
1 (f ) = 1 (M ) 0 (M ) 0 (f )
= 1 (M ) 0 (M ) 0 ()
66
por otro lado, el pull-back de 1-formas induce una aplicacion 0 (M )lineal

0 (M ) 0 (M ) 1 (M ) 1 (M )
w
f (w)
esta aplicacion junto con la identidad en 0 (), inducen una u
nica aplicacion 0 (M )lineal
: 0 (M ) 0 (M ) 1 () 1 (M ) 0 (M ) 0 ()
note que el rango de es isomorfo a 1 (f ).
De la misma forma la aplicacion es R-lineal y junto con la identidad en 0 (M )
inducen una u
nica aplicacion 1 : 0 (M ) 0 (M ) 0 () 0 (M ) 0 (M ) 1 (),
Rlineal. Entonces
(1 ) : 0 (M ) 0 (M ) 0 () 1 (M ) 0 (M ) 0 ()
es una aplicacion Rlineal. El diferencial exterior d junto con la identidad en 0 ()
inducen una u
nica aplicacion Rlineal
d 1 : 0 (M ) 0 (M ) 0 () 1 (M ) 0 (M ) 0 (),
por lo tanto existe la aplicacion f ( ) : 0 (f ) 1 (f ), Rlineal dada por
f ( ) := (1 ) + d 1. Para ver que esta dene una conexion veamos la regla
de Leibnitz.
f ( )(f (f s)) := (1 )(f f s)+d1(f f s) := df (f s)+f.f ( )(f s).
Para la unicidad suponga que existe otro g ( ) tal que f = g ( )f entonces,
g ( ) f = f ( ) f por lo tanto, g ( ) = f ( ).
Si e = {e1 , ..., en } es un referencial en |U 2 y A(e) es la matriz de forma de conexion
para con respecto al referencial e, entonces f (A(e)) es la matriz de forma de conexion para f ( ), con respecto al referencial f (e) = {e1 f, ..., en f } en f |f 1 (U ) .
Veamos la forma de curvatura F f ( ) en el brado f . Sabiendo que F es la forma

de curvatura en el brado ; en el Lema(3.4) obtendremos otro diagrama conmutativo
si cambiamos por d : 1 () 2 () y formamos el siguiente diagrama
F
0 ()
f
/ 2 ()
f

/ 2 (f ).
f ( )
F
0 (f )
2
El brado tiene base M usamos la notaci

on |U para denotar que el brado esta restringido a
un abierto U de M.
67
Ahora sea Hom(, ) un brado vectorial, el brado inducido va la aplicacion f es

f Hom(, ) que es isomorfo al brado Hom(f , f ), por lo tanto,
2 (Hom(f , f )) = f 2 (Hom(, )), as F f
= f (F ).
En seguida deniremos una conexion en el producto tensorial . En virtud al

Teorema(2.4)-(iii), 0 ( )
= 0 () 0 (M ) 0 () y a la denicion del producto
0 (M )bilineal en (10) denimos
(s t) = (s) t + s (t)
(14)
esta aplicacion es Rlineal y satisface la regla de Leibnitz, por lo tanto dene una
conexion en .
Usando (12) y el Lema(3.2) puede extender a d : i ( ) i+1 ( ) y
puede escribirse de la forma:
d (s t) = d s t + (1)i s d t,
donde s i () y t j () y d corresponde a = , respectivamente.
Ahora deniremos una conexion en el brado dual , para eso se dene la pareja
no-singular
/ i+j
/ i+j (M )
(, ) : i () j ( )
( )
de la forma (w s, s ) = (w ) s, s donde,
, : 0 () Hom0 (M ) (0 (), 0 (M ))
= 0 ( ) 0 (M )
corresponde a la evaluacion. Si es una conexion en , denimos una conexion en
requiriendo que
d(s, s ) = ( (s), s ) + (s, (s )).
(15)
La denicion en (14) permite denir una conexion en el brado Hom(, ) debido

al isomorsmo de brados vectoriales
= Hom(, ); alternativamente podemos
denir otra conexion en este brado. La aplicacion evaluacion 0 (Hom(, ))0 ()
0 () induce una aplicacion 0 (M )bilineal (, ) : i () j (Hom(, )) i+j () y
dene una conexion
= Hom(,) en Hom(, ) por la formula
((s, )) = ( (s), ) + (s, ())

donde s 0 () y 0 (Hom(, )). Podemos tambien extender a una aplicacion
d : i (Hom(, )) i+1 (Hom(, )),
68
con la propiedad d ((s, )) = (d (s), ) + (1)i (s, d ()) donde s i (),

j (Hom(, )) y d corresponde a = , respectivamente.
Considere a como un brado vectorial real de dimension k, y e = {e1 , ..., ek } un

referencial en un abierto trivializante U con lo cual tenemos los isomorsmos
|U
= U Rk y Hom(, )|U
= U Mk (R),
estos a la vez inducen
n (|U )
= n (U )k y n (Hom(, )|U )
= Mk (n (U )).
Si es una conexion en , con representacion local dada en (5), entonces induce la
aplicacion
d : n (U )k n+1 (U )k dada por d (s1 , ..., sk ) = (ds1 , ...., dsk ) + (s1 , ..., sk ) A,
es una conexion
donde A es la matriz de forma de conexion. De la misma forma si
en el brado Hom(, ), por lo tanto induce la aplicacion
d : Mk (n (U )) Mk (n+1 (U )), d = d (A (1)n A).
(16)
Si en U tomamos otro referencial e , entonces e = Ge donde G GLk (0 (U )), asociado

a estos referenciales tenemos las 2-formas de curvatura F (e) y F (e ) que se relacionan
de la forma
F (e) = GF (e )G1 .
Teorema 3.1. Identidad de Bianchi Sea d la extensi
on de la conexi
on entonces
d F = 0.
Demostraci
on. Como F es 0 (M ) lineal depende u
nicamente del valor de la seccion
0
puntualmente, es decir si s, s secciones en () con s(x) = s (x) entonces F (s(x)) =
F (s (x)), por lo tanto es suciente demostrar para F en su representacion local
F = dA A A. Usando (16) para n = 2 tenemos d = d A + A,
remplazando por la matriz F tenemos:
d F = dF A F + F A
= d(dA A A) A F + F A
= d(A A) A dA + A A A + dA A A A A
= dA A + A dA A dA + dA A = 0.
69
Ahora veamos el homomorsmo traza T r : Hom(V, V ) R, que puede ser denida sin
consideracion a alguna base de V ; como la composicion
T r : Hom(V, V )
/VV
ev
/ R as T r(f ) = g(v)
donde (f ) = g v. Esta
induce un 0 (M )homomorsmo traza T r : Hom(, ) 1
en brados vectoriales, y esta a su vez induce una traza
T r : i (Hom(, ))
(17)
= i (M ) 0 (M ) 0 () 0 (M ) 0 ( ) i (M )
= w s s T r() = (s, s )w
donde w i (M ), s 0 (), s 0 ( ) y (s, s ) es la evaluacion.
Teorema 3.2. Sea d la derivaci
on asociada a la conexi
on = Hom(,) , y
i
(Hom(, )), entonces tenemos
dT r = T r(d ).
Demostraci
on. Sea i (Hom(, ))
= i (M ) 0 (M ) 0 () 0 (M ) 0 ( ), entonces
= w s s donde w i (M ), s 0 () y s 0 ( ), ahora hallando la derivacion
d tenemos:
d (w s s ) = dw (s s ) + (1)i w (s s )
= dw (s s ) + (1)i w ( (s) s + s (s ))
tomando la traza a este operador se tiene
T r(d ) = dw(s, s ) + (1)i w (( (s), s ) + (s, (s )))
= (s, s )dw + (1)i w d(s, s )
= (s, s )dw + (1)2i d(s, s ) w
= d((s, s )w) = dT r.
Combinando este teorema con la Identidad de Bianchi se tiene que d(T rF ) = 0,

entonces T rF dene una 2-forma cerrada.
Nosotros hemos probado varios resultados para brados vectoriales reales, estos son
completamente analogos para brados vectoriales complejos para este caso la conexion
en tiene que ser Clineal, ademas se tomara el modulo i (M ; C) con coecientes
complejos en ves de i (M ) ademas se cambiara R por C y HomR por HomC .
Si es un brado vectorial complejo sobre M entonces, [T r(F )] H 2 (M ; C) es una
2k
2-forma cerrada. En forma mas general |F ....
{z F } (HomC (, )), entonces
kveces
T r(F .... F ) es una 2kforma cerrada en 2k (M ; C); por lo tanto podemos dar
la siguiente denicion:
70
Denici
on 3.3. Sea (, ) un brado vectorial complejo con conexi
on . Denimos
la Clase caracterstica de Chern como la clase de cohomologa
chk (, ) =
]
(1)k [
T r(F .... F ) H 2k (M ; C).

2 1k!
Captulo 4
Clases Caractersticas
En este captulo vamos a estudiar las clases de cohomologa que se pueden asociar
a un brado vectorial, estas clases son invariantes en brados vectoriales isomorfos.
Para poder asociar las clases de cohomologa a cierto brado vectorial es necesario
estudiar los polinomios invariantes, por eso que en esta primera parte estudiaremos
ciertas propiedades de estos polinomios.
4.1.
Polinomios Invariantes
Considere la matriz A = (Aij ) Mn (C), denotaremos por P (A) a un polinomio de

n2 variables, estos seran considerados como polinomios homogeneos es decir esta formado por monomios de igual grado, y que el grado de este monomio sera el grado del
polinomio P.
Denici
on 4.1. Sea A = (Aij ) Mn (C) un polinomio P (A), es llamado invariante si
y s
olo si P (A) = P (gAg 1 ) para todo g GLn (C).
Todo polinomio determina una funcion P : Mn (C) C, esta funcion queda u
nicamente determinada por dicho polinomio.
Dada la matriz A, podemos asociarle el polinomio caracterstico dado por:
(t) = det(I + tA) =
i (A)ti con 0 (A) = 1,
i=0
cada polinomio i (A) es un polinomio invariante, esto pues los autovalores de A son
independientes por cambio de base es decir A y gAg 1 tienen los mismos autovalores,
donde g GLn (C).
d
Considere la aplicacion s(t) = t dt
log(det(I tA)) la misma que se puede expresar
como series de potencias
s(t) = t
d
sk (A)tk ,
log(det(I tA)) =
dt
k=0
71
()
72
donde el polinomio caracterstico se puede expresar en terminos de la aplicacion s(t)
de la forma (t) = exp( s(t)

on diferencial
t dt) eso puede verse resolviendo la ecuaci
dada en ().
La observacion que sigue simplicara la justicacion de algunos resultados posteriores.
Observaci
on 4.1. El conjunto de matrices diagonalizables D Mn (C) es denso en
Mn (C).
Probaremos que el conjunto de matrices con autovalores todos distintos es denso en
Mn (C). Sea A Mn (C) y > 0 existe una matriz A Mn (C) que tiene valores propios
todos distintos tal que A A < . Dada la matriz A Mn (C) Por el Teorema de
Schur existe una matriz unitaria U Mn (C) tal que T = (Tij ) = U 1 AU donde T
es una matriz es triangular superior y los elementos de la diagonal principal son los
autovalores de A.
Dados n
umeros complejos T11 , T22 , ..., Tnn siempre podemos escoger n n
umeros comple
jos e1 , e2 , ..., en tales que |ei | < n y T11 + e1 , T22 + e2 , ..., Tnn + en son todos distintos.
Ahora tome la matriz E = diag(e1 , e2 , .., en ), entonces la matriz T + E es una matriz
triangular con elementos T11 + e1 , T22 + e2 , ..., Tnn + en en su diagonal principal; siendo
estos n
umeros sus autovalores; denamos la matriz A = U 1 (T + E)U con valores
propios distintos y elijamos la norma de Frobenius1
A A = U 1 T U U 1 (T + E)U = U 1 EU .
La norma de Frobenius es unitariamente invariante con lo cual U 1 EU = E =
( 2
)
2 1/2
(|e1 |2 + ... + |en |2 )1/2 < n + ... + n
< ; por lo tanto se consigue que A A < .
Ahora podemos apoyarnos en este resultado para simplicar la prueba en algunos
resultados.
Lema 4.1. Para cada matriz A Mn (C) se tiene que sk (A) = T r(Ak ).
Demostraci
on. Por la observacion anterior es suciente trabajar con una matriz diagonal A = diag(1 , ..., n ) entonces, (t) = det(I tA) = (1 t1 )...(1 tn ) y la funcion
s(t) se expresa de la forma
s(t) = t
n
n
)
d (
ti
d
log(1 ti ) =
.
log(det(I tA)) = t
dt
dt
1 ti
i=1
i=1
Usando la serie geometrica esta se puede expresar de la forma:

s(t) =
n (
i=1 k=1
ki tk
)
=
(
n
ki
)
tk .
k=1 i=1
Si A = (aij )nm la norma de Frobenius se dene como A =
m
i=0
n
j=1
|aij |2 .
73
Note que si A = diag(1 , ..., n ) entonces Ak = diag(k1 , ..., kn ), as sk (A) = T r(Ak );

con lo cual es suciente con una matriz diagonal pues esta la puedo aproximar mediante sucesion de matrices diagonales, esto es, si A Mn (C) por la observacion anterior A = lm gn Dn gn1 , y como la traza es una funcion continua entonces, T r(A) =
lm T r(gn Dn gn1 ) = lm T r(Dn ).
Lema 4.2. Para un polinomio de n2 variables tenemos:
sk (A) sk1 (A)1 (A) + sk2 (A)2 (A) ...... + (1)k kk (A) = 0.
Demostraci
on. Por la Observacion(4.1) es suciente hacer la prueba para una matriz
diagonal A = diag(1 , ..., n ); denamos las funciones
(t) = det(I tA) = (1 t1 )...(1 tn ) =
(1)k k (A)tk
k=1
y s(t) =
ti
i=1 1ti
k
k=1 sk (A)t
(t)s(t) =
n
(
i=1
por otro lado t d

dt =
multiplicamos ambas funciones.
ti )
(1 t1 )....(1 tn ) = t
1 ti
dt
k1 k (A)tk
k
k=1 (1)
luego
sk (A) sk1 (A)1 (A) + sk2 (A)2 (A) ...... = (1)k1 kk (A).
Observe que en el lema anterior sk (A) es un polinomio con coecientes enteros y variables 1 (A), ..., k (A), tambien k (A) es un polinomio con coecientes racionales y
variables s1 (A), ..., sk (A) es decir
sk (A) = Qk (1 (A), ...., k (A))
k (A) = Pk (s1 (A), ...., sk (A))
por ejemplo
1
s1 (A) = 1 (A), s2 (A) = 1 (A)2 22 (A) y 2 (A) = (s1 (A)2 s2 (A)).
2
Si consideramos A1 y A2 matrices de orden n21 y n22 respectivamente, entonces
)
(
A1 0
A1 A2 =
0 A2
es una matriz de orden (n1 + n2 )2 y la matriz A1 A2 tiene orden (n1 n2 )2 . Por lo tanto
tenemos las siguientes identidades
i. k (A1 A2 ) =
74
i=0 i (A1 )ki (A2 ).
ii. sk (A1 A2 ) = sk (A1 ) + sk (A2 ).
(1)
iii. sk (A1 A2 ) = sk (A1 )sk (A2 ).

Los polinomios i (1 , ...., n ), i = 1, .., n denidos de la forma:
n
(1 + ti ) =
i=1
i (1 , ..., n )ti
i=0
son llamados polinomios sim

etricos elementales en las variables 1 , ..., n .
Observaci
on 4.2. Todo polinomio P C[1 , ..., n ] invariante por permutaciones2
puede escribirse de la forma:
P (1 , ..., n ) = p(1 (1 , ..., n ), ..., n (1 , ..., n )),
donde p es un polinomio de nvariables y i son los polinomios simetricos elementales.
Vea [9]. Pag.191.
Teorema 4.1. Todo polinomio invariante P : Mn (C) C, puede escribirse de la
forma
P (A) = p(1 (A), ...., n (A)),
donde p es un polinomio de nvariables y i son los polinomios simetricos elementales.
Demostraci
on. Por la Observacion(4.1) es suciente probar para matrices diagonales, as considere A = diag(1 , ..., n ) Mn (C). Tome ademas una permutacion s :
{1, ..., n} {1, .., n} en Sn , esta permutacion induce una aplicacion Clineal S :
Cn Cn de la forma S(z1 , .., zn ) = (zs(1) , ..., zs(n) ), si denotamos por S a la matriz
asociada a la aplicacion S, entonces tenemos
S.diag(1 , ..., n ).S 1 = diag(s(1) , ..., s(n) )
y como P es invariante se tiene P (diag(1 , ..., n )) = P (diag(s(1) , ..., s(n) )) esto es
para toda permutacion s Sn , ahora se puede aplicar la observacion anterior; esto
quiere decir que existe un polinomio p de tal manera que
P (diag(1 , ..., n )) = p(1 (1 , ..., n ), ..., n (1 , ..., n )).
De la densidad del conjunto de matrices diagonalizables tenemos que A = lm gn Dn gn1 ,
aplicando P se tiene que P (A) = P (lm gn Dn gn1 ) y por la continuidad de P , se consigue
que P (A) = lm P (Dn ), entonces
P (A) = p(1 (A), ..., n (A))
para toda matriz A Mn (C).
Un polinomio P es invariante por permutaciones si dada una permutaci
on : {1, .., n} {1, ..., n}
en Sn (grupo de permutaciones) se tiene que P (1 , ...., n ) = P ((1) , ..., (n) ).
2
4.2.
75
Clases Caractersticas en Fibrados Vectoriales Complejos
En la Denicion(3.3) se expreso las kClase Caracterstica de Chern, usando el homomorsmo traza, en esta seccion se buscara otra forma diferente de expresar estas clases
usando los polinomios invariantes, para eso consideremos como un brado vectorial
diferenciable complejo de dimension n, sobre una variedad diferenciable compacta M
y (M ; C) denotara el espacio de formas con coecientes complejos.
Sea P un polinomio invariante y A = (Aij )kk la matriz con elementos en Aij
2 (M ; C), y como el producto exterior de formar de orden par es conmutativo, entonces
el polinomio P (A) en la variables Aij , pertenece a P (A) 2k (M ; C) y esta bien
denido de forma mas general podemos denir
P : 2 (HomC (, )) 2k (M ; C).
Sea U un abierto donde se trivializa, entonces |U
= U Cn esto induce un isomorsmo
Hom(, )|U
= U Mn (C) por lo tanto tenemos:
2 (Hom(, )|U )
= 2 (U ; Mk (C))
= Mn (2 (U ; C)).
En U tenemos un referencial e, asociado a este tenemos la 2-forma de curvatura
F (e), si en este abierto tomamos otro referencial e entonces asociado a este referencial tenemos otra 2-forma de curvatura F (e ), que se relacionan de la forma
F (e) = GF (e )G1 donde e = Ge . Si aplicamos un polinomio invariante P de grado k, se consigue que P (F (e)) = P (F (e )), en consecuencia P (F (e)) dene una
2kforma global en M independiente a cualquier trivializacion de .
Lema 4.3. Para cada polinomio invariante P de grado k y una conexi
on en el
brado vectorial complejo de dimensi
on n, se tiene que P (F ) es una 2kforma
cerrada.
Demostraci
on. Por demostrar que dP (F ) = 0; para esto considere U un abierto
trivializante y A = (Aij ) la matriz de forma conexion asociada a , por otro lado
sabemos que F = dA A A = (Fij ) y por los comentarios previos al lema, P (F )
dene una 2kforma global en M . Usando la identidad de Bianchi tenemos:
d(F ) = A F F A.
Por otro lado, si derivamos P (F ) esta derivada se expresara de la siguiente forma:
dP (F ) =
P
[
]
(F ) dFij = T r P (F ) dF ,
Aij
ij
()
76
( P
)t
donde P (F ) = A
(F ) es la matriz transpuesta de las derivadas parciales de
ij
P respecto de las variables Aij , para ver la igualdad dada en (), la hacemos de la
siguiente forma
[( P
] P
[
]
)t
T r P (F ) dF = T r
(F ) dFij =
(F ) dFji .
Aij
Aji
Ahora demostremos que P (F ) F = F P (F ), esta igualdad se prueba para
una matriz A arbitraria en Mn (C) y luego la aplicamos a nuestro caso, como P es
un polinomio invariante se tiene que P (AB) = P (BA), donde A o B es invertible,
considere Eij la matriz cuadrada donde toma el valor de 1 en la posicion (i, j) y cero
en las demas posiciones, as la matriz (I + tEij ) es invertible, por lo tanto
P ((I + tEij )A) = P (A(I + tEij ))
()
la matriz Eij puede expresarse de la forma Eij = (ers ) donde, ers = ir .js y ij
representa el delta de Kronecker3
Tambien tenemos:
{
{
0, si r = j
0, si s = i
(Eji A)rs =
(AEji )rs =
( )
Ais , si r = j
Arj , si s = i
Luego derivamos () respecto a t y evaluando en t = 0, se tiene:
P
P
(Eji A)rs =
(AEji )rs .
Ars
Ars
rs
rs
Usando ( ) se consigue que:
Ais
P
P
=
Arj por lo tanto, AP (A)t = P (A)t A.
Ajs
A
ri
r
Si cambiamos A por F se consigue la igualdad deseada P (F ) F = F P (F ).

Usando este resultado en () obtenemos:
[
]
dP (F ) = T r P (F ) (A F F A)
[
]
= T r P (F ) A F P (F ) F A
[
)
= T r (P (F ) A) F F (P (F ) A ]
[
= T r (P (F ) A) F (P (F ) A) F ] = 0
El delta de Kronecker esta dada de la forma ij
1,
=
0,
i=j
i = j.
77
Este
lema dice que, si P es un polinomio invariante de grado k, entonces P (F ) es una
2kforma cerrada, por lo tanto dene una clase de cohomologa es decir [P (F )]
H 2k (M ; C).
El siguiente lema muestra que la clase [P (F )] es independiente de la eleccion de la
conexion en .
Lema 4.4. Si P es un polinomio invariante de grado k, entonces la clase [P (F )]
H 2k (M ; C) de cohomologa es independiente de la conexi
on.
Demostraci
on. Tenemos que es un brado vectorial complejo sobre M ; para demostrar la independencia de la conexion, elegimos 0 , 1 dos conexiones en y tome
la proyeccion : M R M en el primer factor, entonces es el brado vectorial inducido sobre M R, como q (q=0,1) son dos conexiones en , entonces por el
Lema(3.4) existe una u
nica conexion q = (q ) en talque el diagrama
0 ()
/ 1 ()
0 ( )

/ 1 ( )
(q )
conmuta. Por la Proposicion(3.1) la aplicacion, (s)(p,

t) = (1t)0 (s)(p, t)+t1 (s)(p, t)
con (p, t) M R, dene una conexion en ; por otro lado las inclusiones i0 : M
M R denidos de la forma i0 (p) = (p, 0) y i1 : M M R como i1 (p, 1) = (p, 1),
inducen homomorsmos iq : 0 ( ) 0 () para cada q = 0, 1 entonces por el
Lema(3.4) el diagrama
0 ( )
iq
/ 1 ( )
iq
0 ()

/ 1 (q )
= 0 y i ()
= 1 , en consecuencia
es conmutativo, por lo tanto i0 ()
1
i0 (F ) = F 0 tambien i1 (F ) = F 1
por lo tanto iq (P (F )) = P (F q ) para cada q = 0, 1 y como [P (F )] es una clase

cerrada, y ademas i0 , i1 son aplicaciones homotopicas, entonces
[P (F 0 )] = i0 ([P (F )]) = i1 ([P (F )]) = [P (F 1 )].
Sea , brados vectoriales diferenciables complejos y f : un isomorsmo

diferenciable, as f induce una aplicacion f : 0 () 0 ( ) de la forma f (s) = f s,
78
as f es un isomorsmo. Ahora elegimos conexiones , en y respectivamente

de tal manera que el diagrama
0 ()
f
0 ( )
/ 1 ()
f

/ 1 ( )
conmute, y considere referenciales locales e, e de y respectivamente donde estos
se trivializan, entonces las matrices F (e), F (e ) son semejantes esto quiere de

cir que F (e) = GF (e )G1 , aplicando el polinomio invariante P se tiene que
P (F (e)) = P (F (e )), esto dice que brados isomorfos denen clases de cohomologa identicas. Esto nos permitira demostrar cuando dos brados vectoriales no son
isomorfos.
Los ejemplos mas importantes de polinomios invariantes homogeneos son:
P (A) = k (A) y P (A) = sk (A) = T r(Ak )
ahora ya podemos presentar la siguiente denicion.
Denici
on 4.2. Sea un brado vectorial complejo de dimensi
on n sobre M , y los
2
2k
polinomios simetricos elementales k , sk : Mn ( (M ; C)) (M ; C), k = 1, .., n.
Denimos:
i. La k-esima Clase de Chern del brado vectorial complejo es
[ ( 1
)]
F H 2k (M ; C).
ck () = k
2 1
ii. La k-esima Clase Caracterstica de Chern es
)]
1 [ ( 1
F H 2k (M ; C).
chk () =
sk
k!
2 1
Donde es una conexi
on compleja en ; adem
as en el caso que k = 0, se dene
c0 () = 1 y ch0 () = dim .
Note que esta denicion se encuentra en relacion con la Denicion(3.3).
1
Por otro lado, usando la notacion chk () = k!
sk () tenemos por el Lema(4.1) que
sk () = Qk (c1 (), ..., ck ()) y ck () = Pk (s1 (), ..., sk ())
para ciertos polinomios Qk y Pk . Entonces tenemos por ejemplo
1
ch1 () = c1 () y ch2 () = c21 () c2 ().
2
4.2.1.
79
Clases Chern de un Fibrado de Lnea
Sea, L un brado vectorial complejo lineal sobre M , considere U un abierto trivializante

con lo cual HomC (L, L)|U
= U C por lo tanto, 2 (HomC (L, L)|U )
= 2 (U ; C).
Entonces F 2 (U ; C) y por otro lado sk : 2 (M ; C) 2 (M ; C) esta dada por:
sk (F ) = T r((F )k ) = F
| .....
{z F } .
kveces
Con lo cual obtenemos:

chk (L) =
1
1
ch1 (L)k , tambien chk (L) = c1 (L)k
k!
k!
as chk (L) puede verse como el kesimo termino de la serie de potencias de la aplica 1
k
cion ec1 (L) =
k! c1 (L) .
Considere el brado canonico de lneas Hn sobre CPn con espacio total
E(Hn ) = {(L, u) CPn Cn+1 /u L}
como Hn es un brado de lnea, tenemos que la Clases de Chern ck (Hn ) = 0, cuando
k > 1.
Teorema 4.2. El homomorsmo integraci
on de c1 (H1 ) es -1.
Demostraci
on. Sea U0 = {[z0 , z1 ]/z0 = 0} un abierto de CP1 y tome g : C U0 CP1
dada por g(x, y)=[1,z] donde z = x + iy, una parametrizacion de este abierto, la
aplicacion g induce la aplicacion g : 2 (U0 ) 2 (C) de la forma, F g F ,
2i
por el Ejemplo(2.3) se tiene que g F = Fg(x,y)

= (1+|z|
2 )2 dx dy, por otro lado la
clase c1 (H1 ) esta dada por:
[ ( 1
)] [ 1
]
c1 (H1 ) = 1
F =
F .
2i
2i
Entonces
c1 (H1 ) =
U0
R2
1
F
=
2i g(x,y)
R2
2i
dx dy
2i(1 + |z|2 )2
para integrar la u
ltima igualdad usamos coordenadas polares x = r cos , y = r sin
donde dx = cos dr r sin d y dy = sin dr +r cos d, por lo tanto, dxdy = rdr d

1
1 2 rdr d
ds
dx dy =
=
= 1.
2
2
2
0
(1 + r )
(1 + s)2
R2 (1 + |z| )
0
0
Esto dice tambien que U0 F = 2i.
4.2.2.
80
Clases Caractersticas de Chern de Operaciones con Fibrados
En esta parte de nuestro trabajo hallaremos las Clases de Chern y las Clases Caractersticas de Chern de algunos brados; como el brado inducido f , de la suma de
Witney 0 1 , del producto tensorial de brados 0 1 y por u
ltimo de .
Para abreviar notacion en algunas ocasiones escribiremos P () en ves de P (F (e)).
Teorema 4.3. Sea f : N M , una aplicaci
on diferenciable y un brado vectorial
complejo sobre M . Entonces para cada polinomio invariante P , tenemos f [P ()] =
[P (f )].
Demostraci
on. Tenemos que f es un brado vectorial sobre N , y es una conexion
en asociada a esta conexion tenemos la forma de curvatura F . Por el Lema(3.4)
existe una conexion f () en el brado f y asociada a esta conexion se tiene la forma
de curvatura F f () que esta dada de la forma F f () = f (F ). Si P es un polinomio
invariante tenemos P (F f () ) = f (P (F )).
Teorema 4.4. Sea 0 y 1 brados vectoriales complejos sobre M , donde 0 , 1 su

respectiva conexi
on, tenemos:
i. chk (0 1 ) = chk (0 ) + chk (1 ).
ii. ck (0 1 ) =
r=0 cr (0 )ckr (1 ).
Demostraci
on. Usando el isomorsmo 0 (0 ) 0 (1 )
= 0 (0 1 ), deniremos una
conexion
0 1 : 0 (0 1 ) 1 (0 1 )
de la forma 0 1 (s0 s1 ) = 0 (s0 ) 1 (s1 ); as podemos extender de la forma
d0 1 = d0 d1 por lo tanto, asociada a esta conexion tenemos denida la forma
de curvatura
F 0 1 = d0 1 0 1 = F 0 F 1 2 (Hom(0 1 , 0 1 )).
Si U es un abierto de M lo mas peque
no, donde 0 ,1 y 0 1 se trivializan, entonces
podemos elegir un referencial e, con lo cual la representacion matricial de la forma de
curvatura F 0 1 de la suma de Whitney esta dada por:
)
(
0 (e)
F
0
Mn+m (2 (U ; C)),
F 0 1 (e) =
0
F 1 (e)
usando las identidades dadas en (1) se tiene que sk (F 0 1 (e)) = sk (F 0 (e)) +
sk (F 1 (e))
81
por lo tanto
chk (0 1 ) =
)] 1 [ ( 1
)]
1 [ ( 1
F 0 (e) +
F 1 (e) .
sk
sk
k!
k!
2 1
2 1
Para la otra igualdad usamos la identidad

k (F 0 1 (e)) =
r (F 0 (e)) kr (F 1 (e))
r=0
luego se tiene la igualdad deseada.
Teorema 4.5. Sea 0 y 1 , brados vectoriales complejos entonces

chk (0 1 ) =
chr (0 )chkr (1 )
r=0
Demostraci
on. Considere 0 , 1 conexiones en los brados 0 , 1 respectivamente, en
(3.14) se denio una conexion; (s0 s1 ) = 0 (s0 ) s1 + s0 1 (s1 ) en el brado
0 1 , junto con su extension, para el caso n = 1 y se escribe de la forma
d (w s0 s1 ) = d0 (w s0 ) s1 s0 d1 (w s1 ),
donde w 1 (M ), s0 0 (0 ) y s1 0 (1 ). Ahora hallamos la forma de curvatura
como la composicion
F (s0 s1 ) = d (s0 s1 ) = d0 0 (s0 ) s1 + s0 d1 1 (s1 ),
por lo tanto, la 2-forma de curvatura queda expresada as, F = F 0 id + id F 1
donde id : 0 (r ) 0 (r ) para r = 0, 1. Por otro lado para hallar las Clases de Chern
tenemos que determinar sk (F ) = T r((F )k ) donde T r es el homomorsmo traza
ver (3.17), empezamos determinando (F )k .
k
(F )
= |F
.....
{z F } =
kveces
k ( )
k (
i=0
F 0
)i
(
)(ki)
F 1
.
El producto tensorial de aplicaciones lineales induce una aplicacion entre los brados
Hom(0 , 0 ) Hom(1 , 1 ) Hom(0 1 , 0 1 ),
esta aplicacion junto con (3.10), denen la aplicacion
: i (Hom(0 , 0 )) i (Hom(1 , 1 )) i+j (Hom(0 1 , 0 1 ))
entonces podemos formar el siguiente diagrama conmutativo
i (Hom(0 , 0 )) j (Hom(1 , 1 ))
T rT r
i (M ; C) j (M ; C)
/ i+j (Hom(0 1 , 0 1 ))

Tr
/ i+j (M ; C)
82
es decir T r( ) = T r() T r(). Sabiendo que la traza es un 0 (M )-homomorsmo

y usando la conmutatividad del diagrama tenemos:
sk (F ) = T r
k ( )
(
k (
i=0
)
0 i
)
1 (ki)
)
=
k ( )
k
i=0
si (F 0 )ski (F 1 ).
Por lo tanto tenemos:

chk (0 1 ) =
k
]
1 [(k )
si (F 0 )ski (F 1 )
k!
i
i=0
i=0
k
i=0
k
[
]
1
si (F 0 )ski (F 1 )
(k i)!.i!
] 1 [
]
1[
si (F 0 )
ski (F 1 )
i!
(k i)!
chi (0 )chki (1 ).
i=0
Sea un brado vectorial complejo; en lo que sigue hallaremos las Clases de Chern y
las Clases Caractersticas de Chern del brado vectorial , pero primero abordaremos
dos teoremas que ayudaran a determinar dichas Clases.
Teorema 4.6. Principio de Splitting Para un brado vectorial complejo de
dimensi
on n, sobre una variedad diferenciable compacta M , existe una variedad T =
T () y una aplicaci
on propia diferenciable f : T M tal que
i. La aplicaci
on f : H k (M ) H k (T ) es inyectiva.
ii. El brado inducido es isomorfo a f
= 1 .... n , para ciertos 1 , ..., n
brados vectoriales complejos de lnea.
Prueba. Vea. [4]. Pag.201. Teorema(18.10).
Teorema 4.7. Sea un brado vectorial complejo sobre M . Existe precisamente un
conjunto de clases de cohomologa ck () en H 2k (M ; C) dependiendo s
olo de la clases
de isomorsmo de tal que:
i. La integraci
on de la clase c1 (H1 ) es 1, ck (Hn ) = 0 cuando k > 1 y c0 (Hn ) = 1.
ii. f (ck ()) = ck (f ).
iii. ck (0 1 ) =
r=0 cr (0 )ckr (1 ),
donde 0 , 1 son brados vectoriales complejos.
83
Demostraci
on. Podemos notar que las Clases de Chern de la Denicion(4.2) satisface
las tres condiciones, faltara demostrar la parte de unicidad.
Considere L un brado vectorial complejo de lnea sobre M , por el Teorema(2.1) L
tiene su complemento L tal que L L = M Cn+1 , esto quiere decir que Lx L
x =
n+1
n+1
{x} C
= C
para cada x en M , entonces Lx = (L, x) donde x M y L es
una recta contenida en Cn+1 , es un subespacio vectorial de dimension uno contenida
en {x} Cn+1 ; as tenemos la proyeccion proj2 : M Cn+1 Cn+1 en la segunda
componente. Ahora denimos la aplicacion
: M CPn ; x (x) = proj2 (Lx ),
por otro lado se tiene el brado canonico de lneas Hn = {(l, u) CPn Cn+1 /u l}
sobre CPn , mediante tenemos el brado inducido sobre M
prj2
Hn

/ Hn
prj1
/ CPn ,
donde Hn = {(x, (l, u)) M Hn , tal que 1 (l, u) = (x)} y las bras de Hn
son isomorfas a las bras de Hn ; la aplicacion
: L Hn entre brados vectoriales
de lnea denida de la forma

(x, v) = (l , v) donde l = prj2 (lx ) y v l , dene un
isomorsmo de bras. Formamos el siguiente diagrama
L

prj1
id
/ Hn

prj1
/M
conmutativo, donde se dene de la forma (x, v) = (x, (l, v)), donde [v] = l, entonces
tenemos isomorsmos de bras. En seguida se prueba que L es isomorfo al brado
Hn ; solo faltara ver la diferenciabilidad para eso usamos la expresion local de ;
tome U un abierto de M , y considere h : U C L|U dada por h(x, z) = (x, ze), una
trivializacion del brado L, donde e es la direccion de la recta l y k : U C Hn |U
dada de la forma k(x, z) = (x, [ze], ze) es una trivializacion del brado Hn , la inversa
esta dada por k 1 (x(l, v)) = (x, z) donde l = [ze]. La expresion local queda expresada
de la forma
k 1 h(x, z) = k 1 ((x, z)) = k 1 (z, [ze], ze) = (z, e),
entonces es diferenciable por lo tanto Hn
= L. De la parte (ii) se tiene que
ck (Hn ) = ck ( Hn ), osea ck (Hn ) = ck (L), y como ck (Hn ) = 0 cuando k > 1,

entonces ck (L) = 0 para k > 1 esto es para cualquier brado de lnea. Entonces
84
podemos observar que (i) y (ii) determinan las Clases de Chern de un brado de lnea
arbitrario. Si tenemos L1 , ..., Ln brados de lnea, usando la parte (iii) y (i) se tiene
que las Clases de Chern del brado L1 ... Ln queda u
nicamente determinado por
c1 (L1 ), ..., c1 (Ln ), por ejemplo ck (L1 L2 ) = ck (L1 ) + c1 (L1 )ck1 (L2 ) + ck (L2 ), as se
puede expandir la suma cuando tenga n brados de lnea. Usando el Teorema(4.6) si
es un brado vectorial complejo, entonces ck (f ) = f (ck ()), donde el brado f =
1 ... n y como f es inyectiva entonces ck () quedan u
nicamente determinadas
por c1 (1 ), ..., c1 (n ).
Dada el algebra graduada H (M ; C) =
clase total como
i0 H
2i (M ; C)
de cohomologa; se dene la
c() = 1 + c1 () + c2 () + ..... H (M ; C)
(2)
llamada la Clase Total de Chern . Si L es un brado lnea entonces c(L) = 1+c1 (L).
Por otro lado si tenemos L1 , ...., Ln brados de lnea entonces
c(L1 .... Lk ) =
(1 + c1 (Lr )) =
r=1
i (c1 (L1 ), c1 (L2 ), ..., c1 (Lk )),
(3)
i=0
por lo tanto se sigue que ci (L1 .... Lk ) = i (c1 (L1 ), c1 (L2 ), ..., c1 (Lk )) por ejemplo
c1 (L1 .... Lk ) = c1 (L1 ) + ... + c1 (Lk ) y ck (L1 .... Lk ) = c1 (L1 )....c1 (Lk ).
La siguiente proposicion nos proporciona las Clases y las Clases Caractersticas de
Chern del brado vectorial dual en terminos de las respectivas clases del brado .
Proposici
on 4.1. Para un brado vectorial complejo de dimensi
on n se tiene:
i. Si k > n entonces, la clase ck () = 0.
ii. Las Clases de Chern y las Clases Caractersticas de Chern del brado , se
determinan de la forma ck ( ) = (1)k ck (), chk ( ) = (1)k chk ().
iii. Si es un brado vectorial real entonces, c2k+1 (C ) = 0 y ch2k+1 (C ) = 0.
Demostraci
on. Para la parte(i), en el caso que sea un brado de lnea por el Teorema(4.7) entonces
= Hn y as ck () = 0 cuando k > 1. Ahora para el caso general
usamos el Principio de Splitting tomemos = 1 .....n , donde 1 , ..., n son brados
de lnea. Por lo tanto por (3) se tiene
c() =
(1 + c1 (r )) =
r=1
i (c1 (1 ), ..., c1 (k )),
i=0
donde ci () = i (c1 (1 ), ..., c1 (n )); estos son polinomios que dependen u

nicamente de
las clases c1 (1 ), ..., c1 (n ), por lo tanto en el caso que k > dim se tiene que ck () = 0.
85
Ahora veamos la parte(ii) sea un brado de lnea complejo y por el Lema(2.7)-(ii),

se tiene que = Hom(, ), pero Hom(, ) es un brado trivial de dimension
uno entonces, tiene conexion plana(en el sentido de la Denicion(3.2)), por lo tanto
(
)
c1 ( ) = c1 Hom(, ) = 0, ahora aplicando el Teorema(4.5) para el caso en que
k = 1, con lo cual obtenemos ch1 ( ) + ch1 () = 0, as ch1 ( ) = ch1 (), y como
c1 () = ch1 se tiene c1 ( ) = c1 (). Por lo tanto
c( ) = c(1 .... n ) =
(1 + c1 ( )) =
j=1
(1 c1 ( )),
j=1
haciendo la multiplicacion del termino de la derecha, se puede mostrar inductivamente
que ck ( ) = (1)k k (c1 (1 ), .., c1 (1 )) con lo cual ck ( ) = (1)k ck (). Para el

otro caso, como es un brado de lnea y las Clases caractersticas dependen de las
Clases de Chern, entonces chk () = 0 cuando k > 1, y como ch1 () = c1 (); as que la
Clase caracterstica completa de Chern de un brado de lnea es ch() = 1 + ch1 () =
1 + c1 (), por lo tanto chk ( ) = (1)k chk ().
Para demostrar la parte(iii), primero se probara que para un brado vectorial real
este es isomorfo a su dual, es decir
= = Hom(, R). Como es un brado vectorial
sobre una variedad diferenciable M compacta, entonces este tiene un producto interno
elegimos un producto interno , en y denimos la aplicacion
: Hom(, R); (v) = u, ,
donde restricta a cada bra x : x Hom(x , R) dada por x (v)u = u, v es un
isomorsmo, Para demostrar que es un isomorsmo de brados faltara ver la diferenciabilidad de veamos su expresion local. Tome U un abierto de M donde ambos brados se trivializan, considere h : U Rn |U una trivializacion de y
k : U (Rn ) Hom(, R|U ) la trivializacion del brado donde su inversa esta dada por k 1 (g) = g k(x, ), hagamos la composicion
k 1 h(x, v) = k 1 ((x, v)) = (h(x, v)) k(x, )
la u
ltima igualdad es una aplicacion (h(x, v)) k(x, ) : Rn R lineal, evaluando en
un vector tenemos que (h(x, v)) k(x, u) = h(x, v), k(x, u) la cual es diferenciable,
en consecuencia los brados en cuestion son isomorfos.
El isomorsmo vale para brados reales, por lo tanto
(C )R
= (C )R
= (C )R , entonces (C )
= (C ).
De esta forma se tiene que ck (C ) = ck (C ) tambien chk (C ) = chk (C ), ahora usando
la propiedad(ii) para el brado complejo C
c2k+1 (C ) = c2k+1 ((C ) ) = (1)2k+1 c2k+1 (C )
igualando los extremos de la ecuacion se tiene que c2k+1 (C ) = 0, y de la misma forma
se tiene ch2k+1 (C ) = 0.
86
En virtud a esta propiedad damos la siguiente denicion

Denici
on 4.3. Sea un brado vectorial real, denimos las Clases y las Clases
Caractersticas de Pontryagin respectivamente como:
pk () = (1)k c2k (C ) y phk () = (1)k ch2k (C )
La Clase Total de Pontryagin se dene como p() = 1 + p1 () + ...
En el siguiente ejemplos se determinara las Clases de Chern del brado tangente sobre
el espacio proyectivo CPn .
Ejemplo 4.1. En este ejemplo estamos interesados en calcular las Clases de Chern
del brado tangente sobre espacio proyectivo complejo CPn . Primero identicaremos
a con el brado Hom(H, H ), donde H = Hn es el brado can
onico de lneas y H
es su complemento; las bras del brado vectorial complejo Hom(H, H ), son de la
Cn para cada recta L Cn+1 y las bras del brado tangente
forma Hom(L, L ) =
son espacios tangentes TL CPn . Denimos una aplicaci
on de la forma
gL : Hom(L, L ) UL CPn ; Gra(),
donde UL es una vecindad de L, que contiene a todas las rectas que son consideradas
como la gr
aca de aplicaciones lineales; esto puede verse de la forma: como : L L
es lineal (z) = z(a1 , .., an ) entonces, el gr
aco de se expresa de la forma Gra() =
{(z, z(a1 , .., an )) : z L} = [1, a1 , .., an ] UL . Ahora defnase la inversa de gL como
w1
wn
gL1 : UL CPn Hom(L, L ); [w0 , ...., w1 ] (1,
, ...,
),
w0
w0
donde 1 signica que se omite, por lo tanto cada (gL1 , UL ) es una carta coordenada
holomorfa; como Hom(L, L ) se identica con Cn , y el espacio tangente a Cn en cualquier punto es Cn . La parametrizaci
on gL induce un isomorsmo en sus respectivos
espacios tangentes
(DgL )0 : Hom(L, L ) TL CPn
este dene el isomorsmo requerido. Por otro lado se sabe que H H = CPn Cn+1
y el brado dual de H es H = Hom(H, CPn C) y como H es un brado de lnea se
tiene que Hom(H, H) = 1 donde 1 es un brado trivial de dimensi
on uno. Usando el
1
Teorema(4.7)-(iii) calculamos las Clases de Chern del brado
ck ( 1 ) =
ci ( )cki (1 )
i=0
se consigue que ck ( 1 ) = ck ( ) para cada k, en consecuencia sus respectivas Clases

Totales son iguales
osea c( 1 ) = c( ), usamos esta igualdad para calcular las Clases
87
de Chern de
1
... H } .
= Hom(H, H ) Hom(H, H)
= Hom(H, H H )) = H
| {z
(n+1)veces
Usando el hecho que H es un brado de lnea, y por el Proposici

on(4.1) se consigue
que c1 (H ) = c1 (H), adem

as ck (H ) = 0 cuando k > 1, para hallar la Clase Total
Chern se usa (3)
c( ) = c(H ... H ) =
n+1
(1 + c1 (Hi )) = (1 c1 (H))n+1
la u
ltima parte de la igualdad es el desarrollo de la f
ormula binomial general, as obtenemos:
ck ( ) = (1)k
(n + 1)!
c1 (H)k .
k!(n k + 1)!
4.3.
88
La Clase de Euler
En esta seccion, estamos interesados en denir las clases de Euler, para un brado
vectorial real, para esto consideremos a como un brado vectorial real de dimension
2k sobre una variedad compacta M . Empezamos esta seccion estudiando un tipo de
polinomio homogeneo de grado n en n(2n 1) variables llamado Pfaan, que denotaremos por Pf(A), donde A so2n 4 es una matriz antisimetrica.
Sea la matriz A = (Aij )2n2n denimos el operador alterno asociada a la matriz A de
la forma
w(A) =
Aij ei ej 2 (R2n ), donde {ei } es la base canonica de R2n .
i<j
)
0
a1
se tiene, w(A) = a1 e1 e2 .
En el caso que A =
a1 0
Denimos el Pf(A) por la ecuacion
w(A) .... w(A) = n!Pf(A)vol,
|
{z
}
nveces
donde vol = e1 ... en y A una matriz antisimetrica. Si A es una matriz de bloques

de la forma
( (
) (
)
(
) )
0
a1
0
a2
0
an
A = diag
,
, ....,
()
a1 0
a2 0
an 0
se tiene que w(A) = a1 e1 e2 + a2 e3 e4 + ... + an e2n1 e2n , por lo tanto obtenemos
que
w(A) ... w(A) = n!(a1 .a2 ...an )vol.
De este modo se obtiene Pf(A) = a1 .a2 ..an y se deduce la relacion Pf(A)2 = det(A).
Lema 4.5. Si A so2n y B M2n (R) una matriz arbitraria entonces:
i. Pf(A)2 = det(A).
ii. Pf(B.A.B t ) = Pf(A) det(B).
Demostraci
on. Como la matriz es antisimetrica entonces tenemos la existencia de g
O2n tal que
( (
gAg 1 = diag
4
0
a1
a1 0
(
,
0
a2
a2 0
(
, ....,
0
an
an 0
) )
so2n denota al espacio de matrices antisimetricas y At denotar

a a la matriz transpuesta de A.
89
(Vea. [4]. Pag.231) con eso tenemos que Pf(gAg 1 )2 = (a1 ...an )2 = det(gAg 1 ) =
det(A), usando la parte (ii) y el hecho que g 1 = g t se concluye que Pf(A)2 = det(A)
esto es para todo A so2n .
Demostremos las parte (ii) dada la matriz B = (Bvi ) considere los elementos ui =
Bei R2n donde los {ei } forman una base de R2n entonces escribimos ui = 2n
v=1 Bvi ei ,
as tenemos que
=
Aij ui uj =
Bvi Aij Brj ev er =
(BAB t )vr ev er
de donde se tiene = w(BAB t ) y haciendo
w(BAB t ) w(BAB t ) .... w(BAB t ) = .... = n!Pf(A)u1 u2 ... u2n
()
y como sabemos que u1 u2 ... u2n = det(B)e1 ... e2n ademas remplazando en
() se tiene que
w(BAB t ) w(BAB t ) .... w(BAB t ) = n!Pf(A)det(B)e1 ... e2n
de donde concluye que Pf(B.A.B t ) = Pf(A) det(B).
Si A Mn (C) es una matriz compleja la realicaci
on de la matriz A es una
on
( aplicaci
)
a b
de Mn (C) en M2n (R) en donde un elemento a + ib se escribe de la forma
.
b a
Esta aplicacion induce una funcion de sun Mn (C) en so2n M2n (R) donde sun
es el conjunto de matrices antihermitiana. Desde que A es antihermitiana entonces
existe una base ortonormal conformado por autovectores donde sus autovalores son
imaginarios puros esto es iaj para (1 j n), CON lo cual podemos asumir que
A = diag(ia1 , .., ian ) as obtenemos que det(A) = (i)n a1 ...an con ai R y
(
iaj =
0
aj
aj
0
)
so2 .
De esta manera tenemos Pf(AR )) = (1)n a1 ..an de ah se concluye que

Pf(AR ) = (1i)n det(A).
Sea un brado vectorial real sobre una variedad compacta M en tenemos un producto interno(metrica), este induce un producto interno de parejas denido de la forma
, :
i () j () i+j (M )
(w1 s1 , w2 s2 ) w1 w2 s1 , s2 ,
donde s1 , s2 son secciones en , y , : p p R es el producto interno en la bra p

dada de la forma s1 (p), s2 (p) para cada p M , y w1 i (M ), w2 j (M ).
90
Denici
on 4.4. Sea un brado vectorial real de dimensi
on 2k sobre M, con producto
interno. Una conexi
on en (, , ) se llama m
etrica ortogonal si
ds1 , s2 = s1 , s2 + s1 , s2
donde, d es la derivada usual en R, y diremos que la metrica ortogonal de conexi
on
es compatible con la metrica , .
Sea U un abierto de M donde se trivializa, elegimos un referencial ortonormal e =
{e1 , .., e2k } local, esto quiere decir que e = {e1 (p), .., e2k (p)} es una base ortonormal de
p para todo p en U, y tome A = (Aij ) la matriz de forma de conexion asociada a dicho
referencial, ei = 2k
j=1 Aij ej . Como e es ortonormal se tiene que ei , ek = ik en
U , ademas d(ei , ek ) = 0 para toda pareja (i, k).
Si consideramos que es una metrica ortogonal, entonces
d(ei , ek ) = ei , ek + ei , ek
0 =
Aij ej , ek + ei ,
Akj ej
j
Aij ej , ek +
Akj ei , ej = Aik + Aki
0 = Aik + Aki
de donde se deduce que A es una matriz antisimetrica, con respecto a un referencial
ortonormal. Y de la misma forma si A es una matriz antisimetrica entonces es una
metrica ortogonal de conexion. Por otro lado asociada a este referencial ortonormal
tenemos la forma de curvatura F (e) = dA A A M2k (2 (U )), donde A es la
matriz antisimetrica de forma de conexion, as F (e) tambien se convierte en una
matriz antisimetrica. Por lo tanto se puede aplicar el polinomio Pf y se consigue que
Pf(F (e)) 2k (U ).
Si en U tomamos otro referencial ortonormal e , y ademas suponemos que es orientable
(Vea.Pag.26) entonces, la matriz de cambio de base Bp SO2k 5 entonces, F (e ) =
Bp F (e)Bp1 aplicando el polinomio Pf y usando el Lema(4.6)-(ii) se tiene
Pf(F (e )) = Pf(Bp F (e)Bp1 ) = det(Bp )Pf(F (e)) = Pf(F (e))
por lo tanto Pf(F (e)) dene una 2kforma, global en M y por el Lema(4.4) se muestra que Pf(F ) es una forma cerrada que dene una clase de cohomologa, esto es
[Pf(F )] H 2k (M ).
Si es un brado vectorial sobre M , entonces este tiene una metrica de conexion,
como el brado se trivializa en abiertos de M , esto quiere decir que localmente tiene
5
SO2k es el grupo de matrices ortogonales. Si A SO2k entonces At = A1 .
91
una metrica de conexion compatible con un producto interno g = , . Usando

la particion de la unidad diferenciable ()I y por la Proposicion(3.1) se tiene que
=
dene una conexion en , ahora veamos que esto es una metrica de
conexion, si cada es una metrica de conexion compatible con g = , entonces
encaja en la Denicion(4.4)
ds1 , s2 = s1 , s2 + s1 , s2
por otro lado tenemos que
ds1 , s2 = s1 , s2 + s1 , s2 =
s1 , s2 + s1 ,
s2
(
)
=
s1 , s2 + s1 , s2
=
d(s1 , s2 ) = d(s1 , s2 ).
Considere las aplicaciones continuas i y
M
/M R
/M
dadas por i (x) = (x, ) para( = 0, 1) y (x, t) = x. Si es un brado sobre M

= .
entonces = () es el brado inducido sobre M R, por lo tanto i ()
Lema 4.6. Sea un brado vectorial diferenciable sobre M , dado los productos internos
g y metricas de conexi
on para ( = 0, 1) en entonces, existe un producto interno
compatible con g tal que i (
= .
g en y una metrica de conexi
on
g ) = g y i ()
Demostraci
on. Si g es un producto interno en entonces (g ) es un producto in as mismo si son conexiones en por lo tanto ( ) son conexiones
terno en ,
Considere la particion de la unidad {0 , 1 } subordinada a la cobertura abierta
en .
M (, 3/4) y M (1/4, ). Entonces g = 0 (g0 )+1 (g1 ) dene un producto in
de tal manera que i (
terno en ,
en i1 (
g ) = (g1 )
0 g ) = (g0 ) en M (, 1/4) y tambi
cualquier metrica de conexion compatible con
en M (3/4, ). Ahora considere
y (1 ) comel producto interno g, por lo tanto se tiene tres conexiones (0 ),
patibles con g sobre los abiertos M (, 1/4), M (1/8, 7/8) y M (3/4, )
respectivamente; ahora usamos la particion de la unidad diferenciable {0 , 1 , 2 } subordinada a dicha cobertura para pegar las conexiones y obtenemos una conexion
= 0 (0 ) + 1 (0 ) + 2
en M R compatible con g de tal manera que
= .
i ()
Corolario 4.1. La clase de cohomologa [Pf(F )] H 2k (M ) es independiente del
producto interno y de la metrica de conexi
on compatible.
92
Demostraci
on. Consideremos dos metricas de conexion junto con sus productos internos compatibles, (g0 , 0 ), (g1 , 1 ) y tomemos el producto interno y la metrica de
denida en lema anterior (

Si F
conexion en ,
g , ).
es la forma de curvatura aso
ciada a la conexion , y F
la forma de curvatura asociada a las conexiones
para( = 0, 1) por lo tanto, i (F ) = F aplicando el polinomio Pfaan se tiene
i (Pf(F )) = Pf(F ). Ademas como las aplicaciones i0 , i1 son homotopicas entonces

i0 = i1 : H k (M R) H k (M )
[Pf(F 0 )] = i0 (Pf(F )) = i1 (Pf(F )) = [Pf(F 1 )].
Denici
on 4.5. Sea un brado vectorial real orientada de dimensi
on 2k denimos
la clase de cohomologa
[ ( F )]
e() = Pf
H 2k (M ),
2
llamada la Clase de Euler.
Ejemplo 4.2. Tome M como una supercie en R3 orientada con metrica riemaniana,
denimos el brado cotangente(dual) sobre M , podemos notar que 0 ( |U ) = 1 (U )
entonces elegimos un referencial ortonormal e = {e1 , e2 } de 1-formas, de tal manera
que e1 e2 = vol en U. Si es una metrica ortogonal en entonces la matriz de
forma de conexi
on es antisimetrica esto es
(
)
0
A12
A=
A12 0
por lo tanto e1 = A12 e2 y e2 = A12 e1 donde A12 = a1 e1 + a2 e2 para ciertas
funciones diferenciales a1 , a2 ; esto es llamada la conexi
on de Levi-Civita. Por otro lado
podemos notar que A12 A12 = (a1 e1 + a2 e2 ) (a1 e1 + a2 e2 ) = 0, entonces la forma
de curvatura
(
F (e) = dA A A =
0
dA12
dA12
0
en este caso el Pf(F (e)) = dA12 , esta es llamada la forma de Gauss-Bonnet, y la

Curvatura Gaussiana 0 (M ) es denida por la f
ormula
vol = Pf(F ).
Ahora nuestro interes es denir la clase de Euler para un brado complejo, para esto
considere a como un brado vectorial complejo de dimension k, sobre M con una
93
conexion hermitiana que denotaremos por , C . Una conexion en es una metrica

ortogonal(unitaria) si se cumple que
ds1 , s2 C = s1 , s2 C + s1 , s2 C ,
donde s1 , s2 son secciones en 0 (). Sea U un abierto de M donde se trivializa,
elegimos un referencial ortonormal e = {e1 , ..., ek } as ei , ej C = ij , si A = (Aij ) es
la matriz de forma de conexion asociada al referencial e, entonces ei =

j Aij
ej , aprovechando que la conexion es una metrica ortogonal, conseguimos que Aij +
Aji = 0 por lo tanto la matriz de 1-formas de conexion es antihermitiana. El brado
vectorial complejo (, , C ) con metrica ortogonal, induce un brado vectorial real R
de dimension 2k, entonces una metrica ortogonal , para este brado es la parte real
(
)
de la metrica de , , = Re , C , la matriz de forma de conexion del brado R ,
asociada al referencial e = {e1 , ..., ek , ie1 , .., iek } es la matriz antisimetrica (AR )2k2k .
Entonces la Clase de Euler del brado complejo , es la Clase de Euler de R que se
denotara por e(R ).
Teorema 4.8. Tenemos las siguientes armaciones:
i. Para brado vectorial complejo de dimensi
on k se tiene, e(R ) = ck ().
ii. Para 1 y 2 brados vectoriales reales orientados se tiene, e(1 2 ) = e(1 )e(2 ).
iii. Si f : N M una aplicaci
on diferenciable y un brado vectorial real sobre M
entonces, e(f ) = f (e()).

Demostraci
on. Para la parte(i), dado el brado vectorial complejo con una metrica
hermitiana (, , C ), por los comentarios previos a este teorema el brado induce
un brado vectorial real R , donde la matriz de forma de conexion es AR asociada al
referencial e , por lo tanto la forma de curvatura es FR , que se relaciona con F de la
forma
( )
( )
Pf FR = (i)k det F ,
donde F es la forma de curvatura de (, , C ); usando esta igualdad se tiene
Pf
( F )
R
( F ) ( i )k
( iF )
= (i)k det
=
k (F ) = k
2
2
2
eso completa la prueba. Para(ii) tenemos dos brados orientados con metricas (1 , , ) y
(2 , , ) y metricas ortogonales 1 y 2 respectivamente; entonces la metrica ortogonal
en 1 2 , esta dada por = 1 2 , si tomamos U un abierto en M donde ambos
brados se trivializan y elegimos referenciales ortonormales e en 1 |U y e en 2 |U , por
lo tanto la matriz de forma de conexion asociada al referencial {e , e } esta dada por
A = A1 A2 , donde A1 es la matriz de forma de conexion asociada al referencial e
y A2 es la matriz de forma de conexion asociada al referencial e , de la misma forma
94
tenemos la forma de curvatura que estara dada por F = F 1 F 2 en consecuencia

tenemos
(
)
(
) (
)
Pf F 1 F 2 = Pf F 1 Pf F 2
de ah obtenemos que e(1 2 ) = e(1 )e(2 ). Para la demostracion de la parte(iii)
( )
usamos la forma de curvatura en f dada de la forma f F = F f () , aplicando el

( ( ))
( )
Pf y usando la propiedades del Pull-back se tiene f Pf F = Pf F f () de ah se
tiene e(f ) = f (e()).
El Principio de Splitting real que presentamos en seguida ayuda a justicar que las
Clases de Euler son u
nicas, salvo una constante real.
Teorema 4.9. Principio de Splitting Real Para un brado vectorial real orientable sobre M , entonces existe una variedad diferenciable T = T (), y una aplicaci
on
propia diferenciable f : T M tal que:
i. f : H (M ) H (T ) es inyectiva.
ii. f = 1 .... n cuando dim = 2n y f = 1 .... n 1 en el caso que
dim = 2n + 1; donde 1 , ...., n son brados reales orientados bi-dimensionales
y 1 es un brado de lnea trivial.
Demostraci
on. Vea.[4]. Pag.197. Teorema(19.7).
El Teorema siguiente, muestra que si existe una clase de cohomologa asociada a un
brado real este es la Clase de Euler salvo una constante real.
Teorema 4.10. Suponga que para cada clase de isomorsmo de brados vectoriales
reales 2n orientados de dimensi
on 2n sobre M , tiene asociada una clase e( 2n )
H 2n (M ) que satisface:
i. f (
e()) = e(f ()), donde f : N M es una aplicaci
on diferenciable
ii. e( ) = e()
e( ), para brados vectoriales reales orientables sobre la misma
base.
Entonces existe una constante real a R tal que e( 2n ) = an e( 2n ).
Demostraci
on. Considere L un brado de lnea complejo sobre M , este brado induce
un brado vectorial real LR de dimension dos, ahora se dene c(L) = e(LR ), entonces
por la condicion(i) del teorema se tiene que f (c(L)) = c(f L), usando los argumentos
de la demostracion del Teorema(4.7), se tiene que las clases c(L) dependen u
nicamente
de la clase uno de Chern c1 (L), esto quiere decir que existe una constante real a tal
que c(L) = ac1 (L), luego se tiene que e(LR ) = ae(LR ), por otro lado si es un brado
real orientable sobre M de dimension dos, este brado es de la forma LR esto se ve
95
de la siguiente manera x es una bra orientada(espacio vectorial real orientado de

dimension dos) a este le daremos estructura compleja donde la suma es la misma, solo
falta la multiplicacion por 1 esto se dene como la rotacion de positiva en /2. Por
lo tanto para cualquier brado real orientado de dimension dos se tiene e() = ae().
Si 2n = 1 ... n donde i son brados vectoriales orientables bi-dimensionales,
usando el Teorema(4.8)-(iii) se consigue que e( 2n ) = an e( 2n ). Veamos el caso general
donde 2n es un brado vectorial orientable real, por el Principio de Splitting Real,
parte (ii) tenemos f ( 2n ) = 1 ... n , as e(f 2n ) = e(1 ... n ) aplicando la
primera y segunda condicion del teorema se tiene f (
e( 2n )) = f (an e( 2n )) y por la
inyectividad de f , se concluye la igualdad deseada e( 2n ) = an e( 2n ).
Ahora denimos las Clases de Pontryagin para un brado vectorial real, como:
pk () = (1)k c2k (C )
y la Clase Total de Pontryagin se dene de la forma p() = 1 + p1 () + p2 () + ...
. Terminamos esta seccion dando un importante resultado que relaciona las Clases de
Pontryagin con la Clase de Euler.
Proposici
on 4.2. Sea un brado vectorial real orientable de dimensi
on 2k, entonces
2
pk () = e() .
Demostraci
on. Debemos probar que e()2 = (1)k c2k (C ) donde es el brado vectorial real orientable, con metrica , que es compatible con la metrica de conexion ,
( )k ( )
Pf F (e) , aca e es un referencial
entonces e() es representado localmente por 1
2
ortonormal elegido en un abierto trivializante del espacio base; por otro lado complexicamos el brado , as obtenemos un brado vectorial complejo C de dimension 2k,
para dotarle de una metrica a este brado complexicamos la metrica la misma que
quedara expresada de la forma v r, w zC = v, w r
z , de esa manera e es un referencial ortonormal con la metrica complexicada, que es compatible con una metrica
hermitiana elegida , por lo tanto A es la matriz antihermitiana de forma de conexion
asociada a dicho referencial, en consecuencia F (e) es la matriz antihermitiana de for( i )2k
(
)
ma de curvatura, entonces c2k (C ) es representado localmente por 2
det F (e) ,
usando la propiedad de que Pf(A)2 = det(A), se tiene el resultado deseado.
Captulo 5
El Isomorfismo de Thom y la
F
ormula General de
Gauss-Bonnet
Este
es uno de los captulos mas importante de nuestro trabajo, aca se relacionara la
cohomologa del espacio total E de un brado , con la cohomologa de su espacio
base M . Pero nuestro principal objetivo es establecer el Isomorsmo de Thom. En el
caso que el espacio base M sea una variedad compacta se escribira este isomorsmo
en forma explicita en terminos de la Clase de Thom; nalmente usando esta clase y el
isomorsmo dado encontraremos la Formula General de Gauss-Bonnet.
5.1.
La F
ormula de K
unneth y el Teorema de Leray-Hirsch
En esta parte demostraremos la Formula de K

unneth, que permite calcular los grupos
de cohomologa de un espacio producto en terminos de los grupos de cohomologa de
cada uno de los productos
H (M F )
= H (M ) H (F ),
()
donde M y F son variedades diferenciales. La demostracion se hara por induccion

sobre abiertos de uno de los productos y luego se aplica el Teorema(1.3) para obtener
el resultado mas general.
Como () puede presentarse de la forma
H n (M F )
=
H p (M ) H q (F ) para todo n.
p+q=n
Con la cual demostraremos () usando las ideas establecidas.
96
()
El Isomorsmo de Thom y la Formula General de Gauss-Bonnet
97
Las proyecciones
M F

/F
M
dan origen a las aplicaciones : H k (M ) H k (M F ) y : H l (F ) H l (M F )
y estas inducen la aplicacion
H k (M ) H l (F ) H k+l (M F ) de la forma w w ,
por lo tanto queda bien denida la aplicacion
: H (M ) H (F ) H (M F ).
Demostraremos que es un isomorsmo. Considere V una cobertura abierta de M , y
U coleccion de abiertos donde se cumple que es un isomorsmo; se probara las cuatro
condiciones del Teorema(1.3).La primera condicion es trivial, para la segunda condicion
considere U un abierto en V difeomorfo a Rn as se tiene H (U ) = H (Rn ) = R y como
H (U F ) = H (F ) entonces es un isomorsmo. Para la condicion tres considere
U, V U y tambien U V U osea tenemos los tres isomorsmos; : H (U F )
H (U ) H (F ), : H (V F ) H (V ) H (F ) y : H ((U V ) F )
H (U V ) H (F ) por demostrar que : H ((U V ) F ) H (U V ) H (F )
es un isomorsmo, en ese sentido tomemos la secuencia de Mayer-Vietoris para U V
y un pjo
/ H p (U V )
/ H p (U ) H p (V )
/ H p (U V )
si tensorizamos por H np (F ). Entonces obtenemos la secuencia

/ H p (U V ) H np (F )
I i
(
) (
)
H p (U ) H np (F ) H p (V ) H np (F )
J i
/
/
H p (U V ) H np (F )
Por otro lado la siguiente secuencia

/ np=0 H p (U V ) H np (F )
n
p=0
((
) (
))
H p (U ) H np (F ) H p (V ) H np (F )
n
p=0
sigue conservando la exactitud. Ahora podemos formar el diagrama
)
(
))
(( p
H (U ) H np (F ) H p (V ) H np (F )
H n ((U V ) F )
H n (U F ) H n (V F )
H n ((U V ) F )
98
el cual es conmutativo, excepto posiblemente en el cuadrado

(
)
)
( p+1
H
(U V ) H np (F )
H n ((U V ) F )
/ H n+1 ((U V ) F )
vericaremos que el diagrama es conmutativo, sea w en H p (U V ) H np (F )

entonces
(w ) = ( (w) ) = ( (w)) ().
()
Tambien se tiene
(w ) = ( (w) ()).
()
Ahora considere {U , V } la particion de la unidad subordinada a la cobertura {U, V }

esto es, U w + V w = w y como w H p (U V ), se tiene que dw = 0, entonces
d(U (w)) = d(V (w)) en U V , ahora podemos denir
d( w),
V
(w) =
d( w),
U
en U
en V
el conjunto { U , V } forma una particion de la unidad en (U V )F subordinada

a la cobertura {U F, V F } entonces denimos
d( ( w)),
V
(w) =
d( ( w)),
U
en U F
en V F
entonces queda de la siguiente manera

(
)
(
)
(
)
( (w) ()) = d U ( w ) = d ( U ) w = d (U w)
de la u
ltima igualdad tenemos que es de la forma ( w) (), por lo tanto es igual
a , entonces el diagrama es conmutativo y por el Lema Cinco se concluye que la
p
aplicacion :
H (U V ) H np (F ) H n ((U V ) F ) es un isomorsmo.
Para la condicion (iv) considere el conjunto {U1 , .., Ur ...} de abiertos disjuntos dos a
dos en U , entonces tenemos
(
) (
)
(
)
H Ui F
= H (U1 ) ... H (U1 ) .. H (F )
= H Ui H (F ),
en consecuencia la Formula de K
unneth vale para M .
El Teorema de Leray-Hirsch que presentaremos en seguida es una primera relacion
entre la cohomologa del espacio total E de un brado, y la cohomologa de su base M.
99
Para tales nes empezamos dando la siguiente denicion.

Sea : E M , un brado diferenciable sobre M con bra F , el producto
H i (M ) H j (E) H i+j (E) dada por a.e = (a) e,
(1)
donde a H i (M ), e H j (E) y : H i (M ) H i (E), hace que H (E) llegue a ser un

modulo graduado sobre el algebra graduada H (M ).
Considere = (E, F, M, ) un brado diferenciable (no necesariamente vectorial) y
ip : Fp E, la inclusion. Supongase que existen clases de cohomologa globales {e |
A} en H n (E), con la propiedad que:
{ip (e ) | A} es una base del espacio vectorial H (Fp )
(2)
entonces queda denida la aplicacion

: H (M ) R{e / A} H (E), (a e) = (a) e
()
Teorema 5.1. En el sentido de la denici

on en ( 2) el espacio vectorial H (E), es
H (M )-m
odulo libre, con base {e | A}.
Demostraci
on. La demostracion equivale a probar que la aplicacion denida en
es un isomorsmo, y dicha prueba se hace en base a induccion sobre abiertos de M y
luego se aplica Teorema(1.3), se sigue de forma analoga a la prueba de la Formula de
K
unneth, por eso omitiremos la demostracion en este trabajo. Sabiendo que si es un
isomorsmo tenemos:
H (E)
= H (M ) R{e / A}
= H (M ) H (F )
por lo tanto H (E) es un modulo libre sobre H (M ) con base {e | A}.
5.2.
Isomorfismo de Thom
En adelante indicaremos a = (E, M, ) como un brado vectorial real orientable

de dimension m, sobre la base M (de dimension n). El Isomorsmo de Thom
permite calcular los grupos de cohomologa con soporte compacto Hc (E) del espacio
total del brado , en terminos de los grupos de cohomologa del espacio base H (M ),
q
especcamente Hcq+m (E)
= Hc (M ) para cualquier q {0, .., n}. Incorporaremos dos
proposiciones que ayudaran a establecer dicho isomorsmo.
Proposici
on 5.1. Para un brado vectorial = (E, M, ), se tiene que H q (E)
=
q
H (M ).
Demostraci
on. Considere la seccion s : x (x, 0) que encaja difeomorcamente M
en E. Para probar la proposicion es suciente ver que M {0} es un retracto por
100
deformacion de E; con esa idea tenemos la aplicacion : E M {0} de donde

resulta que s : M {0} M {0} es la identidad en M {0} de donde se
tiene que M {0} es un retracto de E. Ahora veamos que pasa con la composicion
s : E E para eso denamos la aplicacion F : E [0, 1] E de la forma
F (v, t) = tv + (1 t)s (v), con eso se tiene que s es homotopica a la idE
as M {0} es un retracto por deformacion de E y por los comentarios hechos previos
a la Seccion(1.2) se concluye que
H q (E)
= H q (M {0}) = H q (M ).
Para aplicar la Dualidad de Poincare a la variedad E, de necesita que este sea una
variedad orientable, la siguiente proposicion proporcionara tal resultado.
Proposici
on 5.2. Sea = (E, M, ) un brado vectorial orientado de dimensi
on m, y
M es una variedad orientada de dimensi
on n, Entonces E es una variedad orientable
de dimensi
on (n + m).
Demostraci
on. De la orientabilidad de M existe un atlas A = {(U , )| J}, tal que
(
)
para todo , J y x U U se tiene que det D( 1 (x)) > 0; por otro lado
tenemos las trivilizaciones locales del brado h : U Rm E|U , dando origen a las
funciones de transicion(co-ciclos) h (x) : Rm Rm , debemos demostrar la existencia
de un atlas en E, para eso tome de la forma A = {(U , ( , id) h1
)| J} ahora
hallemos las funciones de transicion
(1 ,id)
Rn Rm
/ U Rm
/ E|U U
h1
/ U Rm( ,id) / Rn Rm
las aplicaciones de cambio de coordenadas es,

1
n
m
n
m
( , id) h1
h ( , id) : R R R R
que se puede expresar de la forma

(
)
1
1
1
( , id) h1
h ( , id)(x, y) = (x), h ( (x))y ,
la matriz jacobiana del cambio de coordenadas es:
(
)
D( 1 (x))
J=
0
h (1 (x))
el determinante de esta matriz es el producto de los bloques de la diagonal de la matriz
el primer bloque tiene determinante positivo por la orientabilidad de la variedad M y
el segundo bloque tiene determinante positivo por la orientabilidad del brado.
101
El espacio total E tiene dimension (n + m) como variedad donde n = dim M y m es la

dimension de la bra. Usando la proposicion anterior ya podemos aplicar la Dualidad
de Poincare para E entonces
Hcm+q (E)
= H (n+m)(q+m) (E) = H nq (E)
= H nq (M )
= Hcq (M )
el segundo isomorsmo es por la Proposicion(5.1) y el tercer isomorsmo es de la
Dualidad de Poincare para M .
Esta
prueba es valida para una variedad diferenciable orientable. En lo que sigue se
establecera el Isomorsmo de Thom de forma explcita cuando M sea una variedad
compacta orientable. Para tales objetivos se construira un nuevo brado usando el
brado vectorial con un producto interno , , las bras de este brado a construir
seran esferas S m , y a este espacio lo llamaremos brado de esferas . Con esa idea
considere la Suma de Whitney 1 = pM p R, este es un brado vectorial real

donde 1 representa el brado de lnea sobre M , tome
Sp = {v = (w, z) p R | v, v = 1},
ahora tomemos la union S( 1) = pM Sp y la proyeccion denida por : S( 1)

M , (v) = p, con v 1 (p). As S( 1) es el brado de esferas sobre M por lo tanto
las bras son homeomorfas a la esfera S m
= 1 (p); tambien la orientacion de p induce
una orientacion en cada bra 1 (p), con lo cual tenemos el isomorsmo
: H m ( 1 (p)) R.
(3)
Vea Observacion(1.2). Y Por el Teorema(5.1) se tiene que H (S(1)) es un H (M )modulo libre; por otro lado tenemos la seccion s : M S( 1) denida por s (p) =
(0, 1p ) p R. Si a la esfera 1 (p) le quitamos el punto s (p) entonces por la proyeccion estereograca se tiene 1 (p) s (p)
= p , ahora si hacemos esto globalmente
entonces se puede identicar el espacio total E de , con S( 1) s (M ).
En la siguiente denicion se introduce lo que es la clase orientadora de todo brado
vectorial real orientado que sera de suma importancia para este objetivo.
Denici
on 5.1. Sea un brado vectorial real orientado, una clase de orientaci
on
m
para es una clase se cohomologa u H (S( 1)) que satisface:
i. s (u) = 0.
ii. Para cada p M, la restricci
on de u a la bra 1 (p) tiene integral 1.
En el sentido de esta denicion el siguiente teorema garantiza la existencia y unicidad
de la clase orientadora para .
Teorema 5.2. Cada brado vectorial real orientado , admite una u
nica clase de
m
orientaci
on u H (S( 1)), y adem
as H (S( 1)) es un H (M )m
odulo libre con
base {1, u}.
102
Demostraci
on. Por el Teorema(5.1) tenemos que; H (S( 1)) es un H (M )modulo
libre. Por otro lado tenemos
R, q = 0, m
H q ( 1 (p))
=
0, en otros casos,
donde 1 (p) son las bras(esferas) de S( 1). La aplicacion ip : 1 (p) S( 1) es
la inclusion, entonces ip : H m (S( 1)) H m ( 1 (p)) es la restriccion de las clases en
las bras, y como u H m (S( 1)) es una clase orientadora y por el isomorsmo dado
en (3), se concluye que la base es {1, u}. Faltara demostrar la existencia y unicidad de
la clase u, es decir tenemos que demostrar que existe una u
nica clase u que satisface la
Denicion(5.1), en las siguientes lneas se justicara porque solo es necesario demostrar
la condicion (ii) de la denicion de clase de orientaci
on. Si tomamos una clase u que
satisface la Denicion(5.1), y supongamos que existe otra clase v H (S( 1)) que
satisface solo la condicion Denicion(5.1)-(ii) entonces es de la forma
v = x 1 + a.u = (x) + (a) u
()
para alg
un x H m (M ) y a H 0 (M ). Podemos notar que la restriccion de la clase
(x) a la bra 1 (p) se anule para todo p M y elegimos a a como la funcion
constante 1 en cada vecindad de p, entonces ip (v) == ip ( (x)) + ip (1 u) por lo tanto
s (v) = x + s (u)
()
y s (v) = 0 si y solo si x = s (u), con lo cual esto indica que es suciente probar la
condicion Denicion(5.1)-(ii). Para la unicidad supongase que existen dos clases u y v
que satisface las dos condiciones de la Denicion(5.1) entonces tenemos que en () la
clase x es nula asimismo remplazando en () y habiendo elegido la funcion localmente
constante a como 1, entonces se concluye que u = v.
Para la existencia de la clase u, que satisface la condicion Denicion(5.1)-(ii) se hara en
base al Teorema(1.3), usamos la notacion SU = 1 (U ) donde U es un abierto de M .
Consideremos U la coleccion de abiertos de M que en cada abierto de esta coleccion
cumple el teorema es decir U U si y solo si existe una clase en H m (SU ) con integral
1 en cada bra 1 (p) para todo p U ; tambien consideremos a V = (V )I como
una cobertura abierta de M donde S( 1)|V es trivial. Ahora veriquemos las cuatro
condiciones del Teorema(1.3), la primera condicion es trivial.
Para la condicion(ii) considere U V difeomorfo a Rn , entonces SU es trivial y es
de la forma SU = U S m , ademas H m (SU ) = H m (U S m )
= H m (S m ) y por el
isomorsmo
: H m (S m ) R
existe una clase u H m (SU )
= H m (S m ), con integral 1.
Ahora veamos la tercera condicion, para eso considere U1 , U2 y U1 U2 en U as tenemos
103
las clases ur H m (SUr ) para r = 1, 2 que restricta a cada bra tiene integral 1,
considere la secuencia de Mayer Vietoris
H m (SU1 U2 )
/ H m (SU ) H m (SU )
1
2
/ H m (SU U )
1
2
de la exactitud de la secuencia se tiene que (u1 , u2 ) KerJ = ImI , entonces existe

una clase u H m (SU1 U2 ) tal que I (u) = (u1 , u2 ) con restriccion ur en SUr , esta clase
tiene integral 1 sobre cada bra 1 (p) para todo p U1 U2 , por lo tanto U1 U2 U.
Por u
ltimo considere la secuencia de abiertos U1 , U2 , .. disjuntos dos a dos en U con
union U = r Ur por lo tanto tenemos el isomorsmo
H m (SU )
H m (SUr ) dada por w ir (w),
donde ir : Ur U es la inclusion, tambien tenemos ur H m (SUr ) entonces existe

u H m (SU ) tal que los ur son la imagen de alg
un u, como la clase u restricta a Ur
coincide con la clase ur , entonces u restricta a cada bra 1 (p) tiene integral 1 para
todo p en U. En consecuencia M U.
En lo que se ha trabajado hasta ahora en este captulo no se exigio que M sea compacta, para lo que sigue se considerara a M como una variedad diferenciable orientable
compacta, con lo cual tenemos que s (M ) es una subvariedad compacta de la variedad
compacta S( 1) y ademas sabemos que S( 1) s (M )
= E y s (M )
= M , por
lo tanto de acuerdo a la Proposicion(1.3) se tiene la secuencia exacta larga
/ Hcq (E)
/ H q (S( 1))
/ H q (M )
/ Hcq+1 (E)
/ ,
ahora si hacemos la composicion s = ( s ) = id se concluye que s es

sobreyectiva y por la exactitud de la secuencia se tiene = 0 y i es inyectiva, con lo
que la secuencia larga, se convierte en una secuencia exacta corta
0
/ Hcq (E)
/ H q (S( 1))
/ H q (M )
/0.
Ahora ya estamos en condicion de presentar el Isomorsmo de Thom.

Teorema 5.3. (Isomorfismo de Thom) Considere a = (E, M, ) como un brado vectorial real orientado mdimensional con espacio total E, sobre una variedad
diferenciable compacta M . Entonces existe una u
nica clase U Hcm (E) con integral 1
sobre cada bra p y la aplicaci
on
: H q (M ) Hcm+q (E) denida por; (x) = x.U = (x) U
es un isomorsmo. La clase (1) = U es llamada la Clase de Thom.
104
Demostraci
on. Usando la secuencia exacta corta dada en (4)
0
/ H m (E)
c
/ H m (S( 1))
/ H m (M )
/0
la clase de orientacion u H m (S( 1)) es de la forma u = i (U ) donde U Hcm (E),

la inyectividad de i demuestra la unicidad y la sobreyectividad de s muestra la
existencia, por lo tanto la clase U queda u
nicamente determinada. El operador . es el
denido en (1) y por el Teorema(5.2) muestra que Hc (E) es un H (M )modulo libre
y como
(e.x) = (e x) = (e x) U = (e) (x) = e.(x); e, x H q (M )
es un H (M )homomorsmo, por lo tanto es un isomorsmo.
Usando las mismas notaciones de este teorema donde se tiene el isomorsmo :

H m (M ) Hcm+m (E). La clase e() H m (M ) la denimos de la forma
(
e()) = U U.
(5)
El producto exterior en Hc (E) es anticonmutativo as U U = 0 en el caso que m sea

impar, en consecuencia (
e()) = 0, por la inyectividad de se tiene que e() = 0 para
un brado vectorial real de dimension impar.
La clase e() H m (M ) satisface las condiciones del Teorema(4.10), entonces tenemos
e( m ) = am/2 e( m )
donde e( m ) es la Clase se Euler y a R.
Lema 5.1. Sea s : M E, una secci
on diferenciable arbitraria en un brado vectorial
real orientado con espacio total E y donde U es la Clase de Thom, entonces s (U ) =
e().
Demostraci
on. El lema equivale a probar que (s (U )) = U U , la seccion s es propia
puesto que s = idM , si C es un compacto en M , entonces s1 ( 1 (C)) = C, la
imagen inversa via s de todo compacto 1 (C) en E es un compacto en M ; por lo
tanto la aplicacion s induce un homomorsmo
s : Hc (E) Hc (M ) = H (M ).
esta dene
Sea w m
c (E) una forma cerrada que es un representante de la clase U ,
m
una clase [w] H (E); por otro lado tenemos que la aplicacion s : E E es
homotopica a la idE por lo tanto [w] = [ (s (w))]; usando la denicion en (5) tenemos
(s (U )) = (s (U )) U = U U
105
La Proposicion(5.1) muestra que la Clase de Euler para un brado vectorial real orientado sobre una variedad compacta, se puede denir como s (U ) = e().
5.3.
F
ormula de Gauss-Bonnet
En esta u
ltima parte deL trabajo extenderemos a secciones el concepto ndice de un
campo vectorial con singularidades aisladas; en ese sentido considere a = (E, M, )
un brado vectorial real orientado sobre una variedad compacta M , donde dim =
dimM = m y denotemos por s0 : M E a la seccion nula que se dene como
s0 (p) = 0 p es decir es el cero de cada bra, y tome una segunda seccion diferenciable
s : M E y como s = idM entonces Dp ( s) = Ds(p) .Dp (s) = idTp M por lo tanto
el homomorsmo Dp s : Tp M Ts(p) E es inyectiva y de la misma forma se consigue
que Dp so : Tp M Ts0 (p) E es monomorsmo.
Denici
on 5.2. un punto p M es un cero o una singularidad para la secci
on s, si
s(p) = s0 (p). Y diremos que s es transversal en p si
Dp s(Tp M ) Dp s0 (Tp M ) = 0
(6)
s es llamada transversal a s0 si (6) se mantiene para todos los ceros de s.

Sabemos que la aplicacion Dp so : Tp M T0 E es un monomorsmo, por lo tanto
el espacio Ts0 (p) E es la suma directa del espacio tangente Dp s0 (Tp M ) con el espacio
tangente en Ts0 (p) (s0 (M )) este u
ltimo se identica con la bra p , y como Dp s0 es un
isomorsmo en su imagen, entonces Ts0 (p) E
= Tp M p . Con esta identicacion, (6) es
equivalente a decir que Dp s(Tp M ) es el graco del isomorsmo lineal A : Tp M p ,
ambos espacios vectoriales son isomorfos, entonces denimos el ndice local de s en
un cero o una singularidad p M como:
+1, si A preserva orientacion

i(s, p) =
1, caso contrario.
Dado una trivializacion local de en U osea |U = U Rm identicamos la restriccion
de s como la aplicacion diferenciable F : U {p} Rm = Rm , entonces la aplicacion
A : Tp U p se corresponde con el homomorsmo Dp F : Tp U Rm y si p es un
cero de F entonces se verica (6) por lo tanto A es un isomorsmo as i(s, p) = 1
dependiendo si A preserva o no la orientacion. El teorema de la aplicacion inversa
garantiza que F es un difeomorsmo local por lo tanto p es un cero aislado, en resumen
si s : M E es una seccion transversal a la seccion s0 y como M es compacto entonces
el n
umero de ceros de s es nito, osea s intercepta en un n
umero nito de puntos a la
seccion nula.
106
Nuestro trabajo concluye con la demostracion del siguiente teorema, que relaciona la
Clase de Thom con el ndice de s en p(ceros de s).
Teorema 5.4. Sea un brado vectorial real orientado sobre una variedad M compacta
donde dim = dimM = m. Si s es transversal a la secci
on cero, entonces
e() =
i(s, p),
(7)
p
donde la suma es sobre los ceros de s.

La demostracion requiere incorporar cierto material tecnico como el Lema(5.2), por eso
postergamos su justicacion.
Considere p1 , ..., pk ceros de una seccion s; en la primera parte del lema siguiente se
m
construira una forma cerrada w m
c (E) que es representante de la clase U Hc (E).
Para eso considere V1 , .., Vk vecindades abiertas de los ceros de s donde se trivializa
m
m
osea 1
on de 1
con la
i : Vi = Vi R ; denimos fi : Vi R como la composici
i
m
m
proyeccion de Vi R en R .
Lema 5.2. Con la misma notaci
on usada lneas arriba, dada la forma cerrada w
m
c (E) con integral 1 sobre cada bra, entonces Vi y fi de eligen tal que
w|Vi = fi (wi ), 1 i k,
m
donde wi m
c (R ) son formas con
Rm
wi = 1.
Demostraci
on. Para la prueba construiremos una aplicacion diferenciable h : M M
con las siguientes propiedades:
() h homotopica a la idM
() h es constante igual a pi en las vecindades abiertas Vi de pi para i = 1, .., k.
En ese sentido consideremos una aplicacion diferenciable G : Rm R Rm que
satisface
G(x, 0) = 0 para {x Rm /x 1/2}
G(x, 1) = x
G(x, t) = x
para x Rm
para t R y x Rm {x Rm /x 1/2}.
Por ejemplo podemos tomar la aplicacion diferenciable

(
)
G(x, t) = (1 t(x)) + t x
donde : R R es una funcion diferenciable denida de la forma,
0 si y 1/2
(y) =
1 si y 1,
(8)
107
la aplicacion G as denida cumple con las condiciones dadas en (8). Ahora elegimos
(Wi , i ) cartas donde los Wi son abiertos disjuntos en M con la propiedad i (pi ) = 0,
as tenemos los difeomorsmo i : Wi Rm para 1 i k, con lo cual denimos una
homotopa F : M R M de la forma
1 G( (p), t) si p pertenece a W
i
i
i
F (p, t) =
p
si p no pertenece a W
i
por lo tanto tomamos h(p) = F (p, 0) as esta verica la propiedad (), y si tomamos
(
)
Vi = 1
{x Rm /x 1/2} , entonces h(p) = F (p, 0) = pi para todo p Vi con lo
i
cual se cumple la propiedad ().
Como h es homotopica a la identidad se tiene por el Teorema(2.2) que el brado
: E( ) E()
= h () es isomorfo a es decir existe un aplicacion diferenciable h
que aplica isomorcamente la bra p en la bra h(p) que hace que el diagrama
E
/E

/M
conmute, donde E = E( ) y E = E(); dada la forma cerrada w m

(E) de tal
c
manera que restricta a cada bra p de tenga integral 1 esto es ip w = 1, donde
(w) tiene integral 1 sobre cada
i : p E es la inclusion , entonces la forma w = h
bra de , para ver esta u
ltima parte sabemos que E = {(p, v) M E/h(p) = (v)},
por lo cual la inclusion ip : p E la podemos denir de la forma i (p, v) = (p, i(v)),
entonces
(w)) = (h
i ) (w) = id (w) = 1,
i
(
h
p
p
as w tiene integral 1 sobre cada bra p . De la condicion () se tiene que h(Vi ) = pi y
: E p
como el diagrama es conmutativo, entonces tenemos el isomorsmo h
p
i
Vi
1
m
esto es para todo p Vi y ademas jamos un isomorsmo i (p, ) : pi R ,
entonces tenemos el isomorsmo
p
1 (p,)
/ Rm ; p Vi
/ p i
i
m
m
y sea wi m
c (R ) que se corresponda con w|pi c (p ), de fi y bajo el isomorsmo
tenemos
wi = 1, 1 i k
w |V = fi (wi );
i
Rm
Demostraci
on del Teorema(5.4). Usando la misma informacion del Lema(5.2),
donde los abiertos Vi los remplazaremos por vecindades abiertas Wi de los puntos
pi mas peque
nas de tal manera que W i Vi ; los Vi se toman de forma que la funcion
108
fi (s|Vi ) : Vi Rm aplique difeomorcamente Vi en alg

un abierto de Rm esto es
posible por el teorema de la aplicacion inversa. Sabemos que sopE (w) es compacto y
tomemos el abierto M i Wi , as podemos encontrar una constante c > 0, de tal
manera que la seccion s se reduce gradualmente y se obtiene la seccion s = cs que
satisface
(
)
sopRm (wi ) fi (
s(Vi )) y s M i Wi sopE (w) = ; 1 i k.
Ahora sea la clase e() H m (M ), que es representada por la mforma s (w) que es
identicamente nula en M i Wi , entonces por el lema anterior se tiene:
(
)
s (w)|Vi = fi (
s|Vi ) (wi ),
donde fi (
s|Vi ) es un difeomorsmo de Vi en un abierto de Rm que contiene a sopRm (wi ).
La derivada de este isomorsmo puede o no preservar la orientacion dependiendo del
valor de i(
s, pi ) = i(s, pi ) = 1
e() =
s (w) =
M
i=1
i(s, pi )
i=1
Rm
)
fi (
s|Vi (wi )
Vi
wi =
i(s, p),
donde p es un cero de s, y la pen

ultima igualdad es el cambio de variables para integrales.
Ejemplo 5.1. Sea H el brado can
onico de lneas sobre CP1 y H es el brado dual
de H, si de este vemos su estructura real entonces obtenemos un brado vectorial real
orientado 2 = (H )R 2-dimensional sobre CP1
= S 2 , recordando el espacio total de H
viene dado por
E(H) = {(L, z) CP1 C2 /z L} CP1 C2
y CP1 C2 es el brado trivial sobre CP1 , en el Ejemplo(3.3) tenemos la aplicaci
on
1
inclusi
on i : E(H) CP C2 denida por ([z0 , z1 , u]) ([z0 , z1 ], uz0 , uz1 ), con lo
cual existe un epimorsmo i : (CP1 C2 ) E(H ) denida de la forma i (f ) =
f i. Denimos una secci
on constante s : CP1 (CP1 C2 ) en el dual del brado
trivial dado por s ([z0 , z1 ])([z0 , z1 ], w0 , w1 ) = w1 , por lo cual podemos tomar una secci
on
1
s : CP E(H ) en H de la forma s = i s que en coordenadas locales quedara

expresada de la forma s([z0 , z1 ])([z0 , z1 , w]) = z1 w el u
nico cero de esta secci
on es
1
p0 = [1, 0] CP que se encuentra sobre la carta coordenada U0 = {[1, z]/z C}, con
lo cual la secci
on restricta s|U0 se representa como una funci
on U0 C que lleva [1, z]
en z. S s es transversal a la secci
on nula en el punto p0 = [1, 0] y como s es la identidad
entonces su derivada Dp0 s es la identidad con lo cual esta preserva la orientaci
on, por
2
lo tanto i(s, p0 ) = 1 y por el Teorema(5.4) se concluye que e( ) = 1.
109
Este
ejemplo me permite ver que e() = e(), cuando el brado esta denido sobre
una variedad M compacta; hasta ahora tenemos e( 2m ) = am e( 2m ) probaremos que
la constante a = 1, si consideramos 2 = (H )R , entonces el ejemplo muestra que
e( 2 ) = 1 y por el Teorema(4.8)-(i) se tiene e( 2 ) = c1 (H ) y por el Teorema(4.7)-(i)
y la Proposicion(4.1)-(ii) se consigue c1 (H ) = 1, entonces
e( ) = c1 (H ) = e( 2 )
y como la integral es inyectiva se consigue que e( 2 ) = e( 2 ), para ver la forma general
se usa el Princio de Splitting Real y el Teorema(4.10)-(i)-(ii)
f (
e( 2m )) = e(f ( 2m )) = e(1 .. m ) = e(1 )...e(m ) = f (e( 2m ))
donde f es inyectiva, as se tiene que e( 2m ) = e( 2m ).
En el caso que dim = m(impar) en la discusion de la denicion en (5), se concluye que
e() = 0 por lo tanto por el Teorema(5.4) la suma de los ndices de cualquier seccion en
este brado es cero. Si es de dimension par y admite una seccion sin ceros entonces
la suma de los ndices de s es cero.
Como aplicacion del Teorema(5.4) damos el siguiente teorema y como consecuencia de
este se obtiene la formula general de Gauss-Bonnet.
Teorema 5.5. Considere a M como una variedad diferenciable compacta y M el
brado tangente, entonces
e(M ) = (M ).
Demostraci
on. Aplicamos el Teorema(5.4) considerando a = M , y donde una seccion
se convierte en un campo vectorial X, por lo tanto
e(M ) =
i(X, p),
p
donde p son los ceros de el campo vectorial, aplicando el Teorema de Poincare-Hopf,
cuando X tiene ceros aislados, entonces Index(X) = (M )1 = p i(X, p) (Vea. [2].

Pag. 129) as de obtiene la igualdad deseada.
Ahora combinamos el Teorema(5.5), y el hecho que e( 2m ) = e( 2m ), donde 2m es
un brado vectorial real orientado sobre una variedad compacta M de dimension 2m,
entonces se obtiene la F
ormula General de Gauss-Bonnet
( F )
= (M 2m ).
Pf
2
M
1
Si M es una variedad compacta de dismensi

on m con lo cual sus grupos de cohomologa son de
dimensi
on nita. Los in
umeros de Betti son dados de la forma bi (M ) = dimR H i (M ), entonces la
i
caracterstica de Euler de M esta dada de la siguiente manera (M ) = m
i=0 (1) bi (M ).
Bibliografa
[1] Andrew H. Wallace, An Introduction to Algebraic Topology; Pergamon Press,
1963.
[2] Bott Raoul and Loring W.Tu, Dierential Forms in Algebraic Topology;Springer-Verla 1924.
[3] Do Carmo, Dierential Geometry of curves and Surfaces;Prentice-Hall Inc, New
Jersey 1976.
[4] Ib.Madsen and J.Tornehave, From calculus to cohomology de Rham cohomology and characteristic classes;Cambridge, NewYork 1997.
[5] M. Hirsch, Dierential Topology; Springer-Verlag, New York i976.
[6] J. Milnor, Morse Theory;Princeton University Press, New Jersey 1963.
[7] J. Milnor and J. Stashe, Characteristic Classes; Annals of Math studies,
Princeton University Press, New Jersey 1974.
[8] R. Munkres, Elements of Algebraic Topology; Perseus Books, 1984.
[9] S.Lang, Algebra;

Springer-Verlag, New York 1993.
110

Arroyo Flores Merwil Espacios Fibrados Clases Caracteristicas Isomorfismo Thom

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Arroyo Flores Merwil Espacios Fibrados Clases Caracteristicas Isomorfismo Thom

Caricato da

Copyright:

Formati disponibili

DEL PERU

PONTIFICIA UNIVERSIDAD CATOLICA

Espacios Fibrados, Clases Caratersticas

Merwil Luciano Arroyo Flores

Dr. Christiam Bernardo Figueroa Serrudo

Lima, marzo del 2013

2. Fibrados y Fibrados Vectoriales

Empezamos este captulo estudiando brevemente la cohomologa de Rham; que es una

de d : C (M, R) (M ). Decimos que dos clases [w] = [w ] si y solo si w w es

y : M N una aplicacion suave entre las variedades, la aplicacion : k (N )

Cohomologa de un Complejo de Cadenas

En esta seccion deniremos la cohomologa para un complejo de cadenas que nos

donde i : Im dk1 Ak es la inclusion, ademas tenemos los isomorsmos

En consecuencia; tenemos que A

A los elementos de Ker(dp ) se les llama p cociclos y de Im(dp1 ) se les llama p

es conmutativo. Esto es f k1 dkA = dkB f k , k Z.

Lema 1.1. Una aplicaci

clase dada; entonces [a] = a+Im(dp1

consiste de una familia de secuencias exactas cortas

/ 0 , una secuencia exacta corta de

puesto que b es un p- cociclo y dp dp1 = 0. De la inyectividad f p+1 tenemos

De la familia de secuencias exactas cortas 0

/ 0 , denimos el homomorsmo lineal

exacta, probaremos dicha exactitud, osea Im = Kerg en efecto

Secuencia de Mayer Vietoris

es exacta, donde I p (w) = (i1 (w), i2 (w)) y J p (w1 , w2 ) = j1 (w1 ) j2 (w2 ).

(fI )di1 ... dip

en la prueba usaremos como inclusion de un abierto en Rn osea i (x) = xi donde los

escribe de la forma (fI )dxI en ese sentido tomaremos = iv , jv para v = 1, 2;

(fI iv )dxI y jv (w) =

(fI jv )dxI para v = 1, 2.

Probemos que I p es inyectiva, tome I p (w) =

lo tanto fI iv = 0 para todo v esto implica que fI = 0 en U , luego w =

donde j : U1 U2 U es la inclusion. Para ver la otra inclusion considere dos p-formas

de esta manera se tiene que I p ( hI dxI ) = (w1 , w2 ), por lo tanto (w1 , w2 ) Im I p .

analogamente, se extiende a U1 de la forma

funciones fI,v : Uv R. Por lo tanto construimos las formas wv =

fI dxI p (U1 U2 ). Eso completa la exactitud de la secuencia exacta

El siguiente teorema es de suma importancia por lo que es necesario incluirlo en nuestro

Teorema 1.2. Secuencia de Mayer Vietoris Sea U1 , U2 abiertos de Rn con uni

donde, I ([w]) = (i1 [w], i2 [w]) y J ([w1 ], [w2 ]) = j1 [w1 ] j2 [w2 ].

donde las formas diferenciales se podran escribir de la forma w =

donde c (U ) es el espacio de formas con soporte compacto en U . As tenemos una

/ Hcp (U1 ) Hcp (U2 )

Esta secuencia sera de suma importancia en la construccion de la Dualidad de Poincare.

La Dualidad de Poincare es uno de los resultados mas importantes de este trabajo;

Por otro lado sabemos que Hc (M ) no necesariamente es un funtor contravariante, en

vea [4] Corolario(10.14) del Teorema(10.13).

Veamos la prueba del ejemplo. En los casos q = 0 y q = n usamos la observacion(??);

en W esto quiere decir que |W = a, as denimos k = a en 0c (S n p0 ) por lo

/ C donde A, B y C son espacios vecto

/ Hcq (U1 ) Hcq (U2 )

donde I i () = (i1 (), i2 ()) y J i (1 , 2 ) = j1i (1 ) j2i (2 ).

Por la Observacion(1.2) tenemos que M : Hcn (M ) R es un isomorsmo, entonces

que de esa manera dene una aplicaci

En esta seccion demostraremos que esta aplicacion es un isomorsmo. Para la prueba

DV H (i)([w])([ ]) = DV ([i (w)])[ ] =

donde i : p (U ) p (V ). Por otro lado componemos

donde i : p (V ) p (U ), ademas soppU (w i ( )) soppU (i ( )) = soppV ( ),

es conmutativo; donde es el homomorsmo conector y ! es una aplicaci

tambien j1 : U1 U2 U1 , j2 : U1 U2 U2 como las inclusiones. Tome w1 p (U1 )

Por otro lado tenemos la aplicacion

Ahora mostraremos que (1 ) es igual (2 ) multiplicada por (1)p+1 . Por un lado se

donde sop(1 ) U1 y sop(2 ) U2 y sabemos que