Covering groups
Given a Lie group
One may multiply these paths pointwise, which is well-defined on homotopy classes again, and obtain a group.
There is an obvious homomorphism
which just forgets the path and keeps its endpoint.
We can topologize
This group is called the universal covering group of
That is, the set of all the groups with the same universal covering group forms a lattice, in correspondence with the lattices of discrete subgroups of
Also, we have that the first homotopy group let us recover the subgroup of
Important examples are:
- For a simply connected group the universal covering group is itself.
is the universal covering group of . The covering map is
with
or
It can be shown that
- The universal covering group for
is . The plate trick shows that it is a double cover ( ). We can watch it if we think in topological terms. Represent like a half sphere (filled). We have axis of rotation (direction of the arrow) and angle of rotation (length of the arrow up to ). The half shell and the center point are identified (the identity element).
On the left, the green path represents a full rotation. It cannot be deformed to the identity. But on the right, the red path represents twice a full rotation. We can move the bottom point to the upper one, along the shell, and then contract to the identity at the center of the sphere.
The universal covering for
- In general, the universal covering group for
, for , is denoted by and is a double covering. - More interesting examples at Wikipedia (universal covering group).
On the other hand, when we want to visualize a group (see visualization of Lie groups), I unconsciously think of a manifold invariant over the group action, say
and keep track of how a single point change by the group action (piece of the orbit). With even more imagination we can imagine the simultaneous orbits of all the points
But what about the universal covering group? If we imagine the action of
My idea is something like:
- Assume that the action of
over is transitive and free: given , for every other we have such that . - Give a piece of bread to a point
and apply to it all the paths in before taking classes (denote it ). - In the movement of every point, we leave bread crumbs like Hansel and Gretel. We obtain a very big set: the paths followed by every
when we apply
with
- We take equivalence class here: we identify bread-crumbs-paths that can be continuously deformed to each other
For example, we can consider
In the case of