Rotations in 4dimensional Euclidean space Information
In mathematics, the group of rotations about a fixed point in fourdimensional Euclidean space is denoted SO(4). 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 [0, π] 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
Fourdimensional rotations are of two types: simple rotations and double rotations.
Simple rotations
A simple rotation R about a rotation centre O leaves an entire plane A through O (axisplane) fixed. Every plane B that is completely orthogonal^{ [a]} to A intersects A in a certain point P. Each such point P is the centre of the 2D rotation induced by R in B. All these 2D rotations have the same rotation angle α.
Halflines from O in the axisplane A are not displaced; halflines from O orthogonal to A are displaced through α; all other halflines are displaced through an angle less than α.
Double rotations
For each rotation R of 4space (fixing the origin), there is at least one pair of orthogonal 2planes A and B each of which is invariant and whose direct sum A ⊕ B is all of 4space. Hence R operating on either of these planes produces an ordinary rotation of that plane. For almost all R (all of the 6dimensional set of rotations except for a 3dimensional subset), the rotation angles α in plane A and β in plane B – both assumed to be nonzero – are different. The unequal rotation angles α and β satisfying −π < α, β < π are almost^{ [b]} uniquely determined by R. Assuming that 4space is oriented, then the orientations of the 2planes A and B can be chosen consistent with this orientation in two ways. If the rotation angles are unequal (α ≠ β), R is sometimes termed a "double rotation".
In that case of a double rotation, A and B are the only pair of invariant planes, and halflines from the origin in A, B are displaced through α and β respectively, and halflines from the origin not in A or B 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 halflines from O are displaced through the same angle. Such rotations are called isoclinic or equiangular rotations, or Clifford displacements. Beware: not all planes through O are invariant under isoclinic rotations; only planes that are spanned by a halfline and the corresponding displaced halfline are invariant.
Assuming that a fixed orientation has been chosen for 4dimensional space, isoclinic 4D rotations may be put into two categories. To see this, consider an isoclinic rotation R, and take an orientationconsistent ordered set OU, OX, OY, OZ of mutually perpendicular halflines at O (denoted as OUXYZ) such that OU and OX span an invariant plane, and therefore OY and OZ also span an invariant plane. Now assume that only the rotation angle α is specified. Then there are in general four isoclinic rotations in planes OUX and OYZ with rotation angle α, depending on the rotation senses in OUX and OYZ.
We make the convention that the rotation senses from OU to OX and from OY to OZ are reckoned positive. Then we have the four rotations R_{1} = (+α, +α), R_{2} = (−α, −α), R_{3} = (+α, −α) and R_{4} = (−α, +α). R_{1} and R_{2} are each other's inverses; so are R_{3} and R_{4}. As long as α lies between 0 and π, these four rotations will be distinct.
Isoclinic rotations with like signs are denoted as leftisoclinic; those with opposite signs as rightisoclinic. Left and rightisoclinic rotations are represented respectively by left and rightmultiplication by unit quaternions; see the paragraph "Relation to quaternions" below.
The four rotations are pairwise different except if α = 0 or α = π. The angle α = 0 corresponds to the identity rotation; α = π corresponds to the central inversion, given by the negative of the identity matrix. These two elements of SO(4) are the only ones that are simultaneously left and rightisoclinic.
Left and rightisocliny defined as above seem to depend on which specific isoclinic rotation was selected. However, when another isoclinic rotation R′ with its own axes OU′, OX′, OY′, OZ′ is selected, then one can always choose the order of U′, X′, Y′, Z′ such that OUXYZ can be transformed into OU′X′Y′Z′ by a rotation rather than by a rotationreflection (that is, so that the ordered basis OU′, OX′, OY′, OZ′ is also consistent with the same fixed choice of orientation as OU, OX, OY, OZ). Therefore, once one has selected an orientation (that is, a system OUXYZ of axes that is universally denoted as righthanded), one can determine the left or right character of a specific isoclinic rotation.
Group structure of SO(4)
SO(4) is a noncommutative compact 6 dimensional Lie group.
Each plane through the rotation centre O is the axisplane of a commutative subgroup isomorphic to SO(2). All these subgroups are mutually conjugate in SO(4).
Each pair of completely orthogonal planes through O is the pair of invariant planes of a commutative subgroup of SO(4) isomorphic to SO(2) × SO(2).
These groups are maximal tori of SO(4), which are all mutually conjugate in SO(4). See also Clifford torus.
All leftisoclinic rotations form a noncommutative subgroup S^{3}_{L} of SO(4), which is isomorphic to the multiplicative group S^{3} of unit quaternions. All rightisoclinic rotations likewise form a subgroup S^{3}_{R} of SO(4) isomorphic to S^{3}. Both S^{3}_{L} and S^{3}_{R} are maximal subgroups of SO(4).
Each leftisoclinic rotation commutes with each rightisoclinic rotation. This implies that there exists a direct product S^{3}_{L} × S^{3}_{R} with normal subgroups S^{3}_{L} and S^{3}_{R}; both of the corresponding factor groups are isomorphic to the other factor of the direct product, i.e. isomorphic to S^{3}. (This is not SO(4) or a subgroup of it, because S^{3}_{L} and S^{3}_{R} are not disjoint: the identity I and the central inversion −I each belong to both S^{3}_{L} and S^{3}_{R}.)
Each 4D rotation A is in two ways the product of left and rightisoclinic rotations A_{L} and A_{R}. A_{L} and A_{R} are together determined up to the central inversion, i.e. when both A_{L} and A_{R} are multiplied by the central inversion their product is A again.
This implies that S^{3}_{L} × S^{3}_{R} is the universal covering group of SO(4) — its unique double cover — and that S^{3}_{L} and S^{3}_{R} are normal subgroups of SO(4). The identity rotation I and the central inversion −I form a group C_{2} of order 2, which is the centre of SO(4) and of both S^{3}_{L} and S^{3}_{R}. The centre of a group is a normal subgroup of that group. The factor group of C_{2} in SO(4) is isomorphic to SO(3) × SO(3). The factor groups of S^{3}_{L} by C_{2} and of S^{3}_{R} by C_{2} are each isomorphic to SO(3). Similarly, the factor groups of SO(4) by S^{3}_{L} and of SO(4) by S^{3}_{R} are each isomorphic to SO(3).
The topology of SO(4) is the same as that of the Lie group SO(3) × Spin(3) = SO(3) × SU(2), namely the space where is the real projective space of dimension 3 and is the 3sphere. However, it is noteworthy that, as a Lie group, SO(4) is not a direct product of Lie groups, and so it is not isomorphic to SO(3) × Spin(3) = SO(3) × SU(2).
Special property of SO(4) among rotation groups in general
The odddimensional rotation groups do not contain the central inversion and are simple groups.
The evendimensional rotation groups do contain the central inversion −I and have the group C_{2} = {I, −I} as their centre. For even n ≥ 6, SO(n) is almost simple in that the factor group SO(n)/C_{2} of SO(n) by its centre is a simple group.
SO(4) is different: there is no conjugation by any element of SO(4) that transforms left and rightisoclinic rotations into each other. Reflections transform a leftisoclinic rotation into a rightisoclinic one by conjugation, and vice versa. This implies that under the group O(4) of all isometries with fixed point O the distinct subgroups S^{3}_{L} and S^{3}_{R} are conjugate to each other, and so cannot be normal subgroups of O(4). The 5D rotation group SO(5) and all higher rotation groups contain subgroups isomorphic to O(4). Like SO(4), all evendimensional rotation groups contain isoclinic rotations. But unlike SO(4), in SO(6) and all higher evendimensional rotation groups any two isoclinic rotations through the same angle are conjugate. The set of all isoclinic rotations is not even a subgroup of SO(2N), let alone a normal subgroup.
Algebra of 4D rotations
SO(4) is commonly identified with the group of orientationpreserving 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(4) is represented as the group of real 4thorder orthogonal matrices with determinant +1.
Isoclinic decomposition
A 4D rotation given by its matrix is decomposed into a leftisoclinic and a rightisoclinic rotation as follows:
Let
be its matrix with respect to an arbitrary orthonormal basis.
Calculate from this the socalled associate matrix^{[ citation needed]}
M has rank one and is of unit Euclidean norm as a 16D vector if and only if A is indeed a 4D rotation matrix^{[ citation needed]}. In this case there exist real numbers a, b, c, d and p, q, r, s such that
and
 ^{[ citation needed]}
