On derivatives of \(p\)-adic \(L\)-series at \(s = 0\) (Q2180846)

``Let \(p\) be an odd prime. In this article we use techniques and results from non-commutative Iwasawa theory to investigate detailed arithmetic properties of the values at zero of the higher derivatives of \(p\)-adic Artin \(L\)-series.'' ``As concrete applications of our approach we shall (unconditionally) extend the main results of [\textit{L. J. Federer} and \textit{B. H. Gross}, Invent. Math. 62, 443--457 (1981; Zbl 0468.12005)] from linear \(\mathbb Q_p\)-valued characters to general finite-dimensional \(p\)-adic characters, define a canonical refinement of Gross's \(p\)-adic regulator map that gives a natural description of the image of Gross's map and also encodes \(p\)-adic valuations of the values at zero of higher derivatives of \(p\)-adic Artin \(L\)-series, and describe an explicit non-abelian generalisation of Gross's \(p\)-adic analytic approach to Hilbert's twelfth problem. At the same time we prove natural \(p\)-adic analogues of the central conjecture of [\textit{T. Chinburg}, Adv. Math. 48, 82--113 (1983; Zbl 0528.12012)] and of a natural non-abelian generalisation of the annihilation results proved by \textit{K. Rubin} [Invent. Math. 89, 511--526 (1987; Zbl 0628.12007)].'' ``In a subsequent article, jointly authored with Sano, we will show that the approach described here can be used to obtain the first unconditional verifications of both the minus part of the equivariant Tamagawa number conjecture for untwisted Tate motives and of the (non-abelian) Brumer-Stark conjecture in the technically most difficult case of non-abelian Galois extensions that have degree divisible by \(p\) and characters for which the associated \(p\)-adic \(L\)-series possess trivial zeroes.''