Perfect-Prismatic F-Crystals and p-adic Shtukas in Families

We construct an equivalence between the two categories in the title, thus establishing a link between Frobenius-linear objects of formal (schematic) and analytic (adic) nature. We will do this for arbitrary p-complete rings, for objects equipped with an action by an arbitrary affine flat group scheme over Zp and without making use of the Frobenius-linear structure

Wir konstruieren und beweisen eine Äquivalenz zwischen den Objekten im Titel, dh.: (formell-schematischen) perfekt-prismatischen F-Kristallen einerseits und (analytisch-adischen) Familien von p-adischen Shtukas andererseits. Wir zeigen dies für beliebige p-vollständige Ringe, mit extra Struktur von beliebigen affinen glatten Gruppenschemata und ohne Benutzung der Frobenius-linearen Struktur.