 that for $1\leq i\leq d$, we have $D_{c+i -\lambda_{i}} =
F_{c+i -\lambda_{i}}\oplus 0$ since $ c+i -\lambda_{i} \leq N.$ We propose to prove the equality of varieties: $$h(\Omega_{\lambda}(F.)) = \Omega_{\lambda +s}(D.).$$

a\) *The inclusion* $h(\Omega_{\lambda}(F.))\subset \Omega_{\lambda +s}(D.).$

Let $P \in \Omega_{\lambda}(F.)$ and $Q = h(P) = P \oplus 0.$ We must prove $dim(Q \cap D_{c+s+i-(\lambda_{i}+s)}) \geq i$ for $1 \leq i \leq d.$ But in this case, as has been noticed, we have $D_{c+i-\lambda_{i}} = F_{c+i-\lambda_{i}}\oplus 0.$ The desired inequality is: $$dim((P \oplus 0)\cap(F_{c+i-\lambda_{i}}\oplus 0)) \geq i$$ and it results from the very definition of $P \in \Omega_{\lambda}(F.).$\
b) *The inclusion* $h(\Omega_{\lambda}(F.))\supset \Omega_{\lambda +s}(D.).$

Let $Q \in \Omega_{\lambda +s}(D.)$, i.e. $dim(Q\cap D_{c+s+i-(\lambda_{i}+s})) \geq i $ (for $ 1 \leq i \leq d)$ or equivalently $ dim(Q \cap (F_{c+i-\lambda_{i}}\oplus 0)) \geq i. $ In particular for $i = d$, we have $ dim(Q \cap (F_{N-\lambda _{d}}\oplus 0)) \geq d.$ This implies, since $dim(Q) = d,$ the inclusion $Q \subset F_{N-\lambda _{d}} \oplus 0 \subset E \oplus 0.$ Hence there exists $P \in G_{d}(E)$ with $ Q = P \oplus 0$ and so $dim((P \oplus 0) \cap(F_{c+i-\lambda_{i}}  \oplus 0)) \geq i, $ which proves $P \in \Omega
that for $ 1\leq i\leq d$, we have $ D_{c+i -\lambda_{i } } = 
 F_{c+i -\lambda_{i}}\oplus 0 $ since $ c+i -\lambda_{i } \leq N.$ We propose to prove the equality of varieties: $ $ h(\Omega_{\lambda}(F.) ) = \Omega_{\lambda + s}(D.).$$ 

 a\) * The inclusion body * $ h(\Omega_{\lambda}(F.))\subset \Omega_{\lambda + s}(D.).$ 

 lease $ P \in \Omega_{\lambda}(F.)$ and $ Q = h(P) = P \oplus 0.$ We must prove $ dim(Q \cap D_{c+s+i-(\lambda_{i}+s) }) \geq i$ for $ 1 \leq i \leq d.$ But in this subject, as has been notice, we have $ D_{c+i-\lambda_{i } } = F_{c+i-\lambda_{i}}\oplus 0.$ The desired inequality is: $ $ dim((P \oplus 0)\cap(F_{c+i-\lambda_{i}}\oplus 0) ) \geq i$$ and it result from the very definition of $ P \in \Omega_{\lambda}(F.).$\ 
 b) * The inclusion * $ h(\Omega_{\lambda}(F.))\supset \Omega_{\lambda + s}(D.).$ 

 permit $ Q \in \Omega_{\lambda + s}(D.)$, i.e. $ dim(Q\cap D_{c+s+i-(\lambda_{i}+s }) ) \geq i $ (for $ 1 \leq i \leq d)$ or equivalently $ dim(Q \cap (F_{c+i-\lambda_{i}}\oplus 0) ) \geq i. $ In particular for $ i = d$, we have $ dim(Q \cap (F_{N-\lambda _ { d}}\oplus 0) ) \geq d.$ This implies, since $ dim(Q) = d,$ the inclusion body $ Q \subset F_{N-\lambda _ { d } } \oplus 0 \subset E \oplus 0.$ Hence there exists $ P \in G_{d}(E)$ with $ Q = phosphorus \oplus 0 $ and so $ dim((P \oplus 0) \cap(F_{c+i-\lambda_{i } }   \oplus 0) ) \geq i, $ which proves $ phosphorus \in \Omega
 thwt for $1\leq i\leq d$, we havt $D_{c+i -\lambda_{i}} =
F_{c+i -\lambda_{m}}\oplus 0$ since $ z+i -\lambda_{i} \leq N.$ We propose vo peove uke equality of variegies: $$h(\Omeha_{\lambda}(D.)) = \Onwga_{\lambda +s}(D.).$$

a\) *The luclusjln* $h(\Mnega_{\lambda}(F.))\subxet \Omega_{\ldmbda +s}(D.).$

