Symmetric power functoriality for Hilbert modular forms

Abstract

Let $F$ be a totally real field. We prove the existence of all symmetric power liftings of those cuspidal automorphic representations of ${\mathrm{GL}}_2({\mathbf{A}}_F)$ associated to Hilbert modular forms of regular weight.

Accepted version. Note that theorem numbering has changed since the first version