Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.22842

The Hall-Janko Simple Group and the Icosian Leech Lattice

Gerald Höhn
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a unified arithmetic and geometric treatment of the Hall-Janko simple group and the icosian Leech lattice. Let $\mathcal{I}$ be the standard icosian maximal order over $K=\mathbb{Q}(\sqrt5)$. Following the mass-formula and Venkov framework for the Niemeier and Leech lattices, we classify positive definite unimodular Hermitian $\mathcal{I}$-lattices of quaternionic rank $3$. Hashimoto's mass formula, the Siegel-Weil average, and Gundlach's structure theorem determine the scalar theta series of every nonsplit class. A two-place harmonic separation of the Leech minimal shell proves that its three Hermitian components are quaternionic projective $5$-designs. For the norm-$2$ shell, integrality and projective moments recover the complete angle scheme and its $525$ orthogonal frames. The finite code of one frame then saturates the residual mass, giving exactly the split and Tits classes and an independent computation of the order of $\operatorname{Aut}_{\mathcal{I}}(L_{\mathrm T})\cong2.J_2$. Finally, a quaternionic line system with the prescribed five projective inner products has at most $315$ points, with equality precisely for the Hall-Janko configuration up to $P\operatorname{Sp}(3)$. Equality in Hoggar's bound supplies the design property; Cohen-Tits uniqueness, golden-angle fission, and the centered cubic moment give geometric rigidity.

Explore related subjects

math.GRmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gerald Höhn. 2026-09-19. The Hall-Janko Simple Group and the Icosian Leech Lattice. https://arxiv.org/abs/2609.22842

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Unsolved Problems in Group Theory. The Kourovka Notebook

This is a collection of open problems in group theory proposed by hundreds of mathematicians from all over the world. It has been published every 2--4 years since 1965. This is the 21st edition, which contains 150 new problems and a number of comments on problems from the previous editions.

math.GR↗
arXiv2026

On finite groups whose coprime graph is a divisor graph

In this paper, we first characterize which generalized lexicographic products are divisor graphs. As applications, we show that power graphs, reduced power graphs and order graphs are all divisor graphs, which also implies the main result in [Power graph of a finite group is always divisor graph, Asian-European Journal of Mathematics 16 (2023)]. We then show that, the coprime graph of a group is a generalized lexicographic product, and characterize which coprime graphs are divisor graphs. Finally, we classify the finite groups $G$ having at most four prime divisors, whose coprime graphs are divisor graphs, and we also classify the finite groups $G$ whose coprime graphs are divisor graphs, if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.

math.GR↗
arXiv2026

Equationally separable classes of groups

Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable, locally indicable, solvable, nilpotent, and other classes of groups. As a byproduct, we also show that any amalgam of two countable periodic groups with finite intersection embeds into a periodic group, thereby answering a 1960 question of B. Neumann in the countable case.

math.GR↗