Maths WorkshopMaths problems with full solutions
Exercise 1377Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL3Added 6 Nov 2026

Connected components of the projective linear group

#projective group#quotient#determinant#parity

Statement

Let PGLn(R)=GLn(R)/R×IPGL_n(\mathbb{R})=GL_n(\mathbb{R})/\mathbb{R}^\times I be the quotient by the scalar matrices. Show that it is connected when nn is odd and has exactly two connected components when nn is even.

Hint

How does det⁡\det change when AA is replaced by λA\lambda A?

Show solutionHide solution

Solution

Idea. det⁡(λA)=λndet⁡A\det(\lambda A)=\lambda^n\det A: the sign of the determinant is either destroyed or preserved by scaling, according to the parity of nn.

Connected images. Let q:GLn→PGLnq:GL_n\to PGL_n be the quotient map. It is continuous and onto, so images of connected sets are connected. We know GLn+GL_n^+ and GLn−GL_n^- are connected (polar decomposition).

nn odd. Take A∈GLn−A\in GL_n^-. Then −A-A has det⁡(−A)=(−1)ndet⁡A=−det⁡A>0\det(-A)=(-1)^n\det A=-\det A>0, so −A∈GLn+-A\in GL_n^+ and q(A)=q(−A)∈q(GLn+)q(A)=q(-A)\in q(GL_n^+). Hence q(GLn)=q(GLn+)q(GL_n)=q(GL_n^+), a continuous image of the connected set GLn+GL_n^+: PGLnPGL_n is connected.

nn even. Now det⁡(λA)=λndet⁡A\det(\lambda A)=\lambda^n\det A has the same sign as det⁡A\det A for every λ≠0\lambda\ne0. So sgndet⁡\mathrm{sgn}\det is constant on each scalar class and induces a well-defined continuous map sgndet⁡‾:PGLn→{±1}\overline{\mathrm{sgn}\det}:PGL_n\to\{\pm1\}. It is onto (e.g. II and diag(−1,1,…,1)\mathrm{diag}(-1,1,\dots,1)), so PGLnPGL_n is disconnected. Moreover PGLn=q(GLn+)∪q(GLn−)PGL_n=q(GL_n^+)\cup q(GL_n^-) is a union of two connected sets, which are the two (disjoint, since the sign differs) fibres of sgndet⁡‾\overline{\mathrm{sgn}\det}. Hence there are exactly two components.

Check. n=1n=1: PGL1PGL_1 is a point. n=2n=2: PGL2(R)⊃PSL2(R)PGL_2(\mathbb{R})\supset PSL_2(\mathbb{R}) with index 2 and has two components.

Remark. For odd nn, PGLn(R)≅SLn(R)PGL_n(\mathbb{R})\cong SL_n(\mathbb{R}) (every class has a unique representative of determinant 11, namely the real nn-th root of 1/det⁡A1/\det A times AA).