The study variety of conformal kinematics. (English) Zbl 1503.70004

Kalkan, Bahar; Li, Zijia; Schröcker, Hans-Peter; Siegele, Johannes

Adv. Appl. Clifford Algebr. 32, No. 4, Paper No. 44, 18 p. (2022).

The group of conformal displacements of \(\mathbb{R}^3\) is isomorphic to \(\mathrm{SO}(4,1)\) and generated by the Euclidean similarities and an inversion in a sphere. The authors construct a 10-dimensional projective variety \(\mathcal{S}\subset\mathbb{P}^{15}\) of degree 12 and a smooth projective hyperquadric \(\mathcal{N}\subset\mathbb{P}^{15}\) such that the Zariski open subset \(\mathcal{S}\setminus\mathcal{N}\) is isomorphic to the group of conformal displacements \(\mathrm{SO}(4,1)\). The authors call \(\mathcal{S}\) the Study variety of conformal kinematics and \(\mathcal{N}\) its null quadric. The projective space \(\mathbb{P}^{15}\) is identified with the projectivization of the vector space associated to the even subalgebra \(\operatorname{CGA}_+\) of the conformal geometric algebra of 3-dimensional Euclidean geometry. The subalgebra \(\operatorname{CGA}_+\) is represented in terms of a 4-dimensional algebra over the quaternions and the authors use this four-quaternion representation to describe the ideal of \(\mathcal{S}\) in terms of 10 explicit bilinear polynomials. Theorem 3 of the article states that the straight lines in \(\mathcal{S}\) containing the identity correspond to certain conformal motions as described in [L. Dorst, Math. Comput. Sci. 10, 97–113 (2016; Zbl 1341.65006)].
The Study variety of conformal kinematics \(\mathcal{S}\) can be seen as a generalization of the Study quadric, where the Study quadric \(\mathcal{Q}\subset\mathbb{P}^7\) and its null cone \(\mathcal{C}\subset\mathbb{P}^7\) are hyperquadrics such that \(\mathcal{Q}\setminus\mathcal{C}\) is isomorphic to the group of Euclidean displacements \(\operatorname{SE}(3)\). The article shows how to recover \(\mathcal{Q}\) from \(\mathcal{S}\) as a subvariety. In comparison, the straight lines in \(\mathcal{Q}\) containing the identity correspond to rotations around a fixed axis or translations in a fixed direction. They appear naturally in kinematics for the decomposition of complicated motions into simpler motions. Algebraically, such decompositions correspond to factorizations of poynomials with coefficients in the dual quaternions. The generalization of such factorizations to the conformal setting is one of the motivations for the article under consideration.

Reviewer: Niels Lubbes (Linz)

MSC:

70E45	Higher-dimensional generalizations in rigid body dynamics
15A66	Clifford algebras, spinors
15A67	Applications of Clifford algebras to physics, etc.
20G20	Linear algebraic groups over the reals, the complexes, the quaternions
51B10	Möbius geometries
51F15	Reflection groups, reflection geometries

Keywords:

simple motion; study variety; study quadric; null quadric; four-quaternion representation; factorization

Citations:

Zbl 1341.65006

References:

[1]	Bayro-Corrochano, E.: Geometric Algebra Applications. Computer Vision, Graphics and Neurocomputing, vol. 1. Springer, Berlin (2019) · Zbl 1475.68004
[2]	Djintelbe, N.; Coste, M., Compactification of the group of rigid motions and applications to robotics, J. Pure Appl. Algebra, 225, 7, 106604 (2021) · Zbl 1460.14116
[3]	Dorst, L., The construction of 3D conformal motions, Math. Comput. Sci., 10, 97-113 (2016) · Zbl 1341.65006
[4]	Dorst, L.; Fontijne, D.; Mann, S., Geometric Algebra for Computer Science (2007), Amsterdam: Elsevier, Amsterdam
[5]	Gallet, M.; Nawratil, G.; Schicho, J., Bond theory for pentapods and hexapods, J. Geom., 106, 2, 211-228 (2015) · Zbl 1327.53013
[6]	Hegedüs, G.; Schicho, J.; Schröcker, HP, Factorization of rational curves in the study quadric and revolute linkages, Mech. Mach. Theory, 69, 1, 142-152 (2013)
[7]	Hegedüs, G.; Schicho, J.; Schröcker, HP, The theory of bonds: a new method for the analysis of linkages, Mech. Mach. Theory, 70, 407-424 (2013)
[8]	Husty, M.; Schröcker, HP; McCarthy, JM, Kinematics and algebraic geometry, 21st Century Kinematics. The 2012 NSF Workshop, 85-123 (2012), London: Springer, London
[9]	Li, Z.; Scharler, DF; Schröcker, HP, Factorization results for left polynomials in some associative real algebras: state of the art, applications, and open questions, J. Comput. Appl. Math., 349, 508-522 (2019) · Zbl 1425.12001
[10]	Li, Z.; Schicho, J.; Schröcker, HP, Factorization of motion polynomials, J. Symb. Comput., 92, 190-202 (2019) · Zbl 1411.16043
[11]	Lubbes, N.; Schicho, J., Kinematic generation of Darboux cyclides, Comput. Aided Geom. Design, 64, 11-14 (2018) · Zbl 1439.53014
[12]	Rad, TD; Scharler, DF; Schröcker, HP, The kinematic image of RR, PR, and RP dyads, Robotica, 36, 10, 1477-1492 (2018)
[13]	Schröcker, HP; Pfurner, M.; Schadlbauer, J.; Sitharam, M.; St. John, A.; Sidman, J., Constraint varieties in mechanism science, Handbook of Geometric Constraint Systems Principles. Discrete Mathematics and Its Applications (2018), Boca Raton: Chapman and Hall/CRC, Boca Raton · Zbl 1404.70005
[14]	Selig, JM, Clifford algebra of points, lines and planes, Robotica, 18, 5, 545-556 (2000)
[15]	Selig, J.M.: Geometric Fundamentals of Robotics, 2nd edn. Monographs in Computer Science. Springer, Berlin (2005) · Zbl 1062.93002
[16]	Selig, JM; Lenarčič, J.; Husty, M., Some rigid-body constraint varieties generated by linkages, Latest Advances in Robot Kinematics (2012), Dordrecht: Springer, Dordrecht
[17]	Sommer, G., Geometric Computing with Clifford Algebras: Theoretical Foundations and Applications in Computer Vision and Robotics (2013), New York: Springer Science and Business Media, New York · Zbl 0964.65017