BENEMERITA UNIVERSIDAD AUTONOMA DE PUEBLA FACULTAD DE CIENCIAS F ISICO MATEMATICAS

POSGRADO EN MATEMATICAS

APLICACIONES CUBRIENTES Y TEORIA DE GALOIS

TESIS
QUE PARA OBTENER EL GRADO DE: MAESTRO EN CIENCIAS MATEMATICAS

PRESENTA: FERNANDO ALVAREZ HERNANDEZ

DIRECTOR DE TESIS: DR. ALEXANDER BYKOV

PUEBLA, PUE., FEBRERO 2007

 Indice general
Introduccin o 3

1. Correspondecia de Galois. Enfoque general 5 1.1. Grupos de Galois. Enfoque general . . . . . . . . . . . . . . . 5 1.2. Correspondencia de Galois para proyecciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.3. Correspondencia de Galois para inyecciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. Aplicaciones cubrientes 2.1. Deniciones y propiedades principales. 2.2. Relaciones con el grupo fundamental . 2.3. La clase Cov . . . . . . . . . . . . . . . 2.4. El grupo de Galois de una aplicacin o cubriente . . . . . . . . . . . . . . . . . 23 . . . . . . . . . . . . . 23 . . . . . . . . . . . . . 25 . . . . . . . . . . . . . 27 . . . . . . . . . . . . . 29 34 34 38 41 46 50 51 60

3. Correspondencia de Galois para aplicaciones cubrientes 3.1. Tres lemas . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. El teorema principal . . . . . . . . . . . . . . . . . . . . . 3.3. Caso de espacios localmente conexos . . . . . . . . . . . . 3.4. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conclusiones Anexo Bibliograf a

. . . .

. . . .

Introduccin o
La mayor de los libros de lgebra superior reservan algunas de sus seca a ciones para tratar el tema sobre teor de Galois. Como sabemos es parte a de la matemtica cuyos or a genes se encuentran en el problema de la solucin o de ecuaciones polinomiales mediante radicales. Galois resolvi este problema o y a lo largo del camino, problemas geomtricos clsicos de construccin con e a o regla y comps, tambin quedaron resueltos. Este desarrollo aparentemente a e cierra un cap tulo del lgebra. a La idea bsica de la teor de Galois permea la matemtica entera: esto es a a a asociarle a una estructura algebraica en este caso otro tipo de estructura y obtener informacin de estos objetos mediante el intercambio de ideas de o una a otra estructura. Concretamente, asignarle a cada extensin de campos o F E el grupo G de automorf ismos de E que reeje en cierta forma las propiedades de la extensin. Tan slo la idea de considerar a una extensin o o o de campos F E como espacio vectorial, dio lugar a muchas simplicaciones en el estudio de campos. Por otro lado, la teor de Galois ha sido a involucrada en temas como Complejos Cubrientes, Ecuaciones Diferenciales y nosotros pretendemos hacerlo para Aplicaciones Cubrientes. Para espacios cubrientes se ilustra la relacin que existe entre la Topolog o a y el Algebra. Bsicamente la teor de grupos resuelve algunos problemas a a sobre grupos fundamentales de espacios topolgicos dados. o Curiosamente este trabajo surge a consecuencia de una pregunta que hicieron en la defensa de mi tesis de licenciatura, vase [9], esto es, Por qu a las e e Aplicaciones Cubrientes Regulares tambin se les llama de Galois?. e El objetivo de esta tesis es investigar si las Aplicaciones Cubrientes tienen alguna relacin con la teor de Galois para extensiones de campos. Es bien o a conocido el teorema fundamental de esta teor que establece una biyeccin a, o entre los campos intermedios de una extensin de campos F E y los subo grupos de Galois de esta extensin. Trataremos de proponer un teorema dual o para aplicaciones cubrientes que, para una aplicacin cubriente p : X X, o se pueda construir una correspondencia biyectiva entre los subgrupos de Galois y las aplicaciones cubrientes intermedias con respecto a p. En el primer cap tulo de la tesis, se construye de manera general la correspondencia de Galois. Para una categor C de proyecciones, es decir, dada a una proyeccin p en C, se establece una correspondencia entre los subgrupos o del grupo de Galois G(p) y las proyecciones intermedias de p. Esto se realiza

4 por medio del teorema 1.2.7, que nos permite posteriormente en el Cap tulo 3, demostrar el resultado principal de este trabajo para la categor Cov, a donde sus morsmos son aplicaciones cubrientes. El segundo cap tulo reune propiedades bsicas acerca de la teor de aplia a caciones cubrientes. Se escriben los resultados ms importantes sobre aplicaa ciones cubrientes, en trminos de grupos fundamentales. e En el cap tulo tres iniciamos vericando que las aplicaciones cubrientes transitivas satisfacen las condiciones del teorema 1.2.7, en la seccin 3.1. o Esto prepara la demostracin del teorema principal 3.2.1 para aplicaciones o cubrientes transitivas de espacios conexos, que es redactado en la seccn 3.2. o En la seccin 3.3, presentamos otra versin del teorema principal, que aparece o o en el teorema 3.3.1, para aplicaiones cubrientes regulares de espacios conexos y localmente conexos por trayectorias. La seccin 3.4, contiene ejemplos sobre o aplicaciones cubrientes que muestran la correspondencia del teorema 3.2.1. Finalmente, en el anexo aparecen resultados anlogos entre la teor de a a campos y la teor de aplicaciones cubrientes. a Quiero expresar mi agradecimiento al Dr. Jos Ramn E. Arrazola por e o la buena disposicin para la revisin de esta tesis y por sus valiosas sugo o erencias. Especialmente al Dr. Alexander Bykov por su gran inters y apoyo e incondicional en la elaboracin de este trabajo. o

Cap tulo 1 Correspondecia de Galois. Enfoque general

La correspondencia de Galois forma el fundamento de la famosa Teor de a Galois. En este cap tulo presentamos una descripcin categrica de tal corres o o pondencia bajo condiciones bastante generales.

1.1.

Grupos de Galois. Enfoque general

A lo largo del presente cap tulo vamos a denotar por C una categor a que puede considerarse como una subcategor de la categor de conjuntos y a a funciones. Vamos a decir que una clase de morsmos P de la categor C es una a clase de proyecciones de C si 1. P contiene todos los isomorsmos de C, 2. todo morsmo p P es una funcin sobreyectiva, o 3. la condicin que p P es una biyeccin implica que p es un isomorsmo o o de C. Hablando sobre una proyeccin p de C siempre vamos a suponer que p o pertenece a la clase P de proyecciones de C previamente elegida. Fijemos un objeto X0 de la categor C. Entonces se puede considerar la a categor PX0 de proyecciones sobre X0 , cuyos objetos son morsmos a p : X X0 de la clase P y cuyos morsmos son los diagramas conmutativos 5

6
f

X
e

p e
e e e

X0

E Y q 

es decir, un morsmo de p : X X0 a q : Y X0 en esta categor es todo a morsmo f : X Y tal que q f = p. Anlogamente (o a lo mejor dualmente), vamos a decir que una clase de a morsmos I de la categor C es una clase de inyecciones de C si a 1. I contiene todos los isomorsmos de C, 2. todo morsmo i I es una funcin inyectiva, o 3. la condicin que i I es una biyeccin signica que i es un isomorsmo o o de C. Hablando sobre una inyeccin i de C siempre vamos a suponer que i o pertenece a la clase I de proyecciones de C previamente elegida. Dado un objeto X0 de C, tambin se puede considerar la categor I X0 e a de inyecciones de X0 , cuyos objetos son morsmos i : X0 X de la clase I y cuyos morsmos son los diagramas conmutativos
X'
u e e i e e e

f
!

Y j

X0

es decir, un morsmo de j : X0 Y a i : X0 X en esta categor es todo a morsmo f : Y X tal que f j = i. Nota. Se pueden denir los conceptos de proyeccin e inyeccin para cada o o categor no slo para una subcategor de la categor de conjuntos, pero a, o a a en el presente trabajo no necesitamos tal generalidad. Cabe mencionar los siguientes ejemplos importantes de tales categor as con inyecciones o proyecciones:

7 1. La categor Camp de campos y sus morsmos. Ntese que todo mora o smo E K de campos es un monomorsmo. Por eso se puede tratar E como un subcampo de K y K como un campo de extensin o simo plemente una extensin del campo E. La clase I de inyecciones es la o clase de todos los morsmos de Camp. 2. La categor Top de espacios topolgicos y funciones continuas. Se cona o sidera la clase P = Cov de aplicaciones cubrientes de espacios topolgio cos conexos como una clase de proyecciones de la categor Top. Esta a clase de proyecciones es el objeto del presente trabajo. Por lo tanto, en las siguientes secciones prestamos mayor atencin a las categor con o as proyecciones. Denicin 1.1.1. Sea p : X Z una proyeccin de una categor C. El o o a grupo de Galois de p o de X sobre Z es el grupo de isomorsmos g : X X que hacen conmutativo el siguiente diagrama
X pee gE Z X

p 

es decir, tales que p g = p. Este grupo se denota por G(p) o G(X|Z). Tambin, se puede usar la notacin Aut(p) ya que el grupo de Galois de p es e o exactamente el grupo de isomorsmos p p en la categor PZ . a Sea i : Z X una inyeccin de una categor C. El grupo de Galois o a de i o de X sobre Z es el grupo de isomorsmos g : X X que hacen conmutativo el diagrama
' X u e

g
!

ie i Z

es decir, tales que g i = i. Este grupo se denota por G(i) o G(Z|X). Es fcil vericar que los siguientes conjuntos a G(X|Z) = G(p) = {g : X X | p g = g, g es isomorsmo } G(Z|X) = G(i) = {g : X X | g i = i, g es isomorsmo } son grupos respecto a la composicin de morsmos. o

8 Denicin 1.1.2. Sea p : X Z una proyeccin (i : Z X una inyeccin) o o o de una categora C. Se dice que una proyeccin t : X Y es una proyec o cin intermedia respecto a p (resp. una inyeccin s : Y X es una o o inyeccin intermedia respecto a i) si existe una proyeccin q : Y Z tal o o que p = q t (resp. una inyeccin j : Z Y tal que i = s j), es decir, q y o j hacen conmutativos los diagramas:
X pe e tE Y Z
q  ' X s u e !

ie j Z

Nota. En la denicin anterior para la proyeccin intermedia t dada la o o proyeccin q que satisface p = q t, q es unica, mientras que para difero entes proyecciones intermedias t, t puede existir una proyeccin q comn o u tal que p = q t = q t . La armacin anloga es cierta para inyecciones o a intermedias. La idea bsica en la teor clsica de Galois es establecer una correspona a a dencia uno a uno entre los subgrupos del grupo de Galois G(E|F ) para una extensin E de un campo F y los campos intermedios K, F K E con o respecto a esta extensin. Al pasar a una categor inyectiva o proyectiva C, o a podemos generalizar esta idea y plantear el siguiente problema: Dada una proyeccin p ( una inyeccin i ), establecer una correspondencia o o entre los subgrupos del grupo de Galois G(p) (resp. G(i)) y las proyecciones intermedias para p (resp. inyecciones intermedias para i). Por supuesto, no se resuelve este problema de forma general. Pues an, en u el caso de la categor Camp, se tiene la solucin slo para extensiones nitas a o o normales y separables. Pero, ya a un nivel bastante general se puede proponer un mtodo de construccin de tal correspondencia que posteriormente e o llamaremos la correspondencia de Galois. La construccin est realizao a da en la siguiente seccin. En el Cap o tulo 3, utilizaremos este mtodo para e resolver el problema para la clase de proyecciones Cov. En el resto de esta seccin recordaremos algunas deniciones bsicas de o a la teor de grupos de transformaciones e introduciremos la nocin de una a o proyeccin (resp. inyeccin) completa. o o Segn la denicin misma los grupos de Galois son grupos de transformau o ciones. El grupo de transformaciones de un objeto X de una categor C es a un subgrupo G del grupo de todos los automorsmos de X bajo composicin: o

