Rotations in 4-dimensional Euclidean space


In mathematics,[] the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO. The name comes from the fact that it is the special orthogonal group of order 4.
In this article rotation means rotational displacement. For the sake of uniqueness rotation angles are assumed to be in the segment except where mentioned or clearly implied by the context otherwise.
A "fixed plane" is a plane for which every vector in the plane is unchanged after the rotation. An "invariant plane" is a plane for which every vector in the plane, although it may be affected by the rotation, remains in the plane after the rotation.

Geometry of 4D rotations

Four-dimensional rotations are of two types: simple rotations and double rotations.

Simple rotations

A simple rotation about a rotation centre leaves an entire plane through fixed. Every plane that is completely orthogonal to intersects in a certain point. Each such point is the centre of the 2D rotation induced by in. All these 2D rotations have the same rotation angle.
Half-lines from in the axis-plane are not displaced; half-lines from orthogonal to are displaced through ; all other half-lines are displaced through an angle less than.

Double rotations

For each rotation of 4-space, there is at least one pair of orthogonal 2-planes and each of which is invariant and whose direct sum is all of 4-space. Hence operating on either of these planes produces an ordinary rotation of that plane. For almost all , the rotation angles in plane and in plane – both assumed to be nonzero – are different. The unequal rotation angles and satisfying, are almost uniquely determined by. Assuming that 4-space is oriented, then the orientations of the 2-planes and can be chosen consistent with this orientation in two ways. If the rotation angles are unequal, is sometimes termed a "double rotation".
In that case of a double rotation, and are the only pair of invariant planes, and half-lines from the origin in, are displaced through and respectively, and half-lines from the origin not in or are displaced through angles strictly between and.

Isoclinic rotations

If the rotation angles of a double rotation are equal then there are infinitely many invariant planes instead of just two, and all half-lines from are displaced through the same angle. Such rotations are called isoclinic or equiangular rotations, or Clifford displacements. Beware: not all planes through are invariant under isoclinic rotations; only planes that are spanned by a half-line and the corresponding displaced half-line are invariant.
Assuming that a fixed orientation has been chosen for 4-dimensional space, isoclinic 4D rotations may be put into two categories. To see this, consider an isoclinic rotation, and take an orientation-consistent ordered set of mutually perpendicular half-lines at such that and span an invariant plane, and therefore and also span an invariant plane. Now assume that only the rotation angle is specified. Then there are in general four isoclinic rotations in planes and with rotation angle, depending on the rotation senses in and.
We make the convention that the rotation senses from to and from to are reckoned positive. Then we have the four rotations,, and. and are each other's inverses; so are and. As long as lies between 0 and, these four rotations will be distinct.
Isoclinic rotations with like signs are denoted as left-isoclinic; those with opposite signs as right-isoclinic. Left- and right-isoclinic rotations are represented respectively by left- and right-multiplication by unit quaternions; see the paragraph "Relation to quaternions" below.
The four rotations are pairwise different except if or. The angle corresponds to the identity rotation; corresponds to the central inversion, given by the negative of the identity matrix. These two elements of SO are the only ones that are simultaneously left- and right-isoclinic.
Left- and right-isocliny defined as above seem to depend on which specific isoclinic rotation was selected. However, when another isoclinic rotation with its own axes,,, is selected, then one can always choose the order of,,, such that can be transformed into by a rotation rather than by a rotation-reflection. Therefore, once one has selected an orientation, one can determine the left or right character of a specific isoclinic rotation.

Group structure of SO(4)

SO is a noncommutative compact 6-dimensional Lie group.
Each plane through the rotation centre is the axis-plane of a commutative subgroup isomorphic to SO. All these subgroups are mutually conjugate in SO.
Each pair of completely orthogonal planes through is the pair of invariant planes of a commutative subgroup of SO isomorphic to.
These groups are maximal tori of SO, which are all mutually conjugate in SO. See also Clifford torus.
All left-isoclinic rotations form a noncommutative subgroup 3L of SO, which is isomorphic to the multiplicative group 3 of unit quaternions. All right-isoclinic rotations likewise form a subgroup 3R of SO isomorphic to 3. Both 3L and 3R are maximal subgroups of SO.
Each left-isoclinic rotation commutes with each right-isoclinic rotation. This implies that there exists a direct product with normal subgroups 3L and 3R; both of the corresponding factor groups are isomorphic to the other factor of the direct product, i.e. isomorphic to 3.
Each 4D rotation is in two ways the product of left- and right-isoclinic rotations and. and are together determined up to the central inversion, i.e. when both and are multiplied by the central inversion their product is again.
This implies that 3L × 3R is the universal covering group of SO — its unique double cover — and that 3L and 3R are normal subgroups of SO. The identity rotation and the central inversion form a group C2math|Smath|Smath|Smath|Smath|Smath|Smath|P3 × S3Definition needed|date=October 2019nowrap|1=SO × Spin = SO × SU

