AbstractRecent work has shown that every 3D root system allows the construction of a corresponding 4D root system via an ‘induction theorem’. In this paper, we look at the icosahedral case of $$H_3\rightarrow H_4$$
H
3
→
H
4
in detail and perform the calculations explicitly. Clifford algebra is used to perform group theoretic calculations based on the versor theorem and the Cartan–Dieudonné theorem, giving a simple construction of the $${\mathrm {Pin}}$$
Pin
and $${\mathrm {Spin}}$$
Spin
covers. Using this connection with $$H_3$$
H
3
via the induction theorem sheds light on geometric aspects of the $$H_4$$
H
4
root system (the 600-cell) as well as other related polytopes and their symmetries, such as the famous Grand Antiprism and the snub 24-cell. The uniform construction of root systems from 3D and the uniform procedure of splitting root systems with respect to subrootsystems into separate invariant sets allows further systematic insight into the underlying geometry. All calculations are performed in the even subalgebra of $${\mathrm {Cl}}(3)$$
Cl
(
3
)
, including the construction of the Coxeter plane, which is used for visualising the complementary pairs of invariant polytopes, and are shared as supplementary computational work sheets. This approach therefore constitutes a more systematic and general way of performing calculations concerning groups, in particular reflection groups and root systems, in a Clifford algebraic framework.
Additive kinematic formulas for flag area measures
