Signed Shintani cones for number fields with one complex place (Q741698): Difference between revisions

Studying special values of \(L\)-functions over totally real number fields, \textit{T. Shintani} introduced in [J. Fac. Sci., Univ. Tokyo, Sect. I A 23, 393--417 (1976; Zbl 0349.12007)] a geometric method that allowed him to write any partial zeta function of a totally real number field as a finite sum of certain Dirichlet series, which provides a generalization of the Hurwitz zeta function. Later Shintani extended these results to general number fields [in: Automorphic forms, representation theory and arithmetic, Pap. Colloq., Bombay 1979, 255--260 (1981; Zbl 0503.12006)]. If \(v_1,v_2,\dots,v_d\in\mathbb C^s\times \mathbb R^r,\;1\leq d\leq 2s+r\) is a set or \(\mathbb R\)-linearly independent vectors, let us define \(C(v_1,\dots,v_d):=\{t_1v_1+\dots t_dv_d\;|\;t_i>0\}\) the \textit{\(d\)-dimensional simplicial cone} generated by \(v_1,\dots,v_d\). Shintani proved that there exists a finite set \(\{C_j \;|\;j\in J\}\) of simplicial cones whose finite disjoint union \( \cup_{j\in J} C_j\) is a \textit{fundamental domain} for the action of \(E(k)_+\) on \((\mathbb C^*)^s\times R^r_+\) where \(k\) is a number field whith \(r\) real embeddings, \(E(k)\) its group of units and \(E(k)_+:=E(k)\cap (\mathbb C^s\times R^r_+)\). When \(k\) is a totally real number field, \textit{P. Colmez} proved [Invent. Math. 91, No. 2, 371--389 (1988; Zbl 0651.12010), ibid. 95, No. 1, 161--205 (1989; Zbl 0666.12008)] the existence of special units \(\eta_1,\dots,\eta_r\in E(k)_+\) such that if \(f_{1,\sigma} := 1\) and \(f_{j,\sigma} := \eta_{\sigma(1)},\eta_{\sigma(2)}\dots, \eta_{\sigma(j-1)},\;(2 \leq j \leq r)\), for \(\sigma\) in the symmetric group \(S_{r-1}\), then the finite disjoint union \[ \{C_\sigma := C(f_{1,\sigma}, ...,f_{r,\sigma}) \;| \;\sigma \in S_{r-1}\} \] (together with some boundary faces of the \(C_\sigma\)) is a fundamental domain of \(\mathbb R^r_+\) under the action of the group \(U\) generated by the \(\eta_i\). This result does not bring any practical algorithm for \(r\geq 4\). In [Proc. Lond. Math. Soc. (3) 108, No. 4, 965--988 (2014; Zbl 1325.11117)], \textit{F. D. Y. Diaz} and \textit{E. Friedman} removed this limitation by introducing \textit{signed fundamental domains}. When \(k\) is not totally real, the knowledge of explicit fundamental domains is very limited. The aim of this work is to extend the results of [Zbl 1325.11117] to number fields \(k\) having exactly one complex place. More precisely, the author gives explicitly through a \(7\)-steps algorithm theorem a signed fundamental domain for the action on \(\mathbb C^*\times \mathbb R^{n-2}_+\) of the totally positive units \(E(k)_+\) of the number field \(k\) of degree \(n\) and having exactly one pair of complex embeddings. This signed fundamental domain, built of \(k\)-rational simplicial cones, is as convenient as a true fundamental domain for the purpose of studying Dedekind zeta functions.