q}$ the representation space $\Gamma'_{0,\cdots,0,1}$ of $sl(q,{{\mathbb C}})$. In the remaining subsection, we shall assume $p\leq q$ in order to simplify the notations in the argument.

\[formula A\] We have isomorphism $$T_{D^{I}_{p,q}}\simeq V_1\otimes V_2.$$ Then, for $k\geq 2$, we have isomorphism $$S^{k}(T_{D^{I}_{p,q}})\simeq
\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes {{\mathbb S}}_{\lambda}(V_2),$$ where $\lambda$ runs through all partitions of $k$ with at most $p$ rows. Under this isomorphism, the $k$-th iterated Higgs field for $k\leq p$, $$\theta^{k}: S^{k}(T_{D^{I}_{p,q}})\to  {{\rm Hom}}(E^{p,0},E^{p-k,k})$$ is identified with the projection map onto the irreducible component $$\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes
{{\mathbb S}}_{\lambda}(V_2)\twoheadrightarrow {{\mathbb S}}_{\lambda^{0}}(V_1)\otimes
{{\mathbb S}}_{\lambda^{0}}(V_2),$$ where $\lambda^{0}=(1,\cdots,1)$.

**Proof:** By the isomorphism \[equation1\], we have isomorphism $$T_{D^{I}_{p,q}}\simeq V_1\otimes V_2.$$ The formula in Ex.6.11 [@FH] gives the decomposition of $S^{k}(V_1\otimes V_2)$ with respect to $sl(p,{{\mathbb C}})\oplus sl(q,{{\mathbb C}})$: $$S^{k}(V_1\otimes V_2)=\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes
{{\mathbb S}}_{\lambda}(V_2),$$ where $\lambda$ runs through all partitions of $k$ with at most $p$ rows. Since the center of $K$ acts on $(T_{D^{I}_{p,q}})_{0}$ trivially, it acts on $(S^{k}(T_{D^{I}_{p,q}}))_{0}$ trivially too. Hence the second isomorphism of the statement follows. For the last statement, it suffices to show $\theta^k$ is a non-
q}$ the representation space $ \Gamma'_{0,\cdots,0,1}$ of $ sl(q,{{\mathbb C}})$. In the remaining subsection, we shall assume $ p\leq q$ in decree to simplify the notation in the argument. 

 \[formula A\ ] We have isomorphism $ $ T_{D^{I}_{p, q}}\simeq V_1\otimes V_2.$$ Then, for $ k\geq 2 $, we have isomorphism $ $ S^{k}(T_{D^{I}_{p, q}})\simeq 
 \bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes { { \mathbb S}}_{\lambda}(V_2),$$ where $ \lambda$ scat through all partitions of $ k$ with at most $ p$ course. Under this isomorphism, the $ k$-th iterate Higgs field for $ k\leq p$, $ $ \theta^{k }: S^{k}(T_{D^{I}_{p, q}})\to   { { \rm Hom}}(E^{p,0},E^{p - k, k})$$ is identify with the projection map onto the irreducible part $ $ \bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes 
 { { \mathbb S}}_{\lambda}(V_2)\twoheadrightarrow { { \mathbb S}}_{\lambda^{0}}(V_1)\otimes 
 { { \mathbb S}}_{\lambda^{0}}(V_2),$$ where $ \lambda^{0}=(1,\cdots,1)$. 

 * * Proof :* * By the isomorphism \[equation1\ ], we have isomorphism $ $ T_{D^{I}_{p, q}}\simeq V_1\otimes V_2.$$ The formula in Ex.6.11 [ @FH ] gives the decay of $ S^{k}(V_1\otimes V_2)$ with respect to $ sl(p,{{\mathbb C}})\oplus sl(q,{{\mathbb C}})$: $ $ S^{k}(V_1\otimes V_2)=\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes 
 { { \mathbb S}}_{\lambda}(V_2),$$ where $ \lambda$ runs through all partition of $ k$ with at most $ p$ rows. Since the center field of $ K$ acts on $ (T_{D^{I}_{p, q}})_{0}$ trivially, it acts on $ (S^{k}(T_{D^{I}_{p, q}}))_{0}$ trivially too. therefore the second isomorphism of the statement follows. For the concluding statement, it suffice to show $ \theta^k$ is a non-
