2023/07/03 by Güthge, Anton · 1 citation
#Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.2307.01108
We show 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, arbitrary affine-flat group schemes and without making use of the Frobenius structure. As a possible application, we take a look at prismatic cohomology of K3-surfaces and complete intersections of projective space.