A reduction algorithm for Hilbert modular groups (Q2167514)

Let \(K\) be a totally real number field of degree \(n\) over \(\mathbb{Q}\) with the ring of integers \(\mathcal{O}_{K}\) and let \(\Gamma_{K}=\mathrm{PSL}_{2}\left( \mathcal{O}_{K}\right) \simeq\mathrm{SL} _{2}\left( \mathcal{O}_{K}\right) /\left\{ \pm I_{2}\right\} \) be the Hilbert modular group for \(K\). The reduction theory for Hilbert modular groups is related to both dimension formulas for vector-valued Hilbert modular forms and the computation of non-holomorphic Hilbert modular forms. The paper under review is mainly concerned with presenting an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. For this purpose, a detailed description of fundamental domains is provided for Hilbert modular groups. The theoretical foundation behind the algorithm is the proof of the existence of a closest cusp. Then the key idea for the construction of the algorithm is to find bounded regions in \(\mathbb{R}^{n}\) where the embeddings of the numerators and denominators of potential closest cusps must be located. The effectiveness of the presented algorithm is also demonstrated by several examples.