Localization functors and cosupport in derived categories of commutative Noetherian rings (Q723584): Difference between revisions

Let ${\mathcal D}$ denote the derived category of $R$-module complexes, where $R$ is a commutative Noetherian ring. The \textit{cosupport} of a complex $X$ in ${\mathcal D}$ is defined to be the set of all prime ideals of $R$ for which $\text{RHom}_R(k,X)$ is nontrivial, where $k$ is the residue field of the prime. For a subset $W$ of the prime spectrum of $R$, let ${\mathcal C}^W$ denote the set of complexes with cosupport contained in $W$. The authors define the \textit{localization functor $\lambda^W$ with cosupport in $W$} to be the adjoint of the inclusion functor $C^W\rightarrow{\mathcal D}$, and give a Mayer-Vietoris style method for computing $\lambda^W$ from two overlapping subsets of $W$ whose union is equal to $W$. Moreover in the case when $X$ is a complex of either flat or finitely generated $R$-modules, a Čech style method of computing $\lambda^WX$ from a cover of subsets of $W$ is presented.