El espacio recubridor universal

Definición 1. Sea p: Y → X una aplicación recubridora tal que p(y0) = x0. Si Y es simplemente
conexo se denomina Espacio de Recubrimiento Universal de X.

Como π1(Y, y0) es trivial, también lo es p∗(π1(Y, y0)) ⊂ π1(X, x0).

No todos los espacios tienen un espacio de recubrimiento universal, aunque éste existe en muchos
casos. Para construirlo necesitaremos una propiedad extra.

Definición 2. Un espacio X se dice que es semilocalmente simplemente conexo cuando ∀x ∈ X

existe un entorno U tal que inc∗(π1(U, x)) es el grupo trivial (siendo inc la inclusión de U en X)

Teorema 1. Sea X conexo por caminos, localmente conexo por caminos y

semilocalmente simplemente conexo. Entonces tiene un espacio de recubrimiento universal.

Demostración. Supongamos X con las propiedades mencionadas. Dado x0 ∈ X definimos E = {[γ]: γ :

I → X, γ(0) = x0} (clases de caminos comenzando en x0 ) y definimos p : E → X mediante p([γ]) = γ(1)

Sea U la familia de entornos conexos por caminos de los puntos de X tales que U ∈ U implica
inc∗(π1(U, x)) = {0} (Como son conexos por caminos da igual el punto x), si V conexo por caminos y
V ⊂ U se tiene V ∈ U. Por tanto, tenemos una base de entornos de X

Definimos una base de entornos de E mediante U[γ] = {[γ * η]: η : I → U, η(0) = γ(1)}

p|U[γ] : U[γ] → U es suprayectiva por ser U conexo por caminos. Es además inyectiva puesto que si
η, η’ son dos caminos tales que η(0) = η’(0) = γ(1) y η(1) = η’(1) entonces η ∼ η’ en X por ser
semilocalmente simplemente conexo y entonces [γ * η] = [γ * η’] . Es decir p|U[γ] es una biyección
que hace p(U[γ]) = U.

Se tiene ademas que si [γ’] ∈ U[γ] entonces U[γ] = U[γ’] dado que entonces γ’ = γ * η y por tanto U[γ’] =
{[γ * η*µ] : µ : I → U, µ(0) = (γ * η)(1)} pero entonces cada η*µ será un camino en U y
U[γ’] ⊂ U[γ] e intercambiando γ y γ’ tenemos la igualdad

Sea U[γ] ∩ V[γ’] ≠ Ø existirá W ∈ U, W ⊂ U ∩ V y existirá [γ’’] ∈ U[γ] ∩ V[γ’] como U[γ’’] = U[γ], V[γ’’] = V[γ’]
tendremos W[γ’’] ⊂ U[γ’’] ∩ V[γ’’] = U[γ] ∩ V[γ’] y por tanto los U[γ] son, en efecto, base de entornos de
E.

Una vez definida la topología en E tenemos que p|U[γ] es un homeomorfismo, pues como p(U[γ]) =
U es una aplicación abierta y si A ⊂ X abierto ∀x ∈ A y ∀U entorno de x existe V ∈ U ,
V ⊂ U pues U base de entornos de X, además existe γ camino de x0 a x y entonces p(V[γ]) = V ⊂ U y
p continua.

Además, es aplicación recubridora puesto que si U[γ] ∩U[γ’] ≠ Ø entonces U[γ] = U[γ’]

Consideremos [x0] ∈ E (clase camino cte), dado [γ] ∈ E definimos µτ (t) = γ(tτ ) entonces [µτ ] ∈ E y Λ
: I → E tal que Λ(t) = [µt] es un camino de [x0] a [γ] por tanto E es conexo por caminos
Sea 𝛾̂ un lazo en E basado en [x0] entonces p𝛾̂ es un lazo en X basado en x0 definimos µτ(t) = pγ(tτ)
entonces 𝜇̂ (t) =[µτ] es un levantamiento de p𝛾̂ en E comenzando en [x0] y por la unicidad de los
levantamientos 𝛾̂(t) = 𝜇̂ (t) ∀t ∈ I . Por tanto H(s, t) = [µτ(s)] es una homotopía de c[x0] a 𝛾 y E es
simplemente conexo.
Hemos construido por tanto el espacio de recubrimiento universal.

