Maths WorkshopMaths problems with full solutions
Exercise 2033Topology › Topology of Mn(ℝ) › Rank, spectrum and normsM1Added 6 Nov 2026

Matrices with two distinct real eigenvalues retract onto a circle

#homotopy equivalence#deformation retraction#2x2 matrices#discriminant

Statement

Show that U={A∈M2(R):tr⁡(A)2>4det⁡A}\mathcal{U}=\{A\in M_2(\mathbb{R}):\operatorname{tr}(A)^2>4\det A\} (two distinct real eigenvalues) is homotopy equivalent to a circle.

Hint

In the coordinates (s,u,v,w)(s,u,v,w) with tr⁡2−4det⁡=u2+v2−w2\operatorname{tr}^2-4\det=u^2+v^2-w^2, push ww to 00 and forget ss.

Show solutionHide solution

Solution

Description. With s=a+ds=a+d, u=a−du=a-d, v=b+cv=b+c, w=b−cw=b-c (an invertible linear change of coordinates),
U={(s,u,v,w):u2+v2>w2}=Rs×V,V={(u,v,w):w2<u2+v2}.\mathcal{U}=\{(s,u,v,w):u^2+v^2>w^2\}=\mathbb{R}_s\times\mathcal{V},\qquad\mathcal{V}=\{(u,v,w):w^2<u^2+v^2\}.

Deformation retraction of V\mathcal{V}. Define H:V×[0,1]→VH:\mathcal{V}\times[0,1]\to\mathcal{V},
H((u,v,w),t)=(u,v,(1−t)w).H\big((u,v,w),t\big)=(u,v,(1-t)w).
It stays in V\mathcal{V}: ((1−t)w)2≤w2<u2+v2\big((1-t)w\big)^2\le w^2<u^2+v^2. Also H0=idH_0=\mathrm{id}, H1(u,v,w)=(u,v,0)H_1(u,v,w)=(u,v,0), and HtH_t fixes the points V∩{w=0}={(u,v,0):(u,v)≠0}\mathcal{V}\cap\{w=0\}=\{(u,v,0):(u,v)\ne0\}. So V\mathcal{V} deformation retracts onto
{(u,v,0):(u,v)≠(0,0)}≅R2∖{0}.\{(u,v,0):(u,v)\ne(0,0)\}\cong\mathbb{R}^2\setminus\{0\}.

Further retraction. R2∖{0}\mathbb{R}^2\setminus\{0\} deformation retracts onto the unit circle by (u,v)↦(u,v)∣(u,v)∣t(u,v)\mapsto\frac{(u,v)}{|(u,v)|^{t}}-type radial homotopy. Hence V≃S1\mathcal{V}\simeq S^1.

The factor Rs\mathbb{R}_s. It is contractible, so U=R×V≃V≃S1\mathcal{U}=\mathbb{R}\times\mathcal{V}\simeq\mathcal{V}\simeq S^1.

Interpretation. A point on the circle is the pair (u,v)/∣(u,v)∣(u,v)/|(u,v)|, the direction of the "eigenspace configuration": the matrix diag⁡(λ1,λ2)\operatorname{diag}(\lambda_1,\lambda_2) conjugated by a rotation of angle θ\theta gives (u,v)=(λ1−λ2)(cos⁡2θ,sin⁡2θ)/2⋅(u,v)=(\lambda_1-\lambda_2)(\cos2\theta,\sin2\theta)/2\cdot-type, and a rotation by π\pi returns to the same matrix (θ↦θ+π\theta\mapsto\theta+\pi gives 2θ↦2θ+2π2\theta\mapsto2\theta+2\pi) while θ↦θ+π2\theta\mapsto\theta+\frac\pi2 swaps the eigenvalues, going halfway around the circle.

Remark. The fundamental group of U\mathcal{U} is Z\mathbb{Z}. By contrast the set {tr⁡2<4det⁡}\{\operatorname{tr}^2<4\det\} has two contractible components (previous discriminant problem), so the "real" region is topologically richer than the "complex" one.