9 Aut(X) = {g : X X | g es un isomorsmo de C }. El grupo G de transformaciones acta de la manera natural en X: u g x = g(x), g G, x X. En otras palabras, X puede considerarse como G-conjunto. Recordemos algunas nociones bsicas relacionadas con una accin dada de un grupo G en a o un objeto X de una categor C. a Denicin 1.1.3. Sean G un grupo y X un objeto de una categor C. Una o a accin de G en X es un homomorsmo de grupos T : G Aut(X). o Observe que segn esta denicin, en general, no se supone que X debe u o ser un conjunto, pero si lo es, esto es en nuestro caso, se puede asociar a T de la manera natural la funcin : G X X, (g, x) x g, y viceversa o por medio de la frmula: o g x = T (g)(x). La funcin tambin se llama accin de G en X y evidentemente satisface o e o las condiciones: 1. 1 x = x para todo x X y 1 G. 2. (g1 g2 ) x = g1 (g2 x) para todo x X y g1 , g2 G. Bajo estas condiciones, X es un G-conjunto izquierdo. Anlogamente se dene a G-conjunto derecho. Denicin 1.1.4. Sean X un G-conjunto y x X. Entonces: o 1. G(x) = {g x | g G}, se llama la rbita de x. o 2. X/G = {G(x) | x X}, se llama el espacio de rbitas de la accin. o o 3. Gx = {g G | g x = x}, se llama subgrupo de isotrop de x. a 4. XG = {x X | g x = x para todo g G} = {x X | Gx = G}, se llama el conjunto de puntos jos de la accin. o 5. G opera transitivamente en X si para todo x, y X existe g G tal que g x = y, es decir, X/G = {}.

10 Todo G-conjunto naturalmente puede considerarse como H-conjunto si H es un subgrupo de G. Dados G-conjunto X y un subgrupo H de G, se denen: 1. la proyeccin natural : X/H X/G por (H(x)) = G(x), o 2. la inyeccin natural : XG XH por (x) = x. o En el caso particular del subgrupo trivial H = {e} tenemos la proyeccin o orbital G : X X/G y la inyeccin de los puntos jos G : XG X. o Sea p : X X0 una proyeccin de C y sea G = G(p) su grupo de Galois. o Si H es un subgrupo de G, (en este caso usaremos la notacin: H G), o entonces siempre se puede considerar el diagrama conmutativo X
d
p H

d d

X/H
pH c

X0 donde H es la proyeccin orbital dada por o H (x) = H(x), y la aplicacin pH se dene por o pH (H(x)) = p(x), H(x) X/H. xX

Es claro que pH est bien denida pues si H(x1 ) = H(x2 ), entonces existe a g H G tal que g(x1 ) = x2 y, por consiguiente, pH (H(x2 )) = p(x2 ) = p(g(x1 )) = p(x1 ) = pH (H(x1 )). Anlogamente, para cada inyeccin i : X0 X de C, su grupo de Galois a o G = G(i) y H G se construye el diagrama conmutativo

11

X
Td H s d d
i

XH

iH

X0 donde H es la inyeccin de los puntos jos respecto a la accin de H G y o o H i (x) = i(x) XH para x X0 , ya que g(i(x)) = i(x) para toda g H. Denicin 1.1.5. Una proyeccin p : X X0 (inyeccin i : X0 X) o o o de C se llama completa si para todo subgrupo H G(p) (H G(i)) las aplicaciones H y pH son tambin proyecciones (resp. H y iH son tambin e e inyecciones) de la categora C. En particular, para una proyeccin completa p : X X0 , el espacio de o o rbitas X/H es un objeto de la categor C donde H G(p). Anlogamente, a a en el caso de una inyeccin completa i : X0 X, el conjunto de puntos jos o XH es un objeto de C donde H G(i). Por ejemplo, toda inyeccin de Camp es completa: si i : F K es una o extensin de campos y G = G(i) entonces el conjunto o KH = {x K | h(x) = x, h H} es un campo para todo subgrupo H de G. Posteriormente, en el Cap tulo 3, veremos que aplicaciones cubrientes de espacios conexos, es decir, proyecciones de Cov son completas bajo condiciones ms generales. a

1.2.

Correspondencia de Galois para proyecciones

Consideramos el caso general de una categor C con proyecciones. Sea a p : X X0 una proyeccin de una categor C. De acuerdo con la Denicin o a o 1.1.2 una proyeccin r : X Y es intermedia si existe una proyeccin (que, o o en efecto, es unica) q : Y X0 tal que p = q r, en otras palabras, el

12 diagrama X
dr d
p

Y
c q

X0 es conmutativo. Denicin 1.2.1. Vamos a decir que las proyecciones intermedias o r : X Y y r : X Y respecto a una proyeccin dada p : X X0 son o equivalentes si existe un isomorsmo h : Y Y en la categor C que a hace conmutativo el diagrama
X r Y
d d r d d d E Y q d dX
0

d d q d

donde q y q son las unicas proyecciones tales que p = q r = q r . Claro que de esta forma denimos una relacin de equivalencia. o Ahora, consideremos, para la proyeccin dada p : X X0 y su grupo de o Galois G = G(p), los siguientes conjuntos: el conjunto S(p) de todas las clases de equivalencia [r] de proyecciones intermedias r : X Y , el conjunto S(G) de todos los subgrupos H del grupo G. Nuestro objetivo es establecer una correspondencia entre los elementos de S(p) y los elementos de S(G). Observe, que para toda proyeccin completa p y su grupo de Galois G se o tiene

13 {[H ] | H S(G)} S(p). Esto nos permite construir de una manera natural las funciones y segn u la siguiente denicin. o Denicin 1.2.2. Las funciones : S(p) S(G) y : S(G) S(p) o denidas por : [r : X Y ] G(r) y : H [H : X X/H] se llaman correspondencias de Galois. Es fcil ver que la funcin est bien denida, es decir, G(r) = G(r ) a o a para proyecciones intermedias equivalentes r y r . Si g G(r), usando la existencia de un isomorsmo h : Y Y tal que h r = r , obtenemos r g = h r g = h r = r que signica g G(r ). Resulta que G(r) G(r ) y, por la simetr de la relacin de equivalencia, tambin se obtiene a o e G(r ) G(r). Denicin 1.2.3. Una proyeccin p : X X0 de una categor C se llama o o a transitiva si para cada par x, y X con p(x) = p(y) existe un isomorsmo g G(p) tal que y = g(x). En otras palabras, p : X X0 es transitiva si y slo si el grupo de Galois o G(p) opera transitivamente en cada bra F = p1 (x), x X0 , es decir, las o rbitas de la accin de G(p) en X son exactamente las bras F = p1 (x), o x X0 . Es evidente, que la proyeccin natural H : X X/H siempre es o transitiva. Proposicin 1.2.4. Una proyeccin completa p : X X0 de una categor o o a C es transitiva si y slo si para el grupo de Galois G = G(p) en el diagrama o conmutativo X
d
p G

d d

X/G
pG c

X0 la proyeccin pG , dada por pG (G(x)) = p(x), es un isomorsmo (en particuo lar, p y G son equivalentes).

14 Demostracin. Como p es una funcin sobreyectiva la aplicacin pG tambin o o o e G es sobreyectiva. Si p es transitiva entonces p es inyectiva y por lo tanto biyectiva. Pero, segn la denicin de proyeccin, esto signica que pG es un u o o isomorsmo. Por otro lado, si pG es un isomorsmo, entonces es una biyeccin, en o G G particular, la igualdad p(x) = p(y), esto es la igualdad p (G(x)) = p (G(y)) que implica G(x) = G(y). Denicin 1.2.5. Una proyeccin transitiva p : X X0 es transitiva o o hereditariamente si toda proyeccin intermedia r : X Y , r [r] S(p), o es transitiva. Observemos que para todo H G(p), donde p : X X0 , siempre se verica la inclusin: o H G(H : X X/H) pues para h H y x X tenemos H (h(x)) = H(h(x)) = H(x) = H (x) y, por lo tanto, h G(H ). Denicin 1.2.6. Se dice que el grupo de Galois G(p) de una proyeccin p o o es saturado si H = G(H : X X/H) para todo subgrupo H G(p). Ahora podemos formular el resultado principal de este cap tulo. Teorema 1.2.7. Sea p : X X0 una proyeccin completa de una categor o a C con el grupo de Galois G = G(p). Entonces 1. = IdS(p) si y slo si p es una proyeccin transitiva hereditariao o mente. 2. = IdS(G) si y slo si G es un grupo de Galois saturado. o As, las correspondencias de Galois : S(p) S(G) y : S(G) S(p) son biyectivas si y slo si p es una proyeccin transitiva hereditariamente y o o G es un grupo de Galois saturado. Demostracin. De hecho, el teorema es una consecuencia inmediata de las o deniciones. Como ([r]) = [G(r) ], la igualdad = IdS(p) signica que para toda clase de equivalencia [r] S(p) se cumple [r] = [G(r) ], es decir, hay un isomorsmo h : X/G(r) Y que hace conmutativo el diagrama

15
X r
d d G(r) d d d d pG(r) d dX
0

Y '
d

X/G(r)

q d

donde pG(r) (G(r)(x)) = p(x) para p = q r. Usando la conmutatividad del diagrama obtenemos h(G(r)(x)) = h(G(r) (x)) = r(x) para todo x X. Resulta que h = rG(r) y, como h es un isomorsmo, la proyeccin r es o transitiva. Por otro lado, si r es una proyeccin transitiva, por la Proposicin o o 1.2.4 r y G(r) son equivalentes y, por lo tanto, [r] = [G(r) ] = ([r]). La demostracin de la segunda parte del teorema es an ms obvia ya o u a que para todo subgrupo H G la igualdad (H) = H signica que H = G(H : X X/H), esta ultima igualdad aparece en la Denicin 1.2.6 o de un grupo de Galois saturado. Proposicin 1.2.8. Sea s : X Y una proyeccin intermedia para una o o proyeccin p : X X0 . Si para todo isomorsmo g G(p) existe un moro smo g : Y Y tal que el diagrama
g X s
c E X

s Y
d d

c E Y q

q d
d d

X0

es conmutativo, entonces G(s) es un subgrupo normal de G(p). Demostracin. Debemos probar que ghg 1 G(s) para toda g G(p) o y h G(s). Sea g un morsmo que existe para g segn la hiptesis de u o

16 la proposicin. Como el diagrama es conmutativo obtenemos s(ghg 1 ) = o 1 (g s)(hg ) = g (sh)g 1 = g sg 1 = sgg 1 = s, esto demuestra la proposicin. o Proposicin 1.2.9. Sea p : X X0 una proyeccin completa. Si H es o o un subgrupo normal del grupo de Galois G(p), entonces para todo g G(p) existe un isomorsmo unico g que hace conmutativo el diagrama

g X H X/H
d d c E X

H g
c E X/H H p d d

pH

X0

Demostracin. Denimos g : X/H X/H para un isomorsmo g G(p) o como g (H(x)) = H(g(x)), x X. Veamos que g no depende de la eleccin de y H(x), es decir, H(g(y)) = o H(g(x)) en este caso. Sea h H tal que y = h(x). Como H es normal en G, g(y) = (g h)(x) = (h g)(x) = h (g(x)) para algn elemento h H. As g(y) y g(x) pertenecen a la misma H-rbita, u , o en otras palabras H(g(y)) = H(g(x)). Resulta que g est bien denida. a Claro que g hace el diagrama conmutativo ya que la igualdad g (H(x)) = H(g(x)) para toda x X es equivalente a la igualdad g H = H g. As mismo esto signica la unicidad de g para g. Tambin pH g = pH pues e H H H p (g H(g(x))) = p (H(g(x))) = p(g(x)) = p(x) = p (H(x)). La unicidad implica que g es un isomorsmo: si f = g 1 y f es el correspondiente morsmo unico, entonces (f g ) H = H (f g) = H idX y por lo tanto debemos tener f g = idX/H . Anlogamente, f g = idX/H . a

17 Corolario 1.2.10. Sea p : X X0 una proyeccin completa y transitiva. Si o H es un subgrupo normal del grupo de Galois G(p), entonces la proyeccin o pH : X/H X0 tambin es transitiva. e Demostracin. Sean H(x0 ), H(x1 ) X/H tales que o pH (H(x0 )) = pH (H(x1 )). Hay que demostrar que se cumple g (H(x1 )) = H(x0 ) para algn isomorsmo u H g G(p ). La igualdad pH (H(x0 )) = pH (H(x1 )) signica que p(x0 ) = p(x1 ) segn la u denicin de pH . Como p es transitiva, existe g G(p) tal que g(x1 ) = x0 . o Ahora, por la Proposicin 1.2.9, podemos encontrar un isomorsmo o H g G(p ) tal que g H = H g y, por lo tanto, tenemos g (H(x1 )) = g H (x1 ) = H g(x1 ) = H(g(x1 )) = H(x0 ).

