## [Recubrimiento Universal](/es/node/63085) Definición 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 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 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 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 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 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 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 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 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.