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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normal zeta functions of the Heisenberg groups over number rings. II: The non-split case.
scientific article

    Statements

    Normal zeta functions of the Heisenberg groups over number rings. II: The non-split case. (English)
    0 references
    0 references
    0 references
    21 April 2016
    0 references
    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.
    0 references
    0 references
    normal zeta functions
    0 references
    subgroups of finite index
    0 references
    Heisenberg groups
    0 references
    functional equations
    0 references
    rings of integers of number fields
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references