1.3.

Correspondencia de Galois para inyecciones

Consideramos ahora el caso general de una categor C para inyecciones. a Sea i : X0 X una inyeccin de una categor C. Segn la Denicin 1.1.2 o a u o una inyeccin s : Y X es intermedia si existe una inyeccin j : X0 Y o o tal que i = s j ( j, en efecto, es unica pues s j = s j j = j ), en otras palabras, el diagrama X
Td s s d
i

Y
 j

X0 es conmutativo. Denicin 1.3.1. Vamos a decir que las inyecciones intermedias o s : Y X y s : Y X respecto a una inyeccin dada i : X0 X son o

18 equivalentes si existe un isomorsmo h : Y Y en la categor C que a hace conmutativo el diagrama X


s

s d
h

Y
s d
j

d E Y  j

X0 donde j y j son las unicas inyecciones tales que i = s j = s j . De esta forma denimos una relacin de equivalencia. o Ahora, consideremos, para la inyeccin dada i : X0 X y su grupo de o Galois G = G(i) los siguientes conjuntos. el conjunto S(i) de todas las clases de equivalencia [i] de inyecciones intermedias s : Y X, el conjunto S(G) de todos los subgrupos H del grupo G. Nuestro objetivo es, como en la seccin anterior, establecer una corres o pondencia entre los elementos de S(i) y los elementos de S(G). Para toda inyeccin completa i y su grupo de Galois G, tenemos o {[iH ] | H S(G)} S(i). Esto nos permite construir de la manera natural las funciones y usando la siguiente denicin. o Denicin 1.3.2. Las funciones : S(p) S(G) y : S(G) S(p) o denidas por : [s : X Y ] G(s) y : H [iH : XH X] se llaman correspondencias de Galois.

19 Es fcil ver que la funcin est bien denida, es decir, G(s) = G(s ) a o a para inyecciones intermedias equivalentes s y s . Si g G(s ), usando la existencia de un isomorsmo h : Y Y tal que s h = s, obtenemos g s = g s h == s h = s, esto signica que g G(s). Resulta que G(s ) G(s) y, por la simetr de la relacin de equivalencia, tambin se a o e obtiene G(s) G(s ). Denicin 1.3.3. Una inyeccin i : X0 X de una categor C se llama o o a cotransitiva si para cada x X \ i(X0 ) existe un isomorsmo g G(i) tal que g(x) = x. En otras palabras, i : X0 X es cotransitiva si y slo si el grupo de o Galois G(i) opera elmente en el conjunto X \ i(X0 ), es decir, las rbitas o de la accin de G(i) en X \ X0 no son triviales. Por supuesto, la inyeccin o o natural H : XH H siempre es cotransitiva. Proposicin 1.3.4. Una inyeccin completa i : X0 X de una categor C o o a es cotransitiva si y slo si para el grupo de Galois G = G(i) en el diagrama o conmutativo X
Td G s d d
i

XG
 iG

X0 la inyeccin iG , dada por iG (x) = i(x), es un isomorsmo (en particular, i y o G son equivalentes). e Demostracin. Ya que i es una funcin inyectiva la aplicacin iG tambin o o o es inyectiva. Si i es cotransitiva, entonces iG (X0 ) es exactamente el conjunto de los puntos jos, esto es XG = iG (X0 ) y, por lo tanto, iG es biyectiva. Pero, segn la denicin de inyeccin, esto signica que iG es un isomorsmo. u o o Por otro lado, si iG es un isomorsmo, entonces es una biyeccin. En o G particular, se tiene la igualdad i(X0 ) = i (X0 ) = XG y, por tanto, ningn u punto de X \ i(X0 ) es jo. Esto signica que i es cotransitiva. Denicin 1.3.5. Una inyeccin cotransitiva p : X X0 es cotransitiva o o hereditariamente si toda inyeccin intermedia s : Y X, s [s] S(i), o es cotransitiva.

20 Observe, que para todo H G(i), donde i : X0 X, siempre se cumple la inclusin: o H G(H : XH X) pues para h H y x XH , tenemos h(H (x)) = h(x) = x = H (x) y, por lo tanto, h G(H ). Denicin 1.3.6. Se dice que el grupo de Galois G(i) de una inyeccin i es o o saturado si H = G(H : XH X) para todo subgrupo H G(i). Ahora podemos redactar el teorema anlogo al Teorema 1.2.7 de la seccin a o anterior. Teorema 1.3.7. Sea i : X X0 una inyeccin completa de una categor o a C con el grupo de Galois G = G(i). Entonces 1. = IdS(i) si y slo si i es una proyeccin cotransitiva hereditariao o mente. 2. = IdS(G) si y slo si G es un grupo de Galois saturado. o As, las correspondencias de Galois : S(p) S(G) y : S(G) S(p) son biyectivas si y slo si i es una inyeccin cotransitiva hereditariamente y o o G es un grupo de Galois saturado. Demostracin. Como ([s]) = [iG(s) ], la igualdad = IdS(p) implica o que para toda clase de equivalencia [s] S(i), se cumple [s] = [G(s) ], es decir, hay un isomorsmo h : Y XG(s) que hace conmutativo el diagrama X
s


h

Y
s d d j d

s d G(s) d d E XG(s)  G(s)

i

X0 donde iG(s) (x) = i(x) para i = s j. Usando la conmutatividad del diagrama obtenemos G(r) (y) = s(y) para todo y Y . Resulta que h = sG(s) y, como h es un isomorsmo, la inyeccin s es cotransitiva segn la Proposicin 1.3.4. o u o

21 Por otro lado, si s es una inyeccin cotransitiva, por la misma Proposicin o o 1.3.4 s y G(s) son equivalentes y, por lo tanto, [s] = [G(s) ] = ([s]). La segunda parte del teorema es ms fcil ya que para todo subgrupo a a H G, la igualdad (H) = H signica que H = G(H : XH X), pero esta ultima igualdad aparece en la Denicin 1.3.6 de un grupo de Galois o saturado. Proposicin 1.3.8. Sea s : Y X una inyeccin intermedia para una o o inyeccin i : X0 X. Si para todo isomorsmo g G(i) existe un morsmo o g : Y Y tal que el diagrama X
s g

E X T
s

T
g

Y
s d d i d

E Y  i

X0 es conmutativo, entonces G(s) es un subgrupo normal de G(i). Demostracin. Por demostrar que g 1 hg G(s) para toda g G(i) y o h G(s). Sea g un morsmo que existe para g segn la hiptesis de la u o proposicin. Como el diagrama es conmutativo, obtenemos (g 1 hg ) s = o (g 1 h)(gs) = (g 1 h)(sg ) = g 1 (hs)g = g 1 sg = g 1 gs = s. Por lo tanto, g 1 hg G(s). Proposicin 1.3.9. Sea i : X0 X una inyeccin completa. Si H es un o o subgrupo normal del grupo de Galois G(i), entonces para todo g G(i) existe un isomorsmo unico g que hace conmutativo el diagrama X
H g

E X T
H

T
g

XH
s d d iH d

E XH  H i

X0

22 Demostracin. Denamos g : XH XH para un isomorsmo g G(i) o dado por g ((x)) = g(x), x XH . La funcin g est bien denida, es decir, o a g (x) XH para todo x XH . En efecto, sea h H, entonces existe (debido a la normalidad de H) h H tal que h(g(x)) = (h g)(x) = (g h )(x) = g(h (x)) y, si x XH , entonces h (x) = x. Por consiguiente, h(g(x)) = g(x) para todo h H y x XH , en otras palabras, g(x) XH . Claro que la funcin g hace conmutativo el diagrama de la proposicin y es unica con tal o o propiedad. La unicidad implica que g es un isomorsmo: si f = g 1 y f : XH XH es el correspondiente morsmo unico, entonces H (f g ) = (f g) H = a idX H y, por lo tanto, f g = idXH . Anlogamente, f g = idXH . Corolario 1.3.10. Sea i : X0 X una inyeccin completa y cotransitiva. o Si H es un subgrupo normal del grupo de Galois G(i), entonces la inyeccin o iH : X0 XH tambin es cotransitiva. e Demostracin. Sea x XH \ iH (X0 ). Entonces, x X \ i(X0 ) y como i es o cotransitiva existe g G(i) tal que g(x) = x. Por la Proposicin 1.3.9 existe o H un isomorsmo g G(i ) para el cual g H = H g y, por consiguiente, g (x) = g (H (x)) = H (g(x)) = g(x). Resulta que g (x) = x. De este modo, concluimos que la inyeccin iH es cotransitiva. o

Cap tulo 2 Aplicaciones cubrientes

2.1. Deniciones y propiedades principales.

Esta seccin se enuncian propiedades bsicas sobre aplicaciones cubrientes o a que pueden ser consultadas en [4, Cap tulo 2]. Denicin 2.1.1. Sea p : X X una aplicacin continua. Se dice que un o o conjunto abierto U X est cubierto parejamente por p si a 1. p1 (U ) =
J

V , donde V es un conjunto abierto en X para cada

J y V V = si = ; 2. la restriccin, p |V : V U es homeomorsmo para cada J. o Una aplicacin continua sobreyectiva p : X X se llama aplicacin o o cubriente si todo punto x X tiene una vecindad abierta U cubierta pare jamente por p. En este caso, el espacio X es llamado el espacio cubriente y el espacio X se llama espacio base de la aplicacin cubriente p. o Ejemplos 1. Denimos p : R S 1 , donde S 1 es la circunferencia {(x, y) R2 | x2 + y 2 = 1} por p(t)=(cos t, sen t) para todo t R. Entonces R es un espacio cubriente de la circunferencia unidad S 1 . 23

