Automorphy of some residually S5 Galois representations

Abstract

Let F be a totally real field and p an odd prime. We prove an automorphy lifting theorem for geometric representations ρ:GF→GL2(Q¯p)$$\rho :G_F \rightarrow \mathrm {GL}2(\overline{\mathbb {Q}}{p})$$ which lift irreducible residual representations ρ¯$$ {\overline{\rho }} $$ that arise from Hilbert modular forms. The new result is that we allow the case p=5$$p=5$$, ρ¯$$ {\overline{\rho }} $$ has projective image S5≅PGL2(F5)$$S_5\cong \mathrm {PGL}_2({\mathbb F}_5)$$ and the fixed field of the kernel of the projective representation contains ζ5$$\zeta _5$$. The usual Taylor–Wiles method does not work in this case as there are elements of dual Selmer that cannot be killed by allowing ramification at Taylor–Wiles primes. These elements arise from our hypothesis and the non-vanishing of H1(PGL2(F5),Ad(1))$$H^1(\mathrm {PGL}_2({\mathbb F}_5),{{\mathrm{Ad}}}(1))$$ where Ad(1)$${{\mathrm{Ad}}}(1)$$ is the adjoint of the natural representation of GL2(F5)$$\mathrm {GL}_2({\mathbb F}_5)$$ twisted by the quadratic character of PGL2(F5)$$\mathrm {PGL}_2({\mathbb F}_5)$$.