Slope filtration of quasi-unipotent overconvergent \(F\)-isocrystals (Q1266218)

The author studies Frobenius-crystals on the Robba ring, which can be thought of as a model for a (limit of) rigid analytic disks. These definition needs a Frobenius lift on the base but the resulting category is independent of that choice. One defines unipotent crystals as usual as successive extensions of constants objects, and quasi-unipotent means ``unipotent after a finite covering''. The main result says that this is equivalent to having a slope-filtration. The theory is then applied to convergent and overconvergent \(F\)-isocrystals on curves.