Related papers: The Isomorphism of $H_4$ and $E_8$
Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of…
Lie-theoretic structures of type $E_8$ (e.g., Lie groups and algebras, Hecke algebras and Kazhdan-Lusztig cells, ...) are considered to serve as a `gold standard' when it comes to judging the effectiveness of a general algorithm for solving…
The octonionic root system of the exceptional Lie algebra E_8 has been constructed from the quaternionic roots of F_4 using the Cayley-Dickson doubling procedure where the roots of E_7 correspond to the imaginary octonions. It is proven…
Cayley-Dickson doubling procedure is used to construct the root systems of some celebrated Lie algebras in terms of the integer elements of the division algebras of real numbers, complex numbers, quaternions and octonions. Starting with the…
The $E_8$ lattice has been thoroughly studied for more than a century and nearly all the maximal subgroups of $W(E_8)$ have been described-all except $2A_9$. We will show that $2A_9$ has simple descriptions from three different…
In this paper, we show how regular convex 4-polytopes - the analogues of the Platonic solids in four dimensions - can be constructed from three-dimensional considerations concerning the Platonic solids alone. Via the Cartan-Dieudonne…
In the framework of algebraic topology the closed sequence of 4-dimensional polyhedra(algebraic polytopes) was defined. These polytopes were determined by the second coordination sphere of 8-dimensional lattice E8. The ordered…
We construct four infinite families of chiral $3$-polytopes of type $\{4, 8\}$, with $1024m^4$, $2048m^4$, $4096m^4$ and $8192m^4$ automorphisms for every positive integer $m$, respectively. The automorphism groups of these polytopes are…
In this paper we study the compatible family of degree-4 Scholl representations $\rho_{\ell}$ associated with a space $S$ of weight $\kappa> 2$ noncongruence cusp forms satisfying Quaternion Multiplications over a biquadratic field $K$. It…
Motivated by multi-centered black hole solutions of Maxwell-Einstein theories of (super)gravity in D=4 space-time dimensions, we develop some general methods, that can be used to determine all homogeneous invariant polynomials on the…
This paper presents a technique for constructing new chiral or regular polyhedra (or maps) from self-dual abstract chiral polytopes of rank 4. From improperly self-dual chiral polytopes we derive "Petrie-Coxeter-type" polyhedra (abstract…
We present a geometric construction of the exceptional Lie algebras F4 and E8 starting from the round 8- and 15-spheres, respectively, inspired by the construction of the Killing superalgebra of a supersymmetric supergravity background.…
The vertices of the four dimensional $120$-cell form a non-crystallographic root system whose corresponding symmetry group is the Coxeter group $H_{4}$. There are two special coordinate representations of this root system in which they and…
Following a previous proposition of quaternity spacetime for electronic orbitals in neon shell, this paper describes the geometrical course each electron takes as it oscillates harmonically within a certain quaternity space dimension and…
The E_8-manifold has several natural framed link descriptions, and we give an efficient method (via `grapes') for showing that they are indeed the same 4-manifold. This leads to explicit handle pictures for the perturbation of singular…
A polytope is called {\em regular-faced} if every one of its facets is a regular polytope. The 4-dimensional regular-faced polytopes were determined by G. Blind and R. Blind \cite{BlBl2,roswitha,roswitha2}. The last class of such polytopes…
Izhboldin and Karpenko proved in 2000 that any quadratic form of dimension 8 with trivial discriminant and Clifford algebra of index 4 is isometric to the transfer, with respect to some quadratic \'etale extension, of a quadratic form…
It is shown, for any irreducible representation of $E_8$ Lie algebra, that eigenvalues of Casimir operators can be calculated in the form of invariant polinomials which are decomposed in terms of $A_8$ basis functions. The general method is…
We consider a straightforward extension of the 4-dimensional spacetime $M_4$ to the space of extended events associated with strings/branes, corresponding to points, lines, areas, 3-volumes, and 4-volumes in $M_4$. All those objects can be…
The 240 root vectors of the Lie algebra E8 lead to a system of 120 rays in a real 8-dimensional Hilbert space that contains a large number of parity proofs of the Kochen-Specker theorem. After introducing the rays in a triacontagonal…