Classification of crystallographic groups associated with Coxeter groups (Q1185950): Difference between revisions

This paper is based on an article by \textit{G. Maxwell} [J. Algebra 35, 159-177 (1975; Zbl 0312.20029)] on the structure of space groups with point groups \(G\) which are crystallographic Coxeter groups. The author considers the case where the Coxeter groups are Weyl groups of a root system \(R\) in the corresponding vector space \(V\) with Euclidean structure. Space groups are group extensions of \(G\) (isomorphic to a finite subgroup of \(Gl(n,\mathbb{Z})\)) by a lattice group of translations \(\Lambda\) left invariant by \(G\) so that they can be obtained from elements of the second cohomology group \(H^ 2(G,\Lambda)\), or equivalently (as \(G\) is a finite group) by the isomorphic first cohomology group \(H^ 1(G,V/\Lambda)\). One first calculates \(H^ 1(G, V/P(R))\), with \(P(R)= \Lambda^*= \{x\in V\mid s(x)- x\in\Lambda\), for all \(s\in G\}\), using \(Q(R)\subset \Lambda\subset P(r)\), where \(Q(R)\) is a \(Q\)-structure on \(V\) (see Bourbaki). It is shown that \(H^ 1(G, V/P(R)) =0\) if \(R\) is an irreducible root system of one of the types: \(A_ l\) (\(l\geq4\)), \(B_ l\) (\(l\geq 5\)), \(D_ l\) (\(l \geq 4\)), \(E_ 6\), \(E_ 7\), \(E_ 8\), \(F_ 4\). This result is used for calculating \(H^ 2(G, V/\Lambda)\). A complete and explicit space group classification is given in the irreducible case. The reducible case is discussed as well.