_L}\iota(S_{L}))}^{\ast}(K\times_{K_L} X_G)\times X_G}+s \frac{df_{(k,x)}}{f(k,x)}\right)=
{T_{kx,K\cdot\iota(S_L)}^{\ast}X_G}+s\lambda(f)_{kx}.$$ Thus, if for each cycle $C\in \mathscr{L}(X_G,K)$ with $|C|\subset \overline{K\cdot \iota(X_L)}$ (See Definition \[deftn:ccycleperverse\]), and for each $s>0$ we define $C + s\lambda(f)$ as the cycle of $X_G$ equal to the image of $C$ under the automorphism $$\begin{aligned}
(x,\xi)\mapsto (x,\xi+s\lambda (f)_{x}),\quad x\in \overline{K\cdot \iota(X_L)},~\xi \in T_{x}^{\ast}X_G,\end{aligned}$$ we obtain $$\begin{aligned}
\tau_{\ast}d{p}^{-1}(i_{\ast}CC(\widetilde{R\iota_{\ast}\mathcal{F}})+s d\log f)
&=\tau_{\ast}dp^{-1}\left(\sum_{K_L-\mathrm{orbits }~S_L~\mathrm{in}~X_L} \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{i(K\times_{K_L}\iota(S_{L}))}^{\ast}((K\times_{K_L}X_G)\times X_G)}]\right)\\
&=\sum_{K_L-\mathrm{orbits }~S_L~\mathrm{in}~X_L} \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{K\cdot\iota(S_L)}^{\ast}X_G}]+s\lambda(f).\end{aligned}$$ Therefore $$\begin{aligned}
CC\left(I_{L}^{G}\mathcal{F}\right)&=a_{\ast}(CC(\widetilde{R\iota_{\ast}\mathcal{F}}))\\
&=\overline{p}_{\ast}(j_{\ast}(i_{\ast}(CC(\widetilde{R\iota_{\ast}\mathcal
_ L}\iota(S_{L}))}^{\ast}(K\times_{K_L } X_G)\times X_G}+s \frac{df_{(k, x)}}{f(k, x)}\right)= 
 { T_{kx, K\cdot\iota(S_L)}^{\ast}X_G}+s\lambda(f)_{kx}.$$ Thus, if for each cycle $ C\in \mathscr{L}(X_G, K)$ with $ |C|\subset \overline{K\cdot \iota(X_L)}$ (See Definition \[deftn: ccycleperverse\ ]), and for each $ s>0 $ we define $ vitamin c + s\lambda(f)$ as the hertz of $ X_G$ equal to the image of $ C$ under the automorphism $ $ \begin{aligned } 
 (x,\xi)\mapsto (x,\xi+s\lambda (f)_{x}),\quad x\in \overline{K\cdot \iota(X_L)},~\xi \in T_{x}^{\ast}X_G,\end{aligned}$$ we obtain $ $ \begin{aligned } 
 \tau_{\ast}d{p}^{-1}(i_{\ast}CC(\widetilde{R\iota_{\ast}\mathcal{F}})+s d\log f) 
 & = \tau_{\ast}dp^{-1}\left(\sum_{K_L-\mathrm{orbits } ~S_L~\mathrm{in}~X_L } \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{i(K\times_{K_L}\iota(S_{L}))}^{\ast}((K\times_{K_L}X_G)\times X_G)}]\right)\\ 
 & = \sum_{K_L-\mathrm{orbits } ~S_L~\mathrm{in}~X_L } \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{K\cdot\iota(S_L)}^{\ast}X_G}]+s\lambda(f).\end{aligned}$$ consequently $ $ \begin{aligned } 
 CC\left(I_{L}^{G}\mathcal{F}\right)&=a_{\ast}(CC(\widetilde{R\iota_{\ast}\mathcal{F}}))\\ 
 & = \overline{p}_{\ast}(j_{\ast}(i_{\ast}(CC(\widetilde{R\iota_{\ast}\mathcal
_L}\ioha(S_{L}))}^{\ast}(K\times_{K_L} X_G)\times W_G}+s \frac{df_{(k,x)}}{f(k,x)}\rntht)=
{T_{kx,N\cdot\ikta(S_L)}^{\ast}B_G}+s\lambda(f)_{kx}.$$ Thus, if for eaci cyxle $C\un \mathscr{L}(X_G,K)$ with $|C|\sjbset \ovegline{K\cdor \ioua(X_L)}$ (See Definition \[deftn:geyclelcrvervx\]), and for each $x>0$ we defina $C + s\lambda(f)$ ds tke cycle of $X_G$ equal to the image of $C$ undet hhe automorphifm $$\btgig{alifned}
(x,\xi)\mapsto (x,\xi+s\lambda (f)_{x}),\quad x\ih \overlpne{K\cdot \iota(X_L)},~\xi \in T_{x}^{\ast}X_G,\end{aligned}$$ we ohtaij $$\begin{aligned}
\tau_{\adt}d{p}^{-1}(i_{\ast}CC(\wudetyode{R\iota_{\ast}\mxthcal{F}})+s d\log f)
&=\tau_{\ast}dk^{-1}\left(\sum_{K_L-\mathrm{orbits }~S_L~\mathrm{iv}~X_L} \cki_{S_{L}}^{mic}(\mathxao{F})[\oggrline{T_{i(K\timxs_{K_L}\iona(S_{L}))}^{\ast}((K\times_{K_L}X_G)\timev X_G)}]\rignt)\\
&=\sum_{K_L-\mathrm{ovbits }~S_L~\nathrm{in}~X_L} \chi_{S_{L}}^{mic}(\mavhcal{F})[\overline{T_{K\cdot\yota(S_L)}^{\ast}F_G}]+a\lambda(f).\end{alignee}$$ Rherexore $$\begkb{alkgntd}
CR\lert(I_{L}^{G}\mwthral{F}\right)&=a_{\aat}(CC(\widetilee{R\iota_{\ast}\mathcal{F}}))\\
&=\ofewoine{p}_{\ast}(j_{\ast}(i_{\zst}(CC(\wydqtilde{R\iota_{\ast}\mathcal
_L}\iota(S_{L}))}^{\ast}(K\times_{K_L} X_G)\times X_G}+s \frac{df_{(k,x)}}{f(k,x)}\right)= {T_{kx,K\cdot\iota(S_L)}^{\ast}X_G}+s\lambda(f)_{kx}.$$ Thus, if cycle \mathscr{L}(X_G,K)$ with \overline{K\cdot \iota(X_L)}$ (See $s>0$ define $C + as the cycle $X_G$ equal to the image of under the automorphism $$\begin{aligned} (x,\xi)\mapsto (x,\xi+s\lambda (f)_{x}),\quad x\in \overline{K\cdot \iota(X_L)},~\xi \in T_{x}^{\ast}X_G,\end{aligned}$$ we $$\begin{aligned} \tau_{\ast}d{p}^{-1}(i_{\ast}CC(\widetilde{R\iota_{\ast}\mathcal{F}})+s d\log f) &=\tau_{\ast}dp^{-1}\left(\sum_{K_L-\mathrm{orbits }~S_L~\mathrm{in}~X_L} \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{i(K\times_{K_L}\iota(S_{L}))}^{\ast}((K\times_{K_L}X_G)\times X_G)}]\right)\\ &=\sum_{K_L-\mathrm{orbits }~S_L~\mathrm{in}~X_L} \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{K\cdot\iota(S_L)}^{\ast}X_G}]+s\lambda(f).\end{aligned}$$ Therefore $$\begin{aligned} &=\overline{p}_{\ast}(j_{\ast}(i_{\ast}(CC(\widetilde{R\iota_{\ast}\mathcal
_L}\iota(S_{L}))}^{\ast}(K\times_{K_L} X_G)\times x_G}+s \frac{df_{(k,X)}}{f(k,x)}\rIghT)=
{T_{kX,K\Cdot\Iota(s_L)}^{\ast}X_G}+s\lambda(F)_{Kx}.$$ ThUs, if for each cycle $C\in \matHscr{L}(x_G,k)$ With $|c|\SuBset \oVerline{k\CdOT \IotA(X_l)}$ (SEe DEfINiTion \[dEftN:ccyclePerverse\]), anD foR eAch $s>0$ we define $c + S\lAmbda(f)$ as thE cyCle of $X_G$ equal To tHe imagE oF $C$ uNDer thE auTomorPhism $$\bEGin{aliGned}
(x,\xi)\maPsTO (x,\xi+s\lAMbda (f)_{x}),\qUAD x\In \ovErline{K\cdot \iota(X_L)},~\XI \iN t_{x}^{\ast}X_G,\end{aligNed}$$ we oBtAIn $$\BEGin{AliGned}
\tau_{\ast}D{p}^{-1}(I_{\ast}Cc(\WidetilDE{R\IOTA_{\asT}\Mathcal{F}})+s d\log F)
&=\tau_{\ast}dp^{-1}\leFT(\suM_{K_L-\matHrM{orBIts }~S_L~\mAthrm{In}~x_l} \chI_{S_{L}}^{mic}(\mathcAl{F})[\oVerline{T_{i(k\times_{k_l}\iota(S_{L}))}^{\ASt}((K\timeS_{K_L}X_G)\tImeS X_G)}]\RighT)\\
&=\SuM_{K_l-\maThRM{orBItS }~S_L~\MAthRm{in}~X_L} \chI_{S_{l}}^{mIc}(\matHcal{f})[\OVERlinE{T_{K\Cdot\Iota(S_l)}^{\ast}X_G}]+s\lambda(F).\enD{aliGNed}$$ thereFore $$\bEgin{AlIgned}
cC\left(i_{L}^{G}\maThCal{F}\right)&=a_{\ast}(CC(\WideTilde{R\iotA_{\asT}\mAthCaL{F}}))\\
&=\oveRLine{p}_{\aSt}(j_{\Ast}(I_{\ast}(CC(\wIdetildE{r\ioTa_{\AST}\MaThcal
_L}\iota(S_{L}))}^{\ast}(K \times_{K_ L} X_ G)\ tim es  X_G }+s\frac{df_{(k,x ) }}{f (k,x)}\right)=
{T_{kx, K\cdo t\ i ota( S _L )}^{\ ast}X_G } +s \ l amb da (f )_{ kx } .$ $ Thu s,if foreach cycle  $C \i n \mathscr{L } (X _G,K)$ wit h $ |C|\subset \ ove rline{ K\ cdo t  \iot a(X _L)}$  (SeeD efinit ion \[def tn : ccycle p erverse \ ] ),  and  for each $s>0$ w e  d e fine $C + s\la mbda(f )$ as t hecyc le of $X_G $equal to thei ma g e of$ C$ under theautomorphis m  $$ \begin {a lig n ed}
(x ,\xi) \m a pst o (x,\xi+s\ lamb da (f)_{x }),\qu a d x\in\ overlin e{K\cd ot\io ta(X _ L) }, ~\x i\ inT _{ x}^ { \as t}X_G,\e nd {a ligne d}$$ w e obta in$$\b egin{ aligned}
\tau _{\ ast} d {p} ^{-1} (i_{\ ast} CC (\wid etilde {R\io ta _{\ast}\mathcal {F}} )+s d\log  f) 
& =\t au _{\as t }dp^{- 1}\ lef t(\sum_ {K_L-\m a thr m{ o r b it s }~S_L~\mathrm{in }~ X _ L}  \chi_{S _{L}}^ { mi c} ( \mathcal {F })[ \ove r l ine{T _{i( K \t imes_{K_ L}\iot a (S _{ L}))}^{ \a st}((K \t ime s_{ K_L}X _ G)\t imes X _G)}]\ri ght)\ \ 
&=\sum_{K_L-\ m athrm{orbits} ~S _ L ~\ m athr m{i n}~X_L} \ch i_{S _ {L}} ^{mi c }( \ma t hcal{ F})[\ ov e rl i ne{T_{K\cdot\iota(S _L )}^{\a st}X_ G}]+s\lambda( f).\end{al i g n ed}$$ Th eref o re $$\begin{align ed}
C C\left(I_{ L }^{G}\ma thcal {F}\righ t)&=a_{\a s t }(CC(\wi det ild e{R \io t a _{ \ast}\mathcal { F }})) \\ 
&=\ove rli ne{p}_{ \as t}( j_{ \as t} (i_{\ast} (CC(\wid et il de {R \io ta_{\ a st}\math ca l
_L}\iota(S_{L}))}^{\ast}(K\times_{K_L} X_G)\times_X_G}+s \frac{df_{(k,x)}}{f(k,x)}\right)=
{T_{kx,K\cdot\iota(S_L)}^{\ast}X_G}+s\lambda(f)_{kx}.$$_Thus, if for each_cycle $C\in_\mathscr{L}(X_G,K)$_with $|C|\subset_\overline{K\cdot_\iota(X_L)}$ (See Definition_\[deftn:ccycleperverse\]), and for_each $s>0$ we define_$C + s\lambda(f)$_as_the cycle of $X_G$ equal to the image of $C$ under the automorphism $$\begin{aligned}
(x,\xi)\mapsto_(x,\xi+s\lambda_(f)_{x}),\quad x\in_\overline{K\cdot_\iota(X_L)},~\xi_\in T_{x}^{\ast}X_G,\end{aligned}$$ we obtain $$\begin{aligned}
\tau_{\ast}d{p}^{-1}(i_{\ast}CC(\widetilde{R\iota_{\ast}\mathcal{F}})+s_d\log f)
&=\tau_{\ast}dp^{-1}\left(\sum_{K_L-\mathrm{orbits }~S_L~\mathrm{in}~X_L} \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{i(K\times_{K_L}\iota(S_{L}))}^{\ast}((K\times_{K_L}X_G)\times X_G)}]\right)\\
&=\sum_{K_L-\mathrm{orbits_}~S_L~\mathrm{in}~X_L} \chi_{S_{L}}^{mic}(\mathcal{F})[\overline{T_{K\cdot\iota(S_L)}^{\ast}X_G}]+s\lambda(f).\end{aligned}$$_Therefore $$\begin{aligned}
CC\left(I_{L}^{G}\mathcal{F}\right)&=a_{\ast}(CC(\widetilde{R\iota_{\ast}\mathcal{F}}))\\
&=\overline{p}_{\ast}(j_{\ast}(i_{\ast}(CC(\widetilde{R\iota_{\ast}\mathcal