 a locally free module of rank two over $$\bigoplus_{\gothp \textrm{ of type  }\beta^\sharp} \calO_S \otimes_{\ZZ_p} (\calO_E \otimes_{\calO_F} k_\gothp).$$

-   $ \alpha_{K'}$ is a pair $( \alpha^p_{K'^p}, \alpha_p)$ defined as follows:

    -   For each connected component $S_i$ of $S$, we choose a geometric point $\bar{s}_i$, and let $T^{(p)}(A_{\bar{s}_i})$ be the product of $l$-adic Tate modules of $A$ at $\bar{s}_i$ for all $l\neq p$. Then $\alpha^p_{K'^p}$ is a collection of $\pi_1(S_i, \bar{s}_i)$-invariant $K'^p$-orbit of pairs $(\alpha^p_i, \nu(\alpha^p_i))$, where $\alpha^p_i$ is an $\calO_{D_\ttS}\otimes_\ZZ \widehat{\ZZ}^{(p)}$-linear isomorphism $\widehat \Lambda^{(p)} \xrightarrow{\sim} T^{(p)}( A_{\bar s_i})$ and $\nu(\alpha^p_i)$ is an isomorphism $\widehat{{\mathbb{Z}}}^{(p)}{\xrightarrow}{\sim} \widehat {\mathbb{Z}}^{(p)}(1)$ such that the following diagram commute: $$\xymatrix{
        \widehat \Lambda^{(p)}\times \widehat \Lambda^{(p)}\ar[rr]^-{\psi}\ar[d]_{\alpha^p_i\times \alpha_i^p} &&\widehat{{\mathbb{Z}}}^{(p)}\ar[d]^{\nu(\alpha_i^p)}\\
        T^{(p)}(A_{\bar s_i})\times T^{(p)}(A_{\bar s_i}) \ar[rr]^-{\lambda-\mathrm{Weil}} && \widehat{{\mathbb{Z}}}^{(p)}(1).
        }$$

    -   For each prime $\gothp\in \Sigma_p$ of type $\alpha^\sharp$, let $\gothq$ and $\bar\gothq$ be the two primes of $E$ above $\gothp$. Then $\alpha_p$ is a collection of $\calO_{D_\ttS
a locally free module of rank two over $ $ \bigoplus_{\gothp \textrm { of type   } \beta^\sharp } \calO_S \otimes_{\ZZ_p } (\calO_E \otimes_{\calO_F } k_\gothp).$$ 

 -    $ \alpha_{K'}$ is a couple $ (\alpha^p_{K'^p }, \alpha_p)$ define as follows: 

     -    For each connected part $ S_i$ of $ S$, we choose a geometric point $ \bar{s}_i$, and get $ T^{(p)}(A_{\bar{s}_i})$ be the product of $ l$-adic Tate faculty of $ A$ at $ \bar{s}_i$ for all $ l\neq p$. Then $ \alpha^p_{K'^p}$ is a collection of $ \pi_1(S_i, \bar{s}_i)$-invariant $ K'^p$-orbit of pairs $ (\alpha^p_i, \nu(\alpha^p_i))$, where $ \alpha^p_i$ is an $ \calO_{D_\ttS}\otimes_\ZZ \widehat{\ZZ}^{(p)}$-linear isomorphism $ \widehat \Lambda^{(p) } \xrightarrow{\sim } T^{(p) } (A_{\bar s_i})$ and $ \nu(\alpha^p_i)$ is an isomorphism $ \widehat{{\mathbb{Z}}}^{(p)}{\xrightarrow}{\sim } \widehat { \mathbb{Z}}^{(p)}(1)$ such that the come diagram commute: $ $ \xymatrix { 
         \widehat \Lambda^{(p)}\times \widehat \Lambda^{(p)}\ar[rr]^-{\psi}\ar[d]_{\alpha^p_i\times \alpha_i^p } & & \widehat{{\mathbb{Z}}}^{(p)}\ar[d]^{\nu(\alpha_i^p)}\\ 
         T^{(p)}(A_{\bar s_i})\times T^{(p)}(A_{\bar s_i }) \ar[rr]^-{\lambda-\mathrm{Weil } } & & \widehat{{\mathbb{Z}}}^{(p)}(1). 
         } $ $ 

     -    For each prime $ \gothp\in \Sigma_p$ of type $ \alpha^\sharp$, lease $ \gothq$ and $ \bar\gothq$ be the two primes of $ E$ above $ \gothp$. Then $ \alpha_p$ is a collection of $ \calO_{D_\ttS
 a pocally free module of rxnk two over $$\biyiplus_{\gmthp \tsxtrm{ of type  }\beta^\sharp} \calO_S \otimed_{\ZZ_p} (\caoO_E \otimes_{\calO_F} k_\gothp).$$

-   $ \alpha_{N'}$ is a pqir $( \qlpha^p_{K'^p}, \alpha_p)$ dennned zd fonoows:

    -   For each connacted componend $R_i$ of $S$, we choose a geometric point $\bwr{s}_i$, anc pet $T^{(p)}(A_{\bar{s}_i})$ bg the [rodhbt of $l$-adic Tate modules of $A$ af $\bar{s}_i$ for all $l\neq p$. Then $\alpha^p_{K'^p}$ is a collfctiln of $\pi_1(S_i, \bar{s}_i)$-ingariant $K'^p$-otgit if pairs $(\alpfa^p_i, \nu(\alpha^p_i))$, where $\ampha^p_i$ is an $\calO_{D_\ttS}\otimes_\ZZ \wkdehac{\ZZ}^{(p)}$-linear usimogkhism $\widehav \Lambqa^{(p)} \xrightarvpw{\sim} D^{(p)}( A_{\bar s_i})$ and $\nu(\alphs^p_i)$ is an isomorphism $\widehet{{\mathbb{Z}}}^{(p)}{\xrightarror}{\sim} \widevac {\mathbb{Z}}^{(p)}(1)$ such that rhw folnowitg dkqgrxm dokmhte: $$\xylatcix{
        \sidehat \Lamvda^{(p)}\times \widehat \Lsmfea^{(p)}\ar[rr]^-{\psi}\ar[d]_{\zlpha^p_y\tymes \alpha_i^p} &&\widehat{{\mathbb{Z}}}^{(p)}\ar[d]^{\nu(\alpha_i^k)}\\
        T^{(p)}(A_{\bar s_i})\times T^{(p)}(A_{\bqr s_i}) \ar[rr]^-{\lambda-\mathrl{Weil}} && \wiqehat{{\mathbb{Z}}}^{(p)}(1).
        }$$

    -   For each prime $\gothp\it \Sigjx_p$ if gtpf $\alpha^\sharp$, let $\gothq$ and $\bar\gothq$ be the twj ptikes of $E$ above $\gothp$. Then $\appnw_p$ is a colleztion of $\dalO_{D_\ttS
a locally free module of rank two \textrm{ type }\beta^\sharp} \otimes_{\ZZ_p} (\calO_E \otimes_{\calO_F} a $( \alpha^p_{K'^p}, \alpha_p)$ as follows: - each connected component $S_i$ of $S$, choose a geometric point $\bar{s}_i$, and let $T^{(p)}(A_{\bar{s}_i})$ be the product of $l$-adic modules of $A$ at $\bar{s}_i$ for all $l\neq p$. Then $\alpha^p_{K'^p}$ is a of \bar{s}_i)$-invariant of $(\alpha^p_i, \nu(\alpha^p_i))$, where $\alpha^p_i$ is an $\calO_{D_\ttS}\otimes_\ZZ \widehat{\ZZ}^{(p)}$-linear isomorphism $\widehat \Lambda^{(p)} \xrightarrow{\sim} T^{(p)}( A_{\bar s_i})$ and is an isomorphism $\widehat{{\mathbb{Z}}}^{(p)}{\xrightarrow}{\sim} \widehat {\mathbb{Z}}^{(p)}(1)$ such that following diagram commute: $$\xymatrix{ \Lambda^{(p)}\times \widehat \Lambda^{(p)}\ar[rr]^-{\psi}\ar[d]_{\alpha^p_i\times \alpha_i^p} &&\widehat{{\mathbb{Z}}}^{(p)}\ar[d]^{\nu(\alpha_i^p)}\\ s_i})\times s_i}) \ar[rr]^-{\lambda-\mathrm{Weil}} \widehat{{\mathbb{Z}}}^{(p)}(1). - each prime $\gothp\in of type $\alpha^\sharp$, let $\gothq$ and $\bar\gothq$ be the two primes of $E$ above $\gothp$. Then $\alpha_p$ a collection
 a locally free module of rank tWo over $$\bigoPlus_{\gOthP \teXtRm{ of Type  }\Beta^\sharp} \calO_S \OTimeS_{\ZZ_p} (\calO_E \otimes_{\calO_F} k_\gOthp).$$

-   $ \aLpHA_{K'}$ is A PaIr $( \alpHa^p_{K'^p}, \alPHa_P)$ DEfiNeD aS foLlOWs:

    -   for eaCh cOnnecteD component $s_i$ oF $S$, We choose a geoMEtRic point $\baR{s}_i$, And let $T^{(p)}(A_{\bar{S}_i})$ bE the prOdUct OF $l$-adiC TaTe modUles of $a$ At $\bar{s}_I$ for all $l\nEq P$. then $\alPHa^p_{K'^p}$ is A COlLectIon of $\pi_1(S_i, \bar{s}_i)$-invARiANt $K'^p$-orbit of paiRs $(\alphA^p_I, \Nu(\ALPha^P_i))$, wHere $\alpha^p_I$ iS an $\caLo_{D_\ttS}\otIMeS_\zz \WidEHat{\ZZ}^{(p)}$-linear iSomorphism $\wIDehAt \LambDa^{(P)} \xrIGhtarrOw{\sim} t^{(p)}( a_{\Bar S_i})$ and $\nu(\alphA^p_i)$ iS an isomorPhism $\wIDehat{{\maTHbb{Z}}}^{(p)}{\xrIghtarRow}{\Sim} \WideHAt {\MaThbB{Z}}^{(P)}(1)$ SucH ThAt tHE foLlowing dIaGrAm comMute: $$\XYMATrix{
        \WidEhat \lambdA^{(p)}\times \widehaT \LaMbda^{(P)}\Ar[rR]^-{\psi}\aR[d]_{\alpHa^p_i\TiMes \alPha_i^p} &&\wIdehaT{{\mAthbb{Z}}}^{(p)}\ar[d]^{\nu(\alpHa_i^p)}\\
        t^{(p)}(A_{\bar s_i})\tImeS T^{(P)}(A_{\bAr S_i}) \ar[rR]^-{\Lambda-\MatHrm{weil}} && \widEhat{{\matHBb{Z}}}^{(P)}(1).
        }$$

    -   FOR EAcH prime $\gothp\in \Sigma_P$ oF TYpE $\alpha^\shArp$, let $\GOtHq$ ANd $\bar\gotHq$ Be tHe twO PRimes Of $E$ aBOvE $\gothp$. ThEn $\alphA_P$ iS a CollectIoN of $\calo_{D_\TtS
 a locally free module ofrank two o ver $ $\b igo pl us_{ \got hp \textrm{ of type   }\beta^\sharp} \calO _S \o ti m es_{ \ ZZ _p} ( \calO_E \o t i mes _{ \c alO _F }  k _\got hp) .$$

-  $ \alpha _{K '} $ is a pair$ (\alpha^p_{ K'^ p}, \alpha_p )$define dasf ollow s:
   -   Fo r  eachconnected  c o mponen t  $S_i$o f  $ S$,we choose a geome t ri c  point $\bar{s }_i$,an d  l e t  $T ^{( p)}(A_{\ba r{ s}_i} ) $ be th e  p r o d uct of $l$-adic T ate modules of$A$ at  $ \ba r {s}_i$  foral l  $l \neq p$. Th en $ \alpha^p_ {K'^p} $  is a c o llectio n of $ \pi _1( S_i, \b ar {s} _i ) $-i n va ria n t $ K'^p$-or bi tof pa irs$ ( \ a lpha ^p_ i, \ nu(\a lpha^p_i))$,whe re $ \ alp ha^p_ i$ is  an$\ calO_ {D_\tt S}\ot im es_\ZZ \widehat {\ZZ }^{(p)}$- lin ea r i so morph i sm $\w ide hat  \Lambd a^{(p)} \xr ig h t a rr ow{\sim} T^{(p)}(A_ { \ ba r s_i})$  and $ \ nu (\ a lpha^p_i )$  is  ani s omorp hism $\ widehat{ {\math b b{ Z} }}^{(p) }{ \xrigh ta rro w}{ \sim} \wid ehat { \mathbb{ Z}}^{ ( p)}(1)$ such t h at the follow i ng d ia g ramcom mute: $$\xy matr i x{
    \wi d ehat\Lamb da ^ {( p )}\times \widehat \ La mbda^{ (p)}\ ar[rr]^-{\psi }\ar[d]_{\ a l p ha^p_i\t imes \a l pha_i^p} &&\wi dehat {{\mathbb{ Z }}}^{(p) }\ar[ d]^{\nu( \alpha_i^ p ) }\\
      T^ {(p )}( A _ {\ bar s_i})\tim e s  T^{ (p )}(A_{\ bar  s_i})\ar [rr ]^- {\l am bda-\math rm{Weil} }&&  \ wi deh at{{\ m athbb{Z} }} ^{( p) }(1 ).
      } $$

   -   F o r e ach pri m e$ \ goth p\ in  \Si gma _p $ oftype $\a lpha^\s harp$, le t $ \ goth q$  a nd $\ba r\gothq$ be t he  two prime sof$E$ ab o v e $\goth p$. Then $\alpha_p$ isa  collec tio n of$\ca lO_{D_\tt S
 a_locally free_module of rank two_over $$\bigoplus_{\gothp_\textrm{_of type__}\beta^\sharp} \calO_S \otimes_{\ZZ_p}_(\calO_E \otimes_{\calO_F} k_\gothp).$$

-_  $ \alpha_{K'}$_is a pair_$(_\alpha^p_{K'^p}, \alpha_p)$ defined as follows:

    -   For each connected_component_$S_i$ of_$S$,_we_choose a geometric point $\bar{s}_i$,_and let $T^{(p)}(A_{\bar{s}_i})$ be the_product of_$l$-adic Tate modules of $A$ at $\bar{s}_i$ for_all_$l\neq p$. Then_$\alpha^p_{K'^p}$ is a collection of $\pi_1(S_i, \bar{s}_i)$-invariant $K'^p$-orbit of_pairs $(\alpha^p_i, \nu(\alpha^p_i))$, where $\alpha^p_i$ is_an $\calO_{D_\ttS}\otimes_\ZZ \widehat{\ZZ}^{(p)}$-linear_isomorphism_$\widehat_\Lambda^{(p)} \xrightarrow{\sim} T^{(p)}( A_{\bar_s_i})$ and $\nu(\alpha^p_i)$ is an isomorphism_$\widehat{{\mathbb{Z}}}^{(p)}{\xrightarrow}{\sim} \widehat {\mathbb{Z}}^{(p)}(1)$ such that the_following diagram commute: $$\xymatrix{
   _    \widehat \Lambda^{(p)}\times_\widehat \Lambda^{(p)}\ar[rr]^-{\psi}\ar[d]_{\alpha^p_i\times \alpha_i^p} &&\widehat{{\mathbb{Z}}}^{(p)}\ar[d]^{\nu(\alpha_i^p)}\\
 _ _    T^{(p)}(A_{\bar_s_i})\times T^{(p)}(A_{\bar s_i})_\ar[rr]^-{\lambda-\mathrm{Weil}} &&_\widehat{{\mathbb{Z}}}^{(p)}(1).
  _     }$$

_  _-   For each prime_$\gothp\in_\Sigma_p$ of type_$\alpha^\sharp$,_let_$\gothq$ and_$\bar\gothq$ be the_two_primes of_$E$_above $\gothp$. Then $\alpha_p$ is a_collection_of $\calO_{D_\ttS