We describe the obstruction to lift Frobenius on certain Shimura varieties and apply this to the theory of companion forms for classical modular forms (Gross, Coleman-Voloch, Faltings-Jordan) and also in higher dimension.