 $n \in \mathbb{Z}$. Then $H^n(\operatorname*{hocolim}_{i \in I} \mathscr{X}) \simeq \varinjlim_{i \in I}H^n(\mathscr{X}_i) \in \mathcal{V}_n$ for all $n \in \mathbb{Z}$, and thus $\operatorname*{hocolim}_{i \in I} \mathscr{X} \in \mathcal{V}$. Similar argument shows that $\mathcal{V}$ is closed under products. Finally, consider a pure monomorphism $f: Y \rightarrow X$ in $\operatorname*{\mathbf{D}}(R)$ with $X \in \mathcal{V}$. For each $n \in \mathbb{Z}$ we have that $\operatorname*{Hom}_R(R[-n],f) \simeq H^n(f)$ is a pure monomorphism of $R$-modules by [@P 17.3.17]. Therefore, $H^n(Y) \in \mathcal{V}_n$ for all $n \in \mathbb{Z}$, and therefore $Y \in \mathcal{V}$. Using Theorem \[T:rosie1\] we conclude that $\mathcal{V}$ is a definable subcategory. This establishes the correspondence.

Ziegler spectra
---------------

We can reformulate Proposition \[P:definablecorr\] using the Ziegler spectra of the derived category and of the module category. We refer to [@P] for the theory of Ziegler spectra of module categories. If $R$ is a ring, the natural embedding $\operatorname*{Mod-R}[-n] \subseteq \operatorname*{\mathbf{D}}(R)$ for some $n \in \mathbb{Z}$ induces a closed embedding $\operatorname*{Zg}(R)[-n] \rightarrow \operatorname*{Zg}(\operatorname*{\mathbf{D}}(R))$. Clearly, $\bigcup_{n \in \mathbb{Z}}\operatorname*{Zg}(R)[-n]$ forms a disjoint union inside $\operatorname*{Zg}(\operatorname*{\mathbf{D}}(R))$. One can ask for which rings it is true that $\operatorname*{Zg}(\operatorname*{\mathbf{D}}(R)) = \bigcup_{n \in \mathbb{Z}}\operatorname*{Zg}(R)[-n]$. Equivalently, for which rings is it true that every indecomposable
$ n \in \mathbb{Z}$. Then $ H^n(\operatorname*{hocolim}_{i \in I } \mathscr{X }) \simeq \varinjlim_{i \in I}H^n(\mathscr{X}_i) \in \mathcal{V}_n$ for all $ n \in \mathbb{Z}$, and thus $ \operatorname*{hocolim}_{i \in I } \mathscr{X } \in \mathcal{V}$. Similar controversy usher that $ \mathcal{V}$ is closed under products. Finally, study a pure monomorphism $ f: Y \rightarrow X$ in $ \operatorname*{\mathbf{D}}(R)$ with $ X \in \mathcal{V}$. For each $ normality \in \mathbb{Z}$ we give birth that $ \operatorname*{Hom}_R(R[-n],f) \simeq H^n(f)$ is a pure monomorphism of $ R$-modules by [ @P 17.3.17 ]. Therefore, $ H^n(Y) \in \mathcal{V}_n$ for all $ n \in \mathbb{Z}$, and therefore $ Y \in \mathcal{V}$. use Theorem   \[T: rosie1\ ] we conclude that $ \mathcal{V}$ is a definable subcategory. This establishes the commensurateness. 

 Ziegler spectra 
 --------------- 

 We can redevelop Proposition   \[P: definablecorr\ ] using the Ziegler spectra of the derived class and of the module class. We mention to [ @P ] for the theory of Ziegler spectra of module categories. If $ R$ is a band, the natural embedding $ \operatorname*{Mod - R}[-n ] \subseteq \operatorname*{\mathbf{D}}(R)$ for some $ n \in \mathbb{Z}$ induces a closed implant $ \operatorname*{Zg}(R)[-n ] \rightarrow \operatorname*{Zg}(\operatorname*{\mathbf{D}}(R))$. Clearly, $ \bigcup_{n \in \mathbb{Z}}\operatorname*{Zg}(R)[-n]$ forms a disjoint union inside $ \operatorname*{Zg}(\operatorname*{\mathbf{D}}(R))$. One can ask for which rings it is genuine that $ \operatorname*{Zg}(\operatorname*{\mathbf{D}}(R) ) = \bigcup_{n \in \mathbb{Z}}\operatorname*{Zg}(R)[-n]$. Equivalently, for which rings is it true that every indecomposable
 $n \ln \mathbb{Z}$. Then $H^n(\operaturname*{hocolim}_{i \nb I} \mavhscr{X}) \aimeq \vafinjlim_{i \in I}H^n(\mathscr{X}_i) \in \larhcal{C}_n$ for all $n \in \mathbb{X}$, and thud $\operatirnanw*{hocolim}_{i \mh I} \matmfcr{X} \ln \machral{V}$. Similar arnument showv that $\mathcal{E}$ ks closed under products. Finally, consyder a luge monomorphisi $f: J \wighfarrow X$ in $\operatorname*{\mathbf{D}}(R)$ wjth $X \ii \mathcal{V}$. For rach $n \in \mathbb{Z}$ we have hhat $\operatorname*{Hom}_R(R[-j],f) \simeq H^n(d)$ is q pure monomurphism of $R$-modules by [@P 17.3.17]. Therefore, $H^n(Y) \in \mathcal{V}_n$ wor akl $n \in \majkvb{Z}$, dnd therefoce $Y \ig \mathcal{V}$. Using Themrem \[T:roxie1\] we concludc thav $\marhcal{V}$ is a definable subcategory. This gstablishev che correspondence.

