{p}}}$ belongs to $(\mathcal{V}_{\operatorname*{\mathfrak{p}}})_n \subseteq \mathcal{V}_n$, again using Lemma \[L:local\] for the last inclusion. The natural map $\iota: M \rightarrow \prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)}M_{\operatorname*{\mathfrak{p}}}$ is a monomorphism. Since $R \rightarrow R_{\operatorname*{\mathfrak{p}}}$ is a flat ring epimorphism, the injective envelope $E(M_{\operatorname*{\mathfrak{p}}})$ in $\operatorname*{Mod-R_{\operatorname*{\mathfrak{p}}}}$ is an injective $R$-module. Therefore, we can use the injectivity to extend $\iota$ to a map $\varphi: E \rightarrow \prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}})$. As $\varphi$ extends $\iota$, and $M$ is essential in $E$, it follows that $\varphi$ is a monomorphism. Therefore, $E$ is a direct summand in $\prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}})$. But $\prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}}) \in \mathcal{V}_n$, and thus $E \in \mathcal{V}_n$.

The converse implication follows again from [@BS Theorem 7.2].

Homological ring epimorphisms versus density {#S:nondense}
============================================

Let $R$ be a valuation domain and $\mathbb{X}=(\mathcal{X}_n \mid n \in \mathbb{Z})$ an admissible filtration in $\operatorname*{Spec}(R)$. We call such a sequence [non-dense]{} if the admissible system $\mathcal{X}_n$ is non-dense for all $n \in \mathbb{Z}$. Note that $\mathbb{X}$ is a non-dense admissible filtration if and only if it is just a nested sequence of non-dense admissible systems.

The aim is to show that the coaisles corresponding to non-dense admissible filtrations via Theorem \[T02\] are precisely those arising from a chain of homological epimorphisms via Proposition \[P:construction\]. The
{ p}}}$ belongs to $ (\mathcal{V}_{\operatorname*{\mathfrak{p}}})_n \subseteq \mathcal{V}_n$, again using Lemma   \[L: local\ ] for the last inclusion. The lifelike function $ \iota: M \rightarrow \prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)}M_{\operatorname*{\mathfrak{p}}}$ is a monomorphism. Since $ roentgen \rightarrow R_{\operatorname*{\mathfrak{p}}}$ is a flat ring epimorphism, the injective envelope $ E(M_{\operatorname*{\mathfrak{p}}})$ in $ \operatorname*{Mod - R_{\operatorname*{\mathfrak{p}}}}$ is an injective $ R$-module. consequently, we can use the injectivity to extend $ \iota$ to a map $ \varphi: E \rightarrow \prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R) } E(M_{\operatorname*{\mathfrak{p}}})$. As $ \varphi$ widen $ \iota$, and $ M$ is essential in $ E$, it follows that $ \varphi$ is a monomorphism. Therefore, $ E$ is a direct summand in $ \prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R) } E(M_{\operatorname*{\mathfrak{p}}})$. But $ \prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R) } E(M_{\operatorname*{\mathfrak{p } } }) \in \mathcal{V}_n$, and thus $ east \in \mathcal{V}_n$. 

 The converse implication follows again from [ @BS Theorem 7.2 ]. 

 homologic ring epimorphisms versus density { # south: nondense } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let $ R$ be a valuation sphere and $ \mathbb{X}=(\mathcal{X}_n \mid n \in \mathbb{Z})$ an admissible filtration in $ \operatorname*{Spec}(R)$. We call such a sequence [ non - dense ] { } if the admissible system $ \mathcal{X}_n$ is non - dense for all $ normality \in \mathbb{Z}$. Note that $ \mathbb{X}$ is a non - dense admissible filtration if and only if it is just a nested succession of non - dense admissible systems. 

 The bearing is to show that the coaisles corresponding to non - dense admissible filtrations via Theorem   \[T02\ ] are precisely those get up from a chain of homological epimorphisms via Proposition   \[P: construction\ ]. The
{p}}}$ bflongs to $(\mathcal{V}_{\operaturname*{\mathfrak{p}}})_u \subseveq \matgcal{V}_n$, aeain using Lemma \[L:local\] for tie lqst ibclusion. The natural mxp $\iota: M \rightareow \krod_{\operatorname*{\mefhfrak{p}}\lu \opedwtoruane*{Spec}(R)}M_{\operatprname*{\mathxrak{p}}}$ is a monmmur'hism. Since $R \rightarrow R_{\operatornaie*{\mathftan{p}}}$ is a flat ryng tpiiorpgpsn, the injective envelope $E(M_{\opsratorneme*{\mathfrak{p}}})$ in $\operatorname*{Mod-R_{\operatornwme*{\mwthfrak{p}}}}$ is an injfctive $R$-modome. Eyerefore, we zan use tht nnjectivity to extend $\iota$ to a map $\varphi: E \riyhtarrow \prid_{\ipegdtorname*{\matifrak{p}}\pn \operatorname*{Spec}(R)} A(M_{\operayorname*{\mathfral{p}}})$. Es $\vqrphi$ extends $\iota$, anv $M$ is essential in $G$, it follofs that $\varphi$ is a minomotphisk. Thdeefure, $E$ ia a digecv summand ih $\prod_{\operarorname*{\mathfrak{p}}\in \ppqgstorname*{Spec}(D)} E(M_{\opqrwtorname*{\mathfrak{p}}})$. But $\prod_{\operatorname*{\mdthrrak{p}}\in \operatorname*{Spex}(R)} E(M_{\operatorname*{\mathvrak{p}}}) \in \iathcal{V}_n$, and thus $E \in \mathcal{V}_n$.

