Coincidence site modules in 3-space (Q2385150)

The coincidence site lattice problem and its generalization to \(\mathbb{Z}\)-modules in Euclidean 3-space is revisited, and various results and conjectures are proved in a unified way, by using maximal orders in quaternion algebras of class number 1 over real algebraic number fields. The main results are: -- Let \({\mathbb{H}}(K)\) be the standard quaternion algebra over the real algebraic number field \(K\), and suppose that both \(K\) and \({\mathbb{H}}(K)\) have class number 1. Let \(O\) be a maximal order of \({\mathbb{H}}(K)\). 1. It is proved that then, the CSMs (coincidence site modules) of \(\Gamma:= \text{Im}(O)\) are in one-to-one correspondence with the one-sided ideals \(qO\) that are generated by the \(O\)-reduced elements \(q\in O\). 2. The Dirichlet series generating function \(\Phi(s)\) for the number \(f(m)\) of CSMs of index \(m\) of the \(o\)-module \(\Gamma= \text{Im}(O)\subset{\mathbb{R}}^3\) is given. -- Let \(R\in \text{SO}(3,{\mathbb{Q}})\). Then the three cubic lattices in \({\mathbb{R}}^3\) share the same index formula, i.e. \(\Sigma_{bcc}(R)= \Sigma_p(R)= \Sigma_{fcc}(R)\).