Covering groups

Given a Lie group G with Lie algebra g we can construct a new group G~ with the same Lie algebra in the following way: first, one forms the path group comprised of paths in G emanating from id (not ending anywhere in particular), then identifies paths which are equivalent by an endpoint-preserving homotopy and obtain

G~={[γ]:[0,1]γG,γ(0)=id}

One may multiply these paths pointwise, which is well-defined on homotopy classes again, and obtain a group.
There is an obvious homomorphism

p:G~G

which just forgets the path and keeps its endpoint.

We can topologize G~ correctly, simply taking sufficiently small connected neighborhoods in G and lift them to connected neighborhoods in G~.

This group is called the universal covering group of G. It turns out that the kernel of p is a discrete subgroup K of Z(G~), the center of the group (see result in Lie group). In fact, for every discrete subgroup K of Z(G~), G~ is the universal covering of

G~/K

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 Z(G~). The maximal element is the proper G~=G~/{e} and the minimal element is G~/Z(G~).
Also, we have that the first homotopy group let us recover the subgroup of Z(G~):

π1(G~/K,e)K

Important examples are:

exp:RSO(2)

with

exp(t)=(cos(t)sin(t)sin(t)cos(t))SO(2)

or exp(t)=eitSU(1).

It can be shown that π1(SO(2),id)=Z.

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 SO(3) , say SO(3)~, can also be pictured as S3, that is, a filled sphere with the whole shell identified with one point.
Pasted image 20220918131123.png

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 M,

G×MM

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 mM. Keep an eye: the action must be transitive and free.
Pasted image 20220918131625.png
But what about the universal covering group? If we imagine the action of G~ over M, we have nothing new respect to G, so to visualize G~ we must consider the action of G~ over a broader manifold M~.
My idea is something like:

σm:[0,1]M

with σm(t)=γ(t)m.

M~={[σm]}

For example, we can consider SO(2) acting over S1. The universal covering group R acts over a spring, a 3D spiral. A doubled covering would have yield the square root Riemann surface.
so2covering.jpg

In the case of SO(3), that naturally acts over S2 but not in a free way, this expanded manifold is difficult to visualize. Remember that SO(3) does act in a free and transitive way over S(S2)... See visualization of Lie groups.