Explicit Parameterizations of Ortho-Symplectic Matrices in R4

Starting from the very first principles we derive explicit parameterizations of the ortho-symplectic matrices in the real four-dimensional Euclidean space. These matrices depend on a set of four real parameters which splits naturally as a union of the real line and the three-dimensional space. It turns out that each of these sets is associated with a separate Lie algebra which after exponentiations generates Lie groups that commute between themselves. Besides, by making use of the Cayley and Fedorov maps, we have arrived at alternative realizations of the ortho-symplectic matrices in four dimensions. Finally, relying on the fundamental structure results in Lie group theory we have derived one more explicit parameterization of these matrices which suggests that the obtained earlier results can be viewed as a universal method for building the representations of the unitary groups in arbitrary dimension.