Pour un revêtement p : C → X, le groupe des transformations de revêtement (ou groupe des automorphismes de revêtement) est le groupe des homéomorphismes g : C → C tels que p ∘ g = p. La loi de groupe est la composition des homéomorphismes. Les éléments permutent les fibres et préservent la structure de revêtement.

Principe

Les transformations de revêtement sont exactement les automorphismes d'un revêtement en tant que morphisme au‑dessus de X ; elles agissent sur l'espace total en commutant avec la projection, et pour les revêtements connexes leur action encode l'information de symétrie du revêtement. Pour un revêtement universel, le groupe de deck est isomorphe à π1(X) qui agit librement et proprement discontinu.

Démonstration

Pour le revêtement universel R → S^1, le groupe de deck est le groupe des translations entières t ↦ t + n (n ∈ Z), isomorphe à Z. Pour un revêtement cyclique à n feuilles S^1 → S^1, le groupe de deck est un groupe cyclique d'ordre n agissant par rotation. Pour un revêtement régulier (galoisien), le groupe de deck agit transitivement sur chaque fibre.

Mauvaise application

Qualifier d'automorphisme de deck tout homéomorphisme de C sans vérifier qu'il commute avec p, ou confondre le groupe de deck avec le groupe fondamental de la base sans noter la nécessité d'utiliser le revêtement universel ou de choisir des points de base. Autre erreur : supposer que le groupe de deck agit toujours transitivement sur les fibres pour des revêtements non réguliers.

Conséquence

Le groupe de deck classe les symétries du revêtement : les revêtements réguliers correspondent exactement à ceux pour lesquels le groupe de deck agit transitivement sur chaque fibre, et le quotient de C par le groupe de deck reconstruit X. Algébriquement, les revêtements correspondent à des sous‑groupes de π1(X), et les sous‑groupes normaux correspondent aux revêtements réguliers dont le groupe de deck est le quotient π1(X)/H.

Inversion

L'idée duale est le groupe de tous les homéomorphismes de C (sans obligation de préserver les fibres) ou le groupe des automorphismes de X induits par des automorphismes du dessus ; l'inversion isole des symétries globales de C qui ne respectent pas la projection de revêtement et ne sont donc pas des automorphismes au‑dessus de X.

Limite

La définition exige des homéomorphismes de l'espace total qui commutent avec la projection de revêtement ; elle exclut les applications qui ne font que permuter les fibres comme ensembles sans être homéomorphismes, et exclut les applications entre revêtements distincts. Le lien étroit avec π1(X) requiert la connexité et, pour l'isomorphisme, le contexte du revêtement universel.

Tension sémantique

Tension entre considérer le groupe de deck comme un groupe de symétrie abstrait et l'identifier concrètement à π1(X) : l'identification vaut dans le contexte du revêtement universel mais peut induire en erreur dans des situations non universelles ou déconnectées. Tension aussi entre 'transformations de deck' et 'monodromie' lorsque les points de base ou les chemins entrent en jeu.

Synthèse

Le groupe des transformations de revêtement est le groupe des homéomorphismes préservant les fibres d'un revêtement ; il enregistre les symétries du revêtement, caractérise la régularité, et—dans le cas du revêtement universel—réalise π1(X) comme le groupe d'action dont le quotient restitue la base.