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

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

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

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

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

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

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

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

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.