cipra@math.ksu.edu darnall@math.wisc.edu datta@math.umass.edu dmharvey@fas.harvard.edu gabor.wiese@mathematik.uni-regensburg.de holden@math.wisc.edu jared@math.berkeley.edu jonhanke@math.duke.edu kane@math.wisc.edu leyw@maths.usyd.edu.au syazdani@math.berkeley.edu wstein@gmail.com

Ribet's theorems about level raising and level lowering have been central in a huge amount of modern work on modular forms. For example, they play a famous role in the proof of Fermat's last theorem. You should read about these theorems somewhere. One introduction is [RS01].

Diamond (see [Dia95], etc.) and Diamond-Taylor (in their ``Nonoptimal levels'' paper), and Russ Mann in his Ph.D. thesis, have all also done important work related to level lowering and raising.

Unfortunately, it seems that nobody has proved or even formulated a conjectural analogue of these results for congruences modulo between eigenforms. There is work about higher congruences in that comes up when studying -adic modular forms (see, e.g., [Col03]).

Some^{7.1} have expressed doubt that there
can even be a good level raising or lowering theorem modulo
.