G\operatorname{Res}_G^U(B),B)$ because ${\mathrm{KK}}$ is stable. One verifies easily that the morphisms $\pi_B$ and $\iota_A$ are units of adjunction, so that we get .

After these purely formal manipulations of functors, we now come to a much deeper assertion, which is due to Gennadi Kasparov.

\[pro:ind\_res\] Let $G$ be almost connected and let $H\subseteq G$ be a maximal compact subgroup. If one of $X$, $A$ and $B$ is a proper $G$[-]{}space or a proper $G$-$C^*$[-]{}algebra, then $$\label{eq:res_mc}
    \operatorname{Res}_G^H\colon {\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(A,B)
    \to {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_G^H A,\operatorname{Res}_G^H B)$$ is an isomorphism.

\[lem:ind\_res\] Let $H\subseteq G$ be a large compact subgroup and let $U{\mathrel{:=}}U_H$. There is a natural isomorphism $$\label{eq:ind_res}
    {\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(\operatorname{Ind}_H^G A,B)
    \cong {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_U^H \operatorname{Ind}_H^U A,\operatorname{Res}_G^H B).$$ Define $J_H^G(A){\mathrel{:=}}\operatorname{Ind}_H^G (C_0((U/H)^7)\otimes A)$. Then there is a natural isomorphism $${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(J_H^G A,B)\cong {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(A,\operatorname{Res}_G^H B)$$ if $A$ belongs to the essential range of the functor $\operatorname{Res}_U^H$. Furthermore, the functors $$\operatorname{Res}_U^H\colon {\mathrm{KK}}^{U{\mathbin{\ltimes}}X}\to{\mathrm{KK}}^{H{\mathbin{\ltimes
G\operatorname{Res}_G^U(B),B)$ because $ { \mathrm{KK}}$ is stable. One verifies easily that the morphisms $ \pi_B$ and $ \iota_A$ are units of adjunction, so that we draw  . 

 After these strictly formal manipulations of functors, we nowadays issue forth to a much deeper affirmation, which is due to Gennadi Kasparov. 

 \[pro: ind\_res\ ] Let   $ G$ be almost get in touch and let $ H\subseteq G$ be a maximal compact subgroup. If one of $ X$, $ A$ and   $ B$ is a proper $ G$[-]{}space or a proper $ G$-$C^*$[-]{}algebra, then $ $ \label{eq: res_mc } 
     \operatorname{Res}_G^H\colon { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}(A, B) 
     \to { \mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_G^H A,\operatorname{Res}_G^H B)$$ is an isomorphism. 

 \[lem: ind\_res\ ] lease $ H\subseteq G$ be a large compact subgroup and lease $ U{\mathrel{:=}}U_H$. There is a natural isomorphism $ $ \label{eq: ind_res } 
     { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}(\operatorname{Ind}_H^G A, B) 
     \cong { \mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_U^H \operatorname{Ind}_H^U A,\operatorname{Res}_G^H B).$$ Define $ J_H^G(A){\mathrel{:=}}\operatorname{Ind}_H^G (C_0((U / H)^7)\otimes A)$. Then there is a natural isomorphism $ $ { \mathrm{KK}}^{G{\mathbin{\ltimes}}X}(J_H^G A, B)\cong { \mathrm{KK}}^{H{\mathbin{\ltimes}}X}(A,\operatorname{Res}_G^H B)$$ if   $ A$ belong to the essential range of the functor $ \operatorname{Res}_U^H$. Furthermore, the functors $ $ \operatorname{Res}_U^H\colon { \mathrm{KK}}^{U{\mathbin{\ltimes}}X}\to{\mathrm{KK}}^{H{\mathbin{\ltimes
G\opfratorname{Res}_G^U(B),B)$ becaust ${\mathrm{KK}}$ is stayoe. One verifjes easiuy that the morphisms $\pi_B$ anv $\iora_A$ aee units of adjunction, so that ae get .

Afrer uhese purely formem manipmjatikks of hunctors, we now come to a much deeper avsdrcion, which is due to Gennadi Kasparod.

\[pro:ind\_ted\] Let $G$ be almoft cpgnecfvd and let $H\subseteq G$ be a maxjmal cokpact subgroul. If one of $X$, $A$ and $B$ is a oropfr $G$[-]{}space or a prooer $G$-$C^*$[-]{}algebtz, trwn $$\label{eq:rer_mc}
    \opegctorname{Res}_F^H\colon {\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(X,B)
    \to {\mathrm{JK}}^{Y{\mahvbin{\ltimes}}X}(\iperanorname{Res}_G^H A,\operatosname{Rex}_G^H B)$$ is an ispmocphiwm.

\[lem:ind\_res\] Let $H\subsxteq G$ be a large coipact subcrkup and let $U{\matheeo{:=}}U_H$. Tvere is x nagurzl iaomorpjisj $$\label{eq:ihd_res}
    {\marhrm{KK}}^{G{\mathbin{\ltimex}}X}(\jirratorname{Ins}_H^G A,B)
    \cong {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorndme{Des}_U^H \operatorname{Ind}_H^U A,\operatorname{Res}_G^H B).$$ Define $J_R^G(A){\mathrel{:=}}\operatorname{Ind}_H^G (C_0((U/H)^7)\otimes A)$. Then thera is e vatbvwu idomorphism $${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(J_H^G A,B)\cong {\iztnrk{KK}}^{H{\mathbin{\ltiies}}X}(A,\operatprjakg{Res}_G^H B)$$ if $A$ bglongs ck fhe essential rangf of thg funcror $\operauornake{Res}_U^H$. Furthermore, the funxtors $$\operatjename{Res}_U^H\colon {\machrm{KK}}^{U{\mathbnn{\ltimgs}}X}\to{\msthrm{KK}}^{H{\mathbin{\ltimes
G\operatorname{Res}_G^U(B),B)$ because ${\mathrm{KK}}$ is stable. One verifies the $\pi_B$ and are units of . these purely formal of functors, we come to a much deeper assertion, is due to Gennadi Kasparov. \[pro:ind\_res\] Let $G$ be almost connected and let G$ be a maximal compact subgroup. If one of $X$, $A$ and $B$ a $G$[-]{}space a $G$-$C^*$[-]{}algebra, then $$\label{eq:res_mc} \operatorname{Res}_G^H\colon {\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(A,B) \to {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_G^H A,\operatorname{Res}_G^H B)$$ is an isomorphism. \[lem:ind\_res\] Let $H\subseteq G$ a large compact subgroup and let $U{\mathrel{:=}}U_H$. There a natural isomorphism $$\label{eq:ind_res} A,B) \cong {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_U^H \operatorname{Ind}_H^U A,\operatorname{Res}_G^H Define (C_0((U/H)^7)\otimes A)$. there a isomorphism $${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(J_H^G A,B)\cong B)$$ if $A$ belongs to the essential range of the functor $\operatorname{Res}_U^H$. Furthermore, the functors $$\operatorname{Res}_U^H\colon {\mathrm{KK}}^{U{\mathbin{\ltimes}}X}\to{\mathrm{KK}}^{H{\mathbin{\ltimes
G\operatorname{Res}_G^U(B),B)$ becauSe ${\mathrm{KK}}$ Is staBle. one VeRifiEs eaSily that the morPHismS $\pi_B$ and $\iota_A$ are units of AdjunCtIOn, so THaT we geT .

After tHEsE PUreLy FoRmaL mANiPulatIonS of funcTors, we now cOme To A much deeper aSSeRtion, which Is dUe to Gennadi KAspArov.

\[prO:iNd\_rES\] Let $G$ Be aLmost ConnecTEd and lEt $H\subsetEq g$ Be a maxIMal compACT sUbgrOup. If one of $X$, $A$ and $B$ iS A pROper $G$[-]{}space or a pRoper $G$-$c^*$[-]{}aLGeBRA, thEn $$\lAbel{eq:res_mC}
    \oPeratORname{ReS}_g^H\COLOn {\mAThrm{KK}}^{G{\mathbiN{\ltimes}}X}(A,B)
    \tO {\MatHrm{KK}}^{H{\MaThbIN{\ltimeS}}X}(\opeRaTOrnAme{Res}_G^H A,\opEratOrname{Res}_g^H B)$$ is aN IsomorpHIsm.

\[lem:iNd\_res\] LEt $H\SubSeteQ g$ bE a LarGe COmpACt SubGRouP and let $U{\MaThRel{:=}}U_H$. therE IS A NatuRal IsomOrphiSm $$\label{eq:ind_rEs}
    {\mAthrM{kK}}^{G{\MathbIn{\ltiMes}}X}(\OpEratoRname{INd}_H^G A,b)
    \cOng {\mathrm{KK}}^{H{\matHbin{\Ltimes}}X}(\opEraToRnaMe{res}_U^H \OPeratoRnaMe{INd}_H^U A,\opEratornAMe{REs}_g^h b).$$ deFine $J_H^G(A){\mathrel{:=}}\opeRaTORnAme{Ind}_H^G (c_0((U/H)^7)\otiMEs a)$. THEn there iS a NatUral ISOmorpHism $${\MAtHrm{KK}}^{G{\maThbin{\lTImEs}}x}(J_H^G A,B)\cOnG {\mathrM{Kk}}^{H{\mAthBin{\ltIMes}}X}(a,\operaTorname{REs}_G^H B)$$ IF $A$ belongs to the ESsential range OF tHE FuNCtor $\OpeRatorname{ReS}_U^H$. FURtheRmorE, ThE fuNCtors $$\OperaToRNaME{Res}_U^H\colon {\mathrm{KK}}^{u{\mAthbin{\LtimeS}}X}\to{\mathrm{KK}}^{H{\Mathbin{\ltiMES
G\operatorname{Res}_G^U(B) ,B)$ becau se ${ \ma thr m{ KK}} $ is  stable. One v e rifi es easily that the mor phism s$ \pi_ B $and $ \iota_A $  a r e  un it sofad j un ction , s o thatwe get .
Aft er  these purel y  f ormal mani pul ations of fu nct ors, w enow cometoa muc h deep e r asse rtion, wh ic h  is du e  to Gen n a di  Kas parov.

\[pro:ind \ _r e s\] Let $G$ be  almos tc on n e cte d a nd let $H\ su bsete q  G$ bea  m a x i mal compact subgr oup. If one of$X$, $ A$  an d  $B$ i s a p ro p er$G$[-]{}spa ce o r a prope r $G$- $ C^*$[-] { }algebr a, the n $ $\l abel { eq :r es_ mc } 
  \ ope r ato rname{Re s} _G ^H\co lon{ \ m a thrm {KK }}^{ G{\ma thbin{\ltimes }}X }(A, B )
   \t o {\m athr m{ KK}}^ {H{\ma thbin {\ ltimes}}X}(\ope rato rname{Res }_G ^H  A, \o perat o rname{ Res }_G ^H B)$$  is ani som or p h i sm .

\[lem:ind\_res\ ]L e t$H\subse teq G$ be  a large co mp act  sub g r oup a nd l e t$U{\math rel{:= } }U _H $. Ther eis a n at ura l i somor p hism  $$\la bel{eq:i nd_re s }
    {\mathrm { KK}}^{G{\math b in { \ lt i mes} }X} (\operatorn ame{ I nd}_ H^GA ,B )
  \co ng {\ ma t hr m {KK}}^{H{\mathbin{\ lt imes}} X}(\o peratorname{R es}_U^H \o p e r atorname {Ind } _H ^ U A,\operatorn ame{R es}_G^H B) . $$ Defin e $J_ H^G(A){\ mathrel{: = } }\operat orn ame {In d}_ H ^ G(C_0((U/H)^7) \ o time sA)$. Th enthere i s a  na tur alis omorphism  $${\mat hr m{ KK }} ^{G {\mat h bin{\lti me s}} X} (J_ H^G A , B)\con g {\m athr m{ KK } }^{ H{\math b in { \ ltim es }} X}(A ,\o pe rator name { Res }_G^H B )$$ if $A $ b e long sto  the es sential range  o f the func to r $ \opera t o rname{Re s}_U^H$. Furthermore, t h e funct ors  $$\o pera torname{R es} _U^H\c olo n  {\mat hrm{KK }}^{U {\ mat h b in{\l t i me s}} X} \to{\mathr m { KK} }^{H{ \m athb in{\lti mes
G\operatorname{Res}_G^U(B),B)$ because_${\mathrm{KK}}$ is_stable. One verifies easily_that the_morphisms_$\pi_B$ and_$\iota_A$_are units of_adjunction, so that_we get .

After these purely_formal manipulations of_functors,_we now come to a much deeper assertion, which is due to Gennadi Kasparov.

\[pro:ind\_res\]_Let $G$_be almost_connected_and_let $H\subseteq G$ be a_maximal compact subgroup. If one_of $X$,_$A$ and $B$ is a proper $G$[-]{}space or a_proper_$G$-$C^*$[-]{}algebra, then $$\label{eq:res_mc}
_   \operatorname{Res}_G^H\colon {\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(A,B)
    \to_{\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_G^H A,\operatorname{Res}_G^H B)$$ is an isomorphism.

\[lem:ind\_res\]_Let $H\subseteq G$_be_a_large compact subgroup and_let $U{\mathrel{:=}}U_H$. There is a natural_isomorphism $$\label{eq:ind_res}
    {\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(\operatorname{Ind}_H^G_A,B)
    \cong {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(\operatorname{Res}_U^H \operatorname{Ind}_H^U_A,\operatorname{Res}_G^H B).$$ Define $J_H^G(A){\mathrel{:=}}\operatorname{Ind}_H^G (C_0((U/H)^7)\otimes A)$._Then there is a natural_isomorphism $${\mathrm{KK}}^{G{\mathbin{\ltimes}}X}(J_H^G_A,B)\cong {\mathrm{KK}}^{H{\mathbin{\ltimes}}X}(A,\operatorname{Res}_G^H B)$$ if $A$ belongs_to the essential_range of_the functor $\operatorname{Res}_U^H$._Furthermore, the functors $$\operatorname{Res}_U^H\colon {\mathrm{KK}}^{U{\mathbin{\ltimes}}X}\to{\mathrm{KK}}^{H{\mathbin{\ltimes