Graded Symmetry Groups: Plane and Simple

Abstract

The symmetries described by Pin groups are the result of combining a finite number of discrete reflections in (hyper)planes. The current work shows how an analysis using geometric algebra provides a picture complementary to that of the classic matrix Lie algebra approach, while retaining information about the number of reflections in a given transformation. This imposes a graded structure on Lie groups, which is not evident in their matrix representation. By embracing this graded structure, the invariant decomposition theorem was proven: any composition of $k$ linearly independent reflections can be decomposed into $\lceil k/2\rceil$ commuting factors, each of which is the product of at most two reflections. This generalizes a conjecture by M. Riesz, and has e.g. the Mozzi-Chasles' theorem as its 3D Euclidean special case. To demonstrate its utility, we briefly discuss various examples such as Lorentz transformations, Wigner rotations, and screw transformations. The invariant decomposition also directly leads to closed form formulas for the exponential and logarithmic function for all Spin groups, and identifies element of geometry such as planes, lines, points, as the invariants of $k$-reflections. We conclude by presenting novel matrix/vector representations for geometric algebras ${\mathbb{R}}_{pqr}$, and use this in E(3) to illustrate the relationship with the classic covariant, contravariant and adjoint representations for the transformation of points, planes and lines.

17 pages, 12 figures, 1 cheat sheet

References in corpus (2)

• Normalization, Square Roots, and the Exponential and Logarithmic Maps in Geometric Algebras of Less than 6D
• Geometric invariant decomposition of SU(3)

Cited by in corpus (7)

• Symbolic and User-friendly Geometric Algebra Routines (SUGAR) for Computations in Matlab
• A Note on Centralizers and Twisted Centralizers in Clifford Algebras
• The Wigner Little Group for Photons Is a Projective Subalgebra
• Machine Learning Clifford invariants of ADE Coxeter elements
• Outer and Eigen: Tangent Concepts
• Hermitian Geometry of Complex Multivectors, Determinants and Orientations
• On Lie Groups Preserving Subspaces of Degenerate Clifford Algebras