Zusammenfassung
Given a commutative ring R and finitely generated ideal I, one can consider the classes of I-adically complete, L-0(I)-complete and derived I -complete complexes. Under a mild assumption on the ideal I called weak pro-regularity, these three notions of completions interact well. We consider the classes of I-adically complete, L-0(I)-complete and derived I -complete complexes and prove that they ...
Zusammenfassung
Given a commutative ring R and finitely generated ideal I, one can consider the classes of I-adically complete, L-0(I)-complete and derived I -complete complexes. Under a mild assumption on the ideal I called weak pro-regularity, these three notions of completions interact well. We consider the classes of I-adically complete, L-0(I)-complete and derived I -complete complexes and prove that they present the same homotopy theory. Given a ring homomorphism R -> S, we then give necessary and sufficient conditions for the categories of complete R complexes and the categories of complete S -complexes to have equivalent homotopy theories. This recovers and generalizes a result of Sather-Wagstaff and Wicklein on extended local (co)homology. (c) 2021 Elsevier Inc. All rights reserved.