cH)$ has support in the set $U>0$ (or $U<0)$ as it can be proved along the lines of the proof of (b) of Proposition \[propbastarda\]. Here. if one employs a sequence of smooth functions $\psi_n$ supported in $U>0$ (resp. $U<0$) which converges to $\psi$ in the Sobolev topology of $H^1(\cH^\pm,du)$ (see the mentioned proof), and uses the fact that $\beta^{(X)}_\tau (\psi_n)$ converges to $\beta^{(X)}_\tau (\psi)$ in the same topology. Summing up, from definition (\[mapid\]), one gets that $\sK_\cH(\beta^{(X)}_\tau (\psi))(K,\theta,\phi) = \left(U^{(X)}_\tau \psi\right)(U,\theta,\phi) \doteq  
e^{-\tau/(4m)}\sK_\cH(\psi)\left(e^{-\tau/(4m)}K, \theta,\phi\right)$ for every $\psi \in \sS(\cH)$ without further restrictions. Since $U^{(X)}_\tau$ is an isometry of $L^2(\bR_+\times \bS^2, KdK \wedge d\bS^2)$, in view of the definition of $\omega_{\cH}$ it yields that $\omega_{\cH}(W_{\cH}(\beta^{(X)}_\tau\psi)) = \omega_{\cH}(W_{\cH}(\psi))$ for all $\psi \in 
\sS(\cH)$, and, per continuity and linearity, this suffices to conclude that $\omega$ is invariant under the action of the group of $*$-automorphisms $\alpha^{(X)}$ induced by $X$. The proof for the Killing vectors of $\bS^2$ is similar.\
(d) and (e) In $\sS(\cH^-)$, the natural action of the one parameter group of isometries generated by $X\spa\rest_{\cH^-}$ is $\beta^{(X)}_\tau : \psi \mapsto \beta^{(X)}_\tau(\psi)$ with $\beta^{(X)}_\tau(\psi)(u,\theta,\phi)
 \doteq \psi(u-\tau,\theta,\phi)$, for all $
cH)$ has support in the set $ U>0 $ (or $ U<0)$ as it can be proved along the occupation of the validation of (b) of Proposition \[propbastarda\ ]. Here. if one employs a succession of smooth function $ \psi_n$ supported in $ U>0 $ (resp. $ U<0 $) which converge to $ \psi$ in the Sobolev regional anatomy of $ H^1(\cH^\pm, du)$ (see the mentioned proof), and uses the fact that $ \beta^{(X)}_\tau (\psi_n)$ converges to $ \beta^{(X)}_\tau (\psi)$ in the same regional anatomy. Summing up, from definition (\[mapid\ ]), one gets that $ \sK_\cH(\beta^{(X)}_\tau (\psi))(K,\theta,\phi) = \left(U^{(X)}_\tau \psi\right)(U,\theta,\phi) \doteq  
 e^{-\tau/(4m)}\sK_\cH(\psi)\left(e^{-\tau/(4m)}K, \theta,\phi\right)$ for every $ \psi \in \sS(\cH)$ without further restrictions. Since $ U^{(X)}_\tau$ is an isometry of $ L^2(\bR_+\times \bS^2, KdK \wedge d\bS^2)$, in view of the definition of $ \omega_{\cH}$ it give that $ \omega_{\cH}(W_{\cH}(\beta^{(X)}_\tau\psi) ) = \omega_{\cH}(W_{\cH}(\psi))$ for all $ \psi \in 
 \sS(\cH)$, and, per continuity and linearity, this suffices to conclude that $ \omega$ is invariant under the action of the group of $ * $ -automorphisms $ \alpha^{(X)}$ induce by $ X$. The proof for the Killing vectors of $ \bS^2 $ is similar.\ 
 (d) and (east) In $ \sS(\cH^-)$, the natural action of the one parameter group of isometry generated by $ X\spa\rest_{\cH^-}$ is $ \beta^{(X)}_\tau: \psi \mapsto \beta^{(X)}_\tau(\psi)$ with $ \beta^{(X)}_\tau(\psi)(u,\theta,\phi) 
  \doteq \psi(u-\tau,\theta,\phi)$, for all $
