 (a),

1.  $0 \ne H^0 ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} )$ is of weight $(r+1) - (k_1 + k_2) - 1$,

2.  $0 \ne H^1 ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} )$ is of weight $(r+2) - (k_1 - k_2)$,

and $H^q ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} ) = 0$ whenever $q < 0$. The group $H_C/K_W$ associated to a stratum $Z'$ of $Z_0$ is a neat arithmetic sub-group of $SL_2({{\mathbb{Q}}})$. It is therefore of cohomological dimension one, and admits no non-zero invariants on regular irreducible representations of $Q_0/W_0 = {\mathop{{{\mathbb{G}}}_{m,{{\mathbb{Q}}}}}\nolimits}\times_{{\mathbb{Q}}}GL_{2,{{\mathbb{Q}}}}$.

According to Proposition \[4Ba\] (a) and Corollary \[4Bc\] (a), $H^q ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} )$, $0 \le q \le 2$, are irreducible as representations of $Q_0/W_0$, and regular unless $q=0$ and $k_1 = k_2$, in which case $SL_{2,{{\mathbb{Q}}}}$, hence $H_C/K_W$ acts trivially. Pink’s Theorem and [@P2 Prop. (5.5.4)] then tell us that

1.  $R^0 i_0^* i^* j_* \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$ is non-zero if and only if $k_1 = k_2$, in which case it is of weight $r - (k_1 + k_2)$,

2.  $0 \ne R^1 i_0^* i^* j_* \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$ is of weight $(r+1) - (k_1 + k_2) - 1$,

3.  $0
(a), 

 1.   $ 0 \ne H^0 (Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits } }) $ is of weight $ (r+1) - (k_1 + k_2) - 1 $, 

 2.   $ 0 \ne H^1 (Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits } }) $ is of weight $ (r+2) - (k_1 - k_2)$, 

 and $ H^q (Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits } }) = 0 $ whenever $ q < 0$. The group $ H_C / K_W$ associated to a stratum $ Z'$ of $ Z_0 $ is a clean arithmetical sub - group of $ SL_2({{\mathbb{Q}}})$. It is therefore of cohomological property one, and admit no non - zero invariants on regular irreducible representation of $ Q_0 / W_0 = { \mathop{{{\mathbb{G}}}_{m,{{\mathbb{Q}}}}}\nolimits}\times_{{\mathbb{Q}}}GL_{2,{{\mathbb{Q}}}}$. 

 According to Proposition   \[4Ba\ ]   (a) and Corollary   \[4Bc\ ]   (a), $ H^q (Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits } }) $, $ 0 \le q \le 2 $, are irreducible as representations of $ Q_0 / W_0 $, and even unless $ q=0 $ and $ k_1 = k_2 $, in which case $ SL_{2,{{\mathbb{Q}}}}$, hence $ H_C / K_W$ act trivially. Pink ’s Theorem and [ @P2 Prop.   (5.5.4) ] then tell us that 

 1.   $ R^0 i_0^ * i^ * j _ * \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$ is non - zero if and only if $ k_1 = k_2 $, in which case it is of weight $ r - (k_1 + k_2)$, 

 2.   $ 0 \ne R^1 i_0^ * i^ * joule _ * \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$ is of weight $ (r+1) - (k_1 + k_2) - 1 $, 

 3.   $ 0
 (a),

1.  $0 \ne H^0 ( Lie(W_0),V_{{\mathop{\underllne{\alpha}}\nolimits}} )$ is of weighf $(r+1) - (k_1 + y_2) - 1$,

2.  $0 \ne H^1 ( Lie(W_0),V_{{\mathop{\underpibe{\alpya}}\nolimits}} )$ is of weigft $(r+2) - (k_1 - n_2)$,

and $H^q ( Lie(X_0),V_{{\mathop{\underlinx{\zlpha}}\nolimits}} ) = 0$ wkeiever $q < 0$. The gtoup $H_C/K_W$ asvociated to a vtfacum $Z'$ of $Z_0$ is a neat arithmetic sub-gwoup of $SP_2({{\mathbb{Q}}})$. It is thegesore of cohomological dimension one, ans admitv no non-zero onvariants on regular irrefucihle representationd of $Q_0/W_0 = {\majgop{{{\iqthbb{G}}}_{m,{{\mathbc{Q}}}}}\nolimits}\uikes_{{\mathbb{Q}}}FL_{2,{{\mathbb{Q}}}}$.

