Invariant subspaces of a quarter-turn in three dimensions
ID: invariant-subspaces-of-a-quarter-turn-in-three-dimensions
For a quarter-turn rotation of about a unit axis vector , the only real invariant subspaces are , the axis , its perpendicular plane , and all of .
Indeed fixes the axis and negates the perpendicular plane. Hence is the linear projection onto the axis, while is the linear projection onto the perpendicular plane. An invariant subspace is preserved by these polynomials in , soThe first intersection is either zero or the axis. If the second contains a nonzero , it also contains . These are perpendicular nonzero vectors, so they span the perpendicular plane. This proves the classification.
Over the complex numbers the situation changes: the rotation matrix has eigenvalues , giving three one-dimensional eigenspaces. The absence of real eigenvalues on the perpendicular plane explains why it has no real one-dimensional invariant subspace.
New to topics? Read the docs here!