Coleman maps and the \(p\)-adic regulator (Q435272): Difference between revisions

The main objective of the paper is the study of Coleman maps for a crystalline representation \(V\) with non-negative Hodge--Tate weights via Perrin-Riou's \(p\)--adic regulator. The precise description of the images of Coleman maps is obtained by first determining some elementary divisors and then comparing the determinant of this map with that of the Perrin-Riou's regulator that is computed via Perrin-Riou's explicit reciprocity law [\textit{B. Perrin-Riou}, \(p\)-adic \(L\)-functions and \(p\)-adic representations. Astérisque. 229. Paris: Société Mathématique de France (1995; Zbl 0845.11040]. For an odd prime \(p\), let \({\mathbb Q}_{\infty}:={\mathbb Q}(\zeta_{p^{\infty}})\) and \(\Gamma:=\roman{Gal}({\mathbb Q}_{\infty}/{\mathbb Q})\). For any field \(K\), \(G_K\) denotes its absolute Galois group. Let \(V\) be a crystalline representation of \(G_{{\mathbb Q}_p}\) of dimension \(d\) with non-negative Hodge--Tate weight. Let \({\mathcal H}(\Gamma)\) be the space of distributions on \(\Gamma\). The first main result of the paper is given in Theorem 2.10 where the \({\mathcal H}(\Gamma)\) elementary divisors of the quotient \({\mathbb D}_{\text{cris}}(V) \otimes_{{\mathbb Q}_p} {\mathcal H}(\Gamma)/(\varphi^{\ast}({\mathbb N}_{\text{rig}}(V))^{\psi=0}\) are explicitly computed. Here \({\mathbb N}_{\text{rig}}:={\mathbb N}(V)\otimes_{{\mathbb B}^+_{{\mathbb Q}_p}} {\mathbb B}_{\text{rig}, {\mathbb Q}_p}^{+}\), \({\mathbb N}(V)\) is the Wach module of \(V\) over \({\mathbb B}_{{\mathbb Q}_p}^{+} \cong {\mathbb Q}_p \otimes_{{\mathbb Z}_p} {\mathbb Z}_p[[\pi]]\), \({\mathbb B}_{\text{rig}, {\mathbb Q}_p}^{+}\) denotes the ring of power series \(f(\pi)\in {\mathbb Q}_p[[\pi]]\) such that \(f(\pi)\) converges everywhere on the open unit \(p\)-adic disc and \({\mathbb D}_{\text{cris}}(V)\) denotes the Dieudonné module of \(V\). From this result the cokernel of the map \(1-\varphi: {\mathbb N}_{\text{rig}}^{\psi=1}\to (\varphi^{\ast} {\mathbb N}_{\text{rig}}(V))^{\psi=0}\) is obtained. The authors describe the image of Coleman maps for any choice of basis of \({\mathbb N}(V)\) and the elementary divisors of the \({\mathcal H}(\Gamma)\)--quotient module \[ \frac{{\mathcal H}(\Gamma)\otimes_{{\mathbb Q}_p}{\mathbb D}_{\text{cris}}(V)} {{\mathcal H}(\Gamma)\otimes_{\Lambda_{{\mathbb Q}_p(\Gamma)}} \roman{Im}({\mathcal L}_V)}. \] where \({\mathcal L}_V\) is the Perrin-Riou's regulator (or expanded logarithm map).