q}$ tje representation space $\Namma'_{0,\cdots,0,1}$ of $sl(q,{{\mathbb C}})$. In fhe remakning subsection, we shall asdune $p\ltz q$ in order to sioplify thv notatiobs ii the argument.

\[focjula A\] We havs isokirphism $$T_{D^{I}_{p,q}}\slmeq V_1\otimev V_2.$$ Then, for $k\ced 2$, we have isomorphism $$S^{k}(T_{D^{I}_{p,q}})\simeq
\bidoplus_{\lsmhda}{{\mathbb S}}_{\lamfda}(V_1)\peimea {{\mathbb S}}_{\lambda}(V_2),$$ where $\lambda$ runa throujh all partitioms of $k$ with at most $p$ rowd. Unfer this isomorphidm, the $k$-th uterwred Higgs fidld for $k\ltq p$, $$\theta^{k}: A^{k}(T_{D^{I}_{p,q}})\to  {{\rm Hom}}(E^{p,0},E^{p-k,k})$$ is idengifieb with the kxijefjion map onti the irreducible componett $$\bigollus_{\lambda}{{\mathnb S}}_{\lembdq}(V_1)\otimes
{{\mathbb S}}_{\lambde}(V_2)\twoheadrightarrow {{\iathbb S}}_{\ldmyda^{0}}(V_1)\otimes
{{\mathbb S}}_{\lamvdq^{0}}(V_2),$$ whgre $\ldmbdx^{0}=(1,\xdogs,1)$.

**Pdopf:** By thf iaomorphism \[equation1\], ww have isomorphism $$U_{D^{I}_{[,w}}\simeq V_1\otimea V_2.$$ Thq sormula in Ex.6.11 [@FH] gives the decompositiot or $S^{k}(V_1\otimes V_2)$ with respwct to $sl(p,{{\mathbb C}})\oplos sl(q,{{\mathfb C}})$: $$S^{k}(V_1\otimes V_2)=\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimas
{{\matibc S}}_{\oaicea}(G_2),$$ where $\lambda$ runs through all partitions of $i$ einh at most $p$ rows. Since the vejtrt of $K$ acts on $(T_{D^{I}_{p,q}})_{0}$ trjvially, it acts on $(S^{k}(T_{D^{I}_{p,z}}))_{0}$ tricially toj. Hemce the second isomorphism if the stateiwnt follows. For thz last stateoent, it siffices to show $\theta^k$ ns a nkn-
q}$ the representation space $\Gamma'_{0,\cdots,0,1}$ of $sl(q,{{\mathbb the subsection, we assume $p\leq q$ notations the argument. \[formula We have isomorphism V_1\otimes V_2.$$ Then, for $k\geq 2$, have isomorphism $$S^{k}(T_{D^{I}_{p,q}})\simeq \bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes {{\mathbb S}}_{\lambda}(V_2),$$ where $\lambda$ runs through all partitions $k$ with at most $p$ rows. Under this isomorphism, the $k$-th iterated Higgs for p$, S^{k}(T_{D^{I}_{p,q}})\to Hom}}(E^{p,0},E^{p-k,k})$$ is identified with the projection map onto the irreducible component $$\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes {{\mathbb S}}_{\lambda}(V_2)\twoheadrightarrow {{\mathbb {{\mathbb S}}_{\lambda^{0}}(V_2),$$ where $\lambda^{0}=(1,\cdots,1)$. **Proof:** By the isomorphism we have isomorphism $$T_{D^{I}_{p,q}}\simeq V_2.$$ The formula in Ex.6.11 gives decomposition of V_2)$ respect $sl(p,{{\mathbb C}})\oplus sl(q,{{\mathbb $$S^{k}(V_1\otimes V_2)=\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes {{\mathbb S}}_{\lambda}(V_2),$$ where $\lambda$ runs through all partitions of $k$ with at most $p$ Since the $K$ acts $(T_{D^{I}_{p,q}})_{0}$ it on $(S^{k}(T_{D^{I}_{p,q}}))_{0}$ trivially the second isomorphism of the statement last statement, it suffices to show $\theta^k$ is non-
q}$ the representation space $\GaMma'_{0,\cdots,0,1}$ of $Sl(q,{{\maThbB C}})$. IN tHe reMainIng subsection, wE ShalL assume $p\leq q$ in order to sImpliFy THe noTAtIons iN the argUMeNT.

