Un recubrimiento p: Ũ → X que es simplemente conexo (Ũ es conexo por caminos y π1(Ũ) es trivial) y que recubre X; cuando existe, el recubrimiento universal mapea sobre la base y todo otro recubrimiento conectado de X factoriza a través de él. Es único a isomorfismo (homeomorfismo) encima de X.

Principio

El recubrimiento universal realiza el levantamiento máximo de bucles: es el recubrimiento simplemente conexo cuyo grupo de transformaciones de recubrimiento es isomorfo al grupo fundamental de la base, y cada recubrimiento conectado corresponde a un subgrupo de π1(X) que aparece como estabilizador de una fibra elegida en el recubrimiento universal.

Demostración

R es el recubrimiento universal de S^1 mediante t ↦ e^{2πit}; el recubrimiento universal de un ramillete de n círculos es un árbol infinito. En cambio, espacios que no son semilocalmente simplemente conexos (por ejemplo ciertas construcciones de ramilletes que se encogen) pueden no tener recubrimiento universal: intentar construir un recubrimiento simplemente conexo fracasa porque hay bucles arbitrariamente pequeños que no se elevan a bucles triviales.

Aplicación incorrecta

Asegurar la existencia de un recubrimiento universal para cualquier espacio conectado sin la hipótesis de semilocalmente simplemente conexo, o equiparar 'recubrimiento simplemente conexo' con cualquier objeto simplemente conexo construido ad hoc en casos patológicos. Confundir simplemente conexidad local con semilocalmente simplemente conexo es un error común.

Consecuencia

Cuando existe, el recubrimiento universal proporciona un objeto canónico: π1(X) actúa libremente por transformaciones de recubrimiento en Ũ con cociente X, los recubrimientos corresponden a subgrupos de π1(X), y los cálculos de grupos de homotopía se simplifican mediante levantamientos. Muchos invariantes algebraicos y geométricos de X se estudian pasando a Ũ y a la acción de π1(X).

Inversión

Cocientar Ũ por el grupo de deck completo recupera X; la inversión del recubrimiento universal es la identificación de órbitas de la acción de π1(X), transformando un espacio simplemente conexo en otro con el grupo fundamental dado.

Límite

La existencia requiere que X sea conexo por caminos, localmente conexo por caminos y semilocalmente simplemente conexo (esta última condición es esencial). Para espacios que carecen de estas propiedades puede no existir recubrimiento universal o el candidato natural falla en ser simplemente conexo. La unicidad se entiende hasta homeomorfismo que preserve las fibras.

Tensión semántica

Hay tensión entre la noción categórica de 'objeto universal' y el recubrimiento universal topológico: el recubrimiento universal es universal entre recubrimientos por factorización, pero no en categorías arbitrarias de morfismos. Otra tensión es entre la existencia (que exige la condición semilocal) y la expectativa ingenua de que todo espacio conectado admita recubrimiento universal.

Síntesis

El recubrimiento universal es el recubrimiento simplemente conexo que, cuando existe, sirve como el levantamiento máximo de la topología de la base: único hasta homeomorfismo que preserve fibras, soporta una acción libre de π1(X) y organiza todos los recubrimientos conectados como cocientes por subgrupos del grupo de deck.