Covering group

From Wikipedia, the free encyclopedia

In mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p : G → H is a continuous group homomorphism. The map p is called the covering homomorphism.

Contents 1 Properties 2 Group structure on a covering space 3 Universal covering group 4 Lie groups 5 Examples 6 References

[edit] Properties

Let G be a covering group of H. The kernel K of the covering homomorphism is just the fiber over the identity in H and is a discrete normal subgroup of G. K is a closed subgroup of G if and only G is Hausdorff (and if and only if H is Hausdorff). If G is connected then K necessarily lies in the center of G and is therefore abelian. Going in the other direction, if G is any topological group and K is a discrete normal subgroup of G then the quotient map p : G → G/K is a covering homomorphism.

As with all covering spaces, the fundamental group of G injects into the fundamental group of H. If G is path-connected then the the quotient group π₁(H) / π₁(G) is isomorphic to K. Since the fundamental group of a topological group is always abelian, every covering group is a normal covering space. The group K acts simply transitively on the fibers (which are just left cosets) by right multiplication. The group G is then a principal K-bundle over H.

If G is a covering group of H then the groups G and H are locally isomorphic. Moreover, given any two connected locally isomorphic groups H₁ and H₂, there exists a topological group G with discrete normal subgroups K₁ and K₂ such that H₁ is isomorphic to G/K₁ and H₂ is isomorphic to G/K₂.

[edit] Group structure on a covering space

Let H be a topological group and let G be a covering space of H. If G and H are both path-connected and locally path-connected, then for any choice of element e* in the fiber over e ∈ H, there exists a unique topological group structure on G, with e* as the identity, for which the covering map p : G → H is a homomorphism.

The construction is as follows. Let a and b be elements of G and let f and g be paths in G starting at e* and terminating at a and b respectively. Define a path h : I → H by h(t) = p(f(t))p(g(t)). By the path-lifting property of covering spaces there is a unique lift of h to G with initial point e*. The product ab is defined as the endpoint of this path. By construction we have p(ab) = p(a)p(b). One must show that this definition is independent of the choice of paths f and g, and also that the group operations are continuous.

[edit] Universal covering group

If H is a path-connected, locally path-connected, and semilocally simply connected group then it has a universal cover. By the previous construction the universal cover can be made into a topological group with the covering map a continuous homomorphism. This group is called the universal covering group of H. There is also a more direct construction which we give below.

Let PH be the path group of H. That is, PH is the space of paths in H based at the identity together with the compact-open topology. The product of paths is given by pointwise multiplication, i.e. (fg)(t) = f(t)g(t). This gives PH the structure of a topological group. There is a natural group homomorphism PH → H which sends each path to its endpoint. The universal cover of H is given as the quotient of PH by the normal subgroup of null-homotopic loops. The projection PH → H descends to the quotient giving the covering map. One can show that the universal cover is simply connected and the kernel is just the fundamental group of H. That is, we have a short exact sequence

where is the universal cover of H. Concretely, the universal covering group of H is the space of homotopy classes of paths in H with pointwise multiplication of paths. The covering map sends each path class to its endpoint.

[edit] Lie groups

The above definitions and constructions all apply to the special case of Lie groups. In particular, every covering of a manifold is a manifold, and the covering homomorphism becomes a smooth map. Likewise, given any discrete normal subgroup of a Lie group the quotient group is a Lie group and the quotient map is a covering homomorphism.

Two Lie groups are locally isomorphic if and only if the their Lie algebras are isomorphic. This implies that a homomorphism φ : G → H of Lie groups is a covering homomorphism if and only if the induced map on Lie algebras

is an isomorphism.

[edit] Examples

• The universal covering group of the circle group T is the additive group of real numbers R with the covering homomorphism given by the exponential function exp : R → T. The kernel of the exponential map is isomorphic to Z.
• For any integer n we have a covering group of the circle by itself T → T which sends z to zⁿ. The kernel of this homomorphism is the cyclic group consisting of the nth roots of unity.
• The rotation group SO(3) has as a universal cover the group SU(2) which is isomorphic to the group of unit quaternions Sp(1). This is a double cover since the kernel has order 2.
• The unitary group U(n) is covered by the compact group T × SU(n) with the covering homomorphism given by p(z, A) = zA. The universal cover is just R × SU(n).
• The special orthogonal group SO(n) has a double cover called the spin group Spin(n). For n ≥ 3, the spin group is the universal cover of SO(n).
• For n ≥ 2, the universal cover of the special linear group SL(n, R) is not a matrix group (i.e. it has no faithful finite-dimensional representations).

[edit] References

• Portryagin, Lev S. (1986). Topological Groups, trans. from Russian by Arlen Brown and P.S.V. Naidu, 3rd ed., New York: Gordon and Breach Science Publishers. ISBN 2-88124-133-6.