## [Grupo de Transformaciones de Recubrimiento](/es/node/63087) Definición Para un recubrimiento p: C → X, el grupo de transformaciones de recubrimiento (o grupo de automorfismos del recubrimiento) es el grupo de homeomorfismos g: C → C tales que p ∘ g = p. La operación es la composición de homeomorfismos. Los elementos permutan las fibras y preservan la estructura de recubrimiento. ## Principio Principio Las transformaciones de recubrimiento son precisamente los automorfismos de un recubrimiento como morfismo sobre X; actúan en el espacio total conmutando con la proyección, y para recubrimientos conectados su acción codifica la simetría del recubrimiento. En el recubrimiento universal, el grupo de deck es isomorfo a π1(X) y actúa libremente y de forma propiamente discontinua. ## Demostración Demostración Para el recubrimiento universal R → S^1, el grupo de deck es el grupo de traslaciones por enteros t ↦ t + n (n ∈ Z), isomorfo a Z. Para un recubrimiento cíclico de n hojas S^1 → S^1, el grupo de deck es un grupo cíclico de orden n que actúa por rotaciones. En un recubrimiento regular (galoisiano), el grupo de deck actúa transitivamente en cada fibra. ## Aplicación incorrecta Aplicación incorrecta Llamar transformación de deck a cualquier homeomorfismo de C sin comprobar que conmuta con p, o confundir el grupo de deck con el grupo fundamental de la base sin considerar el contexto del recubrimiento universal o la elección de puntos base. Otro error es suponer que el grupo de deck siempre actúa transitivamente en las fibras en recubrimientos no regulares. ## Consecuencia Consecuencia El grupo de deck clasifica la simetría del recubrimiento: los recubrimientos regulares corresponden exactamente a aquellos cuyo grupo de deck actúa transitivamente en cada fibra, y el cociente de C por el grupo de deck recupera X. Algebraicamente, los recubrimientos corresponden a subgrupos de π1(X), y los subgrupos normales corresponden a recubrimientos regulares cuyo grupo de deck es el cociente π1(X)/H. ## Inversión Inversión La idea dual es el grupo de todos los homeomorfismos de C (sin obligación de preservar fibras) o el grupo de autómorfismos de X inducidos por automorfismos de arriba; invertir aísla simetrías globales de C que no respetan la proyección y por tanto no son automorfismos sobre X. ## Límite Límite La definición requiere homeomorfismos del espacio total que conmutan con la proyección del recubrimiento; excluye mapas que solo permutan fibras como conjuntos sin ser homeomorfismos, y excluye mapas entre recubrimientos distintos. La relación estrecha con π1(X) requiere conectividad y, para el isomorfismo, el contexto del recubrimiento universal. ## Tensión semántica Tensión semántica Existe tensión entre pensar en el grupo de deck como un grupo de simetría abstracto e identificarlo concretamente con π1(X): la identificación se sostiene en el caso del recubrimiento universal, pero puede inducir error en situaciones no universales o desconectadas. También hay tensión entre 'transformaciones de deck' y 'monodromía' cuando importan puntos base o caminos. ## Síntesis Síntesis El grupo de transformaciones de recubrimiento es el grupo de homeomorfismos que preservan las fibras de un recubrimiento; registra las simetrías del recubrimiento, determina su regularidad y—en el caso del recubrimiento universal—realiza π1(X) como el grupo que actúa cuyo cociente devuelve la base.