Related papers: The Unknown Subgroup of $Aut(E_8)$
We use the automorphism group $Aut(H)$, of holes in the lattice $L_8=A_2\oplus A_2\oplus D_4$, as the starting point in the construction of sphere packings in 10 and 12 dimensions. A second lattice, $L_4=A_2\oplus A_2$, enters the…
We study certain lattices constructed from finite abelian groups. We show that such a lattice is eutactic, thereby confirming a conjecture by B\"ottcher, Eisenbarth, Fukshansky, Garcia, Maharaj. Our methods also yield simpler proofs of two…
We show that the number of conjugacy classes of maximal finite subgroups of a lattice in a semisimple Lie group is linearly bounded by the covolume of the lattice. Moreover, for higher rank groups, we show that this number grows sublinearly…
We construct explicit examples of E_8 lattices occurring in arithmetic for which the natural Galois action is equal to the full group of automorphisms of the lattice, i.e., the Weyl group of E_8. In particular, we give explicit elliptic…
We establish an error estimate for counting lattice points in Euclidean norm balls (associated to an arbitrary irreducible linear representation) for lattices in simple Lie groups of real rank at least two. Our approach utilizes refined…
We survey results concerning special elements of nine types (modular, lower-modular, upper-modular, cancellable, distributive, codistributive, standard, costandard and neutral elements) in the lattice of all semigroup varieties and certain…
This paper is concerned with discrete, uniform subgroups (lattices) of oscillator groups, which are certain semidirect products of the Heisenberg group and the additive group of real numbers. The present paper rectifies the uncertainties in…
We characterize the maximal discrete subgroups of $SO^+(2,n+2)$, which contain the discriminant kernel of an even lattice, which contains two hyperbolic planes over $\mathbb{Z}$. They coincide with the normalizers in $SO^+(2,n+2)$ and are…
A lattice is called well-rounded if its minimal vectors span the corresponding Euclidean space. In this paper we completely describe well-rounded full-rank sublattices of ${\mathbb Z}^2$, as well as their determinant and minima sets. We…
We study McKay's observation on the Monster simple group, which relates the 2A-involutions of the Monster simple group to the extended E_8 diagram, using the theory of vertex operator algebras (VOAs). We first consider the sublattices L of…
We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove…
We prove that the signature of an even, symmetric form on a finite rank integral lattice, has signature divisible by 8, provided its associated linking form vanishes in the Witt group of linking forms. Our result generalizes the well know…
The compact simply connected Riemannian 4-symmetric spaces were classified by J.A. Jim{\'{e}}nez. As homogeneous manifolds, these spaces are of the $G/H$, where $G$ is a connected compact simple Lie group with an automorphism…
A Type II lattice of norm 8 in dimension 72 is obtained by Construction A applied to an extended Quadratic Residue code over Z8. Its automorphism group contains a subgroup isomorphic to PSL(2,71).
We give a construction that takes a simple linear algebraic group $G$ over a field and produces a commutative, unital, and simple non-associative algebra $A$ over that field. Two attractions of this construction are that (1) when $G$ has…
The compact simply connected Riemannian 4-symmetric spaces were classified by J.A. Jim{\'{e}}nez according to type of the Lie algebras. As homogeneous manifolds, these spaces are of the form $G/H$, where $G$ is a connected compact simple…
We give a new computer-assisted proof of the classification of maximal subgroups of the simple group ${}^2E_6(2)$ and its extensions by any subgroup of the outer automorphism group $S_3$. This is not a new result, but no earlier proof…
We investigate which higher rank simple Lie groups admit profinitely but not abstractly commensurable lattices. We show that no such examples exist for the complex forms of type $E_8$, $F_4$, and $G_2$. In contrast, there are arbitrarily…
We construct the well-known decomposition of the Lie algebra $\mathfrak{e}_8$ into representations of $\mathfrak{e}_6\oplus\mathfrak{su}(3)$ using explicit matrix representations over pairs of division algebras. The minimal representation…
This paper studies the differential lattice, defined to be a lattice $L$ equipped with a map $d:L\to L$ that satisfies a lattice analog of the Leibniz rule for a derivation. Isomorphic differential lattices are studied and classifications…