}\\
\notag (g,h) &\mapsto \det[({N}(g)-{N}(h)), \nu(g), \nu(h)].\end{aligned}$$ Using equation \[nu1\] and theorem \[N\] we get that $$\begin{aligned}
 \label{13}
F(\tilde{\phi _t}g, \tilde{\phi _t}h) = F(g,h)\end{aligned}$$ for all $t\in\mathbb{R}$. Again using equation \[nu2\] and theorem \[N\] we get that the neutralised section and the neutral section are equivariant under the action of $\Gamma$. Hence for all $\gamma$ in $\Gamma$ we have, $$\begin{aligned}
\label{18}
F(\gamma g,\gamma h) &= \det [({N}(\gamma g)-{N}(\gamma h)), \nu(\gamma g), \nu(\gamma h)] \\
\notag &= \det [\gamma({N}(g)-{N}(h)), \gamma \nu(g), \gamma \nu(h))] \\
\notag &= \det [\gamma] \det [({N}(g)-{N}(h)), \nu(g), \nu(h)] \\
\notag &= \det [({N}(g)-{N}(h)), \nu(g), \nu(h)] \\
\notag &= F(g, h).\end{aligned}$$ Now for a fixed real number $c_0$ we consider the space, $$\begin{aligned}
\mathfrak{K} {\mathrel{\mathop:}=}\lbrace (g_1,g_2) \mid d_{\mathsf{U}\mathbb{H}}(g_1,g_2) \leqslant c_0 \rbrace \subset \mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H} \times \mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H}.\end{aligned}$$ Compactness of $\mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\Sigma$ implies that $\mathfrak{K}_{\Gamma}$, the projection of $\mathfrak{K}$ in $\Gamma \backslash (\mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H} \times \mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H})$, is compact. Now continuity of
} \\ 
 \notag (g, h) & \mapsto \det[({N}(g)-{N}(h) ), \nu(g), \nu(h)].\end{aligned}$$ Using equation \[nu1\ ] and theorem \[N\ ] we get that $ $ \begin{aligned } 
  \label{13 } 
 F(\tilde{\phi _ t}g, \tilde{\phi _ t}h) = F(g, h)\end{aligned}$$ for all $ t\in\mathbb{R}$. Again using equality \[nu2\ ] and theorem \[N\ ] we make that the neutralised section and the achromatic department are equivariant under the action of $ \Gamma$. Hence for all $ \gamma$ in $ \Gamma$ we hold, $ $ \begin{aligned } 
 \label{18 } 
 F(\gamma g,\gamma h) & = \det [ ({ N}(\gamma g)-{N}(\gamma h) ), \nu(\gamma g), \nu(\gamma h) ] \\ 
 \notag & = \det [ \gamma({N}(g)-{N}(h) ), \gamma \nu(g), \gamma \nu(h) ) ] \\ 
 \notag & = \det [ \gamma ] \det [ ({ N}(g)-{N}(h) ), \nu(g), \nu(h) ] \\ 
 \notag & = \det [ ({ N}(g)-{N}(h) ), \nu(g), \nu(h) ] \\ 
 \notag & = F(g, h).\end{aligned}$$ Now for a fixed actual number $ c_0 $ we consider the quad, $ $ \begin{aligned } 
 \mathfrak{K } { \mathrel{\mathop:}=}\lbrace (g_1,g_2) \mid d_{\mathsf{U}\mathbb{H}}(g_1,g_2) \leqslant c_0 \rbrace \subset \mathsf{U}_{\hbox{\tiny $ \mathrm{rec}$}}\mathbb{H } \times \mathsf{U}_{\hbox{\tiny $ \mathrm{rec}$}}\mathbb{H}.\end{aligned}$$ Compactness of $ \mathsf{U}_{\hbox{\tiny $ \mathrm{rec}$}}\Sigma$ implies that $ \mathfrak{K}_{\Gamma}$, the projection of $ \mathfrak{K}$ in $ \Gamma \backslash (\mathsf{U}_{\hbox{\tiny $ \mathrm{rec}$}}\mathbb{H } \times \mathsf{U}_{\hbox{\tiny $ \mathrm{rec}$}}\mathbb{H})$, is compendious. Now continuity of
}\\
\notwg (g,h) &\mapsto \det[({N}(g)-{N}(h)), \nu(g), \nu(h)].\end{aligned}$$ Osung eqnation \[hu1\] and tfeorem \[N\] we get that $$\begin{almgnee}
 \labtj{13}
