Detecting large simple rational Hecke modules for via congruences
We describe a novel method for bounding the dimension of the largest simple Hecke submodule of from below. Such bounds are of interest because of their relevance to the structure of , for instance. In contrast with previous results of this kind, our bound does not rely on the equidistribution of Hecke eigenvalues. Instead, it is obtained via a Hecke-compatible congruence between the target space and a space of modular forms whose Hecke eigenvalues are easily controlled. For prime levels our method yields an unconditional bound of , improving the known bound of due to Murty--Sinha and Royer. We also discuss conditional bounds, the strongest of which is over a large set of primes , contingent on Soundararajan's heuristics for the class number problem and Artin's conjecture on primitive roots. We also propose a number of Maeda-style conjectures based on our data, and we outline a possible congruence-based approach toward the conjectural Hecke simplicity of .