According to Propositiun \[4Ba\] (a) and Coroloaey \[4Bf\] (d), $H^q ( Lie(W_0),V_{{\nathoi{\underline{\alpms}}\nolimhts}} )$, $0 \lr q \le 2$, are irveducmble as representations oh $Q_0/W_0$, and regular unlgss $q=0$ and $n_1 = k_2$, in which case $WL_{2,{{\nathbt{Q}}}}$, hance $Y_C/K_D$ adtx friviaply. Pink’s Thekrem and [@P2 Prop. (5.5.4)] then tell us tnae

1.  $R^0 i_0^* i^* j_* \mu_\eml(V_{{\matro[{\underline{\alpha}}\nolimits}})$ is non-zero if atd knly if $k_1 = k_2$, in which cqse it is of weight $r - (k_1 + k_2)$,

2.  $0 \ge R^1 i_0^* i^* j_* \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$ is mf wemgft $(x+1) - (k_1 + y_2) - 1$,

3.  $0
(a), 1. $0 \ne H^0 ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} of $(r+1) - + k_2) - ( )$ is of $(r+2) - (k_1 k_2)$, and $H^q ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} ) 0$ whenever $q < 0$. The group $H_C/K_W$ associated to a stratum $Z'$ $Z_0$ is a neat arithmetic sub-group of $SL_2({{\mathbb{Q}}})$. It is therefore of cohomological one, admits non-zero on regular irreducible representations of $Q_0/W_0 = {\mathop{{{\mathbb{G}}}_{m,{{\mathbb{Q}}}}}\nolimits}\times_{{\mathbb{Q}}}GL_{2,{{\mathbb{Q}}}}$. According to Proposition \[4Ba\] (a) and Corollary \[4Bc\] $H^q ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} )$, $0 \le q \le are irreducible as representations $Q_0/W_0$, and regular unless $q=0$ $k_1 k_2$, in case hence acts trivially. Pink’s and [@P2 Prop. (5.5.4)] then tell us that 1. $R^0 i_0^* i^* j_* \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$ is non-zero if only if k_2$, in case is weight $r - k_2)$, 2. $0 \ne R^1 i_0^* is of weight $(r+1) - (k_1 + k_2) 1$, 3.
 (a),

1.  $0 \ne H^0 ( Lie(W_0),V_{{\mathop{\underline{\aLpha}}\nolimiTs}} )$ is oF weIghT $(r+1) - (K_1 + k_2) - 1$,

2.  $0 \ne h^1 ( Lie(w_0),V_{{\mathop{\underlINe{\alPha}}\nolimits}} )$ is of weight $(r+2) - (K_1 - k_2)$,

and $h^q ( lIe(W_0),V_{{\MAtHop{\unDerline{\ALpHA}}\NolImItS}} ) = 0$ whEnEVeR $q < 0$. The GroUp $H_C/K_W$ aSsociated tO a sTrAtum $Z'$ of $Z_0$ is a nEAt Arithmetic Sub-Group of $SL_2({{\matHbb{q}}})$. It is tHeRefORe of cOhoMologIcal diMEnsion One, and admItS No non-zERo invarIANtS on rEgular irreducible REpREsentations of $Q_0/w_0 = {\mathoP{{{\mAThBB{g}}}_{m,{{\mAthBb{Q}}}}}\nolimitS}\tImes_{{\mAThbb{Q}}}GL_{2,{{\MAtHBB{q}}}}$.

AcCOrding to PropoSition \[4Ba\] (a) anD corOllary \[4bc\] (A), $H^q ( lIe(W_0),V_{{\maThop{\uNdERliNe{\alpha}}\noliMits}} )$, $0 \Le q \le 2$, are iRreducIBle as rePResentaTions oF $Q_0/W_0$, And ReguLAr UnLesS $q=0$ ANd $k_1 = K_2$, In WhiCH caSe $SL_{2,{{\mathBb{q}}}}$, hEnce $H_c/K_W$ aCTS TRiviAllY. PinK’s TheOrem and [@P2 Prop. (5.5.4)] tHen Tell US thAt

1.  $R^0 i_0^* i^* J_* \mu_\elL(V_{{\maThOp{\undErline{\Alpha}}\NoLimits}})$ is non-zero If anD only if $k_1 = k_2$, In wHiCh cAsE it is OF weighT $r - (k_1 + K_2)$,

2.  $0 \ne r^1 i_0^* i^* j_* \mu_\eLl(V_{{\mathOP{\unDeRLINe{\Alpha}}\nolimits}})$ is of wEiGHT $(r+1) - (K_1 + k_2) - 1$,

