) = l(I)$ for each $n \geq 1$. Local cohomology commutes with the Veronese functor, cf. [@HMc 2.5]. In [@Pu3 2.8] it is proved that ${\operatorname{depth}}F(I^n)$ is constant for all $n \gg 0$. We prove

\[veronese-th\] Let $(A,{\mathfrak{m} })$ be a local ring with infinite residue field and let $I$ be an ideal with $s = l(I) > 0$. Then

1.  ${\operatorname{depth}}F(I^n) > 0$ for all $n \gg 0$.

2.  There exists a minimal reduction $J = (x_1,\ldots,x_s)$ of $I$ such that $(x_1^n)^\circ$ is $F(I^n)$ regular for all $n \gg 0$.

\(1) Set $E = H^{0}_{F(I)_+}(F(I))$. Clearly $\ell(E) < \infty$. Say $E = \bigoplus_{i = 0}^{r}E_i$. Notice $E$ is an ideal of $F(I)$ with finite length. If $E_0 \neq 0$ then $1_{F(I)} \in E$. So $E = F(I)$ will have finite length, a contradiction since $\dim F(I) = l(I) \geq 1$. Therefore $E_0 = 0$ and as a consequence we have $$H^{0}_{F(I^n)_+} F(I^n) =  \left( H^{0}_{F(I)_+}(F(I) \right)^{<n>} = 0  \quad \text{for all} \ \ n > r.$$ Thus ${\operatorname{depth}}F(I^n) > 0$ for all $n \gg 0$.

\(2) By [@TrungProc 3.8] we get that there exists a minimal reduction $J = (x_1,\ldots, x_s)$ of $I$ such that $x_1^\circ, \ldots, x_s^\circ \in F(I)_1$ is a $F(I)$-filter regular sequence. Set $x = x_1$. Since $x^\circ$ is $F(I)$-
) = l(I)$ for each $ n \geq 1$. Local cohomology commutes with the Veronese functor, cf. [ @HMc 2.5 ]. In [ @Pu3 2.8 ] it is proved that $ { \operatorname{depth}}F(I^n)$ is changeless for all $ newton \gg 0$. We prove 

 \[veronese - th\ ] Let $ (A,{\mathfrak{m } }) $ be a local ring with countless residue field and let $ I$ be an ideal with $ s = l(I) > 0$. Then 

 1.   $ { \operatorname{depth}}F(I^n) > 0 $ for all $ n \gg 0$. 

 2.   There exist a minimal reduction $ J = (x_1,\ldots, x_s)$ of $ I$ such that $ (x_1^n)^\circ$ is $ F(I^n)$ regular for all $ nitrogen \gg 0$. 

 \(1) Set $ E = H^{0}_{F(I)_+}(F(I))$. distinctly $ \ell(E) < \infty$. Say $ E = \bigoplus_{i = 0}^{r}E_i$. poster $ E$ is an ideal of $ F(I)$ with finite duration. If $ E_0 \neq 0 $ then $ 1_{F(I) } \in E$. So $ E = F(I)$ will have finite length, a contradiction since $ \dim F(I) = l(I) \geq 1$. Therefore $ E_0 = 0 $ and as a consequence we have $ $ H^{0}_{F(I^n)_+ } F(I^n) =   \left (H^{0}_{F(I)_+}(F(I) \right)^{<n > } = 0   \quad \text{for all } \ \ n > r.$$ therefore $ { \operatorname{depth}}F(I^n) > 0 $ for all $ n \gg 0$. 

 \(2) By [ @TrungProc 3.8 ] we get that there exists a minimal decrease $ J = (x_1,\ldots, x_s)$ of $ I$ such that $ x_1^\circ, \ldots, x_s^\circ \in F(I)_1 $ is a $ F(I)$-filter regular sequence. Set $ x = x_1$. Since $ x^\circ$ is $ F(I)$-
) = l(L)$ for each $n \geq 1$. Local gohomology commujew with the Vsronese wunctor, cf. [@HMc 2.5]. In [@Pu3 2.8] it is peoved that ${\operatorname{deptf}}F(I^n)$ is clnstant dor ell $n \gg 0$. We prots

\[veronese-th\] Lsb $(A,{\machhrak{m} })$ be a locsl ring widh infinite reviauz field and let $I$ be an ideal with $s = l(I) > 0$. Yhfn

1.  ${\operatornaie{dekth}}S(I^n) > 0$ for all $n \gg 0$.

2.  There exists a mihimal rtduction $J = (x_1,\ldots,c_s)$ of $I$ such that $(x_1^n)^\circ$ id $F(I^j)$ regular for all $j \gg 0$.

