Für eine Überlagerung p: C → X ist die Decktransformationengruppe (oder Gruppe der Überlagerungsautomorphismen) die Gruppe der Homöomorphismen g: C → C mit p ∘ g = p. Die Verknüpfung ist Komposition. Elemente permutieren die Fasern und erhalten die Überlagerungsstruktur.

Prinzip

Decktransformationen sind genau die Automorphismen einer Überlagerung als Abbildung über X; sie wirken auf dem Totalraum und kommutieren mit der Projektion. Bei zusammenhängenden Überlagerungen kodiert ihre Wirkung die Symmetrie der Überlagerung. Bei der universellen Überlagerung ist die Deckgruppe isomorph zu π1(X) und wirkt frei und eigenschaftslos diskontinuierlich.

Demonstration

Für die universelle Überlagerung R → S^1 ist die Deckgruppe die Gruppe der ganzzahligen Translationen t ↦ t + n (n ∈ Z), isomorph zu Z. Für eine n‑fache zyklische Überlagerung S^1 → S^1 ist die Deckgruppe die zyklische Gruppe der Ordnung n, die durch Drehungen wirkt. Bei regulären (Galois‑)Überlagerungen wirkt die Deckgruppe transitiv auf jeder Faser.

Fehlanwendung

Jeden Homöomorphismus von C als Decktransformation zu bezeichnen, ohne zu prüfen, dass er mit p kommutiert, oder die Deckgruppe mit der Fundamentalgruppe der Basis zu verwechseln, ohne den Kontext der universellen Überlagerung oder die Wahl von Basispunkten zu beachten. Ein weiterer Fehler ist anzunehmen, die Deckgruppe wirke stets transitiv auf Fasern bei nichtregulären Überlagerungen.

Konsequenz

Die Deckgruppe klassifiziert die Symmetrie der Überlagerung: reguläre Überlagerungen entsprechen genau denen, bei denen die Deckgruppe transitiv auf jeder Faser wirkt, und der Quotient von C durch die Deckgruppe stellt X wieder her. Algebraisch entsprechen Überlagerungen Untergruppen von π1(X), und normale Untergruppen entsprechen regulären Überlagerungen mit Deckgruppe π1(X)/H.

Umkehrung

Das Gegenstück ist die Gruppe aller Homöomorphismen von C (ohne Fasererhalt), oder die Gruppe der durch Obersymmetrien induzierten Selbstabbildungen von X; die Umkehr betont globale Symmetrien von C, die die Projektion nicht respektieren und daher keine Automorphismen über X sind.

Abgrenzung

Die Definition verlangt Homöomorphismen des Totalraums, die mit der Überlagerungsprojektion kommutieren; sie schließt Abbildungen aus, die nur Fasern als Mengen permutieren ohne Homöomorphismen zu sein, und schließt Abbildungen zwischen verschiedenen Überlagerungen aus. Die enge Beziehung zu π1(X) setzt Zusammenhang und im Isomorphismusfall die universelle Überlagerung voraus.

Semantische Spannung

Spannung besteht zwischen der Auffassung der Deckgruppe als abstraktem Symmetriegruppe und ihrer konkreten Identifikation mit π1(X): Die Identifikation gilt im Kontext der universellen Überlagerung, kann aber in anderen Fällen irreführend sein. Auch besteht Spannung zwischen 'Decktransformationen' und 'Monodromie', wenn Basispunkte oder Wege relevant sind.

Synthese

Die Decktransformationengruppe ist die Gruppe der fasererhaltenden Homöomorphismen einer Überlagerung; sie zeichnet die Symmetrien der Überlagerung, bestimmt Regularität und realisiert—im Fall der universellen Überlagerung—π1(X) als wirkende Symmetriegruppe, deren Quotient die Basis ergibt.