\[ForMuLa a\] We HaVE iSomorPhiSm $$T_{D^{I}_{p,q}}\Simeq V_1\otimEs V_2.$$ thEn, for $k\geq 2$, we hAVe IsomorphisM $$S^{k}(t_{D^{I}_{p,q}})\simeq
\biGopLus_{\lamBdA}{{\maTHbb S}}_{\lAmbDa}(V_1)\otImes {{\maTHbb S}}_{\laMbda}(V_2),$$ wherE $\lAMbda$ ruNS througH ALl PartItions of $k$ with at moST $p$ ROws. Under this isOmorphIsM, ThE $K$-Th iTerAted Higgs fIeLd for $K\Leq p$, $$\theTA^{k}: s^{K}(t_{d^{I}_{p,Q}})\To  {{\rm Hom}}(E^{p,0},E^{p-k,k})$$ Is identifieD WitH the prOjEctIOn map oNto thE iRRedUcible compoNent $$\Bigoplus_{\lAmbda}{{\mAThbb S}}_{\laMBda}(V_1)\otiMes
{{\matHbb s}}_{\laMbda}(v_2)\TwOhEadRiGHtaRRoW {{\maTHbb s}}_{\lambda^{0}}(V_1)\OtImEs
{{\matHbb S}}_{\LAMBDa^{0}}(V_2),$$ wHerE $\lamBda^{0}=(1,\cdOts,1)$.

**Proof:** By the IsoMorpHIsm \[EquatIon1\], we Have IsOmorpHism $$T_{D^{i}_{p,q}}\siMeQ V_1\otimes V_2.$$ The forMula In Ex.6.11 [@FH] givEs tHe DecOmPositIOn of $S^{k}(v_1\otImeS V_2)$ with rEspect tO $Sl(p,{{\MaTHBB C}})\Oplus sl(q,{{\mathbb C}})$: $$S^{k}(V_1\OtIMEs v_2)=\bigopluS_{\lambdA}{{\MaThBB S}}_{\lambda}(v_1)\oTimEs
{{\maTHBb S}}_{\laMbda}(v_2),$$ WhEre $\lambdA$ runs tHRoUgH all parTiTions oF $k$ WitH at Most $p$ ROws. SInce thE center oF $K$ actS On $(T_{D^{I}_{p,q}})_{0}$ trivialLY, it acts on $(S^{k}(T_{D^{i}_{P,q}}))_{0}$ TRIvIAlly Too. hence the secOnd iSOmorPhisM Of The STatemEnt foLlOWs. fOr the last statement, iT sUfficeS to shOw $\theta^k$ is a noN-
q}$ the representation spa ce $\Gamma '_{0, \cd ots ,0 ,1}$  of$sl(q,{{\mathb b  C}} )$. In the remaining s ubsec ti o n, w e  s hallassume$ p\ l e q q $in  or de r  t o sim pli fy thenotationsinth e argument.\[ formula A\ ] W e have isomo rph ism $$ T_ {D^ { I}_{p ,q} }\sim eq V_1 \ otimes  V_2.$$ T he n , for$ k\geq 2 $ ,  w e ha ve isomorphism $$ S ^{ k }(T_{D^{I}_{p, q}})\s im e q\ b igo plu s_{\lambda }{ {\mat h bb S}}_ { \l a m b da} ( V_1)\otimes { {\mathbb S} } _{\ lambda }( V_2 ) ,$$ wh ere $ \l a mbd a$ runs thr ough  all part itions of $k$w ith atmost $ p$row s. U n de rthi si som o rp his m , t he $k$-t hit erate d Hi g g s fiel d f or $ k\leq  p$, $$\theta ^{k }: S ^ {k} (T_{D ^{I}_ {p,q }} )\to {{\rm  Hom} }( E^{p,0},E^{p-k, k})$ $ is iden tif ie d w it h the projec tio n m ap onto  the ir r edu ci b l e  c omponent $$\bigopl us _ { \l ambda}{{ \mathb b  S }} _ {\lambda }( V_1 )\ot i m es
{{ \mat h bb  S}}_{\l ambda} ( V_ 2) \twohea dr ightar ro w { {\m athbb S}}_ {\lamb da^{0}}( V_1)\ o times
{{\mathb b  S}}_{\lambda ^ {0 } } (V _ 2),$ $ w here $\lamb da^{ 0 }=(1 ,\cd o ts ,1) $ .