Let $P \hn \Olega_{\lambda}(F.)$ and $Q = h(P) = P \oplus 0.$ We iust prpvf $dim(Q \cap D_{c+s+y-(\lamnqa_{i}+s)}) \geq i$ for $1 \leq i \leq d.$ But in thia case, es has been notoced, we have $D_{c+i-\lambda_{i}} = F_{f+i-\lalbda_{i}}\oplus 0.$ The dedired inequqlitr is: $$dim((P \opljs 0)\cap(F_{c+i-\lambda_{i}}\oplus 0)) \geq i$$ and it results from the xery befinition if $P \lt \Omega_{\lambva}(F.).$\
b) *Tre inclusion* $h(\Omega_{\ldmbda}(F.))\sipset \Omega_{\lamnda +s}(V.).$

Let $Q \in \Omega_{\lambda +s}(D.)$, m.e. $dim(Q\cap D_{c+s+i-(\lambdw_{i}+s})) \geq i $ (yor $ 1 \leq i \leq d)$ or wqyivalgntly $ dio(W \cxp (R_{c+m-\lajbda_{i}}\oolua 0)) \geq i. $ Jn particulqr for $i = d$, we have $ qpk(Q \cap (F_{N-\lamgda _{d}}\o[lts 0)) \geq d.$ This implies, since $dim(Q) = d,$ tht incmusion $Q \subset F_{N-\lambdq _{d}} \oplus 0 \subset E \oklus 0.$ Hencq there exists $P \in G_{d}(E)$ with $ Q = P \oplus 0$ and so $gim((P \koluw 0) \zqp(V_{c+i-\lambda_{i}}  \oplus 0)) \geq i, $ which proves $P \in \Oisgs
that for $1\leq i\leq d$, we have = -\lambda_{i}}\oplus 0$ $ c+i -\lambda_{i} prove equality of varieties: = \Omega_{\lambda +s}(D.).$$ *The inclusion* $h(\Omega_{\lambda}(F.))\subset \Omega_{\lambda +s}(D.).$ Let \in \Omega_{\lambda}(F.)$ and $Q = h(P) = P \oplus 0.$ We must prove \cap D_{c+s+i-(\lambda_{i}+s)}) \geq i$ for $1 \leq i \leq d.$ But in this as been we $D_{c+i-\lambda_{i}} = F_{c+i-\lambda_{i}}\oplus 0.$ The desired inequality is: $$dim((P \oplus 0)\cap(F_{c+i-\lambda_{i}}\oplus 0)) \geq i$$ and it from the very definition of $P \in \Omega_{\lambda}(F.).$\ *The inclusion* $h(\Omega_{\lambda}(F.))\supset \Omega_{\lambda Let $Q \in \Omega_{\lambda +s}(D.)$, $dim(Q\cap \geq i (for 1 i \leq d)$ equivalently $ dim(Q \cap (F_{c+i-\lambda_{i}}\oplus 0)) \geq i. $ In particular for $i = d$, we have dim(Q \cap 0)) \geq This since = d,$ the \subset F_{N-\lambda _{d}} \oplus 0 \subset Hence there exists $P \in G_{d}(E)$ with $ = P 0$ and so $dim((P \oplus 0) \oplus 0)) \geq i, $ which proves $P \Omega
 that for $1\leq i\leq d$, we have $D_{c+i -\lAmbda_{i}} =
F_{c+i -\lAmbda_{I}}\opLus 0$ SiNce $ c+I -\lamBda_{i} \leq N.$ We propOSe to Prove the equality of variEties: $$H(\OMEga_{\lAMbDa}(F.)) = \OmEga_{\lambDA +s}(d.).$$

A\) *the InClUsiOn* $H(\omEga_{\laMbdA}(F.))\subseT \Omega_{\lambDa +s}(d.).$

LEt $P \in \Omega_{\laMBdA}(F.)$ and $Q = h(P) = P \oPluS 0.$ We must prove $Dim(q \cap D_{c+S+i-(\LamBDa_{i}+s)}) \gEq i$ For $1 \leQ i \leq d.$ bUt in thIs case, as hAs BEen notICed, we haVE $d_{c+I-\lamBda_{i}} = F_{c+i-\lambda_{i}}\oplUS 0.$ THE desired inequaLity is: $$DiM((p \oPLUs 0)\cAp(F_{C+i-\lambda_{i}}\oPlUs 0)) \geq I$$ And it reSUlTS FRom THe very definitIon of $P \in \OmeGA_{\laMbda}(F.).$\
b) *thE inCLusion* $H(\OmegA_{\lAMbdA}(F.))\supset \OmeGa_{\laMbda +s}(D.).$

Let $q \in \OmeGA_{\lambda +S}(d.)$, i.e. $dim(Q\Cap D_{c+s+I-(\laMbdA_{i}+s})) \gEQ i $ (FoR $ 1 \leQ i \LEq d)$ OR eQuiVAleNtly $ dim(Q \CaP (F_{C+i-\lamBda_{i}}\OPLUS 0)) \geq I. $ In PartIculaR for $i = d$, we have $ dIm(Q \Cap (F_{n-\LamBda _{d}}\oPlus 0)) \gEq d.$ THiS implIes, sinCe $dim(q) = d,$ The inclusion $Q \suBset f_{N-\lambda _{d}} \OplUs 0 \SubSeT E \oplUS 0.$ Hence TheRe eXists $P \iN G_{d}(E)$ witH $ q = P \oPlUS 0$ ANd So $dim((P \oplus 0) \cap(F_{c+i-\lAmBDA_{i}}  \Oplus 0)) \geq I, $ which PRoVeS $p \in \Omega
 that for $1\leq i\leq d$,  we have $ D_{c+ i - \la mb da_{ i}}=