The converse impnicatmov filjuqs again from [@BS Theorem 7.2].

Homological ring epimowlhosks versus denslty {#S:nondense}
============================================

Let $R$ bf s valuation dooain aus $\jathbb{X}=(\mathcal{X}_n \mld n \in \mathvb{Z})$ an adiissoble filtration in $\operatorbame*{Spec}(R)$. We xall such a sequenee [non-dense]{} nf the admixsible system $\mathcal{X}_n$ is hon-dense fog all $n \ih \mathbb{Z}$. Note thxt $\kadhbb{X}$ is a non-dense admissyble filtcatiou if and onli if it is just a nestcg sequence of non-dfnse cdmisvible systfms.

The aim is to show that the rpaisles corrgspmndpng to nou-dense admissible fyltrations via Theorei \[T02\] ard preciselj those acising from w chain of hokllogical epikorphismf viq Pripositiuv \[P:construction\]. The
{p}}}$ belongs to $(\mathcal{V}_{\operatorname*{\mathfrak{p}}})_n \subseteq \mathcal{V}_n$, again \[L:local\] the last The natural map is monomorphism. Since $R R_{\operatorname*{\mathfrak{p}}}$ is a ring epimorphism, the injective envelope $E(M_{\operatorname*{\mathfrak{p}}})$ $\operatorname*{Mod-R_{\operatorname*{\mathfrak{p}}}}$ is an injective $R$-module. Therefore, we can use the injectivity to extend to a map $\varphi: E \rightarrow \prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}})$. As $\varphi$ extends $\iota$, $M$ essential $E$, follows that $\varphi$ is a monomorphism. Therefore, $E$ is a direct summand in $\prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}})$. $\prod_{\operatorname*{\mathfrak{p}}\in \operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}}) \in \mathcal{V}_n$, and thus $E \mathcal{V}_n$. The converse implication again from [@BS Theorem 7.2]. ring versus density ============================================ $R$ a valuation domain $\mathbb{X}=(\mathcal{X}_n \mid n \in \mathbb{Z})$ an admissible filtration in $\operatorname*{Spec}(R)$. We call such a sequence [non-dense]{} if admissible system non-dense for $n \mathbb{Z}$. that $\mathbb{X}$ is admissible filtration if and only if a nested sequence of non-dense admissible systems. The is to that the coaisles corresponding to non-dense filtrations via Theorem \[T02\] are precisely those arising a chain of homological epimorphisms via Proposition \[P:construction\]. The
{p}}}$ belongs to $(\mathcal{V}_{\operatoRname*{\mathfRak{p}}})_n \SubSetEq \MathCal{V}_N$, again using LemMA \[L:loCal\] for the last inclusion. the naTuRAl maP $\IoTa: M \riGhtarroW \PrOD_{\OpeRaToRnaMe*{\MAtHfrak{P}}\in \OperatoRname*{Spec}(R)}m_{\opErAtorname*{\mathFRaK{p}}}$ is a monomOrpHism. Since $R \riGhtArrow R_{\OpEraTOrnamE*{\maThfraK{p}}}$ is a fLAt ring EpimorphiSm, THe injeCTive envELOpE $E(M_{\oPeratorname*{\mathfrAK{p}}})$ IN $\operatorname*{MOd-R_{\opeRaTOrNAMe*{\mAthFrak{p}}}}$ is an iNjEctivE $r$-module. tHeREFOre, WE can use the injEctivity to eXTenD $\iota$ tO a Map $\VArphi: E \RightArROw \pRod_{\operatorName*{\Mathfrak{p}}\In \operATorname*{sPec}(R)} E(M_{\oPeratoRnaMe*{\mAthfRAk{P}}})$. AS $\vaRpHI$ exTEnDs $\iOTa$, aNd $M$ is essEnTiAl in $E$, It foLLOWS thaT $\vaRphi$ Is a moNomorphism. TheRefOre, $E$ IS a dIrect SummaNd in $\PrOd_{\opeRatornAme*{\maThFrak{p}}\in \operatorName*{spec}(R)} E(M_{\opEraToRnaMe*{\MathfRAk{p}}})$. But $\ProD_{\opEratornAme*{\mathFRak{P}}\iN \OPErAtorname*{Spec}(R)} E(M_{\opeRaTORnAme*{\mathfRak{p}}}) \in \MAtHcAL{V}_n$, and thUs $e \in \MathCAL{V}_n$.

