18.07.2014 Views

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!