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.
9<br />
Simply connected <strong>Lie</strong> groups<br />
PREVIEW<br />
Throughout our exposition <strong>of</strong> <strong>Lie</strong> algebras we have claimed that the structure<br />
<strong>of</strong> the <strong>Lie</strong> algebra g <strong>of</strong> a <strong>Lie</strong> group G captures most, if not all, <strong>of</strong> the<br />
structure <strong>of</strong> G. Now it is time to explain what, if anything, is lost when we<br />
pass from G to g. The short answer is that topological information is lost,<br />
because the tangent space g cannot reveal how G may “wrap around” far<br />
from the identity element.<br />
The loss <strong>of</strong> information is already apparent in the case <strong>of</strong> R,O(2), and<br />
SO(2), all <strong>of</strong> which have the line as tangent space. A more interesting case<br />
is that <strong>of</strong> O(3),SO(3), andSU(2), all <strong>of</strong> which have the <strong>Lie</strong> algebra so(3).<br />
These three groups are not isomorphic, and the differences between them<br />
are best expressed in topological language, because the differences persist<br />
even if we distort O(3), SO(3), andSU(2) by continuous 1-to-1 maps.<br />
First, O(3) differs topologically from SO(3) and SU(2) because it is<br />
not path-connected; there are two points in O(3) not connected by a path<br />
in O(3). Second, SU(2) differs topologically from SO(3) in being simply<br />
connected; that is, any closed path in SU(2) can be shrunk to a point.<br />
We elaborate on these properties <strong>of</strong> O(3), SO(3), andSU(2) in Sections<br />
9.1 and 9.2. Then we turn to the relationship between homomorphisms<br />
<strong>of</strong> <strong>Lie</strong> groups and homomorphisms <strong>of</strong> <strong>Lie</strong> algebras: a <strong>Lie</strong> group homomorphism<br />
Φ : G → H “induces” a <strong>Lie</strong> algebra homomorphism ϕ : g → h<br />
and if G and H are simply connected then ϕ uniquely determines Φ. This<br />
leads to a definitive result on the extent to which a <strong>Lie</strong> algebra g “determines”<br />
its <strong>Lie</strong> group G: all simply connected groups with the same <strong>Lie</strong><br />
algebra are isomorphic.<br />
186 J. <strong>Stillwell</strong>, <strong>Naive</strong> <strong>Lie</strong> <strong>Theory</strong>, DOI: 10.1007/978-0-387-78214-0 9,<br />
c○ Springer Science+Business Media, LLC 2008