On congruences mod \(\mathfrak p^m\) between eigenforms and their attached Galois representations (Q2268799)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On congruences mod \(\mathfrak p^m\) between eigenforms and their attached Galois representations |
scientific article |
Statements
On congruences mod \(\mathfrak p^m\) between eigenforms and their attached Galois representations (English)
0 references
9 March 2010
0 references
Let \(f_1=\sum_{n=1}^\infty a_n(f_1)e^{2\pi i nz}\) and \(f_2=\sum_{n=1}^\infty a_n(f_2)e^{2\pi i nz}\) be normalized cusp forms of weights \(k_1\) and \(k_2\), with coefficients in \({\mathcal O}_K\), the ring of integers of the algebraic number field \(K\). Let \({\mathfrak p}\) be a prime ideal of \({\mathcal O}_K\), \(p\) the prime number under \({\mathfrak p}\). Under some hypotheses the authors prove that \(f_1\equiv f_2\pmod {\mathfrak p^m}\) if and only if \(a_n(f_1)\equiv a_n(f_2) \pmod {\mathfrak p^m}\) for a finite number of \(n\)'s explicitly bounded and \(k_1\equiv k_2 \pmod {p^s(p-1)}\), with explicitly given \(s\). This allows numerical experiments.
0 references
modular forms
0 references
congruences mod \(\mathfrak p^m\)
0 references