Special property of SO(4) among rotation groups in general

The odd-dimensional rotation groups do not contain the central inversion and are simple groups.
The even-dimensional rotation groups do contain the central inversion and have the group as their centre. From SO onwards they are almost simple in the sense that the factor groups of their centres are simple groups.
SO is different: there is no conjugation by any element of SO that transforms left- and right-isoclinic rotations into each other. Reflections transform a left-isoclinic rotation into a right-isoclinic one by conjugation, and vice versa. This implies that under the group O of all isometries with fixed point the subgroups and are mutually conjugate and so are not normal subgroups of O. The 5D rotation group SO and all higher rotation groups contain subgroups isomorphic to O. Like SO, all even-dimensional rotation groups contain isoclinic rotations. But unlike SO, in SO and all higher even-dimensional rotation groups any pair of isoclinic rotations through the same angle is conjugate. The sets of all isoclinic rotations are not even subgroups of SO, let alone normal subgroups.

Algebra of 4D rotations

SO is commonly identified with the group of orientation-preserving isometric linear mappings of a 4D vector space with inner product over the real numbers onto itself.
With respect to an orthonormal basis in such a space SO is represented as the group of real 4th-order orthogonal matrices with determinant +1.

Isoclinic decomposition

A 4D rotation given by its matrix is decomposed into a left-isoclinic and a right-isoclinic rotation as follows:
Let
be its matrix with respect to an arbitrary orthonormal basis.
Calculate from this the so-called associate matrix
has rank one and is of unit Euclidean norm as a 16D vector if and only if is indeed a 4D rotation matrix. In this case there exist real numbers and such that
and
There are exactly two sets of and such that and. They are each other's opposites.
The rotation matrix then equals
This formula is due to Van Elfrinkhof.
The first factor in this decomposition represents a left-isoclinic rotation, the second factor a right-isoclinic rotation. The factors are determined up to the negative 4th-order identity matrix, i.e. the central inversion.

Relation to quaternions

A point in 4-dimensional space with Cartesian coordinates may be represented by a quaternion.
A left-isoclinic rotation is represented by left-multiplication by a unit quaternion. In matrix-vector language this is
Likewise, a right-isoclinic rotation is represented by right-multiplication by a unit quaternion, which is in matrix-vector form
In the preceding section it is shown how a general 4D rotation is split into left- and right-isoclinic factors.
In quaternion language Van Elfrinkhof's formula reads
or, in symbolic form,
According to the German mathematician Felix Klein this formula was already known to Cayley in 1854.
Quaternion multiplication is associative. Therefore,
which shows that left-isoclinic and right-isoclinic rotations commute.

The eigenvalues of 4D rotation matrices

The four eigenvalues of a 4D rotation matrix generally occur as two conjugate pairs of complex numbers of unit magnitude. If an eigenvalue is real, it must be ±1, since a rotation leaves the magnitude of a vector unchanged. The conjugate of that eigenvalue is also unity, yielding a pair of eigenvectors which define a fixed plane, and so the rotation is simple. In quaternion notation, a proper rotation in SO is a proper simple rotation if and only if the real parts of the unit quaternions and are equal in magnitude and have the same sign. If they are both zero, all eigenvalues of the rotation are unity, and the rotation is the null rotation. If the real parts of and are not equal then all eigenvalues are complex, and the rotation is a double rotation.

The Euler–Rodrigues formula for 3D rotations

Our ordinary 3D space is conveniently treated as the subspace with coordinate system 0XYZ of the 4D space with coordinate system UXYZ. Its rotation group SO is identified with the subgroup of SO consisting of the matrices
In Van Elfrinkhof's formula in the preceding subsection this restriction to three dimensions leads to,,,, or in quaternion representation:.
The 3D rotation matrix then becomes
which is the representation of the 3D rotation by its Euler–Rodrigues parameters:.
The corresponding quaternion formula, where, or, in expanded form:
is known as the Hamilton–Cayley formula.

