Weight reduction for cohomological mod modular forms over imaginary quadratic fields
Let be an imaginary quadratic field and its ring of integers. Let be a non-zero ideal and let be a rational inert prime in and coprime with . Let be an irreducible finite dimensional representation of . We establish that a system of Hecke eigenvalues appearing in the cohomology with coefficients in already lives in the cohomology with coefficients in for some ; except possibly in some few cases.