  We prove a companion forms theorem for mod l Hilbert modular forms. This work
generalises results of Gross and Coleman--Voloch for modular forms over Q, and
gives a new proof of their results in many cases. The methods used are
completely different to previous work in this area, and rely on modularity
lifting theorems and the general theory of deformations of Galois
representations.
