On twisted zeta-functions at \(s=0\) and partial zeta-functions at \(s=1\) (Q2472415)

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\).