 ideal as a sub-object of $W$ because of the isomorphism $\mathbf{R}({\mathcal{D}}[s])\simeq\textrm{gr}^V_0(\mathbf{R}({\mathcal{D}}_{x,t})).$

### Condition for the $h$-saturation of $\mathbf{R}(\textrm{gr}^V(N))$

Let $J(f)$ be the ideal generated by $f'_1,\dots,f'_n$. Let us define a morphism of graded $\mathcal{O}$-algebras $$\varphi_f : \textrm{gr}^F({\mathcal{D}}[s])\simeq\mathcal{O}[s,\xi_1,\dots,\xi_n] \to \bigoplus_{d\geq 0} (\mathcal{O}f+J(f))^dT^d$$ by $\varphi_f (s)=fT$ and for all $i$, $\varphi_f(\xi_i)=f'_i T$. If $P(s)\in\textrm{ann}_{{\mathcal{D}}[s]}f^s$ with $\textrm{ord}^F(P(s))=d$, one sees that its $F$-symbol $\sigma(P(s))\in\textrm{ker}\,\varphi_f$ by considering the term of degree $d$ in $s$ of $P(s)f^s$ in the space $\mathcal{O}[1/f,s]f^s$. Then in general, $\textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)\subset \textrm{ker}\,\varphi_f$.

\[prop10\] Suppose $$\label{eq2.7}
\textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)=\textrm{ker}\,\varphi_f,$$ then the $W$-module $\textrm{gr}^V(\mathbf{R}({\mathcal{D}}_{x,t}f^s))$ is $h$-saturated. Consequently, the Betti numbers of $N$ are those of the module $\textrm{bigr}N$ by Corollary \[cor3\].

The condition (\[eq2.7\]) has been considered in [@narvaez09] (property (10)). It holds for a large class of hypersurface singularities, in particular for $f$ such that the ideal $\mathcal{O}f+J(f)$ is of linear type
ideal as a sub - object of $ W$ because of the isomorphism $ \mathbf{R}({\mathcal{D}}[s])\simeq\textrm{gr}^V_0(\mathbf{R}({\mathcal{D}}_{x, t})).$ 

 # # # Condition for the $ h$-saturation of $ \mathbf{R}(\textrm{gr}^V(N))$ 

 Let $ J(f)$ be the ideal generate by $ f'_1,\dots, f'_n$. lease us define a morphism of graded $ \mathcal{O}$-algebras $ $ \varphi_f: \textrm{gr}^F({\mathcal{D}}[s])\simeq\mathcal{O}[s,\xi_1,\dots,\xi_n ] \to \bigoplus_{d\geq 0 } (\mathcal{O}f+J(f))^dT^d$$ by $ \varphi_f (s)=fT$ and for all $ i$, $ \varphi_f(\xi_i)=f'_i T$. If $ P(s)\in\textrm{ann}_{{\mathcal{D}}[s]}f^s$ with $ \textrm{ord}^F(P(s))=d$, one sees that its $ F$-symbol $ \sigma(P(s))\in\textrm{ker}\,\varphi_f$ by study the term of degree $ d$ in $ s$ of $ P(s)f^s$ in the outer space $ \mathcal{O}[1 / f, s]f^s$. Then in general, $ \textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)\subset \textrm{ker}\,\varphi_f$. 

 \[prop10\ ] Suppose $ $ \label{eq2.7 } 
 \textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)=\textrm{ker}\,\varphi_f,$$ then the $ W$-module $ \textrm{gr}^V(\mathbf{R}({\mathcal{D}}_{x, t}f^s))$ is $ h$-saturated. Consequently, the Betti number of $ N$ are those of the module $ \textrm{bigr}N$ by Corollary \[cor3\ ]. 

 The condition (\[eq2.7\ ]) has been consider in [ @narvaez09 ] (property (10) ). It holds for a large class of hypersurface singularities, in particular for $ f$ such that the ideal $ \mathcal{O}f+J(f)$ is of analogue type
 idfal as a sub-object of $W$ necause of the isomorphmsm $\matgbf{R}({\mathzal{D}}[s])\simeq\textrm{gr}^V_0(\mathbf{R}({\mavhcao{D}}_{x,t})).$

### Xondition for the $h$-satjration ov $\mathbf{E}(\texurm{gr}^V(N))$

Let $J(f)$ be vge ideal genedwted uy $f'_1,\dots,f'_n$. Let os define a korphism of grdddd $\mathcal{O}$-algebras $$\varphi_f : \textrm{gr}^S({\mathcak{D}}[d])\simeq\mathcal{O}[f,\xi_1,\dpes,\xi_h] \to \bigoplus_{d\geq 0} (\mathcal{O}f+J(f))^dT^d$$ gy $\varpii_f (s)=fT$ and for all $i$, $\varphi_f(\xi_i)=f'_i T$. If $P(d)\in\tfxtrm{ann}_{{\mathcal{D}}[s]}f^d$ with $\texttj{orq}^D(P(s))=d$, one seer that its $F$-symbol $\sigja(P(s))\in\textrm{ker}\,\varphi_f$ by consiaeriny the term if dehtee $d$ in $s$ oh $P(s)f^s$ in the spacc $\mathcdl{O}[1/f,s]f^s$. Then in genersl, $\vextem{gr}^F(\textrm{ann}_{{\mathcal{V}}[s]}f^s)\subset \textrm{ker}\,\darphi_f$.