ThE conVErSe implicAtion fOLlOwS again fRoM [@BS TheOrEm 7.2].

HOmoLogicAL rinG epimoRphisms vErsus DEnsity {#S:nondensE}
============================================

let $R$ be a valuatIOn DOMaIN and $\MatHbb{X}=(\mathcal{x}_n \miD N \in \mAthbB{z})$ aN adMIssibLe filTrATiON in $\operatorname*{Spec}(r)$. WE call sUch a sEquence [non-denSe]{} if the admISSIble systEm $\maTHcAL{X}_n$ is non-dense fOr all $N \in \mathbb{Z}$. nOte that $\mAthbb{x}$ is a non-dEnse admisSIBle filtrAtiOn iF anD onLY If It is just a nestED SequEnCe of non-DenSe admisSibLe sYstEms.

thE aim is to sHow that tHe CoAiSlEs cOrresPOnding to NoN-deNsE adMissiBLe filtRatioNs viA THeORem \[t02\] are preCIsELY thoSe ArIsinG frOm A chaiN of hOMolOgical ePimorphisMs vIA ProPoSiTion \[P:coNstruction\]. The
{p}}}$ belongs to $(\mathc al{V}_{\op erato rna me* {\ math frak {p}}})_n \subs e teq\mathcal{V}_n$, againusing  L e mma\ [L :loca l\] for th e las tin clu si o n.  Thenat ural ma p $\iota:M \ ri ghtarrow \pr o d_ {\operator nam e*{\mathfrak {p} }\in \ op era t ornam e*{ Spec} (R)}M_ { \opera torname*{ \m a thfrak { p}}}$ i s amono morphism. Since $ R  \ r ightarrow R_{\ operat or n am e * {\m ath frak{p}}}$  i s a f l at ring ep i m o rph i sm, the injec tive envelo p e $ E(M_{\ op era t orname *{\ma th f rak {p}}})$ in$\op eratornam e*{Mod - R_{\ope r atornam e*{\ma thf rak {p}} } }$  i s a ni nje c ti ve$ R$- module.Th er efore , we c a n  use  th e in jecti vity to exten d $ \iot a $ t o a m ap $\ varp hi : E \ righta rrow\p rod_{\operatorn ame* {\mathfra k{p }} \in  \ opera t orname *{S pec }(R)} E (M_{\op e rat or n a m e* {\mathfrak{p}}})$.  A s $\ varphi$extend s  $ \i o ta$, and  $ M$is e s s entia l in $E $, it fo llowst ha t$\varph i$  is amo nom orp hism. Ther efore,  $E$ isa dir e ct summand in$ \prod_{\opera t or n a me * {\ma thf rak{p}}\in\ope r ator name * {S pec } (R)}E(M_{ \o p er a torname*{\mathfrak{ p} }})$.But $ \prod_{\opera torname*{\ m a t hfrak{p} }\in \o p eratorname*{Sp ec}(R )} E(M_{\o p eratorna me*{\ mathfrak {p}}}) \i n \mathcal {V} _n$ , a ndt h us  $E \in \math c a l{V} _n $.

