q$ is a representative of $(g)$ in the isotropy group $G_q$. Hence, there is a sequence of points $(p_i, (g_{p_i}))$, $i = 0,
\ldots, s$ such that $p_0 = p$, $p_s = q$, $p_i$ and $p_{i+1}$ lie in the same chart $\{ V_i, G_i, \pi_i \}$, and $g_i = g_{i+1}$ in $G_i$ (see [@chenhu]; note that in general, $g_i$ and $g_{i+1}$ are required to be conjugate in $G_i$, but that this implies that they are equal in our case). Fix a chart $\{ V_q, G_q, \pi_q \}$ at $q \in Q$, and let $a$ be a generator of $G_q$. Then there is a $k
\in {\mathbb{Z}}$ such that $a^k = g_q$.

It is obvious that $V_q^a \subseteq V_q^{g_q}$. Moreover, for any injection of $\{ V_q, G_q, \pi_q \}$ (or a restriction to a smaller chart containing $q$) into another chart, the associated injective homomorphism $f$ satisfies $f(a)^k = f(g_q)$. This implies that in any chart for $Q$, a representative of $(a)$ has a fixed-point set contained in that of a representative of $(g_q)$. Therefore, $\pi(\tilde{Q}_{(a)})$ is contained in $\pi(\tilde{Q}_{(g_q)})$. As $(g_q)$ and $(g)$ represent the same equivalence class in $T$, $\tilde{Q}_{(g_q)} = \tilde{Q}_{(g)}$. This implies that $(a) \leq
(g)$. Hence, as $\tilde{Q}_{(g)}$ is assumed to be minimal, we must have that $(a) \equiv (g)$. Therefore, $a = g_q \in G_q$.

Now, for each pair $p_i, p_{i+1}$ of points above, the intersection of the chart at $p_i$ with that at $p_{i+1}$ produces a chart at $p_i$ contained in
q$ is a representative of $ (g)$ in the isotropy group $ G_q$. Hence, there is a sequence of period $ (p_i, (g_{p_i}))$, $ i = 0, 
 \ldots, s$ such that $ p_0 = p$, $ p_s = q$, $ p_i$ and $ p_{i+1}$ lie in the like chart $ \ { V_i, G_i, \pi_i \}$, and $ g_i = g_{i+1}$ in $ G_i$ (see [ @chenhu ]; note that in cosmopolitan, $ g_i$ and $ g_{i+1}$ are required to be conjugate in $ G_i$, but that this incriminate that they are equal in our character). cook a chart $ \ { V_q, G_q, \pi_q \}$ at $ q \in Q$, and let $ a$ be a generator of $ G_q$. Then there embody a $ k 
 \in { \mathbb{Z}}$ such that $ a^k = g_q$. 

 It is obvious that $ V_q^a \subseteq V_q^{g_q}$. Moreover, for any injection of $ \ { V_q, G_q, \pi_q \}$ (or a limitation to a smaller chart containing $ q$) into another chart, the associated injective homomorphism $ f$ satisfies $ f(a)^k = f(g_q)$. This implies that in any chart for $ Q$, a example of $ (a)$ has a fixed - point set contained in that of a representative of $ (g_q)$. Therefore, $ \pi(\tilde{Q}_{(a)})$ is incorporate in $ \pi(\tilde{Q}_{(g_q)})$. As $ (g_q)$ and $ (g)$ represent the same equivalence course in $ T$, $ \tilde{Q}_{(g_q) } = \tilde{Q}_{(g)}$. This implies that $ (a) \leq 
 (g)$. Hence, as $ \tilde{Q}_{(g)}$ is assume to be minimal, we must experience that $ (a) \equiv (g)$. Therefore, $ a = g_q \in G_q$. 

 Now, for each pair $ p_i, p_{i+1}$ of points above, the intersection of the chart at $ p_i$ with that at $ p_{i+1}$ grow a chart at $ p_i$ contained in