\[prmp10\] Suppose $$\label{eq2.7}
\twxrrm{gr}^X(\texdrm{avb}_{{\maghczl{V}}[s]}f^a)=\textrl{kec}\,\varphi_f,$$ thsn the $W$-modyle $\textrm{gr}^V(\mathbf{T}({\mwnncal{D}}_{x,t}f^s))$ is $h$-satuwaeed. Consequently, the Betti numbers of $N$ ars those of the module $\twxtrm{bigr}N$ by Corollaty \[cor3\].

The sondition (\[eq2.7\]) has been considered in [@narvaez09] (propesty (10)). Mt hoodf dog a large class of hypersurface singularities, jn psrticular for $n$ such that the idrap $\kwthcal{O}f+J(f)$ is of liusad type
ideal as a sub-object of $W$ because isomorphism ### Condition the $h$-saturation of ideal by $f'_1,\dots,f'_n$. Let define a morphism graded $\mathcal{O}$-algebras $$\varphi_f : \textrm{gr}^F({\mathcal{D}}[s])\simeq\mathcal{O}[s,\xi_1,\dots,\xi_n] \to 0} (\mathcal{O}f+J(f))^dT^d$$ by $\varphi_f (s)=fT$ and for all $i$, $\varphi_f(\xi_i)=f'_i T$. If $P(s)\in\textrm{ann}_{{\mathcal{D}}[s]}f^s$ $\textrm{ord}^F(P(s))=d$, one sees that its $F$-symbol $\sigma(P(s))\in\textrm{ker}\,\varphi_f$ by considering the term of degree in of in space $\mathcal{O}[1/f,s]f^s$. Then in general, $\textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)\subset \textrm{ker}\,\varphi_f$. \[prop10\] Suppose $$\label{eq2.7} \textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)=\textrm{ker}\,\varphi_f,$$ then the $W$-module $\textrm{gr}^V(\mathbf{R}({\mathcal{D}}_{x,t}f^s))$ is Consequently, the Betti numbers of $N$ are those the module $\textrm{bigr}N$ by \[cor3\]. The condition (\[eq2.7\]) has considered [@narvaez09] (property It for large class of singularities, in particular for $f$ such that the ideal $\mathcal{O}f+J(f)$ is of linear type
 ideal as a sub-object of $W$ becauSe of the isoMorphIsm $\MatHbF{R}({\maThcaL{D}}[s])\simeq\textrm{GR}^V_0(\maThbf{R}({\mathcal{D}}_{x,t})).$

### ConditiOn for ThE $H$-satURaTion oF $\mathbf{r}(\TeXTRm{gR}^V(n))$

LEt $J(F)$ bE ThE ideaL geNerated By $f'_1,\dots,f'_n$. LEt uS dEfine a morphiSM oF graded $\matHcaL{O}$-algebras $$\vaRphI_f : \textRm{Gr}^F({\MAthcaL{D}}[s])\Simeq\MathcaL{o}[s,\xi_1,\doTs,\xi_n] \to \biGoPLus_{d\geQ 0} (\Mathcal{o}F+j(f))^DT^d$$ bY $\varphi_f (s)=fT$ and for ALl $I$, $\Varphi_f(\xi_i)=f'_i T$. IF $P(s)\in\tExTRm{ANN}_{{\maThcAl{D}}[s]}f^s$ with $\TeXtrm{oRD}^F(P(s))=d$, onE SeES THat ITs $F$-symbol $\sigmA(P(s))\in\textrm{KEr}\,\vArphi_f$ By ConSIderinG the tErM Of dEgree $d$ in $s$ of $p(s)f^s$ In the spacE $\mathcAL{O}[1/f,s]f^s$. THEn in genEral, $\teXtrM{gr}^f(\texTRm{AnN}_{{\maThCAl{D}}[S]}F^s)\SubSEt \tExtrm{ker}\,\VaRpHi_f$.

\[prOp10\] SuPPOSE $$\labEl{eQ2.7}
\texTrm{gr}^f(\textrm{ann}_{{\matHcaL{D}}[s]}f^S)=\TexTrm{keR}\,\varpHi_f,$$ tHeN the $W$-Module $\TextrM{gR}^V(\mathbf{R}({\mathcaL{D}}_{x,t}F^s))$ is $h$-satuRatEd. conSeQuentLY, the BeTti NumBers of $N$ Are thosE Of tHe MODUlE $\textrm{bigr}N$ by CoroLlARY \[cOr3\].