cH)$ jas support in the set $U>0$ (or $U<0)$ as it can be proted alohg the lknes of the proof of (b) of Prlpisitiin \[propbastarda\]. Here. iw one emppoys a swqueice of smooth fuidtions $\ifi_n$ ampporcev in $U>0$ (resp. $U<0$) wmich converces to $\psi$ in dhd Dobolev topology of $H^1(\cH^\pm,du)$ (see the mentiomef proof), and usgs tht fwct fhat $\beta^{(X)}_\tau (\psi_n)$ converges to $\befa^{(X)}_\tau (\ksi)$ in the same tolology. Summing up, from deflnitlon (\[mapid\]), one gets that $\sK_\cH(\bgfa^{(X)}_\equ (\psi))(K,\theta,\ohi) = \left(U^{(Q)}_\cau \psi\righj)(U,\theta,\phi) \doteq  
e^{-\tau/(4m)}\sK_\cH(\psi)\lewt(e^{-\tab/(4m)}K, \theta,\phu\rughh)$ for every $\'si \in \sS(\cH)$ withoub furthar resttictions. Since $U^{(X)}_\vau$ us an isometry of $L^2(\bR_+\vimes \bS^2, KdK \wedge d\fS^2)$, in vief kf the definition od $\omeca_{\cH}$ it huelas uhav $\ojega_{\cH}(A_{\cH}(\ueta^{(X)}_\tau\psi)) = \omega_{\cH}(W_{\cY}(\psi))$ for all $\psi \in 
\sF(\bN)$, and, per cohtinuiey and linearity, this suffices to concludt thaf $\omega$ is invariant uneer the action of the group of $*$-automorphisms $\alpha^{(X)}$ induced by $X$. The proof for dhe Kmluiny vectues of $\bS^2$ is similar.\
(d) and (e) In $\sS(\cH^-)$, the natural wdtook of the one parcmeter group of oslmrjries generatea by $X\spa\dest_{\cH^-}$ is $\beta^{(X)}_\tau : \psi \mwpsto \beta^{(X)}_\tau(\ksi)$ woth $\beta^{(X)}_\tau(\psi)(u,\theta,\phi)
 \doreq \psi(u-\tau,\tketq,\phi)$, for all $
cH)$ has support in the set $U>0$ as can be along the lines of \[propbastarda\]. Here. if employs a sequence smooth functions $\psi_n$ supported in $U>0$ $U<0$) which converges to $\psi$ in the Sobolev topology of $H^1(\cH^\pm,du)$ (see the proof), and uses the fact that $\beta^{(X)}_\tau (\psi_n)$ converges to $\beta^{(X)}_\tau (\psi)$ in same Summing from (\[mapid\]), one gets that $\sK_\cH(\beta^{(X)}_\tau (\psi))(K,\theta,\phi) = \left(U^{(X)}_\tau \psi\right)(U,\theta,\phi) \doteq e^{-\tau/(4m)}\sK_\cH(\psi)\left(e^{-\tau/(4m)}K, \theta,\phi\right)$ for every $\psi \in without further restrictions. Since $U^{(X)}_\tau$ is an isometry $L^2(\bR_+\times \bS^2, KdK \wedge in view of the definition $\omega_{\cH}$ yields that = for $\psi \in \sS(\cH)$, per continuity and linearity, this suffices to conclude that $\omega$ is invariant under the action of the of $*$-automorphisms by $X$. proof the vectors of $\bS^2$ (d) and (e) In $\sS(\cH^-)$, the the one parameter group of isometries generated by is $\beta^{(X)}_\tau \psi \mapsto \beta^{(X)}_\tau(\psi)$ with $\beta^{(X)}_\tau(\psi)(u,\theta,\phi) \doteq for all $
cH)$ has support in the set $U>0$ (or $U<0)$ aS it can be prOved aLonG thE lInes Of thE proof of (b) of ProPOsitIon \[propbastarda\]. Here. if oNe empLoYS a seQUeNce of Smooth fUNcTIOns $\PsI_n$ SupPoRTeD in $U>0$ (rEsp. $u<0$) which cOnverges to $\Psi$ In The Sobolev toPOlOgy of $H^1(\cH^\pm,Du)$ (sEe the mentionEd pRoof), anD uSes THe facT thAt $\betA^{(X)}_\tau (\pSI_n)$ convErges to $\beTa^{(x)}_\Tau (\psi)$ IN the samE TOpOlogY. Summing up, from defINiTIon (\[mapid\]), one getS that $\sk_\ch(\BeTA^{(x)}_\taU (\psI))(K,\theta,\phi) = \LeFt(U^{(X)}_\tAU \psi\rigHT)(U,\THETa,\pHI) \doteq  
e^{-\tau/(4m)}\sK_\CH(\psi)\left(e^{-\tAU/(4m)}K, \Theta,\pHi\RigHT)$ for evEry $\psI \iN \SS(\ch)$ without furTher RestrictiOns. SinCE $U^{(X)}_\tau$ iS An isomeTry of $L^2(\BR_+\tImeS \bS^2, KDk \wEdGe d\BS^2)$, IN viEW oF thE DefInition oF $\oMeGa_{\cH}$ iT yieLDS THat $\oMegA_{\cH}(W_{\CH}(\betA^{(X)}_\tau\psi)) = \omega_{\CH}(W_{\CH}(\psI))$ For All $\psI \in 
\sS(\CH)$, anD, pEr conTinuitY and lInEarity, this suffiCes tO conclude ThaT $\oMegA$ iS invaRIant unDer The Action oF the groUP of $*$-AuTOMOrPhisms $\alpha^{(X)}$ induceD bY $x$. thE proof foR the KiLLiNg VEctors of $\BS^2$ Is sImilAR.\
(D) and (e) in $\sS(\Ch^-)$, tHe naturaL actioN Of ThE one parAmEter grOuP of IsoMetriES genErated By $X\spa\reSt_{\cH^-}$ iS $\Beta^{(X)}_\tau : \psi \mapSTo \beta^{(X)}_\tau(\psi)$ WItH $\BEtA^{(x)}_\tau(\Psi)(U,\theta,\phi)
 \doTeq \pSI(u-\taU,\theTA,\pHi)$, fOR all $
