Crystalline lifts of two-dimensional \(\mod p\) automorphic Galois representations (Q722888)

Serre's conjecture, now a theorem of Khare-Wintenberger and Kisin, asserts that any \(2\)-dimensional continuous irreducible odd representation \(G_{\mathbb Q} \to GL_2(\overline{{\mathbb F}_p})\) of the absolute Galois group of \({\mathbb Q}\) is automorphic; moreover it comes from a modular form of level prime to \(p\) and so has a crystalline lift. The analogue of the second statement for mod \(p\) automorphic representations of the absolute Galois group of a totally real number field is however false in general -- there is an obvious obstruction for the existence of crystalline lifts. Motivated by a question of Dieulefait and Pacetti, the authors show that this obstruction is the only obstruction. The authors also prove some refinements of this result for the reduction mod \(p\) of some cuspidal automorphic representations of weight \((2,2, \ldots,2)\).