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

Complex structures on the set A² = -I

#complex structure#A squared = -I#2x2 matrices#homeomorphism

Statement

Show that J={A∈M2(R):A2=−I}\mathcal{J}=\{A\in M_2(\mathbb{R}):A^2=-I\} has exactly two connected components, each homeomorphic to R2\mathbb{R}^2.

Hint

Write A=(abc−a)A=\begin{pmatrix}a&b\\c&-a\end{pmatrix} and use the equation a2+bc=−1a^2+bc=-1.

Show solutionHide solution

Solution

Idea. Describe J\mathcal{J} by one equation in three variables and solve for bb.

Step 1: A∈JA\in\mathcal{J} has trace 00 and determinant 11. If A2=−IA^2=-I, the eigenvalues satisfy λ2=−1\lambda^2=-1, so they are ±i\pm i (complex, not real, so the two eigenvalues of the real 2×22\times2 matrix are ii and −i-i as it has no real eigenvalue). Hence tr⁡A=i+(−i)=0\operatorname{tr}A=i+(-i)=0 and det⁡A=i⋅(−i)=1\det A=i\cdot(-i)=1. (Alternatively: by Cayley-Hamilton A2−(tr⁡A)A+(det⁡A)I=0A^2-(\operatorname{tr}A)A+(\det A)I=0, so (tr⁡A)A=(det⁡A+1)I(\operatorname{tr}A)A=(\det A+1)I; if tr⁡A≠0\operatorname{tr}A\ne0, AA would be a scalar matrix with A2=−IA^2=-I, impossible over R\mathbb{R}.)

Step 2: equation. Hence A=(abc−a)A=\begin{pmatrix}a&b\\c&-a\end{pmatrix} and A2=(a2+bc)IA^2=(a^2+bc)I. So
J={(a,b,c)∈R3:a2+bc=−1},\mathcal{J}=\{(a,b,c)\in\mathbb{R}^3:a^2+bc=-1\},
(a two-sheeted hyperboloid bc=−1−a2bc=-1-a^2 in the coordinates (a,b,c)(a,b,c)).

Step 3: c≠0c\ne0. From bc=−(1+a2)<0bc=-(1+a^2)<0 we get c≠0c\neq0 and b=−(1+a2)/cb=-(1+a^2)/c. So J=J+⊔J−\mathcal{J}=\mathcal{J}_+\sqcup\mathcal{J}_- with J±=J∩{±c>0}\mathcal{J}_\pm=\mathcal{J}\cap\{\pm c>0\} (open in J\mathcal{J}, disjoint, non-empty: they contain ±J\pm J with J=(0−110)J=\begin{pmatrix}0&-1\\1&0\end{pmatrix}).

Step 4: each part is a plane. The map
J+→R×(0,∞),A↦(a,c)\mathcal{J}_+\to\mathbb{R}\times(0,\infty),\quad A\mapsto(a,c)
is continuous, with continuous inverse (a,c)↦(a−(1+a2)/cc−a)(a,c)\mapsto\begin{pmatrix}a&-(1+a^2)/c\\c&-a\end{pmatrix}. So J+≅R×(0,∞)≅R2\mathcal{J}_+\cong\mathbb{R}\times(0,\infty)\cong\mathbb{R}^2, which is connected. Similarly J−≅R×(−∞,0)≅R2\mathcal{J}_-\cong\mathbb{R}\times(-\infty,0)\cong\mathbb{R}^2.

Conclusion. J\mathcal{J} has exactly two connected components, each homeomorphic to R2\mathbb{R}^2.

Remark. The sign of cc is the *orientation* of the complex structure defined by AA (a map AA with A2=−IA^2=-I makes R2\mathbb{R}^2 a complex line with ii acting as AA; the structure is compatible with the standard orientation iff c>0c>0). This set is the "two-sheeted hyperboloid" ≃GL2(R)/GL1(C)\simeq GL_2(\mathbb{R})/GL_1(\mathbb{C}).