• Support PF! Buy your school textbooks, materials and every day products Here!

O(3) sp(2) lie algebra isomorphism problem

  • Thread starter jostpuur
  • Start date
  • #1
2,111
17
I'm mainly hoping that somebody else might have done the same exercise earlier. In that case it could be possible to spot where I'm going wrong.

Homework Statement



I'm supposed to prove that Lie algebras [tex]\mathfrak{o}(3)[/tex] and [tex]\mathfrak{sp}(2)[/tex] are isomorphic.

Homework Equations



Let's see if I have the definitions right...

[tex]
\mathfrak{o}(3) = \{x_1e_1 + x_2e_2 + x_3e_3\;|\;x_1,x_2,x_3\in\mathbb{R}^3\},
[/tex]

where

[tex]
e_1 = \left(\begin{array}{rrr}
0 & 1 & 0 \\
-1 & 0 & 0 \\
0 & 0 & 0 \\
\end{array}\right), \quad
e_2 = \left(\begin{array}{rrr}
0 & 0 & -1 \\
0 & 0 & 0 \\
1 & 0 & 0 \\
\end{array}\right),\quad
e_3 = \left(\begin{array}{rrr}
0 & 0 & 0\\
0 & 0 & 1\\
0 & -1 & 0 \\
\end{array}\right),
[/tex]

and

[tex]
\mathfrak{sp}(2n) = \{x_1a_1 + x_2a_2 + x_3a_3\;|\;x_1,x_2,x_3\in\mathbb{R}\}
[/tex]

where

[tex]
a_1 = \left(\begin{array}{rr}
0 & 1 \\
0 & 0 \\
\end{array}\right),\quad
a_2 = \left(\begin{array}{rr}
0 & 0 \\
1 & 0 \\
\end{array}\right),\quad
a_3 = \left(\begin{array}{rr}
1 & 0 \\
0 & -1 \\
\end{array}\right).
[/tex]

Lie brackets are

[tex]
[e_1,e_2] = e_3,\quad [e_2,e_3] = e_1,\quad [e_3,e_1] = e_2,
[/tex]

[tex]
[a_1,a_2] = a_3,\quad [a_2,a_3] = 2a_2,\quad [a_3,a_1] = 2a_1.
[/tex]


The Attempt at a Solution



So I want an isomorphism [tex]\phi:\mathfrak{o}(3)\to\mathfrak{sp}(2)[/tex]. I tried to conclude that I could assume the isomorphism to be of form

[tex]
\phi(e_1) = \lambda_1 a_1 + \lambda_2 a_2 + \lambda_3 a_3
[/tex]

[tex]
\phi(e_2) = \pi_1 a_1 + \pi_2 a_2 + \pi_3 a_3
[/tex]

[tex]
\phi(e_3) = \alpha a_3,
[/tex]

because the cross-product structure on [tex]\mathbb{R}^3[/tex] is invariant under rotations. If there exists some isomorphism [tex]\bar{\phi}[/tex], then there would be a vector [tex]v\in\mathfrak{o}(3)[/tex] so that [tex]\bar{\phi}(v)= a_3[/tex]. Then I choose a new basis to [tex]\mathfrak{o}(3)[/tex] so that [tex]e_3\propto v[/tex].

Then it started to look like the task is impossible. The demand

[tex]
[\phi(e_2),\phi(e_3)] = \phi([e_2,e_3])
[/tex]

implies set of equations

[tex]
-2\pi_1\alpha = \lambda_1,\quad 2\pi_2\alpha = \lambda_2,\quad 0=\lambda_3,
[/tex]

and the demand

[tex]
[\phi(e_3),\phi(e_1)]=\phi([e_3,e_1])
[/tex]

implies set of equations

[tex]
2\alpha\lambda_1 =\pi_1,\quad -2\alpha\lambda_2 = \pi_2,\quad 0=\pi_3.
[/tex]

Then we get

