Published online by Cambridge University Press: 10 July 2014
We extend the modularity lifting result of P. Kassaei (‘Modularity lifting in parallel weight one’,J. Amer. Math. Soc.26 (1) (2013), 199–225) to allow Galois representations with some ramification at $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}p$. We also prove modularity mod 5 of certain Galois representations. We use these results to prove new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent $p$-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in P. Kassaei (‘Modularity lifting in parallel weight one’, J. Amer. Math. Soc.26 (1) (2013), 199–225).