Further questions on the basics of Lie Algebras

vertices

I'm reviewing my Group theory notes at the moment. I have a few questions.

1)what is the "connected component of the identity"? (How would you go about working this out?)

2)Why is Lie(SO(n))=Lie(O(n))?

3)Why is the SU(2) Lie group isomorphic to a sphere in 3D?

Fredrik

The largest subgroup that's also a connected topological space. I think that for Lie groups, "connected" is equivalent to "path connected", which means that what you have to check is that for each g in the group, there's a continuous curve from the identity to g.

For matrix Lie groups, we can use the simple definition of a Lie algebra: A matrix X is in the Lie algebra if exp(tX) is in the Lie group for all real numbers t. This condition implies that for both Lie groups, the Lie algebra is the real vector space of traceless hermitian n×n matrices.

Note that since det(exp(tA))=exp(tTr(A)), both the conditions ±1=det(exp(tA) and +1=det(exp(tA)) imply the same thing, that Tr(A)=0.

This book can tell you the details.

Not Lie group isomorphic. Just homeomorpic (topological space isomorphic) and probably diffeomorphic (manifold isomorphic). What you're supposed to prove is that there's a continuous bijection from SU(2) into S³, and this is just a tedius calculation. Write down the most general complex 2×2 matrix U and find out what relationships between its components you can derive from the conditions [itex]U^\dagger U=I[/itex] and [itex]\det U=1[/itex]. You should end up with the condition that defines the unit 3-sphere.

vertices

Thanks Fredrik for your help in this and other threads. Hope you had a good Christmas:)

vertices

I attempted this computation as you suggested. I get matrix elements that look like this (sorry I don't know how to do matrices in Latex):

a b
-b* a

So there are two parameters, a and b. But because a=x+iy and b=w+iz, that's 4 parameter in total. So should it not belong to a 4-sphere?

Fredrik

The fact that the determinant of the matrix must be =1 gives you [itex]w^2+x^2+y^2+z^2=1[/itex]. That's the definition of a 3-sphere. Note that a 2-sphere is a sphere and a 1-sphere is a circle. The number indicates how many dimensions the manifold has. A circle is a 1-dimensional manifold because its coordinate systems are maps into [itex]\mathbb R[/itex], not into [itex]\mathbb R^2[/itex].

Matrices start with \begin{pmatrix} and end with \end{pmatrix}. End each line except the last with \\, and put & symbols between the elements. For example, \begin{pmatrix} a & b\\ -b^* & a\end{pmatrix}

[tex]\begin{pmatrix} a & b\\ -b^* & a\end{pmatrix}[/tex]

Use vmatrix instead of pmatrix if you want a determinant.