Why does $PSL(2,\mathbb C)\cong PGL(2,\mathbb C)$ but $PSL(2,\mathbb R) \not\cong PGL(2,\mathbb R)$?
Why does $PSL(2,\mathbb C)\cong PGL(2,\mathbb C)$ but $PSL(2,\mathbb R) \not\cong PGL(2,\mathbb R)$?
-
0I can show that first part but I don't have idea for second part – 2012-03-18
5 Answers
The determinant map gives rise to a split exact sequence
$ PSL(n, F) \hookrightarrow PGL(n,F) \twoheadrightarrow F^\times / (F^\times)^n, $
i.e. we have an isomorphism $PSL(n,F) \rtimes F^\times / (F^\times)^n \cong PGL(n,F)$.
Now, $F^\times / (F^\times)^n = 1$, if and only if any element of $F$ has a $n$-th root in it.
Since $\mathbb{R}$ is not algebraically closed, $F^\times / (F^\times)^2$ has two elements. But the complex numbers are algebraically closed.
-
0«[...] if and only if $H$ has the $n$th root in it» does not make sense. The $n$th root of what? (The next time you see that an answer answers *two* questions, make a link to make this explicit: otherwise there is useless duplication of content, and of fixes...) – 2012-03-20
In the $\mathbb{C}$ case, let us consider an invertible matrix $X\in GL(2,\mathbb{C})$. Now because $\mathbb{C}$ is algebraically closed, we can choose $z\in\mathbb{C}$ such that $z^2=\det(X)$. Then of course if $Z=zI$ we have $X=ZY$, where $\det(Y)=1$; thus $Y\in SL(2,\mathbb{C})$. In particular, the inclusion $SL(2,\mathbb{C})\rightarrow GL(2,\mathbb{C})$, followed by the projection $GL(2,\mathbb{C})\rightarrow PGL(2,\mathbb{C})$, induces an isomorphism $PSL(2,\mathbb{C})\cong PGL(2,\mathbb{C})$, since $Z$ is scalar.
In the $\mathbb{R}$ case, note that the only element of order $2$ in $SL(2,\mathbb{R})$ is $\begin{pmatrix} -1 & 0\\ 0 & -1\end{pmatrix}$. Thus elements of order $2$ in $PSL(2,\mathbb{R})$ come from elements of order $4$ in $SL(2,\mathbb{R})$. Such elements satisfy $x^4-1=0$, so that their characteristic polynomial divides $x^4-1$. And since their determinant is one, we must have constant term (in their characteristic polynomial) equal to $1$. The only possibility then is $x^2+1$. Considering rational canonical form, every such matrix is conjugate (in $SL(2,\mathbb{R})$, hence in $PSL(2,\mathbb{R})$) to $A=\begin{pmatrix} 0 & 1\\ -1 & 0\end{pmatrix}$. Thus $PSL(2,\mathbb{R})$ has one conjugacy class of involutions.
However, $B=\begin{pmatrix} -1 & 0\\ 0 & 1\end{pmatrix}$ lives in $PGL(2,\mathbb{R})$ as an element of order 2. And of course so does $A$. To see they are not conjugate, suppose there existed an invertible matrix $M$ and a scalar matrix $Z=zI$ such that $BM=AZ$. Taking determinants, we have $-1=1*z^2$, impossible over $\mathbb{R}$. Thus $PSL(2,\mathbb{R})\not\cong PGL(2,\mathbb{R})$.
-
0Ahh, yes, you are right. – 2012-03-19
You have surjective morphisms $xL(n,K)\to PxL(n,K)$ (whose kernel consists of the multiples of the identity) for $x\in\{G,S\}$, $n\in\mathbb N$ and and $K\in\{\mathbb C,\mathbb R\}$. You also have embeddings $SL(n,K)\to GL(n,K)$. Since the kernel of the composed morphism $SL(n,K)\to GL(n,K)\to PGL(n,K)$ contains (and in fact coincides with) the kernel of the morphism $SL(n,K)\to PSL(n,K)$ (it is the (finite) set of multiples of the identity in $SL(n,K)$), one may pass to the quotient to obtain a morphism $PSL(n,K)\to PGL(n,K)$, which is injective (because of "coincides with" above). The question is whether this morphism is surjective.
The question amounts to the following: given and $g\in GL(n,K)$, does its image in $PGL(n,K)$ coincide with the image of some g'\in SL(n,K)\subset GL(n,K)? For that to happen, there should be a $\lambda\in K^\times$ such that $\lambda g\in SL(n,K)$, and since $\det(\lambda g)=\lambda^n\det g$, one is led to search for solutions $\lambda$ of $\lambda^n=(\det g)^{-1}$, where $(\det g)^{-1}$ could be any element of $K^\times$. It is easy to see how the solvability of this polynomial equation depends on $n$ and $K$.
-
0Yes, and showing that ${\rm SL}(2,{\mathbb R})$ is perfect is not hard. You just have to show that it is generated by transvections and that transvections are commutators. – 2012-03-18
One way of proving the non-isomorphism part would be to show that ${\rm PGL}(2,{\mathbb R})$ has the Klein 4-group $C_2 \times C_2$ as subgroup, but ${\rm PSL}(2,{\mathbb R})$ does not.
The first claim is easy. $C_2 \times C_2$ is the image in ${\rm PGL}(2,{\mathbb R})$ of the dihedral group of order 8 generated by $\left(\begin{array}{rr}1&0\\0&-1\end{array}\right)$ and $\left(\begin{array}{rr}0&1\\1&0\end{array}\right)$.
It is also straightforward to show that the only element of order 2 in ${\rm SL}(2,{\mathbb R})$ is $-I_2$. So the only possibility for the inverse image in ${\rm SL}(2,{\mathbb R})$ of $C_2 \times C_2$ is the quaternion group $Q_8$. But $Q_8$ does not have a 2-dimensional real representation. That can be shown using the Frobenius-Schur indicator of the 2-dimensional complex representation, but I expect you would prefer a more elementary proof.
What is the source of this problem? Is it an exercise, and if so at what level?
Edit: In fact it is not hard to show that $Q_8$ is not a subgroup of ${\rm GL}(2,{\mathbb R})$ without using representation theory. An element of order 4 in ${\rm GL}(2,{\mathbb R})$ has minimal polynomial $x^2+1$ and is therefore conjugate to $A := \left(\begin{array}{rr}0&1\\-1&0\end{array}\right)$. By simple linear algebra we find that the matrices conjugating $A$ to $A^{-1}$ have the form $B:=\left(\begin{array}{rr}a&b\\b&-a\end{array}\right)$, and $B^2 = -I$ gives $a^2+b^2 = -1$, which has no solution in ${\mathbb R}$.
So you now have three proofs of the non-isomorphism!
-
0@steve,why has PSL(2,R) only one conjugacy class? – 2012-03-19
Hint: Let $K$ be any field. $PSL_{n}(K) \simeq PGL_{n}(K)$ iff $SL_{n}(K)$ intersects all cosets of $Z(GL_{n}(K))$ in $GL_{n}(K)$