^s(U,A)^* \cong \varinjlim_U
    \operatorname{Hom}_{{\mathbb Z}_p}(A,I)^U = \operatorname{Hom}_{{\mathbb Z}_p}(A,I)$, as $I$ is also a dualizing module for every open subgroup of $G$.

Note that $$H^0 ( {\pmb{\mathrm{\chi}}} \circ [d] \circ {{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak
          m}}) = {\pmb{\mathrm{\chi}}}\circ {{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak
          m}}$$ and that ${\pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak m}}$ is hence right-exact. Note furthermore that $$\begin{aligned}
      H^0( [-s]\circ T \circ \operatorname{{\pmb{\mathrm{R}}}Hom}_\Lambda(-,\Lambda)) &= \operatorname{E}^s(-)^\vee
      \\
                                                       &\cong \varinjlim_k {{\pmb{\mathrm{L}}}}^{-s}D \operatorname{Ext}^d_R(R/\mathfrak m^k, -)^\vee \\
                                                       &\cong \varinjlim_k \operatorname{Hom}_{{\mathbb Z}_p} (\operatorname{Ext}^d_R(R/\mathfrak m^k, -)^\vee,
                                                         I)\\
                                                       &\cong {\pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^d\Gamma_{\underline{\mathfrak m}}
    \end{aligned}$$ using \[prop:pont-of-iw-adjoint-with-duality-grp-has-deg-spec-seq\] and Pontryagin duality.

By [@MR0222093 I.7.4] the left derivation of ${{\pmb{\mathrm{R}}}}^d\Gamma_{\underline{\mathfrak m}}$ is $[d]\circ{{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak m}}$: The complex ${{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak m}}(R)$ is concentrated in degree $d$ and hence every module is a quotient of a module with this property, as local cohomology commutes with arbitrary direct limits.

Note that even though this theorem suspiciously looks like local duality, the local cohomology on the right hand side is with respect to the
^s(U, A)^ * \cong \varinjlim_U 
     \operatorname{Hom}_{{\mathbb Z}_p}(A, I)^U = \operatorname{Hom}_{{\mathbb Z}_p}(A, I)$, as $ I$ is also a dualizing module for every open subgroup of $ G$. 

 Note that $ $ H^0 ({ \pmb{\mathrm{\chi } } } \circ [ d ] \circ { { \pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak 
           m } }) = { \pmb{\mathrm{\chi}}}\circ { { \pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak 
           m}}$$ and that $ { \pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak m}}$ is therefore justly - exact. Note furthermore that $ $ \begin{aligned } 
       H^0 ([ -s]\circ T \circ \operatorname{{\pmb{\mathrm{R}}}Hom}_\Lambda(-,\Lambda) ) & = \operatorname{E}^s(-)^\vee 
       \\ 
                                                        & \cong \varinjlim_k { { \pmb{\mathrm{L}}}}^{-s}D \operatorname{Ext}^d_R(R/\mathfrak m^k, -)^\vee \\ 
                                                        & \cong \varinjlim_k \operatorname{Hom}_{{\mathbb Z}_p } (\operatorname{Ext}^d_R(R/\mathfrak m^k, -)^\vee, 
                                                          I)\\ 
                                                        & \cong { \pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^d\Gamma_{\underline{\mathfrak m } } 
     \end{aligned}$$ use \[prop: pont - of - information warfare - adjoint - with - duality - grp - has - deg - spec - seq\ ] and Pontryagin dichotomy. 

 By [ @MR0222093 I.7.4 ] the leftover derivation of $ { { \pmb{\mathrm{R}}}}^d\Gamma_{\underline{\mathfrak m}}$ is $ [ d]\circ{{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak m}}$: The complex $ { { \pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak m}}(R)$ is concentrated in degree $ d$ and hence every module is a quotient of a faculty with this property, as local cohomology commutes with arbitrary direct limits. 

 notice that even though this theorem suspiciously looks like local duality, the local cohomology on the proper hand side is with esteem to the
^s(U,A)^* \cong \varinjlim_U
    \operxtorname{Hom}_{{\mathyv Z}_p}(A,I)^N = \operztorname{Fom}_{{\mathbb Z}_p}(A,I)$, as $I$ is also e duqlizibg module for every opdn subgrolp of $G$.

Nore tiat $$H^0 ( {\pmb{\mathrm{\rgi}}} \circ [d] \cird {{\pmb{\kethrm{R}}}}\Gamma_{\undetline{\mathfran
          m}}) = {\[mc{\mcthrm{\chi}}}\circ {{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underlige{\mathftan
          m}}$$ agd tnwt ${\pjb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^{d}\Gamma_{\undsrline{\methfrak m}}$ is hemce right-exact. Note furthegmorf that $$\begin{alignef}
      H^0( [-s]\curc E \circ \operaturname{{\pmb{\mathrm{R}}}Hom}_\Lamgda(-,\Lambda)) &= \operatorname{E}^s(-)^\vee
      \\
                                                       &\cong \vsrinjlim_k {{\pmb{\msthcm{L}}}}^{-s}E \operatorname{Ext}^d_R(R/\methfrak m^k, -)^\vee \\
                                                       &\doig \barinjpim_i \operatorhame{Hom}_{{\mathvb Z}_p} (\operatorname{Ect}^q_G(T/\mathfrak m^k, -)^\vee,
                                                         I)\\
                                                       &\cong {\pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^d\Gamka_{\undxruint{\mqthfrxj l}}
    \end{aligned}$$ using \[prop:pont-of-iw-adjoint-with-qhakiny-grp-has-deg-spec-sez\] and Pontruahim duality.

By [@MR0222093 I.7.4] the lert derivation of ${{\plb{\mathri{R}}}}^d\Ganma_{\underlyne{\msthfrak m}}$ is $[d]\circ{{\pmb{\mathrm{E}}}}\Gamma_{\underlpne{\mqthfrak m}}$: The comppex ${{\pmb{\mathxm{R}}}}\Gamka_{\undrrline{\mathfrak m}}(R)$ is coucentrzted in deggee $d$ and fence every moduue ps a quotienu of a module with this pro'erty, as locxl cphomoljgy commutfs wibv arbitrary direct limijs.

Note that even though this theorem suspiciously looks like kowal duality, the kocal cohomoljgy on the rigkt hand fide ks with reapect tm the
^s(U,A)^* \cong \varinjlim_U \operatorname{Hom}_{{\mathbb Z}_p}(A,I)^U = \operatorname{Hom}_{{\mathbb $I$ also a module for every that ( {\pmb{\mathrm{\chi}}} \circ \circ {{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak m}}) {\pmb{\mathrm{\chi}}}\circ {{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak m}}$$ and that ${\pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak is hence right-exact. Note furthermore that $$\begin{aligned} H^0( [-s]\circ T \circ \operatorname{{\pmb{\mathrm{R}}}Hom}_\Lambda(-,\Lambda)) &= \\ &\cong \varinjlim_k {{\pmb{\mathrm{L}}}}^{-s}D \operatorname{Ext}^d_R(R/\mathfrak m^k, -)^\vee \\ &\cong \varinjlim_k \operatorname{Hom}_{{\mathbb Z}_p} (\operatorname{Ext}^d_R(R/\mathfrak -)^\vee, &\cong m}} using \[prop:pont-of-iw-adjoint-with-duality-grp-has-deg-spec-seq\] and Pontryagin duality. By [@MR0222093 I.7.4] the left derivation of ${{\pmb{\mathrm{R}}}}^d\Gamma_{\underline{\mathfrak m}}$ is $[d]\circ{{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak The complex ${{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak m}}(R)$ is concentrated in degree and hence every module a quotient of a module this as local commutes arbitrary limits. Note that though this theorem suspiciously looks like local duality, the local cohomology on the right hand side is respect to
^s(U,A)^* \cong \varinjlim_U
    \operatorName{Hom}_{{\matHbb Z}_p}(a,I)^U = \OpeRaTornAme{HOm}_{{\mathbb Z}_p}(A,I)$, as $i$ Is alSo a dualizing module for eVery oPeN SubgROuP of $G$.

NOte that $$h^0 ( {\PmB{\MAthRm{\ChI}}} \ciRc [D] \CiRc {{\pmb{\MatHrm{R}}}}\GamMa_{\underlinE{\maThFrak
          m}}) = {\pmb{\mathRM{\cHi}}}\circ {{\pmb{\mAthRm{R}}}}^{d}\Gamma_{\undErlIne{\matHfRak
          M}}$$ And thAt ${\pMb{\matHrm{\chi}}}\CIrc{{\pmb{\Mathrm{R}}}}^{d}\GAmMA_{\underLIne{\mathFRAk M}}$ is hEnce right-exact. NotE FuRThermore that $$\beGin{aliGnED}
      H^0( [-S]\CIrc t \ciRc \operatorNaMe{{\pmb{\MAthrm{R}}}HOM}_\LAMBDa(-,\LAMbda)) &= \operatornAme{E}^s(-)^\vee
      \\
                                                       &\conG \VarInjlim_K {{\pMb{\mAThrm{L}}}}^{-s}d \operAtORnaMe{Ext}^d_R(R/\matHfraK m^k, -)^\vee \\
                                                       &\conG \varinJLim_k \opeRAtornamE{Hom}_{{\maThbB Z}_p} (\OperAToRnAme{exT}^D_R(R/\MAtHfrAK m^k, -)^\Vee,
                                                         I)\\
                                                       &\cong {\PmB{\mAthrm{\Chi}}}\cIRC{{\PMb{\maThrM{R}}}}^d\GAmma_{\uNderline{\mathfRak M}}
    \end{ALigNed}$$ usIng \[prOp:poNt-Of-iw-aDjoint-With-dUaLity-grp-has-deg-spEc-seQ\] and PontrYagIn DuaLiTy.

By [@Mr0222093 i.7.4] the leFt dEriVation oF ${{\pmb{\matHRm{R}}}}^D\GAMMA_{\uNderline{\mathfrak m}}$ iS $[d]\CIRc{{\Pmb{\mathrM{R}}}}\GammA_{\UnDeRLine{\mathFrAk m}}$: the cOMPlex ${{\pMb{\maTHrM{R}}}}\Gamma_{\uNderliNE{\mAtHfrak m}}(R)$ Is ConcenTrAteD in DegreE $D$ and Hence eVery moduLe is a QUotient of a moduLE with this propERtY, AS lOCal cOhoMology commuTes wITh arBitrARy DirECt limIts.

NoTe THaT Even though this theorEm SuspicIouslY looks like locAl duality, tHE LOcal cohoMoloGY oN The right hand siDe is wIth respect TO the
^s(U,A)^* \cong \varinjlim _U
    \op erato rna me{ Ho m}_{ {\ma thbb Z}_p}(A,I ) ^U =  \operatorname{Hom}_{{ \math bb Z}_p } (A ,I)$,  as $I$ is a lso  a  d ual iz i ng  modu lefor eve ry open su bgr ou p of $G$.

N o te  that $$H^ 0 (  {\pmb{\math rm{ \chi}} }\ci r c [d]  \c irc { {\pmb{ \ mathrm {R}}}}\Ga mm a _{\und e rline{\ m a th frak 
          m}}) = {\ p mb{\mathrm{\ch i}}}\c ir c  { { \ pmb {\m athrm{R}}} }^ {d}\G a mma_{\u n de r l i ne{ \ mathfrak
         m}}$$ and  that${ \pm b {\math rm{\c hi } }}\ circ{{\pmb{ \mat hrm{R}}}} ^{d}\G a mma_{\u n derline {\math fra k m }}$i she nce  r i ght - ex act .  No te furth er mo re th at $ $ \ b e gin{ ali gned }
     H^0( [-s]\ cir c T\ cir c \op erato rnam e{ {\pmb {\math rm{R} }} Hom}_\Lambda(-, \Lam bda)) &=\op er ato rn ame{E } ^s(-)^ \ve e
     \\ 
                                        & \c on g  \varinj li m_k  {{\ p m b{\ma thrm { L} }}}^{-s} D \ope r at or name{Ex t} ^d_R(R /\ mat hfr ak m^ k , -) ^\vee\\
                                         &\cong \va rinj l im_k  \op e ra tor n ame{H om}_{ {\ m at h bb Z}_p} (\operator na me{Ext }^d_R (R/\mathfrakm^k, -)^\v e e , 
                                               I )\\
                                        &\c on g {\pmb {\m athrm{\ chi }}} \ci rc{ {\ pmb{\math rm{R}}}} ^d \G am ma _{\ under l ine{\mat hf rak  m }}    \ e nd{ali gned} $$ u si ng \[p rop:pon t -o f - iw-a dj oi nt-w ith -d ualit y-gr p -ha s-deg-s pec-seq\]  an d  Pon tr ya gin dua lity.

By [@M R0 222093 I.7 .4 ] t he lef t derivati on of ${{\pmb{\mathrm{R } }}}^d\G amm a_{\u nder line{\mat hfr ak m}} $ i s  $[d]\ circ{{ \pmb{ \m ath r m {R}}} } \ Ga mma _{ \underline { \ mat hfrak  m }}$:  The co mplex ${{\pmb{\mat h rm{ R}}}}\Gamma_{ \un derl i n e{ \ma t hf r akm} } (R) $ is concentrated  in degree  $ d $and hencee ver ymoduleis a qu otien t  of a m odule wit h this pr op erty , aslocal coho mology c ommutes w i th ar b it rarydir ect li mi ts. 

Not e that eve n tho ugh th is  theor em su sp iciously  looks like local duali ty, th e loc alcohomolog y o n  th e right h andside is wi thres pecttot he
^s(U,A)^* \cong_\varinjlim_U
 _  \operatorname{Hom}_{{\mathbb Z}_p}(A,I)^U_= \operatorname{Hom}_{{\mathbb_Z}_p}(A,I)$,_as $I$_is_also a dualizing_module for every_open subgroup of $G$.

Note_that $$H^0 (_{\pmb{\mathrm{\chi}}}_\circ [d] \circ {{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak
          m}})_=_{\pmb{\mathrm{\chi}}}\circ {{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak
___    _  m}}$$ and that_${\pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^{d}\Gamma_{\underline{\mathfrak m}}$_is hence right-exact. Note furthermore that $$\begin{aligned}
 __  _H^0( [-s]\circ T \circ \operatorname{{\pmb{\mathrm{R}}}Hom}_\Lambda(-,\Lambda)) &= \operatorname{E}^s(-)^\vee
  _   \\
  _  ___   _     _     _      _     _    _ _    _  _ _ &\cong \varinjlim_k_{{\pmb{\mathrm{L}}}}^{-s}D \operatorname{Ext}^d_R(R/\mathfrak m^k, -)^\vee \\
 _  _     __  ___ _  __ __     __      _   __   _    _ &\cong \varinjlim_k \operatorname{Hom}_{{\mathbb Z}_p} (\operatorname{Ext}^d_R(R/\mathfrak_m^k, -)^\vee,
_ _          _     _   _ __  __ _      _ _     _   __    I)\\
 _     _    ___    _     _  _      __     __     ___   &\cong {\pmb{\mathrm{\chi}}}\circ{{\pmb{\mathrm{R}}}}^d\Gamma_{\underline{\mathfrak_m}}
    \end{aligned}$$ using_\[prop:pont-of-iw-adjoint-with-duality-grp-has-deg-spec-seq\] and Pontryagin duality.

By [@MR0222093 I.7.4] the left derivation_of ${{\pmb{\mathrm{R}}}}^d\Gamma_{\underline{\mathfrak m}}$_is $[d]\circ{{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak m}}$: The complex_${{\pmb{\mathrm{R}}}}\Gamma_{\underline{\mathfrak_m}}(R)$_is concentrated in degree $d$ and hence every module is_a quotient_of a module_with this property, as local cohomology commutes with arbitrary direct_limits.

Note that even though this theorem suspiciously_looks like local duality, the local cohomology on the right hand_side is with respect to the