\[thetainjA\], respectively Proposition \[app-c-prop\] combined with Lemma \[thetainjC\], there is an equality $D_1\cdots D_r=D$ given by multiplication in $D({\mathfrak{h}^{\text{reg}}})\ast{{W}}$. Equivalently, the natural multiplication map $\chi: D_1\otimes \cdots \otimes D_r\to D$ is surjective. Consider the graded map $\chi$ in more detail. Given elements $\bar{\alpha}_j\in \operatorname{{\textsf}{ogr}}^{m(j)} D_j$, with $m = \sum m(j)$, lift the $\bar{\alpha}_j$ to elements $\alpha_j\in ord^{m(j)}C_j$. Then $\chi$ is defined by $$\chi(\bar{\alpha}_1\otimes\cdots\otimes \bar{\alpha}_r)
=\left(\alpha_1\cdots\alpha_r + \operatorname{{\textsf}{ord}}^{m - 1}C\right)/\operatorname{{\textsf}{ord}}^{m - 1}C.$$ By the definition of the $\operatorname{{\textsf}{ten}}$ filtration, this says that image of $\chi$ is contained in (and indeed equal to) $\bigoplus_{m} \bigl(\operatorname{{\textsf}{ten}}^m C + \operatorname{{\textsf}{ord}}^{m-1} C\bigr)/\operatorname{{\textsf}{ord}}^{m-1} C$. But $\chi$ is surjective. By induction on $m$ we therefore have $\operatorname{{\textsf}{ord}}^mC= \operatorname{{\textsf}{ten}}^m C + \operatorname{{\textsf}{ord}}^{m-1} C = \operatorname{{\textsf}{ten}}^m C$.

 {#ord-tens-chat}

The equality of filtrations given by Lemma \[ord-tens\] is not merely a formality; indeed the result for $B_{ij}$ is essentially the same result as Theorem \[main\]. To see this, suppose that $\operatorname{{\textsf}{ogr}}B_{ij}=\operatorname{{\textsf}{tgr}}B_{ij}$ for all $i\geq j\geq0$. As Lemma \[thetainjA\](2) shows, $\operatorname{{\textsf}{ogr}}B_{\ell+1,\ell} = A^1\delta$ for each $\ell$ and so, by Lemma \[abstract-products\](
\[thetainjA\ ], respectively Proposition   \[app - c - prop\ ] combined with Lemma   \[thetainjC\ ], there is an equality $ D_1\cdots D_r = D$ given by generation in $ D({\mathfrak{h}^{\text{reg}}})\ast{{W}}$. Equivalently, the lifelike generation map $ \chi: D_1\otimes \cdots \otimes D_r\to D$ is surjective. Consider the graded function $ \chi$ in more detail. Given elements $ \bar{\alpha}_j\in \operatorname{{\textsf}{ogr}}^{m(j) } D_j$, with $ m = \sum m(j)$, hoist the $ \bar{\alpha}_j$ to elements $ \alpha_j\in ord^{m(j)}C_j$. Then $ \chi$ is defined by $ $ \chi(\bar{\alpha}_1\otimes\cdots\otimes \bar{\alpha}_r) 
 = \left(\alpha_1\cdots\alpha_r + \operatorname{{\textsf}{ord}}^{m - 1}C\right)/\operatorname{{\textsf}{ord}}^{m - 1}C.$$ By the definition of the $ \operatorname{{\textsf}{ten}}$ filtration, this say that image of $ \chi$ is contained in (and indeed adequate to) $ \bigoplus_{m } \bigl(\operatorname{{\textsf}{ten}}^m C + \operatorname{{\textsf}{ord}}^{m-1 } C\bigr)/\operatorname{{\textsf}{ord}}^{m-1 } C$. But $ \chi$ is surjective. By induction on $ m$ we therefore have $ \operatorname{{\textsf}{ord}}^mC= \operatorname{{\textsf}{ten}}^m C + \operatorname{{\textsf}{ord}}^{m-1 } C = \operatorname{{\textsf}{ten}}^m C$. 

  { # ord - ten - chat } 

 The equality of filtrations given by Lemma   \[ord - tens\ ] is not merely a formality; indeed the result for $ B_{ij}$ is essentially the like result as Theorem   \[main\ ]. To see this, suppose that $ \operatorname{{\textsf}{ogr}}B_{ij}=\operatorname{{\textsf}{tgr}}B_{ij}$ for all $ i\geq j\geq0$. As Lemma   \[thetainjA\](2) prove, $ \operatorname{{\textsf}{ogr}}B_{\ell+1,\ell } = A^1\delta$ for each $ \ell$ and so, by Lemma   \[abstract - products\ ] (
\[thehainjA\], respectively Propusition \[app-c-prop\] combinxd with Lemma \[thdtainjC\], there is an equality $D_1\xdots D_r=D$ given by multiplization in $D({\mathfrqk{h}^{\ttxt{reg}}})\ast{{W}}$. Equivalently, tmz nathval mblviplication map $\chi: D_1\otimas \cdots \otimev A_r\co D$ is surjective. Consider the gradqd map $\vhl$ in more detayl. Gpvqn emvmtnts $\bar{\alpha}_j\in \operatorname{{\textaf}{ogr}}^{m(j)} D_j$, with $m = \sim m(j)$, lift the $\bar{\alpha}_j$ tl elfments $\alpha_j\in orf^{m(j)}C_j$. Then $\xhi$ yw defined by $$\chi(\bar{\alpha}_1\otimes\cdota\otimes \bar{\alpha}_r)
=\left(\alpha_1\cdots\xlpha_x + \operatorbane{{\tfftsf}{ord}}^{m - 1}C\cight)/\oieratorname{{\tewnsf}{ord}}^{m - 1}C.$$ By yhe definition of thw $\operatorname{{\textsf}{txn}}$ filtration, this swys that hmcge of $\chi$ is containwd in (atd itdeea eqjal tp) $\gigoplks_{m} \bigl(\operaforname{{\textwf}{ten}}^m C + \operatornsmq{{\nrxtsf}{ord}}^{m-1} C\bjgr)/\opewaeorname{{\textsf}{ord}}^{m-1} C$. But $\chi$ is surjectine. Bg induction on $m$ we theeefore have $\operatornwme{{\textsf}{jrd}}^mC= \operatorname{{\textsf}{ten}}^m C + \operatorname{{\textsx}{ord}}^{m-1} Z = \ipcratuenwme{{\textsf}{ten}}^m C$.

 {#ord-tens-chat}

The equality of fijfrstpons given by Lemia \[ord-tens\] ix joy merely a foroality; inseed the result fog $B_{ij}$ if esswntially uhe ssme result as Theorem \[main\]. Ti see this, slppowe that $\operatornale{{\textsf}{ogr}}Y_{ij}=\opetatornsme{{\textsf}{tgr}}B_{ij}$ for all $i\ges j\geq0$. As Lfmma \[thetajvjA\](2) shows, $\operaturnsma{{\textsf}{ogr}}B_{\ell+1,\ell} = A^1\delta$ sor each $\xll$ aud so, by Lemka \[abstwact-produchs\](
\[thetainjA\], respectively Proposition \[app-c-prop\] combined with Lemma is equality $D_1\cdots given by multiplication multiplication $\chi: D_1\otimes \cdots D_r\to D$ is Consider the graded map $\chi$ in detail. Given elements $\bar{\alpha}_j\in \operatorname{{\textsf}{ogr}}^{m(j)} D_j$, with $m = \sum m(j)$, lift the to elements $\alpha_j\in ord^{m(j)}C_j$. Then $\chi$ is defined by $$\chi(\bar{\alpha}_1\otimes\cdots\otimes \bar{\alpha}_r) =\left(\alpha_1\cdots\alpha_r + - - By definition of the $\operatorname{{\textsf}{ten}}$ filtration, this says that image of $\chi$ is contained in (and indeed to) $\bigoplus_{m} \bigl(\operatorname{{\textsf}{ten}}^m C + \operatorname{{\textsf}{ord}}^{m-1} C\bigr)/\operatorname{{\textsf}{ord}}^{m-1} C$. $\chi$ is surjective. By on $m$ we therefore have \operatorname{{\textsf}{ten}}^m + \operatorname{{\textsf}{ord}}^{m-1} = C$. The equality of given by Lemma \[ord-tens\] is not merely a formality; indeed the result for $B_{ij}$ is essentially the result as To see suppose $\operatorname{{\textsf}{ogr}}B_{ij}=\operatorname{{\textsf}{tgr}}B_{ij}$ all $i\geq j\geq0$. \[thetainjA\](2) shows, $\operatorname{{\textsf}{ogr}}B_{\ell+1,\ell} = A^1\delta$ for so, by Lemma \[abstract-products\](
\[thetainjA\], respectively PropOsition \[app-C-prop\] ComBinEd With lemmA \[thetainjC\], therE Is an Equality $D_1\cdots D_r=D$ given By mulTiPLicaTIoN in $D({\mAthfrak{H}^{\TeXT{Reg}}})\AsT{{W}}$. equIvALeNtly, tHe nAtural mUltiplicatIon MaP $\chi: D_1\otimes \cDOtS \otimes D_r\tO D$ iS surjective. COnsIder thE gRadED map $\cHi$ iN more Detail. gIven elEments $\bar{\AlPHa}_j\in \oPEratornAME{{\tExtsF}{ogr}}^{m(j)} D_j$, with $m = \sum m(J)$, LiFT the $\bar{\alpha}_j$ tO elemeNtS $\AlPHA_j\iN orD^{m(j)}C_j$. Then $\cHi$ Is defINed by $$\chI(\BaR{\ALPha}_1\OTimes\cdots\otiMes \bar{\alpha}_R)
=\LefT(\alpha_1\CdOts\ALpha_r + \oPeratOrNAme{{\Textsf}{ord}}^{m - 1}C\RighT)/\operatorName{{\teXTsf}{ord}}^{m - 1}c.$$ by the deFinitiOn oF thE $\opeRAtOrNamE{{\tEXtsF}{TeN}}$ fiLTraTion, this SaYs That iMage OF $\CHI$ is cOntAineD in (anD indeed equal tO) $\biGoplUS_{m} \bIgl(\opEratoRnamE{{\tExtsf}{Ten}}^m C + \oPeratOrName{{\textsf}{ord}}^{m-1} C\Bigr)/\OperatornAme{{\TeXtsF}{oRd}}^{m-1} C$. BUT $\chi$ is SurJecTive. By iNductioN On $m$ We THEReFore have $\operatornaMe{{\TEXtSf}{ord}}^mC= \oPeratoRNaMe{{\TExtsf}{ten}}^M C + \OpeRatoRNAme{{\teXtsf}{ORd}}^{M-1} C = \operatOrname{{\TExTsF}{ten}}^m C$.

 {#oRd-Tens-chAt}

the EquAlity OF filTratioNs given bY LemmA \[Ord-tens\] is not meREly a formality; INdEED tHE resUlt For $B_{ij}$ is essEntiALly tHe saME rEsuLT as ThEorem \[MaIN\]. TO See this, suppose that $\oPeRatornAme{{\teXtsf}{ogr}}B_{ij}=\opeRatorname{{\tEXTSf}{tgr}}B_{ij}$ For aLL $i\GEq j\geq0$. As Lemma \[tHetaiNjA\](2) shows, $\opERatornamE{{\textSf}{ogr}}B_{\elL+1,\ell} = A^1\deltA$ FOr each $\elL$ anD so, By LEmmA \[ABsTract-products\](
\[thetainjA\], respectivel y Proposit ion \ [ap p-c -p rop\ ] co mbined with Le m ma \ [thetainjC\], there is  an e qu a lity $D _1\cd ots D_r = D$ g ive nby  mu lt i pl icati onin $D({ \mathfrak{ h}^ {\ text{reg}}}) \ as t{{W}}$. E qui valently, th e n atural  m ult i plica tio n map  $\chi :  D_1\o times \cd ot s  \otim e s D_r\t o D$  issurjective. Consi d er the graded map  $\chi $i nm o redet ail. Given  e lemen t s $\bar { \a l p h a}_ j \in \operator name{{\text s f}{ ogr}}^ {m (j) }  D_j$,  with  $ m  =\sum m(j)$,  lif t the $\b ar{\al p ha}_j$t o eleme nts $\ alp ha_ j\in or d^ {m( j) } C_j $ .The n  $\ chi$ isde fi ned b y $$ \ c h i (\ba r{\ alph a}_1\ otimes\cdots\ oti mes\ bar {\alp ha}_r )
=\ le ft(\a lpha_1 \cdot s\ alpha_r + \oper ator name{{\te xts f} {or d} }^{m-  1}C\r igh t)/ \operat orname{ { \te xt s f } {o rd}}^{m - 1}C.$$ B yt h edefiniti on oft he  $ \ operator na me{ {\te x t sf}{t en}} $  f iltratio n, thi s  s ay s thatim age of  $ \ch i$is co n tain ed in(and ind eed e q ual to) $\bigo p lus_{m} \bigl ( \o p e ra t orna me{ {\textsf}{t en}} ^ m C+ \o p er ato r name{ {\tex ts f }{ o rd}}^{m-1} C\bigr)/ \o perato rname {{\textsf}{or d}}^{m-1}C $ .  But $\c hi$i ss urjective. Byinduc tion on $m $  we ther efore  have $\ operatorn a m e{{\text sf} {or d}} ^mC = \o peratorname{{ \ t exts f} {ten}}^ m C  + \ope rat orn ame {{\ te xtsf}{ord }}^{m-1}  C  =  \ op era torna m e{{\text sf }{t en }}^ m C$. 
 {#or d-ten s-ch at }The  equali t yo f  fil tr at ions  gi ve n byLemm a  \[ ord-ten s\] is no t m e rely  a  f ormalit y; indeed the  r esult for$B _{i j}$ is e ssential ly the same result as T h eorem \ [ma in\].  Tosee this,  su pposetha t  $\ope ratorn ame{{ \t ext s f }{ogr } } B_ {ij }= \operatorn a m e{{ \text sf }{tg r}}B_{i j}$ for all $i\geq j\g eq0$. As Lemm a \ [the t a in jA\ ] (2 )  sh ow s , $ \ o peratorname{{\t extsf}{ogr }} B _{ \ell+1,\el l } =  A ^1\delt a$ foreach$ \ell$ a nd so, by  Lemma \[ ab stra c t -pr oducts\](
\[thetainjA\], respectively_Proposition \[app-c-prop\] combined_with Lemma \[thetainjC\], there is_an equality_$D_1\cdots_D_r=D$ given_by_multiplication in $D({\mathfrak{h}^{\text{reg}}})\ast{{W}}$._Equivalently, the natural_multiplication map $\chi: D_1\otimes_\cdots \otimes D_r\to_D$_is surjective. Consider the graded map $\chi$ in more detail. Given elements $\bar{\alpha}_j\in \operatorname{{\textsf}{ogr}}^{m(j)}_D_j$,_with $m_=_\sum_m(j)$, lift the $\bar{\alpha}_j$ to_elements $\alpha_j\in ord^{m(j)}C_j$. Then $\chi$_is defined_by $$\chi(\bar{\alpha}_1\otimes\cdots\otimes \bar{\alpha}_r)
=\left(\alpha_1\cdots\alpha_r + \operatorname{{\textsf}{ord}}^{m - 1}C\right)/\operatorname{{\textsf}{ord}}^{m -_1}C.$$_By the definition_of the $\operatorname{{\textsf}{ten}}$ filtration, this says that image of_$\chi$ is contained in (and indeed_equal to) $\bigoplus_{m}_\bigl(\operatorname{{\textsf}{ten}}^m_C_+ \operatorname{{\textsf}{ord}}^{m-1} C\bigr)/\operatorname{{\textsf}{ord}}^{m-1} C$._But $\chi$ is surjective. By induction_on $m$ we therefore have $\operatorname{{\textsf}{ord}}^mC=_\operatorname{{\textsf}{ten}}^m C + \operatorname{{\textsf}{ord}}^{m-1} C = \operatorname{{\textsf}{ten}}^m_C$.

 {#ord-tens-chat}

The equality of filtrations given_by Lemma \[ord-tens\] is not merely_a formality;_indeed the result for $B_{ij}$_is essentially the_same result_as Theorem \[main\]. To_see this, suppose that $\operatorname{{\textsf}{ogr}}B_{ij}=\operatorname{{\textsf}{tgr}}B_{ij}$ for_all $i\geq j\geq0$._As Lemma \[thetainjA\](2) shows, $\operatorname{{\textsf}{ogr}}B_{\ell+1,\ell} = A^1\delta$_for_each $\ell$ and_so,_by_Lemma \[abstract-products\](