Topology of Lie groups

Health warning

This optional video is very scant on detail because it relies on ideas from topology. It goes without saying that you are welcome to explore these ideas in more depth in a project.

O(n)

0.00 In this video, we will talk about the topology of some groups we've already met, and some new ones.

Connected components

0.30 The group $O(n)=\{A\in GL(n,\mathbf{R})\ :\ A^{T}A=I\}$ is disconnected: it has two components.

Example:

If $n=2$ then $O(2)$ contains the plane rotations around the origin by any angle and the plane reflections in lines passing through the origin. The rotations $\begin{pmatrix}\cos\theta&-\sin\theta\\ \sin\theta&\cos\theta\end{pmatrix}$ form a circle as the angle $\theta$ varies; the reflections $\begin{pmatrix}\cos\theta&\sin\theta\\ \sin\theta&-\cos\theta\end{pmatrix}$ also form a circle as the line of reflection rotates (the angle the line makes with the $x$ -axis is $\theta/2$ ).

The group O(2) is topologically two circles

2.10 When we talk about whether a group is simply-connected, we're interested in loops starting and ending at the identity (marked as a dot in the figure). The subgroup of rotations in $O(2)$ contains the identity, and fails to be simply-connected because of loops which wind around the circle.

2.45 The two circles are distinguished by the value of the determinant: the rotations have determinant $1$ and form a subgroup $SO(2)\subset O(2)$ ("special" means determinant 1). The reflections have determinant $-1$ and do not form a subgroup (e.g. they don't contain the identity).

3.30 We have the same picture in all dimensions. The orthogonal group $O(n)$ has two components: $SO(n)$ of rotations and $O(n)\setminus SO(n)$ containing everything with determinant $-1$ (including reflections, but also other things when $n>2$ ). Recall that any orthogonal matrix $M$ has determinant $\pm 1$ because $1=\det(I)=\det(M^{T}M)=\det(M)^{2}$ .

Loops up to homotopy

4.35 Let's focus on $SO(n)$ , $n\geq 3$ . The loop $\begin{pmatrix}\cos\theta&-\sin\theta&0&\cdots&0\\ \sin\theta&\cos\theta&0&\cdots&0\\ 0&0&1&&\vdots\\ \vdots&\vdots&&\ddots&0\\ 0&0&\cdots&0&1\end{pmatrix}$ turns out to be non-contractible in $SO(n)$ when $n\geq 3$ (i.e. there is no nullhomotopy), so this is not a simply-connected group. However, if you go twice around this loop, you get something nullhomotopic. That is $\begin{pmatrix}\cos 2\theta&-\sin 2\theta&0&\cdots&0\\ \sin 2\theta&\cos 2\theta&0&\cdots&0\\ 0&0&1&&\vdots\\ \vdots&\vdots&&\ddots&0\\ 0&0&\cdots&0&1\end{pmatrix}$ is nullhomotopic (if you're interested in why, look up the Dirac spanner trick).

7.00 In fact there are precisely two "homotopy classes" of loops in $SO(n)$ for $n\geq 3$ (the fundamental group of $SO(3)$ is $\mathbf{Z}/2$ ). There is another group $\mathrm{Spin}(n)$ and a 2-to-1 homomorphism $\mathrm{Spin}(n)\to SO(n)$ such that $\mathrm{Spin}(n)$ is simply-connected. At the level of Lie algebras, $\mathfrak{spin}(n)$ and $\mathfrak{so}(n)$ are isomorphic but the corresponding groups are not isomorphic. The case $n=3$ is discussed in detail in another video and you can do a project about spin groups if you're interested.

Universal covers

9.15 More generally, using some ideas from topology, one can prove the following:

Theorem:

For any Lie group $G$ there is a simply-connected Lie group $\tilde{G}$ and a homomorphism $F\colon\tilde{G}\to G$ such that $F_{*}\colon\tilde{\mathfrak{g}}\to\mathfrak{g}$ is an isomorphism. $\tilde{G}$ is called the universal cover of $G$ .

In particular, Lie's theorem about exponentiating homomorphisms applies to the universal cover of any group. However, it would be nice to give some explicit examples of simply-connected groups. We're going to need to introduct one more non-simply-connected example first...

Unitary groups

Definition:

11.00 Define the unitary group $U(n)=\{M\in GL(n,\mathbf{C})\ :\ M^{\dagger}M=I\}$ . Here, $M^{\dagger}:=\bar{M}^{T}$ (i.e. you transpose your matrix and take the complex-conjugate of all the entries).