3.  $0
 (a),

1.  $0 \ne H^0 ( Li e(W_0),V_{ {\mat hop {\u nd erli ne{\ alpha}}\nolimi t s}})$ is of weight $(r+1)  - (k _1 + k_ 2 )- 1$, 

2.  $ 0  \ n e  H^ 1(Lie (W _ 0) ,V_{{ \ma thop{\u nderline{\ alp ha }}\nolimits} }  ) $ is of we igh t $(r+2) - ( k_1  - k_2 )$ ,
a nd $H ^q( Lie (W_0), V _{{\ma thop{\und er l ine{\a l pha}}\n o l im its} } ) = 0$ whenever $q < 0$. The grou p $H_C /K _ W$ a sso cia ted to a s tr atum$ Z'$ of$ Z_ 0 $ isa  neat arithme tic sub-gro u p o f $SL_ 2( {{\ m athbb{ Q}}}) $. Itis therefor e of  cohomolo gicald imensio n  one, a nd adm its  no  non - ze ro  in va r ian t sonr egu lar irre du ci ble r epre s e n t atio nsof $ Q_0/W _0 = {\mathop {{{ \mat h bb{ G}}}_ {m,{{ \mat hb b{Q}} }}}\no limit s} \times_{{\mathb b{Q} }}GL_{2,{ {\m at hbb {Q }}}}$ . 

Acco rdi ngto Prop osition \[4 Ba \ ] (a ) and Corollary \[ 4B c \ ](a), $H^ q ( Li e (W _0 ) ,V_{{\ma th op{ \und e r line{ \alp h a} }\nolimi ts}} ) $ ,$0  \le q\l e 2$,ar e i rre ducib l e as  repre sentatio ns of $Q_0/W_0$, and regular unles s  $ q = 0$ and$k_ 1 = k_2$, i n wh i ch c ase$ SL _{2 , {{\ma thbb{ Q} } }} $ , hence $H_C/K_W$ a ct s triv ially . Pink’s Theo rem and [@ P 2 Prop. (5 .5.4 ) ]t hen tell us th at

1 .  $R^0 i_ 0 ^* i^* j _* \m u_\ell(V _{{\matho p { \underli ne{ \al pha }}\ n o li mits}})$ is n o n -zer oif andonl y if $k _1= k _2$ , i nwhich cas e it isof  w ei gh t $ r - ( k _1 + k_2 )$ ,
2.   $ 0 \ne R^1 i_ 0^* i ^* j _*  \ m u_\ ell(V_{ { \m a t hop{ \u nd erli ne{ \a lpha} }\no l imi ts}})$is of wei ght $(r+ 1)  -  (k_1 +  k_2) - 1$,
3.   $0
 (a),

1. _$0 \ne_H^0 ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} )$_is of_weight_$(r+1) -_(k_1_+ k_2) -_1$,

2.  $0_\ne H^1 ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}}_)$ is of_weight_$(r+2) - (k_1 - k_2)$,

and $H^q ( Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} ) = 0$ whenever $q <_0$._The group_$H_C/K_W$_associated_to a stratum $Z'$ of_$Z_0$ is a neat arithmetic_sub-group of_$SL_2({{\mathbb{Q}}})$. It is therefore of cohomological dimension one,_and_admits no non-zero_invariants on regular irreducible representations of $Q_0/W_0 = {\mathop{{{\mathbb{G}}}_{m,{{\mathbb{Q}}}}}\nolimits}\times_{{\mathbb{Q}}}GL_{2,{{\mathbb{Q}}}}$.

According_to Proposition \[4Ba\] (a) and Corollary \[4Bc\] (a), $H^q (_Lie(W_0),V_{{\mathop{\underline{\alpha}}\nolimits}} )$, $0_\le_q_\le 2$, are irreducible_as representations of $Q_0/W_0$, and regular_unless $q=0$ and $k_1 = k_2$,_in which case $SL_{2,{{\mathbb{Q}}}}$, hence $H_C/K_W$ acts_trivially. Pink’s Theorem and [@P2 Prop. (5.5.4)]_then tell us that

1. _$R^0 i_0^*_i^* j_* \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$ is non-zero_if and only_if $k_1_= k_2$, in_which case it is of weight_$r - (k_1_+ k_2)$,

2.  $0 \ne R^1_i_0^*_i^* j_* \mu_\ell(V_{{\mathop{\underline{\alpha}}\nolimits}})$_is_of_weight $(r+1)_- (k_1 +_k_2)_- 1$,

3.__$0