Reflection groups of the quadratic form \(-px_0^2+x_1^2+\dots+x_n^2\) with \(p\) prime. (Q2515547)

Let \(V\) be an \((n+1)\)-dimensional real vector space with basis \(v_0,\ldots,v_n\) and the quadratic form \(f(x)=-px_0^2+x_1^2+\cdots+x_n^2\). Let \(L\) be the integer lattice generated by the same basis. The group \(\Theta\) of integral automorphisms is the group of symmetries of \(L\) preserving the quadratic form and mapping each connected component of the set \(\{x:f(x)<0\}\) to itself. This group splits as a semidirect product \(\Theta=\Gamma\rtimes H\), where \(\Gamma\) is generated by reflections and \(H\) is a group of symmetries of an associated polyhedron in hyperbolic space. We say \(L\) is reflective if \(H\) is a finite group. Implementing a version of Vinberg's algorithm in \(\mathrm C^{++}\) with the \(\mathrm{PARI}\) Library, the author determines some pairs \((p,n)\), where \(p\) is prime, for which the form \(f(x)\) is reflective and some for which it is not reflective.