\(p\)-adic Banach spaces and families of modular forms (Q1359163): Difference between revisions

In part A, the author shows how Serre's \(p\)-adic Banach-Fredholm-Riesz theory may be extended over complete, normed rings. He applies these results to elliptic modular forms. He proves that the Fredholm determinants of the \(U\)-operator acting on (integer) weight \(k\) overconvergent modular forms are specializations of a Fredholm determinant of a completely continuous operator over the Banach algebra of rigid analytic functions on any sufficiently large closed disc in the weight space (theorem B). One consequence is a qualitative version of the Gouvêa-Mazur \(R\)-family conjecture (conjecture 3 of the article [\textit{F. Gouvêa} and \textit{B. Mazur}, Math. Comput. 58, 793-805 (1992; Zbl 0773.11030)]; section B.5).