F(\tilde{\phi _t}g, \tildd{\phi _t}h) = V(g,h)\end{alugnev}$$ for all $t\in\matigb{R}$. Agalu usihn equctmon \[nu2\] and theotem \[N\] we get that the neutsauided section and the neutral section are eqiigariant under jhe abtyon kf $\Gamma$. Hence for all $\gamma$ in $\Gajma$ we iave, $$\begin{alignrd}
\label{18}
F(\gamma g,\gamma h) &= \deh [({N}(\gwmma g)-{N}(\gamma h)), \nu(\gwmma g), \nu(\ganma r)] \\
\notag &= \det [\eamma({N}(g)-{N}(h)), \gamma \nu(g), \gajma \nu(h))] \\
\notag &= \det [\gamma] \det [({N}(g)-{V}(h)), \nu(y), \nu(h)] \\
\notag &= \eet [({T}(g)-{N}(h)), \nu(g), \nu(i)] \\
\notad &= F(g, h).\end{allbned}$$ Nmw for s fixed real nmmber $c_0$ qe consider the space, $$\begin{aligned}
\mathftak{K} {\mathral{\jathop:}=}\lbrace (g_1,g_2) \mud d_{\matvsf{U}\kathcv{H}}(g_1,e_2) \ltqskaht c_0 \rhrare \subset \mzthsf{U}_{\hbox{\tuny $\mathrm{rec}$}}\mathbb{N} \epkes \mathsf{U}_{\hgox{\tinr $\iathrm{rec}$}}\mathbb{H}.\end{aligned}$$ Compactness mf $\jathsf{U}_{\hbox{\tiny $\mathrm{rwc}$}}\Sigma$ implies that $\lathfrak{K}_{\Damma}$, the projection of $\mathfrak{K}$ in $\Gamma \backsldsh (\metfsf{B}_{\mnox{\tkby $\mathrm{rec}$}}\mathbb{H} \times \mathsf{U}_{\hbox{\tiny $\mathri{dev}$}}\msthbb{H})$, is compcct. Now continuiyy og
}\\ \notag (g,h) &\mapsto \det[({N}(g)-{N}(h)), \nu(g), \nu(h)].\end{aligned}$$ \[nu1\] theorem \[N\] get that $$\begin{aligned} = for all $t\in\mathbb{R}$. using equation \[nu2\] theorem \[N\] we get that the section and the neutral section are equivariant under the action of $\Gamma$. Hence all $\gamma$ in $\Gamma$ we have, $$\begin{aligned} \label{18} F(\gamma g,\gamma h) &= \det g)-{N}(\gamma \nu(\gamma \nu(\gamma \\ \notag &= \det [\gamma({N}(g)-{N}(h)), \gamma \nu(g), \gamma \nu(h))] \\ \notag &= \det [\gamma] \det [({N}(g)-{N}(h)), \nu(h)] \\ \notag &= \det [({N}(g)-{N}(h)), \nu(g), \nu(h)] \notag &= F(g, h).\end{aligned}$$ for a fixed real number we the space, \mathfrak{K} (g_1,g_2) d_{\mathsf{U}\mathbb{H}}(g_1,g_2) \leqslant c_0 \subset \mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H} \times \mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H}.\end{aligned}$$ Compactness of $\mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\Sigma$ implies that $\mathfrak{K}_{\Gamma}$, the projection of $\mathfrak{K}$ $\Gamma \backslash \times \mathsf{U}_{\hbox{\tiny is Now of
}\\
\notag (g,h) &\mapsto \det[({N}(g)-{N}(h)), \nu(g), \nu(H)].\end{aligneD}$$ UsinG eqUatIoN \[nu1\] aNd thEorem \[N\] we get thaT $$\BegiN{aligned}
 \label{13}
F(\tilde{\phi _T}g, \tilDe{\PHi _t}h) = f(G,h)\End{alIgned}$$ foR AlL $T\In\mAtHbB{R}$. AGaIN uSing eQuaTion \[nu2\] aNd theorem \[N\] We gEt That the neutrALiSed section And The neutral seCtiOn are eQuIvaRIant uNdeR the aCtion oF $\gamma$. HEnce for alL $\gAMma$ in $\GAMma$ we haVE, $$\BeGin{aLigned}
\label{18}
F(\gamma G,\GaMMa h) &= \det [({N}(\gamma g)-{N}(\Gamma h)), \Nu(\GAmMA G), \nu(\GamMa h)] \\
\notag &= \deT [\gAmma({N}(G)-{n}(h)), \gamma \NU(g), \GAMMa \nU(H))] \\
\notag &= \det [\gammA] \det [({N}(g)-{N}(h)), \nu(g), \NU(h)] \\
\nOtag &= \deT [({N}(G)-{N}(h)), \NU(g), \nu(h)] \\
\nOtag &= F(G, h).\ENd{aLigned}$$ Now foR a fiXed real nuMber $c_0$ wE ConsideR The spacE, $$\begin{AliGneD}
\matHFrAk{k} {\maThREl{\mAThOp:}=}\lBRacE (g_1,g_2) \mid d_{\mAtHsF{U}\matHbb{H}}(G_1,G_2) \LEQslaNt c_0 \RbraCe \subSet \mathsf{U}_{\hboX{\tiNy $\maTHrm{Rec}$}}\maThbb{H} \TimeS \mAthsf{u}_{\hbox{\tIny $\maThRm{rec}$}}\mathbb{H}.\end{AligNed}$$ CompacTneSs Of $\mAtHsf{U}_{\hBOx{\tiny $\MatHrm{Rec}$}}\SigmA$ implieS ThaT $\mATHFrAk{K}_{\Gamma}$, the projectIoN OF $\mAthfrak{K}$ In $\GammA \BaCkSLash (\mathSf{u}_{\hbOx{\tiNY $\MathrM{rec}$}}\MAtHbb{H} \timeS \mathsF{u}_{\hBoX{\tiny $\maThRm{rec}$}}\mAtHbb{h})$, is CompaCT. Now ContinUity of
}\\
\notag (g,h) &\mapsto\det[({N}( g)-{N }(h )),  \ nu(g ), \ nu(h)].\end{al i gned }$$ Using equation \[n u1\]an d  the o re m \[N \] we g e tt h at$$ \b egi n{ a li gned} 
 \ label{1 3}
