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

The fibres of (trace, determinant) on 2×2 matrices

#conjugacy classes#2x2 matrices#hyperboloid#trace#determinant

Statement

Consider F=(tr⁡,det⁡):M2(R)→R2F=(\operatorname{tr},\det):M_2(\mathbb{R})\to\mathbb{R}^2. For s,δ∈Rs,\delta\in\mathbb{R} describe the fibre F−1(s,δ)F^{-1}(s,\delta) geometrically and its decomposition into conjugacy classes (under GL2(R)GL_2(\mathbb{R})).

Hint

Use the coordinates s=a+ds=a+d, u=a−du=a-d, v=b+cv=b+c, w=b−cw=b-c, in which tr⁡2−4det⁡=u2+v2−w2\operatorname{tr}^2-4\det=u^2+v^2-w^2.

Show solutionHide solution

Solution

The fibre. Fix s=tr⁡s=\operatorname{tr} and δ=det⁡\delta=\det, and put Δ=s2−4δ\Delta=s^2-4\delta. In the coordinates (u,v,w)∈R3(u,v,w)\in\mathbb{R}^3 the fibre is the quadric
QΔ={u2+v2−w2=Δ}.Q_\Delta=\{u^2+v^2-w^2=\Delta\}.

Case Δ>0\Delta>0 (two distinct real eigenvalues). QΔQ_\Delta is a one-sheeted hyperboloid, connected. All such matrices are diagonalisable with the same eigenvalues s±Δ2\frac{s\pm\sqrt\Delta}2, hence all conjugate: the fibre is a single conjugacy class.

Case Δ<0\Delta<0 (complex conjugate eigenvalues). w2=u2+v2+∣Δ∣w^2=u^2+v^2+|\Delta|: a two-sheeted hyperboloid, with two components w>0w>0 and w<0w<0. Over R\mathbb{R}, all matrices with the same non-real eigenvalues are similar (rational canonical form), so the fibre is one GL2(R)GL_2(\mathbb{R})-orbit. It is disconnected: conjugation by diag⁡(1,−1)\operatorname{diag}(1,-1) (determinant −1-1) sends (b,c)↦(−b,−c)(b,c)\mapsto(-b,-c), hence w↦−ww\mapsto-w, swapping the two sheets. Under the connected subgroup GL2+(R)GL_2^+(\mathbb{R}) each sheet is an orbit.

Case Δ=0\Delta=0 (double eigenvalue s2\frac s2). u2+v2=w2u^2+v^2=w^2: a double cone. The apex u=v=w=0u=v=w=0 is the scalar matrix s2I\frac s2I, a one-point conjugacy class. The rest, the cone minus the apex (two nappes, w>0w>0 and w<0w<0), consists of the matrices s2I+N\frac s2I+N with N≠0N\ne0 nilpotent. All nonzero nilpotent 2×22\times2 matrices are similar to (0100)\begin{pmatrix}0&1\\0&0\end{pmatrix}, so this is a single GL2(R)GL_2(\mathbb{R})-orbit (again with two components, swapped by diag⁡(1,−1)\operatorname{diag}(1,-1)).

Summary. Each fibre with Δ≠0\Delta\ne0 is one conjugacy class, and the fibre with Δ=0\Delta=0 consists of two: the scalar matrix and the non-diagonalisable matrices.

Check. Δ=0\Delta=0, s=2s=2, δ=1\delta=1: (1101)\begin{pmatrix}1&1\\0&1\end{pmatrix} has u=0u=0, v=1v=1, w=1w=1: on the cone. The identity II has u=v=w=0u=v=w=0: the apex.

Remark. The orbit space M2(R)/GL2(R)M_2(\mathbb{R})/GL_2(\mathbb{R}) is *not* the plane R2\mathbb{R}^2 of (s,δ)(s,\delta): the quotient is non-Hausdorff along the parabola Δ=0\Delta=0 (the apex and the cone minus apex cannot be separated), while the map (tr⁡,det⁡)(\operatorname{tr},\det) identifies them.