Twisters and signed fundamental domains for number fields (Q2188220)

Let \(k\) be an algebraic number field of degree \(n=r_1+2r_2\) with \(r_1\) real and \(r_2\) complex places, \(E_+\) be the group of totally positive units of \(k\), and embed \(k\) into \(\mathbb R^{r_1} \times \mathbb C^{r_2}\) as usual. To calculate the zeta-function of \(k\), \textit{T. Shintani} [in: Automorphic forms, representation theory and arithmetic, Pap. Colloq., Bombay 1979, 255--260 (1981; Zbl 0503.12006)] uses a fundamental domain for the operation of \(E_+\) on \(\mathbb R_+^{r_1} \times \mathbb C^{r_2}\). The first general explicit construction of such a fundamental domain for the case \(r_2=0\) was given by \textit{F. Diaz y Diaz} and the second author [Proc. Lond. Math. Soc. (3) 108, No. 4, 965--988 (2014; Zbl 1325.11117)], and, independently, by \textit{P. Charollois} et al., [Comment. Math. Helv. 90, No. 2, 435--477 (2015; Zbl 1326.11072)]. Recently, for the case \(r_2=1\), an explicit construction of a signed fundamental domain was given by the first author [J. Number Theory 145, 496--539 (2014; Zbl 1307.11119)]. Supposing that at least \(r_1\ge 1\), the construction is now generalized for arbitrary \(r_2\) (Theorem 2.1). The key idea is to introduce some twister function to gain control over the arguments of the different complex embeddings. The signed fundamental domain consists of \(k\)-rational, simplicial cones. The paper is well written and offers a good insight into the very technical details of the construction.