Normal zeta functions of the Heisenberg groups over number rings. II: The non-split case. (Q273085)

The paper under review gives a compliment to the authors' previous work [J. Lond. Math. Soc., II. Ser. 91, No. 1, 19-46 (2015; Zbl 1315.20023)], where they computed the local factors of normal zeta functions of the Heisenberg group at unramified rational primes, and established functional equations for these local zeta functions. We refer the readers to that paper for the general setting of normal zeta functions for a finitely generated group. The current paper treats the normal zeta function of the Heisenberg group \(H\) at non-split rational primes. More precisely, let \(\mathcal O_K\) be the ring of integers of a number field \(K\), and \(p\) be a non-split rational prime with ramification index \(e\) and inertia degree \(f\), so that \(ef=[K:\mathbb Q]\). It is known that there is a rational function \(W_{e,f}(X,Y)\in\mathbb Q(X,Y)\) such that \(\zeta_{H(\mathcal O_K),p}=W_{e,f}(p,p^{-s})\) for all such \(K\) and \(p\) as above. The aim of the paper is to compute \(W_{e,f}(X,Y)\) explicitly and establish its functional equation, which is a special case of the general conjecture made in [loc. cit.]. The functional equations in the previous paper and the current paper are of course compatible in the common special case of inert primes \(p\). However their methodologies are quite different. The current paper views the non-split case as a degeneration of the inert case and tackles it using geometric and Coxeter-group-theoretic ideas. All together, these two papers give explicit formulae for all but finitely many Euler factors of the global zeta functions \(\zeta_{H(\mathcal O_K)}(s)\). The general ramified decomposition type remains open, and the authors suggest to view a general decomposition type as a degeneration of an associated unramified decomposition type. Apparently they carry out this idea successfully in the current paper for the non-split case. More discussion about future directions can be found in the introduction of the paper.