Akhil Mathew, Faithfully flat descent of almost perfect complexes in rigid geometry. J. Pure Appl. Algebra 226 (2022), no. 5
Descent theory is a systematic approach due Grothendieck to describe global geometrical objects in terms of local, where locality is usually understood in terms of some Grothendieck topology. In algebraic geometry, the most standard case is the descent of quasicoherent sheaves along faithfully flat morphisms. It boils down to the basic case of descent of modules along faithfully flat morphisms of commutative rings (which holds more generally along pure morphisms, and for noncommutative rings). In a basic traditional flavour of rigid analytic geometry, rings are replaced by affinoid algebras. A result due Bosch, Görtz and Gabber establishes an effective descent theorem for finitely generated modules along a faithfully flat map of -affinoid algebras where is a complete nonarchimedean field. The finitely generated -modules are described as descent data which live over a standard cosimplicial object whose lowest degree objects are , , , the tensor product is completed and the 2-truncation suffices.
The work under review generalizes the result in two directions. It is first observed that a relatively straightforward argument may extend the descent for modules to a flat hyperdescent theorem for -categories of almost perfect -complexes, keeping the same assumption on the base ring (a -affinoid algebra). Descent for -categories involves -categorical/homotopy limits and hypercovers which are therefore not determined by a 2-truncation (if presented in simplicial language). Then a number of advanced techniques are used to relax the conditions on the base ring. This is partly motivated by a descent result of V. Drinfeld for finitely generated projectives over -torsion free -adically complete -algebras, where is the ring of integers and a nonunit. Drinfeld’s theorem states that morphisms such that is faithfully flat are of effective descent.
The setup for author’s generalization involves a connective -ring , a finitely generated ideal , and a subcategory of the -category of modules (for example the -subcategory of perfect complexes). Some homotopical/spectral algebra is developed in this generality, involving consideration of properties of objects in holding up to isogeny, -structures, and the interplay between -completion and -torsion of -modules. The approach to -descent is centered around Lurie’s version of -categorical monadicity theorem and the study of universal descent functors in the setting of idempotent-complete stable -categories. The author constructs a stable -category interpreted as the generic fiber of the formal spectrum and proves that the category of almost perfect modules on forms a full subcategory of . It is proved that and are sheaves for the universal descent topology on the -category of --algebras. Finally, descent for -complete faithfully flat maps of -complete connective --algebras is proved: is a hypercomplete sheaf for the -completely flat topology.
These are strong results. A part of the difficulty (in comparison to algebraic geometry) lays in the lack of well-behaved category of quasicoherent sheaves in traditional rigid analytic geometry. One of the goals of the program of condensed mathematics of P. Scholze and D. Clausen is to rectify this problem. This may lead to a different approach to faithfully flat descent in rigid geometry, as the author points out.
Created on September 3, 2022 at 16:10:00. See the history of this page for a list of all contributions to it.