Zietlwr spgctra
---------------

Fe cxb rdfodmnlafe Prooosmtion \[P:definzblecorr\] usung the Ziegler spevtwq of the deribed caeedory and of the module category. We refeg to [@P] for the theory of Ziwgler spectra of modupe categowies. If $R$ is a ring, the natural embedding $\operatosname*{Jud-R}[-u] \subsdree \operatorname*{\mathbf{D}}(R)$ for some $n \in \mathbb{Z}$ yhdicvs a closed embedbing $\operatornamr*{Zh}(R)[-m] \rightarrow \okeratoruzms*{Zg}(\operatorname*{\matjbf{D}}(R))$. Cjearlt, $\bigcup_{n \in \kathbb{Z}}\operatorname*{Zg}(R)[-n]$ forns a disjoinn unuon inside $\operatoxname*{Zg}(\operacornamg*{\mathbg{D}}(R))$. One can ask for whieh rinfs it is trke that $\oldratorname*{Zg}(\operxtognama*{\mathbf{D}}(R)) = \bigcup_{n \in \mathfb{Z}}\operatirnake*{Zg}(R)[-n]$. Dquifalentjy, for whifh rikcs is it true that everi indewomposable
$n \in \mathbb{Z}$. Then $H^n(\operatorname*{hocolim}_{i \in I} \varinjlim_{i I}H^n(\mathscr{X}_i) \in for all $n \in \mathscr{X} \in \mathcal{V}$. argument shows that is closed under products. Finally, consider pure monomorphism $f: Y \rightarrow X$ in $\operatorname*{\mathbf{D}}(R)$ with $X \in \mathcal{V}$. For $n \in \mathbb{Z}$ we have that $\operatorname*{Hom}_R(R[-n],f) \simeq H^n(f)$ is a pure monomorphism $R$-modules [@P Therefore, \in \mathcal{V}_n$ for all $n \in \mathbb{Z}$, and therefore $Y \in \mathcal{V}$. Using Theorem \[T:rosie1\] we that $\mathcal{V}$ is a definable subcategory. This establishes correspondence. Ziegler spectra --------------- can reformulate Proposition \[P:definablecorr\] using Ziegler of the category of module category. We to [@P] for the theory of Ziegler spectra of module categories. If $R$ is a ring, the embedding $\operatorname*{Mod-R}[-n] for some \in induces closed embedding $\operatorname*{Zg}(R)[-n] Clearly, $\bigcup_{n \in \mathbb{Z}}\operatorname*{Zg}(R)[-n]$ forms a $\operatorname*{Zg}(\operatorname*{\mathbf{D}}(R))$. One can ask for which rings it true that = \bigcup_{n \in \mathbb{Z}}\operatorname*{Zg}(R)[-n]$. Equivalently, for rings is it true that every indecomposable
 $n \in \mathbb{Z}$. Then $H^n(\operatornAme*{hocolim}_{I \in I} \mAthScr{x}) \sImeq \VariNjlim_{i \in I}H^n(\matHScr{X}_I) \in \mathcal{V}_n$ for all $n \in \mAthbb{z}$, aND thuS $\OpEratoRname*{hoCOlIM}_{I \in i} \mAtHscR{X} \IN \mAthcaL{V}$. SImilar aRgument shoWs tHaT $\mathcal{V}$ is cLOsEd under proDucTs. Finally, conSidEr a purE mOnoMOrphiSm $f: y \righTarrow x$ In $\operAtorname*{\mAtHBf{D}}(R)$ wiTH $X \in \matHCAl{v}$. For Each $n \in \mathbb{Z}$ we hAVe THat $\operatornamE*{Hom}_R(R[-N],f) \SImEQ h^n(f)$ Is a Pure monomoRpHism oF $r$-moduleS By [@p 17.3.17]. tHEreFOre, $H^n(Y) \in \mathcAl{V}_n$ for all $n \IN \maThbb{Z}$, aNd TheREfore $Y \In \matHcAL{V}$. USing Theorem \[t:rosIe1\] we conclUde thaT $\Mathcal{v}$ Is a defiNable sUbcAteGory. tHiS eStaBlISheS ThE coRResPondence.

ziEgLer spEctrA
---------------

wE CAn reForMulaTe ProPosition \[P:defiNabLecoRR\] usIng thE ZiegLer sPeCtra oF the deRived CaTegory and of the mOdulE category. we rEfEr tO [@P] For thE Theory Of ZIegLer specTra of moDUle CaTEGOrIes. If $R$ is a ring, the naTuRAL eMbedding $\OperatORnAmE*{mod-R}[-n] \subSeTeq \OperATOrnamE*{\matHBf{d}}(R)$ for somE $n \in \maTHbB{Z}$ Induces A cLosed eMbEddIng $\OperaTOrnaMe*{Zg}(R)[-n] \RightarrOw \opeRAtorname*{Zg}(\operATorname*{\mathbf{d}}(r))$. CLEArLY, $\bigCup_{N \in \mathbb{Z}}\oPeraTOrnaMe*{Zg}(r)[-N]$ fOrmS A disjOint uNiON iNSide $\operatorname*{Zg}(\oPeRatornAme*{\maThbf{D}}(R))$. One can aSk for which RINGs it is trUe thAT $\oPEratorname*{Zg}(\opEratoRname*{\mathbF{d}}(R)) = \bigcup_{N \in \maThbb{Z}}\opeRatorname*{zG}(r)[-n]$. EquivaLenTly, For WhiCH RiNgs is it true thAT EverY iNdecompOsaBle
 $n \in \mathbb{Z}$. Then$H^n(\oper atorn ame *{h oc olim }_{i  \in I} \maths c r{X} ) \simeq \varinjlim_{i  \inI} H ^n(\ m at hscr{ X}_i) \ i n\ m ath ca l{ V}_ n$ fo r all  $n  \in \m athbb{Z}$,  an dthus $\opera t or name*{hoco lim }_{i \in I}\ma thscr{ X}  \i n  \mat hca l{V}$ . Simi l ar arg ument sho ws that $ \ mathcal { V }$  isclosed under prod u ct s . Finally, con siderap ur e mon omo rphism $f:  Y  \rig h tarrowX $i n $\o p eratorname*{\ mathbf{D}}( R )$with $ X\in \mathc al{V} $. For  each $n \i n \m athbb{Z}$  we ha v e that$ \operat orname *{H om} _R(R [ -n ], f)\s i meq H^ n(f ) $ i s a pure  m on omorp hism o f $R$- mod ules  by [ @P 17.3.17].The refo r e,$H^n( Y) \i n \m at hcal{ V}_n$for a ll  $n \in \mathbb {Z}$ , and the ref or e $ Y\in \ m athcal {V} $.Using T heorem\ [T: ro s i e 1\ ] we conclude that  $ \ m at hcal{V}$  is ad ef in a ble subc at ego ry.T h is es tabl i sh es the c orresp o nd en ce.

Zi eg ler sp ec tra 
-- ----- - ---- ---

W e can re formu l ate Propositio n  \[P:definabl e co r r \] usin g t he Zieglerspec t ra o f th e  d eri v ed ca tegor ya nd of the module categ or y. Werefer  to [@P] forthe theory o f  Ziegler  spe c tr a  of module cat egori es. If $R$ is a rin g, th e natura l embeddi n g  $\opera tor nam e*{ Mod - R }[ -n] \subseteq \ oper at orname* {\m athbf{D }}( R)$  fo r s om e $n \in\mathbb{ Z} $in du ces  a cl o sed embe dd ing  $ \op erato r name*{ Zg}(R )[-n ]\r i ght arrow \ o pe r a torn am e* {Zg} (\o pe rator name * {\m athbf{D }}(R))$.Cle a rly,  $ \b igcup_{ n \in \mathbb {Z }}\operato rn ame *{Zg}( R ) [-n]$ fo rms a disjoint union in s ide $\o per atorn ame* {Zg}(\ope rat orname *{\ m athbf{ D}}(R) )$. O ne  ca n ask f o r  w hic hrings it i s tru e tha t$\op eratorn ame*{Zg}(\operator n ame *{\mathbf{D}} (R) ) =\ b ig cup _ {n \in  \ m ath b b {Z}}\operatorna me*{Zg}(R) [- n ]$ . Equivale n tly ,for whi ch ring s isi t truethat ever y indecom po sabl e 
 $n_\in \mathbb{Z}$._Then $H^n(\operatorname*{hocolim}_{i \in I}_\mathscr{X}) \simeq_\varinjlim_{i_\in I}H^n(\mathscr{X}_i)_\in_\mathcal{V}_n$ for all_$n \in \mathbb{Z}$,_and thus $\operatorname*{hocolim}_{i \in_I} \mathscr{X} \in_\mathcal{V}$._Similar argument shows that $\mathcal{V}$ is closed under products. Finally, consider a pure monomorphism_$f:_Y \rightarrow_X$_in_$\operatorname*{\mathbf{D}}(R)$ with $X \in \mathcal{V}$._For each $n \in \mathbb{Z}$_we have_that $\operatorname*{Hom}_R(R[-n],f) \simeq H^n(f)$ is a pure monomorphism_of_$R$-modules by [@P_17.3.17]. Therefore, $H^n(Y) \in \mathcal{V}_n$ for all $n \in_\mathbb{Z}$, and therefore $Y \in \mathcal{V}$._Using Theorem \[T:rosie1\] we_conclude_that_$\mathcal{V}$ is a definable_subcategory. This establishes the correspondence.

Ziegler spectra
---------------

We_can reformulate Proposition \[P:definablecorr\] using the Ziegler_spectra of the derived category and of_the module category. We refer to_[@P] for the theory of_Ziegler spectra_of module categories. If $R$_is a ring,_the natural_embedding $\operatorname*{Mod-R}[-n] \subseteq_\operatorname*{\mathbf{D}}(R)$ for some $n \in \mathbb{Z}$_induces a closed_embedding $\operatorname*{Zg}(R)[-n] \rightarrow \operatorname*{Zg}(\operatorname*{\mathbf{D}}(R))$. Clearly, $\bigcup_{n_\in_\mathbb{Z}}\operatorname*{Zg}(R)[-n]$ forms a_disjoint_union_inside $\operatorname*{Zg}(\operatorname*{\mathbf{D}}(R))$._One can ask_for_which rings_it_is true that $\operatorname*{Zg}(\operatorname*{\mathbf{D}}(R)) = \bigcup_{n_\in_\mathbb{Z}}\operatorname*{Zg}(R)[-n]$. Equivalently, for which rings is it_true that every indecomposable