Professional Documents
Culture Documents
DE
MEXICO
PROGRAMA DE MAESTRIA Y DOCTORADO EN CIENCIAS
EN ESTADISTICA
MATEMATICAS
Y DE LA ESPECIALIZACION
APLICADA
TESIS
QUE PARA OPTAR POR EL GRADO DE:
MAESTRO EN CIENCIAS
PRESENTA:
ISAAC HASSE ARMENGOL
INSTITUTO DE MATEMATICAS
UNIDAD CUERNAVACA
MEXICO,
D.F. 23 DE MAYO DEL 2014.
Agradecimientos
Dara todo lo que se,
por la mitad de lo que ignoro
Rene Descartes.
Quiero agradecer primeramente a Dios por darme vida, salud, sabidura y fortaleza para
salir adelante. A mi amada esposa por su incondicional apoyo, y el gran amor que me
demostr
o en cada difcil situaci
on. Y a mi familia por ser la base de mi educacion personal
y profesional.
Agradezco a Jose Luis por su paciencia y su gran apoyo en la elaboracion de este trabajo,
y durante el transcurso de mis estudios. Gracias Jose Luis por contagiarme de tu amor por
las matem
aticas, y compartirme un poco de tus conocimientos. Y a Angel
Cano por todos los
sabios consejos que me ayudaron a salir adelante, ademas de todo el apoyo que me brindo.
Agradezco a todos los maestros que ayudaron en mi formacion academica y personal:
Max Neumann, Carlos Cabrera, Timothy Gendron, Gregor Weingart, Jose Luis Cisneros,
Adolfo Guillot, Gilberto Calvillo, David Romero. A mis compa
neros Agustn, Gonzalo, Alma,
Haremi, Cristy, Caro, Vanesa, Marina, To
no y Marisol. por su valiosa amistad. Al personal
administrativo del Instituto de Matematicas de la UNAM, el cual siempre me brindo de su
valiosa ayuda cuando la necesite.
Finalmente, agradezco en gran manera al Consejo Nacional de Ciencia y Tecnologa
(CONACYT) por su gran apoyo economico. Investigacion realizada gracias al Programa
de Apoyo a Proyectos de Investigacion e Innovacion Tecnologica (PAPIIT) de la UNAM
IN106614 Singularidades y Teora K. Agradezco a la DGAPA-UNAM la beca recibida.
Indice general
Agradecimientos
Indice general
Introducci
on
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
11
11
14
15
17
19
20
20
22
25
27
27
29
30
32
34
2. Haces vectoriales
2.1. Haces vectoriales . . . . . . . . . . . . . . . . . . .
2.1.1. Sistema de cociclos . . . . . . . . . . . . . .
2.2. Secciones . . . . . . . . . . . . . . . . . . . . . . .
2.3. Operaciones con haces vectoriales . . . . . . . . . .
2.3.1. Restricci
on y haz vectorial dual . . . . . . .
2.3.2. Haz vectorial inducido y suma de Whitney
2.3.3. Producto tensorial y potencia exterior . . .
2.4. Proyecciones y haces vectoriales . . . . . . . . . . .
2.5. Haces vectoriales sobre espacios paracompactos . .
2.6. Variedades de Grassmann y haces universales . . .
2.7. Haces principales . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
40
41
42
43
43
45
46
48
52
54
3. Teora K
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
3.1.
3.2.
3.3.
3.4.
3.5.
3.6.
3.7.
Construcci
on de Grothendieck . . . . . . . . . . .
Teora K . . . . . . . . . . . . . . . . . . . . . . .
Teora K reducida . . . . . . . . . . . . . . . . .
e
Representaciones homotopicas de K(B) y K(B)
.
Aplicaciones del teorema de periodicidad de Bott
Operaciones de Adams . . . . . . . . . . . . . . .
Principio de descomposicion . . . . . . . . . . . .
4.4. Algebras
de Clifford de formas cuadraticas
4.5. El teorema de Hurwitz-Radon . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
60
62
64
68
70
73
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
80
81
85
87
92
5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
97
5.1. Espacios de Thom de haces vectoriales . . . . . . . . . . . . . . . . . . . . . . 98
5.2. S-categora . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.3. Tipo de homotopa fibrada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
5.4. Espacios de Thom y tipo de homotopa fibrada . . . . . . . . . . . . . . . . . 104
5.5. Campos vectoriales y correducibilidad . . . . . . . . . . . . . . . . . . . . . . 107
5.6. Campos vectoriales linealmente independientes en esferas . . . . . . . . . . . 109
5.6.1. Formas cuadr
aticas y el grupo Spin . . . . . . . . . . . . . . . . . . . . 109
5.6.2. Relaci
on entre KO(RPn ) y J(RPn ) . . . . . . . . . . . . . . . . . . . . 110
A. Operaciones de espacios vectoriales
A.1. Suma directa . . . . . . . . . . . .
A.2. Espacio dual . . . . . . . . . . . .
A.3. Producto tensorial . . . . . . . . .
A.4. Potencia exterior . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
115
116
116
119
Indice alfab
etico
121
Bibliografa
123
Introduccion.
Para cada n, denotamos por S n a la esfera de dimension n. Definimos un campo vectorial
en S n , como una aplicaci
on continua v : S n Rn+1 que a cada x S n le asocia un vector
v(x) tangente a S n . Por otro lado, decimos que dos campos vectoriales v1 y v2 en S n
son linealmente independientes, si v1 (x) y v2 (x) son linealmente independientes para cada
x S n . En este trabajo daremos respuesta principalmente a dos problemas:
1. Encontrar campos vectoriales linealmente independientes en S n .
2. Encontrar el n
umero m
aximo de campos vectoriales linealmente independientes en S n .
La primera pregunta fue respondida por Johann Karl August Radon (16 Diciembre 1887
- 25 Mayo 1956) en el a
no de 1922, y Adolf Hurwitz (26 Marzo 1859 - 18 Noviembre 1919),
en el a
no de 1923. Ellos mostraron lo siguiente: Para n = (2k 1)2c 16d con 0 c 3, sea
(n) = 2c + 8d entonces existen (n) 1 campos vectoriales linealmente independientes en
S n1 .
La segunda pregunta fue respondida en el a
no de 1961 por John Frank Adams (Noviembre
5, 1930 - Enero 7, 1989), el demostro en el artculo [1], que no existen (n) campos vectoriales
linealmente independientes en S n1 .
En el Captulo 1, daremos las herramientas necesarias para poder definir el n-esimo grupo
de homotopa de un espacio topol
ogico punteado (X, x0 ), de dos distintas maneras:
1. Como el conjunto de componentes por caminos del n-esimo espacio de lazos de X
basados en x0 .
2. Como el conjunto de clases de homotopa de aplicaciones punteadas de (S n , s0 ) a
(X, x0 ).
Luego, calcularemos los grupos de homotopa de algunos espacios topologicos, usando teora
de espacios cubrientes.
En el Captulo 2, definiremos los haces vectoriales, los cuales son estructuras que en cada
fibra definen un espacio vectorial. Usando operaciones en espacios vectoriales, los cuales
podemos encontrar en el Apendice A, podremos operar estos haces vectoriales para formar
nuevos. Luego, veremos cu
ando podemos definir un producto interno en los haces vectoriales,
y as poder dar algunos resultados importantes que nos permitiran definir la Teora K en el
Captulo 3. Finalmente, daremos el concepto de haz principal, el cual es un haz que en cada
fibra definen un grupo topologico, y veremos que a un haz vectorial se le puede asociar un
haz principal y viceversa.
En el Captulo 3 veremos la construccion de Grothendieck, la cual nos permitira definir
la Teoria K (compleja) de un espacio topologico, el cual es un funtor de la categora de
espacios topol
ogicos a la categora de anillos. Definiremos la Teora K reducida, y daremos
algunos resultados importantes que nos permitiran dar representaciones homotopicas de la
A mi esposa.
1.1.
Espacios topol
ogicos
En la categora de espacios topologicos, los objetos son los espacios topologicos y los
morfismos son las funciones continuas.
1.1.1.
12
(b) Espacio S 1 S 1 .
Def inici
on 1.6. Sea X un espacio topologico, definimos el cono de X como el espacio
CX = X [0, 1]/X {1}. Definimos la suspensi
on S X de X, como el espacio obtenido de
X [0, 1], identificando X {0} a un punto, y X {1} a un punto. De manera recursiva,
definimos la n-esima suspensi
on Sn X de X, como el espacio S(Sn1 X)).
En los siguientes ejemplos, podemos notar que la suspension S X de un espacio topologico
X es la uni
on de dos conos CX a lo largo de su base.
13
(a) Suspensi
on de
{x, y, z}.
(b) Suspensi
on de
S1.
14
1.1.2.
Homotopa de aplicaciones
15
Nota 1.16. Podemos notar que una homotopa entre dos aplicaciones, relativa al subconjunto vaco es una homotopa.
Def inici
on 1.17. Un aplicaci
on continua f : X Y entre dos espacios topologicos X y Y ,
es una equivalencia homot
opica si existe una aplicacion continua g : Y X tal que
g f ' idX : X X
f g ' idY : Y Y
En este caso se dice que X y Y son homot
opicamente equivalentes, o que tienen el mismo
tipo te homotopa.
Ejemplo 1.18. La esfera S n1 y el espacio Rn \{0} son homotopicamente equivalentes, si
tomamos f : S n1 Rn \{0} como la inclusion y g : Rn \{0} S n1 definida como g(x) =
x
n1
n1 : S
S n1 y la aplicacion F : Rn \{0}[0, 1] Rn \{0}
||x|| , cumplen que g f = idS
x
definida como F (x, t) = t(||x||1)+1
es una homotopa entre idRn \{0} y f g.
Nota 1.19. Un espacio topol
ogico X es contraible si y solo si X es homotopicamente
equivalente a un punto.
Un subconjunto A de un espacio X se llama retracto de X si existe una aplicacion continua r : X A tal que r|A = idA , es decir, si i : A X es la inclusion de A en X, entonces
r i = idA . En este caso r se llama retracci
on.
Un subconjunto A de X es un retracto por deformaci
on de X si existe una retraccion
r : X A tal que i r ' idX . Decimos que A es un retracto fuerte por deformaci
on de X
si existe una retracci
on r : X A tal que i r ' idX (relA).
Nota 1.20. Un retracto por deformacion es una equivalencia homotopica.
Ejemplo 1.21. Veamos que el crculo S 1 es un retracto por deformacion del cilindro C. En
efecto, si definimos
C = {(x, y, z) R3 | x2 + y 2 = 1, 1 z 1}
S 1 = {(x, y, z) R3 | x2 + y 2 = 1, z = 0}
entonces tenemos que la aplicaci
on
r : C
(x, y, z) 7
S1
(x, y, 0)
es una retracci
on. Si i : S 1 C es la inclusion del crculo en el cilindro entonces tenemos
que r i = idS 1 , por otro lado la aplicacion F : C [0, 1] C definida por F ((x, y, z), t) =
(x, y, tz) es una homotopa entre i r y idC .
1.1.3.
Def inici
on 1.22. Una trayectoria en X, es una aplicacion continua f : [0, 1] X, a los
puntos f (0) = x0 y f (1) = x1 se le llaman puntos extremos.
Ejemplo 1.23. Sea cx0 : [0, 1] X una aplicacion continua, tal que cx0 (t) = x0 para toda
t [0, 1] y donde x0 X, entonces cx0 es una trayectoria llamada trayectoria constante.
16
17
1.1.4.
Espacio de funciones
Y
F (x, t)
M(X, Y )
ft
(1.1)
tal que (0) = f0 y (1) = f1 . Esto casi define una trayectoria en el espacio de funciones continuas M(X.Y ), para esto es necesario darle una topologa al espacio de funciones
M(X, Y ) con la que sea continua.
Def inici
on 1.26 (Topologa Compacto-Abierta). Sean X y Y espacios topologicos con Y
no vaco. Definimos la topologa compacto-abierta en M(X, Y ) como la topologa generada
por los subb
asicos
U K = {f M(X, Y ) | f (K) U }
donde K X es compacto en X y U Y es un abierto de Y .
Decimos que una topologa en M(X, Y ) es admisible, si la aplicacion evaluacion
e : M(X, Y ) X
(f, x) 7
Y
f (x)
18
Demostraci
on. Mostremos que e : M(X, Y ) X Y es continua. Sea U Y un abierto en
Y , veamos que su preimagen e1 (U ) es un abierto en X, tomemos (f, x) e1 (U ), puesto
que e(f, x) = f (x) U y como f es continua, entonces existe una vecindad W de x en X
tal que f (W ) U .
Como X es localmente compacto y Hausdorff, existe un abierto V W con cerradura
19
La demostraci
on de este teorema la podemos encontrar en [2, Teorema 1.3.2].
Corolario 1.32. Si X y Y son espacios topol
ogicos con X de Hausdorff y localmente compacto, entonces el espacio M(I X, Y ) es homeomorfo al espacio M(I, M(X, Y )).
Demostraci
on. Notemos que el intervalo I = [0, 1] es localmente compacto y Hausdorff,
entonces aplicando el Teorema 1.31 tenemos el resultado deseado.
Nota 1.33. Del Corolario 1.32, podemos notar que una homotopa h : I X Y es enviada
a la trayectoria (h) : I M(Y, Z) en el espacio de funciones M(Y, Z) mediante .
1.1.5.
Clases de homotopa
20
Proposici
on 1.36. Sean X, Y y Z espacios topol
ogicos, definimos una composici
on en las
clases de homotopa, como
[X, Y ] [Y, Z]
([f ], [g]) 7
[X, Z]
[g f ]
[X, Z]
[g f ]
[X, Z]
[g f ]
El conjunto de clases de homotopa [X, Y ] de aplicaciones de X a Y , nos definen otro invariante topol
ogico. En la siguiente proposicion se muestra como una equivalencia homotopica,
induce biyecciones entre conjuntos de clases de homotopa.
Proposici
on 1.37. Si f : X Y es una equivalencia homot
opica, entonces f induce biyecciones entre conjuntos.
f : [Y, Z] [X, Z]
f : [Z, X] [Z, Y ]
1.2.
1.2.1.
21
En la categora de parejas de espacios topologicos, tambien tenemos la nocion de homotopa de aplicaciones de parejas, la cual es similar a la nocion de homotopa relativa.
Def inici
on 1.41. Sean (X, A) y (Y, B) dos parejas de espacios topologicos, y consideremos
dos aplicaciones continuas de parejas f0 , f1 : (X, A) (Y, B). Definimos una homotopa de
parejas, como una aplicaci
on continua F : (X, A) [0, 1] (Y, B), tal que F (x, 0) = f0 (x),
F (x, 1) = f1 (x) y F (A, t) B para toda t [0, 1]. En este caso decimos que f0 y f1 son
homot
opicas de parejas.
Nota 1.42. Si f0 , f1 : (X, A) (Y, B) son dos aplicaciones de parejas, entonces una homotopa relativa a A X, es una homotopa de parejas. El recproco no es cierto.
Denotamos por M(X, A; Y, B), al conjunto de las aplicaciones continuas f : X Y tal
que f (A) B. A este conjunto se le llama espacio de funciones de parejas.
Podemos dar una version de la ley exponencial para parejas de espacios topologicos.
Teorema 1.43. Sean (X, A), (Y, B) y (Z, C) parejas de espacios topol
ogicos, con X y Y
de Hausdorff y Y localmente compacto. Entonces tenemos que
M((X, A) (Y, B), (Z, C))
= M(X, A; M (Y, B; Z, C), M(Y, Y ; Z, C))
La relaci
on de homotopa de aplicaciones f0 , f1 : (X, A) (Y, B) de parejas de espacios topol
ogicos, es una relaci
on de equivalencia en el espacio de funciones de pareja
M(X, A; Y, B), esto parte al espacio M(X, A; Y, B) en clases de equivalencia llamadas clases
de homotopa de parejas, y denotamos por [X, A; Y, B] al conjunto de cases de homotopa de
parejas.
22
(X , A ),
Demostraci
on. Sea [f ] [X, A; Y, B], y sea f = f i , donde i : (X , A ) , (X, A) es la
inclusi
on. Entonces, definimos la aplicacion
Q
[X, A; Y, B]
[X , A ; Y, B]
[f ] 7 ([f ])
Q
Ahora definamos la inversa. Sea ([f] ) [X , A ; Y, B], la aplicacion f : (X , A )
(Y, B) induce una aplicaci
on f : (X, A) (Y, B) definida como f i = f . Entonces
([f ]) 7 [f ] es la inversa deseada.
1.2.2.
Un espacio topol
ogico punteado es una pareja (X, x0 ) donde X es un espacio topologico,
y x0 X un punto fijo de X llamado punto base. La categora de espacios topologicos punteados es una subcategora, de la categora de parejas de espacios topologicos.
En la categora de espacios topologicos punteados, los objetos son los espacios topologicos punteados, y los morfismos son aplicaciones continuas punteadas, es decir, aplicaciones
continuas f : (X, x0 ) (Y, y0 ) tal que f (x0 ) = y0 .
Def inici
on 1.45. Sean (X, x0 ) y (Y, y0 ) espacios topologicos punteados. El coproducto en
la categora de espacios topol
ogicos punteados, esta dado por la cu
na X Y , el cual esta
definido como el espacio punteado
X Y = X t Y /x0 y0
donde el punto base es x0 = y0 .
Ejemplo 1.46. Tomemos el espacio punteado (S 1 , s0 ). La cu
na de dos crculos S 1 S 1
est
a dada por la Figura 1.8a, este espacio tambien es conocido como la figura ocho. La
cu
na de dos copias de R est
a dada por la Figura 1.8b, la cual es homeomorfa a los ejes de
R2 .
Def inici
on 1.47. Sean (X, x0 ) y (Y, y0 ) dos espacios topologicos punteados. Definimos el
producto smash de (X, x0 ) y (Y, y0 ) como el espacio cociente X Y = X Y /X Y , donde
el punto base es X Y .
(a) Cu
na de dos crculos.
23
(b) Cu
na de dos copias
de R.
Figura 1.8: Cu
na de espacios topol
ogicos.
Ejemplo 1.48. Tomemos el espacio punteado (S 1 , s0 ). El producto smash de dos crculos
S 1 S 1 , es el espacio obtenido del toro S 1 S 1 al identificar la figura ochoS 1 S 1 S 1 S 1
en un punto. Como se muestra en la Figura 1.9, identificamos en un punto los crculos
meridiano y longitudinal del toro, por lo cual tenemos que S 1 S 1 es homeomorfo al la
esfera S 2 .
24
Y
f (x) t
Proposici
on 1.53. La aplicaci
on f tiene las siguiente propiedades funtoriales:
1. Si la aplicaci
on punteada f : (X, x0 ) (X, x0 ) es la identidad en X, entonces la
aplicaci
on inducida f : X X es tambien la identidad.
2. Si f : (X, x0 ) (Y, y0 ) y g : (Y, y0 ) (Z, z0 ) son aplicaciones punteadas continuas,
entonces (g f ) = g f : X Z.
3. Si f : (X, x0 ) (Y, y0 ) es un homeomorfismo, entonces f es un homeomorfismo.
Demostraci
on. Sean (X, x0 ), (Y, y0 ) y (Z, z0 ) espacios topologicos punteados.
1. Sea f : (X, x0 ) (X, x0 ) la identidad en (X, x0 ), consideremos f : X X y
veamos que es la identidad en X. En efecto, tenemos que f (xt) = f (x)t = (xt).
25
/ Y
/ Cf
/Y
/ Cf
/ X
/ Y
/ Cf
1.2.3.
/Y
/ Cf
/ X
/ Y
/ Cf
/ 2 X
2 f
/ 2 Y
2 f
2 f
/ 2 Cf
Sean (X, x0 ) y (Y, y0 ) dos espacios topologicos punteados. Denotamos por M(X, x0 ; Y, y0 )
al conjunto de aplicaciones punteadas de (X, x0 ) a (Y, y0 ), el cual es un subconjunto de
M(X, A; Y, B). A este espacios, se le conoce como el espacio de funciones punteadas.
Ejemplo 1.55. Sea I = [0, 1] y sea I = {0, 1} la frontera de I, entonces para un espacio
punteado (X, x0 ), al espacio M(I, 0; X, x0 ) se le conoce como el espacio de trayectorias en X
basados en x0 . Al espacio M(I, I; X, x0 ) se le conoce como espacio de lazos en X basados
en x0 y este se denota por (X, x0 ). Ademas tenemos las siguientes contenciones.
M(I, Y ) M(I, 0; X, x0 ) M(I, I; X, x0 )
26
Notemos que el espacio (X, x0 ) tambien es un espacio punteado ((x, x0 ), cx0 ), donde el
punto base cx0 es el lazo constante en x0 . Sea f : (X, x0 ) (Y, y0 ) una aplicacion punteada,
entonces f induce una aplicaci
on punteada definida por
f : ((X, x0 ), cx0 )
7
((Y, y0 ), cy0 )
f
Proposici
on 1.56. La aplicaci
on f tiene las siguiente propiedades funtoriales:
1. Si la aplicaci
on punteada f : (X, x0 ) (X, x0 ) es la identidad en X, entonces la
aplicaci
on inducida f : (X, x0 ) (X, x0 ) es tambien la identidad.
2. Si f : (X, x0 ) (Y, y0 ) y g : (Y, y0 ) (Z, z0 ) son aplicaciones punteadas continuas,
entonces (g f ) = g f : (X, x0 ) (Z, z0 ).
3. Si f : (X, x0 ) (Y, y0 ) es un homeomorfismo, entonces f es un homeomorfismo.
Demostraci
on. Sean (X, x0 ), (Y, y0 ) y (Z, z0 ) espacios topologicos punteados.
1. Sea f : (X, x0 ) (X, x0 ) la identidad en (X, x0 ), consideremos la aplicacion inducida
f : ((X, x0 ), cx0 ) ((X, x0 ), cx0 ), entonces tenemos que f () = f = .
2. Sean f : (X, x0 ) (Y, y0 ) y g : (Y, y0 ) (Z, z0 ) dos aplicaciones continuas punteadas,
entonces tenemos que
(f g)() = (f g) = f (g()) = f (g()) = f g()
3. Como f : (X, x0 ) (Y, y0 ) es un homeomorfismo, existe una aplicacion punteada
g : (Y, y0 ) (X, x0 ), tal que f g = idY y g f = idX . Entonces por la propiedad 1 y
2 tenemos que
id(Y,y0 ) = (idY ) = (f g) = f g
y
id(X,x0 ) = (idX ) = (g f ) = gf
Por lo tanto f es un homeomorfismo.
27
Demostraci
on. La Nota 1.58, nos da el resultado deseado.
En la categora de espacios topologicos punteados, tenemos la nocion de homotopa
punteada, la cual se define como una homotopa de parejas donde las parejas de espacios
topol
ogicos son espacios topol
ogicos punteados.
La relaci
on de homotopa punteada, es una relacion de equivalencia en el espacio de funciones punteadas M(X, x0 ; Y, y0 ), entonces parte al espacio en clases de equivalencia llamadas
clases de homotopa punteadas. Denotamos por
[X, Y ] := [X, x0 ; Y, y0 ]
al conjunto de clases de homotopa de aplicaciones punteadas de (X, x0 ) a (Y, y0 ).
Sea (X, x0 ) un espacio punteado, entonces la Nota 1.34, nos da el siguiente resultado.
Lema 1.60. Si (X, x0 ) es un espacio topol
ogico punteado, entonces
0 (X) = [S 0 , X]
donde S 0 = {0, 1} es la esfera de dimensi
on cero, con punto base 0.
El siguiente corolario, es un caso particular de la Proposicion 1.44.
`
Corolario 1.61. Si (X, x0 ) = [X , x ], donde cada (X , x ) es un espacio punteado,
entonces
"
#
Y
_
X , Y
[X , Y ]
=
1.3.
H-espacios y H-coespacios
1.3.1.
H-espacios
Def inici
on 1.62. Un H-espacio es un espacio topologico punteado (W, w0 ), dotado de
una aplicaci
on punteada : (W W, (w0 , w0 )) (W, w0 ) llamada H-multiplicaci
on, tal
que la aplicaci
on constante e : W W definida por e(w) = w0 para toda w W es una
H-identidad, es decir, el siguiente diagrama conmuta salvo homotopa:
W
o
/ W W (id,e)
(e,id)
id
$ z
W
id
28
id
/ W W
id
W W
/W
o
/ W W (id,j)
(j,id)
$ z
W
W W
hh
W0 W0
/W
/ W0
29
1.3.2.
Espacio de lazos
4t
si 0 t 1+s
1 ( 1+s ),
4 ,
1+s
2 (4t 1 s), si 4 t 2+s
G(1 , 2 , 3 , s)(t) =
4 ,
3 ( 4t2s
si 2+s
2s ),
4 t 1.
30
1.3.3.
H-coespacios
Ahora, podemos definir un espacio dual a los H-espacios llamados H-coespacios, los cuales son espacios punteados (Q, q0 ) con los cuales se le pueda dar una estructura de grupo al
conjunto [Q, X] , para todo espacio punteado (X, x0 ).
Entonces, es necesario definir un concepto dual al producto cartesiano, en este caso la
cu
na de la Definici
on 1.45, es una operacion dual al producto cartesiano, en el sentido que:
Dadas dos aplicaciones punteadas f : X Z y g : Y Z, existe una aplicacion punteada
hf, gi : X Y Z definida por
f (x), si y = y0 ;
hf, gi(x, y) =
g(y), si x = x0 .
Adem
as, si f : X X 0 y g : Y Y 0 son aplicaciones punteadas, podemos definir una
aplicaci
on f g definida por
f g : X Y
(x, y) 7
X0 Y 0
(f (x), g(y))
Def inici
on 1.66. Un H-coespacio es un espacio topologico punteado (Q, q0 ), dotado de una
aplicaci
on punteada : (Q, q0 ) (Q Q, (q0 , q0 )) llamada H-comultiplicaci
on, tal que la
aplicaci
on constante e : Q Q definida por e(q) = q0 para toda q Q es una H-coidentidad,
es decir, el siguiente diagrama conmuta salvo homotopa:
Q bo
he,idi
Q O Q
hid,ei
id
id
/Q
<
31
id
Q O Q
id
QQ o
hj,idi
Q O Q
hid,ji
/Q
<
Q
Decimos que Q es H-coconmutativo si el siguiente diagrama conmuta salvo homotopa:
Q Qb o
Q< Q
Q
donde T : Q Q Q Q es la aplicacion T (q1 , q2 ) = (q2 , q1 ) para toda (q1 , q2 ) Q Q.
Def inici
on 1.67. Un H-cogrupo, es un H-coespacio con una H-comultiplicacion H-coasociativa
, y un H-coinverso j.
Sean (Q, q0 ) y (Q0 , q00 ) H-coespacios con H-comultiplicaciones y 0 respectivamente. Decimos que una apicaci
on punteada continua k : (Q0 , q00 ) (Q, q0 ) es un H-cohomomorfismo
si el siguiente diagrama conmuta salvo homotopa:
Q O Q o
kk
Q0 Q0 o
QO
Q0
32
1.3.4.
Suspensiones
33
Esta biyecci
on pasa a ser un isomorfismo a los conjuntos de clases de homotopia como
se muestra a continuaci
on.
Proposici
on 1.70. Sea (X, x0 ) (Y, y0 ) espacios topol
ogicos punteados con (X, x0 ) compacto
y de Hausdorff, entonces los grupos [X, Y ] y [X, Y ] son isomorfos
Demostraci
on. Recordemos que una homotopa G : X I Y en la categoria de espacio
topologicos punteados, manda x0 I a y0 . Podemos indentificar los espacios (X I/x0 I)
y X I/x0 I mediante el homeomorfismo
(x, t) t0 (x t0 , t)
entonces existe una correspondencia entre las homotopas F : X I/x0 I Y y las
homotopas F 0 : X I/x0 I Y . Por lo tanto, la equivalencia anterior da origen a una
equivalencia
[X, Y ] [XY ]
tal que si las aplicaciones g : X Y y g 0 : X Y estan relacionadas por g 0 (x t) =
g(x)(t), entonces [g] y [g 0 ] coinciden.
Nota 1.71. La proposici
on anterior se sigue cumpliendo para dimensiones mas altas, esto
es
[n X, Y ]
= [X, n Y ]
Teorema 1.72. Sea G un conjunto equipado con dos multiplicaciones y 0
1. y 0 tienen un elemento identidad bilateral en com
un.
2. y 0 son mutuamente distributivas.
Entonces y 0 son iguales, as como ser tanto conmutativas y asociativas.
Demostraci
on. Tomemos x, y, z y w en G, y sea e G la identidad. Por hipotesis tenemos
que e x = x e = x = e 0 x = x 0 e y (w x) 0 (y z) = (w 0 y) (x 0 z), entonces
x y = (x 0 e) (e 0 y) = (x e) 0 (e y) = x 0 y
por lo cual y 0 coinciden. Por otro lado tenemos que
x y = (e 0 x) (y 0 e) = (e y) 0 (x e) = y 0 x = y x
y entonces la estructura es conmutativa. Finalmente
x (y z) = (x 0 e) (y 0 z) = (x y) 0 (e z) = (x y) z
lo que implica que la estructura es asociativa.
Corolario 1.73. Si W es un H-grupo y Q es un H-cogrupo, entonces [Q, W ] es un grupo
abeliano.
Demostraci
on. Este corolario se sigue de notar que las dos multiplicaciones definidas en
[Q, W ], las cuales surgen de la H-multiplicacion en W y la H-comultiplicacion en Q cumplen
con las hip
otesis del Teorema 1.72.
34
1.4.
Grupos de homotopa
Ahora estamos listos para generalizar a nuestro primer invariante topologico 0 (X), definido en la secci
on 1.1.3.
Sea (X, x0 ) un espacio topol
ogico punteado, entonces definimos 1 (X), como el conjunto
de componentes por trayectorias del espacio de lazos (X, x0 ) de X basados en x0 , es decir
1 (X) := 0 (X)
En general, definimos a n (X) como el conjunto de componentes por trayectorias del
n-esimo espacio de lazos de X basados en x0 , es decir
n (X) := 0 (n X)
este espacio es llamado el n-esimo grupo de homotopa de X.
Podemos ver otra interpretacion de los grupos de homotopa n (X), de la siguiente
manera.
Proposici
on 1.74. Sea (X, x0 ) un espacio punteado, entonces
n (X) = [S n , X]
Demostraci
on. Aplicando el Lema 1.60, tenemos que
n (X) = 0 (n X) = [S 0 , n X]
y entonces por la Proposici
on 1.70, tenemos que
n (X) = [S 0 , n X] = [n S 0 , X] = [S n , X]
35
Proposici
on 1.79.
r (S n ) =
Z, si r = n;
0, si r < n
Idea de Demostraci
on. Si r < n, cualquier aplicacion S r S n se puede deformar a una
aplicaci
on que no contenga un punto de S n en su imagen, y entonces usamos el hecho de
que la esfera sin un punto es contrible.
Si r = n no hay manera de incluir una aplicacion de S n en S n , mas que envolviendo
completamente a S n , y esta envoltura representa un generador del grupo n (S n ).
Ahora, veamos una herramienta para calcular grupos de homotopa, la cual la podemos
ver usando teoria de espacios cubrientes.
Def inici
on 1.80 (Espacio Cubriente). Un espacio cubriente de X, es un par (E, p) donde
p : E X es una aplicaci
on con la siguiente propiedad: Toda x X tiene una vecindad U
tal que p1 (U ) es una uni
on disjunta de conjuntos abiertos Si de E, cada uno de los cuales
es mandado homeomorfamente a U por p. En este caso, decimos que U esta uniformemente
cubierta, los conjuntos Si son llamados hojas sobre U , y la aplicacion p es llamada aplicaci
on
cubriente. Como consecuencia tenemos:
La fibra p1 (x) sobre cualquier punto x X es discreta.
p es un homeomorfismo local.
p manda a E suprayectivamente en X y X tiene la topologa cociente. Por lo tanto E
y X tienen las mismas propiedades locales.
Ejemplo 1.81. La aplicaci
on R S 1 dada por t 7 e2it , es una aplicacion cubriente con
un numero infinito de hojas.
Ejemplo 1.82. La aplicaci
on S 1 S 1 dada por z 7 z n , para n Z fjo, es una aplicacion
cubriente con n hojas.
Ejemplo 1.83. La aplicaci
on canonica S 2 RP2 , es una aplicacion cubriente con dos
hojas.
Nota 1.84. Decimos que un espacio topologico X es simplemente conexo, si |0 (X)| = 1 y
1 (X) = {0}. Un espacio cubriente p : (E, e0 ) (X, x0 ) es un cubriente universal si (E, e0 )
es simplemente conexo.
36
(Y, y0 )
/ (X, x0 )
Demostraci
on. El teorema es una consecuancia del criterio de levantamiento, ver [9, Teorema
6.1].
Nota 1.86. Una aplicaci
on continua f : (X, x0 ) (Y, y0 ) induce una aplicacion
f : n (X, x0 )
[] 7
n (Y, y0 )
[f ]
bien definida. M
as a
un, la aplicacion f es un funtor de la categora de espacios topologicos
punteados, a la categora de grupos.
Teorema 1.87. Si p : (E, e0 ) (X, x0 ) es un espacio cubriente, entonces p : n (E, e0 )
n (X, x0 ) es un isomorfismo para n 2.
Demostraci
on. Recordemos que n (E, e0 ) = [(S n , s0 ), (E, e0 )] y n (X, x0 ) = [(S n , s0 ), (X, x0 )].
Consideremos la aplicaci
on inducida p : n (E, e0 ) n (X, x0 ) definida como [f] 7 [p f] =
n
Haces vectoriales
En este captulo definiremos el concepto de haz vectorial, esta es una estructura topologica
en el cual en cada punto se tiene definido un espacio vectorial. Haciendo uso de nociones de
Algebra
Lineal definiremos operaciones entre haces vectoriales, luego definiremos una metrica
Riemanniana entre haces vectoriales. Finalmente, definiremos la variedad de Grassmann
sobre un espacio vectorial, para as definir haces vectoriales universales y poder dar una
clasificaci
on entre ellos. Para referencias consultar [2], [10], [12], [15], [23], [25].
2.1.
Haces vectoriales
Def inici
on 2.1. Definimos un haz vectorial de rango n sobre un campo F (real o complejo),
como una aplicaci
on p : E B tal que, para cada b B su fibra p1 (b) tiene una estructura
de espacio vectorial sobre F. Ademas pedimos que p : E B sea localmente trivial, esto es,
existe una cubierta abierta de {U } de B y homeomorfismos h : p1 (U ) U Fn tales
que, para cada b B, la restricci
on h |p1 (b) : p1 (b) {b} Fn es un isomorfismo lineal,
es decir, el siguiente diagrama conmuta
/ U Fn
p1 (U )
p
pr1
38
39
p1
B1
/ E2
p2
/ B2
1
y cuya restricci
on a cada fibra es una transformacion lineal de p1
1 (b1 ) a p2 (b2 ).
0
Decimos que dos haces vectoriales p : E B y p : E B sobre el mismo espacio base
B son isomorfos si existen dos morfismos de haces vectoriales f : E E 0 y f 0 : E 0 E
tales que f = f0 = idB y f f 0 = idE 0 , f 0 f = idE .
Def inici
on 2.10. Decimos que un haz p : E B es trivial, si es isomorfo al haz producto.
Ejemplo 2.11. Notemos que el haz normal de S n Rn+1 es un haz trivial, puesto que es
isomorfo al haz producto S n R por el isomorfismo (x, tx) 7 (x, t).
Por otro lado, el haz tangente a S 1 es un haz trivial, puesto que es isomorfo al haz
producto S 1 R por el isomorfismo (ei , itei ) 7 (ei , t), para ei S 1 y t R.
Lema 2.12. Una aplicaci
on continua h : E1 E2 entre dos haces vectoriales sobre la
misma base p1 : E1 B y p2 : E2 B, es un isomorfismo si manda cada fibra p1
1 (b) a la
fibra p1
2 (b) por isomorfismos lineales.
Demostraci
on. Como h manda fibras en fibras por isomorfismos lineales, entonces tenemos
que h es biyectiva, definamos la inversa h1 y veamos que continua. Como la continuidad
es una pregunta local, podemos restringirnos a un conjunto abierto U B en el cual
n
E1 y E2 sean triviales (es decir, existen trivializaciones locales h1 : p1
1 (U ) U F y
1
1
1
n
h2 : p2 (U ) U F ). Entonces, la restriccion h : p1 (U ) p2 (U ) la podemos ver
como una aplicaci
on h : U Fn U Fn definida como h(x, v) = (x, g(x, v)), donde
n
n
g : U F F es una aplicaci
on tal que g(x, v) es lineal en x. Sea GLn (F) el espacio de
transformaciones lineales invertibles de Fn en s mismo, entonces podemos ver a g(x, v) como
una matriz de nn cuyas entradas dependen continuamente de x, por lo cual g : U Fn Fn
es continua si y s
olo si la aplicaci
on
B
x
GLn (F)
g(x, )
es continua. Por lo tanto g(x, v) tiene una matriz inversa g(x, v)1 dada por g(x, v)1 =
1
det(g(x,v)) adj(g(x, v)), donde adj(g(x, v)) es la matriz adjunta de la matriz g(x, v). Por lo
tanto definimos la inversa h1 (x, v) = (x, g(x, v)1 ), la cual es continua.
40
2.1.1.
Sistema de cociclos
: (U U ) F
(x, v) 7
(U U ) Fn
(x, g (x)(v))
= h h1
(x, g (x)(v))
= (x, g (x) g (v)).
por lo tanto h h1
(x, v) = (x, g (x)(v)) = (x, g (x) g (v)).
Esta condici
on es conocida como la condici
on de cociclo.
Def inici
on 2.14. Dado un sistema de cociclos {{U } , g } podemos construir un haz
vectorial p : E B de la siguiente manera:
F
Sea U Fn la uni
on disjunta de los U Fn con , y consideremos la siguiente
relaci
on: Para cada x U U identificamos (x, v) U Fn con (x, g (x)(v)) U Fn ,
se puede probar que esta relaci
on es una relacion de equivalencia. Definimos el espacio total
E como el espacio cociente
G
E=
U Fn /
A
y definimos la proyecci
on p : E B como p([x, v]) = x, donde [x, y] denota la clase de (x, y)
en E, entonces se puede probar que p es un haz vectorial, el cual es llamamos el haz vectorial
determinado por el sistema de cociclos {{U } , g }.
Por lo tanto, para conocer la topologa de un haz vectorial, es suficiente conocer el sistema
de cociclos que define a dicho haz vectorial.
Nota 2.15. Los cociclos satisfacen las siguientes propiedades, las cuales surgen de la condici
on de cociclo.
1. g (x) = 1 GLn (F), x U
2. g (x) = g (x)1 , x U U .
2.2. Secciones
2.2.
41
Secciones
En esta secci
on, definiremos las secciones de un haz vectorial, daremos algunas propiedades de la misma, y usando unos resultados anteriores, mostraremos que un haz vectorial
de rango n tiene n secciones linealmente independientes si y solo si es trivial.
Def inici
on 2.16. Una secci
on de un haz vectorial p : E B es una aplicacion s : B E
que asigna a cada b B un vector s(b) p1 (b), es decir, p s = idB .
E
P
i ti si (b)
42
G
g g0
TG
(dLg )e ei
2.3.
Hemos visto que los haces vectoriales son estructuras que definen un espacio vectorial
2.3.1.
43
Restricci
on y haz vectorial dual
Def inici
on 2.24. Dados p1 : E1 B1 y p2 : E2 B2 haces vectoriales, definimos el
producto de haces vectoriales como el haz vectorial p1 p2 : E1 E2 B1 B2 , donde la
1
fibra est
a dada por el producto de las fibras p1
1 (b1 ) p2 (b2 ) con b1 B1 y b2 B2 . Las
trivializaciones del producto de haces vectoriales es el producto de las trivializaciones de p1
y p2 .
Def inici
on 2.25. Dado un haz vectorial p : E B de rango n y un subespacio A
B, entonces p|A : p1 (A) A es un haz vectorial de rango n llamado el haz vectorial E
restringido a A.
Si p : E B es un haz vectorial con sistema de cociclos {{U } , g }, entonces
{{U A} , g |U U A } es un sistema de cociclos para el haz vectorial restringido a A.
Def inici
on 2.26. Sea p : E B un haz vectorial de rango n. El haz vectorial dual p : E
B, es el haz vectorial cuyas fibras son los espacios vectoriales duales de las fibras de p : E
B.
En el Apendice A.2, se puede ver que una transformacion lineal f : V W entre dos
espacios vectoriales, induce una aplicacion f : W V entre los espacios duales. Mas a
un,
si fijamos bases para V y W la matriz asociada a f es la matriz transpuesta asociada a f .
Si p : E B un haz vectorial con sistema de cociclos {{U } , g }, entonces podemos
escoger una base para Fn , y as ver a g (x) como una matriz en GLn (F), y entonces
t
{{U } , (g
)1 } define un sistema de cociclos para el haz vectorial dual p : E B,
t
(x) denota a la matriz transpuesta de g (x).
donde g
2.3.2.
Proposici
on 2.27. Dada una aplicaci
on f : A B y un haz vectorial p : E B, existe un
haz vectorial p0 : f E A y una aplicaci
on f 0 : f E E tal que pf 0 = f p0 . Ademas, f E
tiene la siguiente propiedad universal: Si : E 0 B es un haz vectorial tal que p f = f ,
entonces existe un u
nico morfismo de haces : E 0 f E que hace conmutar el siguiente
diagrama.
f
E0
/ f E
f0
p0
/% E
p
!
A
/B
M
as a
un, p0 : f E A es u
nico con respecto a esta propiedad.
Demostraci
on. Definamos el siguiente conjunto f E = {(a, e) A E | f (a) = p(e)} y una
proyecci
on p0 : f E A definida por p(a, e) = a, notemos que la fibra de un elemento a A
bajo p0 , est
a dada por p01 (a) = {(a, e) A E | e p1 (f (a))}. Definimos una aplicacion
f 0 : f E E como f 0 (a, e) = e, entonces tenemos que el siguiente diagrama conmuta,
f E
f0
p0
A
/E
p
/B
44
en efecto, para (a, e) f E tenemos que p f 0 (a, e) = p(e) = f (a) = f p0 (a, e).
Veamos que p0 es localmente trivial. Tomemos a A, y consideremos el punto f (a) B
como p : E B es un haz vectorial, entonces para f (a) B existe una vecindad Uf (a) B
y un homeomorfismo hf (a) : p1 (Uf (a) ) Uf (a) Fn . Sea Va = f 1 (Uf (a) ) un abierto en A,
construyamos un homeomorfismo
h0a : p01 (Va ) Va Fn
como sigue, notemos que p01 (Va ) = {(a0 , e) Va E | f (a0 ) = p(e)}, entonces para un punto (a0 , e) p01 (Va ) tenemos que f 0 (a, e) = e p1 (Uf (a) ), ahora usando el homeomorfismo
hf (a) tenemos que hf (a) (e) = (f (a), v) para alg
un v Fn , si pr2 es la proyeccion sobre la se0
0
0
gunda coordenada definimos a ha como ha (a , e) = (a0 , pr2 hf (a) f 0 (a0 , e)) = (a0 , v), donde
v Fn esta descrito anteriormente, y entonces se cumple que pr1 ha (a0 , e) = pr1 (a0 , v) =
a0 = p0 (a0 , e) lo que implica que p0 es localmente trivial.
Por otro lado, definimos el morfismo de haces : E 0 f E como (e0 ) = ((e0 ), f(e0 )),
y veamos que manda la fibra 1 (a) a la fibra p01 (a) para toda a A. En efecto, si
e0 1 (a) entonces (e0 ) = ((e0 ), f(e0 )) = (a, f(e0 )) y por definicion f(e0 ) p1 (f (a)), lo
cual implica que (e0 ) p01 (a). Notemos que es u
nico por construccion.
Mostremos que p0 : f E A es u
nico con respecto a esta propiedad. Supongamos que
existe otro haz vectorial q : f E 0 A que cumple con la propiedad universal, entonces por
la propiedad universal de f E, existe un u
nico morfismo de haces : f E 0 f E que hace
conmutar el siguiente diagrama.
f
f E0
q
/ f E
f0
p0
#
A
/% E
p
/B
f E0 o
f E
f0
p0
#
A
/% E
p
/B
45
p0
/E
p
A
/B
Def inici
on 2.30. Sean p1 : E1 B y p2 : E2 B haces vectoriales, y consideremos el
producto de haces p1 p2 : E1 E2 B B, entonces definimos la suma de Whitney
o suma directa como el haz inducido del producto de haces bajo la aplicacion diagonal
4 : B B B definida como 4(b) = (b, b).
/ E1 E2
E1 E2
p0
p1 p2
B
/ BB
2.3.3.
Def inici
on 2.33. Dados dos haces vectoriales p1 : E1 B y p2 : E2 B sobre la misma
base, podemos construir el producto tensorial p : E1 E2 B como el haz vectorial en el
1
cual sus fibras son de la forma p1
1 (b) p2 (b) para todo b B.
Si tenemos dos haces vectoriales p1 : E1 B de rango n y p2 : E2 B de rango m
1
2
sobre la misma base B, con sistemas de cociclos {{U } , g
} y {{U } , g
} respecn
1
tivamente, podemos escoger una base para F , y as ver las transformaciones lineales g
,
2
1
2
g como matrices g (x) = (aij ) GLn (F) y g (x) = (bkl ) GLm (F). Entonces tenemos
1
2
que {{U } , g
g
} es un sistema de cociclos para p1 p2 : E1 E2 B, donde la
1
2
matriz g (x) g (x) GLnm (F) esta definida como
2
a11 g
(x) . . .
.
1
2
..
.
g (x) g (x) =
.
.
2
an1 g (x) . . .
2
a1n g
(x)
..
.
2
ann g
(x)
46
Def inici
on 2.34. Sea p : E B un haz vectorial, podemos formar su k-esima potencia
exterior k p : k E B, como el haz vectorial en el cual sus fibras son de la forma k p1 (b),
para todo b B.
Sea p : E B un haz vectorial con sistema de cociclos {{U } , g }, entonces podemos escoger una base para Fn y as, cada transformacion g define una matriz g (x)
en GLn (F). Por lo tanto {{U } , k g } es un sistema de cociclos para k p : k E B,
donde la matriz k g (x) esta definida como se muestra en el Apendice A.4.
Nota 2.35. Si p : E B es un haz vectorial de rango k, entonces el haz vectorial k p es un
haz vectorial lineal (haz vectorial de rango 1), con sistema de cociclos {{U } , det(g (x))}.
2.4.
47
B0
E 0 f E como (b0 , v) 7 (b0 , (f (b0 ), v)), notemos que (b0 , (f (b0 ), v)) B 0 E B 0 B V .
48
/E
/B
2.5.
La noci
on de paracompacidad de los espacios topologicos nos permite, en primer lugar,
definir una metrica Riemanniana (tambien conocido como producto interno) en un haz vectorial (que no es u
nico), y mediante el uso de esta metrica Riemanniana, podemos definir
ortogonalidad en los haces vectoriales, y as poder dar una nocion de haz inverso. Finalmente daremos una propiedad importante de haces vectoriales, la cual no dice que los haces
inducidos de un haz vectorial bajo dos funciones que sean homotopicas son isomorfos.
Una metrica Riemanniana en un haz vectorial p : E B es una aplicacion h , i : E
E F que restringido a cada fibra, nos asocia una forma bilineal simetrica y definida
positiva. Daremos una proposici
on, la cual nos da condiciones para la existencia de una
metrica Riemanniana en un haz vectorial, para esto es necesario introducir el concepto de
paracompacidad y partici
on de la unidad.
Def inici
on 2.45. Sea X un espacio topologico y {U } una cubierta abierta de X, decimos
que una partici
on de la unidad subordinada a {U } es una coleccion de funciones continuas
{ : X [0, 1]} que cumplen.
1. Para todo , existe U {U } tal que, el soporte de esta contenido en U .
2. Para todo x X existePuna vecindad de x en la cual solo una cantidad finita de
son distintos de cero y
(x) = 1.
Def inici
on 2.46. Decimos que un espacio topologico X es paracompacto, si para toda
cubierta abierta {U } existe una subcubierta localmente finita que cubre a X.
Lema 2.47. Sea X un espacio paracompacto y sea {U } una cubierta abierta de X, entonces
existe una partici
on de la unidad en X subordinada a {U }.
Demostraci
on. La demostraci
on de este lema la podemos encontrar en [18, Lema 41.7]
Proposici
on 2.48. Sea p : E B un haz vectorial, si B es un espacio Hausdorff compacto
(en general paracompacto), entonces existe una metrica Riemanniana.
Demostraci
on. Sea {U }A una cubierta abierta de B en la cual E sea trivial, entonces
para todo A existe una trivializacion local h : p1 (U ) U Fn , ahora usando h , iFn
el producto escalar en Fn definamos la siguiente metrica Riemanniana
h , iU : (U Fn ) (U Fn )
((x, v), (x, v 0 )) 7
F
hv, v 0 iFn
49
F
hh (v1 ), h (v2 )iU
U FnP
(p(v), i ei )
50
Proposici
on 2.51. Para cada haz vectorial p : E B con B un espacio compacto Hausdorff, existe un haz vectorial p0 : E 0 B tal que E E 0 es un haz trivial.
Demostraci
on. Por la Proposici
on 2.49 es suficiente mostrar que E es isomorfo a un subhaz
del haz producto B FN para alg
un N . Como B es un espacio compacto Hausdorff entonces
B es un espacio normal, ahora para cada x B existe un abierto Ux B en el cual E es
trivial, notemos que x y B\Ux son cerrados ajenos de B, por lo cual podemos aplicar el
lema de Urysohn, lo cual nos da una aplicacion x : B [0, 1] tal que x (c) = 0 para todo
c B\Ux , y x (x) = 0.
Notemos que el intervalo (0, 1] es un abierto en [0, 1], y como x es continua tenemos
1
que la preimagen 1
x ((0, 1]) es un abierto en B. Ahora, el conjunto {x ((0, 1])}xB forma
una cubierta abierta de B, como B es compacto existe una subcubierta finita que cubre a
1
B, digamos {1
1 , ..., m }.
Definamos una aplicaci
on gi : E Fn , como gi (v) = i (p(v))[1 hi (v)], donde hi : p1
n
Ui F es la trivializaci
on local correspondiente a Ui , y i : Ui Fn Fn la proyeccion a
n
F . Por construcci
on gi es inyectiva en cada fibra, ahora definimos la aplicacion g : E FN
como v 7 (g1 (v), ..., gm (v)) donde FN es el producto de m copias de Fn , y como gi es
inyectiva en cada fibra, entonces g es inyectiva en cada fibra.
Sea f : E B FN definida como v 7 (p(v), g(v)), notemos que la imagen de f es un
subhaz vectorial del haz producto B FN , por lo tanto E es isomorfo a un subhaz de B FN ,
y entonces por la Proposici
on 2.49 existe un subhaz vectorial E 0 tal que E E 0
= BFN .
Un resultado importante que usaremos en captulos posteriores, es que los haces inducidos
de un haz vectorial p : E B bajo dos aplicaciones homotopicas son isomorfos, para mostrar
este resultado es necesario dar las siguientes propiedades.
Lema 2.52. El haz vectorial p : E B [a, b] es trivial si los haces restringidos
p|B[a,c] : p1 (B [a, c]) B [a, c]
y
p|B[c,b] : p1 (B [c, b]) B [c, b]
con c (a, b), son triviales.
Demostraci
on. En efecto, para el haz restringido p|B[a,c] tenemos una trivializacion local
h1 : p1 (B [a, c]) B [a, c] Fn tal que el siguiente diagrama conmute
p1 (B [a, c])
p
v
B [a, c]
h1
/ (B [a, c]) Fn
pr1
y para el haz restringido p|B[c,b] tenemos una trivializacion local h2 : p1 (B [c, b])
B [c, b] Fn tal que el siguiente diagrama conmute
p1 (B [c, b])
p
v
B [c, b]
h2
pr1
/ (B [c, b]) Fn
51
Estas
propiedades nos permiten enunciar la siguiente proposicion, la cual nos dara las
herramientas necesarias para mostrar el resultado deseado.
Proposici
on 2.55. Sea p : E B I un haz vectorial con B paracompacto, entonces las
restricciones sobre B {1}, B {0} son isomorfismos.
Demostraci
on. Por el Lema 2.53, existe U una cubierta abierta de B en la cual E es trivial
sobre U I. Mostremos primero la proposicion para B compacto Hausdorff, entonces como
B es compacto existe una subcubierta finita {U1 , ..., Um } que cubren a B. De igual manera
que la Proposici
on 2.51 existe una particion de la unidad {i } donde el soporte de i esta
contenido en Ui .
Sea i = 1 + ... + i , notemos que 0 = 0 y m = 1, y sea i la grafica de i , es
decir, (x, i (x)) X I, entonces si consideramos el haz restringido pi : Ei i donde
Ei = p1 (i ) podemos notar que es trivial sobre Ui I. Entonces podemos considerar la
proyecci
on natural i i1 la cual induce un isomorfismo hi : Ei Ei1 , por lo tanto la
composici
on h = h1 h2 ... hm es un isomorfismo entre el haz restringido p|B{1} y el haz
restringido p|B{0} .
Ahora mostremos la proposici
on para B paracompacto. Por el Lema 2.54, dada la cubierta U , existe una subcubierta {Vn } numerable que cubre a B, tal que Vn es u
nion disjunta
de abiertos U , como en el caso anterior existe una particion de la unidad {n } con soporte
contenido en alg
un Vn , por lo cual el haz restringido p|Vi I es trivial.
Sea i = 1 +...+i , y sea i la grafica de i , entonces si consideramos el haz restringido
pi : Ei i donde Ei = p1 (i ) podemos construir un isomorfismo hi : Ei Ei1 como
antes, por lo tanto la composici
on numerable h = h1 h2 h3 ... esta bien definida y es un
isomorfismo entre el haz restringido p|B{1} y el haz restringido p|B{0} , puesto que para
cada x B solo un n
umero finito de i son distinto de cero, por lo cual existe una vecindad
de x en la cual solo un n
umero finito de hi no son la identidad.
Teorema 2.56. Sea p : E B un haz vectorial, y sean f0 , f1 : A B dos aplicaciones
homot
opicas con A compacto Hausdorff (o en general paracompacto), entonces los haces
inducidos f0 E, f1 E son isomorfos.
52
Demostraci
on. Como f0 , f1 son aplicaciones homotopicas, entonces existe una homotopa
F : A I B tal que F |A{0} = f0 y F |A{1} = f1 . Ahora, podemos construir el haz
inducido F E de p : E B bajo la homotopa F , como A es compacto Hausdorff (o
en general paracompacto) entonces por la Proposicion 2.55 tenemos que las restricciones
F E|A{0} = f0 E y F E|A{1} = f1 E son isomorfas.
2.6.
En esta secci
on introduciremos el concepto de variedad de Grassmann y variedad de
Stiefel, las cuales utilizaremos para construir el haz vectorial universal de rango k, el cual
nos permite clasificar haces vectoriales sobre una base fija.
Def inici
on 2.57. Sea B un espacio topologico paracompacto. Denotamos por VectFk (B) el
conjunto de clases de isomorfismos de haces vectoriales sobre F de rango k, sobre un espacio
base B.
Corolario 2.58. Si f : A B es una equivalencia homot
opica de espacios paracompactos,
entonces f induce una biyecci
on f : VectFk (B) VectFk (A) donde f ([E]) = [f E].
Demostraci
on. Como f es una equivalencia homotopica, entonces existe g : B A tal que
f g ' idB y g f ' idA , entonces por el Teorema 2.56 f g = id = id lo cual implica que
g es inyectiva y f es sobre, por otro lado g f = id lo cual implica que f es inyectiva
y g es sobre. Por lo tanto f es biyectiva.
Definiremos ahora la variedad de Grassmann y la variedad de Stiefel asociadas a un
espacio vectorial V .
Def inici
on 2.59. Sea V un espacio vectorial sobre F, definimos la variedad de Grassmann
como Gn (V ) = {W V | W es subespacio lineal, dim(W ) = n}. Sea Mon(Rn , V ) el
subconjunto de Hom(Rn , V ) cuyos elementos son monomorfismos, equipamos este con la
topologa del subespacio. Entonces tenemos una aplicacion sobreyectiva q : Mon(Rn , V )
Gk (V ) definida como 7 (Rn ). As podemos darle a Gn (V ) la topologa cociente.
Def inici
on 2.60. Definimos la variedad de Stiefel de k-marcos ortonormales en Fn , como
n
Vk (F ) = {(v1 , ..., vk ) Fn ... Fn | hvi , vj i = ij } donde h , i es el producto interno en
Fn y ij es la delta de Kronecker. Equipamos a Vk (Fn ) con la topologa del subespacio de
Fnk .
Notemos que de manera natural, podemos definir una aplicacion de Vk (Fn ) a Gk (Fn )
que manda cada k-marco ortonormal a su subespacio generado.
p0 : Vk (Fn )
(v1 , ..., vk ) 7
Gk (Fn )
hv1 , ..., vk i.
Para definir el haz vectorial universal, es necesario definir el espacio En (Fn ) = {(l, v)
Gn (Fk ) Fk | v l}.
Lema 2.61. La proyecci
on p : En (Fk ) Gn (Fk ) definida como p(l, v) = l, es un haz
vectorial.
Demostraci
on. Sea l Gn (Fk ), y sea l : Fk l la proyeccion ortogonal, definamos el
conjunto Ul = {l0 Gn (Fk ) | dim(l (l0 )) = n}, notemos que l Ul , mostraremos que Ul es
53
un abierto en Gn (Fk ) y que h : p1 (Ul ) Ul l definido como h(l0 , v) = (l0 , l (v)) es una
trivializaci
on local de En (Fk ).
Para ver que Ul es un abierto consideramos la aplicacion p0 : Vk (Fk ) Gk (Fk ) definida
arriba, y veamos que p01 (Ul ) es un abierto en Vn (Fk ), notemos que p01 (Ul ) consiste de
todos los marcos ortonormales v1 , ..., vn tal que l (v1 ), ..., l (vn ) sean linealmente independientes. Sea A la matriz de l con respecto a la base estandar en Fn y alguna base fja en
l, la condici
on sobre v1 , ..., vn es entonces que la matriz n n con columnas Av1 , ..., Avn
tenga determinante distinto de cero, este determinante nos define una aplicacion continua
: Vn (Fk ) F en la cual Ul = 1 (F\{0}), por lo cual Ul es abierto en Vn (Fk ).
Ahora, por construcci
on, la aplicacion h es biyectiva, ahora notemos que h tiene una
inversa definida como h1 (l0 , w) = (l0 , (l |l0 )1 (w)) las cuales son continuas puesto que l
es continua y un isomorfismo local.
Nota 2.62. Al haz vectorial p : En (Fk ) Gn (Fk ) se le conoce como haz vectorial universal.
Podemos notar que la inclusi
on Fk Fk+1 Fk+2 induce una inclusion en sus
k
variedades de
Grassmann
G
(F
)
Gn (Fk+1 ) Gn (Fk+3 ) , entonces podemos definir
n
S
k
Gn (F ) = k Gn (F ) el conjunto de todos los subespacios vectoriales de dimension n en
F . Podemos dar a Gn (F ) la topologa debil, en la cual un conjunto es abierto en Gn (F )
si y s
olo si este intersecta
cada Gn (Fk ) en un conjunto abierto. De igual manera podemos
S
k
definir En (F ) = k En (F ) y dotar tambien con la topologa debil
Recordemos de la Secci
on 1.1.5, que denotamos por [X, Y ] al conjunto de clases de
homotopa de aplicaciones f : X Y .
Teorema 2.63. Si B es un espacio paracompacto, entonces la aplicaci
on [B, Gn (F )]
F
Este
teorema nos permite clasificar haces vectoriales sobre una base fija, por clases de
homotopa de funciones en Gn (F ), por lo cual al espacio Gn (F ) se le conoce como espacio
clasificante de haces vectoriales de rango n. Para poder mostrar este teorema, es necesario
mostrar primero la siguiente proposicion.
Proposici
on 2.64. Sea p : E B un haz vectorial de rango n, entonces existe un isomorfismo E f En (F ) si y s
olo si existe g : E F lineal e inyectiva en cada fibra, (donde
/ f En (F )
E
p
$
B
/ En (F )
/) F
/ Gn (F )
Demostraci
on. Sea f : B Gn (F ), supongamos primero que existe un isomorfismo : E
54
2.7.
Haces principales
El espacio total de un haz vectorial p : E B se puede ver como una union disjunta de
la forma
G
p1 (b)
bB
donde cada p1 (b) es un espacio vectorial. Cuando cambiamos la condicion de ser espacio
vectorial por la condici
on de ser un grupo, lo que obtenemos es un haz principal.
En esta secci
on definiremos los haces principales, y enunciaremos construcciones que nos
permitar definir haces principales a partir de haces vectoriales, y viceversa.
Nota 2.65. En algunos libros se denota a un haz vectorial p : E B como una triada
= (E, p, B), donde E es el espacio total, B el espacio base y p la proyeccion. Por comodidad,
en esta secci
on usaremos esta notacion para definir haces vectoriales principales
Def inici
on 2.66. Una quintupla = (P, , B, F, G) es un haz principal, con espacio total E,
espacio base B, proyecci
on , grupo G y fibra F , si satisface las dos siguientes propiedades:
1. La fibra F y el grupo G coinciden.
55
2. La acci
on de G en F = G es por traslaciones izquierdas.
Sea {U , g } un sistema de cociclos de un haz principal. La propiedad 2 nos dice que
para cada x U U , g (x) G = F es la traslacion izquierda Lg .
Lema 2.67. Sea = (P, , B, G, G) un haz principal. Entonces existe una acci
on derecha
libre de G en P , tal que (vg) = (v) para toda v E y g G.
Demostraci
on. Sea {U } una cubierta abierta de B y { } un conjunto de trivializaciones
de asociadas a la cubierta. Para cada U consideremos la accion derecha libre de G en U G,
definida por
(U G) G U G
((b, a), g) 7 (b, ag)
Esta acci
on induce una acci
on derecha libre de G en 1 (U ), definida como
1 (U ) G
(v, g) 7
1 (U )
1
( (v)g)
(v)g).
Por
otro
lado
(1
,x
la acci
on de G a Orb(v) tenemos que la accion restringida Orb(v) G Orb(v) es una
acci
on libre y transitiva, esto implica que G/Iv
= Orb(v), por lo tanto G
= Orb(v).
:
P
B
como
la
proyeccion al espacio
=
de
orbitas, es decir, (v) = Orb(v).
Lema 2.68. Sea (P, , B, G, G) un haz principal, con trivializaciones { } asociadas a una
cubierta abierta {U } de B. Entonces los cociclos g del haz, se pueden expresar como
g (x) = ,x 1
,x (v)
con v 1 (x).
Demostraci
on. Para cualquier v 1 (U U ) con (v) = x, consideremos el elemento
0
0
0
g (v) := ,x (v),x (v)1 en G. Notemos que g
(x) = g
(x)1 , y tomamos el producto
0
1
g (x)g
(v) = (,x 1
)
,x )(,x (v),x (v)
1
= ((,x 1
= ,x (v),x (v)1 = e
,x ),x (v)),x (v)
0
donde e es la identidad en G. An
alogamente, g (x)g
(v) = e.
56
Nota 2.69. Dado un haz vectorial p : E B de rango k, podemos asociarle un haz principal
de la siguiente manera:
Un marco en un punto b B es una base ordenada de el espacio vectorial p1 (b), por
otro lado, un marco puede ser visto como un isomorfismo lineal f : Fk p1 (b). Denotemos
por Fb al conjunto de todos los marcos en b, podemos definir una accion derecha de GLk (F)
en Fb como,
Fb GLk (F) Fb
(f, g) 7 f g
notemos que f g : Fk p1 (b). Esta accion es libre y transitiva, puesto que existe una u
nica
transformaci
on lineal que manda una base en otra, por lo tanto tenemos que GLk (F)/If
=
Fb , donde If denota al subgrupo de isotropa de f Fb .
Definimos el haz de marcos : F (E) B de p : E B como el haz cuyo espacio total
esta dado por
a
F (E) =
Fb
bB
P F
(vg, g 1 y)
Teora K
3.1.
Construcci
on de Grothendieck
Esta
construcci
on nos permite asociarle a un semigrupo abeliano (un conjunto con una
operaci
on asociativa y conmutativa), un grupo abeliano de manera u
nica salvo isomorfismo.
Proposici
on 3.1. Si A es cualquier semigrupo abeliano, se le puede asociar un grupo abeliano A0 u
nico salvo isomorfismo, y un homomorfismo de semigrupos : A A0 , que cumplen la siguiente propiedad universal.
Si G es cualquier grupo abeliano y : A G es cualquier homomorfismo de semigrupos,
entonces existe un u
nico homomorfismo de grupos 0 : A0 G tal que hace conmutar el
siguiente diagrama.
A
A0
/G
Demostraci
on. Definimos A0 como A union los inversos de A de la siguiente manera. Consideramos A A bajo la siguiente relacion de equivalencia (a, b) (a0 , b0 ) si y solo si existe
c A tal que a + b0 + c = a0 + b + c, y denotamos por ha, bi a la clase de equivalencia de un
elemento (a, b).
Veamos que A0 = (A A)/ es un grupo abeliano, donde la operacion en A0 esta dada
por ha, bi+ha0 , b0 i = ha+a0 , b+b0 i. Mostremos primero que esta operacion esta bien definida,
si (a1 , b1 ) (a2 , b2 ) entonces existe c A tal que a1 + b2 + c = a2 + b1 + c, por otro lado
58
Captulo 3. Teora K
si (a01 , b01 ) (a02 , b02 ) entonces existe c0 A tal que a01 + b02 + c0 = a02 + b01 + c0 , notemos que
ha1 , b1 i + ha01 , b01 i = ha2 , b2 i + ha02 , b02 i, en efecto, tenemos que,
ha1 , b1 i + ha01 , b01 i = ha1 + a01 , b1 + b01 i = ha2 + a02 , b2 + b02 i = ha2 , b2 i + ha02 , b02 i
puesto que a1 + a01 + b2 + b02 + c + c0 = b1 + b01 + a2 + a02 + c + c0 , por lo cual la operacion en
A0 est
a bien definida.
El elemento neutro del grupo esta dado por la clase ha, ai con a A, en efecto ha, ai +
hc, bi = ha + c, a + bi, pero ha + c, a + bi = hc, bi puesto que a + c + b = c + a + b = a + c + b.
El elemento inverso de un elemento ha, bi esta dado por hb, ai, es decir ha, bi + hb, ai =
ha + b, b + ai, por lo tanto A0 es un grupo, y ademas es abeliano puesto que A es abeliano.
Definamos : A A0 como a 7 ha, 0i, y veamos que cumple la propiedad universal.
Sea G un grupo y : A G un homomorfismo de semigrupos, para a A tenemos que
(a) = ha, 0i, entonces definimos 0 : A0 G tal que 0 ((a)) = 0 (ha, 0i) = (a), por lo
cual para ha, bi tenemos que 0 (ha, bi) = (a) (b).
Para mostrar que esta construccion es u
nica, suponemos que existen (A00 , 0 ) distintos de
0
0
00
(A , ) con : A A , que cumple con la propiedad universal, entonces por la propiedad
universal de la construcci
on de Grothendieck (A0 , ), existe : A0 A00 que hace conmutar
el siguiente diagrama,
A
0
A0
!
/ A00
por otro lado, por la propiedad universal de la construccion de Grothendieck (A00 , 0 ) existe
0 : A00 A0 que hace conmutar el siguiente diagrama,
A
A0 o
!
0
A00
por lo tanto tenemos que 0 = id00A y que 0 = id0A lo que implica que : A0 A00 es
un isomorfismo de grupos.
Def inici
on 3.2. A la pareja (A0 , ) se le llama, la construcci
on de Grothendieck asociada
al semigrupo A, y a A0 se le denota como Gr(A)
Ejemplo 3.3. Si A = N, entonces su construccion de Grothendieck Gr(A) es igual a Gr(A) =
Z los enteros, en efecto Gr(A) = (N N)/ tiene como elementos a las clases definidas
como ha, bi = a b con a, b N.
Nota 3.4. Para cada a A, tenemos que ha, bi = ha, 0i + h0, bi, lo que implica que ha1 , 0i =
ha2 , 0i si y s
olo si existe a A tal que a1 + a = a2 + a. Mas a
un, la aplicacion : A A0
es inyectiva si y s
olo si la ley de cancelacion vale en A.
Podemos dar una construcci
on alternativa a la de Grothendieck como sigue. Sea A un
semigrupo abeliano y consideremos F (A) el grupo libre generado por los elementos de A, y
definimos M (A) el subgrupo de F (A) generado por los elementos de la forma a a0 (a + a0 )
donde es la suma en F (A) y + es la suma en A. Definimos Gr(A) = F (A)/M (A) y
3.1. Construcci
on de Grothendieck
59
antes descrita.
Propiedades. La construcci
on de Grothendieck cumple con las siguientes propiedades.
1. Si f : A B es un homomorfismo de semigrupos, y (Gr(A), ), (Gr(B), ) sus construcciones de Grothendieck correspondientes, entonces existe un u
nico homomorfismo
de grupos f 0 : Gr(A) Gr(B) tal que el siguiente diagrama conmute.
/B
Gr(A)
f0
/ Gr(B)
Gr(A)
$
/ Gr(B)
Gr(A)
/B
/C
/ Gr(B)
/ Gr(C)
gf
Gr(A)
$
/ Gr(C)
Gr(A)
/A
f0
/ Gr(A)
60
Captulo 3. Teora K
3.2.
Teora K
En esta secci
on definiremos la Teora K de un espacio topologico paracompacto, usando
la construcci
on de Grothendieck vista en la seccion anterior.
Sea B un espacio topol
ogico paracompacto, recordemos de la Definicion 2.57, que denotamos por VectFk (B) al conjunto de clases de isomorfismos de haces vectoriales de rango k,
sobre B.
Def inici
on 3.6. Sea VectF (B) el semigrupo abeliano de clases de isomorfismos de haces
vectoriales sobre un espacio base B paracompacto. El conjunto VectF (B) tiene una estructura
de semigrupo, donde la operaci
on esta dada por [E]+[E 0 ] = [E E 0 ] con [E], [E 0 ] VectF (B)
F
y la identidad en Vect (B) es la clase del haz trivial de rango 0.
Podemos formar la construcci
on de Grothendieck aplicada al semigrupo VectF (B), lo
cual nos da un grupo abeliano llamado Teora K de B. Si F = C, entonces Gr(VectC (B)) se
denota por K(B) y se le llama Teora K compleja de B. Si F = R, entonces Gr(VectR (B))
se denota por KO(B) y se le llama Teora K real de B.
Nota 3.7. Para simplificar notaci
on, en este captulo denotaremos a la Teora K Gr(VectF (B))
simplemente como K(B).
Dada una aplicaci
on f : B 0 B podemos construir un homomorfismo de semigrupos
f : VectF (B) VectF (B 0 ) definido por [E] 7 [f E] y donde [f E] es la clase del haz
inducido de p : E B bajo la aplicacion f . Esto nos induce una homomorfismo f : K(B)
3.2. Teora K
61
/ VectF (B 0 )
0
K(B)
/ K(B 0 )
En efecto, la aplicaci
on f : VectF (B) VectF (B 0 ) es un homomorfismo de semigrupos.
Recordemos que E E 0 = {(e, e0 ) E E 0 | p(e) = p0 (e0 )} donde p : E B, p0 : E 0 B,
y entonces el haz inducido de E E 0 bajo f esta dado por
f (E E 0 ) = {(b, (e, e0 )) B 0 E E 0 | f (b) = p(e) = p(e0 )}
por otro lado, podemos notar que la suma directa de los haces inducidos f Ef E 0 esta dada
por el conjunto
{((b1 , e), (b1 , e0 )) f E f E 0 | p1 (b1 , e) = p2 (b2 , e0 ), f (b1 ) = f (b2 ) = p(e) = p0 (e0 )}
como b1 = p1 (b1 , e) = p2 (b2 , e0 ) = b2 podemos deducir que f (E E 0 )
= f E f E 0 por el
0
0 0
0
0
0
isomorfismo ((b , e), (b , e )) 7 (b , e, e ), y entonces f ([E] + [E ]) = f [E] + f [E 0 ], lo que
implica que f es un homomorfismo.
Propiedades. El anillo K(B) tiene las siguientes propiedades funtoriales.
1. Si f : B B 0 y g : B 0 B 00 son aplicaciones continuas, entonces (g f ) = f
g : K(B 00 ) K(B).
VectF (B 00 )
00
K(B 00 )
/ VectF (B 0 )
0
/ K(B 0 )
/ VectF (B)
/ K(B)
Esta
propiedad se deduce de la unicidad de la propiedad universal de la contruccion
de Grothendieck aplicada en este diagrama.
VectF (B)
f g
00
K(B 00 )
$
/ K(B)
f0
/E
p
/B
62
Captulo 3. Teora K
donde f E = {(b, e) B E | f (b) = p(e)}, y f 0 : f E E esta definida por
f 0 (b, e) = e, notemos que f 0 restringido a las fibras es un isomorfismo lineal, lo que
implica que f : VectF (B) VectF (B), [E] 7 [f E] es un isomorfismo.
aplicaciones homot
opicas, entonces f0 = f1 : K(B) K(B 0 ).
Demostraci
on. Puesto que f0 es homotopica a f1 , tenemos por el Teorema 2.56, que los
haces inducidos f0 E, f1 E son isomorfos, lo que implica que sus clases [f0 E], [f1 E] son
iguales, y por tanto f0 = f1 .
3.3.
Teora K reducida
e
En esta secci
on definiremos la Teora K reducida K(B)
de un espacio topologico paracompacto B, adem
as introduciremos el concepto de equivalencia estable de haces vectoriales
sobre un espacio base B, para finalmente ver que existe una relacion entre el conjunto de
clases de equivalencia estable de haces vectoriales sobre B y la Teora K reducida del espacio
B.
Nota 3.12. Todo elemento en hE, E 0 i K(B) es de la forma hE, E 0 i = [E] [E 0 ], notemos
el hecho de que [E] [E 0 ] = 0 no implica que [E] = [E 0 ], sino que existe [E 00 ] K(B) tal que
K(B)
E E 00 = E 0 E 00 . Por otro lado, dos clases hE, E 0 i = hF, F 0 i si y solo si existe [E]
0
0
tal que E F E = E F E.
63
Def inici
on 3.13. Sea B un espacio topologico punteado (B, ), consideremos la inclusion
i : {} , B, entonces i induce un homomorfismo i : K(B) K({}), donde hemos visto
que K({})
= Z. Definimos la Teora K reducida del espacio punteado B denotado por
e
e
K(B),
como el subgrupo K(B)
= ker(i ) K(B).
Nota 3.14. La aplicaci
on i : K(B) Z esta inducida por la aplicacion que a cada haz
vectorial sobre B le asocia la dimension de la fibra sobre el punto base, por lo cual, para
diferentes componentes conexas de B tenemos distintos rangos.
e
Proposici
on 3.15. K(B)
Z
= K(B)
Demostraci
on. Podemos construir la siguiente sucesion exacta corta.
0
e
/ K(B)
/ K(B)
/ K({})
/0
Si definimos la aplicaci
on constante c : B {}, entonces podemos notar que c i = id, y
como K es un funtor tenemos que (c i) = i c = idK({}) , lo que implica que la sucesion
e
Z.
se escinde, y entonces K(B)
= K(B)
e
Los elemento en el grupo K(B)
de Teora K reducida son diferencias de clases de haces
vectoriales cuya fibra sobre el punto base tiene la misma dimension, pero si el espacio
e
base B es compacto, entonces podemos ver al grupo K(B)
como un conjunto de clases
de equivalencia de haces vectoriales, en el cual no importa el rango de los haces vectoriales.
Def inici
on 3.16. Decimos que dos haces vectoriales p : E B, p0 : E 0 B son est
ablemente equivalentes, si existen haces vectoriales triviales , 0 tal que E
= E 0 0 . Denotamos
la equivalencia estable de dos haces vectoriales como E S E 0 .
Nota 3.17. La equivalencia estable de haces vectoriales, es una relacion de equivalencia.
1. E S E.
2. Si E S E 0 , entonces E 0 S E.
3. Si E S E 0 y E 0 S E 00 , entonces E S E 00 .
La propiedad de transitividad es cierta puesto que, si E S E 0 entonces existen haces
triviales , 0 tal que E
= E 0 0 , y como E 0 S E 00 , entonces existen haces triviales
00
000
00 , 000 , tal que E 0 00
E
e
Teorema 3.18. Sea B un espacio punteado compacto, entonces K(B)
= S(B).
Demostraci
on. Consideremos [E] VectF (B) la clase de isomorfismo de un haz vectorial E
sobre B, definimos la aplicaci
on
: VectF (B)
[E] 7
S(B)
{E}
64
Captulo 3. Teora K
K(B)
$
/ S(B)
e
Recordemos que K(B)
es un subgrupo de K(B), y mostraremos que |K(B)
es un isomorfismo.
e
Para ver que es sobre, tomamos {E} S(B), y suponemos que sobre la componente
conexa del punto base, el haz vectorial E tiene dimension k, consideremos el haz vectorial
e
trivial k de dimensi
on k, y notemos que [E] [k ] K(B)
puesto que sobre el punto base
k
k
E y tienen dimensi
on k, entonces ([E] [ ]) = ([E]) ([k ]) = {E} {k } = {E},
por lo tanto |K(B)
es sobre.
e
e
Ahora veamos que es inyectiva. Sea hE, E 0 i = [E][E 0 ] K(B)
tal que ([E][E 0 ]) = 0,
0
0
0
esto es, 0 = ([E] [E ]) = ([E]) ([E ]) = {E} {E }, por lo cual existen haces
e
vectoriales triviales m , n tal que E m
tenemos
= E 0 n , pero como [E] [E 0 ] K(B)
que E y E 0 tienen la misma dimension sobre el punto base, lo que implica que m = n, y
e
entonces hE, E 0 i = hn , n i es la identidad en K(B)
K(B), lo que implica que |K(B)
es un
e
isomorfismo.
Nota 3.19. Si B es uni
on ajena de subespacios abiertos B = B1 t t Br , entonces
K(B) = K(B1 ) K(Br ).
Lr
F
En efecto tenemos un isomorfismo VectF (B)
i=1 Vect (Bi ) definido por [E] 7
([E1 ], ..., [Er ]), donde [Ei ] denota la restriccion de el haz vectorial E a Bi .
3.4.
e
Representaciones homotopicas de K(B) y K(B)
e
En esta secci
on mostraremos otra descomposicion de K(B) similar a K(B)
Z,
= K(B)
veremos el concepto de limite directo de un sistema dirigido, para finalmente dar algunos
e
resultados que nos permitir
an dar una representacion homotopica de K(B) y K(B).
Sea B un espacio topologico y S un conjunto, decimos que una funcion f : B S es
localmente constante, si cada x B tiene una vecindad V , en la cual f |V es constante. Si
damos a S la topologa discreta, entonces f : B S es localmente constante si y solo si f
es continua, en efecto, si f es localmente constante, entonces para cada abierto A en S, la
preimagen f 1 (A) contiene un abierto V (por ser localmente constante), recprocamente si
f es continua, entonces para cada x B tomamos f (x) el cual es un abierto en S, y como
f es continua la preimagen es un abierto que contiene a x.
Si p : E B es un haz vectorial, definimos una aplicacion dE : B N como dE (x) =
dim(p1 (x)), notemos que dE es localmente constante. Notemos que el conjunto M(B, N) de
funciones continuas de B a N, es igual al conjunto {f : B N | f es localmente constante}
e
3.4. Representaciones homotopicas de K(B) y K(B)
65
si dotamos a N con la topologa discreta. Mas aun, M(B, N) = [B, N], donde [B, N] denota
al conjunto de clases de homotopa de aplicaciones de B a N.
Def inici
on 3.20. Sea d : VectF (B) [B, N] la aplicacion definida por [E] 7 dE , como N es un semigrupo, entonces [B, N] tiene estructura de semigrupo bajo a operacion
(f0 + f1 )(x) = f0 (x) + f1 (x) con f0 , f1 [B, N]. Ademas, d es un homomorfismo de semigrupos puesto que d([E] + [E 0 ]) = dEE 0 = dE + dE 0 . Entonces podemos considerar las
construcciones de Grothendieck de VectF (B) y [B, N] para obtener los grupos (K(B), 0 ) y
([B, Z], ) respectivamente, y entonces por funtorialidad de la construccion de Grothendieck
d induce un homomorfismo de grupos d: K(B) [B, Z] que hace conmutar el diagrama.
VectF (B)
/ [B, N]
K(B)
/ [B, Z]
b
Denotamos por K(B)
= ker(d).
Proposici
on 3.21. La siguiente sucesi
on exacta corta se escinde
0
b
/ K(B)
/ K(B)
/ [B, Z]
/0
b
[B, Z].
y en este caso tenemos que K(B)
= K(B)
Demostraci
on. Sea f : B N una aplicacion continua, como B es compacto entonces f (B)
es un conjunto finito, digamos, f (B) = {n1 , ..., nk }, definamos Bi = f 1 (ni ) y notemos
que B = B1 t t Bk . Definimos un haz vectorial sobre B tomando sobre cada Bi el haz
vectorial trivial ni de rango ni .
De esta manera, podemos construir un homomorfismo : [B, N] VectF (B), tal que
d = id[B,N] . Por la funtorialidad de la construccion de Grothendieck, induce un homomorfismo : [B, Z] K(B) tal que d = id[B,Z] , lo que implica que la sucesion de
escinde.
e
b
Corolario 3.22. Si B es conexo y compacto, entonces K(B)
= K(B)
e
Demostraci
on. Notemos que un elemento h[E], [E 0 ]i K(B) esta en K(B)
si y solo si
01
dim(p ()) = dim(p1 ()), donde es el punto base de B. Por otro lado h[E], [E 0 ]i esta en
b
K(B)
si y s
olo si dim(p01 (x)) = dim(p1 (x)) para todo x B. Entonces existe una aplicab
e
ci
on natural j : K(B)
K(B),
de las sucesiones exactas vistas en la Proposicion 3.15 y en
la Proposici
on 3.21, podemos construir el siguiente diagrama conmutativo.
0
b
/ K(B)
j
e
/ K(B)
/ K(B)
/0
i#
id
/ K(B)
/ [B, Z]
/ [, Z]
/0
donde asocia a cada haz vectorial, la dimension de la fibra sobre el punto base. Como B
es conexo i# es un isomorfismo, lo que implica que j es un isomorfismo.
66
Captulo 3. Teora K
Def inici
on 3.23 (Colmite Topologico). Dada una familia de espacios topologicos {Xi }, y
encajes (homeomorfismos sobre su imagen)
X1
j2i
/ X2
j32
/ X3
j k jki = j i : Xi colimi Xi
definidas como la composici
on de la inclusion con la aplicacion cociente
j i : Xi
/
/ colimi Xi
Xi
El colmite topol
ogico cumple con la siguiente propiedad universal: Si {f i : Xi Y | i
i
1} es una familia de aplicaciones, tal que f i+1 ji+1
= f i para toda i 1, o equivalentemente
f k jki = f i para toda k > i 1, entonces existe una u
nica aplicacion f : colimi Xi Y
que hace conmutar el siguiente diagrama.
ji
Xi
fi
/ colimi Xi
f
Def inici
on 3.24 (Colmite Algebraico). Decimos que un conjunto parcialmente ordenado
(I, ) es dirigido, si para todo i, j I existe k I tal que i, j k.
Dado un sistema dirigido de grupos abelianos (semigrupos, anillos, espacios vectoriales,
etc.) y homomorfismos
h12
A1
/ A2
h23
/ A3
definimos el colmite
o lmite directo algebraico como
M
colimi (Ai ) =
Ai /A0
L
L
donde A0 es el subgrupo de
Ai generado por las diferencias hik (ai ) ai Ai Ak
Ai ,
k2
i
k > i, y donde hik = hk1
h
.
En
otras
palabras,
identificamos
cada
grupo
Ai
i+1
k1
k
i
con su imagen en Ak . Adem
as, para toda i tenemos homomorfismos h : Ai colimi Ai tal
que
hk hik = hi : Ai colimi Ai .
definidos por la composici
on de la inclusion con la aplicacion cociente
j i : Ai
/ L Ai
/ colimi Ai .
e
3.4. Representaciones homotopicas de K(B) y K(B)
67
Ai
fi
/ colimi Ai
f
Def inici
on 3.25. Consideramos los conjuntos VectFk (B) de clases de isomorfismos de haces
vectoriales de dimension k, podemos definir la aplicacion tk : VectFk (B) VectFk+1 (B) como
VectF1 (B)
/ VectF2 (B)
t2
/ VectF3 (B)
y denotamos al colmite de este sistema como VectFs (B) = colimk VectFk (B).
Mediante la suma directa de haces vectoriales, podemos definir una operacion en VectFs (B)
de la siguiente manera
VectFs (B) VectFs (B)
([E] , [E 0 ]) 7
VectFs (B)
[E E 0 ]
/ Gk (F2 )
/ Gk (F3 )
68
Captulo 3. Teora K
b
Teorema 3.28. Sea B un espacio compacto, entonces K(B)
= [B, BU].
b
Demostraci
on. Por la Proposici
on 3.26 tenemos que K(B)
= VectFs (B) = colimk VectFk (B),
F
F
mediante las aplicaciones tk : Vectk (B) Vectk+1 (B). Por otro lado, definimos BU =
colimk BUk mediante las aplicaciones ik : BUk BUk+1 definidas arriba. Como B es compacto, entonces por la nota anterior tenemos que [B, BU]
= colimk [B, BUk ]. Por el Teorema
F
(B),
entonces
las
aplicaciones
tk y ik inducen un isomor2.63 tenemos que [B, BUk ]
Vect
=
k
F
(B).
fismo en los colmites colimk [B, BUk ]
colim
Vect
=
k
k
Ahora, contamos con las herramientas necesarias, para dar las representaciones hoe
mot
opicas de los grupos K(B) y K(B),
mencionadas al principio de esta seccion.
Corolario 3.29. Sea B un espacio compacto, entonces
1. K(B)
= [B, BU Z].
e
2. Si adem
as, B es conexo tenemos K(B)
= [B, BU ].
b
Demostraci
on. Mostremos primero 1, por la Proposicion 3.21 tenemos que K(B)
= K(B)
b
[B, Z], y por el Teorema 3.28 tenemos que K(B) = [B, BU] lo que implica que K(B)
=
[B, BU] [B, Z]
= [B, BU Z].
Ahora mostremos 2, suponemos que B es conexo, entonces por el Corolario 3.22 tenemos
e
b
e
b
que K(B)
y por el Teorema 3.28 tenemos que K(B)
= K(B),
= K(B)
= [B, BU].
3.5.
En esta secci
on enunciaremos el teorema de periodicidad de Bott en el caso complejo,
el cual es considerado como el teorema principal de la Teora K, la demostracion original
de este teorema usa resultados en teora de Morse los cuales no incluiremos en este trabajo.
Luego daremos algunos resultados que nos serviran para calcular la Teora K de la esfera de
dimensi
on n.
Teorema 3.30 (Periodicidad de Bott). Se tiene una equivalencia homot
opica
BU Z ' 2 BU
donde 2 BU es el 2-espacio de lazos en BU basados en un punto x0 , de la Definici
on 1.57.
69
Nota 3.31. En el caso real, el teorema de periodicidad de Bott establece que existe una
equivalencia homot
opica
BO Z ' 8 BO
De aqu podemos deducir que los grupos de homotopa de BU estan dados de la siguiente
manera
i+2 (BU)
= i (2 BU)
= i (BU Z)
pero tenemos que el grupo 0 de homotopa de BU Z es isomorfo a Z, por lo tanto
Z,
i = 0;
i+2 (BU)
=
i (BU), i 1.
esto nos dice que los grupos de homotopa de BU se repiten con periodo 2.
Teorema 3.32.
i (BU)
=
Z, Si i es par.
0, Si i es impar
o i = 0;
Z, Si n es par
o n = 0;
0, Si n es impar.
e 0 ) Z,
Demostraci
on. Si n = 0, entonces por la Proposicion 3.15, tenemos que K(S 0 )
= K(S
0
0
por otro lado sabemos que S es la union ajena de dos puntos por lo cual K(S ) = K()
e 0)
K()
= Z Z, por lo tanto K(S
= Z.
Ahora, si n > 0 tenemos que S n es conexo, entonces por el Corolario 3.29 tenemos que
e n)
K(S
= [S n , BU], donde [S n , BU] es el conjunto de cases de homotopa de aplicaciones
f : S n BU, y notemos que [S n , BU]
= n (BU).
Def inici
on 3.34. Sea X un espacio punteado compacto, definimos para cada n N la
Teora K superior como
e n (X) = K(
e n X)
K
Si A X es un subconjunto cerrado de X, definimos la Teora K relativa como
e
K(X, A) = K(X
C 0 A))
e n (X C 0 A)
Kn (X, A)
=K
donde X es la suspensi
on reducida de X y C 0 X es el cono reducido de X, de la Definicion
1.50.
Una consecuencia inmediata del teorema de periodicidad de Bott es el siguiente teorema,
el cual nos permite extender la Teora K superior Kn (X, A) para toda n Z.
e n (X, A)
e n+2 (X, A)
Teorema 3.35. K
=K
70
Captulo 3. Teora K
3.6.
Operaciones de Adams
En esta secci
on definiremos operaciones en teoria K, para as definir las operaciones de
Adams y dar algunas propiedades importantes de estas.
Def inici
on 3.36. Una operaci
on en Teora K asociada a un espacio topologico X, es una
aplicaci
on X : K(X) K(X) tal que, para cualquier aplicacion f : X Y el siguiente
diagrama es conmutativo.
Y
/ K(Y )
K(Y )
f
K(X)
/ K(X)
Def inici
on 3.37. Sea R un anillo conmutativo con 1, denotamos por R[[t]] alP
anillo de
series formales con coeficientes en R. Los elementos de R[[t]] son series formales i0 ri ti ,
donde ri R.
La suma en R[[t]] se define por
X
X
X
ri ti +
ri0 ti = (ri + ri0 )ti
i0
i0
i0
X
X
X
ri ti
rj0 tj =
rk00 tk
i0
j0
k0
donde rk00 = i+j=k ri rj0 , el 1 R[[t]] es el elemento 1 R, el cual lo podemos ver como la
serie 1 + 0t + 0t2 + 0t3 + .
P
Denotemos al conjunto
de series formales sobre R con termino independiente igual a 1
P
como 1 + tR[[t]] = { i0 ri ti R[[t]] | r0 = 1}, notemos que este conjunto es un grupo
abeliano, bajo el producto en R[[t]]. En efecto, el producto es cerrado puesto que, si tomamos
1 + tk, 1 + tk 0 1 + tR[[t]] donde k, k 0 R[[t]] no tienen termino constante, entonces
(1 + tk)(1 + tk 0 ) = 1 + t(k + k 0 ) + t2 (kk 0 ) 1 + tR[[t]] ya que k + k 0 R[[t]] no tiene
termino constante, adem
as todo elemento 1 + tk 1 + tR[[t]] tiene un inverso dado por
(1 tk + (tk)2 (tk)3 + ), esto es
(1 + tk)(1 tk + (tk)2 (tk)3 + ) = 1 tk + (tk)2 (tk)3 + + tk (tk)2 + (tk)3 = 1
por lo tanto 1 + tR[[t]] es un grupo abeliano.
Nota 3.38. El anillo de series formales R[[t]], se comporta igual que el anillo de series de
potencia con coeficientes en R, es decir, podemos definir las funciones analticas tales como
sen, cos, log, entre otras,
as de poder definir la derivada de igual manera que en analisis.
Padem
Por ejemplo, si x(t) = i0 ri ti , entonces podemos definir log x(t) y calcular su derivada
x0 (t)
d
(log x(t)) =
dt
x(t)
podemos notar que esta formula esta definida si x(t) 1 + tR[[t]].
71
Def inici
on 3.39. Sea E X un haz vectorial sobre un espacio topologico compacto X.
Definimos la serie t [E] K(X)[[t]] como
t [E] =
[i E]ti
i=0
V
).
Entonces
si
[E],
[E
]
son
haces
vectoriales
sobre
X,
tenemos
que
i+j=k
L
k (E E 0 )
= i+j=k (i E j E 0 ), por lo tanto
t [E E 0 ] =
[k (E E 0 )]tk =
k=0
k=0
([i E] [j E 0 ]) tk
i+j=k
X
X
= [i E]ti [j E 0 ]tj = t [E]t [E 0 ]
i0
j0
K(X)
'
/ 1 + t K(X)[[t]]
i ([E] [E 0 ])ti .
i0
72
Captulo 3. Teora K
K(X)
/ 1 + t K(Y )[[t]]
(3.1)
/ 1 + t K(X)[[t]]
i0
K(X)
/ K(X)
ya que el diagrama (3.1) conmuta. Por lo tanto i : K(X) K(X) es una operacion en
K(X).
Def inici
on 3.40. Definimos la operaci
on rango rango : K(X) K(X) como sigue. Si
E X es un haz vectorial, entonces al igual que en la demostracion de la Proposicion
2.55, existe una cubierta abierta {Xi } tal que X = ri=1 Xi y cada restriccion E|Xi es un
haz vectorial de rango ni . Definimos un haz vectorial r(E) X tal que r(E)|Xi = ni ,
esto nos define un homomorfismo de semianillos r : VectF (X) VectF (X) definido por
[E] 7 [r(E)], entonces por la propiedad universal de la construccion de Grothendieck, r
induce un homomorfismo de anillos rango : K(X) K(X).
Def inici
on 3.41 (Operaciones de Adams). Definimos las operaciones de Adams i : K(X)
K(X) como sigue. Para cada x K(X) definimos
0 (x) = rango(x)
ahora,
un elemento t (x) en el anillo de series formales K(X)[[t]] es de la forma t (x) =
P
i
d
dt
d
(log t (x))
dt
0t (x)
.
t (x)
Proposici
on 3.42. Para x, y K(X) se cumplen lo siguiente.
1. k (x + y) = k (x) + k (y) para todo k 0.
73
2. Si x = [L], donde [L] es un haz vectorial lineal (haz vectorial de dimension 1), entonces
k (x) = xk .
3. Las propiedades 1 y 2 caracterizan las operaciones k (x).
Demostraci
on. Sean x, y K(X). Mostremos primero 1, notemos que x, y tienen la forma
x = [E] [E 0 ], y = [F ] [F 0 ], entonces tenemos que x + y = [E F ] [E 0 F 0 ], y as
t (x + y) = t ([E F ] [E 0 F 0 ]) = t ([E F ])t ([E 0 F 0 ])1
= t [E]t [F ]t [E 0 ]1 t [F 0 ]1
= t [E]t [E 0 ]1 t [F ]t [F 0 ]1 = t (x)t (y)
por lo tanto tenemos que,
d
log(t (x + y))
dt
d
= rango(x + y) + t log(t (x)t (y))
dt
d
d
= rango(x) + rango(y) + t log(t (x)) + t log(t (y))
dt
dt
d
d
= rango(x) + t log(t (x)) + rango(y) + t log(t (y))
dt
dt
t (x + y) = rango(x + y) + t
= t (x) + t (y)
Ahora mostremos 2, supongamos que x = [L] es un haz lineal, notemos que 0 L = 1 y
L = L, por otro lado k L = 0 para k > 1, puesto que para cualquier
elemento y X, su
1
fibra p1 (x0 ) tiene dim(p1 (y)) = 1 y entonces dim(k p1 (y)) =
= 0, por lo tanto
k
tenemos que t (x) = 1 tx. Entonces
1
d
x
log(1 tx) =
= x tx2 t2 x3 . . .
dt
1 tx
esta ultima igualdad se cumple puesto que la serie
x
1tx
3.7.
Principio de descomposici
on
El principio de descomposici
on es un resultado que nos permite relacionar a un haz
vectorial arbitrario con la suma directa de haces lineales. En esta seccion daremos las herramientas necesarias para poder demostrar este importante resultado, y como consecuencia
veremos otras propiedades que cumplen las operaciones de Adams, distintas a las dadas en
la Proposici
on 3.42.
74
Captulo 3. Teora K
Def inici
on 3.43. Sea p : E X un haz vectorial. Definimos el espacio P (E) = (E\E 0 )/
0
donde E es la secci
on cero del haz vectorial p : E X, y la relacion esta definida como
sigue: Dados dos elementos e, e0 E\E 0 , e e0 si y solo si p(e) = p(e0 ) y e = e0 , con
F\{0}. Denotamos por [e] P (E) a la clase del elemento e E\E 0 .
Definimos el haz proyectivo asociado a p, como la aplicacion q : P (E) X dado por
[e] 7 p(e).
Veamos que el haz proyectivo asociado a p es localmente trivial. Como p : E X
es un haz vectorial entonces para una cubierta abierta {U } existen trivializaciones locales
U : p1 (U ) U Fn , como la imagen de la seccion cero E 0 p1 (U ) es el elemento 0
Fn , entonces la aplicaci
on U : p1 (U )\E 0 U Fn \{0} sigue siendo un homeomorfismo.
Notemos que el espacio proyectivo FPn1 esta definido como el espacio cociente Fn \{0}/vv
donde || =
6 0, entonces usando la aplicacion cociente que define a FPn1 , podemos definir
una aplicaci
on : U Fn \{0} U FPn1 . Por otro lado consideramos la aplicacion
1
: p (U )\E 0 q 1 (U ) que manda cada punto en su clase de equivalencia. Notemos
que si (x, v), (x, v) U Fn \{0} tal que (x, v) (x, v) en U FPn1 entonces
U (x, v) = U (x, v), por construccion. Por lo tanto, por la propiedad universal del cociente, existe un homeomorfismo h1 : q 1 (U ) U FPn1 que hace conmutar el
siguiente diagrama.
U
p1 (U )\E 0
U Fn \{0} o
U FPn1 o
h1
q 1 (U )
Del mismo modo, por la propiedad universal del cociente para aplicado a 1
U , existe un
homeomorfismo h2 : U FPn1 q 1 (U ) que hace conmutar el siguiente diagrama
U Fn \{0}
1
U
U FPn1
/ p1 (U )\E 0
h2
/ q 1 (U )
75
i = 1, ..., l existen si1 , ..., sik secciones linealmente independientes donde sij : Ui p1 (Ui ).
Si fijamos un elemento u Ui entonces tenemos que {si1 (u), ..., sik (u)} es una base para
p1 (u)
= Fk . Sea {i } una particion de la unidad subordinada a {U1 , ..., Ul }, donde el
soporte de i este contenido en Ui . Por lo tanto definimos a W como el subespacio generado
por el conjunto {
sij | sij (x) = i (x)sij (x), i = 1, .., l j = 1, ..., k} (E), notemos que
sij (x) = 0 si x
/ Ui , y entonces la aplicacion X W E definida por (x, sij ) 7 sij (x) es
sobre.
Corolario 3.45. Sea p : E X un haz vectorial con X compacto, entonces existe W de
dimension finita y una aplicaci
on : X Pr(W ), tal que el haz vectorial E asociado a
de la Definici
on 2.37, es isomorfo a E
Demostraci
on. Por el Lema 3.44 existe W (E), tal que la aplicacion : B W E
definida por (x, w) = w(x) es sobre. Definamos : X Pr(W ) donde (x) es la proyeccion
ortogonal sobre ker(1 (x)) = {w W | hw, vi = 0, para cada v tal que (x, v) = 0}, y
donde h , i es un producto hermitiano en V . Entonces por construccion, el haz vectorial
asociado E = {(x, w) X W | (x)w = w} X es isomorfo al haz vectorial p : E
X
Def inici
on 3.46. Definimos el haz tautol
ogico : L P (E), donde L = {(e0 , [e]) E
0
0
P (E) | e [e]}, definido por ((e , [e])) = [e].
Veamos que la fibra 1 ([e]) de una clase [e] P (E), tiene dimension 1, es decir, el
haz tautol
ogico es un haz lineal. En efecto, podemos notar que : L P (E) es un subhaz
vectorial de el haz inducido q E P (E) ya que L es un subespacio vectorial de q E =
{(e0 , [e]) E P (E) | p(e0 ) = q([e]) = p(e)}. Entonces por el Corolario 3.45 existe una
aplicaci
on : X Pr(Fm ) tal que el haz vectorial asociado E
= E = {(x, v X
m
F ) | (x)v = v}, y entonces L
= E = {([e], v 0 ) P (E) Fm | [e]v 0 = v 0 } donde
: P (E) Pr(Fm ) esta definida por [e] 7 (x) v donde e = (x, v) X Fm , (x)v = v
y v es la proyecci
on ortogonal sobre la recta generada por v 6= 0.
Proposici
on 3.47. Sea p : E X un haz vectorial, y q : P (E) X su haz proyectivo
asociado, Entonces q (E) = E 0 L, donde L P (E) es el haz tautol
ogico, y q : K(X)
K(P (E)).
Demostraci
on. Sea E 0 P (E) el haz vectorial asociado a 0 : P (E) Pr(Fm ) definido
por [e] 7 (x) v0 , donde e = (x, v), (x)v = v y v0 es la proyeccion ortogonal sobre
el complemento ortogonal de hvi en (x)Fm . Ya que cualquier elemento en Fm tiene una
u
nica expresi
on como w + w0 con w hvi = (x)Fm (definida arriba) y w0 (x) v0 Fm =
0
m
(x)F .
Ahora estamos listos para enunciar el principio de descomposicion.
Proposici
on 3.48 (Principio de descomposicion). Dado un haz vectorial p : E X de
rango k, existe una aplicaci
on f : P (E) X tal que.
1. La aplicaci
on f : K(X) K(P (E)) es un monomorfismo.
2. El haz inducido f E = L1 L2 Lk .
76
Captulo 3. Teora K
Demostraci
on. Primero mostraremos 1, consideremos el haz proyectivo asociado q : P (E)
X, y consideremos la aplicaci
on q : K(X) K(P (E)) definida por [E] 7 q (E) 1 donde
1 K(X), entonces inducimos un K(X)-modulo libre
K(X) K(P (E))
(E, F )
7
K(P (E))
q (E) F
En [3, Corolario 2.7.9], se muestra que K(P (E)) es un modulo libre sobre el anillo K(X) con
generadores 1, 1 [L], (1 [L])2 , ..., (1 [L])k1 , donde L es el haz lineal bajo P (E). Y por
lo tanto, como K(P (E)) es un K(X)-modulo libre, tenemos que f : K(X) K(P (E)) es
inyectiva.
Ahora mostremos 2, por la Proposicion 3.47 tenemos que q (E) = E 0 L donde L es
un haz lineal, y E 0 = E0 es el haz vectorial asociado a 0 . Definamos a Lk = L, ahora
consideremos el haz vectorial E 0 P (E) y el haz proyectivo asociado q1 : P (E 0 ) P (E),
apliquemos nuevamente la Proposicion 3.47, lo cual nos da la descomposicion q1 (E 0 ) =
E 00 L0 , donde L0 es un haz lineal, definamos entonces Lk1 = L0 . Inductivamente tenemos
la aplicaci
on qk2
: P (E (k2) ) P (E (k3) ) la cual cumple que qk2
(E (k2) ) = E (k1) L2 .
Definimos entonces f = qk1 qk2 q1 q, notemos que f : F X y F = P (E (k1) ).
Entonces al tomar f : K(X) K(F ) tenemos el siguiente diagrama
q
K(X)
/ K(P (E))
q1
qk1
/ K(P (E (k2) ))
M
k (f (x)f (y)) = k ((L1 Ln ) (L01 L0m )) = k
(Li L0j )
ij
M
ij
(Li
L0j )
(Li Lj ) =
M
ij
(Lki
(L0j )k ).
77
K(X)
K(P (E (k2) ))
/ K(X)
/ K(P (E (k2) ))
por lo tanto, como k (f (x)f (y)) = k (f (x)) k (f (y)) entonces k (xy) = k (x) k (y).
Ahora mostremos 2, veamos que para f (x) = L1 Ln se cumple que
!
n
M
k
l
k
l
k
l
( (f (x))) = ( (L1 Ln )) =
Li
i=1
n
M
kl
Llk
i =
i=1
n
M
!
Li
= kl (f (x))
i=1
kl
(f (x))p = (L1 Ln )p
= Lp1 Lpn (p(p 1)L1 L2 ) (p(p 1)Ln1 Ln )
y entonces m
odulo p, se tiene que
(f (x))p = (L1 Ln )p Lp1 Lpn = p (L1 Ln ) = p (f (x))
y por tanto p (x) xp mod(p).
e 2) Z
Mostremos ahora 4, recordemos que K(S 2 )
= K(S
= Z Z, y recordemos que
2
e 2)
K(S
ker(i
)
donde
la
aplicaci
o
n
i
:
K(S
)
K()
est
a
definida por [E] [F ] 7
=
dim(E) dim(F ), donde dim(E) denota la dimension del rango del haz vectorial E S 2
asociado al punto base en S 2 (an
alogamente esta definido dim(F )). Entonces podemos notar
que K(S 2 ) tiene generadores {, L} donde L es el haz tautologico y es el haz vectorial de
e 2 ).
rango 1, y entonces tenemos que L es el generador de K(S
Notemos que (L L) = (L ) (L ) = L L, es decir, L2 + = 2L y entonces
(L )2 = 0. Sea b = L , entonces tenemos que
k (b) = k (L ) = k (L) k () = Lk = ( + L )k
!
k
X
k
k
= ( + b) =
bi = + kb = kb.
i
i=0
Usando el teorema de periodicidad de Bott (Teorema 3.30), podemos extender esta conse 2 ) K(S
e 2n2 )
e 2n ) mediante la
trucci
on de la siguiente manera. Notemos que K(S
= K(S
2
e 2n2 ) respecticorrespondencia (, ) 7 , donde y son generadores de K(S ) y K(S
vamente, y entonces se cumple que
k () = k () k () = (k)(k n1 ) = k n
e 2 (S 2n2 )
e 2n ).
e 2n2 )
y por el teorema de periodicidad de Bott tenemos que K(S
=K
= K(S
80
4.1.
81
Corolario 4.3. Cada esfera S m1 con m par, tiene un campo vectorial no nulo.
Demostraci
on. Vimos que S 1 tiene un campo vectorial v : S 1 R2 no nulo definido por
v(x, y) = (y, x). Entonces por la Proposicion 4.2, tenemos que S 2q1 tiene un campo
vectorial no nulo.
Esto nos dice que todas las esferas de dimension impar tienen un campo vectorial no
nulo. En la siguiente proposici
on, veremos una propiedad que cumple S n con un campo
vectorial no nulo.
Proposici
on 4.4. Sea S n una esfera con un campo vectorial v no nulo. Entonces la aplicaci
on antpoda S n S n definida por x 7 x, es homot
opica a la identidad.
Demostraci
on. Como v es un campo vectorial no nulo, entonces podemos suponer que v es
v
es un campo vectorial con norma igual a 1.
unitario, es decir, ||v|| = 1, si no v = ||v||
n
Definamos una homotopa H : S [0, 1] S n como H(x, t) = cos(t)x + sen(t)v(x),
notemos que
H(x, 0) = x
H(x, ) = x
por lo tanto la aplicaci
on antpoda de S n es homotopica a la identidad.
Nota 4.5. Se puede probar que el grado de la aplicacion antpoda S n S n es (1)n+1 .
Entonces por el Corolario 4.3, la Proposicion 4.4 y esta nota, tenemos las siguientes equivalencias.
Teorema 4.6. Dada un esfera S n , las siguientes son equivalentes:
1. n es impar.
2. La aplicaci
on antpoda S n S n tiene grado 1.
3. La aplicaci
on antpoda es homot
opica a la identidad.
4. S n tiene un campo vectorial no nulo unitario.
Negando las equivalencias anteriores, tenemos las siguientes equivalencias:
1. n es par.
2. La aplicaci
on antpoda S n S n tiene grado 1.
3. La aplicaci
on antpoda no es homot
opica a la identidad.
4. S n no tiene un campo vectorial no nulo unitario.
4.2.
Multiplicaciones ortogonales
En esta secci
on definiremos aplicaciones llamadas multiplicaciones ortogonales, y veremos
que estas, est
an estrechamente ligadas a la existencia de campos vectoriales en esferas.
Def inici
on 4.7. Decimos que una aplicacion : Rk Rn Rn es una multiplicaci
on
ortogonal, si es bilineal y
||(y, x)|| = ||y||||x||
para cada y Rk y x Rn .
82
Proposici
on 4.8. Si fijamos x S n1 Rn , entonces la aplicaci
on
Rk
y
Rn
(y, x)
83
Demostraci
on. Sea ei , ..., ek la base estandar de Rk y sea : Rk Rn Rn una multiplicaci
on ortogonal normalizada, definamos ui (x) = (ei , x) con i = 1, ..., k. Veamos que cada
ui : Rn Rn es una aplicaci
on lineal que preserva producto interno, en efecto, para cada
i = 1, ..., k tenemos que
||ui (x)|| = ||(ei , x)|| = ||ei ||||x|| = ||x||
recordemos que cada transformacion ui tiene asociada una matriz la cual abusando de la
notaci
on denotaremos por ui . Por lo tanto ui es una matriz n n que preserva producto
interno, es decir, ui O(n).
Veamos que ui , ..., uk1 cumplen con las relaciones u2i = I
P y ui uj + uj ui = 0. Cualquier
elemento y Rk lo podemos escribir como una suma y = i ai ei , por lo cual para todo
x Rn
!
k
k
k
X
X
X
ai (ei , x) =
ai ui (x)
ai ei , x =
(y, x) =
i=1
i=1
i=1
como es normalizada podemos suponer que uk = I, recordemos que evaluar una transformaci
on lineal ui (x) con x Rn , es equivalente a multiplicar la matriz ui con el vector
coordenada x de dimensi
on n 1. Por hipotesis ||(y, x)|| = ||y||||x||, sin perdida de generalidad podemos suponer que ||y|| = ||x|| = 1, y entonces ||(y, x)|| = 1. Sea ui la transpuesta
de ui , entonces tenemos que
1 = ||(y, x)||2 = ||
k
X
i=1
k
X
ai ui (x)||2 =
k X
k
k X
k
X
X
hai ui x, aj uj xi =
ai aj hui x, uj xi
i=1 j=1
a2i hui x, ui xi +
i=1
k
X
i<j
a2i x ui ui x +
i=1
k
X
i<j
i=1
k
X
i=1 j=1
ai aj (x ui uj x + x uj ui x)
i<j
a2i x ui ui x +
i=1
ai aj (x (ui uj + uj ui )x)
i<j
a2i x ui ui x =
k
X
i=1
a2i x x =
k
X
a2i ||x||2 = 1
i=1
y entonces i<j ai aj (x (ui uj +uj ui )x) = 0 para todo i < j, para todo y S k y para todo
x Rn . Consideremos y = (0, ..., 0, cos(), 0, ..., 0, sen(), 0, ..., 0) S k , entonces en este caso
tenemos que x (ui uj + uj ui )x = 0 para toda x Rn lo cual implica que ui uj + uj ui = 0
para i < j.
Si j = k (pues uk es la identidad) tenemos que ui uk +uk ui = ui I+Iui = ui +ui = 0,
y entonces ui = ui , ya que ui es una matriz ortogonal tenemos que ui = u1
por lo cual
i
P
84
ui = ui = u1
i , al multiplicar por la matriz ui en ambos lados de la igualdad obtenemos
que u2i = ui u1
= I.
i
Si i < j < k, tenemos que ui uj + uj ui = 0 si y solo si ui uj + uj ui = 0
o ui (uj ) + uj (ui ) = 0, y en ambos casos se cumple la relacion deseada.
Por otro lado, sean u1 , ..., uk1 O(n) transformaciones lineales tal que u2i = I y
ui uj +uj ui = 0, y definimos uk = I la matriz identidad. Definimos la multiplicacion ortogonal
: Rk Rn Rn de la siguiente manera:
Sea e1 , ..., ek la base est
andar de P
Rk , y notemos que cualquier elemento y Rk lo podemos
escribir como una suma formal y = i ai ei , por lo cual para todo y Rk y x Rn definimos
(y, x) :=
k
X
ai ui (x)
i=1
Veamos que cumple que ||(y, x)|| = ||y||||x||, para esto es suficiente probar que ||(y, x)|| =
1 si ||y|| = ||x|| = 1. Supongamos que ||y|| = ||x|| = 1, y en consecuencia (a1 , ..., ak ) S k1 .
Sea ui la transpuesta de ui para cada i = 1, ..., k, entonces para cada x Rn tenemos que
||(y, x)||2 = ||
k
X
ai ui (x)||2 =
i=1
k
X
k
k X
k
k X
X
X
hai ui x, aj uj xi =
ai aj hui x, uj xi
i=1 j=1
a2i hui x, ui xi +
i=1
k
X
i<j
a2i x ui ui x +
i=1
k
X
i<j
i=1
k
X
i=1 j=1
ai aj (x ui uj x + x uj ui x)
i<j
a2i x ui ui x +
i=1
ai aj (x (ui uj + uj ui )x)
i<j
a2i x ui ui x =
k
X
i=1
a2i x x =
k
X
a2i ||x||2 = 1
i=1
85
Lema 4.11. Si u1 , ..., uk1 son transformaciones lineales de un espacio vectorial real V en
s mismo, tal que satisfacen las relaciones u2i = I y ui uj + uj ui = 0 para i 6= j, entonces
existe un producto interno h , i en V tal que hx, yi = hui (x), ui (y)i .
Demostraci
on. Sea k1 el grupo generado por ui con 1 i k 1. Un elemento en
k1 es de la forma (ui1 )(ui2 ) (uir ) donde i1 < < ir , en efecto, como las transformaciones lineales u1 , ..., uk1 cumplen las relaciones u2i = I y ui uj = uj ui , entonces
podemos acomodar cualquier elemento en k1 de manera ascendente usando dichas relaciones. Notemos que k1 es un grupo con 2k elementos, en efecto, r a lo mas vale k 1, y junto
con la identidad tenemos k elementos, los cuales los podemos acomodar en 0 espacios, mas
los que podemos acomodar en 1 espacio, y as sucesivamente hasta sumar los que podemos
acomodar en k espacios, por lo tanto
k
k
k
|k1 | =
+
+ +
= 2k
0
1
k
Sea h , i cualquier producto interno en V , construyamos entonces el producto interno
hx, yi =
1
2k
h(x), (y)i
k1
1
2k
1
2k
k1
k1
= hx, yi
Por lo tanto, resulta muy importante derivar propiedades de algebras que tengan un
conjunto de generadores e1 , ..., ek , que satisfagan las relaciones e2i = 1 y ei ej + ej ei = 0
para i 6= j.
4.3.
Formas cuadr
aticas
86
f (x, y) = f
X
i
xi ei ,
X
j
yj ej =
f (ei , ej )xi yj
i,j
M
as a
un, la simetra de f es equivalente a f (ei , ej ) = f (ej , ei ) para todo i, j.
Ejemplo 4.15. En Rn el producto interno estandar h , i y h , i son dos formas cuadraticas.
Si (V, f ) es una forma cuadr
atica, y si E V es un subespacio de V , entonces (E, fE )
es una forma cuadr
atica, donde fE := f |EE .
Def inici
on 4.16. Una descomposicion ortogonal de una forma cuadratica (V, f ), denotada
por V = E1 Er , es una descomposicion en suma directa V = E1 Er , tal que
f (x, y) = 0 para x Ei y y Ej , con i 6= j y 1 i, j r.
Proposici
on 4.17. Sea (V, f ) una forma cuadr
atica, y sea E un subespacio de V tal que
(E, fE ) es no singular. Si E = {y V | f (x, y) = 0 para cada x E}, entonces V = E
E es una descomposici
on ortogonal.
Demostraci
on. Es suficiente mostrar que V = E E , veamos que E E = {0}. Como
(E, fE ) es no singular, entonces (E, fE ) es no degenerado, entonces f (E, y) = 0 para cada
y E implica que y = 0, y en consecuencia E E = {0}.
Fijemos x V , y definamos la aplicacion E R por y 7 f (x, y). Como (E, fE ) es no
singular, entonces existe x1 E tal que f (x, y) = f (x1 , y) para cada y E, como f es
bilineal tenemos que f (x, y) f (x1 , y) = 0, lo cual implica que x x1 E , por lo tanto
podemos escribir x = x1 + (x x1 ) y entonces V = E E .
Nota 4.18. Dada una forma cuadratica (V, f ), y una descomposicion ortogonal V = E1
E2 de (V, f ), entonces denotamos por fi a la restriccion f |Ei con i = 1, 2. Notemos que
4.4. Algebras
de Clifford de formas cuadraticas
87
4.4.
Algebras
de Clifford de formas cuadr
aticas
C(f )
=
u0
!
u
/A
Teorema 4.23. El
algebra de Clifford (C(f ), ) existe para cada forma cuadr
atica (V, f ).
Si (C(f ), ) y (C(f )0 , 0 ) son dos
algebras de Clifford para (V, f ), entonces existe un u
nico
isomorfismo de
algebras u : C(f ) C(f )0 , tal que 0 = u .
88
P
Demostraci
on. Definimos C(f ) como el algebra tensorial T (V ) = 0k T k (V ), modulo el
ideal generado por x x f (x, x)1, donde T k (V ) es el producto tensorial de V consigo
mismo k veces (ver Apendice A.3).
Definimos como la composicion de la inclusion V , T 1 (V ) T (V ), con la proyecci
on al cociente T (V ) C(f ). Sea u : V A una aplicacion lineal con u(x)2 = f (x, x)1,
definimos u0 : C(f ) A como u0 (x + x y + ) = u(x) + u(x)u(y) + para cada elemento x + x y + C(f ). Notemos que u0 (x x f (x, x)1) = u(x)u(x) f (x, x)1 =
u(x)2 f (x, x) = f (x, x)1 f (x, x)1 = 0. Como la imagen de genera a C(f ), entonces
tenemos que u0 = u, y por construccion, u0 es u
nico con respecto a esta propiedad.
Supongamos que existen dos
algebras de Clifford (C(f ), ) y (C(f )0 , 0 ) correspondientes
a (V, f ). Como (C(f ), ) es un
algebra de Clifford, entonces por la propiedad universal, para
el
algebra C(f )0 y la aplicaci
on lineal 0 : V C(f )0 , existe un u
nico morfismo de algebras
u : C(f ) C(f )0 que hace conmutar el siguiente diagrama
C(f )
=
#
/ C(f )0
por otro lado, como (C(f )0 , 0 ) es un algebra de Clifford, entonces por la propiedad universal,
para el
algebra C(f ) y la aplicaci
on lineal : V C(f ), existe un u
nico morfismo de algebras
v : C(f )0 C(f ) que hace conmutar el siguiente diagrama
C(f )
=
c
/ C(f )0
4.4. Algebras
de Clifford de formas cuadraticas
89
C(u)
/W
(
g
/ C(g)
90
Proposici
on 4.27. Sean f : A C y g : B C dos morfismos de
algebras Z2 -graduadas,
tal que f (x) conmuta con g(y) para cada x A y y B. Entonces la aplicaci
on h : AB C
definida por x y 7 f (x)g(y), es un morfismo de
algebras Z2 -graduadas.
Demostraci
on. Sea x yi A B i y sea xj y Aj B con i, j Z2 , entonces tenemos
que
h((x yi )(xj y)) = (1)i,j h((xxj ) (yi y)) = (1)ij f (x)g(xj )g(yi )g(y)
= f (x)g(yi )f (xj )g(y) = h(x yi )h(xj y)
Como f y g son morfismos de
algebras Z2 -graduadas, entonces tenemos que f (Ai ) C i
i
i
y g(B ) C para i = {0, 1}, lo cual implica que h((A B)i ) C i . En efecto, si x y
(A B)0 = (A0 B 0 ) (A1 B 1 ), entonces x A0 y y B 0 o x A1 y y B 1 , y
en este caso f (x)g(y) C 0
o f (x)g(y) C 1+1 = C 0 , por otro lado, si x y (A B)1 ,
1
0
entonces x A y y B
o x A0 y y B 1 , y en este caso f (x)g(y) C 0+1 = C 1
1+0
1
o f (x)g(y) C
=C .
Por lo tanto h es un morfismo de algebras Z2 -graduadas.
Sea (V, f ) una forma cuadr
atica, y sea V = E1 E2 una descomposicion ortogonal de
(V, f ). Recordemos de la Nota 4.18, que (Ei , fi ) es una forma cuadratica para i = 1, 2. Sea
(C(fi ), i ) el
algebra de Clifford para la forma cuadratica (Ei , fi ), definamos la aplicacion
: V
(x1 , x2 ) 7
b
C(f1 )C(f
2)
b + (1
b 2 (x2 ))
(1 (x1 )1)
&
/ C(f1 )C(f
b
2)
b
Teorema 4.28. El morfismo de
algebras u : C(f ) C(f1 )C(f
2 ) anterior, es un isomorfismo de a
lgebras.
4.4. Algebras
de Clifford de formas cuadraticas
91
b
Demostraci
on. Construyamos la inversa v : C(f1 )C(f
2 ) C(f ) de u. Sean qi : Ei V
las inclusiones q1 (x1 ) = (x1 , 0) y q2 (x2 ) = (0, x2 ), estas inducen un morfismo de algebras
Z2 -graduadas C(qi ) : C(fi ) C(f ) para i = 1, 2.
Si f (z, z 0 ) = 0 en V , entonces (z)(z 0 ) + (z+)(z) = 0, en efecto:
Por un lado tenemos que
((z) + (z 0 ))2 = (z + z 0 )2 = f (z + z 0 , z + z 0 ) = f (z, z) + f (z, z 0 ) + f (z 0 , z) + f (z 0 , z 0 )
= f (z, z) + f (z 0 , z 0 ) = (z)2 + (z 0 )2
por otro lado, tenemos que
((z) + (z 0 ))2 = (z)2 + (z)(z 0 ) + (z 0 )(z) + (z 0 )2
lo cual implica que (z)2 + (z 0 )2 = (z)2 + (z)(z 0 ) + (z 0 )(z) + (z 0 )2 , por lo tanto
(z)(z 0 ) + (z 0 )(z) = 0.
Entonces, tenemos que C(q1 )(x1 )C(q2 )(x2 ) = C(q2 )(x2 )C(q1 )(x1 ) para xi = i (yi ) con
yi Ei , i = 1, 2, entonces C(q1 ) y C(q2 ), satisface la hipotesis de la Proposicion 4.27,
b
por lo cual existe un morfismo de algebras Z2 -graduadas v : C(f1 )C(f
2 ) C(f ), tal que
b 2 ) = C(f1 )(1 (x1 ))C(f2 )(2 (x2 )). Veamos que v es inversa de u y viceversa.
v(x1 x
Notemos que los elementos de la forma (x1 , 0) y (0, x2 ) generan a C(f ), entonces para
estos elementos tenemos que
b = C(f1 )(1 (x1 ))C(f2 )(1) = (x1 , 0)
v u (x1 , 0) = v (x1 , 0) = v(1 (x1 )1)
an
alogamente tenemos que v u (0, x2 ) = (0, x2 ), por lo tanto v u = 1.
b y 1
b 2 (x2 ) generan a C(f1 )C(f
b
Por otro lado, los elementos de la forma 1 (x1 )1
2 ),
entonces para estos elementos tenemos que
b = u ((x1 , 0)) = (x1 , 0) = 1 (x1 )1
b
u v(1 (x1 )1)
b 2 (x2 )) = 1
b 2 (x2 ), por lo tanto u v = 1. Y entonces
an
alogamente tenemos que u v(1
v es la inversa de u y viceversa.
Podemos generalizar este resultado, si tenemos una descomposicion ortogonal V = E1
Er en r subespacios, entonces tenemos el siguiente resultado.
b C(f
b
Corolario 4.29. Existe un isomorfismo u : C(f ) C(f1 )
r ), tal que
b
b j (xj )
b 1
b
u((0, ..., 0, xj , 0, ..., 0)) = 1
para 1 < j < r.
Teorema 4.30. Sea (V, f ) una forma cuadr
atica, donde V tiene una base e1 , ..., er con
f (ei , ej ) = 0 para i 6= j y ai = f (ei , ei ). Entonces C(f ) es generado por e1 , ..., er con
relaciones e2i = ai y ei ej + ej ei = 0 para i 6= j. Los elementos de la forma ei1 eis , con
i1 < < is y 1 s r junto con 1, forman una base de C(f ). M
as a
un, la dimension de
C(f ) es 2r .
Demostraci
on. Tomemos el elemento ei ei f (ei , ei ) para cada i = 1, ..., r, y notemos que
en C(f ) ei ei f (ei , ei ) = 0, entonces e2i f (ei , ei ) = 0, por lo cual e2i = f (ei , ei ) = ai .
La relaci
on ei ej + ej ei = 0, surge como en la demostracion de la Proposicion 4.28, puesto
que f (ei , ej ) = 0.
92
Como en la demostraci
on del Lema 4.11, los elementos en C(f ) son de la forma ei1 eis ,
b C(f
b
donde i1 < < is y 1 s r. Del isomorfismo u : C(f ) C(f1 )
r ), tenemos
b x
b s , donde xi = eij con i = ij y xi = 1 para i 6= ij , para toda
que u(ei1 eis ) = x1
1 j s. Finalmente, estos elementos junto con 1 forman una base para C(f ) de dimension
dim(C(f )) = 2r .
4.5.
El teorema de Hurwitz-Radon
Def inici
on 4.31. Sea Ck el
algebra de Clifford C(h , i) asociada a la forma cuadratica
(Rk , h , i) donde h , i es el producto interno estandar en Rk . Y sea Ck0 el algebra de Clifford
C(h , i) asociada a la forma cuadr
atica (Rk , h , i) donde h , i es el producto interno estandar
k
en R .
Ejemplo 4.32. Calculemos, con el Teorema 4.30, algunas algebras de Clifford de formas
cuadr
aticas reales.
Si V = R0 , el
algebra de Clifford C0 , esta generado por cero elementos basicos y el 1.
Por lo tanto C0 = R.
Si V = R1 , el
algebra de Clifford C1 , esta generado por un elemento basico e y el 1,
con la relaci
on e2 = he, ei = 1. Por lo tanto C1 = C.
Si V = R2 , el
algebra de Clifford C2 , esta generado por dos elementos basicos e1 , e2
y el 1, con relaciones e21 = e22 = 1 y e1 e2 = e2 e1 , esto es (e1 e2 )2 = e1 e2 e1 e2 =
e21 e22 = 1. Por lo tanto C2 = H los cuaternios.
Denotemos por Matk (F) al conjunto de matrices de k k con entradas en F el campo
real, complejo
o cuaternionico. En dimensiones mas altas, tenemos el siguiente cuadro de
valores de Ck .
Cuadro 4.1: Valores de Ck
k
Ck
0
R
1
C
2
H
3
HH
4
Mat2 (H)
5
Mat4 (C)
6
Mat8 (R)
7
Mat8 (R) Mat8 (R)
0
Teorema 4.33. Existe un isomorfismo u : Ck+2 Ck0 C2 y v : Ck+2
Ck C20 .
Demostraci
on. Sea e1 , ..., ek una base generadora para Ck y e01 , ..., e0k una base generadora
0
para Ck . Definamos u0 : Rk+2 Ck0 C2 como u0 (ei ) = 1 ei para 1 i 2 y u0 (ei ) =
e0i2 e1 e2 para 3 i k + 2. Ya que u0 (ei )2 = (1 ei )(1 ei ) = 1 e2i = 1 para i 2 y
0
0
0
0
u0 (ei )2 = e02
i2 e1 e2 e1 e2 = 11(1) = 1, ademas notemos que u (ei )u (ej )+u (ej )u (ei ) =
0
0
0 para i 6= j, entonces podemos extender u a u : Ck+2 Ck C2 . Notemos que u es inyectiva,
ya que manda distintos elementos basicos en distintos elementos basicos. Y por razones de
dimensi
on es sobre, por lo cual u es isomorfismo.
Definamos v 0 por v 0 (e0i ) = 1 ei para 1 i 2 y v 0 (e02 ) = ei2 e0i e02 para 3 i
k + 2. An
alogamente al caso anterior, tenemos que podemos extender v 0 a un isomorfismo
0
v : Ck+2 Ck C20 .
0
Corolario 4.34. Existen isomorfismos Ck+4 Ck R C4 y Ck+4
Ck0 R C40 , donde
0
0
C4 = C4 = C2 C2 = Mat2 (H).
93
Demostraci
on. Del Teorema 4.33 tomamos k = 2, entonces existe un isomorfismo C4
=
C2 C20
= C40 y C2 C20
= H Mat2 (R)
= Mat2 (H). Entonces tenemos un isomorfismo
0
Ck+4 Ck+2
C2 Ck (C20 C2 )
= Ck C4 , y analogamente existe un isomorfismo
0
Ck+4 Ck+2 C20 Ck0 C40 .
0
Corolario 4.35. Existen isomorfismos Ck+8 Ck Mat16 (R) y Ck+8
Ck0 Mat16 (R).
Demostraci
on. La demostraci
on de este corolario surge iterando el Corolario 4.34, y usando
que Mat2 (H) Mat2 (H)
= H H Mat2 (R) Mat2 (R)
= Mat4 (R) Mat4 (R)
= Mat16 (R).
Def inici
on 4.36. Sea V un espacio vectorial sobre un campo K y consideremos una forma
cuadr
atica (V, f ). Sea A un campo tal que K A, definimos una A-representaci
on del
algebra de Clifford C(f ) como un homomorfismo de algebras
0
R
1
1
C
1
2
H
1
3
HH
2
4
Mat2 (H)
1
5
Mat4 (C)
1
6
Mat8 (R)
1
7
Mat8 (R) Mat8 (R)
2
94
Nota 4.41. Podemos notar que para k = 0, 1, 2, 4, 5, 6, Ck solo tiene una representacion
irreducible, por lo tanto cualquier otra representacion tendra dimension un m
ultiplo de la
dimensi
on de la representaci
on irreducible.
Proposici
on 4.42. Existen transformaciones lineales u1 , ..., uk1 O(n) tal que u2i = I
y ui uj + uj ui = 0, si y s
olo si Rn es un Ck1 -m
odulo.
Demostraci
on. Supongamos que existen transformaciones lineales u1 , ..., uk1 O(n) tal
que ui = I y ui uj + uj ui = 0. Consideremos hu1 , ..., uk1 i el espacio vectorial generado por
u1 , ..., uk1 y notemos que hu1 , ..., uk1 i
= Rk1 . Ahora, si consideramos la forma cuadratica
k1
(R
, h , i) donde h , i denota al producto interno en Rk1 , entonces (Rk1 , h , i) sigue
cumpliendo las relaciones ui = I y ui uj + uj ui = 0. Como cada ui es un elemento en
O(n), entonces ui act
ua en Rn por multiplicacion de matrices, entonces tenemos la siguiente
transformaci
on lineal
T : hu1 , ..., uk1 i
ui
7
HomR (Rn , Rn )
T (ui )
Ck1
por lo cual Rn es un Ck1 -m
odulo.
Supongamos ahora que Rn es un Ck1 -modulo, entonces existe un homomorfismo de
algebras : Ck1 Hom(Rn , Rn ). Sea e1 , ..., ek1 una base de Rk1 , definamos
ui := (ei )
Puesto que cada ei cumple las relaciones e2i = 1 y ei ej + ej ei = 0 para i 6= j, entonces
cada ui : Rn Rn cumple con las relaciones u2i = 1 y ui uj + uj ui = 0 para i 6= j. Por el
Lema 4.11, tenemos que existe un producto interno en Rn que es invariante bajo cada ui .
Por lo tanto ui O(n) para cada i = 1, ..., k 1.
Corolario 4.43. Si Rn es un Ck1 -m
odulo, entonces S n1 admite k 1 campos vectoriales
linealmente independientes.
Demostraci
on. Sea Rn un Ck1 -modulo, por la Proposicion 4.42 tenemos que existen transformaciones lineales u1 , ..., uk1 O(n) tal que u2i = 1 y ui uj + uj ui = 0. Por el Teorema
4.10, existe una multiplicaci
on ortogonal normalizada : Rk Rn Rn . Finalmente, el
Teorema 4.9 nos dice que si existe una muliplicacion ortogonal : Rk Rn Rn , entonces
existen k 1 campos vectoriales linealmente independientes en S n1 .
Sea bk la dimensi
on mnima tal que Rbk tiene la estructura de un Ck1 -modulo irreducible. Entonces tenemos el siguiente cuadro de valores de bk .
95
1
R
1
2
C
2
3
H
4
4
HH
4
5
Mat2 (H)
8
6
Mat4 (C)
8
7
Mat8 (R)
8
8
Mat8 (R) Mat8 (R)
8
Ahora, estamos preparados para mostrar el Teorema 4.1. Sea n = (2k 1)2c 16d con k
impar 0 c 3, y sea (n) = 2c + 8d, veamos que S n1 tiene (n) 1 campos vectoriales
linealmente independientes.
Demostraci
on del Teorema 4.1. Veamos que la formula funciona para 1 bk 8.
Si bk = 1 entonces k = 1, por lo cual R1 es un C0 -modulo irreducible, y entonces S 0
tiene 0 campos vectoriales linealmente independientes.
Como n = 1 = 1 20 160 , entonces (1) = 20 + 8 0 = 1. En efecto, S 0 admite
(1) 1 = 0 campos vectoriales linealmente independientes.
Si bk = 2 entonces k = 2, por lo cual R2 es un C1 -modulo irreducible, y entonces S 1
tiene 1 campo vectorial linealmente independiente.
Como n = 2 = 121 160 , entonces (2) = 21 +80 = 2. En efecto S 1 admite (2)1 = 1
campo vectorial linealmente independiente.
Si bk = 3 notemos que 1|3 y entonces por la Nota 4.41 tenemos que k = 1, por lo cual R3
es un C0 -m
odulo, y entonces S 2 tiene 0 campos vectoriales linealmente independientes.
Como n = 3 = 3 20 160 , entonces (3) = 20 + 8 0 = 1. En efecto, S 2 admite
(3) 1 = 0 campos vectoriales linealmente independientes.
En otras palabras, no puedes construir un campo vectorial no nulo en S 2 (ver el
Teorema 4.6).
Si bk = 4 entonces k = 4, por lo cual R4 es un C3 -modulo irreducible, y entonces S 3
tiene 3 campos vectoriales linealmente independientes.
Como n = 4 = 1 22 160 , entonces (4) = 22 + 8 0 = 4. En efecto, S 3 admite
(4) 1 = 3 campos vectoriales linealmente independientes.
Por el Corolario 2.23, tenemos que S 3 es paralelizable.
Si bk = 5 entonces 1|5 y entonces por la Nota 4.41 tenemos que k = 1, por lo cual R5 es
un C0 -m
odulo, y entonces S 4 tiene 0 campos vectoriales linealmente independientes.
Como n = 5 = 5 20 160 , entonces (5) = 20 + 8 0 = 1. En efecto, S 4 admite
(5) 1 = 0 campos vectoriales linealmente independientes.
Es decir, no puedes construir un campo vectoriales no nulos en S 5 (ver el Teorema
4.6).
Si bk = 6 entonces 2|6 y entonces por la Nota 4.41 tenemos que k = 2, por lo cual R6
es un C1 -m
odulo, y entonces S 5 tiene 1 campo vectorial linealmente independiente.
Como n = 6 = 3 21 160 , entonces (6) = 21 + 8 0 = 2. En efecto, S 5 admite
(6) 1 = 1 campo vectorial linealmente independiente, (ver el Corolario 4.3).
96
Para bk > 8, por el Corolario 4.35, tenemos que Ck+8 = Ck Mat16 (R) entonces bk+8 = 16bk .
Por ejemplo, para R2048 tenemos que b24 = b16+8 = 16b16 = 162 b8 = 162 8 = 2048,
entonces R2048 es un C23 -m
odulo, y por lo tanto S 2047 tiene 23 campos vectoriales linealmente
independientes. Como 2048 = 1 23 162 entonces (2048) = 23 + 8 2 = 24, en efecto S 2047
admite (2048) 1 = 23 campos vectoriales linealmente independientes.
Notemos que b23 = b8+15 = 16b15 = 162 b7 = 2048, por lo cual R2048 tambien es un
C22 -m
odulo, y entonces S 2047 admite 22 campos vectoriales linealmente independientes. En
estos casos, tomamos el bk m
as grande pues este nos va a generar una cantidad mayor de
campos vectoriales linealmente independientes.
98
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
5.1.
Sea un haz vectorial real sobre un espacio paracompacto, por la Proposicion 2.48
tenemos que existe una metrica Riemanniana en , lo cual implica que podemos medir
los vectores en la fibra E()x de x B() bajo p. Entonces podemos dar las siguiente
definiciones.
Def inici
on 5.1. Definimos el haz de esferas S() asociado a , como el haz donde la fibra
sobre cada punto x B() es el conjunto de todos los vectores unitarios en E()x .
Definimos el haz de discos D() asociado a , como el haz donde la fibra sobre cada punto
x B(), es el conjunto de todos los vectores con norma menor o igual a 1.
Def inici
on 5.2. Definimos el espacio de Thom de un haz vectorial real , denotado por
Th(), como el espacio cociente D()/ S().
Nota 5.3. El espacio de Thom de un haz vectorial, no depende de la metrica Riemanniana que escojamos, esto se debe a que existe un homeomorfismo entre D()/ S() y
P ( 1 )/P (), donde P () denota al haz proyectivo asociado a de la Definicion 3.43,
y donde 1 denota al haz trivial de dimension 1 (Ver [12, Captulo 16, Proposicion 1.1]), y
entonces, podemos notar que el espacio P ( 1 )/P () no involucra metricas por lo cual
D()/ S() tampoco.
Proposici
on 5.4. Si es un haz vectorial real con espacio base compacto, Th() es homeomorfo a la compactificaci
on en un punto del espacio total E() de .
Demostraci
on. Observemos que los espacios D() S() y E() son homeomorfos, entonces
las compactificaciones en un punto de D() S() y E() son homeomorfas. Pero la compactificaci
on en un punto de D() S() es homeomorfa a D()/ S(), por lo tanto Th()
es homeomorfa a la compactificacion en un punto de E().
Ejemplo 5.5. Si es el haz trivial de rango n sobre un punto, entonces tenemos que
Th() = S n . Si n es el haz vectorial trivial de rango n sobre un espacio topologico X,
entonces Th(n )
= n (X {}), donde (X) denota la n-esima suspension reducida de
un espacio X de la Definici
on 1.50. Por lo tanto, podemos ver al espacio de Thom como
una suspensi
on generalizada. En la Figura 5.1 se muestran algunos ejemplos de espacios de
Thom de haces vectoriales de rango 1.
Proposici
on 5.6. Sea y dos haces vectoriales reales sobre un espacio compacto, entonces
los espacios de Thom Th() y Th()Th() son homeomorfos, donde denota al producto
smash de la Definici
on 1.47.
Demostraci
on. Recordemos que el espacio total de un producto de haces vectorialesE( )
es igual al producto de los espacios totales E() E(). Usando la Proposicion 5.4, tenemos
que el espacio de Thom Th( ), es homeomorfo a la compactificacion en un punto del
espacio E(), y que el espacio de Thom Th()Th() es homeomorfo a la compactificacion
en un punto de E() E(). Por lo tanto Th( )
= Th() Th().
Corolario 5.7. El espacio de Thom Th( n ) es homeomorfo a la n-esima suspensi
on
reducida n (Th()).
Demostraci
on. Notemos que el haz vectorial n , es isomorfo al haz vectorial Rn
n
donde R denota al haz vectorial trivial de rango n sobre un punto. Por lo tanto, tenemos
que los espacios de Thom Th( ) y Th( Rn ) son homeomorfos. Finalmente, usando
99
100
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
notemos que f (S k S m1 ) = S m1 donde S m1 S k+m . Como f (x, y) = (y, 1
|| y||2 x) = (y, 1 ||y||2 x) = f (x, y), entonces la aplicacion f define una aplicacion
g : D(mk ) RPk+m en RPk+m , tal que g(S(mk )) = RPm1 . Observemos que g : D(mk )
S(mk ) RPk+m RPm1 es un homeomorfismo. Por lo tanto g induce una aplicacion al
cociente
h : Th(mk ) RPk+m /RPm1
que es un homeomorfismo.
En general, como una consecuencia del Corolario 5.7 y el Ejemplo 5.8, tenemos el siguiente
teorema.
Teorema 5.9. El espacio de Thom Th(mk n ), es homeomorfo a la n-esima suspensi
on
reducida n (RPk+m /RPm1 ).
5.2.
S-categora
En esta secci
on, vamos a considerar a los espacios topologicos con punto base, y todas
las aplicaciones y homotopas van a preservar punto base. Recordemos que denotamos por
[X, Y ], al conjunto de clases de homotopa de aplicaciones de X a Y . La suspension reducida , define una aplicaci
on funtorial : [X, Y ] [(X), (Y )] tal que [f ] = [f ].
M
as a
un, el Teorema 1.68 muestra que [(X), (Y )] es un grupo, y entonces la aplicacion
: [k (X), k (Y )] [k+1 (X), k+1 (Y )] es un homomorfismo de grupos.
Def inici
on 5.10. Consideremos la siguiente sucesion de grupos abelianos.
[2 (X), 2 (Y )]
/ [3 (X), 3 (Y )]
/ [n (X), n (Y )]
y denotamos por {X, Y } al colmite de esta sucesion. Un elemento en {X, Y } es llamado una
S-aplicaci
on de X a Y . Definimos la S-categora como la categora que tiene por objetos a
los espacios topol
ogicos punteados y por morfismos a las S-aplicaciones.
Proposici
on 5.11. La aplicaci
on natural [X, Y ] {X, Y } es una biyecci
on, si X es un
complejo CW de dimension n y Y es r-conexo, es decir, los grupos de homotopa i (X) = 0
para 0 i r.
Demostraci
on. La demostraci
on de esta proposicion es una consecuencia de [23, Captulo 8,
Secci
on 5, Teorema 11]
Podemos definir una composici
on {X, Y }{Y, Z} {X, Z}, usando la composicion dada
en las clases de homotopa [n (X), n (Y )] [n (Y ), n (Z)] [n (X), n (Z)]. Mostremos
que dicha composici
on es biaditiva, es decir, separa sumas en ambas coordenadas.
Proposici
on 5.12. La composici
on {X, Y } {Y, Z} {X, Z} es biaditiva.
Demostraci
on. Como n (X) es un H-coespacio, entonces [n (X), n (Y )] tiene estructura
de grupo, y entonces
[n (X), n (Y )] [n (Y ), n (Z)] [n (X), n (Z)]
separa sumas en la primera coordenada, lo que implica que en el colmite {X, Y } {Y, Z}
{X, Z} es aditiva en la primera coordenada.
5.2. S-categora
101
Por otro lado, tenemos que (n1 (Z)) es un H-espacio, por lo cual [n (Y ), n (Z)] =
[
(Y ), (n (Z))] tiene estructura de grupo, y entonces
n1
{Y, Z} o
{Cf , Z} o
{(X), Z} o
{(Y ), Z}
Demostraci
on. La sucesi
on deseada surge tomando el colmite de la sucesion de Puppe
X
/Y
/ Cf
/ (X)
(f )
/ (Y )
102
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
Teorema 5.17 (Teorema de Dualidad de Atiyah). Sean y dos haces vectoriales reales
sobre una variedad compacta X, tal que T X es establemente trivial. Entonces Th()
y Th() son S-duales.
Demostraci
on. Supongamos que = (E(), , X) es un haz vectorial diferenciable con metrica Riemanniana suave, esto es, un haz vectorial en el cual las trivializaciones locales son
diferenciables, y con una metrica Riemanniana diferenciable. Consideremos el haz de discos
D(), el cual es una variedad diferenciable y compacta, con frontera D() igual al haz de
esferas S().
El haz tangente a D() es el haz inducido (E() T X). En efecto, sea p : T X X el
haz tangente a X y consideremos la suma directa p0 : E() T X X donde E() T X =
{(e, v) E() T X | (e) = p(v)}, consideremos el haz inducido (E() T X) bajo
: D() X, esto es
(E() T X) = {(e0 , (e, v)) D() E() T X | (e0 ) = p0 (e, v)}
= {(e0 , (e, v)) D() E() T X | (e0 ) = (e) = p(v)}
y entonces es el haz tangente a D().
Por otro lado (E()) es el haz normal a D(), puesto que (E() T X) (E()) es
un haz trivial. Notemos que Th( E()) = n Th() para alg
un n. Entonces por el Teorema
5.15, tenemos que Th( E()) es S-dual a D()/ S(), lo cual implica que Th() es S-dual a
Th().
5.3.
Def inici
on 5.18. Sea p : E X y p0 : E 0 X dos haces fibrados sobre el mismo espacio
base X. Una homotopa ft : E E 0 es una homotopa fibrada, si p ft = p para todo
t [0, 1]. Dos morfismos de haces f, g : E E 0 son homot
opicos fibrados, si existe una
homotopa fibrada ft : E E 0 con f0 = f y f1 = g. Un morfismo de haces f : E E 0 es
una equivalencia homot
opica fibrada, si existe un morfismo de haces g : E 0 E tal que f g
y g f sean homot
opicas fibradas a la identidad, en este caso decimos que los haces E y E 0
tienen el mismo tipo de homotopa fibrada.
Teorema 5.19. Sean p : E X y p0 : E 0 X, dos haces localmente triviales sobre un
complejo CW finito X con fibras localmente compactas. Sea f 0 : E E 0 una aplicaci
on
tal que f : Ex Ex0 es una equivalencia homot
opica para todo x X. Entonces f es una
equivalencia homot
opica fibrada.
Demostraci
on. El teorema se demuestra usando induccion en el n
umero de celdas de X, y
[12, Cap. 16, Teorema 4.2].
Corolario 5.20. Sea p : E X un haz localmente trivial sobre un complejo CW finito, y sea
u : E Y una aplicaci
on tal que la restricci
on u : Ex Y es una equivalencia homot
opica
para cada x X. Entonces p : E B es del mismo tipo de homotopa fibrada que el haz
trivial X Y X.
Demostraci
on. Notemos que la aplicacion
(p, u) : E
e
satisface las hip
otesis del Teorema 5.19.
X Y
(p(e), u(e))
103
Def inici
on 5.21. Sean y dos haces vectoriales sobre un mismo espacio topologico paracompacto X. Decimos que los haces de esferas S() y S() son del mismotipo de homotopa
fibrada estable, si S( n ) y S( m ) tienen el mismo tipo de homotopa fibrada, para
alg
un n y m.
Lema 5.22. La relaci
on de equivalencia homot
opica fibrada estable, es una relaci
on de
equivalencia.
Demostraci
on. Denotemos a la relacion de homotopa fibrada estable por st .
Reflexiva: S() st S() por la homotopa identidad f : S() S().
Simetrica: Si S() st S(), existen n y m tal que f : S( n ) S( m ) es una
equivalencia homot
opica fibrada, entonces existe un morfismo de haces g : S( m )
m
S( ) tal que f g y g f son homotopicas fibradas a la identidad, lo cual implica
que S() st S().
Transitiva: Si S() st S(), existen n y m tal que f : S( n ) S( m ) es una
equivalencia homot
opica fibrada. Si S() st S(), existen n0 y m0 tal que g : S(
n0
m0
) S( ) es una equivalencia homotopica fibrada. Entonces la aplicacion
0
S( n+n ) S( m+n ) S( m +m )
es una equivalencia homot
opica fibrada.
Denotamos por J() a la clase de equivalencia homotopica fibrada estable de y denotamos por J(X) al conjunto de todas las clases de equivalencia homotopica fibrada estables
de haces vectoriales en un espacio base X.
Recordemos de la Definici
on 3.6, que la Teora K real de un espacio topologico X es
g
denotada por KO(X).
Del Teorema 3.18, tenemos que la Teora K real KO(X) podemos
verla como el conjunto de clases de equivalencia estable de haces vectoriales reales sobre X,
vista en la Definici
on 3.16, cuando X es compacto.
Nota 5.23. De manera natural, tenemos una aplicacion sobreyectiva
g
KO(X)
[] 7
J(X)
J()
Si X un espacio sobre el cual, cada haz vectorial sea de tipo finito, entonces al conjunto
J(X) podemos darle una estructura de grupo, por lo cual la aplicacion anterior sera un
epimorfismo de grupos.
Proposici
on 5.24. La suma directa de haces vectoriales, induce en J(X) una estructura
g
de grupo abeliano, y la aplicaci
on KO(X)
J(X) es un epimorfismo de grupos.
Demostraci
on. Definamos la operacion en J(X) como J() + J() := J( ), donde es
g
la suma directa de haces en KO(X).
Mostremos que esta operacion esta bien definida, es
0
decir, si J() = J( ) entonces J( ) = J( 0 ). Si J() = J(), existe una equivalencia
homot
opica fibrada f : S() S( 0 ), y entonces existe un morfismo de haces f 0 : S( 0 )
S() tal que f f 0 y f 0 f son homotopicas fibradas a la identidad. Sean ht : S() S()
104
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
y h0t : S( 0 ) S( 0 ) las homotopas fibradas anteriores, es decir, h0 = f 0 f , h1 = idS() y
h00 = f f 0 , h01 = idS(0 ) .
Definamos las aplicaciones
g : S( )
(x cos(), y sen()) 7
S( 0 )
(f (x) cos(), y sen())
g : S( 0 )
(x cos(), y sen()) 7
S( )
(f 0 (x0 ) cos(), y sen())
y
0
S( )
(ht (x) cos(), y sen())
kt0 : S( 0 )
(x cos(), y sen()) 7
S( 0 )
(h0t (x0 ) cos(), y sen())
y
0
5.4.
Sean h : S() I S() y k : S() S() las homotopas fibradas de g f ' idS() y
f g ' idS() respectivamente. Entonces estas homotopas fibradas se extienden a homotopas
de parejas
H : (D() I, S() I) (D(), S())
105
e n (X n1 )
H
e n (X)
/H
(f )
$
e n (S n )
/H
e n1 (X n1 )
/H
106
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
e n (S n )
Demostraci
on. Si X es correducible, existe una aplicacion g : X S n tal que g : H
n
n
e (X) es un isomorfismo para i n. Como H
e (X) es un grupo abeliano libre, entonces
H
g u es homot
opica a la identidad como en la Proposicion 5.27. El recproco se sigue como
e n (X) tiene a lo mas 1 generador.
en la Proposici
on 5.27, puesto que H
Nota 5.29. Sea un haz vectorial real sobre un espacio topologico paracompacto X, y sea
ux : (D(x ), S(x )) (D(), S())
la inclusi
on para x X. Como en la Proposicion 5.28, el espacio Th() = D()/ S() es corree n (S n )
ducible si y s
olo si, existe una aplicacion g : (D(), S()) (S n , ) tal que u g : H
e n ((D(x ), S(x ))) es un isomorfismo. La aplicacion g : H
e n (S n ) H
e n ((D(), S())) define
H
una orientaci
on para el haz vectorial , la clase de Thom de es el elemento g (s)
n
e
e n (S n ), cuando Th() es correducible.
H ((D(), S())) donde s es el generador de H
Teorema 5.30. Sea un haz vectorial sobre un complejo CW finito X. Entonces las siguientes son equivalentes:
1. J() = 0 en J(X).
2. Th() es S-correducible
3. Th() y Th(0) = X + son isomorfos en la S-categora, donde X + = X t {}.
Demostraci
on. Por la Proposici
on 5.25, tenemos que (1) implica (3). Supongamos (3), y
mostremos (2). Supongamos que Th() y Th(0) = X + son isomorfos en la S-categora,
notemos que X + es correducible con la aplicacion g : X + S 0 definida por g(X) = 1 y
e i (S 0 ) H
e i (X + ) es un isomorfismo para i 0. Por lo tanto Th()
g() = 1, entonces g : H
es correducible.
Mostremos que (2) implica (1). Sea m el entero mas grande tal que el haz vectorial
= m cumple que el espacio Th() = Th( m ) = m Th() sea correducible. Sea
g : (D(), S()) (S n , ) la correduccion de Th(). Por la nota 5.11 y la sucesion 5.13,
tenemos el siguiente diagrama conmutativo
[S(), S n1 ]
[S(x ), S n1 ]
/ [D()/ S(), S n ]
/ [D(x )/ S(x ), S n ]
Entonces la aplicaci
on g, define una aplicacion f : S() S n1 tal que f |S(x ) : S(x )
n1
S
es una equivalencia homot
opica para cada x X. Y entonces el teorema se sigue del
Corolario 5.20.
Nota 5.31. De hecho, existe una relacion directa, entre S-dualidad y S-reducibilidad: Si X
y X 0 son complejos CW finitos, tal que X es S-dual a X 0 , entonces X es S-reducible si y solo
si X 0 es S-correducible. Este resultado lo podemos ver en [12, Captulo 16, Teorema 8.4].
5.5.
107
108
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
Demostraci
on. Por el Ejemplo 5.8, tenemos que Th((n k + 1)k1 )
= RPn /RPnk . Por el
Teorema 5.9 y la Proposici
on 5.25, tenemos que los espacios Th((n k + 1)k1 rpk1 ),
Th((n k + 1)k1 rp ), rp (Th((n k + 1)k1 )) y rp (RPn /RPnk ) tienen el mismo
tipo de homotopa.
Para lo segundo, aplicaremos el teorema de dualidad de Atiyah (Teorema 5.17) para el
haz vectorial (n k + 1)k1 . Existe un isomorfismo T RPk1 1
= kk1 donde T RPk1 es
k1
el haz tangente a RP
(ver [12, Captulo 2, Ejemplo 4.8]), por lo cual necesitamos un haz
vectorial tal que T RPk1 (n k + 1)k1 kk1 sea establemente trivial. Consideremos el
haz vectorial (nk +1)k1 kk1 = (n1)k1 , por el teorema de dualidad de Atiyah,
tenemos que los espacios de Thom Th((nk+1)k1 ) y Th((n1)k1 ) son S-duales, pero
Th((n1)k1 ) = Th((rpn1)k1 ) para rp > n+1. Por lo tanto Th((rpn1)k1 )
=
RPrpk2 /RPrpn2 es S-dual a Th((n k + 1)k1 )
= RPn /RPnk .
Un primer acercamiento al problema de Adams, es el siguiente teorema de Atiyah y
James, en el cual la no existencia de campos vectoriales linealmente independientes, se
reduce a un problema de no existencia de una correduccion de un espacio proyectivo.
Teorema 5.37. Si existen (n) campos vectoriales linealmente independientes en S n1 ,
entonces existe un entero m 1 con (m) = (n), tal que RPm+(m) /RPm1 es correducible.
Demostraci
on. Supongamos que existen (n) campos vectoriales linealmente independientes en S n1 , entonces por la Proposicion 4.2, existen (n) campos vectoriales linealmente
independientes en S qn1 . Por el Teorema 5.35, si qn 2((n) + 1) entonces la aplicaci
on S qn1 RPqn1 /RPqn(n)2 compuesta con la aplicacion RPqn1 /RPqn(n)2
RPqn1 /RPqn2 = S qn1 tiene grado 1, y entonces por la Proposicion 5.27, el espacio
RPqn1 /RPqn(n)2 es reducible.
Sea r el orden de J((n) ) en J(RP(n) ), definamos m = rp qn con p un entero positivo. Por la Proposici
on 5.36, tenemos que para todo entero p tal que m 1, el espacio
RPm+(m) /RPm1 es S-dual a RPqn1 /RPqn(n)2 , y como RPqn1 /RPqn(n)2 es reducible, entonces por la Nota 5.31, el espacio RPm+(m) /RPm1 es correducible.
Finalmente, tomemos n = k2c 16d con k impar, consideremos a q impar, y tomamos
m = tn = t(k2c 16d ) con t impar. Como tk es impar, entonces (m) = (n).
Nota 5.38. En la secci
on 4.2 consideramos aplicaciones bilineales Rk+1 Rn Rn llamadas
multiplicaciones ortogonales. Usando la Nota 4.42, mostramos que cada Ck -modulo (de la
Definici
on 4.31) surge de una multiplicacion ortogonal, y en este caso existen k campos
vectoriales linealmente independientes en S n1 .
Podemos ver en el Cuadro 4.3 y la Nota 4.41 que si existe una multiplicacion ortogonal
Rk+1 Rn Rn , entonces n es divisible por bk+1 , donde bk+1 es la dimension mnima tal
que Rbk+1 admite una estructura de Ck -modulo irreducible. Si definimos ck = bk+1 , podemos
notar que ck satisface la relaci
on ck+8 = 16ck . De hecho, (n) es el n
umero mas grande de
todos los k + 1 tal que ck divide a n.
Teorema 5.39. Si el orden de J(k ) en J(RPk ) es igual a ck para cada k, entonces no
existen (n) campos vectoriales linealmente independientes en S n1 , para cada n.
Demostraci
on. Supongamos que existen (n) campos vectoriales linealmente independientes
en S n1 para cada n. Entonces por el Teorema 5.37, existe un entero m 1 con (m) =
(n), tal que RPm+(m) /RPm1 es correducible. Por el Ejemplo 5.8, RPm+(m) /RPm1
=
Th(m(m) ), y por el Teorema 5.30, J(m(m) ) = 0 en J(RP(m) ).
109
Por la Nota 5.38, c(m) divide a m, lo cual mostraremos que es imposible. Notemos que
c(1) = c1 = 2, c(2) = c2 = 4, c(4) = c4 = 8 y c(8) = c8 = 16; en este caso c(m) = 2m
y entonces c(m) no divide a m. En general, si m = (2a + 1)2b 16d con 0 b 3, entonces
(m) = 2b + 8d y c(m) = c2b +8d = 16d c2b = 16d 2b 2, por lo tanto c(m) tiene una potencia
de 2 mas que m, y por lo tanto c(m) no divide a m.
Finalmente, tenemos el siguiente teorema el cual se demuestra en [12, Teorema 12.7].
k
g
Teorema 5.40. El grupo KO(RP
) es cclico de orden ck con generador u = k 1, donde
k denota al haz tautol
ogico sobre RPk .
5.6.
En esta secci
on mostraremos que S n1 no tiene (n) campos vectoriales linealmente independientes en el.
5.6.1.
Formas cuadr
aticas y el grupo Spin
Aut(C(q))
Ad (x) = x1
llamado representaci
on adjunta.
Proposici
on 5.41. Sea v V C(q) tal que q(v) 6= 0. Entonces Adv (V ) = V . M
as a
un,
para toda w V , la siguiente ecuaci
on se cumple:
Adv (w) = w 2
q(v, w)
v
q(v)
v
= vwv
q(v)
110
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
Entonces podemos considerar el subgrupo de todos los elementos C(q) tal que
Ad (V ) = V . Por la Proposici
on 5.41, este grupo contiene todos los elementos v V con
q(v) 6= 0. M
as a
un, cuando q(v) 6= 0 la transformacion Adv preserva la forma cuadratica q.
Por lo tanto, podemos definir P (V, q) el subgrupo de C(q) generado por los elementos v V
con q(v) 6= 0, y notemos que existe una representacion
Ad : P (V, q) O(V, q)
donde O(V, q) = { GL(V ) | q = q} es el grupo ortogonal de la forma cuadratica (V, q).
Def inici
on 5.42. Definimos el grupo Pin de (V, q), como el subgrupo Pin(V, q) de P (V, q)
generado por los elementos v V tal que q(v) = 1. Definimos el grupo Spin de (V, q) como
el grupo
Spin(V, q) = Pin(V, q) C(q)0
Si denotamos por V = {v V | q(v) =
6 0}, tenemos que P (V, q) = {v1 vr
C(q) | v1 , ..., vr es una sucesion finita de V }, y por lo tanto tenemos que
Pin(V, q) = {v1 vr P (V, q) | q(vj ) = 1 para toda j}
Spin(V, q) = {v1 vr Pin(V, q) | r es par}
Notemos que Pin(V, q) C(q)0 , es exactamente la aplicacion v : V V definida como la
reflexi
on a traves del hiperplano v = {w V | q(w, v) = 0}. Es decir, v fija el hiperplano
GL(C(q))
f (y) = ()y1
Ad
5.6.2.
Relaci
on entre KO(RPn ) y J(RPn )
Denotemos por Pin(m) al subgrupo Pin(Rm , h, i), y denotemos por Spin(m) al sub0
grupo Pin(m) Cm
de Pin(m).
Def inici
on 5.44. Una representacion spinorial de Spin(m) es la restriccion de una repre0
sentaci
on irreducible de Cm
111
0
Nota 5.45. Como Spin(2m+1) es un subgrupo de el grupo de unidades en C2m+1
, entonces
cada C2m -m
odulo determina un Spin(2m + 1)-modulo real. Para una base e1 , ..., e2m de
C2m definimos , el m
odulo donde ir e1 e2m act
ua como una multiplicacion por 1,
respectivamente.
1/2
(j
1/2
+ j
/2
11
rr /2
1 r =1
1jm
)=
1/2
(j
1/2
+ j
)=
/2
11
rr /2
1 r =1
1jm
Def inici
on 5.47. Sea un haz vectorial de rango k orientado con metrica Riemanniana
sobre un espacio paracompacto X, sea e = (P, , X, SO(k), SO(k)) el haz principal asociado
a (ver Nota 2.69) y sea : Spin(k) SO(k) la aplicacion definida por (u)(x) = uxu
donde u es la transpuesta de u. Decimos que tiene una estructura Spin(k) si existe
un haz principal (Q, 0 , X, Spin(k), Spin(k)) sobre X, y una aplicacion f : Q P tal que
f (b g) = f (b) (g) y que hace conmutar el siguiente diagrama
/P
Q
0
112
Captulo 5. N
umero m
aximo de campos vectoriales linealmente independientes en esferas
k (+ ) = k ()(+ )
(5.1)
Por la Proposici
on 5.46, se tiene que en RO(Spin(8m))
Y
1/2
1/2
+ =
(j j
)
1j4m
y entonces
k (+ ) =
k/2
(j
k/2
ii4m
1/2
1j4m
k/2
k/2
1/2
(jr + jr1 + + 1 + + jr )
1j4m
(1 + 1 (j ) + + r (j ))
1j4m
Podemos notar que estas formulas solo involucran a las operaciones k de j y j1 . Por
lo tanto, estas formulas pueden ser utilizadas para definir k (), para cualquier haz vectorial
real de rango 2m.
Nota 5.49. Sea un haz de lneas con 2 = 1, calculemos k (2).
k (2) = 1 + 1 (2) + + r (2)
= 1 + 2( + 1 + + + + 1)
= (2r + 1) + r( 1)
para r = (k 1)/2.
Nota 5.50. Sea un haz de lneas, y recordemos que ( 1)2 = 2( 1). Entonces
tenemos que
k (2n) = ((2r + 1) + r( 1))n = (2r + 1)n + a( 1)
si sustituimos 1 = 2 en esta expresion, obtenemos la relacion
1n = (2r + 1)n 2a
donde r = (k 1)/2 y 2r + 1 = k. Entonces tenemos la siguiente relacion
k (2n) = k n + ((k n 1)/2)( 1)
Nota 5.51. La clase k () es un invariante del tipo de homotopa fibrada de S(). En
consecuencia, si J(2n) = 0 entonces tenemos que ((k n 1)/2)( 1) = 0.
Ahora, podemos probar el teorema principal de esta seccion.
113
Teorema 5.52. Sea X un complejo CW tal que KO(X) es generado por un haz de lneas.
g
Entonces, el epimorfismo J : KO(X)
J(X), de la Nota 5.23, es un isomorfismo.
Demostraci
on. Se puede mostrar que el orden de 1 es una potencia de 2 para el haz de
g
lneas . Sea 2r el orden de 1 en KO(X)
y J(2n) = 0 en J(X). Entonces, por la Nota
n
5.51, tenemos que (k 1)/2 = 0(mod 2r ).
Para k = 5, tenemos que 5n 1 = 0(mod 2r1 ), entonces tenemos que 2r1 |n o 2r |2n.
g
Por lo tanto 2n( 1) = 0 en KO(X).
Teorema 5.53. En la esfera S n1 , existen a lo mas (n) 1 campos vectoriales linealmente
independientes.
k
g
Demostraci
on. Usando el Teorema 5.40, tenemos que el grupo KO(RP
) es cclico de orden
ck con generador u = k 1, donde k denota al haz tautologico sobre RPk . Por el Teorema
k
g
5.52, KO(RP
) es isomorfo a J(RPk ).
Por lo tanto, se cumplen las hipotesis del Teorema 5.39, lo cual demuestra el teorema.
A.1.
Suma directa
Def inici
on A.1. Sean W y W 0 dos subespacios vectoriales de un espacio vectorial V ,
definimos la suma de subespacios vectoriales como,
W1 + W2 = {x V | x = w1 + w2 , w1 W1 , w2 W2 }
Si adem
as, W1 W2 = entonces a W1 + W2 se le llama suma directa de subespacios
vectoriales y se denota por W1 W2 .
Nota A.2. En efecto, la suma directa de dos espacios vectoriales es un espacio vectorial de
dimension igual a la suma de las dimensiones de ambos espacios. Esta ultima afirmacion es
una consecuencia de la formula dim(W + W 0 ) = dim(W ) + dim(W 0 ) dim(W W 0 ).
Si tenemos aplicaciones lineales g : V W y g 0 : V 0 W 0 entre espacios vectoriales,
entonces podemos construir la aplicacion g g 0 : V V 0 W W 0 definida por v v 0 7
g(v)g 0 (v 0 ), si escogemos bases ordenadas i , j0 , k , l0 para V , V 0 , W , W 0 respectivamente,
podemos formar las matrices A y B asociadas a las aplicaciones g y g 0 . Ahora, estas bases
inducen bases i j0 y k l0 para V V 0 y W W 0 respectivamente, para as formar la
matriz asociada a g g 0 la cual esta dada por la matriz
A 0
0 B
116
A.2.
Espacio dual
Def inici
on A.3. Sea V un espacio vectorial, definimos el espacio dual V como el conjunto
de todas las aplicaciones lineales f : V R. Si f, g V , v V y a R, definimos la
operaci
on suma en V como (f + g)(v) = f (v) + g(v) y la multiplicacion por escalar en V
definida por (af )(v) = af (v).
Si f : V W es una aplicaci
on lineal entre espacios vectoriales, entonces podemos construir una aplicaci
on f : W V definiendo f ()(v) = (f (v)). Si v1 , .., vn es una base
ordenada de V , entonces podemos construir una base ordenada v1 , ..., vn de V definiendo
vi (vj ) = ij , donde ij es la delta de Kronecker.
Tomemos f : V W una aplicacion lineal entre espacios vectoriales, y tomemos v1 , ..., vn ,
w1 , ..., wn bases ordenadas de V y W P
respectivamente, entonces podemos construir la matriz
A = (aij ) asociada aP
f , con f (vi ) = j aij wj . Para construir la matriz B = (bij ) asociada
a f , con f (wi ) = j bij vj , evaluamos P
f ()(v) = (f (v)) en las bases dadas. Entonces
wi (f (vk )) = wi ( j akj wj ) = j akj wi (wj ) = aki , por lo tanto concluimos que bik = aki ,
lo cual implica que la matriz B es la matriz transpuesta de A.
A.3.
Producto tensorial
Def inici
on A.4. Decimos que una aplicacion f : V W Z entre espacios vectoriales es
bilineal si
f (av, w) = af (v, w)
f (v1 + v2 , w) = f (v1 , w) + f (v2 , w)
f (v, aw) = af (v, w)
f (v, w1 , w2 ) = f (v, w1 ) + f (v, w2 )
Sean f1 , f2 : V W Z dos aplicaciones bilineales entre espacios vectoriales, definamos
la suma de funciones como (f1 + f2 )(v, w) = f1 (v, w) + f2 (v, w) y la multiplicacion por
escalar como (af )(v, w) = af (v, w), por lo cual el conjunto de aplicaciones bilineales define
un espacio vectorial.
Proposici
on A.5. Sean V , W espacios vectoriales, entonces existe un u
nico espacio vectorial V W y una aplicaci
on bilineal f : V W V W que cumplen la siguiente propiedad
universal. Para todo espacio vectorial Z y toda aplicaci
on bilineal g : V W Z existe una
u
nica aplicaci
on lineal g : V W Z tal que hace conmutar el diagrama.
V W
V9 W
#
g
/Z
117
Demostraci
on. Definimos el espacio vectorial generado por un conjunto S como el espacio
( n
)
X
hSi =
ai si | ai R, si S
i=1
4
[
Ti i hV W i
i=1
118
Por construcci
on g es u
nica. Veamos que el espacio vectorial V W es u
nico, supongamos que existe otro espacio vectorial V 0 W que cumple la propiedad universal, entonces
obtenemos el siguiente diagrama con triangulos conmutativos
V W
f
y
V W
f0
/ V 0 W
%
/ V W
V W
id
%
/ V W
A= .
B= .
.
.
..
..
.
.
.
.
.
.
.
...
.
.
...
.
an1 an2 . . . ann
bm1 bm2 . . . bmm
Construimos la aplicaci
on g g 0 : V W V W definiendo
g g 0 (vk wl ) = g(vk ) g(wl ) =
n X
m
X
i=1 i=1
119
usando las bases ordenadas de V y W podemos formar una base para V W como arriba,
y entonces la matriz asociada a g g 0 esta dada por
AB =
..
..
..
.
.
...
.
an1 B
A.4.
an2 B
...
ann B
Potencia exterior
V n
v(1) v(2) v(n)
Def inici
on A.6. Decimos que V n es
Simetrico: Si (, ) = para todo Sn .
Alternante: Si (, ) = () para todo Sn .
Entonces definimos la potencia simetrica de V como Symn (V ) = { V n | es simetrico}
y definimos la potencia exterior de V como n (V ) = { V n | es alternante}. A los
elementos v1 vr n (V ) se le llama productos exteriores y se les denota por v1 vr .
Sea V un espacio vectorial y sea {v1 , ..., vn } una base ordenada de V , entonces el conjunto
{vi1 vi2 vik | 1 i1 i2 ik n}
es una base de k (V ). Ahora, dado alg
un producto exterior de la forma xi xk entonces
cada vector vj puede ser escrito como una combinacion lineal de los vectores bases {vi }, como
la potencia exterior es bilineal, entonces la podemos separar en una combinacion lineal de
productos exteriores en cada vector base, cada producto exterior en el cual aparece el mismo
vector base mas de una vez es igual a cero; cada producto exterior en el cual los vectores
base no aparezcan en el orden establecido, puede ser re-ordenado si cambiamos el signo cada
vez que dos vectores bases cambien de lugar. En general, los coeficientes resultantes de este
proceso pueden ser calculados como menores de la matriz que describe los vectores xj en
terminos de la base {vi }.
Si contamos el n
umero de elementos de la base de k (V ) tenemos que es igual al n
umero
de combinaciones posibles de n elementos en k, por lo cual se tiene que
n
k
dim( (V )) =
k
120
Indice alfabetico
C(f )-M
odulo, 93
H-Cogrupo, 31
H-Grupo, 28
S-Aplicaci
on, 100
Algebra
Z2 -Graduada, 88
de Clifford, 87
Aplicaci
on de Transici
on, 40
Campos Vectoriales, 79
Colmite, 66
Construcci
on de Grothendieck, 58
Cu
na de Espacios Topol
ogicos, 22
Cubriente Universal, 35
Equivalencia
Estable de Haces, 63
Homot
opica, 15
Homot
opica Fibrada Estable, 103
Espacio
Clasificante, 53
Cubriente, 35
de Funciones, 17
de Thom, 98
Vectorial Dual, 116
Forma Cuadr
atica, 85
Funci
on Localmente Constante, 64
Grupo
de Lie, 42
de Unidades Multiplicativo, 109
Estructural de un Haz, 40
Spin, 110
Grupos de Homotopia, 34
Haz de Marcos, 56
Haz Principal, 55
Haz Vectorial, 37
Asociado, 46
Dual, 43
Inducido, 44
Proyecivo Asociado, 74
Restringido, 43
Tangente a S n , 38
Tautologico, 39
Trivial, 39
Universal, 53
Homotopa, 14
de Parejas, 21
Fibrada, 102
Join, 13
Lema de Urysohn, 49
Ley Exponencial, 18
Metrica Riemanniana, 48
Morfismo de Haces, 39
Multiplicacion Ortogonal, 81
Operaciones
de Adams, 72
en Teora K, 70
Particion de la Unidad, 48
Periodicidad de Bott, 68
Potencia Exterior
de Espacios Vectoriales, 119
de Haces Vectoriales, 46
Principio de Descomposicion, 75
Producto
de Haces Vectoriales, 43
Producto Smash, 22
Producto Tensorial
de Espacios Vectoriales, 116
de Haces Vectoriales, 45
Proyeccion, 46
Representacion, 60
Adjunta, 109
Irreducible, 93
122
Secci
on de un Haz Vectorial, 41
Suma Directa
de Espacios Vectoriales, 115
de Haces Vectoriales, 45
Suspensi
on, 12
Teora K, 60
Reducida, 63
Topologa Compacto-Abierta, 17
Variedad
de Grassmann, 52
de Stiefel, 52
Paralelizable, 42
INDICE ALFABETICO
Bibliografa
[1] Adams, John Frank. Vector Fields on Spheres, Ann. Math. 2nd Ser., Vol 75, No. 3.
1962. pp.603-632.
[2] Aguilar, Marcelo; Gitler, Samuel; Prieto Carlos. Algebraic Topology From a Homotopical
Viewpoint, Springer-Verlag New York, Inc., 2002.
[3] Atiyah, Michael Francis. K-Theory, W.A. Benjamin, Inc., New York, 1964.
[4] Atiyah, Michael Francis. Thom Complexes, Proc London Math. Soc.,(3), Vol. 11, pp.291310.
[5] Atiyah, Michael Francis; Bott, Raoul; Shapiro, Arnold. Clifford Modules, Topology.
Vol.3 Supplement 1, July 1964, pp. 3-38.
[6] Bott, Raoul. A Note On The KO-Theory Of Sphere-Bundles, Bull. Amer. Math. Soc.
68. 1962 pp. 395-400.
[7] Bott, Raoul. Vector Field on Spheres and Allied Problems, Monographies de LEnseignement mathematique, Gen`eve, Suisse, No. 11, pp. 25-38.
[8] Bott, Raoul; Milnor, John. On The Parallelizability Of The Spheres. Bull. Amer. Math.
Soc. 64. 1958 pp. 8789.
[9] Greenberg, Marvin; Harper, John. Algebraic Topology a First Course. Massachusetts
USA. The benjamin/cummings publishing company.(1981).
[10] Hatcher, Allen. Vector Bundles and K-Theory, Paper or electronic copies for noncommercial use may be made without explicit permission from the author, 2003.
[11] Hatcher, Allen. Algebraic Topology. Cambridge UK., Cambridge University Press, 2002.
[12] Husemoller, Dale. Fibre Bundles, Springer-Verlag, New York, Inc., 1994.
[13] Cisneros Molina, Jose Luis. Gupos de Hmotopia, Notas del minicurso Grupos de homotopia impartido en la XIX Semana de Investigacion y Docencia en Matematicas en
la UNISON. 2009 http://www.matcuer.unam.mx/ jlcm/homotopy.pdf
[14] Lawson, Herbert; Michelsohn Marie-Louise. Spin Geometry, Princeton University Press,
Princeton New Jersey, 1989.
[15] Lie, John. Introduction To Smooth Manifolds, Springer-Verlag, New York, Inc. 1950.
[16] Milnor John; Husemoller Dale. Symmetric Bilinear Forms, Springer-Verlag, New York,
1973.
es J. F. Adams, Seminaire
[17] Morin, Bernard. Champs De Vecteurs Sur Les Sph`eres DApr`
124
BIBLIOGRAFIA