arXiv subjects
Publications and source records attributed to Torben Wiedemann.
We present CubicJordanMatrixAlg, a GAP package for symbolic computation in cubic Jordan matrix algebras and in related Lie-theoretic structures. As an application, we use it to compute certain (commutator) relations in $F_4$-graded groups that were constructed by De Medts and the author from cubic Jordan matrix algebras.
We construct Lie algebras arising from cubic norm pairs over arbitrary commutative base rings. Such Lie algebras admit a grading by a root system of type $G_2$, and when the cubic norm pair is a cubic Jordan matrix algebra, the $G_2$-grading can be further refined to an $F_4$-grading. We then use these Lie algebras and their gradings to construct corresponding root graded groups. Along the way, we produce many results providing detailed information about the structure of these Lie algebras and groups.
Using the well-known realisation of the root system $ H_4 $ as a folding of $ E_8 $, one can construct examples of $ H_4 $-graded groups from Chevalley groups of type $ E_8 $. Such Chevalley groups are defined over a commutative ring $ R $, and the root groups of the resulting $ H_4 $-grading are coordinatised by $ R \times R $. We show that every $ H_4 $-graded group arises as the folding of an $ E_8 $-graded group, or in other words, that it is coordinatised by $ R \times R $ for some commutative ring $ R $. We also prove similar assertions for $ (D_6, H_3) $ in place of $ (E_8, H_4) $.
We define and study root graded groups, that is, groups graded by finite root systems. This notion generalises several existing concepts in the literature, including in particular Jacques Tits' notion of RGD-systems. The most prominent examples of root graded groups are Chevalley groups over commutative associative rings. Our main result is that every root graded group of rank at least 3 is coordinatised by some algebraic structure satisfying a variation of the Chevalley commutator formula. This result can be regarded as a generalisation of Tits' classification of thick irreducible spherical buildings of rank at least 3 to the case of non-division algebraic structures. All coordinatisation results in this book are proven in a characteristic-free way. This is made possible by a new computational method that we call the blueprint technique.