Frobenius Lifting and a Geometric Theory of Companion Forms

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.