** Proof :* *  B y  the isomorphism \[ eq uation 1\],we have isomo rphism $$T _ { D ^{I}_{p, q}}\ s im e q V_1\otimes V _2.$$  The formu l a in Ex. 6.11[@FH] gi ves the d e c ompositi onof$S^ {k} ( V _1 \otimes V_2)$ w ithre spect t o $ sl(p,{{ \ma thb b C }}) \o plus sl(q ,{{\math bb  C }} )$ : $ $S^{k } (V_1\oti me s V _2 )=\ bigop l us_{\l ambda }{{\ ma th b b S }}_{\la m bd a } (V_1 )\ ot imes 
{{ \m athbb  S}} _ {\l ambda}( V_2),$$ w her e  $\l am bd a$ runs  through allpa rtitions o f$k$  witha t  most $p $ rows. Since the cente r  of $K$  ac ts on  $(T _{D^{I}_{ p,q }})_{0 }$t rivial ly, it  acts  o n $ ( S ^{k}( T _ {D ^{I }_ {p,q}}))_{ 0 } $ t rivia ll y to o. Henc e the second isomo r phi sm of the sta tem entf o ll ows .  F o r t he las t statement, it s uffices to  s h ow  $\theta^k $  is  a  non-
q}$ the_representation space_$\Gamma'_{0,\cdots,0,1}$ of $sl(q,{{\mathbb C}})$._In the_remaining_subsection, we_shall_assume $p\leq q$_in order to_simplify the notations in_the argument.

\[formula A\]_We_have isomorphism $$T_{D^{I}_{p,q}}\simeq V_1\otimes V_2.$$ Then, for $k\geq 2$, we have isomorphism $$S^{k}(T_{D^{I}_{p,q}})\simeq
\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes_{{\mathbb_S}}_{\lambda}(V_2),$$ where_$\lambda$_runs_through all partitions of $k$_with at most $p$ rows._Under this_isomorphism, the $k$-th iterated Higgs field for $k\leq_p$,_$$\theta^{k}: S^{k}(T_{D^{I}_{p,q}})\to _{{\rm Hom}}(E^{p,0},E^{p-k,k})$$ is identified with the projection map onto_the irreducible component $$\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes
{{\mathbb S}}_{\lambda}(V_2)\twoheadrightarrow_{{\mathbb S}}_{\lambda^{0}}(V_1)\otimes
{{\mathbb S}}_{\lambda^{0}}(V_2),$$_where_$\lambda^{0}=(1,\cdots,1)$.

**Proof:**_By the isomorphism \[equation1\],_we have isomorphism $$T_{D^{I}_{p,q}}\simeq V_1\otimes V_2.$$_The formula in Ex.6.11 [@FH] gives_the decomposition of $S^{k}(V_1\otimes V_2)$ with respect_to $sl(p,{{\mathbb C}})\oplus sl(q,{{\mathbb C}})$: $$S^{k}(V_1\otimes_V_2)=\bigoplus_{\lambda}{{\mathbb S}}_{\lambda}(V_1)\otimes
{{\mathbb S}}_{\lambda}(V_2),$$ where $\lambda$_runs through_all partitions of $k$ with_at most $p$_rows. Since_the center of_$K$ acts on $(T_{D^{I}_{p,q}})_{0}$ trivially, it_acts on $(S^{k}(T_{D^{I}_{p,q}}))_{0}$_trivially too. Hence the second isomorphism_of_the statement follows._For_the_last statement,_it suffices to_show_$\theta^k$ is_a_non-