[tex]
\lambda_1 = -2\pi_1\alpha = -4\alpha^2 \lambda_1,\quad\implies\quad \alpha=\pm\frac{i}{2},\;\textrm{or}\;\lambda_1 = 0
[/tex]

and both possibilities are unacceptable.
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,395
3
You made an assumption. It didn't work - and I don't see any justification for the assumption to be honest. So perhaps your assumption was incorrect? Try 'just doing it'.

Other methods include altering the inner product on R^3 that SO(3) preserves, to get so(3) in a new basis.
 
  • #3
2,111
17
Here's my proof that the assumption should have been right:

First assume that some isomorphism [tex]\bar{\phi}:\mathfrak{o}(3)\to\mathfrak{sp}(2)[/tex] exists. Then there is a vector [tex]v\in\mathfrak{o}(3)[/tex] so that [tex]\bar{\phi}(v)=a_3[/tex]. We can choose a new basis [tex]\bar{e}_1,\bar{e}_2,\bar{e}_3[/tex] to the [tex]\mathfrak{o}(3)[/tex] so that

[tex]
[\bar{e}_1,\bar{e}_2]=\bar{e}_3,\quad [\bar{e}_2,\bar{e}_3]=\bar{e}_1,\quad [\bar{e}_3,\bar{e}_1]=\bar{e}_2,\quad \bar{e}_3 = \alpha v
[/tex]

with some [tex]\alpha\in\mathbb{R}[/tex]. Let [tex]\psi:\mathfrak{o}(3)\to\mathfrak{o}(3)[/tex] be the automorphism so that

[tex]
\psi(e_1)=\bar{e}_1,\quad\psi(e_2)=\bar{e}_2,\quad\psi(e_3)=\bar{e}_3.
[/tex]

Now [tex]\phi=\bar{\phi}\circ\psi[/tex] should be the isomorphism so that [tex]\phi(e_3)=\alpha a_3[/tex].
 
  • #4
2,111
17
I know already that following isomorphisms are true. [tex]\mathfrak{o}(3)=\mathfrak{su}(2)[/tex] and [tex]\mathfrak{sl}(2,\mathbb{R})=\mathfrak{sp}(2)[/tex]. The definitions are

[tex]
\mathfrak{o}(3) = \{X\in\mathfrak{gl}(3,\mathbb{R})\;|\; X^T+X = 0\}
[/tex]

[tex]
\mathfrak{su}(2) = \{X\in\mathfrak{gl}(2,\mathbb{C})\;|\; X^{\dagger} + X = 0\;\textrm{and}\;\textrm{Tr}(X)=0\}
[/tex]

[tex]
\mathfrak{sl}(2,\mathbb{R}) = \{X\in\mathfrak{gl}(2,\mathbb{R})\;|\; \textrm{Tr}(X)=0\}
[/tex]

[tex]
\mathfrak{sp}(2) = \{X\in\mathfrak{gl}(2,\mathbb{R})\;|\; X^T J + J X=0\}
[/tex]

where

[tex]
J=\left(\begin{array}{rr}
0 & -1 \\
1 & 0 \\
\end{array}\right)
[/tex]

Is the claim [tex]\mathfrak{sl}(2,\mathbb{R})=\mathfrak{su}(2)[/tex] true?
 
Last edited:
  • #5
matt grime
Science Advisor
Homework Helper
9,395
3
I still don't buy your claim. There are 2 reason for this.

1) You seem to be saying that given any vector, you can complete to a basis with certain lie bracket. This may be true, but I don't see it is obvious.

2) You keep not noticing that since things are defined up to scalars, it is unnecessary to use that alpha.

Remember that choosing an isomorphism is just picking a new basis. Why should I be able to complete to two different bases like that given the same starting vector?

