Reflection groups and polytopes over finite fields. II. (Q2455512)

When \(G\) is a (possibly infinite) crystallographic Coxeter group with string diagram, reduction modulo an odd prime \(p\) of the standard real representation yields a finite reflection group \(G^p\). If \(G^p\) is the automorphism group of a finite, abstract regular polytope, then it is called a `string \(C\)-group'. The authors establish that many groups \(G^p\) are not \(C\)-groups, but they show the following: If \(G\simeq[k,l,m]\) is crystallographic and the subgroup \([k,l]\) or \([l,m]\) is spherical, then \(G^p\) is a \(C\)-group for any prime \(p\geq 3\). If \(G\simeq[k,\infty,m]\) is crystallographic, then \(G^p\) is a \(C\)-group for any prime \(p\geq 3\). Let \(G\simeq[k,l,m]\) be crystallographic. If the subgroup \([k,l]\) or \([l,m]\) is Euclidean and \(l=4\) or \(6\), then \(G^p\) is a \(C\)-group for any prime \(p\geq 3\). The authors also investigate regular \(4\)-polytopes whose automorphism groups are groups of type \(G^p\) and crystallographic groups \(G=[k,l,m]\) for which \([l,m]\) is of hyperbolic type. For part I cf. Adv. Appl. Math. 33, No. 2, 290-317 (2004; Zbl 1065.20051).