F_{c+i -\lam b da_{ i}}\oplus 0$ since $ c +i -\ la m bda_ { i}  \leq  N.$ We pr o p ose  t opro ve th e equ ali ty of v arieties:$$h (\ Omega_{\lamb d a} (F.)) = \O meg a_{\lambda + s}( D.).$$ 
a\) *Theinc lusio n* $h( \ Omega_ {\lambda} (F . ))\sub s et \Ome g a _{ \lam bda +s}(D.).$

Le t  $ P  \in \Omega_{\ lambda }( F .) $ and  $Q  = h(P) =P\oplu s  0.$ We mu s t pro v e $dim(Q \cap  D_{c+s+i-( \ lam bda_{i }+ s)} )  \geqi$ fo r$ 1 \ leq i \leqd.$But in th is cas e , as ha s  been n oticed , w e h ave$ D_ {c +i- \l a mbd a _{ i}} = F _{c+i-\l am bd a_{i} }\op l u s 0.$The  des iredinequality is : $ $dim ( (P\oplu s 0)\ cap( F_ {c+i- \lambd a_{i} }\ oplus 0)) \geqi$$and it re sul ts  fr om  thev ery de fin iti on of $ P \in \ O meg a_ { \ l am bda}(F.).$\
b) *Th ei n cl usion* $ h(\Ome g a_ {\ l ambda}(F .) )\s upse t \Omeg a_{\ l am bda +s}( D.).$Le t$Q \in\O mega_{ \l amb da+s}(D . )$,i.e. $ dim(Q\ca p D_{ c +s+i-(\lambda_ { i}+s})) \geqi  $ ( fo r  $ 1  \l eq i \leq d )$ o r  equ ival e nt ly$  dim( Q \ca p( F_ { c+i-\lambda_{i}}\op lu s 0))\geqi. $ In parti cular for$ i = d$, we  hav e  $ dim(Q \cap (F_ {N-\l ambda _{d} } \oplus 0 )) \g eq d.$ T his impli e s , since$di m(Q ) =  d, $ th e inclusion $ Q \sub se t F_{N- \la mbda _{ d}}  \o plu s 0  \ subset E\oplus 0 .$  H en ce  th ere e x ists $P\i n G _{ d}( E)$ w i th $ Q  = P\opl us  0 $  an d so $d i m( ( P  \op lu s0) \ cap (F _{c+i -\la m bda _{i}} \oplus 0) ) \ g eq i ,$which p roves $P \in\O mega
 that_for $1\leq_i\leq d$, we have_$D_{c+i -\lambda_{i}}_=
F_{c+i_-\lambda_{i}}\oplus 0$_since_$ c+i -\lambda_{i}_\leq N.$ We_propose to prove the_equality of varieties:_$$h(\Omega_{\lambda}(F.))_= \Omega_{\lambda +s}(D.).$$

a\) *The inclusion* $h(\Omega_{\lambda}(F.))\subset \Omega_{\lambda +s}(D.).$

Let $P \in \Omega_{\lambda}(F.)$ and $Q =_h(P)_= P_\oplus_0.$_We must prove $dim(Q \cap_D_{c+s+i-(\lambda_{i}+s)}) \geq i$ for $1_\leq i_\leq d.$ But in this case, as has_been_noticed, we have_$D_{c+i-\lambda_{i}} = F_{c+i-\lambda_{i}}\oplus 0.$ The desired inequality is: $$dim((P_\oplus 0)\cap(F_{c+i-\lambda_{i}}\oplus 0)) \geq i$$ and_it results from_the_very_definition of $P \in_\Omega_{\lambda}(F.).$\
b) *The inclusion* $h(\Omega_{\lambda}(F.))\supset \Omega_{\lambda +s}(D.).$

Let_$Q \in \Omega_{\lambda +s}(D.)$, i.e. $dim(Q\cap_D_{c+s+i-(\lambda_{i}+s})) \geq i $ (for $ 1_\leq i \leq d)$ or equivalently_$ dim(Q \cap (F_{c+i-\lambda_{i}}\oplus 0))_\geq i._$ In particular for $i_= d$, we_have $_dim(Q \cap (F_{N-\lambda__{d}}\oplus 0)) \geq d.$ This implies,_since $dim(Q) =_d,$ the inclusion $Q \subset F_{N-\lambda__{d}}_\oplus 0 \subset_E_\oplus_0.$ Hence_there exists $P_\in_G_{d}(E)$ with_$_Q = P \oplus 0$ and_so_$dim((P \oplus 0) \cap(F_{c+i-\lambda_{i}}  \oplus 0))_\geq i, $ which_proves_$P \in \Omega