The square roots of A in M_2(R) form two disjoint planes
Statement
Identify with and write as with and (the map is a linear bijection onto , with and ). Show that
is homeomorphic to the disjoint union of two planes.
Hint
forces and . In coordinates this gives and .
Show solutionHide solution
Solution
Idea. Fixing the trace and the determinant, the only freedom left is , together with a sign for .
Step 1: trace and determinant. Let . The minimal polynomial of divides , which is irreducible over , so it equals . Since it has degree , it is the characteristic polynomial: and . Conversely, if and , Cayley-Hamilton gives , i.e. . Hence
Step 2: coordinates. The conditions read and . Writing with we get , that is
Note since . So the set is the union of two graphs over :
Step 3: each sheet is a plane. The projection is continuous on , and it has the continuous inverse (then back to the matrix by the inverse linear map). So , and likewise .
Step 4: the sheets are separated. and are disjoint (their have opposite signs and ). 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 .
Check. has , : it sits at the bottom of the sheet (rotation by ). The matrix has , and lies on .
Remark. The two sheets are exchanged by , and records the orientation in which "rotates" the plane. This is the case of the theorem that 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.