24 2. Si G es un grupo topololgico y H es su subgrupo discreto, entonces la o proyeccin natural p : G G/H es una aplicacin cubriente, y G/H o o es el espacio de clases laterales izquierdas de H en G. Las aplicaciones cubrientes tienen muchas propiedades buenas. Una de las propiedades bsicas es la propiedad de levantamiento unico de homotop a as (pluh), contenida en el siguiente teorema. Teorema 2.1.2. Sea p : X X una aplicacin cubriente. Si una homotop o a son tales que H : Y I X y una aplicacin continua h : Y {0} X o p h = H |Y {0} entonces, existe una homotop unica H : Y I X tal a que p H = H y H |Y {0} = h. La demostracin de este teorema, en efecto, est basada en otra propiedad o a bsica de aplicaciones cubrientes. Conocida como unicidad de levantamiento, a en el sentido de la siguiente proposicin [4, Teo.2, Pag 67]. o Proposicin 2.1.3. Sea p : X X una aplicacin cubriente y sean o o f1 , f2 : Y X dos levantamientos de la misma aplicacin g : Y X, es o decir, p f1 = p f2 = g. Si Y es conexo y f1 (y) = f2 (y) para algn punto u y Y , entonces f1 = f2 . En particular, cada aplicacin cubriente p : X X tiene la propiedad de o levantamiento unico de trayectorias (plut): si : I X es una aplicacin o continua, es decir, una trayectoria en X, y x X es tal que p() = (0) x entonces existe unica trayectoria : I X tal que p = y (0) = x. Nota. La unicidad en plut signica lo siguiente: p = p y (0) = (0) = . Denicin 2.1.4. Un espacio topolgico X es conexo por trayectorias o o si, dados x, y X, existe una aplicacin continua : I X tal que (0) = x o y (1) = y. Un espacio topolgico X es localmente conexo por trayectorias si, o para cada x X, existe una base local (de conjuntos abiertos) de x cuyos elementos son conexos por trayectorias. Si p : X X es una aplicacin cubriente, entonces, dado x X, al o 1 | p() = x} se le llama la bra de p sobre x. espacio p (x) = { X x x Observe que las bras de una aplicacin cubriente son discretas. o La siguiente armacin es un corolario del Teorema 2.1.2, esto es de plut. o

25 Proposicin 2.1.5 (4, Cor.8, Pag.73). Si p : X X es una aplicacin o o 1 p1 (x1 ) para cubriente y X es conexo por trayectorias, entonces p (x0 ) = toda x0 , x1 X, es decir todas las bras de p son homeomorfas. Denicin 2.1.6. Si p : X X es una aplicacin cubriente y X es conexo o o por trayectorias, la multiplicidad de p es la cardinalidad de p1 (x) para algn punto x X. u Segn la Proposicin 2.1.5, la multiplicidad no depende de la eleccin de u o o x X.

2.2.

Relaciones con el grupo fundamental

Esta seccin contiene los resultados principales sobre aplicaciones cubrio entes en trminos del grupo fundamental. Ms adelante, vamos a considerar e a aplicaciones continuas de espacios punteados f : (X, x) (Y, y), es decir, las aplicaciones continuas f : X Y con f (x) = y. Claro que estas aplicaciones inducen el homomorsmo de grupos fundamentales f# : (X, x) (Y, y). Vase detalles en [4] o [5]. e Proposicin 2.2.1. Si p : (X, x) (X, x) es una aplicacin cubriente, o o x) (X, x) es un monomorsmo. entonces p# : (X, Dada una aplicacin cubriente p : X X y x0 X, el grupo fundao mental (X, x0 ) acta naturalmente en la bra p1 (x0 ) segn la regla: u u x [] = (1), x p1 (x0 ), [] (X, x0 ) donde : I X es el levantamiento unico de la trayectoria , p = , tal que (0) = x. Usando el Teorema 2.1.2 se puede ver que la accin est bien o a 1 x0 )). Obdenida y que el subgrupo de isotrop de x0 p (x0 ) es p# ((X, a viamente esta accin es transitiva si X es conexo por trayectorias, y tomando o en cuenta que para un G-conjunto Z y z Z, la cardinalidad de G(z) es igual al ndice del subgrupo Gz en G, obtenemos el siguiente resultado sobre multiplicidad de una aplicacin cubriente. (Vase [5, pgina 243]). o e a Teorema 2.2.2. Si p : X X es una aplicacin cubriente, X es conexo o por trayectorias y x X entonces, la multiplicidad de p coincide con el ndice de p# (X, x) en (X, x), si x = p(). x

26 En la teor general de G-conjuntos los subgrupos de isotrop de los a a puntos de la misma G-rbita son conjugados, es decir, si z1 , z2 G(z) en un o G-conjunto Z, entonces existe g G tal que gGz1 g 1 = Gz2 . Por consiguiente, tenemos el siguiente teorema [4, Teo.6, Pag.73]. Teorema 2.2.3. Si p : X X es una aplicacin cubriente, X es conexo o por trayectorias y x X entonces, la coleccin {p# (X, x) | x p1 (x)} o forma una clase de subgrupos conjugados en el grupo (X, x). Naturalmente, surge el problema de caracterizacin de las aplicaciones o x) | x p1 (x)} en efecto cubrientes p. Para las cuales la coleccin {p# (X, o es singular, es decir, consiste slo de un subgrupo H = p# (X, x). Segn el o u Teorema 2.2.3, en este caso H debe ser un subgrupo normal en (X, x). Denicin 2.2.4. Una aplicacin cubriente p : X X es regular si o o para cada trayectoria cerrada en X, todos los levantamientos de son trayectorias cerradas o ninguna lo es. Teorema 2.2.5. Sea p : X X una aplicacin cubriente y X conexo por o trayectorias, las siguientes propiedades son equivalentes: 1. p es regular, 2. Para todo x X y x1 , x2 p1 (x), p# ((X, x1 )) = p# ((X, x2 )), 3. Para todo x X y x p1 (x), p# ((X, x)) es normal en (X, x). La solucin al problema de levantamiento para aplicaciones cubrientes, o en trminos del grupo fundamental, est dada en el siguiente teorema impore a tante [4, Teo.5, Pag.76]. Teorema 2.2.6. (del levantamiento) Sea p : (X, x0 ) (X, x0 ) una aplicacin cubriente y f : (Y, y0 ) (X, x0 ) una aplicacin continua. Si Y es un o o espacio conexo y localmente conexo por trayectorias. Entonces existe unica aplicacin continua f : (Y, y0 ) (X, x0 ) tal que pf = f (ver el diagrama) o (X, x0 ) f


p
c

f
E

(Y, y0 )

(X, x0 )

27 si y slo si f# (Y, y0 ) p# (X, x0 ). o

2.3.

La clase Cov

Consideremos la clase Cov de aplicaciones cubrientes de espacios topolo gicos conexos. Claro que Cov es una clase de proyecciones de la categor a Top en el sentido de la Seccin 1.1. Adems, siempre vamos a tomar en o a cuenta la siguiente armacin. o Proposicin 2.3.1. [4, Lema 1, Pag.79] Sea o
X1
e p1 e e e e

EX

un diagrama conmutativo de espacios topolgicos y aplicaciones continuas. o Si los espacios X,X1 , X2 son conexos, localmente conexos por trayectorias y las aplicaciones p1 , p2 son aplicaciones cubrientes entonces, p tambin es e una aplicacin cubriente. o Recordemos (vase la Seccin 1.1) que para cada espacio topolgico conexo e o o X tambin se puede considerar la categor CovX : los objetos de esta catee a gor son aplicaciones cubrientes p : X X y los morsmos son los diagraa mas conmutativos
X1
e

f E X2
p e e e
2

p1 e X


es decir, un morsmo de p1 : X1 X a p2 : X2 X en esta categor es a : X1 X2 tal que p2 f = p1 . toda aplicacin continua f o

28 Denicin 2.3.2. Sea X un espacio topolgico conexo. Una aplicacin cubrio o o X es universal para X si U es conexo y para cada aplicacin ente p : U o cubriente p : X X, existe una aplicacin continua f : U X tal que o el diagrama es conmutativo
U p
e e e e e 

f E X
p

En este caso tambin se dice que U o ms estrictamente p : U X es un e a espacio cubriente universal para X. Un espacio topolgico conexo X, no necesariamente tiene un espacio o cubriente universal p : U X, incluso si ste es conexo y localmente conexo e por trayectorias. Por ejemplo, el siguiente espacio H conocido como el arete hawaiano no tiene universal aunque es conexo y localmente conexo por trayectorias:
1 1 Cn = {(x, y) R2 | (x n )2 + y 2 = n }, n N

H=
n=1

Cn .

Denicin 2.3.3. Un espacio X es 1-conexo o simplemente conexo si o es conexo por trayectorias y (X, x) = 0 para algn punto x X (por lo u tanto para todo punto x X, (X, x) = 0). Se dice que un espacio X es semilocalmente 1-conexo si todo punto x X tiene una vecindad V tal que el homomorsmo (V, x) (X, x), inducido por la inclusin V X, es trivial. o Si para un espacio conexo y localmente conexo X existe una aplicacin o cubriente p : U X tal que U es 1-conexo, entonces p es universal. Claro, esta armacin es un corolario inmediato del Teorema de levantamiento 2.2.6. o Por otro lado, existen espacios conexos y localmente conexos por trayectorias que tienen espacios universales no 1-conexos (Vase [4], cap.2, sec.6, el e ejemplo 18). Sin embargo, todo espacio conexo localmente conexo y semilocalmente 1-conexo tiene espacio universal 1-conexo en virtud del teorema (Vase [4, Teo.13, Pag.82]). e

29 Teorema 2.3.4. (de existencia para aplicaciones cubrientes) Sea X un espacio conexo, localmente conexo, semilocalmente 1-conexo y x0 X. Entonces para todo subgrupo H de (X, x0 ), existe una aplicacin cubriente o x0 ) (X, x0 ) tal que p# (X, x0 ) = H. p : (X, Corolario 2.3.5. Un espacio conexo y localmente conexo por trayectorias tiene un espacio universal 1-conexo si y slo si X es semilocalmente 1-conexo. o

2.4.

El grupo de Galois de una aplicacin o cubriente

Segn la Denicin 1.1.1 el grupo de Galois G(p) de una aplicacin cubriu o o X, es decir, de un morsmo de la categor Cov se dene ente p : X a por G(p) = {h : X X | h es homeomorsmo y p h = p}. Los elementos de este grupo son, en efecto, isomorsmos de p en p en la categor CovX y por lo tanto a veces el grupo G(p) se llama el grupo de a automorsmos de p y se designa por Aut(X, p) (Vase [6]), tambin se llama e e el grupo de transformaciones cubrientes de p y se denota por G(X | X) en el libro [4]. El grupo de Galois G(p) acta naturalmente sobre el espacio topolgiu o Esta accin es totalmente discontinua en el sentido de la siguiente co X. o denicin. o Denicin 2.4.1. Una accin de un grupo G sobre un espacio topolgico o o o Y se llama totalmente discontinua si para cada punto y Y existe una vecindad U tal que g1 U g2 U = para todos elementos g1 , g2 G tales que g1 = g2 . Claro que todas las rbitas de una accin totalmente discontinua son o o discretas y el conjunto de puntos jos es vac o. La accin de un grupo G sobre un espacio topolgico X. Segn la o o u Denicin general 1.1.3, se entiende como un homomorsmo de grupos T : o G Homeo(X), donde Homeo(X) es el grupo de todos homeomorsmos X X, es decir, automorsmos X X de la categor Top de espacios a

30 topolgicos y funciones continuas. La frmula g x = T (g)(x) nos permite o o tratar la accin, de la manera usual, como una operacin binaria. o o Si la accin dada T es tal que ker T = {e}, es decir, para todo elemento o g = e existe x X con g x = x, se dice que la accin es el. En este o caso, ya que T es un monomorsmo, es costumbre considerar G como un subgrupo de Homeo(X) por medio de la identicacin: g T (g). En otras o palabras, se puede tratar G como un grupo de homeomorsmos de X y escribir g x = g(x). Si la accin dada : G X X es totalmente discontinua, entonces, o por supuesto, es el y por lo tanto G es un grupo de homeomorsmos. Directamente de las deniciones se puede establecer la relacin estrecha o entre las aplicaciones cubrientes y las acciones totalmente discontinuas. Proposicin 2.4.2. Si p : X X es una aplicacin cubriente de espacios o o conexos, es decir, p Cov, entonces la accin del grupo de Galois G(p) en o X es totalmente discontinua. En efecto, si x X y una vecindad abierta U de p() est parejamente x a cubierta por p, entonces existe, segn la denicin de aplicaciones cubrientes, u o una vecindad U de x tal que p|U : U U es un homeomorsmo. Para esta vecindad y todo g G(p), g = idX , se cumple U g(U ) = debido a la Proposicin 2.1.3. Por lo tanto, la accin de G(p) es totalmente discontinua. o o Por otro lado, toda accin totalmente discontinua determina una aplio cacin cubriente de acuerdo con el siguiente teorema (Vase [4, Teo.7, Pag.87]). o e Teorema 2.4.3. Dada una accin totalmente discontinua de un grupo G o en un espacio topolgico Y , la proyeccin natural G : Y Y /G es una o o aplicacin cubriente. o Por la Denicin 1.2.3, una aplicacin cubriente p : X X es transitiva o o si para cada par de puntos x, y X con p(x) = p(y) existe un homeomorsmo h G(p) tal que y = h(x). El siguiente corolario es obvio (vase la Proposicin 1.2.4). e o Corolario 2.4.4. Dada una accin totalmente discontinua de un grupo G o en un espacio topolgico Y , la proyeccin natural G : Y Y /G es una o o aplicacin cubriente transitiva. o En efecto, se puede decir ms en el caso de espacios conexos (Ver [4, a Teo.7, Pag.87]).

31 Teorema 2.4.5. Dada una accin totalmente discontinua de un grupo G en o un espacio topolgico conexo Y , el grupo de Galois de la aplicacin cubriente o o G : Y Y /G es G, G(G ) = G. Un resultado brillante en la teor de aplicaciones cubrientes es el clculo a a del grupo de Galois G(p) de una aplicacin cubriente, p Cov, en trminos o e de grupos fundamentales. Esto se realiza por medio del homomorsmo de Weyl. Explicamos en forma brve la construccin de dicho homomorsmo. (La e o descripcin detallada puede verse en [9]). o Sea h G(p) donde p : (X, x0 ) (X, x0 ) es una aplicacin cubriente de o espacios conexos por trayectorias. Sea : I X una trayectoria en X tal que (0) = x0 y (1) = h(0 ). Entonces, como p(h(0 )) = p(0 ) = x0 , la x x x trayectoria p es cerrada y determina un elemento del grupo fundamental (X, x0 ), esto es [p ] (X, x0 ). Sea H la imgen del homomorsmo a x0 ) (X, x0 ), esto es, H = p# ((X, x0 )). Se verica que p# : (X, 1. [p ] N (H), donde N (H) es el normalizador del subgrupo H en G, 2. la clase lateral derecha H[p ] no depende de la eleccin de , es o decir, si : I X es alguna otra trayectoria en X con (0) = x0 y (1) = h(0 ), entonces H[p ] = H[p ]. x Por consiguiente, se dene la funcin o : G(p) N (H)/H h H[p ], que en efecto, es un homomorsmo de grupos, llamado el homomorsmo de Weyl. Adems, es una funcin inyectiva, es decir, es un monomorsmo. a o Por otro lado, sea : I X una trayectoria cerrada con (0) = (1) = x0 tal que [] N (H) y sea : I X un levantamiento de , p = , tal que (0) = x0 (sabemos que este levantamiento existe y es unico). Si x1 ) = p# (X, x0 ), utilizando las x1 = (1), entonces se puede ver que p# (X, igualdades (X, x1 ) = [ 1 ](X, x0 )[ ], p# (X, x1 ) = [ 1 ]p# (X, x0 )[], y []1 p# (X, x0 )[] = p# (X, x0 ). La ultima igualdad es vlida ya que a [] N (p# (X, x0 )) segn la hiptesis. u o Ahora, supongamos que X (y por lo tanto, X) es localmente conexo por trayectorias. En virtud del Teorema de levantamiento 2.2.6 y la unicidad del

