pith. sign in

arxiv: 1906.11370 · v1 · pith:I7TUKDXBnew · submitted 2019-06-26 · 🧮 math.RA

Some extensions of quaternions and symmetries of simply connected space forms

Gerardo Arizmendi , Marco Antonio P\'erez-de la Rosa This is my paper

Pith reviewed 2026-05-25 14:41 UTC · model grok-4.3

classification 🧮 math.RA
keywords quaternionsbiquaternionsdual quaternionssplit biquaternionsisometriesspace formsrotationsLorentz transformations
0
0 comments X

The pith

A unified framework of quaternion extensions decomposes unit-norm elements to represent isometries of all simply connected space forms in dimensions 3 and 4.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a single algebraic setting that treats the algebras of real quaternions, biquaternions, dual quaternions, and split biquaternions together so that their unit-norm elements generate the isometry groups for Euclidean rotations in dimension 3, Lorentz transformations in dimension 4, screw motions in dimension 3, and additional cases. Classical representations appear as special instances inside this wider structure. The authors prove an explicit decomposition for the unit-norm elements across all these algebras. This yields, as a direct consequence, a new factorization of the full rotation group in four dimensions.

Core claim

The authors present a unified framework that includes the algebras of real quaternions, biquaternions, dual quaternions, and split biquaternions, allowing the groups of unit-norm elements to act as isometries of space forms in dimensions 3 and 4. They establish a decomposition of these unit-norm elements in all cases, which as a byproduct gives a new decomposition of the group of rotations in dimension 4.

What carries the argument

Decomposition of unit-norm elements in the quaternion, biquaternion, dual quaternion, and split biquaternion algebras that act as isometries.

If this is right

  • All classical representations of 3D rotations by unit quaternions, 4D Lorentz transformations by biquaternions, and 3D screw motions by dual quaternions become special cases of the single framework.
  • A new explicit decomposition is obtained for every element of the rotation group in dimension 4.
  • The same decomposition applies uniformly to the isometry groups arising from the split biquaternion case.
  • The framework covers isometries of all simply connected space forms of constant curvature in dimensions 3 and 4.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The decomposition may allow composition of isometries to be computed by multiplying the factors separately rather than working with the full group elements.
  • Similar algebraic decompositions could be sought for isometry groups in higher dimensions or for other curvature-constant geometries.
  • The approach suggests that the algebraic structure of unit-norm elements may be independent of the specific curvature sign once the algebra is chosen appropriately.

Load-bearing premise

The unit-norm elements of these algebras act as the isometries of the corresponding space forms in a way that recovers the classical cases inside one framework.

What would settle it

A concrete counter-example would be a unit-norm element in one of the algebras whose induced map on the space form fails to be an isometry, or a failure to recover the known group decompositions for 3D rotations or 4D Lorentz transformations as special cases.

Figures

Figures reproduced from arXiv: 1906.11370 by Gerardo Arizmendi, Marco Antonio P\'erez-de la Rosa.

