Support and adic finiteness for complexes
Let X be a chain complex over a commutative noetherian ring R, that is, an object in the derived category D(R). We investigate the small support and co-support of X, introduced by Foxby and Benson, Iyengar, and Krause. We show that the derived functors M⊗RL− and RHomR(M,−) can detect isomorphisms in D(R) between complexes with restrictions on their supports or co-supports. In particular, the derived local (co)homology functors RΓa(−) and LΛa(−) with respect to an ideal a⊊R have the same ability. Furthermore, we give reprove some results of Benson, Iyengar, and Krause in our setting, with more direct proofs. Also, we include some computations of co-supports, since this construction is still quite mysterious. Lastly, we investigate "a-adically finite" R-complexes, that is, the X∈D(R) that are a-cofinite \textit{à la} Hartshorne. For instance, we characterize these complexes in terms of a finiteness condition on LΛa(X).