On twisted zeta-functions at s=0 and partial zeta-functions at s=1

From MaRDI portal
Publication:2472415





Let \(K/k\) be an abelian extension of number fields with \(k\) totally real. Let \(G\) be the Galois group of \(K/k\). In a previous work, the author constructed a \(\mathbb{C}G\)-valued function \(\Phi_{K/k}(s)\) using twisted zeta-functions associated to this extension. In the present article, he shows how the value of this function at \(s = 0\), together with a \(p\)-adic regulator defined on the exterior product of the \(p\)-adic semilocal units, can be used to define a \(\mathbb{Z}_pG\)-submodule \(\mathfrak{S}_{K/k}\subset \mathbb{Q}_pG\). The properties of this submodule are investigated and, in particular, it is proved that \(\mathfrak{S}_{K/k}\subset \mathbb{Z}_pG\) if \(p\) is odd and splits in \(k\). The proof combines ideas of Coleman to study the dual of the image of the local logarithm using \(p\)-adic formal power series and an expression of the twisted zeta functions in terms of cones decompositions and formal power series due to Shintani, with some improvements of Colmez. The last section of the article states some conjectures on this module, including a congruence conjecture linking elements in \(\mathfrak{S}_{K/k}\) with Hilbert symbols of the (conjectural) Rubin-Stark element associated to \(K^+/k\), \(K^+\) being the maximal real subfield of \(K\).











This page was built for publication: On twisted zeta-functions at \(s=0\) and partial zeta-functions at \(s=1\)

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