32 levantamiento, la condicin p# (X, x1 ) = p# (X, x0 ) implica la existencia o de un homeomorsmo unico h : X X tal que p h = p y h(0 ) = x1 . x Adems, por la condicin 2, tenemos (h) = H[]. De hecho, esto signica a o que es una funcin sobreyectiva. o Presentaremos el resmen de lo anterior mediante el teorema (Vase [4, u e Teo.2, Pag.85]). Teorema 2.4.6. Sea p : (X, x0 ) (X, x0 ) una aplicacin cubriente de o espacios conexos y localmente conexos por trayectorias. Entonces la funcin o : G(p) N (p# ((X, x0 )))/p# ((X, x0 )), es un isomorsmo de grupos, llamado el isomorsmo de Weyl. Por ultimo, establecemos la relacin entre la transitividad y la regularidad o de una aplicacin cubriente. o Sea p : X X una aplicacin cubriente transitiva. Si : I X o es una trayectoria cerrada, (0) = (1) = x0 y 1 , 2 : I X son dos levantamientos de , es decir, p 1 = p 2 = , entonces h 1 = 2 para h G(p) tal que h( 1 (0)) = 2 (0). Las trayectorias h 1 y 2 tienen el mismo inicio debido a la eleccin de h y, adems, son levantamientos de la misma o a trayectoria , esto signica que las trayectorias coinciden por la unicidad del levantamiento. En particular, 1 es cerrada si y slo si 2 es cerrada, pues h o es un homeomorsmo. Resulta que p es una aplicacin cubriente regular. o Ahora, sea p : (X, x0 ) (X, x0 ) una aplicacin cubriente regular de o espacios conexos y localmente conexos por trayectorias. Entonces N (p# ((X, x0 ))) = (X, x0 ), ya que p# ((X, x0 )) es un subgrupo normal del grupo (X, x0 ) por el Teo rema 2.2.5. Sea x1 un punto arbitrario de la bra p1 (x0 ). Si : I X une los puntos x0 y x1 , entonces, como p es cerrada, [p ] (X, x0 ), por lo x0 ))). Ya probamos anteriormente que esta ultima tanto, [p ] N (p# ((X, condicin es suciente para la existencia de un homeomorsmo h : X X o tal que p h = p y h(0 ) = x1 . Esto signica que G(p) acta transitivamente x u 1 en la bra p (x0 ) para cada x0 X. En otras palabras, p es una aplicacin o cubriente transitiva. As obtenemos el siguiente resultado tomando en cuenta el teorema 2.4.6 , (Vase tambin [4, Cor.3, Pag.86]). e e

33 Teorema 2.4.7. (i) Toda aplicacin cubriente transitiva es regular. o (ii) Toda aplicacin cubriente regular p : X X es transitiva, si los espao cios X y X son conexos y localmente conexos por trayectorias. Adems, en este caso para cada x0 X y x0 X se tiene el isomorsmo a G(p) (X, x0 )/p# ((X, x0 )). =

Cap tulo 3 Correspondencia de Galois para aplicaciones cubrientes

En este cap tulo probaremos el resultado principal de la tesis que, para una aplicacin cubriente transitiva dada p : X X, establece una biyeccin o o entre las clases de equivalencia de aplicaciones cubrientes intermedias de p y los subgrupos del grupo de Galois de esta aplicacin. o

3.1.

Tres lemas

En la Seccin 1.2 del Cap o tulo 1 ya hemos construido de manera general una correspondencia, llamada la correspondencia de Galois, para una categora con proyecciones. El Teorema 1.2.7 proporciona las condiciones su cientes y necesarias bajo las cuales esta correspondencia es biyectiva. Por tal motivo, slo tenemos que aplicar la construccin del Cap o o tulo 1 a la ca tegor de espacios topolgicos conexos cuyas proyecciones son aplicaciones a o cubrientes y vericar que las aplicaciones cubrientes transitivas satisfagan las condiciones del Teorema 1.2.7. Esto nos llevar al resultado principal de la a tesis. Preparamos la prueba de ste, por medio de los siguientes tres lemas. e Lema 3.1.1. Toda aplicacin cubriente p : X X de espacios conexos, o es decir, p Cov, es una proyeccin completa en el sentido de la denicin o o 1.1.5 si satisface una de las siguientes dos condiciones: (i) p es transitiva. (ii) X es localmente conexo. 34

35 Demostracin. Una aplicacin cubriente p : X X es completa, si para o o H todo H G(p) las aplicaciones p y H en el diagrama conmutativo X
d
p H

d d

X/H
pH c

X son aplicaciones cubrientes. Del Teorema 2.4.3, sabemos que H es una apli cacin cubriente ya que la accin de H en X es totalmente discontinua tanto o o como la accin de G = G(p) (Proposicin 2.4.2). Sin embargo, daremos una o o prueba de este hecho. La aplicaciones H : X X/H y pH : X/H X estn denidas como a H H () = H() y p (H()) = p(). El espacio orbital X/H est dotado con x x x x a la topolog cociente y, por lo tanto, H es continua y abierta pues, para todo a hU es abierto. conjunto abierto U en X, el conjunto (H )1 (H (U )) =
hH

Como p es sobreyectiva y pH H = p, la aplicacin pH tambin es o e sobreyectiva y, obviamente, es continua: si U es un conjunto abierto en X, 1 entonces el conjunto p1 (U ) = (pH H )1 (U ) = H ((pH )1 (U )) es abierto en X y, como X/H tiene la topolog cociente, esto signica que (pH )1 (U ) a es abierto en X/H. Ahora, veamos que pH y H son aplicaciones cubrientes. Sea x X y U una vecindad abierta de x cubierta parejamente por p. Sea Ux una representacin de p1 (U ) como unin disjunta de cono o
xp1 (x)

juntos abiertos en X tales que la restriccin p|Ux : Ux U es un homeomoro e 1 smo para cada x p (x). Consideramos el conjunto J de representantes de todas las H-rbitas H(), x p1 (x). As H(z) = H(z ) si z = z y o x , H(z) = p1 (x) (unin disjunta). Notemos que hUz Uz = para h = id, o
zJ

h H. Si y hUz Uz , entonces y = h(y ) para algn punto y Uz , pero u p(y) = p(h(y )) = p(y ) lo que implica que y = y , pues p|Uz es homeomorse mo, y, por lo tanto, h = id. Armamos que la restriccin o H |Uz : Uz H (Uz ) e

36 es un homeomorsmo de conjuntos abiertos para cada z J. Pues, la aplicacin H es abierta, basta vericar que H |Uz es una inyeccin (y por tanto o o e es una biyeccin) de Uz a H (Uz ). Si H (1 ) = H (x2 ) para x1 , x2 Uz , o x entonces existe h H tal que x1 = h(2 ). As hUz Uz = que es posible x , slo si h = id. Resulta que x1 = x2 y, por consiguiente, H |Uz es inyectiva. o En general, obtenemos que H |hUz : hUz H (Uz ) e es un homeomorsmo para cada h H por ser una composicin de los o 1 homeomorsmos h |hUz : hUz Uz y H |Uz . Como e e (H )1 (H (Uz )) =
hH

hUz

es una unin disjunta, concluimos que el conjunto abierto H (Uz ) est cuo a bierto parejamente por H . Esto signica que H es una aplicacin cubriente. o Por otro lado, obtenemos la siguiente representacin de (pH )1 (U ) como o una unin disjunta o (pH )1 (U ) = H (Uz )
zJ

tomando en cuenta las igualdades (pH )1 (U ) = H (p1 (U )) y H (

hH

hUz ) = H (Uz )

y la descomposicin de p1 (U ) en la siguiente unin disjunta o o p1 (U ) =

zJ hH

hUz .

Exactamente para la posibilidad de esta ultima representacin de p1 (U ), o necesitamos las condiciones adicionales (i) o (ii) para p: (ii) si X es localmente conexo, se puede asumir que U es una vecindad conexa y, por la unicidad del levantamiento de U X (vase Proposicin e o 1 2.1.3), para todo punto x p (x) simplemente tenemos que Ux = hUz , donde z J y h H son tales que z H() y x = h(z). x (i) si p es transitiva, podemos desde el inicio escoger una representacin o 1 de p (U ) como unin o g U , donde U es una vecindad abierta de algn u
gG

37 punto x0 p1 (x) tal que la restriccin p|U : U U es un homeomorsmo. o e De este modo obtenemos la unin disjunta o Ux poniendo Ux = g U ,
xp1 (x)

donde g G es tal que x = g(0 ) (es unico para x). x H Por ultimo, observemos que la restriccin p |H (Uz ) : H (Uz ) U es un o e homeomorsmo para cada z J en virtud de la igualdad p|Uz = pH |H (Uz ) H |Uz , e e e donde p|Uz y H |Uz son homeomorsmos. Esto prueba que el conjunto U e e est cubierto parejamente por pH . a Lema 3.1.2. Toda aplicacin cubriente transitiva, p Cov, es hereditariao mente transitiva en el sentido de la denicin 1.2.5. o Demostracin. Sea p : X X una aplicacin cubriente transitiva y sea o o r : X Y una aplicacin cubriente intermedia respecto a p. Debemos probar o que r es transitiva. Segn la denicin de aplicaciones intermedias existe una u o aplicacin cubriente q : Y X tal que el siguiente diagrama es conmutativo. o X
ed r r e d e d p Y pe e e q e e c 

X Fijemos un punto y Y y puntos x, x1 r1 (y). Por la conmutatividad del diagrama p() = q r() = q(y) = q r(1 ) = p(1 ) x x x x y como p es transitiva existe un homeomorsmo h : X X, h G(p), tal que p = p h y h() = x1 . Tenemos q (r h) = p h = p = q r y x rh() = r(1 ) = y = r(). Esto signica que rh y r son dos levantamientos x x x de la misma aplicacin p respecto a q y coinciden en un punto. Como X es o conexo y q es una aplicacin cubriente, por la Proposicin 2.1.3 podemos o o armar que r h = r. As h G(r) y h() = x1 y, por lo tanto, r es , x transitiva.

38 Lema 3.1.3. Si p : X X es una aplicacin cubriente de espacios conexos, o es decir, p Cov, entonces el grupo de Galois G(p) es saturado en el sentido de la denicin 1.2.6. o Demostracin. Recordemos que el grupo de Galois G = G(p) de una o proyeccin p es saturado si, para todo subgrupo H G, se cumple la igualo dad H = G(H ), donde H : X X/H es la proyeccin natural dada por o es totalmente discontinua en virtud de H (x) = H(x). La accin de G en X o la Proposicin 2.4.2. Si H es un subgrupo de G entonces, por supuesto, la o accin de H en X tambin es totalmente discontinua, y segn el Teorema o e u 2.4.5 H = G(H ).

3.2.

El teorema principal