The conDition (\[EQ2.7\]) hAs BEen consiDeRed In [@naRVAez09] (prOperTY (10)). IT holds foR a largE ClAsS of hypeRsUrface SiNguLarIties, IN parTiculaR for $f$ sucH that THe ideal $\mathcal{o}F+J(f)$ is of linear TYpE
 ideal as a sub-object of$W$ becaus e ofthe  is om orph ism$\mathbf{R}({\ m athc al{D}}[s])\simeq\textr m{gr} ^V _ 0(\m a th bf{R} ({\math c al { D }}_ {x ,t })) .$ 
# ## Co ndi tion fo r the $h$- sat ur ation of $\m a th bf{R}(\tex trm {gr}^V(N))$
Le t $J(f )$  be the i dea l gen erated by $f' _1,\dots, f' _ n$. Le t  us def i n ea mo rphism of graded$ \m a thcal{O}$-alge bras $ $\ v ar p h i_f  :\textrm{gr }^ F({\m a thcal{D } }[ s ] ) \si m eq\mathcal{O} [s,\xi_1,\d o ts, \xi_n]  \ to\ bigopl us_{d \g e q 0 } (\mathcal {O}f +J(f))^dT ^d$$ b y  $\varp h i_f (s) =fT$ a ndfor  all $i $,  $\ va r phi _ f( \xi _ i)= f'_i T$.  I f$P(s) \in\ t e x t rm{a nn} _{{\ mathc al{D}}[s]}f^s $ w ith$ \te xtrm{ ord}^ F(P( s) )=d$,  one s ees t ha t its $F$-symbo l $\ sigma(P(s ))\ in \te xt rm{ke r }\,\va rph i_f $ by co nsideri n g t he t e rm  of degree $d$ in$s $ of  $P(s)f^ s$ int he  s p ace $\ma th cal {O}[ 1 / f,s]f ^s$. Th en in ge neral, $\ te xtrm{gr }^ F(\tex tr m{a nn} _{{\m a thca l{D}}[ s]}f^s)\ subse t  \textrm{ker}\ , \varphi_f$.
\ [p r o p1 0 \] S upp ose $$\labe l{eq 2 .7}\tex t rm {gr } ^F(\t extrm {a n n} _ {{\mathcal{D}}[s]}f ^s )=\tex trm{k er}\,\varphi_ f,$$ thent h e  $W$-mod ule$ \t e xtrm{gr}^V(\ma thbf{ R}({\mathc a l{D}}_{x ,t}f^ s))$ is$h$-satur a t ed. Cons equ ent ly,  th e Be tti numbers o f $N$ar e those  of  the mo dul e $ \te xtr m{ bigr}N$ b y Coroll ar y\[ co r3\ ].

T h e condit io n ( \[ eq2 .7\]) has be en co nsid er ed in[@narva e z0 9 ]  (pr op er ty ( 10) ).  It h olds for  a larg e class o f h y pers ur fa ce sing ularities, in  p articularfo r $ f$ suc h that the  ideal $\mathcal{O}f+J( f )$ is o f l inear  typ e
 ideal_as a_sub-object of $W$ because_of the_isomorphism_$\mathbf{R}({\mathcal{D}}[s])\simeq\textrm{gr}^V_0(\mathbf{R}({\mathcal{D}}_{x,t})).$

### Condition_for_the $h$-saturation of_$\mathbf{R}(\textrm{gr}^V(N))$

Let $J(f)$ be_the ideal generated by_$f'_1,\dots,f'_n$. Let us_define_a morphism of graded $\mathcal{O}$-algebras $$\varphi_f : \textrm{gr}^F({\mathcal{D}}[s])\simeq\mathcal{O}[s,\xi_1,\dots,\xi_n] \to \bigoplus_{d\geq 0} (\mathcal{O}f+J(f))^dT^d$$ by $\varphi_f_(s)=fT$_and for_all_$i$,_$\varphi_f(\xi_i)=f'_i T$. If $P(s)\in\textrm{ann}_{{\mathcal{D}}[s]}f^s$ with_$\textrm{ord}^F(P(s))=d$, one sees that its_$F$-symbol $\sigma(P(s))\in\textrm{ker}\,\varphi_f$_by considering the term of degree $d$ in_$s$_of $P(s)f^s$ in_the space $\mathcal{O}[1/f,s]f^s$. Then in general, $\textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)\subset \textrm{ker}\,\varphi_f$.

\[prop10\] Suppose_$$\label{eq2.7}
\textrm{gr}^F(\textrm{ann}_{{\mathcal{D}}[s]}f^s)=\textrm{ker}\,\varphi_f,$$ then the $W$-module $\textrm{gr}^V(\mathbf{R}({\mathcal{D}}_{x,t}f^s))$ is_$h$-saturated. Consequently, the_Betti_numbers_of $N$ are those_of the module $\textrm{bigr}N$ by Corollary_\[cor3\].

The condition (\[eq2.7\]) has been considered_in [@narvaez09] (property (10)). It holds for_a large class of hypersurface singularities,_in particular for $f$ such_that the_ideal $\mathcal{O}f+J(f)$ is of linear_type