John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
John Stillwell - Naive Lie Theory.pdf - Index of
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
188 9 Simply connected <strong>Lie</strong> groups<br />
Thus we have three <strong>Lie</strong> groups with the same <strong>Lie</strong> algebra: O(2),SO(2),<br />
and R. These groups can be distinguished algebraically in various ways<br />
(exercises), but the most obvious differences between them are topological:<br />
• O(2) is not path-connected.<br />
• SO(2) is path-connected but not simply connected, that is, there is a<br />
closed path in SO(2) that cannot be continuously shrunk to a point.<br />
• R is path-connected and simply connected.<br />
Another difference is that both O(2) and SO(2) are compact, that is, closed<br />
and bounded, and R is not.<br />
As this chapter unfolds, we will see that the properties <strong>of</strong> compactness,<br />
path-connectedness, and simple connectedness are crucial for distinguishing<br />
between <strong>Lie</strong> groups with the same <strong>Lie</strong> algebra. These properties are<br />
“squeezed out” <strong>of</strong> the <strong>Lie</strong> group G when we form its <strong>Lie</strong> algebra g, and<br />
we need to put them back in order to “reconstitute” G from g. In particular,<br />
we will see in Section 9.6 that G can be reconstituted uniquely from<br />
g if we know that G is simply connected. But before looking at simple<br />
connectedness more closely, we study another example.<br />
Exercises<br />
9.1.1 Find algebraic properties showing that the groups O(2), SO(2), andR are<br />
not isomorphic.<br />
From the circle group S 1 = SO(2) and the line group R we can construct three<br />
two-dimensional groups as Cartesian products: S 1 × S 1 , S 1 × R,andR × R.<br />
9.1.2 Explain why it is appropriate to call these groups the torus, cylinder, and<br />
plane, respectively.<br />
9.1.3 Show that the three groups have the same <strong>Lie</strong> algebra. Describe its underlying<br />
vector space and <strong>Lie</strong> bracket operation.<br />
9.1.4 Distinguish the three groups algebraically and topologically.<br />
9.2 Three groups with the cross-product <strong>Lie</strong> algebra<br />
At various points in this book we have met the groups O(3), SO(3), and<br />
SU(2), and observed that they all have the same <strong>Lie</strong> algebra: R 3 with the<br />
cross product operation. Their <strong>Lie</strong> algebra may also be viewed as the space