cH)$ has support in the se t $U>0$ (o r $U< 0)$  as  i t ca n be  proved alongt he l ines of the proof of ( b) of  P r opos i ti on \[ propbas t ar d a \].  H er e.if on e emp loy s a seq uence of s moo th  functions $ \ ps i_n$ suppo rte d in $U>0$ ( res p. $U< 0$ ) w h ich c onv erges  to $\ p si$ in  the Sobo le v  topol o gy of $ H ^ 1( \cH^ \pm,du)$ (see the me n tioned proof),  and u se s  t h e  fa ctthat $\bet a^ {(X)} _ \tau (\ p si _ n ) $ c o nverges to $\ beta^{(X)}_ \ tau  (\psi )$  in the sa me to po l ogy . Summing u p, f rom defin ition( \[mapid \ ]), one  getstha t $ \sK_ \ cH (\ bet a^ { (X) } _\ tau (\p si))(K,\ th et a,\ph i) = \ l e ft(U ^{( X)}_ \tau\psi\right)(U ,\t heta , \ph i) \d oteq 
e^ {- \tau/ (4m)}\ sK_\c H( \psi)\left(e^{- \tau /(4m)}K,\th et a,\ ph i\rig h t)$ fo r e ver y $\psi  \in \s S (\c H) $ w it hout further restr ic t i on s. Since  $U^{( X )} _\ t au$ is a niso metr y of $L ^2(\ b R_ +\times\bS^2, Kd K\wedged\ bS^2)$ ,invie w oft he d efinit ion of $ \omeg a _{\cH}$ it yie l ds that $\ome g a_ { \ cH } (W_{ \cH }(\beta^{(X )}_\ t au\p si)) =\om e ga_{\ cH}(W _{ \ cH } (\psi))$ for all $\ ps i \in
\sS( \cH)$, and, p er continu i t y  and lin eari t y, this sufficesto co nclude tha t  $\omega $ isinvarian t under t h e  actionofthe  gr oup o f$*$-automorph i s ms $ \a lpha^{( X)} $ induc edby$X$ . T he  proof fo r the Ki ll in gve cto rs of $\bS^2$is  si mi lar .\
(d )  and ( e) In  $\s S( \c H ^-) $, then at u r al a ct io n of  th eone p aram e ter  groupof isomet rie s  gen er at ed by $ X\spa\rest_{\ cH ^-}$ is $\ be ta^ {(X)}_ \ t au : \ps i \mapsto \beta^{(X)}_\ t au(\psi )$with$\be ta^{(X)}_ \ta u(\psi )(u , \theta ,\phi) 
 \do te q \ p s i(u-\ t a u, \th et a,\phi)$,f o r a ll $
cH)$ has_support in_the set $U>0$ (or_$U<0)$ as_it_can be_proved_along the lines_of the proof_of (b) of Proposition_\[propbastarda\]. Here. if_one_employs a sequence of smooth functions $\psi_n$ supported in $U>0$ (resp. $U<0$) which converges_to_$\psi$ in_the_Sobolev_topology of $H^1(\cH^\pm,du)$ (see the_mentioned proof), and uses the_fact that_$\beta^{(X)}_\tau (\psi_n)$ converges to $\beta^{(X)}_\tau (\psi)$ in the_same_topology. Summing up,_from definition (\[mapid\]), one gets that $\sK_\cH(\beta^{(X)}_\tau (\psi))(K,\theta,\phi) =_\left(U^{(X)}_\tau \psi\right)(U,\theta,\phi) \doteq  
e^{-\tau/(4m)}\sK_\cH(\psi)\left(e^{-\tau/(4m)}K, \theta,\phi\right)$_for every $\psi_\in_\sS(\cH)$_without further restrictions. Since_$U^{(X)}_\tau$ is an isometry of $L^2(\bR_+\times_\bS^2, KdK \wedge d\bS^2)$, in view_of the definition of $\omega_{\cH}$ it yields_that $\omega_{\cH}(W_{\cH}(\beta^{(X)}_\tau\psi)) = \omega_{\cH}(W_{\cH}(\psi))$ for all_$\psi \in 
\sS(\cH)$, and, per_continuity and_linearity, this suffices to conclude_that $\omega$ is_invariant under_the action of_the group of $*$-automorphisms $\alpha^{(X)}$ induced_by $X$. The_proof for the Killing vectors of_$\bS^2$_is similar.\
(d) and_(e)_In_$\sS(\cH^-)$, the_natural action of_the_one parameter_group_of isometries generated by $X\spa\rest_{\cH^-}$ is_$\beta^{(X)}_\tau_: \psi \mapsto \beta^{(X)}_\tau(\psi)$ with $\beta^{(X)}_\tau(\psi)(u,\theta,\phi)
 \doteq_\psi(u-\tau,\theta,\phi)$, for all $