Faithfully flat descent of quasi-coherent complexes on rigid analytic varieties via condensed mathematics

Abstract

Faithfully flat descent of pseudo-coherent complexes in rigid geometry was proved by Mathew. In this paper, we generalize the result of Mathew to quasi-coherent complexes on rigid analytic varieties, which have been introduced by Clausen and Scholze by means of condensed mathematics.

arXiv commentRevised version with some simplifications in the proofs, 36 pages