Swirl product

From Polytope Wiki
Jump to navigation Jump to search
Swirl product
Symbol‚óŹ

The swirl product is an operation that takes two 3D point groups (more precisely, groups of unit quaternions) to form a 4D point group. Every 4D point group is representable as a swirl product of two 3D point groups, forming a keystone in classifying the 4D point groups. Although the underlying operation has been professionally studied, the term "swirl product" is a coinage of the enthusiast community as part of the study of swirlprisms.

Preliminaries[edit | edit source]

4D rotations can be described in terms of quaternions as follows: given a 4D rotation (member of ), there is a pair of quaternions and , both of unit norm, such that the function induces that rotation on the input quaternion x. (x in this case is identified with in the obvious way.) Furthermore, there is a two-to-one mapping from pairs of unit quaternions to 4D rotations, as the pairs and denote the same 4D rotation, but other than this equivalence it is an isomorphism. To ensure that we're specifically talking about rotations and not pairs of unit quaternions, we use angle brackets to denote the 4D rotation corresponding to both these pairs.

For general, possibly orientation-reversing transformations in , we also notate quaternion conjugation as . An improper rotation, or rotation-with-reflection, may be notated as , which is the result of first applying and then conjugation. Again, .

Chiral point groups[edit | edit source]

A chiral point group is simply a finite subgroup . Given the set of unit quaternion pairs

whose cardinality is double the order of (the set is more specifically a double cover of ). The sets of quaternions and form the left and right groups of :

Together with the operation of quaternion multiplication, these are both finite groups of unit quaternions. If we are given two such groups of unit quaternions, we can reconstruct G, allowing us to notate G as .

Achiral point groups[edit | edit source]

An achiral point group is a finite subgroup that has at least one reflection. A chiral point group can be converted into an achiral one by adding an orientation-reversing element of the form . In order for this to work:

  • We require that the left and right groups of have to be equal for this to work:
  • The orientation-reversing element can always be chosen to have the form

The swirl product of two 3D point groups with corresponding quaternion groups , is the group (extended by quaternionic conjugation if possible) and is denoted by

Bibliography[edit | edit source]

  • Rastanawi, Laith; Gunter, Rote (11 May 2022), Towards a Geometric Understanding of the 4-Dimensional Point Groups (PDF)