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

Conjugation by rotations acts on w by e^{2iβ}

#M_2#conjugation#rotations#complex coordinates#invariants

Statement

Let RβR_\beta be the rotation of R2≅C\mathbb{R}^2\cong\mathbb{C} by the angle β\beta (multiplication by eiβe^{i\beta}). Show that, if AA has coordinates (z,w)(z,w), the matrix RβAR−βR_\beta AR_{-\beta} has coordinates (z, e2iβw)(z,\,e^{2i\beta}w).

Hint

Compute RβAR−βxR_\beta AR_{-\beta}x for x∈Cx\in\mathbb{C} using Ax=zx+wxˉAx=zx+w\bar x.

Show solutionHide solution

Solution

Idea. Rotations commute with the conjugate-linear part only up to a phase. The complex-linear part x↦zxx\mapsto zx commutes with all rotations, so zz is unchanged.

Computation. For x∈Cx\in\mathbb{C}, R−βx=e−iβxR_{-\beta}x=e^{-i\beta}x, so
AR−βx=z e−iβx+w e−iβx‾=z e−iβx+w eiβxˉ.AR_{-\beta}x=z\,e^{-i\beta}x+w\,\overline{e^{-i\beta}x}=z\,e^{-i\beta}x+w\,e^{i\beta}\bar x.
Applying RβR_\beta (multiply by eiβe^{i\beta}):
RβAR−βx=zx+w e2iβxˉ.R_\beta AR_{-\beta}x=zx+w\,e^{2i\beta}\bar x.
By uniqueness of the decomposition Ax=zx+wxˉAx=zx+w\bar x (the map A↦(z,w)A\mapsto(z,w) is bijective), the coordinates of RβAR−βR_\beta AR_{-\beta} are (z,e2iβw)(z,e^{2i\beta}w).

Check (numerical). For random AA and random β\beta, the coordinates of RβARβTR_\beta AR_\beta^T agree with (z,e2iβw)(z,e^{2i\beta}w) to 10−1510^{-15}.

Consequences.
- The quantities zz, ∣w∣|w| (hence tr⁡A=2Re⁡z\operatorname{tr}A=2\operatorname{Re}z, det⁡A=∣z∣2−∣w∣2\det A=|z|^2-|w|^2, ∥A∥F\|A\|_F) are invariant under conjugation by SO(2)SO(2).
- AA commutes with every rotation iff w=0w=0, i.e. iff AA is a "complex scalar" x↦zxx\mapsto zx, equivalently A=(a−cca)A=\begin{pmatrix}a&-c\\c&a\end{pmatrix}.
- Conjugating by the reflection x↦xˉx\mapsto\bar x gives Axˉ‾=zˉx+wˉxˉ\overline{A\bar x}=\bar zx+\bar w\bar x: (z,w)↦(zˉ,wˉ)(z,w)\mapsto(\bar z,\bar w).

Remark. The factor e2iβe^{2i\beta} (and not eiβe^{i\beta}) shows that the rotation Rπ=−IR_\pi=-I acts trivially, as it must, since −I-I is central; and that RβR_\beta and Rβ+πR_{\beta+\pi} give the same conjugation.

Lesson. To understand a group action on a space of matrices, find coordinates in which it becomes diagonal (here: multiplication by phases).