Recordemos algunas notaciones dadas en el cap tulo 1. Dada una aplicacin cubriente p : X X, con S(p) denotaremos el o conjunto de todas las clases de equivalencia [r] de aplicaciones cubrientes intermedias r : X Y , es decir, tales que el diagrama X
r

d d
p

Y
c q

X conmuta para alguna (en efecto, unica) aplicacin q. o Dado un grupo G, usamos el s mbolo S(G) para designar el conjunto de todos subgrupos H del grupo G. En estos trminos podemos formular el resultado principal de la tesis. e

39 Teorema 3.2.1. Sea p : X X una aplicacin cubriente transitiva de o espacios conexos y sea G = G(p) su grupo de Galois. Entonces las corres pondencias de Galois : S(p) S(G) y : S(G) S(p) denidas como : [r : X Y ] G(r) : H [H : X X/H] son tales que = 1S(p) y = 1S(G) . Por lo tanto, son biyectivas. Adems, si q : Y X es la aplicacin cubriente determinada por a o r [r] S(p), es decir, tal que q r = p, entonces q es transitiva si y slo o si G(r) es un subgrupo normal en G(p). En este caso, G(q) es isomorfo a G(p)/G(r). Demostracin. La primera parte del presente teorema, es la aplicacin del o o Teorema 1.2.7, para la clase Cov de aplicaciones cubrientes de espacios topolgicos conexos como una clase de proyecciones de la categor Top. o a Primero, p es una proyeccin completa en virtud del Lema 3.1.1. Luego, se o cumple = 1S(p) ya que p es transitiva hereditariamente por el Lema 3.1.2. Por ultimo, = 1S(G) pues el grupo de Galois G(p) es saturado segn el Lema 3.1.3. u Pasamos a la segunda parte del teorema. Supongamos que r : X Y es una aplicacin cubriente transitiva. Sea g G(p). Veamos que existe una o funcin continua g : Y Y que hace conmutativo el siguiente diagrama. o
g
E

X r
c

X r

Y
d d

c E Y q

q d
d d

40 Claro que q r g = q r pues p g = p. Sea x X. Si y = r() x y y = r(g()) Y , entonces q(y) = q(y ) y, como q es transitiva, existe x un homeomorsmo g : Y Y tal que q g = q y g (y) = y . Ya que q (r g)() = p() y q (g r)() = q r() = p(), las funciones r g, g r : x x x x x X Y son dos levantamientos de p (respecto a q) que coinciden en el punto x. Como Y es conexo y q es aplicacin cubriente, concluimos que r g = g r o por la Proposicin 2.1.3. As el diagrama es conmutativo y, por la Proposicin o , o 1.2.8, G(r) es un subgrupo normal en G(p). Rec procamente, si H = G(r) es un subgrupo normal en G(p), entonces segn el Corolario 1.2.10 la aplicacin cubriente pH : X/H X es transitiva. u o Como [H ] = ([r]) = [r], es decir, las aplicaciones cubrientes intermedias H y r son equivalentes, existe un homeomorsmo h : X/H Y tal que el diagrama
X r
Y ' d d q d d d d H d d d

X/H

pH

es conmutativo. Por consiguiente, q es transitiva tanto como pH . Ahora, probaremos la ultima armacin del teorema. Vamos a denir un o homomorsmo sobreyectivo G(p) G(q) cuyo kernel ser G(r). Debido al a diagrama anterior y la normalidad del grupo H, podemos armar de acuerdo al Lema 1.2.9, que para todo homeomorsmo g G(p) existe un unico homeomorsmo g : Y Y para el cual el siguiente diagrama es conmutativo

41
g
E

X r
c

X r

Y
d d

c E Y q

q d
d d

Por lo tanto, denimos la funcin : G(p) G(q), como (g) = g . o Notemos que por la unicidad mencionada, para toda par de homeomorsmos g, f G(p) se cumple la igualdad (f g) = (f ) (g), es decir, es un homomorsmo. Veamos ahora que, en efecto, es un epimorsmo. Sea h G(q), es decir, un homeomorsmo h : Y Y con q h = q. Fijemos un punto x0 X. Al usar la sobreyectividad de r podemos encontrar un punto x1 X tal que r(1 ) = h(r(0 )). Entonces p(0 ) = q h r(0 ) = q r(1 ) = p(1 ) y, como p x x x x x x es transitiva, existe un homeomorsmo g G(p) tal que g(0 ) = x1 . Para el x homeomorsmo g = (g), tenemos g (r(0 )) = r(g(0 )) = r(1 ) = h(r(0 )) x x x x y q = q, lo que signica que g y h son levantamientos de q : Y X (respecto a q) que coinciden en el punto r(0 ) y de nuevo por la unicidad x de levantamiento (vase la Proposicin 2.1.3), g = h, esto es (g) = h. Con e o esto hemos probado que Im() = G(q). Probaremos, por n, que Ker = G(r). Si g Ker, entonces (g) = idY y, por la denicin de , idY r = r g. As r g = r, en otras palabras, o , g G(r). Por otro lado, si g G(r), entonces tenemos que (g) r = r g = r = idY r y nuevamente, por la denicin de , (g) = idY , es decir, o g Ker. Como Im G(p)/Ker en virtud del teorema fundamental del homo= morsmo, obtenemos el isomorsmo G(q) G(p)/G(r). =

3.3.

Caso de espacios localmente conexos

Para aplicaciones cubrientes regulares de espacios conexos y localmente conexos por trayectorias. Se obtiene otra versin del teorema principal en o

42 trminos de grupos fundamentales, usando el isomorsmo de Weyl para aplie caciones cubrientes y el teorema de correspondencia de teor de grupos para a su demostracin. o Teorema 3.3.1. Sea p : X X una aplicacin cubriente regular de eso pacios conexos y localmente conexos por trayectorias. Sean x X y x X tales que p() = x. x Denotamos por H al conjunto de todos los subgrupos H (X, x) tales que p# (X, x) H (X, x), es decir los subgrupos intermedios entre p# (X, x) y (X, x). Entonces existen las funciones : S(p) H : H S(p) tales que = 1H y = 1S(p) . Por lo tanto, y establecen biyeccin o entre los conjuntos H y S(p). Demostracin. Como p es regular, p# (X, x) es un subgrupo normal de o (X, x). Entonces, para todo H H, el grupo cociente H = H/p# (X, x) es un subgrupo de (X, x)/p# (X, x) y la funcin o : H S((X, x)/p# (X, x)) dada por : H H es una biyeccin segn el teorema de correspondencia o u sobre teor de grupos. Por otro lado, del Teorema 2.4.7 se tiene el isomora smo de Weyl : G(p) (X, x)/p# (X, x) que naturalmente induce la biyeccin de los correspondientes conjuntos de o subgrupos : S(G(p)) S((X, x)/p# (X, x)). Como los espacios X y X son conexos y localmente conexos por trayectorias, la aplicacin cubriente p es transitiva por ser regular debido al Teorema o 2.4.7. Por consiguiente, podemos utilizar el Teorema anterior 3.2.1 y denir : S(p) H como composicin de las biyecciones o S(p)

E S(G(p))

E S((X, x)/p (X, x)) #

1 E

43 Anlogamente se dene : H S(p) como composicin de las biyecciones a o H . La denicin de las funciones y dada en la demostracin del Teorema o o 3.3.1 se ve muy abstracta. Sin embargo, la construccin de estas correspono dencias es, en efecto, bastante sencilla. Por esta razn, se da una descripcin o o explicita de las funciones y . Vamos a mantener todas las hiptesis y notaciones aceptadas en el teoo rema y su demostracin. Supongamos que r : X Y es una aplicacin o o cubriente intermedia para la aplicacin cubriente transitiva p : X X. Esto o signica que existe una aplicacin cubriente q : Y X tal que p = q r. o Subrayamos otra vez que tal aplicacin q es unica pues r es sobreyectiva. Por o consiguiente, con la aplicacin r podemos asociar un o vocamente el subgrupo Hr = q# ((Y, y)) del grupo (X, x), donde y = r(). Sea r : X Y otra x aplicacin intermedia tal que r es equivalente a r. Entonces, para la correo spondiente aplicacin cubriente q : Y X con p = q r y y = r (), existe o x un homeomorsmo h : Y Y tal que el siguiente diagrama es conmutativo (X, x)
r

E S((X, x)/p (X, x)) #

E S(G(p))

E S(p)


h

 C 

(Y, y)

q s

r s E (Y , y )   C  q

(X, x) de acuerdo con la denicin de aplicaciones intermedias equivalentes. Por lo o tanto, q# ((Y, y)) = q# h# ((Y, y)) = q# (h# ((Y, y))) = q# ((Y , y )). Esto signica que r r Hr = Hr y la correspondencia [r] Hr determina correctamente una funcin S(p) H. Veamos que esta funcin o o coincide con , es decir, ([r]) = q# (Y, y).

44 Por la denicin de la funcin tenemos ([r]) = G(r). Para cada h o o G(r), designamos por h al conjunto de todas trayectorias : I X tales que (0) = x y (1) = h(). Segn la construccin del isomorsmo de Weyl x u o se tiene la igualdad (h) = p# (X, x)[p ] (X, x)/p# (X, x) para cada h . Sea =
hG(r)

h . Entonces (G(r)) = Im(|G(r) ) = H