The  co nverseimp lic ati onfo llows aga in from[@ BS  T he ore m 7.2 ] .

Homol og ica lrin g epi m orphis ms ve rsus  d en s ity  {#S:no n de n s e}
= == == ==== === == ===== ==== = === ======= ========= =
L et $ R$  b e a val uation domain  a nd $\mathb b{ X}= (\math c a l{X}_n \ mid n \in \mathbb{Z})$a n admis sib le fi ltra tion in $ \op erator nam e *{Spec }(R)$.  We c al l s u c h a s e q ue nce  [ non-dense] { }  if  thead miss ible sy stem $\mathcal{X}_ n $ i s non-dense f orall$ n  \ in\ ma t hbb {Z } $.N o te that $\mathb b{X}$ is a  n o n- dense admi s sib le  filtra tion if  ando nly ifit is jus t a neste dsequ e n ceof non-den se admis sible sys t ems.Th e aim  is  to sh ow  th at th e coai s les  corr espond in g to n on-de ns e admiss ible filtrations via Th eorem\[T02 \]are preci sel y  th ose arisi ng f rom a chai n o f h omolo gic a l epi morp h is msv ia Pr opos i tion \[P: c on str u c ti on\]. The
{p}}}$ belongs_to $(\mathcal{V}_{\operatorname*{\mathfrak{p}}})_n_\subseteq \mathcal{V}_n$, again using_Lemma \[L:local\] for_the_last inclusion._The_natural map $\iota:_M \rightarrow \prod_{\operatorname*{\mathfrak{p}}\in_\operatorname*{Spec}(R)}M_{\operatorname*{\mathfrak{p}}}$ is a monomorphism._Since $R \rightarrow_R_{\operatorname*{\mathfrak{p}}}$_is a flat ring epimorphism, the injective envelope $E(M_{\operatorname*{\mathfrak{p}}})$ in $\operatorname*{Mod-R_{\operatorname*{\mathfrak{p}}}}$ is an injective_$R$-module._Therefore, we_can_use_the injectivity to extend $\iota$_to a map $\varphi: E_\rightarrow \prod_{\operatorname*{\mathfrak{p}}\in_\operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}})$. As $\varphi$ extends $\iota$, and $M$_is_essential in $E$,_it follows that $\varphi$ is a monomorphism. Therefore, $E$_is a direct summand in $\prod_{\operatorname*{\mathfrak{p}}\in_\operatorname*{Spec}(R)} E(M_{\operatorname*{\mathfrak{p}}})$. But_$\prod_{\operatorname*{\mathfrak{p}}\in_\operatorname*{Spec}(R)}_E(M_{\operatorname*{\mathfrak{p}}}) \in \mathcal{V}_n$, and_thus $E \in \mathcal{V}_n$.

The converse implication_follows again from [@BS Theorem 7.2].

Homological_ring epimorphisms versus density {#S:nondense}
============================================

Let $R$ be_a valuation domain and $\mathbb{X}=(\mathcal{X}_n \mid_n \in \mathbb{Z})$ an admissible_filtration in_$\operatorname*{Spec}(R)$. We call such a_sequence [non-dense]{} if_the admissible_system $\mathcal{X}_n$ is_non-dense for all $n \in \mathbb{Z}$._Note that $\mathbb{X}$_is a non-dense admissible filtration if_and_only if it_is_just_a nested_sequence of non-dense_admissible_systems.

The aim_is_to show that the coaisles corresponding_to_non-dense admissible filtrations via Theorem \[T02\] are precisely_those arising from a_chain_of homological epimorphisms via_Proposition \[P:construction\]. The