On Galois representations associated to Hilbert modular forms (Q917586)

The author studies the conjecture concerning 2-dimensional Galois representations over totally real number fields \(F\) attached to Hilbert cusp forms \(f\) over \(F\), which are Hecke eigenforms. This conjecture was already established for \(F=\mathbb Q\) (Eichler, Shimura, Deligne, Deligne--Serre respectively for weight 2, \(\geq 2\), 1) and for fields of odd degree \((F:\mathbb Q)\) by Ohta and, using Shimura curves, by Rogawski-Tunnell. In case of even degree \((F:\mathbb Q)\) however, additional assumptions on the automorphic representation \(\pi_ f\) attached to the form \(f\) were needed. The content of this paper is a proof of the conjecture for arbitrary totally real fields \(F\) of even degree, in case the weights of the forms are \(\geq 2\). The author proceeds along the lines of Wiles' approach, who had proved the conjecture for even fields \(F\), in case the form is ordinary at the relevant prime. The main part of the paper is the proof of congruences between the given form \(f\) and a suitable newform, for which the conjecture is already established. Then using Wiles' method of `pseudo-representations' the desired representation is constructed.