donde H = {p# (X, x)[p ] | }. El grupo 1 (H) es simplemente una unin de las clases laterales estas son o (X, x)/p# (X, x) y, por eso, obtenemos elementos del grupo H 1 (H) = {[p ] | } al observar que p# (X, x) = {[p ] | h } si h = 1X . Notemos que r e es un lazo para todo ya que r( (1)) = r(h()) = r() = y y r( (0)) = r() = y x x x para algn homeomorsmo h G(r). As u , [p ] = [q r ] = q# ([r ]) para cada . Por tanto, {[p ] | } q# (Y, y). Por otro lado, si [] q# (Y, y), entonces [] = q# [] para algn lazo u [] (Y, y) que tiene un levantamiento : I X tal que (0) = x y 1 r = . Como (1) r (y) y r es transitiva, existe un homeomorsmo h G(r) para el cual h() = pero esto signica que . Obtenemos x (1), que [] = q# [] = q# [r ] = [p ] para y, por eso, {[p ] | } = q# (Y, y). Ahora, por lo anterior, podemos concluir que 1 ([r]) = q# (Y, y) esto es ([r]) = q# (Y, y). Enseguida, explicaremos en forma directa la funcin : H S(p). o

45 Supongamos que H H. Sea : I X un lazo en X tal que (0) = (1) = x y [] H. Este lazo tiene un unico levantamiento : I X tal que (0) = x y p = . Como la aplicacin cubriente p es transitiva, existe o un unico homeomorsmo h G(p) tal que h() = (1). Denotamos a este x homeomorsmo por h[] teniendo en cuenta que el punto x = w no depende de la eleccin de [] (ya que rel.{0, 1} y p = p implican o que rel.{0, 1} y, por tanto, (1) = (1); vase, por ejemplo, [4, Lema e 3, Pag.71]. Se verica que el conjunto H = {h[] | [] H} G(p) es un subgrupo de G(p) o, ms precisamente, la funcin a o : H G(p), [] h[] es un homomorsmo de grupos y H = Im. Cabe mencionar el homomorsmo surge en la construccin del isomorsmo de Weyl: es fcil ver que o a ker = p# (X, x) y el monomorsmo inducido : H/p# (X, x) G(p) es slo la restriccin del isomorsmo o o 1 : (X, x)/p# (X, x) G(p).
1 1 Por consiguiente, H = (H) y, como = , podemos armar que (H) = [H ] e

o donde, como de costumbre, H : X X/H es la proyeccin orbital. e Por ultimo observemos que la condicin = 1H probada en el Teorema o e 3.2.1 signica que, para la aplicacin cubriente q = pH : X/H X en el o diagrama conmutativo X
d
p H

d d

X/H
q c

X se tiene q# (X/H, y) = H donde y = H() (la rbita de x). x o

46

3.4.

Ejemplos

Esta seccin contiene dos ejemplos elementales que muestran la corres o pondencia de Galois establecida en el Teorema 3.2.1. Ejemplo 1 Consideremos la circunferencia de radio 1 como S 1 = {z C| |z| = 1}. La recta real R es un espacio cubriente de S 1 con aplicacin cubriente o 1 p : R S , p(x) = cos2x + isen2x = e2ix , x R. El espacio R es 1-conexo y, segn el isomorsmo de Weyl del Teorema 2.4.6, u G(p) (S 1 , 1) = Z, es decir, el grupo de Galois de p G(p) es un grupo = c clico innito. Es fcil dar una descripcin directa de G(p). Recordemos que a o el grupo de Galois de p es G(p) = {h : R R | h es homeomorsmo y p h = p}. Sea h G(p). Ntese que p h(0) = p(0) = 1, 1 S 1 , y, por lo tanto, o h(0) p1 (1) = Z. Si h(0) = n, entonces h = n , donde el homeomorsmo n : R R se dene como n (x) = x + n. Claro, como p(h(x)) = p(x), o bien, e2ih(x) = e2ix , tenemos h(x) x Z para toda x R, y, como R es conexo la funcin continua R Z, dada por x h(x) x, es constante y o su valor constante es n para cumplir h(0) = n. As , G(p) = {n | n Z}, n (x) = x + n.

Por lo tanto, el grupo G(p) es un grupo c clico innito generado por 1 , donde 1 (x) = x + 1, G(p) =< 1 >. Todo subgrupo del grupo c clico innito < 1 > es de la forma < m >=< m >, m Z+ ( Z+ = {n Z | n 0}). 1 Es decir, S(G(p)) = {Hm | Hm =< m >, m Z+ }. Ahora, aplicando el Teorema 3.2.1, encontraremos todas las clases de aplicaciones cubrientes intermedias para p que forman el conjunto S(p). Por este teorema, S(p) = {[Hm ] | m Z+ }, donde la aplicacin cubriente o Hm : R R/Hm es simplemente la proyeccin natural de R sobre el espao cio orbital R/Hm . Observemos que las rbitas de la accin de Hm en R son o o

47 exactamente las clases laterales x + mZ del subgrupo mZ de R y, por eso, R/Hm = R/mZ. Para m > 0, la aplicacin cubriente rm : R S 1 , dada por o rm (x) = cos 2x 2x + isen , m m

considerada como un epimorsmo abierto de grupos topolgicos cuyo kernel o es mZ , induce el isomorsmo de grupos topolgicos h : R/mZ S 1 denido o por h(x + mZ) = cos 2x + isen 2x m m En particular, h es un homeomorsmo. Sea q m = pHm h1 . Entonces q m : S 1 S 1 es una aplicacin cubriente (como composicin de homeomorsmo o o y aplicacin cubriente) y o q m (cos2x + isen2x) = pHm (mx + mZ) = pHm (Hm (mx)), o pero pHm (Hm mx) = p(mx) = cos2mx + isen2mx por la denicin de pH ya que pH H = p. Por consiguiente, q m (z) = z m para toda z S 1 y el diagrama
R rm
S1 ' d d d Hm d d d

R/Hm
Hm p 1

qm d
d

es conmutativo. As Hm y rm son equivalentes, esto es, [Hm ] = [rm ] en el , sentido de la Denicin 1.2.1 y, al denir r0 como idR , concluimos que o S(p) = {[rm ] | m Z+ }, o bien, S(p) = {[rm : R S 1 ] | rm (x) = e
2ix m

, m N} {[idR : R R]}.

48 Ejemplo 2 El espacio T 2 = S 1 S 1 , producto de dos circunferencias con la topolog a usual, generalmente se llama un toro. Consideremos el producto de aplicaciones cubrientes del ejemplo anterior. Claro que es de nuevo una aplicacin o 2 1 1 cubriente, p : R S S denida como p(x, y) = (e2ix , e2iy ), (x, y) R2 El espacio R2 es 1-conexo y, segn el isomorsmo de Weyl del Teorema 2.4.6, u G(p) (S 1 S 1 , (1, 1)). Como (S 1 S 1 , (1, 1)) (S 1 , 1) (S 1 , 1) y = = 1 Z, obtenemos que G(p) Z Z. Repitiendo el argumento del (S , 1) = = ejemplo 1, se prueba que, en realidad, G(p) = {mn | m, n Z}, mn (x, y) = (x + m, y + n).

En otras palabras, G(p) es un grupo abeliano libre de rango 2 generado por 10 y 01 , G(p) =< 10 , 01 >, donde 10 , 01 : R2 R2 son homeomormos denidos por 10 (x, y) = (x + 1, y) y 01 (x, y) = (x, y + 1). Todo subgrupo de G(p) es un grupo libre de rango 2, vase [2, 9, e Teo.4]. Consideremos primero el subgrupo Hmn =< m0 , 0n > con m, n N y encontraremos la clase de aplicaciones cubrientes intermedias que se asigna a Hmn segn la correspondencia de Galois. Las rbitas Hmn (x, y) de la accin u o o 2 de Hmn en R son las clases laterales (x, y) + mZ nZ, eso signica que R2 /Hmn = (R R)/(mZ nZ) R/mZ R/nZ. Usando el isomorsmo = natural R/mZ S 1 de grupos topolgicos (construido en el ejemplo 1), se o puede denir el homeomorsmo h : R2 /Hmn S 1 S 1 por h(Hmn (x, y)) = (e
2ix m

,e

2iy n

).

Tambin, como en el ejemplo 1, se pueden denir las aplicaciones cubrientes e rmn : R2 T 2 y q mn : T 2 T 2 que hacen conmutativo el diagrama.
R2 rmn
T2 ' d d d Hmn d d d

R2 /Hmn
p Hmn

q mn

d d d

T2

49 Las deniciones explicitas de rmn y q mn son rmn (x, y) = (e

2ix m

,e

2iy n

) y q mn (z, w) = (z m , wn ).

La conmutatividad del diagrama seala que [Hnm ] = [rnm ] y, por lo tanto, n para la correspondencia de Galois : S(G) S(p), obtenemos (Hmn ) = [rmn ]. Ahora, sea Hm0 =< m0 >, es decir, un subgrupo c clico innito de G(p) generado por el homeomorsmo m0 : R2 R2 , (x, y) (x + m, y). Las o rbitas Hm0 (x, y) coinciden con las clases laterales (x, y) + mZ {0} del subgrupo mZ {0} del grupo R R. Por lo tanto, el espacio orbital R2 /Hm0 coincide con (R R)/(mZ {0}) y es homeomorfo a S 1 R por medio del homeomorsmo h : R2 /Hm0 S 1 R denido como h(Hm0 (x, y)) = (e
2ix m

, y).

Tambin, como anteriormente, podemos denir las aplicaciones cubrientes e rm0 : R2 S 1 R y q m0 : S 1 R T 2 por rm0 (x, y) = (e de modo que el diagrama
R2 rm0
d d Hm0 d d d
2ix m

, y) y q m0 (z, y) = (z m , e2iy )

S 1 R'
d

R2 /Hm0
p Hm0

q m0

d d d

T2

es conmutativo. As que la clase [rm0 ] corresponde al subgrupo Hm0 bajo la correspondencia de Galois.

50

Conclusiones
En esta tesis se alcanzo el objetivo planteado, esto es: que para una aplicacin cubriente transitiva p, se establece una biyeccin entre las clases de o o equivalencia de aplicaciones cubrientes intermedias de p y los subgrupos de Galois de esta aplicacin, redactado en el teorema 3.2.1. o Para alcanzar este resultado, se construye en forma general la correspondencia de Galois para una categor de proyecciones en el teorema 1.2.7, a que proporciona condiciones sucientes y necesarias bajo las cuales tal correspondencia es biyectiva. Aplicando esta construccin a la categor de eso a pacios topolgicos conexos cuyas proyecciones son aplicaciones cubrientes y o por medio de los lemas 3.1.1, 3.1.2, y 3.1.3, se obtiene el teorema principal de la tesis 3.2.1. Adems, gracias al isomorsmo de Weyl para aplicaciones a cubrientes (teorema 2.4.7) y el teorema de correspondencia de la teor de a grupos, se logra probar, para el caso de una aplicacin cubriente reguar de o espacios conexos y localmente conexos por trayectorias otra versin del teoo rema principal en 3.3.1, para grupos fundamentales. Originalmente, la idea de nuestro trabajo tambin era investigar si exis e t propiedades duales para aplicaciones cubrientes con respecto a la teor an a de campos tales como: extensiones de campos, extensiones algebraicas, extensiones normales, extensiones separables etc. As hasta concluir con el teorema , de correspondencia de Galois para extensiones de campos. Como resultado de esta investigacin, es decir, comparacin, aparece un anexo, donde sealamos o o n cuales propiedades de la teor de aplicaciones cubrientes se pueden tratar o a redactar en trminos de la teor de campos. e a

51

Anexo
Al estudiar los cap tulos VII y VIII del libro Algebrade Lang [2], buscando resultados anlogos, o bien duales, de la Teor de Campos para aplicaa a ciones cubrientes, apareci este apndice, donde sealamos cuales conceptos o e n y resultados de la Teor de Campos tienen anlogos en la Teor de Espacios a a a Cubrientes. Los resultados se escriben en forma de una tabla comparativa, donde primero aparecen los conceptos sobre teor de campos y luego para a espacios cubrientes.
Teor de Campos a 1. E campo. 2. i : F K extensin de campos. o 3. Sea F K una extensin de camo pos. Se dice que E es un campo intermedio, F E K, si las extensiones de campos F E y E K tal que i = s j es decir, hacen conmutativo el diagrama.
' K s u e !

Aplicaciones Cubrientes 1. X espacio topolgico. o 2. p : X X aplicacin cubriente. o 3. Sea p : X X una aplicacin o cubriente. Se dice que la aplicacin o cubriente r : X Y es una aplicacin intermedia respecto a p, si exo iste una aplicacin q : Y X tal que o p = q r es decir, hacen conmutativo el diagrama. rE Y X pee q  X 4. Sea p : X X una aplicacin o cubriente. El grupo de Galois G(p) de p es el grupo de homeomorsmos h : X X, p h = p que hacen conmutativo el diagrama. X hE X pee p  X

ie j F

4. Sea i : F E una extensin de camo pos. El grupo de Galois G(E|F ) de i es el grupo de automorsmos : E E, i = que hacen conmutativo el diagrama. E' E ie i F
u e !

En la Teor de Campos clsica, en particular, en la Teor de Galois, se a a a consideran extensiones algebraicas de campos. Por lo tanto, es deseable especicar cuales aplicaciones cubrientes trataremos como algebraicas. Recorde

52 mos que una extensin E de un campo K, E K, es algebraica si todo elo emento del campo E es algebraico sobre K, es decir, es una ra de algn z u polinomio con coecientes en K. Aqu tenemos una dicultad obvia pues, en la teor de aplicaciones cubrientes no aparecen las nociones naturales duales a para conceptos como polinomio, ra Sin embargo, hay una propiedad fundaz. mental de extensiones algebraicas que podemos utilizar en nuestra denicin o de aplicacin cubriente algebraica. Esta propiedad se reeja en el siguiente o resultado [2, Lema 1, Pag.199] Sea i : K E una extensin algebraica de un campo K y sea : E E o una inmersin de E en si mismo sobre K. Entonces es un automorsmo. o En la categor de campos todo morsmo es un monomorsmo de campos, a esto es, una inmersin. Una inmersin : E E sobre K, cumple con o o (x) = x para todo elemento x K, es decir, i = i, si i : K E es la extensin dada. Al dualizar esta condicin hemos propuesto la siguiente o o denicin de aplicacin cubriente algebraica. o o Denicin Una aplicacin cubriente p : X X es algebraica si toda o o funcin continua h : X X con p h = p es un homeomorsmo. o Las aplicaciones cubrientes transitivas o regulares, bajo ciertas condiciones son algebraicas. Proposicin Toda aplicacin cubriente transitiva p : X X, donde X y o o son conexos, es algebraica. X Demostracin. Sea f : X X una funcin continua tal que p f = p o o y sea x X. Por ser p transitiva, existe h G(p) con h() = f () pues x x x, f () p1 (p()). Entonces h y f son dos levantamientos de p que coinciden x x en un punto y por la Proposicin 2.1.3 h = f . As f es homeomorsmo y o , por tanto p es algebraica. En virtud del Teorema 2.4.7 (ii) obtenemos el siguiente corolario. Corolario Toda aplicacin cubriente regular p : X X de espacios conexos o y localmente conexos por trayectorias es algebraica. Se puede intuir lo que es el concepto dual para la cerradura algebraica F de un campo F . Desde luego, es el concepto de espacio universal.

53 Armacin 1A [2, Teo 2, o Pag.203] Sea F una cerradura algebraica de un campo F y sea i : F F la correspondiente inmersin. Si j : F E es una o extensin algebraica, entonces existe o una inmersin s : E F tal que el o diagrama conmuta
F'
u e e i e e e

Armacin 1B Sea p : U X o una aplicacin cubriente universal o para un espacio conexo X. Si p : X X es una aplicacin cubrio ente, entonces existe una aplicacin o : U X tal que el dia continua f grama conmuta
U f E X
p 

s E
!

e p ee e e

As es natural considerar el concepto de un espacio universal como dual de , una cerradura algebraica, pero existen inconvenientes para hacer esto en el caso general ya que no todo espacio topolgico tiene un espacio cubriente o universal y, adems, no toda aplicacin cubriente universal es algebraica en a o el sentido de nuestra denicin, aunque todo campo tiene una cerradura o algebraica unica salvo isomorsmo. Para evitar tales obstlulos hacemos la a siguiente restriccin: o En lo que resta de este anexo slo consideramos espacios topo o lgicos X con las propiedades: o 1. X es conexo y localmente conexo por trayectorias. 2. Para X existe aplicacin cubriente universal regular p : U X. o Estas condiciones aseguran la unicidad de aplicacin cubriente universal o p : U X para un espacio X, dado en el siguiente sentido: si p : U X es una otra aplicacin cubriente universal, entonces existe un homeomorsmo o h : U U tal que p h = p. Notemos tambin que bajo estas condiciones la funcin f en la Armacin e o o 1B es, en efecto, una aplicacin cubriente. o Dada una extensin de campos F E, sabemos que el grado [E : F ] o de la extensin se puede ver como dimF E, es decir, la dimensin del espacio o o

54 vectorial E sobre F . Para el caso de aplicaciones cubrientes p : X X, el concepto dual a [E : F ] es la multiplicidad de p, denotada anlogamente a como [X : X]. Si X es conexo por trayectorias, la multiplicidad de p es igual a la cardinalidad de p1 (x) para toda x X, es decir, [X : X] = |p1 (x)|. Denicin 2A Sea i : F E una o extensin de campos. El grado de i o es [E : F ] = dimi(F ) E. Denicin 2B Sea p : X X o una aplicacin cubriente. La mulo tiplicidad de p es [X : X] = 1 |p (x)|.

Sea dada p : X X aplicacin cubriente de multiplicidad nita. Si o X es aplicacin continua tal que p h = p, de la Proposicin h : X o o 2.3.1 se tiene que h es aplicacin cubriente y, adems, la multiplicidad de h o a obviamente es igual a 1. As h es homeomorsmo y por tanto p es aplicacin , o cubriente algebraica. Para este hecho, existe un resultado anlogo en la Teor a a de Campos: Proposicin 3A Si E es una exo tensin nita de un campo F , es deo cir, [E : F ] < , entonces E es algebraica sobre F . Proposicin 3B Si la multiplicio dad de p : X X es nita, es decir, [X : X] < , entonces p es algebraica.

A continuacin proporcionamos otros pares duales de proposiciones y o deniciones. Proposicin 4A Si K F E Proposicin 4B Si p : X X, o o son extensiones de un campo K, en- r : X Y y q : Y X son aplicatonces se verica que: ciones cubrientes tales que qr = p, entonces se verica que: [E : K] = [E : F ][F : K]. [X : X] = [X : Y ][Y : X].

55 Denicin 5A Sea s : F E o una extensin algebraica. El grado o de separabilidad de s, denotado {E : F }s , es el nmero de posibles u j : E F en el diagrama.
F' i
u e e e e e

Denicin 5B Sea p : X X una o aplicacin cubriente algebraica. El o grado de separabilidad de p, de notado por {X : X}s , es el nmero u de posibles f : U X en el diagrama.
X'
e p e e e e

j E
! s

f


U p

Proposicin 6A Sean E K Proposicin 6B Sean p : X X, o o F extensiones de campos. Se tiene r : X X y q : Y X aplicaciones cubrientes tales que q r = p. [E : F ]s = [E : K]s [K : F ]s Se tiene Adems, si E es nita sobre F , a [E : F ]s es nito y [E : F ]s [E : F ]. [X : X]s = [X : Y ]s [Y : X]s Adems, si p es de multiplicidad nia ta, [X : X]s es nito y [X : X]s [X : X].

De manera natural, podemos proponer la siguiente denicin de separao bilidad para aplicaciones cubrientes: Denicin Sea p : (U , u) (X, x) una aplicacin cubriente universal. Una o o X se llama separable, si para cada x p1 (x) aplicacin cubriente p : X o , u) (X, x) que hace conmutativo el diagrama. existe f : (U
X'
e

U p

p e
e e e

56 Proposicin 7A Una extensin o o nita s : F E es separable si [E : F ]s = [E : F ]. Proposicin 7B Una aplicacin o o cubriente de multiplicidad nita p : X X es separable si y slo si o [X : X]s = [X : X]

El concepto de una extensin normal de un campo se puede denir como o sigue ([2], Cap. VII, 3): una extensin algebraica E de un campo F tal que o , es normal si para toda inmersin : E F , de E en la F E F o cerradura algebraica F de F , se cumple (E) = E, es decir, es de hecho un automorsmo de E. Ahora, presentamos una denicin equivalente que o se puede dualizarsin dicultad para el caso de aplicaciones cubrientes. Denicin 8A Sea F una ce o rradura algebraica de un campo F , j : F F . Una extensin alo gebraica i : F E, es normal si para cada par de inmer siones s1 , s2 : E F tales que s1 i = s2 i = j, existe un automorsmo : E E que hace conmutativo el diagrama. F
s1 s2 r1

Denicin 8B Sea q : U X una o aplicacin cubriente universal. Una o aplicacin cubriente algebraica o p : X X, es normal si para cada par de aplicaciones cubrientes r1 , r2 : U X tales que p r1 = p r2 = q, existe un homeomorsmo h : X X que hace conmutativo el diagrama. U
r2 h

E
s d id

s d d E E  i

X ' d pd

d d

X
p

X Proposicin 9B Si p : X X, o r : X X y q : Y X son aplicaciones cubrientes tales que q r = p y p : X X es normal, entonces r es normal.

Proposicin 9A Si F K E o son extensiones de campos y F E es normal, entonces la extensin K E es normal. o

Ahora, estamos en condiciones de denir lo que signica en nuestro caso, una aplicacin cubriente de Galois. o

57 Denicin 10A Una extensin Denicin 10B Una aplicacin o o o o X es de campos algebraica i : F E cubriente algebraica p : X es de Galois si es normal y sepa- de Galois si es normal y separable. rable. Introducimos un nuevo concepto para aplicaciones cubrientes, en efecto, bajo nuestras restricciones, tenemos el siguiente teorema. Teorema Una aplicacin cubriente p : X X es de Galois si y slo si es o o transitiva. Demostracin. Sea p : U X una aplicacin cubriente universal. Suponga o o mos que p es transitiva. Probaremos primero que p es separable. Sean u U , 1 X tal x0 = p(). Demostraremos que para toda x p (x0 ) existe f : U u que f () = x y p f = p. Como p es universal ya existe g : U X tal que u 1 p g = p. Sea x0 = g(), entonces x0 p (x0 ) y si p es transitiva, podemos u encontrar un homeomorsmo h : X X tal que h(x0 ) = x y p h = h. Obtenemos el siguiente diagrama conmutativo. U
d
p g

E X
p

hE

p d c d

X Para f = h g, tenemos f () = h(g()) = h(0 ) = x y p f = p. As p es u u x , separable. Veamos que p es normal. Sean r1 , r2 : U X tales que p r1 = p r2 . Sean u U , x1 = r1 () y x2 = r2 (). Como p es transitiva, existe un u u homeomorsmo h : X X tal que h(2 ) = x1 y p h = h. As en el x , diagrama U
r1 r2 h

X ' d pd

d d

X
p

X el tringulo inferior es conmutativo. Pero, como p r1 = p (h r2 ) y a r1 () = x1 = h(2 ) = h r2 (), concluimos que r1 = h r2 (por unicidad u x u

58 de levantamiento, vase la Proposicin 2.1.3), es decir, el tringulo superior e o a tambin es conmutativo. As p es separable. e , Ahora supongamos que p es una aplicacin cubriente de Galois. Sean o x1 , x2 p1 (x0 ) para algn punto x0 X. Si p es separable, para u u 1 , existen r1 , r2 : U X tales que p rk = p y rk () = xk , p (x0 ) U u k = 1, 2. Como p es normal, existe un homeomorsmo h : X X para el cual el diagrama U
r1 r2 h

X ' d pd

d d

X
p

X es conmutativo. En particular, h(2 ) = h(r2 ()) = r1 () = x1 , lo que prueba x u u la transitividad de p. Cabe mencionar que en algunos textos de topolog las aplicaciones cubria, entes regulares de espacios conexos y localmente conexos por trayectorias se llaman aplicaciones cubrientes de Galois. Los autores de estos textos tienen razn ya que tales aplicaciones cubrientes son transitivas. o Por ultimo, recordemos el teorema principal de la Teor de Galois y a su versin dual para las aplicaciones cubrientes probada en el cap o tulo 3 (Teorema 3.2.1) Sea F E una extensin de campos. Si i : F E es la inmersin o o correspondiente, el grupo de automorsmos G = G(E|F ) = { : E E | i = i} llamado grupo de Galois de la extensin F E, acta de forma natural o u sobre el campo E. Para cada subgrupo H G(E|F ) se puede considerar el conjunto de puntos jos EH = {x E | (x) = x para toda H}. Es fcil ver que EH es un subcampo de E, se llama el campo jo de H. Por a otro lado, si un campo K es tal que F K E, podemos hablar sobre el grupo de Galois H = G(E|K) como un subgrupo de G = G(E|F ). Ahora

59 podemos enunciar los teoremas principales de correspondencia de Galois para extensiones de campos y aplicaciones cubrientes. Teorema 11A Sea E una extensin de Galois de un campo F. Sea C el o conjunto de todos los campos intermedios K, F K E y sea S el conjunto de todos los subgrupos del grupo de Galois G = G(E|F ). Entonces las correspondencias: K H, donde H = G(E|K) H K, donde K = EH establecen biyecciones : C S y : S C tales que = 1C , = 1S . Adems, K es una extensin de Galois de F si y slo si el subgrupo a o o H = G(E|K) es normal en G. En este caso, G/H es isomorfo a G(K|F ). Teorema 11B Sea p : X X una aplicacin cubriente de Galois. Sea o C el conjunto de todos las clases de aplicaciones cubrientes intermedias [r], q r p = q r, X Y X, y sea S el conjunto de todos los subgrupos del grupo de Galois G = G(p). Entonces las correspondencias: [r] H, donde H = G(r) H [r], donde r = H : X X/H establecen biyecciones : C S y : S C tales que = 1C , = 1S . Adems, q : Y X es una aplicacin cubriente de Galois si y slo si a o o el subgrupo H = G(r) es normal en G. En este caso, G/H es isomorfo a G(q).

Bibliograf a
[1] Artin. E, Galois Theory, Addison-Wesley, segunda edicin, Indiana, o 1944. [2] Lang. S, Algebra, Addison-Wesley, Yale University, 1927. [3] Joseph Rotman, Covering Complexes with Applications to Algebra, Rocky Mountain, Journal Mathematics,Volume 3, Number 4, 1973. [4] Edwin H. Spanier, Algebraic Topology, McGraw-Hill, NewYork, 1966. [5] Graciela Salicrup, Introduccin o Matemticas UNAM, 1993. a a la Topolog a, Aportaciones

[6] Massey. W. S, Introduccin a la Topolog Algebraica , Revert, 1982. o a e [7] Michio Kuga, Galois Dream:Group Theory and Dierential Equations, Birkhuser Boston 1993 a [8] John B. Fraleigh, Algebra Abstracta, Addison-Wesley Iberoamericana, tercera edicin, Massachusetts, 1982. o [9] F. Alvarez, El Homomorsmo de Weyl y Aplicaciones Cubrientes, Tesis de Licenciatura, Puebla, 1999. [10] J Margalef R., Topologa, Alambra, Madrid, 1982.

60