Figure 1
Figure 1. Figure 1: Action of q = qrqb, where qr = cos(θ/2) + sin(θ/2)ˆqr and qb = cos(φ/2) + isinh(φ/2)ˆqb. 5.2 Dual quaternions For q ∈ H(D): qq = qq = X 3 k=0 q 2 k = |α| 2 + ǫ [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Action of q = qrqb, where qr = cos(θ/2) + sin(θ/2)ˆqr and qr = 1 + εqˆb φ 2 . 5.3 Split biquaternions For q ∈ H(S): qq = qq = X 3 k=0 q 2 k = |α| 2 + |β| 2 + j [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Action of q = qrqb, where qr = cos(θ/2) + sin(θ/2)ˆqr and qb = cos(φ/2) + j sin(φ/2)ˆqb. Acknowledgments The first author acknowledges partial support from CONACyT under grant 256126. 21 [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗
read the original abstract

It is known that the groups of Euclidean rotations in dimension 3 (isometries of $S^2$), general Lorentz transformations in dimension 4 (Hyperbolic isometries in dimension 3), and screw motions in dimension 3 can be represented by the groups of unit--norm elements in the algebras of real quaternions, biquaternions (complex quaternions) and dual quaternions, respectively. In this work, we present a unified framework that allows a wider scope on the subject and includes all the classical results related to the action in dimension 3 and 4 of unit--norm elements of the algebras described above and the algebra of split biquaternions as particular cases. We establish a decomposition of unit--norm elements in all cases and obtain as a byproduct a new decomposition of the group rotations in dimension 4.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper claims to present a unified framework extending the known representations of 3D Euclidean rotations (via unit quaternions), 4D Lorentz transformations (via biquaternions), and 3D screw motions (via dual quaternions) to include split biquaternions as well, with all cases recovered as instances of a single construction acting on simply connected space forms; it establishes decompositions of the unit-norm elements in each algebra and obtains a new decomposition of the group of rotations in dimension 4 as a byproduct.

Significance. If the unified action and decompositions are rigorously established, the work would generalize several classical algebraic models of isometries into one framework, potentially clarifying relations among Euclidean, hyperbolic, and other low-dimensional geometries while supplying a novel factorization of SO(4) that could be of independent interest in algebra and geometry.

major comments (2)
  1. [Abstract] The central claim requires that the same notion of unit-norm element induces an isometry action on the appropriate space form in every case (including split biquaternions) with the classical actions recovered uniformly. The abstract asserts this unification but supplies no explicit definition of the action map, the target space form, or the norm used in the split-biquaternion case; without these, it is impossible to verify that the map is a group homomorphism onto the connected component of the isometry group or that the claimed decompositions apply uniformly.
  2. [Abstract] The byproduct decomposition of 4-dimensional rotations is presented as following from the unified framework. If the split-biquaternion case requires a different signature or fails to be surjective onto the relevant isometry component, this byproduct cannot be obtained in the uniform way asserted; the manuscript must supply a concrete verification (e.g., an explicit homomorphism and image computation) for the split case to support the claim.
minor comments (1)
  1. Clarify whether the framework covers only the listed algebras or admits further extensions, and ensure all notation for norms and multiplications is defined before the main results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive comments. The points raised concern the clarity of the abstract in presenting the unified framework. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] The central claim requires that the same notion of unit-norm element induces an isometry action on the appropriate space form in every case (including split biquaternions) with the classical actions recovered uniformly. The abstract asserts this unification but supplies no explicit definition of the action map, the target space form, or the norm used in the split-biquaternion case; without these, it is impossible to verify that the map is a group homomorphism onto the connected component of the isometry group or that the claimed decompositions apply uniformly.

    Authors: We agree that the abstract would benefit from including these explicit elements to make the unification claim more self-contained and verifiable. We will revise the abstract to supply brief definitions of the action map, target space forms, and norms for all cases, including split biquaternions. revision: yes

  2. Referee: [Abstract] The byproduct decomposition of 4-dimensional rotations is presented as following from the unified framework. If the split-biquaternion case requires a different signature or fails to be surjective onto the relevant isometry component, this byproduct cannot be obtained in the uniform way asserted; the manuscript must supply a concrete verification (e.g., an explicit homomorphism and image computation) for the split case to support the claim.

    Authors: We acknowledge that an explicit verification for the split-biquaternion case is needed to confirm the uniform derivation of the 4D rotation decomposition. We will add such a verification, including an explicit homomorphism and image computation, to the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation extends known results independently

full rationale

The paper states that classical representations (quaternions for SO(3), biquaternions for Lorentz, dual quaternions for screws) are known and are recovered as special cases within a new unified framework that also covers split biquaternions. No equation or claim reduces a derived quantity to a fitted parameter or to a self-citation whose content is the target result itself. The decomposition of unit-norm elements is presented as a new result whose byproduct is a decomposition of 4D rotations; nothing in the abstract or described structure indicates that the unification is defined by re-using the classical actions tautologically. The framework is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not specify any free parameters, axioms, or invented entities; the work appears to rely on standard properties of quaternion algebras.

pith-pipeline@v0.9.0 · 5676 in / 913 out tokens · 25911 ms · 2026-05-25T14:41:20.574522+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · 1 internal anchor

  1. [1]

    Buchheim, A. (1885). A memoir on biquaternions. American Journ al of Mathematics, 7(4), 293-326

    work page

  2. [2]

    Clifford, W. K. (1882). Preliminary Sketch of Biquaternions (1873 ). Mathematical Papers, 658

    work page

  3. [3]

    Delphenich, D. H. (2012). The representation of physical motio ns by various types of quaternions. arXiv preprint arXiv:1205.4440

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  4. [4]

    Dooley, J. R. & McCarthy, J. M. (1991, April). Spatial rigid body d y- namics using dual quaternion components. In Proceedings. 1991 I EEE International Conference on Robotics and Automation (pp. 90-9 5). IEEE

    work page 1991

  5. [5]

    Edmonds, J. D. (1972). Nature’s natural numbers: relativistic quantum theory over the ring of complex quaternions. International Jour nal of Theoretical Physics, 6(3), 205-224

    work page 1972

  6. [6]

    & Gal, S

    Fjelstad, P. & Gal, S. G. (2001). Two-dimensional geometries, t opolo- gies, trigonometries and physics generated by complex-type numb ers. Advances in Applied Clifford Algebras, 11(1), 81

    work page 2001

  7. [7]

    Girard, P. R. (1984). The quaternion group and modern physics . Euro- pean Journal of Physics, 5(1), 25

    work page 1984

  8. [8]

    Hestenes, D., & Lasenby, A. N. (1966). Space-time algebra (Vo l. 1, No. 6). New York: Gordon and Breach

    work page 1966

  9. [9]

    Hitzer, E., Nitta, T., and Kuroe, Y. (2013). Applications of Clifford s geometric algebra. Advances in Applied Clifford Algebras, 23(2), 377 - 404

    work page 2013

  10. [10]

    & Solodownikov, V.N

    Kantor, I.L. & Solodownikov, V.N. (1978). Hypercomplexe Zahle n, Teubner, Leipzig

    work page 1978

  11. [11]

    Kavan, L., Collins, S., O’Sullivan, C., & Zara, J. (2006). Dual quate r- nions for rigid transformation blending. Trinity College Dublin

    work page 2006

  12. [12]

    V., & Shapiro, M

    Kravchenko, V. V., & Shapiro, M. (1996). Integral represen tations for spatial models of mathematical physics (Vol. 351). CRC Press. 22

    work page 1996

  13. [13]

    & Mesbahi, M

    Lee, U. & Mesbahi, M. (2012, December). Dual quaternions, r igid body mechanics, and powered-descent guidance. In 2012 IEEE 51st IE EE Conference on Decision and Control (CDC) (pp. 3386-3391). IEE E

    work page 2012

  14. [14]

    Macfarlane, A. J. (1962). On the restricted Lorentz group a nd groups homomorphically related to it. Journal of Mathematical Physics, 3( 6), 1116-1129

    work page 1962

  15. [15]

    Majernik, V. (1995). Galilean transformation expressed by th e dual four- component numbers. Acta Physica Polonica-Series A General Phys ics, 87(6), 919-924

    work page 1995

  16. [16]

    ¨Ozdemir, M. (2016). An alternative approach to elliptical motion. Ad - vances in Applied Clifford Algebras, 26(1), 279-304

    work page 2016

  17. [17]

    & Valentini, P

    Pennestr ` ı, E. & Valentini, P. (2010). Dual quaternions as a to ol for rigid body motion analysis: A tutorial with an application to biomechanics. Archive of Mechanical Engineering, 57(2), 187-205

    work page 2010

  18. [18]

    Silberstein, L. (1914). The theory of relativity. Macmillan

    work page 1914

  19. [19]

    Sommer, G. (Ed.). (2013). Geometric computing with Clifford alge - bras: theoretical foundations and applications in computer vision a nd robotics. Springer Science & Business Media

    work page 2013

  20. [20]

    Synge, J. L. (1972). Quaternions, Lorentz transformation s, and the Conway-Dirac-Eddington matrices. Commun. Dublin Inst. Ser. A, 2 1, 1-67

    work page 1972

  21. [21]

    Ward, J. P. (2012). Quaternions and Cayley numbers: Algebra and applications (Vol. 403). Springer Science & Business Media

    work page 2012

  22. [22]

    Yaglom I.M. (1979). A simple non-Euclidean geometry and its phys ical basis. Heidelberg Science Library. Springer-Verlag, New York. 23

    work page 1979