Integral period relations and congruences (Q2153718): Difference between revisions

Let \(f\) be a new form, \(p\) an odd prime. Let \({\mathcal O}\) be the valuation ring of a \(p\)-adic field containing the eigenvalues of \(f\). Manin associated integral periods \(\Omega^{\pm}_f\) to \(f\) which is determined up to a unit in \({\mathcal O}\). Let \(F\) be a real quadratic extension of the field of rational numbers, and \(f_F\) the base change of \(f\). Hida defined an analogue of Manin period \(\Omega^{\varepsilon}(f_F)\) where \(\varepsilon\) is a character of \(\{\pm 1\}^2\). The main result of the paper is that (when \(p\) is a good prime and under some mild assumptions) when \(\varepsilon=(+,-)\) or \((-,+)\), \(\Omega^{\varepsilon}(f_F)\) equals \(\Omega^+(f)\Omega^-(f)\) up to a \(p\)-adic unit. Let \(\alpha\) be an even Dirichlet character, and \(L^*(Ad(f)\otimes \alpha)\) be the (normalized) critical value of adjoint \(L\)-function. The paper establishes (with a bit more assumptions) a conjecture of Hida that the ideal generated by this value equals the Fitting ideal of (Bloch-Kato) Selmer group \(\mathrm{Sel}_{{\mathbf Q}}(Ad(f)\otimes \alpha)\). When \(F\) is an imaginary quadratic field and \(\alpha\) is an odd Dirichlet character, the paper obtains similar results but of a different nature, as \(L(Ad(f)\otimes\alpha, s)\) is no longer critical at \(s=1\). The paper shows that a period \(u^1(f_F)\) previously defined by Urban equals \(\Omega^+(f)\Omega^-(f)\) up to a \(p\)-adic unit. There is also an analogous result on the Fitting ideal of \(\mathrm{Sel}_{{\mathbf Q}}(Ad\ f\times \alpha)\) in this case.