How Is the Center of SU(2) Related to the Fundamental Group of SO(3)?

  • Context: Graduate 
  • Thread starter Thread starter Jim Kata
  • Start date Start date
  • Tags Tags
    So(3) Su(2)
Click For Summary
SUMMARY

The discussion centers on the relationship between the center of SU(2) and the fundamental group of SO(3). A surjective homomorphism exists from SU(2) to SO(3), with the kernel being Z/2Z, which is also the fundamental group of SO(3). The simply connected nature of SU(2) allows for a unique path from the identity to the center, projecting to a non-trivial loop in SO(3). This loop represents the single non-trivial homotopy class of loops in SO(3), establishing a clear correspondence between the fundamental group of SO(3) and the kernel of the homomorphism.

PREREQUISITES
  • Understanding of group theory, specifically the concepts of homomorphisms and kernels.
  • Familiarity with the properties of simply connected spaces.
  • Knowledge of fundamental groups and their significance in topology.
  • Basic understanding of Lie groups, particularly SU(2) and SO(3).
NEXT STEPS
  • Explore the properties of covering spaces and their relationship to fundamental groups.
  • Study the complexifications of Lie groups, focusing on SL(2,C) and PSL(2,C).
  • Investigate the implications of homotopy theory in the context of Lie groups.
  • Learn about the role of the center of a group in relation to its fundamental group.
USEFUL FOR

Mathematicians, particularly those specializing in algebraic topology and group theory, as well as students seeking to understand the connections between Lie groups and their fundamental groups.

Jim Kata
Messages
197
Reaction score
10
there's a surjective homomorphism from

a : SU(2) --> SO(3)

The kernel of this homomorphism is the center of SU(2) which is Z/2Z. Now the fundamental group of SO(3) is Z/2Z. This is a general thing.

The simplest version of my question is how is the center of SU(2) related to the fundamental group SO(3).
 
Physics news on Phys.org
Consider a path in SU(2) running from the identity to the other element in the center. Since SU(2) is simply connected, there is essentially one such path (ie, up to homotopy). Now project this path onto SO(3) using the surjective homomorphism. Since the center of SU(2) gets mapped to the identity of SO(3), this projected path starts and ends at the identity, so is a loop, and so defines an element of the fundamental group of SO(3).

To see this is a non-trivial loop, ie, can't be continuously shrunk to the constant loop, note that if we deform this loop slightly, we can mirror this deformation of the original path in SU(2) so that our new loop is the projection of this new path. Now, if it was possible to iterate this procedure until our path was shrunk to the constant loop, the corresponding path in SU(2) would have to have shrunk to the constant path as well. But remember the loop in SO(3) always has both ends at the identity, so the corresponding path in SU(2) must always have each of its endpoints at one of the two points in the center. But it's clearly impossible that we could continuously deform a path connecting two distinct points to a loop ending at a single one of the points through a series of intermediate paths always ending at the two points: there would have to be a discontinuous jump at some point. Thus this is impossible, and the loop is a representative of the single non-trivial homotopy class of loops in SO(3).

In general, if we have a simply connected space G and a surjective map of it onto another space H, the elements of the fundamental group of H are in one to one correspondence with the sheets of this covering (ie, with the elements in the preimage of a single point). In the case where G and H are groups and the map is a homomorphism, the fundamental group is isomorphic to the kernel of the map.
 
Last edited:
Thank you, that was a clear explanation. Sorry, I'm not a math guy, and prefer to just ask these questions instead of really thinking about it. I guess a follow up question would be say you look at the complexifications of the groups, is the same statement is true? The center of Sl(2,C) is isomorphic to the fundamental group of PSL(2,C) under this morphism. I think that's true, but can it be extended?

Given a surjective homorphism from a simply connected group to some other group and taking the complexifications of both the fiber group and the target group is the statement still true? That fundamental group of the complexified group in the image of the homomorphism is the same as the kernel of the homomorphism from the complexified group in the pre-image.
 
StatusX said:
Consider a path in SU(2) running from the identity to the other element in the center. Since SU(2) is simply connected, there is essentially one such path (ie, up to homotopy). Now project this path onto SO(3) using the surjective homomorphism. Since the center of SU(2) gets mapped to the identity of SO(3), this projected path starts and ends at the identity, so is a loop, and so defines an element of the fundamental group of SO(3).

To see this is a non-trivial loop, ie, can't be continuously shrunk to the constant loop, note that if we deform this loop slightly, we can mirror this deformation of the original path in SU(2) so that our new loop is the projection of this new path. Now, if it was possible to iterate this procedure until our path was shrunk to the constant loop, the corresponding path in SU(2) would have to have shrunk to the constant path as well. But remember the loop in SO(3) always has both ends at the identity, so the corresponding path in SU(2) must always have each of its endpoints at one of the two points in the center. But it's clearly impossible that we could continuously deform a path connecting two distinct points to a loop ending at a single one of the points through a series of intermediate paths always ending at the two points: there would have to be a discontinuous jump at some point. Thus this is impossible, and the loop is a representative of the single non-trivial homotopy class of loops in SO(3).

In general, if we have a simply connected space G and a surjective map of it onto another space H, the elements of the fundamental group of H are in one to one correspondence with the sheets of this covering (ie, with the elements in the preimage of a single point). In the case where G and H are groups and the map is a homomorphism, the fundamental group is isomorphic to the kernel of the map.

well done explanation
 
Jim Kata said:
there's a surjective homomorphism from

a : SU(2) --> SO(3)

The kernel of this homomorphism is the center of SU(2) which is Z/2Z. Now the fundamental group of SO(3) is Z/2Z. This is a general thing.

The simplest version of my question is how is the center of SU(2) related to the fundamental group SO(3).

SU(2) is simply connected - the homomorphism, SU(2) --> SO(3), is a covering projection.
 

Similar threads

  • · Replies 61 ·
3
Replies
61
Views
7K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K