 ignores the space $X$. We need a similar result in our setup.

\[lem:forget\_X\] The functor $p_X^*\colon {\mathrm{KK}}^G\to{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$ maps ${{\mathcal{CC}}},{{\mathcal{CI}}},{\langle{{\mathcal{CI}}}\rangle}
  \subseteq{\mathrm{KK}}^G$ to the corresponding subcategories in ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$. If $f\in{\mathrm{KK}}^G(A,B)$ is a weak equivalence or vanishes for compact subgroups, so does $p_X^*(f)$. If ${{\mathsf{D}}}\in{\mathrm{KK}}^G({{\mathsf{P}}},{{\star}})$ is a Dirac morphism for $G$, then $p_X^*({{\mathsf{D}}})\in{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(C_0(X,{{\mathsf{P}}}),C_0(X))$ is a Dirac morphism for $G{\mathbin{\ltimes}}X$. There are natural isomorphisms $$(G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A,
  \qquad
  (G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A.$$

Recall from Section \[sec:preliminaries\] that the functor $p_X^*$ is compatible with restriction and induction. This implies $p_X^*({{\mathcal{CC}}})\subseteq{{\mathcal{CC}}}$ and $p_X^*({{\mathcal{CI}}})\subseteq{{\mathcal{CI}}}$. The same holds for ${\langle{{\mathcal{CI}}}\rangle}$ because $p_X^*$ is triangulated and commutes with direct sums. This implies the assertions about weak equivalences and Dirac morphisms. Now  yields $$(G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A
  \cong (G{\mathbin{\ltimes}}X) {\mathbin{\ltimes_{\mathrm{r}}}}(p_X^*({{\mathsf{P}}})
ignores the space   $ X$. We need a similar resultant role in our apparatus. 

 \[lem: forget\_X\ ] The functor $ p_X^*\colon { \mathrm{KK}}^G\to{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$ maps $ { { \mathcal{CC}}},{{\mathcal{CI}}},{\langle{{\mathcal{CI}}}\rangle } 
   \subseteq{\mathrm{KK}}^G$ to the corresponding subcategories in $ { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}$. If $ f\in{\mathrm{KK}}^G(A, B)$ is a weak comparison or vanishes for compact subgroups, indeed does $ p_X^*(f)$. If $ { { \mathsf{D}}}\in{\mathrm{KK}}^G({{\mathsf{P}}},{{\star}})$ is a Dirac morphism for   $ G$, then $ p_X^*({{\mathsf{D}}})\in{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(C_0(X,{{\mathsf{P}}}),C_0(X))$ is a Dirac morphism for $ G{\mathbin{\ltimes}}X$. There be natural isomorphism $ $ (G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A, 
   \qquad 
   (G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A.$$ 

 Recall from Section   \[sec: preliminaries\ ] that the functor   $ p_X^*$ is compatible with limitation and induction. This implies $ p_X^*({{\mathcal{CC}}})\subseteq{{\mathcal{CC}}}$ and $ p_X^*({{\mathcal{CI}}})\subseteq{{\mathcal{CI}}}$. The like holds for $ { \langle{{\mathcal{CI}}}\rangle}$ because   $ p_X^*$ is triangulated and commute with direct sums. This implies the assertions about weak equivalences and Dirac morphisms. Now    succumb $ $ (G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A 
   \cong (G{\mathbin{\ltimes}}X) { \mathbin{\ltimes_{\mathrm{r}}}}(p_X^*({{\mathsf{P } } } )
 igjores the space $X$. We need a similar result in onr setul.

\[lem:forgdt\_X\] The functor $p_X^*\colon {\mathcm{KK}}^T\to{\maukrm{KK}}^{G{\mathbin{\ltimes}}X}$ maps ${{\matjcal{CC}}},{{\marhcao{XI}}},{\langle{{\mavgcal{CI}}}\rangle}
  \dubsztxq{\mathrm{KK}}^G$ to jhe correspotding subcategmrked in ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$. If $f\in{\iathrm{KL}}^G(W,B)$ is a weak ezuivsjencs or vanishes for compact subgroupa, so dots $p_X^*(f)$. If ${{\mathsf{D}}}\im{\mathrm{KK}}^G({{\mathsf{P}}},{{\star}})$ is a Dirwc morphism for $G$, tjen $p_X^*({{\mathsd{D}}})\in{\iqthrm{KK}}^{G{\mathcin{\ltimes}}X}(B_0(R,{{\mathsf{P}}}),C_0(X))$ js a Dirac morphism for $G{\mathbiv{\ltimzs}}X$. There atz nahoral isomorpiisms $$(D{\mathbin{\ltimcx}}X){\mathtin{\ltimrs^{\mathbb{L}}_{\mathrk{r}}}}A\rong G{\mathbin{\ltimes^{\mathbb{N}}_{\mathrm{r}}}}A,
  \qquad
  (D{\mathbin{\ldijes}}X){\mathbin{\ltimes^{\narhrm{Ots}}_{\madhrm{f}}}}Q\covg F{\methgin{\ltiles^{\jathrm{Obs}}_{\mzthrm{r}}}}A.$$

Recaol from Section \[sec:ptejpkinaries\] thaf the sugctor $p_X^*$ is compatible with restriction dnd induction. This implies $p_X^*({{\mathcal{CC}}})\subseteq{{\mwthcal{CC}}}$ wnd $p_X^*({{\mathcal{CI}}})\subseteq{{\mathcal{CI}}}$. The same holds fmr ${\laigue{{\mcbmcal{ZU}}}\rwngle}$ because $p_X^*$ is triangulated and commutes rjtn cirect sums. Thls implies the assrrhipgs about weak equivcmehces and Dirac morohisms. Gow  yuelds $$(G{\mauhbin{\ktimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\nathrm{r}}}}A
  \coug (T{\mathbin{\ltimes}}X) {\machbin{\ltimes_{\mcthrm{r}}}}(k_X^*({{\mathxf{P}}})
ignores the space $X$. We need a in setup. \[lem:forget\_X\] functor $p_X^*\colon {\mathrm{KK}}^G\to{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$ corresponding in ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$. If is a weak or vanishes for compact subgroups, so $p_X^*(f)$. If ${{\mathsf{D}}}\in{\mathrm{KK}}^G({{\mathsf{P}}},{{\star}})$ is a Dirac morphism for $G$, then $p_X^*({{\mathsf{D}}})\in{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(C_0(X,{{\mathsf{P}}}),C_0(X))$ is a morphism for $G{\mathbin{\ltimes}}X$. There are natural isomorphisms $$(G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A, \qquad (G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A.$$ Recall Section that functor is compatible with restriction and induction. This implies $p_X^*({{\mathcal{CC}}})\subseteq{{\mathcal{CC}}}$ and $p_X^*({{\mathcal{CI}}})\subseteq{{\mathcal{CI}}}$. The same holds for ${\langle{{\mathcal{CI}}}\rangle}$ $p_X^*$ is triangulated and commutes with direct sums. implies the assertions about equivalences and Dirac morphisms. Now $$(G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A (G{\mathbin{\ltimes}}X) {\mathbin{\ltimes_{\mathrm{r}}}}(p_X^*({{\mathsf{P}}})
 ignores the space $X$. We need a siMilar resulT in ouR seTup.

\[LeM:forGet\_X\] the functor $p_X^*\coLOn {\maThrm{KK}}^G\to{\mathrm{KK}}^{G{\mathBin{\ltImES}}X}$ maPS ${{\mAthcaL{CC}}},{{\mathCAl{ci}}},{\LanGlE{{\mAthCaL{cI}}}\RanglE}
  \suBseteq{\mAthrm{KK}}^G$ to The CoRresponding sUBcAtegories iN ${\maThrm{KK}}^{G{\mathbIn{\lTimes}}X}$. if $F\in{\MAthrm{kK}}^G(a,B)$ is a Weak eqUIvalenCe or vanisHeS For comPAct subgROUpS, so dOes $p_X^*(f)$. If ${{\mathsf{D}}}\in{\MAtHRm{KK}}^G({{\mathsf{P}}},{{\stAr}})$ is a DIrAC mORPhiSm fOr $G$, then $p_X^*({{\mAtHsf{D}}})\iN{\Mathrm{Kk}}^{g{\mATHBin{\LTimes}}X}(C_0(X,{{\mathsF{P}}}),C_0(X))$ is a DiraC MorPhism fOr $g{\maTHbin{\ltImes}}X$. thERe aRe natural isOmorPhisms $$(G{\maThbin{\lTImes}}X){\maTHbin{\ltiMes^{\matHbb{l}}_{\maThrm{R}}}}a\cOnG G{\mAtHBin{\LTiMes^{\MAthBb{L}}_{\mathrM{r}}}}a,
  \qQuad
  (G{\MathBIN{\LTimeS}}X){\mAthbIn{\ltiMes^{\mathrm{Obs}}_{\mAthRm{r}}}}A\COng g{\mathBin{\ltImes^{\MaThrm{OBs}}_{\mathRm{r}}}}A.$$

REcAll from Section \[sEc:prEliminariEs\] tHaT thE fUnctoR $P_X^*$ is coMpaTibLe with rEstrictIOn aNd INDUcTion. This implies $p_X^*({{\mAtHCAl{cC}}})\subsetEq{{\mathCAl{cC}}}$ ANd $p_X^*({{\mathCaL{CI}}})\SubsETEq{{\matHcal{ci}}}$. THe same hoLds for ${\LAnGlE{{\mathcaL{Ci}}}\ranglE}$ bEcaUse $P_X^*$ is tRIangUlated And commuTes wiTH direct sums. ThiS Implies the assERtIONs ABout WeaK equivalencEs anD diraC morPHiSms. nOw  yieLds $$(G{\mAtHBiN{\Ltimes}}X){\mathbin{\ltimeS^{\mAthbb{L}}_{\MathrM{r}}}}A
  \cong (G{\mathbIn{\ltimes}}X) {\mATHBin{\ltimeS_{\matHRm{R}}}}(P_X^*({{\mathsf{P}}})
 ignores the space $X$. We  need a si milar  re sul tin o ur s etup.

\[lem:f o rget \_X\] The functor $p_X ^*\co lo n  {\m a th rm{KK }}^G\to { \m a t hrm {K K} }^{ G{ \ ma thbin {\l times}} X}$ maps $ {{\ ma thcal{CC}}}, { {\ mathcal{CI }}} ,{\langle{{\ mat hcal{C I} }}\ r angle }
 \sub seteq{ \ mathrm {KK}}^G$to the co r respond i n gsubc ategories in ${\m a th r m{KK}}^{G{\mat hbin{\ lt i me s } }X} $.If $f\in{\ ma thrm{ K K}}^G(A , B) $ i s a weak equivale nce or vani s hes  for c om pac t  subgr oups,  s o  do es $p_X^*(f )$.If ${{\ma thsf{D } }}\in{\ m athrm{K K}}^G( {{\ mat hsf{ P }} }, {{\ st a r}} ) $isa  Di rac morp hi sm  for$G$, t h e n $p _X^ *({{ \math sf{D}}})\in{\ mat hrm{ K K}} ^{G{\ mathb in{\ lt imes} }X}(C_ 0(X,{ {\ mathsf{P}}}),C_ 0(X) )$ is a D ira cmor ph ism f o r $G{\ mat hbi n{\ltim es}}X$. The re a r enatural isomorphis ms $ $( G{\mathb in{\lt i me s} } X){\math bi n{\ ltim e s ^{\ma thbb { L} }_{\math rm{r}} } }A \c ong G{\ ma thbin{ \l tim es^ {\mat h bb{L }}_{\m athrm{r} }}}A,   \qquad
  (G{ \ mathbin{\ltim e s} } X ){ \ math bin {\ltimes^{\ math r m{Ob s}}_ { \m ath r m{r}} }}A\c on g  G { \mathbin{\ltimes^{\ ma thrm{O bs}}_ {\mathrm{r}}} }A.$$

Rec a l l  from Se ctio n  \ [ sec:preliminar ies\]  that thef unctor $ p_X^* $ is com patible w i t h restri cti onand  in d u ct ion. This imp l i es $ p_ X^*({{\ mat hcal{CC }}} )\s ubs ete q{ {\mathcal {CC}}}$an d$p _X ^*( {{\ma t hcal{CI} }} )\s ub set eq{{\ m athcal {CI}} }$.Th es ame  holdsf or $ {\la ng le {{\m ath ca l{CI} }}\r a ngl e}$ bec ause $p_X ^*$ is t ri an gulated  and commutes  w ith direct  s ums . This i mplies t he assertions about wea k  equiva len ces a nd D irac morp his ms. No w y ields$$(G{\ mathb in {\l t i mes}} X ) {\ mat hb in{\ltimes ^ { \ma thbb{ L} }_{\ mathrm{ r}}}}A
  \cong (G{ \ mat hbin{\ltimes} }X)  {\m a t hb in{ \ lt i mes _{ \ mat h r m{r}}}}(p_X^*({ {\mathsf{P }} } )
 ignores_the space $X$._We need a similar_result in_our_setup.

\[lem:forget\_X\] The_functor_$p_X^*\colon {\mathrm{KK}}^G\to{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$ maps_${{\mathcal{CC}}},{{\mathcal{CI}}},{\langle{{\mathcal{CI}}}\rangle}
  \subseteq{\mathrm{KK}}^G$_to the corresponding subcategories_in ${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}$. If_$f\in{\mathrm{KK}}^G(A,B)$_is a weak equivalence or vanishes for compact subgroups, so does $p_X^*(f)$. If ${{\mathsf{D}}}\in{\mathrm{KK}}^G({{\mathsf{P}}},{{\star}})$_is_a Dirac_morphism_for $G$,_then $p_X^*({{\mathsf{D}}})\in{\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(C_0(X,{{\mathsf{P}}}),C_0(X))$ is a Dirac_morphism for $G{\mathbin{\ltimes}}X$. There are_natural isomorphisms_$$(G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A,
  \qquad
  (G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A\cong G{\mathbin{\ltimes^{\mathrm{Obs}}_{\mathrm{r}}}}A.$$

Recall from_Section \[sec:preliminaries\]_that the functor $p_X^*$_is compatible with restriction and induction. This implies $p_X^*({{\mathcal{CC}}})\subseteq{{\mathcal{CC}}}$_and $p_X^*({{\mathcal{CI}}})\subseteq{{\mathcal{CI}}}$. The same holds for_${\langle{{\mathcal{CI}}}\rangle}$ because $p_X^*$ is_triangulated_and_commutes with direct sums._This implies the assertions about weak_equivalences and Dirac morphisms. Now  yields_$$(G{\mathbin{\ltimes}}X){\mathbin{\ltimes^{\mathbb{L}}_{\mathrm{r}}}}A
  \cong (G{\mathbin{\ltimes}}X) {\mathbin{\ltimes_{\mathrm{r}}}}(p_X^*({{\mathsf{P}}})