Dado que las variedades conexas, y por tanto las superficies de Riemann son lo- calmente
conexas por caminos y localmente simplemente conexas (luego también
semilocalmente) se deduce que siempre tienen espacio de recubrimiento universal.

Teorema 2. Sea p : Y → X una aplicación recubridora siendo Y simplemente

conexo. Sea q : Z → X una aplicación recubridora cualquiera . Existe una aplicación recubridora
s: Y → Z que hace conmutativo el diagrama

Demostración. Sea x0 ∈ X escogemos y0, z0 tales que p(y0) = q(z0) = x0. Como p∗(π1(Y, y0)) ⊂
q∗(π1(Z, z0)) por ser el sugbrupo trivial, podemos levantar p a una única aplicación continua
s : Y → Z , tal que p = q.s

Corolario 1. Con la notación anterior s: Y → Z es un espacio de recubrimiento universal de Z.

Corolario 2. Si Y y Z son espacios de recubrimiento universal de X son equivalentes.

Corolario 3. Si X es simplemente conexo toda aplicación recubridora es un homeomorfismo

p:Y→X

La acción del grupo fundamental sobre un espacio de recubrimiento universal.

Hemos visto que dado un espacio de recubrimiento p: Y → X las imágenes por el homomorfismo p
de los grupos π1(Y, y) siendo y ∗∈ p−1(x) son subgrupos
1
conjugados de π1(X, x).
Nos preguntamos por el recíproco: Dada una clase de equivalencia [H] de subgrupos conjugados
de π1(X, x) ¿Existirá un espacio de recubrimiento y una aplicación recubridora p : Y → X tal que p∗
genere dichos subgrupos? Vamos a ver que si existe el espacio de recubrimiento universal la
respuesta es afirmativa.

Supongamos que q : E → X es una aplicación recubridora universal y sean x0 ∈ X y e0 ∈ q−1(x0)

Dado un punto cualquiera e existirá

0
un camino 𝛾̂ desde e0 hasta e , denotaremos por γ = q. 𝛾̂, que
será un camino de x0 a q(e) Como E es simplemente conexo todos los caminos 𝛾̂ que unen e0 con
e son homótopos y por tanto también lo serán las proyecciones γ que unen x0 con q(e).
Si [δ] ∈ π1(X, x0) consideremos la acción por la derecha sobre q−1(x0) que aplicará e0 en un punto e1
∈ q−1(x0). Existe un único∈ levantamiento de γ comenzando en e1 que denotaremos 𝛾̃ que terminará
en un punto e’ = 𝛾̃ (1) ∈ q−1(q(e)) . Como todos los posibles γ son homótopos, el punto e’ sólo
depende de e y de la clase [δ]. Hemos por tanto definido una aplicación
Υ : E × π1(X, x0) → E (e, [δ]) → e.[δ] = e’

Proposición 1. La aplicación Υ : E × π1(X, x0) → E es un acción de grupo por la derecha sobre el

conjunto E.

Demostración. Es consecuencia directa de que π1(X, x0) actúa por la derecha sobre q−1(x0)

Dado un subgrupo G ⊂ π1(X, x0) podemos definir una relación de equivalencia en E del siguiente
modo
e ∼ e’ ⇐⇒ ∃g ∈ G : e.g = e’

Se comprueba fácilmente que es una relación de equivalencia. Denotaremos por E/G al conjunto
de clases de equivalencia (órbitas)

Proposición 2. El subgrupo de π1(X, x0) estabilizador de e es el subgrupo trivial ∀e ∈ E y la acción

es por tanto sin puntos fijos (libre).

Demostración. El levantamiento de γ comenzando en 𝛼̃ [1] ( siendo 𝛼̂ el levantamiento de α

�
comenzando en e0 ) termina en e . Entonces el levantamiento de γ− comenzando en e termina
𝛼̂[1] y por la unicidad del levantamiento tendremos 𝛼̂[1] = e0 y α será homotopo al lazo constante.

Teorema 3. ∀G subgrupo de π1(X, x0) , el espacio Y = E/G y p : Y → X p(eG) = q(e) constituyen

una aplicación recubridora cuyo número de hojas es el índice de G en π1(X, x0) y tal que las
imágenes por p∗ de los grupos π1(Y, y0) para los distintos y0 ∈ p−1(x0) son las clases de
conjugación de G.