The special linear group is path connected (polar decomposition)
Statement
Show that is path connected, using the polar decomposition and a path inside the positive definite matrices of determinant .
Hint
Write with and positive definite of determinant . Then diagonalise and take powers of its eigenvalues.
Show solutionHide solution
Solution
Idea. The rotation part is handled by the connectedness of (Problems 16, 17); the stretch part is contracted to without leaving by raising the eigenvalues to the power .
Step 1: polar decomposition. Let . Write with positive definite and (Problem 8). Then with , so and .
Step 2: path for . By the spectral theorem with and , . Define
- is continuous;
- is symmetric positive definite;
- ;
- , .
Step 3: path for . Since is path connected, choose a path in from to .
Step 4: concatenate. First run (from to , staying in because ), then (from to , inside ). This is a path in from to .
Conclusion. is path connected.
Remark. Note that we cannot use the *linear* path here: its determinant is not in general (for the midpoint has determinant ). The multiplicative path is the natural "geodesic" in the group.