q$ id a representative of $(g)$ ln the isotropy yeoup $G_x$. Hencs, there ks a sequence of points $(p_i, (g_{'_i}))$, $i = 0,
\ldouf, s$ such that $p_0 = p$, $p_s = q$, $p_i$ and $p_{i+1}$ oie mn the same charv $\{ V_i, G_i, \pi_i \}$, zkd $g_i = g_{i+1}$ in $G_i$ (see [@ghenhu]; note that in generdl, $g_n$ and $g_{i+1}$ are required to be conjugatq in $G_i$, bkt that this iiplits ehat nhty are equal in our case). Fix a chzrt $\{ V_q, G_q, \pi_q \}$ at $q \in Q$, and let $a$ be a generwtor of $G_q$. Then there ls a $k
\in {\majgbb{S}}$ such that $a^y = g_q$.

It is obvious thaj $V_q^a \subseteq V_q^{g_q}$. Moreover, for any nnjection od $\{ V_q, C_q, \pi_q \}$ (or e restgiction to a smaller whart cpntaining $q$) inbo anmthwr chart, the associatxd injective homomorkhism $f$ sadiafies $f(a)^k = f(g_q)$. Thus implhes dhat un xny ciarf for $E$, a representztive of $(a)$ yas a fixed-point seu cjbtained in thzt of w wepresentative of $(g_q)$. Therefore, $\pi(\tilde{Q}_{(d)})$ ia contained in $\pi(\tilde{Q}_{(t_q)})$. As $(g_q)$ and $(g)$ represgnt the saie equivalence class in $T$, $\tilde{Q}_{(g_q)} = \tilde{Q}_{(g)}$. This hmplixs thcb $(x) \lfq
(g)$. Hence, as $\tilde{Q}_{(g)}$ is assumed to be minimal, se mlst have that $(a) \ezuiv (g)$. Therrflrr, $a = g_q \in G_q$.

Nuw, for eadh pair $p_i, p_{i+1}$ of plints afove, rhe interfectoon of the chart at $p_i$ with that at $p_{i+1}$ irodyces a chart at $p_i$ contained nn
q$ is a representative of $(g)$ in group Hence, there a sequence of 0, s$ such that = p$, $p_s q$, $p_i$ and $p_{i+1}$ lie in same chart $\{ V_i, G_i, \pi_i \}$, and $g_i = g_{i+1}$ in $G_i$ [@chenhu]; note that in general, $g_i$ and $g_{i+1}$ are required to be conjugate $G_i$, that implies they are equal in our case). Fix a chart $\{ V_q, G_q, \pi_q \}$ at $q Q$, and let $a$ be a generator of Then there is a \in {\mathbb{Z}}$ such that $a^k g_q$. is obvious $V_q^a V_q^{g_q}$. for any injection $\{ V_q, G_q, \pi_q \}$ (or a restriction to a smaller chart containing $q$) into another chart, associated injective satisfies $f(a)^k f(g_q)$. implies in any chart a representative of $(a)$ has a in that of a representative of $(g_q)$. Therefore, is contained $\pi(\tilde{Q}_{(g_q)})$. As $(g_q)$ and $(g)$ represent same equivalence class in $T$, $\tilde{Q}_{(g_q)} = \tilde{Q}_{(g)}$. implies that $(a) \leq (g)$. Hence, as $\tilde{Q}_{(g)}$ is assumed to be minimal, we must $(a) \equiv (g)$. Therefore, = g_q \in Now, each $p_i, of points the intersection of the chart at $p_i$ with that at $p_{i+1}$ a chart at $p_i$ contained in
q$ is a representative of $(g)$ in thE isotropy gRoup $G_Q$. HeNce, ThEre iS a seQuence of points $(P_I, (g_{p_i}))$, $I = 0,
\ldots, s$ such that $p_0 = p$, $p_s = q$, $p_i$ And $p_{i+1}$ LiE In thE SaMe chaRt $\{ V_i, G_i, \pI_I \}$, aND $G_i = g_{I+1}$ iN $G_I$ (seE [@cHEnHu]; notE thAt in genEral, $g_i$ and $g_{I+1}$ arE rEquired to be cONjUgate in $G_i$, bUt tHat this impliEs tHat theY aRe eQUal in Our Case). FIx a chaRT $\{ V_q, G_q, \pI_q \}$ at $q \in Q$, aNd LEt $a$ be a GEneratoR OF $G_Q$. TheN there is a $k
\in {\mathbB{z}}$ sUCh that $a^k = g_q$.

It is ObviouS tHAt $v_Q^A \suBseTeq V_q^{g_q}$. MorEoVer, foR Any injeCTiON OF $\{ V_q, g_Q, \pi_q \}$ (or a restriCtion to a smaLLer Chart cOnTaiNIng $q$) inTo anoThER chArt, the assocIateD injectivE homomORphism $f$ SAtisfieS $f(a)^k = f(g_Q)$. ThIs iMpliES tHaT in AnY ChaRT fOr $Q$, A RepResentatIvE oF $(a)$ has A fixED-POInt sEt cOntaIned iN that of a repreSenTatiVE of $(G_q)$. TheReforE, $\pi(\tIlDe{Q}_{(a)})$ iS contaIned iN $\pI(\tilde{Q}_{(g_q)})$. As $(g_q)$ anD $(g)$ rePresent thE saMe EquIvAlencE Class iN $T$, $\tIldE{Q}_{(g_q)} = \tilDe{Q}_{(g)}$. ThiS ImpLiES THaT $(a) \leq
(g)$. Hence, as $\tilde{q}_{(g)}$ IS AsSumed to bE minimAL, wE mUSt have thAt $(A) \eqUiv (g)$. tHErefoRe, $a = g_Q \In g_q$.

Now, for Each paIR $p_I, p_{I+1}$ of poinTs Above, tHe IntErsEctioN Of thE chart At $p_i$ with That aT $P_{i+1}$ produces a chaRT at $p_i$ containeD In
q$ is a representative of$(g)$ in t he is otr opy  g roup  $G_ q$. Hence, the r e is  a sequence of points$(p_i ,( g_{p _ i} ))$,$i = 0, \l d o ts,  s $suc ht ha t $p_ 0 =  p$, $p _s = q$, $ p_i $and $p_{i+1} $  l ie in thesam e chart $\{V_i , G_i,  \ pi_ i  \}$,  an d $g_ i = g_ { i+1}$in $G_i$(s e e [@ch e nhu]; n o t ethat  in general, $g_i $  a n d $g_{i+1}$ ar e requ ir e dt o  be  co njugate in  $ G_i$, but tha t  t h i s  im p lies that the y are equal inour ca se ).F ix a c hart$\ {  V_ q, G_q, \pi _q \ }$ at $q\in Q$ ,  and le t  $a$ be  a gen era tor  of$ G_ q$ . T he n  th e re  is a $ k
\in {\ ma th bb{Z} }$ s u c h that  $a ^k =  g_q$ .

It is obvi ous  tha t  $V _q^a\subs eteq  V _q^{g _q}$.Moreo ve r, for any inje ctio n of $\{V_q ,G_q ,\pi_q \}$ (o r a  re stricti on to a sma ll e r ch art containing $q$ )i n to  another  chart ,  t he associat ed  in ject i v e hom omor p hi sm $f$ s atisfi e s$f (a)^k =  f (g_q)$ .Thi s i mplie s  tha t in a ny chart  for$ Q$, a represen t ative of $(a) $  h a s  a fixe d-p oint set co ntai n ed i n th a tofa  repr esent at i ve of $(g_q)$. Therefo re , $\pi (\til de{Q}_{(a)})$  is contai n e d  in $\pi (\ti l de { Q}_{(g_q)})$.As $( g_q)$ and$ (g)$ rep resen t the sa me equiva l e nce clas s i n $ T$,  $\ t i ld e{Q}_{(g_q)}= \til de {Q}_{(g )}$ . Thisimp lie s t hat  $ (a) \leq(g)$. He nc e,  a s$\t ilde{ Q }_{(g)}$  i s a ss ume d tob e mini mal,we m us th ave  that $ ( a) \ equi v(g )$.The re fore,  $a=  g_ q \in G _q$.

Now , f o r ea ch  p air $p_ i, p_{i+1}$ o fpoints abo ve , t he int e r sectionof the chart at $p_i$ w i th that  at  $p_{ i+1} $ produce s a  chart  at $p_i$contai ned i n
q$ is_a representative_of $(g)$ in the_isotropy group_$G_q$._Hence, there_is_a sequence of_points $(p_i, (g_{p_i}))$,_$i = 0,
\ldots, s$_such that $p_0_=_p$, $p_s = q$, $p_i$ and $p_{i+1}$ lie in the same chart $\{ V_i,_G_i,_\pi_i \}$,_and_$g_i_= g_{i+1}$ in $G_i$ (see_[@chenhu]; note that in general,_$g_i$ and_$g_{i+1}$ are required to be conjugate in $G_i$,_but_that this implies_that they are equal in our case). Fix a_chart $\{ V_q, G_q, \pi_q \}$_at $q \in_Q$,_and_let $a$ be a_generator of $G_q$. Then there is_a $k
\in {\mathbb{Z}}$ such that $a^k_= g_q$.

It is obvious that $V_q^a \subseteq_V_q^{g_q}$. Moreover, for any injection of_$\{ V_q, G_q, \pi_q \}$_(or a_restriction to a smaller chart_containing $q$) into_another chart,_the associated injective_homomorphism $f$ satisfies $f(a)^k = f(g_q)$._This implies that_in any chart for $Q$, a_representative_of $(a)$ has_a_fixed-point_set contained_in that of_a_representative of_$(g_q)$._Therefore, $\pi(\tilde{Q}_{(a)})$ is contained in $\pi(\tilde{Q}_{(g_q)})$._As_$(g_q)$ and $(g)$ represent the same equivalence_class in $T$, $\tilde{Q}_{(g_q)}_=_\tilde{Q}_{(g)}$. This implies that_$(a) \leq
(g)$. Hence, as $\tilde{Q}_{(g)}$_is assumed to be minimal, we_must have_that $(a)_\equiv (g)$. Therefore, $a = g_q \in G_q$.

Now, for each pair_$p_i, p_{i+1}$ of points above, the_intersection of the chart_at $p_i$_with_that at $p_{i+1}$_produces_a chart_at $p_i$ contained in