\(1) Set $E = H^{0}_{F(Y)_+}(D(I))$. Clearly $\eul(E) < \infty$. Say $E = \bigoklus_{i = 0}^{r}E_i$. Notice $E$ is an ideal uf $F(I)$ with finijz lejcth. If $E_0 \new 0$ thvn $1_{F(I)} \in E$. So $E = F(I)$ whll havr finite lengtm, a cmnteadiction since $\dim F(M) = l(I) \geq 1$. Therefore $E_0 = 0$ and ds a consequence we hqve $$H^{0}_{X(I^n)_+} X(I^n) =  \lewt( G^{0}_{F(M)_+}(F(I) \right)^{<j>} = 0  \quad \texf{for all} \ \ b > r.$$ Thus ${\operatornsmq{eepth}}F(I^n) > 0$ fod all $g \dg 0$.

\(2) By [@TrungProc 3.8] we get that there exivts a minimal reduction $J = (x_1,\ldots, x_s)$ of $I$ such jhat $x_1^\circ, \ldots, x_s^\circ \in F(I)_1$ is a $F(I)$-filter regular sequenca. Set $b = r_1$. Sincd $x^\firc$ is $F(I)$-
) = l(I)$ for each $n \geq cohomology with the functor, cf. [@HMc is that ${\operatorname{depth}}F(I^n)$ is for all $n 0$. We prove \[veronese-th\] Let $(A,{\mathfrak{m} be a local ring with infinite residue field and let $I$ be an with $s = l(I) > 0$. Then 1. ${\operatorname{depth}}F(I^n) > 0$ for all \gg 2. exists minimal reduction $J = (x_1,\ldots,x_s)$ of $I$ such that $(x_1^n)^\circ$ is $F(I^n)$ regular for all $n 0$. \(1) Set $E = H^{0}_{F(I)_+}(F(I))$. Clearly $\ell(E) \infty$. Say $E = = 0}^{r}E_i$. Notice $E$ is ideal $F(I)$ with length. $E_0 0$ then $1_{F(I)} E$. So $E = F(I)$ will have finite length, a contradiction since $\dim F(I) = l(I) \geq Therefore $E_0 and as consequence have F(I^n) = \left( = 0 \quad \text{for all} \ r.$$ Thus ${\operatorname{depth}}F(I^n) > 0$ for all $n 0$. \(2) [@TrungProc 3.8] we get that there a minimal reduction $J = (x_1,\ldots, x_s)$ of such that $x_1^\circ, \ldots, x_s^\circ \in F(I)_1$ is a $F(I)$-filter regular sequence. Set $x = $x^\circ$ is $F(I)$-
) = l(I)$ for each $n \geq 1$. Local cohomolOgy commuteS with The verOnEse fUnctOr, cf. [@HMc 2.5]. In [@Pu3 2.8] it iS ProvEd that ${\operatorname{deptH}}F(I^n)$ iS cONstaNT fOr all $N \gg 0$. We prOVe

\[VERonEsE-tH\] LeT $(A,{\MAtHfrak{M} })$ be A local rIng with infIniTe Residue field ANd Let $I$ be an idEal With $s = l(I) > 0$. Then

1.  ${\oPerAtornaMe{DepTH}}F(I^n) > 0$ fOr aLl $n \gg 0$.

2.  there eXIsts a mInimal redUcTIon $J = (x_1,\lDOts,x_s)$ of $i$ SUcH thaT $(x_1^n)^\circ$ is $F(I^n)$ regulAR fOR all $n \gg 0$.

\(1) Set $E = H^{0}_{F(I)_+}(f(I))$. CleaRlY $\ElL(e) < \InfTy$. SAy $E = \bigopluS_{i = 0}^{R}E_i$. NoTIce $E$ is aN IdEAL Of $F(i)$ With finite lenGth. If $E_0 \neq 0$ thEN $1_{F(I)} \In E$. So $E = f(I)$ WilL Have fiNite lEnGTh, a ContradictiOn siNce $\dim F(I) = l(i) \geq 1$. ThERefore $E_0 = 0$ ANd as a coNsequeNce We hAve $$H^{0}_{f(i^n)_+} f(I^N) =  \leFt( h^{0}_{f(I)_+}(F(i) \RiGht)^{<N>} = 0  \QuaD \text{for AlL} \ \ n > R.$$ Thus ${\OperATORName{DepTh}}F(I^N) > 0$ for aLl $n \gg 0$.

\(2) By [@TrungPRoc 3.8] We geT ThaT therE exisTs a mInImal rEductiOn $J = (x_1,\lDoTs, x_s)$ of $I$ such that $X_1^\cirC, \ldots, x_s^\cIrc \In f(I)_1$ iS a $f(I)$-filTEr reguLar SeqUence. SeT $x = x_1$. SincE $X^\ciRc$ IS $f(i)$-
) = l(I)$ for each $n \geq  1$. Local  coho mol ogy  c ommu teswith the Veron e se f unctor, cf. [@HMc 2.5] . In[@ P u3 2 . 8]  it i s prove d  t h a t $ {\ op era to r na me{de pth }}F(I^n )$ is cons tan tfor all $n \ g g0$. We pro ve
\[veronese- th\ ] Let$( A,{ \ mathf rak {m} } )$ bea  local  ring wit hi nfinit e  residu e fi eldand let $I$ be an id e al with $s = l (I) >0$ .  T h e n
1. ${\operat or name{ d epth}}F ( I^ n ) > 0 $  for all $n \ gg 0$.

2.The re exi st s a minima l red uc t ion  $J = (x_1, \ldo ts,x_s)$of $I$ such th a t $(x_1 ^n)^\c irc $ i s $F ( I^ n) $ r eg u lar fo r a l l $ n \gg 0$ .
\ (1) S et $ E = H^{0 }_{ F(I) _+}(F (I))$. Clearl y $ \ell ( E)< \in fty$.  Say  $ E = \ bigopl us_{i  =  0}^{r}E_i$. No tice  $E$ is a n i de alof  $F(I ) $ with  fi nit e lengt h. If $ E _0\n e q 0$  then $1_{F(I)} \i nE $ .So $E =F(I)$w il lh ave fini te  le ngth , a con trad i ct ion sinc e $\di m  F (I ) = l(I )\geq 1 $.  Th ere fore$ E_0= 0$ a nd as aconse q uence we have$ $H^{0}_{F(I^n ) _+ } F( I ^n)= \left( H^{0 }_{F ( I)_+ }(F( I )\ri g ht)^{ <n>}=0  \ quad \text{for all}  \  \ n >  r.$$  Thus ${\oper atorname{d e p t h}}F(I^n ) >0 $f or all $n \gg0$.
\(2) By [@ T rungProc  3.8]  we getthat ther e exists a  mi nim alred u c ti on $J = (x_1, \ l dots ,x_s)$ o f $ I$ such  th at$x_ 1^\ ci rc, \ldot s, x_s^\ ci rc  \ in  F( I)_1$ is a $F( I) $-f il ter  regu l ar seq uence . Se t$x = x _1$. Si n ce $ x^\c ir c$  is$F( I) $-
) =_l(I)$ for_each $n \geq 1$._Local cohomology_commutes_with the_Veronese_functor, cf. [@HMc_2.5]. In [@Pu3_2.8] it is proved_that ${\operatorname{depth}}F(I^n)$ is_constant_for all $n \gg 0$. We prove

\[veronese-th\] Let $(A,{\mathfrak{m} })$ be a local ring_with_infinite residue_field_and_let $I$ be an ideal_with $s = l(I) >_0$. Then

1._ ${\operatorname{depth}}F(I^n) > 0$ for all $n \gg_0$.

2._ There exists_a minimal reduction $J = (x_1,\ldots,x_s)$ of $I$ such_that $(x_1^n)^\circ$ is $F(I^n)$ regular for_all $n \gg_0$.

\(1)_Set_$E = H^{0}_{F(I)_+}(F(I))$. Clearly_$\ell(E) < \infty$. Say $E =_\bigoplus_{i = 0}^{r}E_i$. Notice $E$ is_an ideal of $F(I)$ with finite length._If $E_0 \neq 0$ then $1_{F(I)}_\in E$. So $E =_F(I)$ will_have finite length, a contradiction_since $\dim F(I)_= l(I)_\geq 1$. Therefore_$E_0 = 0$ and as a_consequence we have_$$H^{0}_{F(I^n)_+} F(I^n) =  \left( H^{0}_{F(I)_+}(F(I)_\right)^{<n>}_= 0 _\quad_\text{for_all} \_\ n >_r.$$_Thus ${\operatorname{depth}}F(I^n)_>_0$ for all $n \gg 0$.

\(2)_By_[@TrungProc 3.8] we get that there exists_a minimal reduction $J_=_(x_1,\ldots, x_s)$ of $I$_such that $x_1^\circ, \ldots, x_s^\circ_\in F(I)_1$ is a $F(I)$-filter regular_sequence. Set_$x =_x_1$. Since $x^\circ$ is $F(I)$-