A Bound on the Order of Jumping Lines.
If is a smooth scheme over a perfect field of characteristic , and if is the sheaf of differential operators on [7], it is well known that giving an action of on an -module is equivalent to giving an infinite sequence of -modules descending via the iterates of the Frobenius endomorphism of [5]. We show that this result can be generalized to any infinitesimal deformation of a smooth morphism in characteristic , endowed with Frobenius liftings. We also show that it extends to adic...