Hopf coordinates

Rotations in 3D space are made mathematically much more tractable by the use of spherical coordinates. Any rotation in 3D can be characterized by a fixed axis of rotation and an invariant plane perpendicular to that axis. Without loss of generality, we can take the -plane as the invariant plane and the -axis as the fixed axis. Since radial distances are not affected by rotation, we can characterize a rotation by its effect on the unit sphere by spherical coordinates referred to the fixed axis and invariant plane:
Because, the points lie on the 2-sphere. A point at rotated by an angle about the -axis is specified simply by. While hyperspherical coordinates are also useful in dealing with 4D rotations, an even more useful coordinate system for 4D is provided by Hopf coordinates, which are a set of three angular coordinates specifying a position on the 3-sphere. For example:
Because, the points lie on the 3-sphere.
In 4D space, every rotation about the origin has two invariant planes which are completely orthogonal to each other and intersect at the origin, and are rotated by two independent angles and. Without loss of generality, we can choose, respectively, the - and -planes as these invariant planes. A rotation in 4D of a point through angles and is then simply expressed in Hopf coordinates as.

Visualization of 4D rotations

Every rotation in 3D space has an invariant axis-line which is unchanged by the rotation. The rotation is completely specified by specifying the axis of rotation and the angle of rotation about that axis. Without loss of generality, this axis may be chosen as the -axis of a Cartesian coordinate system, allowing a simpler visualization of the rotation.
In 3D space, the spherical coordinates may be seen as a parametric expression of the 2-sphere. For fixed they describe circles on the 2-sphere which are perpendicular to the -axis and these circles may be viewed as trajectories of a point on the sphere. A point on the sphere, under a rotation about the -axis, will follow a trajectory as the angle varies. The trajectory may be viewed as a rotation parametric in time, where the angle of rotation is linear in time:, with being an "angular velocity".
Analogous to the 3D case, every rotation in 4D space has at least two invariant axis-planes which are left invariant by the rotation and are completely orthogonal. The rotation is completely specified by specifying the axis planes and the angles of rotation about them. Without loss of generality, these axis planes may be chosen to be the - and -planes of a Cartesian coordinate system, allowing a simpler visualization of the rotation.
In 4D space, the Hopf angles parameterize the 3-sphere. For fixed they describe a torus parameterized by and, with being the special case of the Clifford torus in the - and -planes. These tori are not the usual tori found in 3D-space. While they are still 2D surfaces, they are embedded in the 3-sphere. The 3-sphere can be stereographically projected onto the whole Euclidean 3D-space, and these tori are then seen as the usual tori of revolution. It can be seen that a point specified by undergoing a rotation with the - and -planes invariant will remain on the torus specified by. The trajectory of a point can be written as a function of time as and stereographically projected onto its associated torus, as in the figures below. In these figures, the initial point is taken to be, i.e. on the Clifford torus. In Fig. 1, two simple rotation trajectories are shown in black, while a left and a right isoclinic trajectory is shown in red and blue respectively. In Fig. 2, a general rotation in which and is shown, while in Fig. 3, a general rotation in which and is shown.

Generating 4D rotation matrices

Four-dimensional rotations can be derived from Rodrigues' rotation formula and the Cayley formula. Let be a 4 × 4 skew-symmetric matrix. The skew-symmetric matrix can be uniquely decomposed as
into two skew-symmetric matrices and satisfying the properties, and, where and are the eigenvalues of. Then, the 4D rotation matrices can be obtained from the skew-symmetric matrices and by Rodrigues' rotation formula and the Cayley formula.
Let be a 4 × 4 nonzero skew-symmetric matrix with the set of eigenvalues
Then can be decomposed as
where and are skew-symmetric matrices satisfying the properties
Moreover, the skew-symmetric matrices and are uniquely obtained as
and
Then,
is a rotation matrix in, which is generated by Rodrigues' rotation formula, with the set of eigenvalues
Also,
is a rotation matrix in, which is generated by Cayley's rotation formula, such that the set of eigenvalues of is,
The generating rotation matrix can be classified with respect to the values and as follows:
  1. If and or vice versa, then the formulae generate simple rotations;
  2. If and are nonzero and, then the formulae generate double rotations;
  3. If and are nonzero and, then the formulae generate isoclinic rotations.