Finally, on that example. In sp(2), a_3 lies in the cartan subalgebra [itex]\mathfrak{h}[/itex], and a_1, a_2 are eigenvectors with respect to the adjoint action. It is certainly not true that you can pick an arbitrary element and expect it to lie in [itex]\mathfrak{h}[/itex]. Using your logic, I can suppose that there is an isomorphism of sp(2) that sends a_3 to a_1. But that can't be - the adjoint action of a_1 doesn't have an eigenspace of dimension 2 for eigenvalue 1. In fact in the adjoint action a_1 is nilpotent - write out the matrix, or notice that ad(a_1) sends a_2 to a multiple of a_3, and a_3 to a multiple of a_1, hence some power of ad(a_1) annihilates sp(2).



All 3-dim complex semi-simple Lie algebras are isomorphic. I can't say I've ever studied the real case.

The complexifications are all isomorphic, by above, but su(2) isn't a complex lie algebra. I still think that over the reals they will be isomorphic.
 
Last edited:
  • #6
matt grime
Science Advisor
Homework Helper
9,395
3
Oh, and by Schur's lemma, any isomorphism of sp(2) to itself is just multiplication by a scalar, since it is simple - we're attempting to say something about the (simple) adjoint rep.
 
  • #7
2,111
17
1) You seem to be saying that given any vector, you can complete to a basis with certain lie bracket. This may be true, but I don't see it is obvious.
I'm not saying this for an arbitrary Lie algebra, but precisely for the [tex]\mathfrak{o}(3)[/tex]. This is standard geometric knowledge: The cross-product looks the same after a rotation of basis.

2) You keep not noticing that since things are defined up to scalars, it is unnecessary to use that alpha.
The Lie brackets are not invariant under scaling. I have already fixed the basis [tex]a_n[/tex], and at least the magnitudes of basis vectors [tex]e_n[/tex], so the alpha in the definition of the isomorphism [tex]\phi[/tex] is not redundant. If I set [tex]\alpha=1[/tex], I would need to then introduce some other equivalent parameter in the basis of [tex]\mathfrak{sp}(2)[/tex].

Using your logic, I can suppose that there is an isomorphism of sp(2) that sends a_3 to a_1.
I'm not using an isomorphism [tex]\mathfrak{sp}(2)\to\mathfrak{sp}(2)[/tex], but only an isomorphism [tex]\mathfrak{o}(3)\to\mathfrak{o}(3)[/tex], when justifying the form of the attempt [tex]\phi[/tex].
 
  • #8
matt grime
Science Advisor
Homework Helper
9,395
3
The *only* isomorphisms of o(3) are multiplication by scalars by Schur's lemma. (I thiknk) You're just writing down an isometry of the underlying vector space and assuming it is a Lie algebra homomorphism.

The question just needs you to write out 3 linear equations

[tex]a_i = \sum_{j=1}^3 \lambda_j a_j[/tex]

for i=1,2,3

and work out what the lambda_i are. It is very straight forward.
 
  • #9
2,111
17
The *only* isomorphisms of o(3) are multiplication by scalars by Schur's lemma.
This must be a mistake.

For example, set

[tex]
\psi(e_1) = e_2,\quad \psi(e_2) = -e_1,\quad \psi(e_3)=e_3.
[/tex]

Now [tex]\psi:\mathfrak{o}(3)\to\mathfrak{o}(3)[/tex] is a linear bijection, and also

[tex]
[\psi(e_1),\psi(e_2)] = [e_2,-e_1] = e_3 = \psi(e_3) = \psi([e_1,e_2])
[/tex]

[tex]
[\psi(e_2),\psi(e_3)] = [-e_1,e_3] = e_2 = \psi(e_1) =\psi([e_2,e_3])
[/tex]

[tex]
[\psi(e_3),\psi(e_1)] = [e_3,e_2] = -e_1 = \psi(e_2) = \psi([e_3,e_1])
[/tex]

so [tex]\psi[/tex] is a Lie algebra isomorphism.
 
  • #10
