 On the other hand, we know that $\PSL(2,\Bbb{C})$ acts transitively on the Riemann sphere, but $\iota^{-1}Aut(BV)$ leaves an algebraic curve invariant, plus a point, therefore $\iota^{-1}Aut(BV)$ is conjugate to a subgroup of $Mob(\hat{\Bbb{R}})$, which concludes the proof.\
Let us prove part (\[l:5\]). We know that $C$ is $Aut(BV)$-invariant and by part (\[l:3\]) of the present lemma $\psi^{-1}C$ is an algebraic curve. Thus by Montel’s Lemma we conclude that $\Lambda_{Gr}\iota^{-1}Aut(BV)\subset \psi^{-1}C$, where $\Lambda_{Gr}\iota^{-1}Aut(BV)$ is the Greenberg limit set of $\iota^{-1}Aut(BV)$, see [@CS1]. Finally by part (\[l:3\]), we know that $ \iota^{-1}Aut(BV)$ is conjugate to a subgroup of $Mob(\hat{\Bbb{R}})$, therefore $ \Lambda_{Gr}\iota^{-1}Aut(BV)$ is a circle in the Riemann sphere and $\Lambda_{Gr}\iota^{-1}Aut(BV) = \psi^{-1}C$.\
In order to prove part (\[l:6\]), observe that after a projective change of coordinates we can assume that $\psi^{-1}C=\hat{\Bbb{R}}$. Thus $C=\psi  \hat{\Bbb{R}}=\{[z^2,2zw,w^2]:z,w\in \Bbb{R}, \vert a\vert +\vert b\vert \neq 0\}$. The following claim concludes the proof.\
Claim. The sets $C$ and $\partial \Bbb{H}^1_{\Bbb{R}}=\{[x,y,z]\in\Bbb{P}^2_{\Bbb{R}}:x^2+y^2=z^2\}$ are projectively equivalent. Let $\gamma\in PSL(3,\Bbb{R})$, be the projective transformation induced by: $$\widetilde  \gamma=
 \begin{pmatrix}
 1 & 0 & -1\\
 0 & 1 &0\\
 1 & 0 &1
 \end{pmatrix}.$$ Given $[p]=[x^2,2xy, y^2]\in C$, we get $\gamma(p)=(x^
On the other hand, we know that $ \PSL(2,\Bbb{C})$ acts transitively on the Riemann sector, but $ \iota^{-1}Aut(BV)$ leave an algebraic curve invariant, plus a point, consequently $ \iota^{-1}Aut(BV)$ is conjugate to a subgroup of $ Mob(\hat{\Bbb{R}})$, which concludes the proof.\ 
 Let us prove contribution (\[l:5\ ]). We know that $ C$ is $ Aut(BV)$-invariant and by part (\[l:3\ ]) of the present lemma $ \psi^{-1}C$ is an algebraic curvature. Thus by Montel ’s Lemma we conclude that $ \Lambda_{Gr}\iota^{-1}Aut(BV)\subset \psi^{-1}C$, where $ \Lambda_{Gr}\iota^{-1}Aut(BV)$ is the Greenberg terminus ad quem set of $ \iota^{-1}Aut(BV)$, see [ @CS1 ]. Finally by part (\[l:3\ ]), we acknowledge that $ \iota^{-1}Aut(BV)$ is conjugate to a subgroup of $ Mob(\hat{\Bbb{R}})$, therefore $ \Lambda_{Gr}\iota^{-1}Aut(BV)$ is a circle in the Riemann sphere and $ \Lambda_{Gr}\iota^{-1}Aut(BV) = \psi^{-1}C$.\ 
 In order to prove region (\[l:6\ ]), observe that after a projective change of coordinates we can wear that $ \psi^{-1}C=\hat{\Bbb{R}}$. Thus $ C=\psi   \hat{\Bbb{R}}=\{[z^2,2zw, w^2]:z, w\in \Bbb{R }, \vert a\vert + \vert b\vert \neq 0\}$. The following claim reason the proof.\ 
 Claim. The sets $ C$ and $ \partial \Bbb{H}^1_{\Bbb{R}}=\{[x, y, z]\in\Bbb{P}^2_{\Bbb{R}}:x^2+y^2 = z^2\}$ are projectively equivalent. Let $ \gamma\in PSL(3,\Bbb{R})$, be the projective transformation induced by: $ $ \widetilde   \gamma= 
  \begin{pmatrix } 
  1 & 0 & -1\\ 
  0 & 1 & 0\\ 
  1 & 0 & 1 
  \end{pmatrix}.$$ Given $ [ p]=[x^2,2xy, y^2]\in C$, we get $ \gamma(p)=(x^
 On the other hand, we know uhat $\PSL(2,\Bbb{C})$ acts transivively kn the Rkemann sphere, but $\iota^{-1}Aut(BV)$ peqves qn algebraic curve invxriant, plls a poinr, thtrefore $\iota^{-1}Aut(BV)$ is conjmyate fl a vnbgroup of $Mob(\hst{\Bbb{R}})$, whiwh concludes tve pxoof.\
Let us prove part (\[l:5\]). We know that $C$ is $Ait(HV)$-invariant anq by [art (\[l:3\]) of the present lemma $\psi^{-1}C$ is an algebreic curve. Thus ny Montel’s Lemma we conclufe tjat $\Lambda_{Gr}\iota^{-1}Auh(BV)\subset \pwi^{-1}C$, ryere $\Lambda_{Gf}\iota^{-1}Aut(BV)$ is the Greehberg limit set of $\iota^{-1}Aut(BV)$, sed [@CS1]. Yinally by kcet (\[p:3\]), we know thet $ \iona^{-1}Aut(BV)$ is cokkugate to a sibgroup of $Mob(\mat{\Bbu{R}})$, tyerefore $ \Lambda_{Gr}\iote^{-1}Aut(BV)$ is a circle ig the Riekaun sphere and $\Lambda_{Ge}\iita^{-1}Auj(BV) = \[si^{-1}C$.\
Kb ofded vo lrove oarv (\[l:6\]), observe that after a projective changt os coordinates se can afsume that $\psi^{-1}C=\hat{\Bbb{R}}$. Thus $C=\psi  \hat{\Bbt{R}}=\{[z^2,2aw,w^2]:z,w\in \Bbb{R}, \vert a\vert +\vert b\vert \neq 0\}$. The vollowing claim concludes the proof.\
Claim. The sets $C$ and $\pastial \Cbb{K}^1_{\Nnb{R}}=\{[x,h,z]\ij\Bbb{P}^2_{\Bbb{R}}:x^2+y^2=z^2\}$ are projectively equivalent. Let $\dzmka\pn PSL(3,\Bbb{R})$, be the projective tgamfformation inauced yg: $$\sidetilde  \gamma=
 \bfgin{pmajrix}
 1 & 0 & -1\\
 0 & 1 &0\\
 1 & 0 &1
 \emd{pmatrix}.$$ Given $[p]=[x^2,2xy, y^2]\in C$, qe get $\gamma(i)=(x^
On the other hand, we know that transitively the Riemann but $\iota^{-1}Aut(BV)$ leaves a therefore $\iota^{-1}Aut(BV)$ is to a subgroup $Mob(\hat{\Bbb{R}})$, which concludes the proof.\ Let prove part (\[l:5\]). We know that $C$ is $Aut(BV)$-invariant and by part (\[l:3\]) the present lemma $\psi^{-1}C$ is an algebraic curve. Thus by Montel’s Lemma we that \psi^{-1}C$, $\Lambda_{Gr}\iota^{-1}Aut(BV)$ the Greenberg limit set of $\iota^{-1}Aut(BV)$, see [@CS1]. Finally by part (\[l:3\]), we know that $ is conjugate to a subgroup of $Mob(\hat{\Bbb{R}})$, therefore \Lambda_{Gr}\iota^{-1}Aut(BV)$ is a circle the Riemann sphere and $\Lambda_{Gr}\iota^{-1}Aut(BV) \psi^{-1}C$.\ order to part observe after a projective of coordinates we can assume that $\psi^{-1}C=\hat{\Bbb{R}}$. Thus $C=\psi \hat{\Bbb{R}}=\{[z^2,2zw,w^2]:z,w\in \Bbb{R}, \vert a\vert +\vert b\vert \neq 0\}$. following claim proof.\ Claim. sets and \Bbb{H}^1_{\Bbb{R}}=\{[x,y,z]\in\Bbb{P}^2_{\Bbb{R}}:x^2+y^2=z^2\}$ are projectively $\gamma\in PSL(3,\Bbb{R})$, be the projective transformation \gamma= \begin{pmatrix} 1 & 0 & -1\\ 0 1 &0\\ & 0 &1 \end{pmatrix}.$$ Given $[p]=[x^2,2xy, C$, we get $\gamma(p)=(x^
 On the other hand, we know that $\PsL(2,\Bbb{C})$ acts TransItiVelY oN the riemAnn sphere, but $\ioTA^{-1}Aut(bV)$ leaves an algebraic curVe invArIAnt, pLUs A poinT, therefORe $\IOTa^{-1}AUt(bV)$ Is cOnJUgAte to A suBgroup oF $Mob(\hat{\Bbb{r}})$, whIcH concludes thE PrOof.\
Let us prOve Part (\[l:5\]). We know tHat $c$ is $Aut(bV)$-InvARiant And By parT (\[l:3\]) of thE PresenT lemma $\psi^{-1}c$ iS An algeBRaic curVE. thUs by montel’s Lemma we conCLuDE that $\Lambda_{Gr}\iOta^{-1}Aut(bV)\SUbSET \psI^{-1}C$, wHere $\Lambda_{gr}\Iota^{-1}AUT(BV)$ is thE grEENBerG Limit set of $\iotA^{-1}Aut(BV)$, see [@CS1]. fInaLly by pArT (\[l:3\]), wE Know thAt $ \iotA^{-1}AUT(BV)$ Is conjugate To a sUbgroup of $mob(\hat{\bBb{R}})$, therEFore $ \LamBda_{Gr}\iOta^{-1}aut(bV)$ is A CiRcLe iN tHE RiEMaNn sPHerE and $\LambDa_{gr}\Iota^{-1}AUt(BV) = \PSI^{-1}c$.\
in orDer To prOve paRt (\[l:6\]), observe thaT afTer a PRojEctivE chanGe of CoOrdinAtes we Can asSuMe that $\psi^{-1}C=\hat{\BbB{R}}$. ThUs $C=\psi  \hat{\bbb{r}}=\{[z^2,2Zw,w^2]:Z,w\In \Bbb{r}, \Vert a\vErt +\VerT b\vert \nEq 0\}$. The foLLowInG CLAiM concludes the proof.\
clAIM. THe sets $C$ aNd $\partIAl \bbB{h}^1_{\Bbb{R}}=\{[x,y,z]\In\bbb{p}^2_{\Bbb{r}}:X^2+Y^2=z^2\}$ are ProjECtIvely equIvalenT. leT $\gAmma\in PsL(3,\bbb{R})$, be ThE prOjeCtive TRansFormatIon inducEd by: $$\wIDetilde  \gamma=
 \beGIn{pmatrix}
 1 & 0 & -1\\
 0 & 1 &0\\
 1 & 0 &1
 \end{pMAtRIX}.$$ GIVen $[p]=[X^2,2xy, Y^2]\in C$, we get $\gaMma(p)=(X^
 On the other hand, we kno w that $\P SL(2, \Bb b{C }) $ ac ts t ransitively on theRiemann sphere, but $\ iota^ {- 1 }Aut ( BV )$ le aves an al g e bra ic  c urv ei nv arian t,plus apoint, the ref or e $\iota^{-1 } Au t(BV)$ iscon jugate to asub groupof  $M o b(\ha t{\ Bbb{R }})$,w hich c oncludesth e  proof . \
Let u s pr ovepart (\[l:5\]). W e  k n ow that $C$ is  $Aut( BV ) $- i n var ian t and by p ar t (\[ l :3\]) o f  t h e pre s ent lemma $\p si^{-1}C$ i s  an  algeb ra icc urve.Thusby Mon tel’s Lemma  weconcludethat $ \ Lambda_ { Gr}\iot a^{-1} Aut (BV )\su b se t\ps i^ { -1} C $,  wh e re$\Lambda _{ Gr }\iot a^{- 1 } A u t(BV )$is t he Gr eenberg limit  se t of $\i ota^{ -1}Au t(BV )$ , see  [@CS1 ]. Fi na lly by part (\[ l:3\ ]), we kn owth at$\iota ^ {-1}Au t(B V)$  is con jugatet o a  s u b g ro up of $Mob(\hat{\B bb { R }} )$, ther efore$  \ La m bda_{Gr} \i ota ^{-1 } A ut(BV )$ i s  a  circlein the Ri em ann sph er e and$\ Lam bda _{Gr} \ iota ^{-1}A ut(BV) =  \psi ^ {-1}C$.\
In or d er to prove p a rt ( \[ l :6\] ),observe tha t af t er a  pro j ec tiv e  chan ge of  c o or d inates we can assum ethat $ \psi^ {-1}C=\hat{\B bb{R}}$. T h u s  $C=\psi   \h a t{ \ Bbb{R}}=\{[z^2 ,2zw, w^2]:z,w\i n  \Bbb{R} , \ve rt a\ver t +\vertb \ vert \ne q 0 \}$ . T hef o ll owing claim c o n clud es  the pr oof .\
Clai m.The  se ts$C $ and $\p artial \ Bb b{ H} ^1 _{\ Bbb{R } }=\{[x,y ,z ]\i n\ Bbb {P}^2 _ {\Bbb{ R}}:x ^2+y ^2 =z ^ 2\} $ are p r oj e c tive ly  e quiv ale nt . Let  $\g a mma \in PSL (3,\Bbb{R })$ ,  beth eproject ive transform at ion induce dby:  $$\wi d e tilde  \ gamma=
 \begin{pmatrix}  1 & 0& - 1\\
0 &1 &0\\
 1  &0 &1
\en d {pmatr ix}.$$  Give n$[p ] = [x^2, 2 x y,  y^ 2] \in C$, we g et$\gam ma (p)= (x^
 On_the other_hand, we know that_$\PSL(2,\Bbb{C})$ acts_transitively_on the_Riemann_sphere, but $\iota^{-1}Aut(BV)$_leaves an algebraic_curve invariant, plus a_point, therefore $\iota^{-1}Aut(BV)$_is_conjugate to a subgroup of $Mob(\hat{\Bbb{R}})$, which concludes the proof.\
Let us prove part (\[l:5\])._We_know that_$C$_is_$Aut(BV)$-invariant and by part (\[l:3\])_of the present lemma $\psi^{-1}C$_is an_algebraic curve. Thus by Montel’s Lemma we conclude_that_$\Lambda_{Gr}\iota^{-1}Aut(BV)\subset \psi^{-1}C$, where_$\Lambda_{Gr}\iota^{-1}Aut(BV)$ is the Greenberg limit set of $\iota^{-1}Aut(BV)$, see_[@CS1]. Finally by part (\[l:3\]), we_know that $_\iota^{-1}Aut(BV)$_is_conjugate to a subgroup_of $Mob(\hat{\Bbb{R}})$, therefore $ \Lambda_{Gr}\iota^{-1}Aut(BV)$ is_a circle in the Riemann sphere_and $\Lambda_{Gr}\iota^{-1}Aut(BV) = \psi^{-1}C$.\
In order to prove_part (\[l:6\]), observe that after a_projective change of coordinates we_can assume_that $\psi^{-1}C=\hat{\Bbb{R}}$. Thus $C=\psi _\hat{\Bbb{R}}=\{[z^2,2zw,w^2]:z,w\in \Bbb{R}, \vert_a\vert +\vert_b\vert \neq 0\}$._The following claim concludes the proof.\
Claim._The sets $C$_and $\partial \Bbb{H}^1_{\Bbb{R}}=\{[x,y,z]\in\Bbb{P}^2_{\Bbb{R}}:x^2+y^2=z^2\}$ are projectively equivalent._Let_$\gamma\in PSL(3,\Bbb{R})$, be_the_projective_transformation induced_by: $$\widetilde _\gamma=
_\begin{pmatrix}
 1_&_0 & -1\\
 0 & 1_&0\\
_1 & 0 &1
 \end{pmatrix}.$$ Given $[p]=[x^2,2xy,_y^2]\in C$, we get_$\gamma(p)=(x^