2023/02/24 by Anschütz, Johannes, Heuer, Ben, Bras, Arthur-César Le
#Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.2302.12747
Let X be a quasi-compact quasi-separated p-adic formal scheme that is smooth either over a perfectoid ℤp-algebra or over some ring of integers of a p-adic field. We construct a fully faithful functor from perfect complexes on the Hodge-Tate stack of X up to isogeny to perfect complexes on the v-site of the generic fibre of X. Moreover, we describe perfect complexes on the Hodge-Tate stack in terms of certain derived categories of Higgs, resp. Higgs-Sen modules. This leads to a derived p-adic Simpson functor.