Maths WorkshopMaths problems with full solutions
Exercise 1442Topology › Topology of Mn(ℝ) › ConnectednessL2Added 7 Nov 2026

The special linear group is path connected (polar decomposition)

#special linear group#polar decomposition#path connected

Statement

Show that SLn(R)SL_n(\mathbb{R}) is path connected, using the polar decomposition and a path inside the positive definite matrices of determinant 11.

Hint

Write A=UPA=UP with U∈SO(n)U\in SO(n) and PP positive definite of determinant 11. Then diagonalise PP and take powers pi1−tp_i^{1-t} of its eigenvalues.

Show solutionHide solution

Solution

Idea. The rotation part is handled by the connectedness of SO(n)SO(n) (Problems 16, 17); the stretch part is contracted to II without leaving {det⁡=1}\{\det=1\} by raising the eigenvalues to the power 1−t1-t.

Step 1: polar decomposition. Let A∈SLn(R)A\in SL_n(\mathbb{R}). Write A=UPA=UP with P=(ATA)1/2P=(A^TA)^{1/2} positive definite and U∈O(n)U\in O(n) (Problem 8). Then 1=det⁡A=det⁡Udet⁡P1=\det A=\det U\det P with det⁡P>0\det P>0, so det⁡P=1\det P=1 and det⁡U=1\det U=1.

Step 2: path for PP. By the spectral theorem P=Qdiag⁡(p1,…,pn)QTP=Q\operatorname{diag}(p_1,\dots,p_n)Q^T with Q∈O(n)Q\in O(n) and pi>0p_i>0, ∏pi=det⁡P=1\prod p_i=\det P=1. Define
Pt=Qdiag⁡(p11−t,…,pn1−t)QT,t∈[0,1].P_t=Q\operatorname{diag}(p_1^{1-t},\dots,p_n^{1-t})Q^T,\qquad t\in[0,1].
- t↦Ptt\mapsto P_t is continuous;
- PtP_t is symmetric positive definite;
- det⁡Pt=∏pi1−t=(∏pi)1−t=1\det P_t=\prod p_i^{1-t}=\big(\prod p_i\big)^{1-t}=1;
- P0=PP_0=P, P1=IP_1=I.

Step 3: path for UU. Since SO(n)SO(n) is path connected, choose a path UsU_s in SO(n)SO(n) from UU to II.

Step 4: concatenate. First run t↦UPtt\mapsto UP_t (from A=UPA=UP to UU, staying in SLnSL_n because det⁡(UPt)=1\det(UP_t)=1), then s↦Uss\mapsto U_s (from UU to II, inside SO(n)⊂SLnSO(n)\subset SL_n). This is a path in SLn(R)SL_n(\mathbb{R}) from AA to II.

Conclusion. SLn(R)SL_n(\mathbb{R}) is path connected.

Remark. Note that we cannot use the *linear* path (1−t)P+tI(1-t)P+tI here: its determinant is not 11 in general (for P=diag⁡(4,14)P=\operatorname{diag}(4,\tfrac14) the midpoint diag⁡(52,58)\operatorname{diag}(\tfrac52,\tfrac58) has determinant 2516\tfrac{25}{16}). The multiplicative path pi1−tp_i^{1-t} is the natural "geodesic" in the group.