Zeta functions of three-dimensional p-adic Lie algebras

From MaRDI portal
Publication:834791



Abstract: We give an explicit formula for the subalgebra zeta function of a general 3-dimensional Lie algebra over the p-adic integers mathbbZp. To this end, we associate to such a Lie algebra a ternary quadratic form over mathbbZp. The formula for the zeta function is given in terms of Igusa's local zeta function associated to this form.


Let \(\mathbb Z_p\) denote the ring of \(p\)-adic integers. The (subalgebra) zeta function of a \(\mathbb Z_p\)-algebra \(L\), additively isomorphic to \(\mathbb Z^n_p\), is the Dirichlet series \[ \zeta_L(s):= \sum_{H\leq L} (L: H)6{-s}, \] where the sum ranges over subalgebras of finite index in \(L\). Such zeta functions play an important role in the subject of subgroup growth (see, for example, [\textit{M. P. F. du Sautoy} and \textit{F. J. Grunewald}, Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, Volume II: Invited lectures. Zürich: European Mathematical Society (EMS), 131--149 (2006; Zbl 1112.20024)]). The author unifies and generalizes the existing computations of \(\xi_L(s)\) for three-dimensional \(\mathbb Z_p\)-Lie algebras \(L\). He gives an explicit formula for the subalgebra zeta function of a general three-dimensional Lie algebra over \(\mathbb Z_p\) (Theorem 1.1 and explicit computations in section 4). The method is to reduce the computations to the classical Igusa's local zeta function \(Z_f(s)\) associated to a ternary quadratic form \(f\) (naturally associated to a three-dimensional \(\mathbb Z_p\)-Lie algebra). Such \(f\) is defined in terms of the structure constants of \(L\) with respect to a given \(\mathbb Z_p\)-basis. We should stress that the case of three-dimensional Lie algebras is the first non-trivial one as far as subalgebra zeta functions are concerned.











This page was built for publication: Zeta functions of three-dimensional \(p\)-adic Lie algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q834791)