11.55 The unitary group is not simply-connected: the determinant of a unitary matrix is a unit complex number because $1=\det(I)=\det(M^{\dagger}M)=\overline{\det(M)}\det(M)$ . Therefore we get a map $\det\colon U(n)\to U(1)$ . The figure below shows a cartoon picture of how $U(n)$ lives over $U(1)$ , and indicates a nontrivial loop in $U(n)$ which projects to a nontrivial loop in $U(1)$ . An explicit example of such a loop in $U(2)$ is $\begin{pmatrix}e^{i\theta}&0\\ 0&1\end{pmatrix}$ .

Special unitary groups

13.55 The subgroup $SU(n)=\{M\in U(n)\ :\ \det(M)=1\}$ (the fibre over $1$ of $\det\colon U(n)\to U(1)$ ) turns out to be a simply-connected group (for all $n$ ).

SU(2)

14.55 First consider $n=2$ . In another video about $SU(2)$ we see that $SU(2)$ consists of all matrices $\begin{pmatrix}a&b\\ -\bar{b}&\bar{a}\end{pmatrix}$ such that $|a|^{2}+|b|^{2}=1$ . We can therefore identify $SU(2)$ with the 3-dimensional sphere $S^{3}$ , in other words the set of points $(\mathrm{Re}(a),\mathrm{Im}(a),\mathrm{Re}(b),\mathrm{Im}(b))$ in 4-dimensional space such that $(\mathrm{Re}(a))^{2}+(\mathrm{Im}(a))^{2}+(\mathrm{Re}(b))^{2}+(\mathrm{Im}(b)% )^{2}=1$ . This is not to be confused with the 2-dimensional sphere $S^{2}$ of everyday experience, which is the unit sphere in 3-dimensional space. The number of dimensions is the number of coordinates we need to specify a point on the surface of the sphere, which is 2 (latitude and longitude) for the everyday sphere $S^{2}$ , but 3 for $S^{3}$ .

17.45 The space $S^{3}$ is well-known to be simply-connected. You can prove it using Van Kampen's theorem, but this proof belongs in a topology course.

SU(n)

18.00 You can show that $SU(n)$ is simply-connected by induction on $n$ . The sketch proof is as follows. $SU(n+1)$ acts by rotations on $\mathbf{C}^{n+1}$ , so preserves the unit sphere $S^{2n+1}\subset\mathbf{C}^{n+1}$ . We therefore get a map $SU(n+1)\to S^{2n+1}$ , $M\mapsto Mv$ for some fixed unit vector $v\in S^{2n+1}$ . The preimage of any $w\in S^{2n+1}$ , which is the set of $M\in SU(n+1)$ such that $Mv=w$ , is a copy of $SU(n)$ . The map $SU(n+1)\to S^{2n+1}$ is a special kind of map called a fibration with fibres $SU(n)$ , and if the fibre ( $SU(n)$ ) and base ( $S^{2n+1}$ ) of a fibration are both simply-connected then so is the total space ( $SU(n+1)$ ). Again, this argument goes way beyond our course, but it is reassuring to know that there are many natural examples of simply-connected Lie groups.

Noncompact groups

21.25 The examples given so far are all compact groups, that is topologically closed groups of matrices whose matrix entries are bounded. There are plenty of noncompact matrix groups, like $GL(n,\mathbf{R})$ (it contains matrices with arbitrarily large entries).

22.20 It turns out that any noncompact group deformation-retracts onto a compact subgroup (any so-called "maximal compact subgroup"). This is a fancy way of saying that the noncompact group can be squished down to the compact subgroup without changing the topology, just like how the plane minus a point can be shrunk to a circle (indeed, this is the example of $GL(1,\mathbf{C})$ retracting onto $U(1)$ ).

The plane minus a point can be shrunk to a circle

23.30 For example:

$SU(n)\subset SL(n,\mathbf{C})$ is a maximal compact subgroup, so $SL(n,\mathbf{C})$ is simply-connected;
$SO(n)\subset SL(n,\mathbf{R})$ is a maximal compact subgroup, so $SL(n,\mathbf{R})$ is not simply-connected;
$U(n)\subset GL(n,\mathbf{C})$ is a maximal compact subgroup, so $GL(n,\mathbf{C})$ is not simply-connected;
$O(n)\subset GL(n,\mathbf{R})$ is a maximal compact subgroup so $GL(n,\mathbf{R})$ is not simply-connected.

24.45 These results can be proved using the polar decomposition of our matrices. For example, an element of $GL(1,\mathbf{C})$ can be written as $(re^{i\theta})$ for some $r>0$ , and the positive real numbers retract onto the subset $\{1\}$ .