On the \(p\)-adic Beilinson conjecture for number fields (Q1011943)

The Beilinson conjecture is a very general statement about the zeta value associated to any motive \(M\) over a number field \(k\). The basic case for which the Beilinson conjecture is a theorem corresponds to the Borel theorem which involves the motives \(M=h^0(k)(n)\). The Borel theorem relates the \(L\)-function of \(k\) at \(n\geq 2\) with the covolume of Borel's regulator map (or with the covolume of Beilinson's regulator map). The Beilinson conjecture predicts an equality of complex numbers involving the zeta value associated to the motive. In order to study the equality \(p\)-adically, one searches for \(p\)-adic \(L\)-functions over a \(p\)-adic field where evaluated at specific integer interpolates the zeta value. The \(p\)-adic Beilinson conjecture is an equality in a \(p\)-adic field involving the \(p\)-adic \(L\)-function with the covolume of some sort of regulator map in \(p\)-adic cohomologies. \textit{B. Perrin-Riou} [``Fonctions \(L\) \(p\)-adiques des représentations \(p\)-adiques'', Astérisque. 229. Paris: Société Mathématique de France (1995; Zbl 0845.11040)] explained a very general conjecture about the existence and properties of \(p\)-adic \(L\)-functions, from which one can derive \(p\)-adic Beilinson conjectures. In the first part of the paper under review the authors describe in detail a conjecture; the main parts of this conjecture are the \(p\)-adic Beilinson conjecture and also the Beilinson conjecture, for the cases of totally real fields \(k\), and for Artin motives with coefficients in a number field \(E\). The second part of the paper is devoted to explain and prove some results of the conjecture and to verify it numerically in various other cases. In particular the authors prove that the conjecture is true for abelian Artin motives over \(\mathbb{Q}\) (up to the claim that two terms of the equality for the \(p\)-adic Beilinson conjecture are units), and they prove also the part of the conjecture which corresponds to the Gross conjecture for Artin motives obtained from \(S_3\) or \(D_8\)-extensions of \(\mathbb{Q}\). Moreover they test the conjecture numerically in various examples: \(k\) a totally real \(S_3\)- or \(D_8\)- or \(S_3\times\mathbb{Z}/3\mathbb{Z}\)-extension of \(\mathbb{Q}\), and \(k\) a CM Galois extension with \(\text{Gal}(k/\mathbb{Q})\cong D_8\). To deal with the conjecture and with the numerical test one needs a practical computation of \(p\)-adic \(L\)-functions and \(K\)-groups of number fields and the image of the \(K\)-groups by the regulator maps. About \(K\)-theory, the authors recall Zagier's conjecture which gives a construction of elements in \(K\)-groups of number fields and the theoretical results for the Beilinson regulator map [\textit{R. de Jeu}, ``Zagier's conjecture and wedge complexes in algebraic \(K\)-theory'', Compos. Math. 96, No.~2, 197--247 (1995; Zbl 0868.19002)] and the \(p\)-adic regulator map (syntomic regulator) [\textit{A. Besser} and \textit{R. de Jou}, ``The syntomic regulator for the \(K\)-theory of fields'', Ann. Sci. Éc. Norm. Supér. (4) 36, No.~6, 867--924 (2003; Zbl 1106.11024)], and after these theoretical results they explain a methodology for the practical computation of \(K\)-groups in some cases which will include all the cases dealt with in the paper. For the computation of \(p\)-adic \(L\)-functions the authors sketch a method similar to \textit{P. Colmez} [``Résidu en \(s=1\) des fonctions zêta \(p\)-adiques'', Invent. Math. 91, No.2, 371-389 (1988; Zbl 0651.12010)] generalizing the work of \textit{X.-F. Roblot} and \textit{D. Solomon} [``Verifying a \(p\)-adic abelian Stark conjecture at \(s=1\)'', J. Number Theory 107, No. 1, 168--206 (2004; Zbl 1052.11076)], where the technical details should appear in \textit{X.-F. Roblot} [``Computing values of \(p\)-adic \(L\)-functions of totally real fields''].