matt grime
Science Advisor
Homework Helper
9,395
3
Hmm, so where am I going wrong?* In any case, if you do what I suggested (with e_j, not a_j in the sum) above you will get the answer.

* perhaps in trying to invoke Schur's lemma, which is after all about modules, in the wrong place...
 
Last edited:
  • #11
2,111
17
By strange coincidence, I proved the Schur's lemma yesterday in another exercise in this Lie algebra context. It says that if [tex]\phi[/tex] is an irreducible representation of a Lie algebra in some finite dimensional vector space [tex]V[/tex], and if a matrix [tex]A\in\textrm{End}(V)[/tex] commutes with all [tex]\phi(x)[/tex], then A is a scalar multiple of the identity mapping. The lemma get's related to the simple Lie algebra's, because their adjoint representations are irreducible. But it doesn't seem immediately clear to me what are the matrices commuting with the [tex]\textrm{ad}_X:\mathfrak{o}(3)\to\mathfrak{o}(3)[/tex] matrices, or how they are related to the Lie algebra isomorphisms.
 
  • #12
matt grime
Science Advisor
Homework Helper
9,395
3
I'm not using an isomorphism [tex]\mathfrak{sp}(2)\to\mathfrak{sp}(2)[/tex], but only an isomorphism [tex]\mathfrak{o}(3)\to\mathfrak{o}(3)[/tex], when justifying the form of the attempt [tex]\phi[/tex].

Suppose there is an iso from o(3) to sp(2), then something is sent to a_1 and something to a_3, call them x and y. By your reasoning I can compose the inverse to o(3) with a map that sends x to a multiple of y (since your claiming I can choose any isometry), then y down to sp(2) again, so I've sent a_1 to a multiple of a_3, but that can't happen.
 
  • #13
matt grime
Science Advisor
Homework Helper
9,395
3
Right, got the Schur's lemma thing straight - sorry for misleading you. I was attempting to find a justification for something without thinking it through.

The point is, if f is an isomorphism of the adjoint representation, then f is multiplication by a scalar. This doesn't help work out the lie algebra homomorphisms.

It does say something like: if f is a lie alg hom of the adjoint rep then

ad(x).f(y) = f(ad(x).y)

i.e. [x,f(y)]=f([x,y])

but that isn't the same condition as being a homomorphism of algebras, just reps.
 
  • #14
2,111
17
Suppose there is an iso from o(3) to sp(2), then something is sent to a_1 and something to a_3, call them x and y. By your reasoning I can compose the inverse to o(3) with a map that sends x to a multiple of y (since your claiming I can choose any isometry), then y down to sp(2) again, so I've sent a_1 to a multiple of a_3, but that can't happen.
Looks like a proof that o(3) and sp(2) are not isomorphic :biggrin:

I'm believing that there is a mistake in this exercise.
 
  • #15
matt grime
Science Advisor
Homework Helper
9,395
3
Every 3-dim simple lie algebra is isomorphic to sl_2, so there's no mistake (albeit I'm talking over C, not R).
 
  • #16
2,111
17
Could it be that the maker of the exercise has confused something with real and complex vector spaces?

I'm going to see this professor at some point anyway, so I'm going to be asking his advice/opinion on the problem also.
 
  • #17
matt grime
Science Advisor
Homework Helper
9,395
3
Possible, entirely possible that they were assuming over C. I was playing around with something like this:

e_1 + e_2
e_1 - e_2

As a_1, a_2, ad got close, but e_1 + ie_2 and e_1 - ie_2 I think might be better, but I've not checked, yet.
 

Related Threads for: O(3) sp(2) lie algebra isomorphism problem

Replies
2
Views
953
  • Last Post
Replies
1
Views
3K
Replies
8
Views
529
Replies
3
Views
4K
  • Last Post
Replies
3
Views
2K
  • Last Post
2
Replies
45
Views
3K
  • Last Post
Replies
19
Views
726
  • Last Post
Replies
4
Views
5K
Top