Wach modules and Iwasawa theory for modular forms (Q2431509): Difference between revisions

For a normalized eigenform \(f=\sum a_n q^n\) of weight \(k\geq 2\), level \(N\) and character \(\varepsilon\) and \(p\nmid N\), there exists a \(p\)-adic \(L\)-function \(\tilde{L}_{p,\alpha}\), for any root \(\alpha\) of \(X^2 -a_pX+\varepsilon(p) p^{k-1}\) such that \(v_p(\alpha)<k-1\) interpolating complex \(L\)-values of \(f\). \textit{B. Perrin-Riou} [\(p\)-adic \(L\)-functions and \(p\)-adic representations (French). Astérisque 229. Paris: SMF (1995; Zbl 0845.11040)] and \textit{K. Kato} [Lect. Notes Math. 1553, 50--163 (1993; Zbl 0815.11051)] have established theories of \(p\)-adic \(L\)-functions for a wide class of \(p\)-adic representations and formulated respective Iwasawa main conjectures. For \(a_p=0\), \textit{R. Pollack} [Duke Math. J. 118, No. 3, 523--558 (2003; Zbl 1074.11061)] showed that there is a decomposition \(\tilde{L}_{p, \alpha_i}=\log^+_{p,k} \tilde{L}^+_p +\alpha_i \log^-_{ p,k} \tilde{L}^-_p\) for \(i=1,2\), where \(\tilde{L}^{\pm}_p\in \Lambda_{{\mathbb Q}_p}(G_{\infty})={\mathbb Q}\otimes {\mathbb Z}_p [[G_{\infty}]]\), \(G_{\infty}=\mathrm{Gal}({\mathbb Q}(\zeta_{\infty})/ {\mathbb Q})\) and \(\log^{\pm}_{p,k}\in {\mathcal H}(G_{\infty})\), the algebra of distributions on \(G_{\infty}\), depend only on \(k\). If \(f\) corresponds to an elliptic curve \(E/{\mathbb Q}\) and \(p>2\), then \(\tilde{L}_p^{\pm}\in \Lambda(G_{\infty})={\mathbb Z}_p[[G_{\infty}]]\), the Iwasawa algebra of \({\mathbb Z}^{\ast}_p\). In [Invent. Math. 152, No. 1, 1--36 (2003; Zbl 1047.11105)], \textit{S.-i. Kobayashi} formulated a main conjecture constructing some Coleman maps which depend on the structure of the formal group attached to \(E\). \textit{F. E. I. Sprung} [J. Number Theory 132, No. 7, 1483--1506 (2012; Zbl 1284.11147)] extended the results of Kobayashi to elliptic curves with supersingular reduction at \(p\) and \(a_p\neq 0\) (which forces \(p\) to be \(2\) or \(3\)). He constructed some Coleman maps and a matrix \(M\in M_2({\mathcal H} (G_\infty))\) whose entries are functions of logarithmic growth depending only on \(a_p\). In this paper, the authors investigate the questions: Is there a uniform explanation for Sprung's logarithmic matrix \(M\)? Is it possible to generalize the Coleman series to more general modular forms which are supersingular at \(p\)? The approach in this work is the use of the theory of \((\varphi,G_{\infty})\)-modules. The first main result is: If \({\mathcal N}\) is a Wach module of rank \(d\), then \((\varphi^{\ast}{\mathcal N})^{\psi=0}\) is a free \(\Lambda_{{\mathbb Q}_p}(G_{\infty})\)-module of rank \(d\). Next they define two Coleman maps \(\underline{\mathrm{Col}}_i: {\mathbb N}(V)^{\psi=1}\to \Lambda_{{\mathbb Q}_p}(G_{\infty})\), where \(V\) is the \(p\)-adic representation associated to a modular form with \(v_p(a_p)>\lfloor \frac{k-2}{p-1}\rfloor\). Then, defining \(\tilde{L}_{p,i}=\underline{\mathrm{Col}}_i(z^{\text{Kato}})\), \(z^{\text{Kato}}\) the Kato's zeta element, the authors prove that there exists a \(2\times 2\) matrix \({\underline{\mathcal M}}\in M_2 (\overline{{\mathbb Q}}_p\otimes_{{\mathbb Q}_p} {\mathcal H}(G_{\infty})) \) depending only on \(k\) and \(a_p\) such that \(\left( \begin{matrix} \tilde{L}_{p,\alpha} \cr \tilde{L}_{p,\beta}\end{matrix} \right)= {\underline{\mathcal M}}\left( \begin{matrix} \tilde{L}_{p,1}\cr \tilde{L}_{p,2} \end{matrix}\right)\). Finally, under certain assumptions on \(f\) at \(p\) and on \(k\), they show that the Selmer's groups \(\mathrm{Sel}^i_p(f/{\mathbb Q}_p)\) are \(\Lambda_{{\mathcal O}_E}(G_{\infty})\)-cotorsion for \(i=1, 2\).