On the semi-simplicity of the \(U_p\)-operator on modular forms (Q1377076)

Let \(S(N,k)\) denote the \(\mathbb{C}\)-vector space of cusp forms of level \(N\) and weight \(k\geq 2\). For a prime number \(p\mid N\), let \(U_p\) denote the Hecke operator acting on \(S(N,k)\). The authors prove that if \(k=2\) and \(p^3\) does not divide \(N\), then the operator \(U_p\) is semi-simple (Theorems 2.1 and 4.2). For weight \(k\geq 3\), they prove the same result under the assumption that certain crystalline Frobenius elements are semisimple (Theorem 4.2). Let us mention that the case \(k=1\) is completely different (see the introduction). Section 5 gives some (unpublished) results, due to Abbes and Ullmo, concerning the discriminants of certain Hecke algebras.