On congruences mod \(\mathfrak p^m\) between eigenforms and their attached Galois representations (Q2268799)

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.