modular Galois representations; automorphic forms; modular curve; Hecke operators; Frobenius; geometric Frobenius; arithmetic Frobenius; Eisenstein series; Eisenstein ideals; Hecke algebra; crystalline extensions; multiplicity one theorem 