0

When $n>3$ is even, how can I show that $PGL(n,\mathbb{R})$ has a faithful adjoint representation? Of course when n is even, $PGL(n,\mathbb{R})$ is not connected.

flag
Are you asking why $PGL_n(\mathbb{R})$ has trivial center? – S. Carnahan♦ Nov 8 2010 at 10:02
NO. I know that for connected lie groups, if it has a trivial center then it has a faithful adjoint representation. Are you saying that the same statement holds for nonconnected lie groups? – unknown (google) Nov 8 2010 at 13:23
1 
 Ah, but ${\rm{PGL}}_n$ is connected for Zariski topology over any field. For a connected adjoint semisimple gp $G$ over a field $k$ then its adjoint representation has trivial kernel (so it's even a closed immersion). For $k = \mathbf{R}$, the functor $G \rightsquigarrow G(\mathbf{R})$ from (perhaps disconnected) group varieties to Lie groups is clearly compatible with the formation of adjoint representations, so when $G$ is connected adjoint semisimple (connected for Zariski topology!) then $G(\mathbf{R})$ has faithful adjoint repn even if it is disconnected (for the classical topology). QED – BCnrd Nov 8 2010 at 15:31

1 Answer

3

Suppose $A \in PGL_n(\mathbb{R})$ lies in the kernel of the adjoint representation. Then for any lift $\tilde{A}$ of $A$ in $GL_n(\mathbb{R})$, and any traceless matrix $B$, we have $\tilde{A}B = B\tilde{A}$. This implies $\tilde{A}$ is scalar, and hence $A$ is the identity.

link|flag
How does $\tilde{A}B=B\tilde{A}$ imply $\tilde{A}$ is scalar? – unknown (google) Nov 8 2010 at 14:55
1 
 The equation holds for all matrices $B$. This implies $\tilde{A}$ is in the center of the matrix algebra. – S. Carnahan♦ Nov 9 2010 at 11:22

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.