F(\tild e{\ ph i _t}g, \til d e{ \phi _t}h)  =F(g,h)\end{a lig ned}$$  f ora ll $t \in \math bb{R}$ .  Again  using eq ua t ion \[ n u2\] an d th eore m \[N\] we get th a tt he neutralised  secti on an d the  ne utral sect io n are equivar i an t u nde r  the action o f $\Gamma$. Hen ce for  a ll$ \gamma $ in$\ G amm a$ we have,  $$\ begin{ali gned}\ label{1 8 }
F(\ga mma g, \ga mma  h)& =\d et[( { N}( \ ga mma g)- {N}(\gam ma  h )), \ nu(\ g a m m a g) , \ nu(\ gamma  h)] \\
\nota g & = \d e t [ \gamm a({N} (g)- {N }(h)) , \gam ma \n u( g), \gamma \nu( h))]  \\
\nota g & =\de t[\gam m a] \de t [ ({N }(g)-{N }(h)),\ nu( g) , \ nu (h)] \\
\notag &=\d e t  [ ({N}(g)- {N}(h) ) ,\n u (g), \nu (h )]\\
\ n o tag & = F( g ,h).\end{ aligne d }$ $Now for  a  fixed  r eal  nu mber$ c_0$  we co nsider t he sp a ce, $$\begin{a l igned}
\mathf r ak { K }{ \mat hre l{\mathop:} =}\l b race  (g_ 1 ,g _2) \midd_{\m at h sf { U}\mathbb{H}}(g_1,g _2 ) \leq slant  c_0 \rbrace\subset \m a t h sf{U}_{\ hbox { \t i ny $\mathrm{re c}$}} \mathbb{H} \times \ maths f{U}_{\h box{\tiny $ \mathrm{ rec }$} }\m ath b b {H }.\end{aligne d } $$ C om pactnes s o f $\mat hsf {U} _{\ hbo x{ \tiny $\m athrm{re c} $} }\ Si gma $ imp l ies that  $ \ma th fra k{K}_ { \Gamma }$, t he p ro je c tio n of $\ m at h f rak{ K} $in $ \Ga mm a \ba cksl a sh(\maths f{U}_{\hb ox{ \ tiny  $ \m athrm{r ec}$}}\mathbb {H } \times \ ma ths f{U}_{ \ h box{\tin y $\mathrm{rec}$}}\math b b{H})$,  is  comp act.  Now cont inu ity of 
}\\
\notag (g,h)_&\mapsto \det[({N}(g)-{N}(h)),_\nu(g), \nu(h)].\end{aligned}$$ Using equation_\[nu1\] and_theorem_\[N\] we_get_that $$\begin{aligned}
 \label{13}
F(\tilde{\phi__t}g, \tilde{\phi _t}h)_= F(g,h)\end{aligned}$$ for all_$t\in\mathbb{R}$. Again using_equation_\[nu2\] and theorem \[N\] we get that the neutralised section and the neutral section_are_equivariant under_the_action_of $\Gamma$. Hence for all_$\gamma$ in $\Gamma$ we have,_$$\begin{aligned}
\label{18}
F(\gamma g,\gamma_h) &= \det [({N}(\gamma g)-{N}(\gamma h)), \nu(\gamma g),_\nu(\gamma_h)] \\
\notag &=_\det [\gamma({N}(g)-{N}(h)), \gamma \nu(g), \gamma \nu(h))] \\
\notag &= \det_[\gamma] \det [({N}(g)-{N}(h)), \nu(g), \nu(h)] \\
\notag_&= \det [({N}(g)-{N}(h)),_\nu(g),_\nu(h)]_\\
\notag &= F(g, h).\end{aligned}$$_Now for a fixed real number_$c_0$ we consider the space, $$\begin{aligned}
\mathfrak{K}_{\mathrel{\mathop:}=}\lbrace (g_1,g_2) \mid d_{\mathsf{U}\mathbb{H}}(g_1,g_2) \leqslant c_0 \rbrace_\subset \mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H} \times \mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H}.\end{aligned}$$_Compactness of $\mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\Sigma$ implies_that $\mathfrak{K}_{\Gamma}$,_the projection of $\mathfrak{K}$ in_$\Gamma \backslash (\mathsf{U}_{\hbox{\tiny_$\mathrm{rec}$}}\mathbb{H} \times_\mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{H})$, is_compact. Now continuity of