Potentially diagonalizable modular lifts of large weight (Q2043480)

The authors prove (Theorem 0.1) that for a given Hecke eigenform \(f \in S_k(\Gamma_0(N),\chi)\) and a prime \(l > \max\{k,6\}\) such that \(l \nmid N\), there exists an infinite family \(\{k_r\}_{r\geq 1} \subseteq \mathbb Z\) such that for each \(k_r\), there is a cusp form \(f_{k_r} \in S_{k_r}(\Gamma_0(N),\chi)\) such that the Deligne representation \(\rho_{f_{k_r},l}\) is a crystalline and potentially diagonalizable lift of \(\overline{\rho}_{f,l}\). In the ordinary case, the authors use Hida families and examine the representations attached to specializations. These are crystalline and ordinary, hence potentially diagonalizable. The proof in the non-ordinary case is significantly more involved. Here the authors adapt a local-global argument due to \textit{C. Khare} and \textit{J.-P. Wintenberger} [Ann. Math. (2) 169, No. 1, 229--253 (2009; Zbl 1196.11076); Invent. Math. 178, No. 3, 505--586 (2009; Zbl 1304.11042)] in the setting of their proof of Serre's modularity conjecture. Additional ingredients are: (i) a result on existence of lifts with prescribed local conditions over CM fields; (ii) a flatness result due to Böckle; (iii) a local dimension result by \textit{M. Kisin} [Ann. Math. (2) 170, No. 3, 1085--1180 (2009; Zbl 1201.14034)]. The authors discuss the motivation and possible future application of their results to the authomorphy of \(\mathrm{GL}_{2n}\)-type representations in the higher level case.