Reflection group of the quaternionic Lorentzian Leech lattice (Q875075)

Let \(H\) denote the ring of Hurwitz integers, \(\Lambda\) the Leech lattice, viewed as a \(6\)-dimensional negative definite lattice over \(H\), and let \(L = \Lambda \oplus H \oplus H\). Reflections of this and other quaternionic Lorentzian lattices were studied by [\textit{D. Allcock}, ``The Leech lattice and complex hyperbolic reflections,'' Invent. Math. 140, 283--301 (2000; Zbl 1012.11053) and ``New complex- and quaternion-hyperbolic reflection groups,'' Duke Math. J. 103, 303--333 (2000; Zbl 0962.22007)]. In this paper, the author finds 14 reflections in vectors of \(L\) that generate \(\Aut(L)\). These 14 reflections satisfy relations encoded by the incidence graph of the projectice plane over \({\mathbb F}_{2}\): two different reflections \(a,b\) braid, i.e. \(aba = bab\), if they are joined, and commute otherwise. Reviewer's remark: The citations [1], [2] in the paper should have listed D. Allcock as the author, not J. A. Allcock.