Deck Transformation Group, Regular Covers
A deck transformation or automorphism of a cover p : C → X is a homeomorphism f : C → C such that p o f = p. The set of all deck transformations of p forms a group under composition, the deck transformation group Aut(p). Deck transformations are also called covering transformations. Every deck transformation permutes the elements of each fiber. This defines a group action of the deck transformation group on each fiber. Note that by the unique lifting property, if f is not the identity and C is path connected, then f has no fixed points.
Now suppose p : C → X is a covering map and C (and therefore also X) is connected and locally path connected. The action of Aut(p) on each fiber is free. If this action is transitive on some fiber, then it is transitive on all fibers, and we call the cover regular (or normal or Galois). Every such regular cover is a principal G-bundle, where G = Aut(p) is considered as a discrete topological group.
Every universal cover p : D → X is regular, with deck transformation group being isomorphic to the fundamental group π1(X).
The example p : C× → C× with p(z) = zn from above is a regular cover. The deck transformations are multiplications with n-th roots of unity and the deck transformation group is therefore isomorphic to the cyclic group Cn.
Another example: p : C* → C* with from above is regular. Here one has a hierarchy of deck transformation groups. In fact Cx! is a subgroup of Cy!, for 1 ≤ x ≤ y ≤ n.
Read more about this topic: Covering Space
Famous quotes containing the words deck, regular and/or covers:
“At twenty-two, he’d been a cowboy, a rustler, one of the best in the Sprawl.... He’d operated on an almost permanent adrenaline high, a byproduct of youth and proficiency, jacked into a custom cyberspace deck that projected his disembodied consciousness into the consensual hallucination that was the Matrix.”
—William Gibson b. (1948)
“The solid and well-defined fir-tops, like sharp and regular spearheads, black against the sky, gave a peculiar, dark, and sombre look to the forest.”
—Henry David Thoreau (1817–1862)
“And so we ask for peace for the gods of our fathers, for the gods of our native land. It is reasonable that whatever each of us worships is really to be considered one and the same. We gaze up at the same stars, the sky covers us all, the same universe compasses us. What does it matter what practical systems we adopt in our search for the truth. Not by one avenue only can we arrive at so tremendous a secret.”
—Quintus Aurelius Symmachus (A.D. c. 340–402)