There are exactly two sets of a, b, c, d and p, q, r, s such that a^{2} + b^{2} + c^{2} + d^{2} = 1 and p^{2} + q^{2} + r^{2} + s^{2} = 1. They are each other's opposites.
The rotation matrix then equals
This formula is due to Van Elfrinkhof (1897).
The first factor in this decomposition represents a leftisoclinic rotation, the second factor a rightisoclinic rotation. The factors are determined up to the negative 4thorder identity matrix, i.e. the central inversion.
Relation to quaternions
A point in 4dimensional space with Cartesian coordinates (u, x, y, z) may be represented by a quaternion P = u + xi + yj + zk.
A leftisoclinic rotation is represented by leftmultiplication by a unit quaternion Q_{L} = a + bi + cj + dk. In matrixvector language this is
Likewise, a rightisoclinic rotation is represented by rightmultiplication by a unit quaternion Q_{R} = p + qi + rj + sk, which is in matrixvector form
In the preceding section ( #Isoclinic decomposition) it is shown how a general 4D rotation is split into left and rightisoclinic 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^{[ citation needed]}.
Quaternion multiplication is associative. Therefore,
which shows that leftisoclinic and rightisoclinic 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 (i.e., noninverting) rotation in SO(4) is a proper simple rotation if and only if the real parts of the unit quaternions Q_{L} and Q_{R} are equal in magnitude and have the same sign.^{ [c]} If they are both zero, all eigenvalues of the rotation are unity, and the rotation is the null rotation. If the real parts of Q_{L} and Q_{R} 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(3) is identified with the subgroup of SO(4) consisting of the matrices
In Van Elfrinkhof's formula in the preceding subsection this restriction to three dimensions leads to p = a, q = −b, r = −c, s = −d, or in quaternion representation: Q_{R} = Q_{L}′ = Q_{L}^{−1}. The 3D rotation matrix then becomes
which is the representation of the 3D rotation by its Euler–Rodrigues parameters: a, b, c, d.
The corresponding quaternion formula P′ = QPQ^{−1}, where Q = Q_{L}, 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 xyplane as the invariant plane and the zaxis as the fixed axis. Since radial distances are not affected by rotation, we can characterize a rotation by its effect on the unit sphere (2sphere) by spherical coordinates referred to the fixed axis and invariant plane:
Because x^{2} + y^{2} + z^{2} = 1, the points lie on the 2sphere. A point at {θ_{0}, φ_{0}} rotated by an angle φ about the zaxis is specified simply by {θ_{0}, φ_{0} + φ}. While hyperspherical coordinates are also useful in dealing with 4D rotations, an even more useful coordinate system for 4D is provided by Hopf coordinates {ξ_{1}, η, ξ_{2}},^{ [2]} which are a set of three angular coordinates specifying a position on the 3sphere. For example:
Because u^{2} + x^{2} + y^{2} + z^{2} = 1, the points lie on the 3sphere.
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 ξ_{1} and ξ_{2}. Without loss of generality, we can choose, respectively, the uz and xyplanes as these invariant planes. A rotation in 4D of a point {ξ_{10}, η_{0}, ξ_{20}} through angles ξ_{1} and ξ_{2} is then simply expressed in Hopf coordinates as {ξ_{10} + ξ_{1}, η_{0}, ξ_{20} + ξ_{2}}.
Visualization of 4D rotations
Every rotation in 3D space has an invariant axisline 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 zaxis 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 2sphere. For fixed θ they describe circles on the 2sphere which are perpendicular to the zaxis and these circles may be viewed as trajectories of a point on the sphere. A point {θ_{0}, φ_{0}} on the sphere, under a rotation about the zaxis, will follow a trajectory {θ_{0}, φ_{0} + φ} as the angle φ varies. The trajectory may be viewed as a rotation parametric in time, where the angle of rotation is linear in time: φ = ωt, with ω being an "angular velocity".
Analogous to the 3D case, every rotation in 4D space has at least two invariant axisplanes which are left invariant by the rotation and are completely orthogonal (i.e. they intersect at a point). 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 uz and xyplanes of a Cartesian coordinate system, allowing a simpler visualization of the rotation.
In 4D space, the Hopf angles {ξ_{1}, η, ξ_{2}} parameterize the 3sphere. For fixed η they describe a torus parameterized by ξ_{1} and ξ_{2}, with η = π/4 being the special case of the Clifford torus in the xy and uzplanes. These tori are not the usual tori found in 3Dspace. While they are still 2D surfaces, they are embedded in the 3sphere. The 3sphere can be stereographically projected onto the whole Euclidean 3Dspace, and these tori are then seen as the usual tori of revolution. It can be seen that a point specified by {ξ_{10}, η_{0}, ξ_{20}} undergoing a rotation with the uz and xyplanes invariant will remain on the torus specified by η_{0}.^{ [3]} The trajectory of a point can be written as a function of time as {ξ_{10} + ω_{1}t, η_{0}, ξ_{20} + ω_{2}t} and stereographically projected onto its associated torus, as in the figures below.^{ [4]} In these figures, the initial point is taken to be {0, π/4, 0}, 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 ω_{1} = 1 and ω_{2} = 5 is shown, while in Fig. 3, a general rotation in which ω_{1} = 5 and ω_{2} = 1 is shown.
Generating 4D rotation matrices
Fourdimensional rotations can be derived from Rodrigues' rotation formula and the Cayley formula. Let A be a 4 × 4 skewsymmetric matrix. The skewsymmetric matrix A can be uniquely decomposed as
into two skewsymmetric matrices A_{1} and A_{2} satisfying the properties A_{1}A_{2} = 0, A_{1}^{3} = −A_{1} and A_{2}^{3} = −A_{2}, where ∓θ_{1}i and ∓θ_{2}i are the eigenvalues of A. Then, the 4D rotation matrices can be obtained from the skewsymmetric matrices A_{1} and A_{2} by Rodrigues' rotation formula and the Cayley formula.^{ [5]}
Let A be a 4 × 4 nonzero skewsymmetric matrix with the set of eigenvalues
Then A can be decomposed as
where A_{1} and A_{2} are skewsymmetric matrices satisfying the properties
Moreover, the skewsymmetric matrices A_{1} and A_{2} are uniquely obtained as
and
Then,
is a rotation matrix in E^{4}, which is generated by Rodrigues' rotation formula, with the set of eigenvalues
Also,
is a rotation matrix in E^{4}, which is generated by Cayley's rotation formula, such that the set of eigenvalues of R is,
The generating rotation matrix can be classified with respect to the values θ_{1} and θ_{2} as follows:
 If θ_{1} = 0 and θ_{2} ≠ 0 or vice versa, then the formulae generate simple rotations;
 If θ_{1} and θ_{2} are nonzero and θ_{1} ≠ θ_{2}, then the formulae generate double rotations;
 If θ_{1} and θ_{2} are nonzero and θ_{1} = θ_{2}, then the formulae generate isoclinic rotations.
See also
 Laplace–Runge–Lenz vector
 Lorentz group
 Orthogonal group
 Orthogonal matrix
 Plane of rotation
 Poincaré group
 Quaternions and spatial rotation
Notes
 ^ Two flat subspaces S_{1} and S_{2} of dimensions M and N of a Euclidean space S of at least M + N dimensions are called completely orthogonal if every line in S_{1} is orthogonal to every line in S_{2}. If dim(S) = M + N then S_{1} and S_{2} intersect in a single point O. If dim(S) > M + N then S_{1} and S_{2} may or may not intersect. If dim(S) = M + N then a line in S_{1} and a line in S_{2} may or may not intersect; if they intersect then they intersect in O.^{ [1]}
 ^ Assuming that 4space is oriented, then an orientation for each of the 2planes A and B can be chosen to be consistent with this orientation of 4space in two equally valid ways. If the angles from one such choice of orientations of A and B are {α, β}, then the angles from the other choice are {−α, −β}. (In order to measure a rotation angle in a 2plane, it is necessary to specify an orientation on that 2plane. A rotation angle of −π is the same as one of +π. If the orientation of 4space is reversed, the resulting angles would be either {α, −β} or {−α, β}. Hence the absolute values of the angles are welldefined completely independently of any choices.)
 ^ Example of opposite signs: the central inversion; in the quaternion representation the real parts are +1 and −1, and the central inversion cannot be accomplished by a single simple rotation.
References
 ^ Schoute 1902, Volume 1.
 ^ Karcher, Hermann, "Bianchi–Pinkall Flat Tori in S_{3}", 3DXM Documentation, 3DXM Consortium, retrieved 5 April 2015
 ^ Pinkall, U. (1985). "Hopf tori in S_{3}" (PDF). Invent. Math. 81 (2): 379–386. Bibcode: 1985InMat..81..379P. doi: 10.1007/bf01389060. Retrieved 7 April 2015.
 ^ Banchoff, Thomas F. (1990). Beyond the Third Dimension. W H Freeman & Co. ISBN 9780716750253. Retrieved 8 April 2015.

^ Erdoğdu, M.; Özdemir, M. (2015).
"Generating Four Dimensional Rotation Matrices". Cite journal requires
journal=
( help)
Bibliography
 L. van Elfrinkhof: Eene eigenschap van de orthogonale substitutie van de vierde orde. Handelingen van het 6e Nederlandsch Natuurkundig en Geneeskundig Congres, Delft, 1897.
 Felix Klein: Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis. Translated by E.R. Hedrick and C.A. Noble. The Macmillan Company, New York, 1932.
 Henry Parker Manning: Geometry of four dimensions. The Macmillan Company, 1914. Republished unaltered and unabridged by Dover Publications in 1954. In this monograph fourdimensional geometry is developed from first principles in a synthetic axiomatic way. Manning's work can be considered as a direct extension of the works of Euclid and Hilbert to four dimensions.
 J. H. Conway and D. A. Smith: On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry. A. K. Peters, 2003.
 Arthur Stafford Hathaway (1902) Quaternion Space, Transactions of the American Mathematical Society 3(1):46–59.
 Johan E. Mebius, A matrixbased proof of the quaternion representation theorem for fourdimensional rotations., arXiv General Mathematics 2005.
 Johan E. Mebius, Derivation of the Euler–Rodrigues formula for threedimensional rotations from the general formula for fourdimensional rotations., arXiv General Mathematics 2007.
 P.H.Schoute: Mehrdimensionale Geometrie. Leipzig: G.J.Göschensche Verlagshandlung. Volume 1 (Sammlung Schubert XXXV): Die linearen Räume, 1902. Volume 2 (Sammlung Schubert XXXVI): Die Polytope, 1905.
 Stringham, Irving (1901). "On the geometry of planes in a parabolic space of four dimensions". Transactions of the American Mathematical Society. 2 (2): 183–214. doi: 10.1090/s00029947190115005642. JSTOR 1986218.
 Melek Erdoğdu, Mustafa Özdemir, Generating Four Dimensional Rotation Matrices, https://www.researchgate.net/publication/283007638_Generating_Four_Dimensional_Rotation_Matrices, 2015.
 Daniele Mortari, "On the Rigid Rotation Concept in nDimensional Spaces", Journal of the Astronautical Sciences 49.3 (July 2001), https://pdfs.semanticscholar.org/f7d8/63ceb75277133592ef9e92457b6705b1264f.pdf