Maths WorkshopMaths problems with full solutions
Exercise 1462Topology › Topology of Mn(ℝ) › Applications and the case n = 2L3Added 10 Nov 2026

The square roots of A in M_2(R) form two disjoint planes

#M_2(R)#complex coordinates#complex structures#connected components

Statement

Identify R2\mathbb{R}^2 with C\mathbb{C} and write A=(abcd)∈M2(R)A=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in M_2(\mathbb{R}) as Ax=zx+wxˉAx=zx+w\bar x with z=(a+d)+i(c−b)2z=\frac{(a+d)+i(c-b)}2 and w=(a−d)+i(b+c)2w=\frac{(a-d)+i(b+c)}2 (the map A↦(z,w)A\mapsto(z,w) is a linear bijection onto C2\mathbb{C}^2, with tr⁡A=2Re⁡z\operatorname{tr}A=2\operatorname{Re}z and det⁡A=∣z∣2−∣w∣2\det A=|z|^2-|w|^2). Show that
{A∈M2(R):A2=−I}\{A\in M_2(\mathbb{R}):A^2=-I\}
is homeomorphic to the disjoint union R2⊔R2\mathbb{R}^2\sqcup\mathbb{R}^2 of two planes.

Hint

A2=−IA^2=-I forces tr⁡A=0\operatorname{tr}A=0 and det⁡A=1\det A=1. In coordinates this gives z=iqz=iq and q2=1+∣w∣2q^2=1+|w|^2.

Show solutionHide solution

Solution

Idea. Fixing the trace and the determinant, the only freedom left is w∈Cw\in\mathbb{C}, together with a sign for Im⁡z\operatorname{Im}z.

Step 1: trace and determinant. Let A2=−IA^2=-I. The minimal polynomial of AA divides t2+1t^2+1, which is irreducible over R\mathbb{R}, so it equals t2+1t^2+1. Since it has degree 2=n2=n, it is the characteristic polynomial: tr⁡A=0\operatorname{tr}A=0 and det⁡A=1\det A=1. Conversely, if tr⁡A=0\operatorname{tr}A=0 and det⁡A=1\det A=1, Cayley-Hamilton gives A2−0⋅A+I=0A^2-0\cdot A+I=0, i.e. A2=−IA^2=-I. Hence
{A2=−I}={tr⁡A=0, det⁡A=1}.\{A^2=-I\}=\{\operatorname{tr}A=0,\ \det A=1\}.

Step 2: coordinates. The conditions read Re⁡z=0\operatorname{Re}z=0 and ∣z∣2−∣w∣2=1|z|^2-|w|^2=1. Writing z=iqz=iq with q∈Rq\in\mathbb{R} we get q2=1+∣w∣2q^2=1+|w|^2, that is
q=+1+∣w∣2orq=−1+∣w∣2.q=+\sqrt{1+|w|^2}\quad\text{or}\quad q=-\sqrt{1+|w|^2}.
Note q≠0q\ne0 since q2≥1q^2\ge1. So the set is the union of two graphs over w∈Cw\in\mathbb{C}:
S±={(z,w):z=±i1+∣w∣2}.S_\pm=\{(z,w):z=\pm i\sqrt{1+|w|^2}\}.

Step 3: each sheet is a plane. The projection A↦wA\mapsto w is continuous on S+S_+, and it has the continuous inverse w↦(i1+∣w∣2,w)w\mapsto(i\sqrt{1+|w|^2},w) (then back to the matrix by the inverse linear map). So S+≅C≅R2S_+\cong\mathbb{C}\cong\mathbb{R}^2, and likewise S−S_-.

Step 4: the sheets are separated. S+S_+ and S−S_- are disjoint (their Im⁡z\operatorname{Im}z have opposite signs and ∣Im⁡z∣≥1|\operatorname{Im}z|\ge1). Each is closed (the zero set of a continuous equation inside the set), and the set is their union, so each is also open in the union (its complement there is the other, closed, sheet). Therefore the topological space is S+⊔S−≅R2⊔R2S_+\sqcup S_-\cong\mathbb{R}^2\sqcup\mathbb{R}^2.

Check. J=(0−110)J=\begin{pmatrix}0&-1\\1&0\end{pmatrix} has z=iz=i, w=0w=0: it sits at the bottom of the sheet S+S_+ (rotation by +90∘+90^\circ). The matrix −J-J has z=−iz=-i, w=0w=0 and lies on S−S_-.

Remark. The two sheets are exchanged by A↦−AA\mapsto-A, and sign⁡(Im⁡z)=sign⁡(c−b)\operatorname{sign}(\operatorname{Im}z)=\operatorname{sign}(c-b) records the orientation in which AA "rotates" the plane. This is the case n=2n=2 of the theorem that {A∈M2m(R):A2=−I}\{A\in M_{2m}(\mathbb{R}):A^2=-I\} has exactly two components (see the problem on complex structures).

Lesson. Slice the coordinate space by the equations given by trace and determinant, solve for one coordinate, and read the topology from the resulting graphs.