Automorphism groups of Lorentzian lattices (Q1093003): Difference between revisions

By a lattice will be meant a finitely generated free \({\mathbb{Z}}\)-module with an integer valued bilinear form (x,y). Let L be a Lorentzian lattice of dimension \(n+1\) and signature n-1. The group of automorphisms \(Aut(L)={\mathbb{Z}}_ 2\times Aut_+(L)\), where \({\mathbb{Z}}_ 2\) is a cyclic group or order 2 and \(Aut_+(L)\) is the subgroup of Aut(L) fixing each connected component of the set \(\{\) \(x\in L|\) \((x,y)<0\}\). The group \(Aut_+(L)\) is a split extension of the reflection group of L by the group of automorphisms Aut(D) of a fundamental domain D of the reflection group. In this paper is described the group \(Aut(I_{n,1})\) of a Lorentzian lattice of type \(I_{n,1}\) for \(n\leq 23\). The author continues \textit{J. H. Conway} and \textit{N. Sloane}'s work [Proc. R. Soc. Lond., Ser. A 384, 233-258 (1982; Zbl 0501.10032)] which showed, that for \(n\leq 19\) the quotient of the automorphism group \(Aut(I_{n,1})\) by the reflection group is a subgroup of the automorphism group Aut(\(\Lambda)\) of the Leech lattice \(\Lambda\). It is proved, that for \(n=20,21,22\) the group Aut(D) is an amalgamated product of 2 subgroups of Aut(\(\Lambda)\) and for \(n=23\) Aut(D) is the sum of 6 subgroups of Aut(\(\Lambda)\) amalgamated over their intersections. All amalgamated products are written out explicitly. For example for \(n=20\), \(Aut(D)=Aut(A_ 6)*_ H(S_ 3\wr {\mathbb{Z}}_ 2)\), for \(n=21\) \(Aut(D)=L_ 3(4)\cdot 2^ 2*_{M_{10}}Aut(A_ 6)\) etc. Obtained are also a few results for Lorentzian lattices of higher dimensions. If \(n\geq 20\) and \(n\equiv 4,5\) or 6 mod 8 then the reflection part of \(Aut(I_{n,1})\) can be written as a nontrivial amalgamated product.