{T}^H_{_m}$. Furthermore, because the complex codimension of $\mathcal{Z}^H_{m}\setminus \mathcal{Z}_{m}$ is as least one in $\mathcal{Z}^H_{_m}$, the complex codimension of $\mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is also as least one in $\mathcal{T}^H_{_m}$.

First, it is not hard to see that the restriction map $\Phi_m$ is holomorphic. Indeed, we know that $i_m:\,\mathcal{T}\rightarrow \mathcal{T}_m$ is the lifting of $i\circ \pi_m$ and $\pi^H_{_m}|_{\mathcal{T}_m}:\, \mathcal{T}_m\rightarrow \mathcal{Z}_m$ is a holomorphic covering map, thus $i_m$ is also holomorphic. Since $\Phi=\Phi_m\circ i_m$ with both $\Phi$, $i_m$ holomorphic and $i_m$ locally invertible, we can conclude that $\Phi_m:\,\mathcal{T}_m\rightarrow D$ is a holomorphic map. Moreover, we have $\Phi_m(\mathcal{T}_m)=\Phi_m(i_m(\mathcal{T}))=\Phi(\mathcal{T})$ as $\Phi=i_m\circ \Phi_m$. In particular, as $\Phi: \,\mathcal{T}\rightarrow N_+\cap D$ is bounded, we get that $\Phi_m: \,\mathcal{T}\rightarrow N_+\cap D$ is also bounded in $N_+$ with the Euclidean metric. Thus $\Phi^H_{_m}$ is also bounded. Therefore applying Riemann extension theorem, we get

\[Riemannextension\]The map $\Phi^{H}_{_m}$ is a bounded holomorphic map from $\mathcal{T}^H_{_m}$ to $N_+\cap D$.

According to the above discussion, we know that the complement $\mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is the pre-image of $\mathcal{Z}^H_{m}\setminus \mathcal{Z}_{m}$ of the covering map $\pi_m^H$. So $\mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is a analytic subvariety of $\mathcal{T
{ T}^H_{_m}$. Furthermore, because the complex codimension of $ \mathcal{Z}^H_{m}\setminus \mathcal{Z}_{m}$ is as least one in $ \mathcal{Z}^H_{_m}$, the complex codimension of $ \mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is also as least one in $ \mathcal{T}^H_{_m}$. 

 First, it is not unvoiced to examine that the restriction map $ \Phi_m$ is holomorphic. Indeed, we know that $ i_m:\,\mathcal{T}\rightarrow \mathcal{T}_m$ is the lifting of $ i\circ \pi_m$ and $ \pi^H_{_m}|_{\mathcal{T}_m}:\, \mathcal{T}_m\rightarrow \mathcal{Z}_m$ is a holomorphic application map, thus $ i_m$ is besides holomorphic. Since $ \Phi=\Phi_m\circ i_m$ with both $ \Phi$, $ i_m$ holomorphic and $ i_m$ locally invertible, we can conclude that $ \Phi_m:\,\mathcal{T}_m\rightarrow D$ is a holomorphic map. Moreover, we suffer $ \Phi_m(\mathcal{T}_m)=\Phi_m(i_m(\mathcal{T}))=\Phi(\mathcal{T})$ as $ \Phi = i_m\circ \Phi_m$. In particular, as $ \Phi: \,\mathcal{T}\rightarrow N_+\cap D$ is bounded, we catch that $ \Phi_m: \,\mathcal{T}\rightarrow N_+\cap D$ is also bound in $ N_+$ with the euclidian metric. Thus $ \Phi^H_{_m}$ is besides bounded. consequently put on Riemann extension theorem, we get 

 \[Riemannextension\]The map $ \Phi^{H}_{_m}$ is a bound holomorphic map from $ \mathcal{T}^H_{_m}$ to $ N_+\cap D$. 

 According to the above discussion, we acknowledge that the complement $ \mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is the pre - image of $ \mathcal{Z}^H_{m}\setminus \mathcal{Z}_{m}$ of the cover map $ \pi_m^H$. So $ \mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is a analytic subvariety of $ \mathcal{T
{T}^H_{_m}$. Furthermore, because the complex codimeuwion oh $\mathczl{Z}^H_{m}\setoinus \mathcal{Z}_{m}$ is as least lnw in $\nathcal{Z}^H_{_m}$, the complex codimenspon of $\marhcao{R}^H_{_m}\backslash\mathcal{T}_m$ is wlso es least one in $\mathcal{T}^H_{_k}$.

First, it is nmt hcrd to see that the restriction map $\[hi_m$ is hllomorphic. Indged, wt kgow fhat $i_m:\,\mathcal{T}\rightarrow \mathcal{T}_j$ is tht lifting of $i\circ \pi_m$ and $\pi^H_{_m}|_{\mathcal{T}_m}:\, \matjcal{H}_m\rightarrow \mathcwl{Z}_m$ is a hilomjephic coverivg map, thus $i_m$ is also holomorphic. Since $\Phi=\Phi_m\circ k_m$ wich both $\Phi$, $i_n$ hlnomorphic aid $i_m$ jocally invevnible, wa can cpnclude that $\Pmi_m:\,\mavhcao{T}_m\rightarrow D$ is a iolomorphic map. Morejver, we hdvz $\Phi_m(\mathcal{T}_m)=\Phi_m(i_m(\narhcal{J}))=\Phi(\mdthcxo{T})$ xs $\Khi=m_m\cjrc \Phl_m$. Mn particulzr, as $\Phi: \,\mqthcal{T}\rightarrow N_+\va[ D$ is bounded, we gee ehat $\Phi_m: \,\mathcal{T}\rightarrow N_+\cap D$ is dlsk bounded in $N_+$ with the Euclidean metric. Thud $\Phi^H_{_m}$ if also bounded. Therefore applying Riemann extensimn thxofem, wc geg

\[Eifmannextension\]The map $\Phi^{H}_{_m}$ is a bounded holoikrkhib map from $\mathcaj{T}^H_{_m}$ to $N_+\cal F$.

Avsording to thg above diacussion, we know tjat the compoement $\mauhcal{Y}^H_{_m}\backslash\mathcal{T}_m$ is thw pre-image oy $\mqthcal{Z}^H_{m}\setminus \lathcal{Z}_{m}$ oy the voverong map $\pi_m^H$. So $\mathcal{C}^H_{_m}\bacislash\mathcwl{T}_m$ is a xnalytic subvaridty ox $\mathcal{T
{T}^H_{_m}$. Furthermore, because the complex codimension of is least one $\mathcal{Z}^H_{_m}$, the complex as one in $\mathcal{T}^H_{_m}$. it is not to see that the restriction map is holomorphic. Indeed, we know that $i_m:\,\mathcal{T}\rightarrow \mathcal{T}_m$ is the lifting of $i\circ and $\pi^H_{_m}|_{\mathcal{T}_m}:\, \mathcal{T}_m\rightarrow \mathcal{Z}_m$ is a holomorphic covering map, thus $i_m$ is also Since i_m$ both $i_m$ holomorphic and $i_m$ locally invertible, we can conclude that $\Phi_m:\,\mathcal{T}_m\rightarrow D$ is a holomorphic map. we have $\Phi_m(\mathcal{T}_m)=\Phi_m(i_m(\mathcal{T}))=\Phi(\mathcal{T})$ as $\Phi=i_m\circ \Phi_m$. In particular, $\Phi: \,\mathcal{T}\rightarrow N_+\cap D$ bounded, we get that $\Phi_m: N_+\cap is also in with Euclidean metric. Thus is also bounded. Therefore applying Riemann extension theorem, we get \[Riemannextension\]The map $\Phi^{H}_{_m}$ is a bounded holomorphic from $\mathcal{T}^H_{_m}$ D$. According the discussion, know that the is the pre-image of $\mathcal{Z}^H_{m}\setminus \mathcal{Z}_{m}$ map $\pi_m^H$. So $\mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is a analytic subvariety $\mathcal{T
{T}^H_{_m}$. Furthermore, because the cOmplex codiMensiOn oF $\maThCal{Z}^h_{m}\seTminus \mathcal{Z}_{M}$ Is as Least one in $\mathcal{Z}^H_{_m}$, thE compLeX CodiMEnSion oF $\mathcaL{t}^H_{_M}\BAckSlAsH\maThCAl{t}_m$ is aLso As least One in $\mathcAl{T}^h_{_m}$.

first, it is not HArD to see that The Restriction mAp $\PHi_m$ is hOlOmoRPhic. INdeEd, we kNow thaT $I_m:\,\mathCal{T}\rightArROw \mathCAl{T}_m$ is tHE LiFtinG of $i\circ \pi_m$ and $\pi^H_{_M}|_{\MaTHcal{T}_m}:\, \mathcal{T}_M\rightArROw \MAThcAl{Z}_M$ is a holomoRpHic coVEring maP, ThUS $I_M$ is ALso holomorphiC. Since $\Phi=\PhI_M\ciRc i_m$ wiTh BotH $\phi$, $i_m$ hOlomoRpHIc aNd $i_m$ locally InveRtible, we cAn concLUde that $\pHi_m:\,\mathCal{T}_m\rIghTarRow D$ IS a HoLomOrPHic MAp. morEOveR, we have $\PHi_M(\mAthcaL{T}_m)=\PHI_M(I_M(\matHcaL{T}))=\PhI(\mathCal{T})$ as $\Phi=i_m\ciRc \PHi_m$. IN ParTiculAr, as $\PHi: \,\maThCal{T}\rIghtarRow N_+\cAp d$ is bounded, we get That $\phi_m: \,\mathcAl{T}\RiGhtArRow N_+\cAP D$ is alSo bOunDed in $N_+$ wIth the EUCliDeAN MEtRic. Thus $\Phi^H_{_m}$ is also BoUNDeD. TherefoRe applYInG RIEmann extEnSioN theOREm, we gEt

\[RiEMaNnextensIon\]The MAp $\phI^{H}_{_m}$ is a bOuNded hoLoMorPhiC map fROm $\maThcal{T}^h_{_m}$ to $N_+\cap d$.

AccoRDing to the above DIscussion, we knOW tHAT tHE comPleMent $\mathcal{t}^H_{_m}\bACkslAsh\mAThCal{t}_M$ is thE pre-iMaGE oF $\Mathcal{Z}^H_{m}\setminus \mAtHcal{Z}_{m}$ Of the Covering map $\pi_M^H$. So $\mathcaL{t}^h_{_M}\backslaSh\maTHcAL{T}_m$ is a analytic SubvaRiety of $\matHCal{T
{T}^H_{_m}$. Furthermore,because th e com ple x c od imen sion  of $\mathcal{ Z }^H_ {m}\setminus \mathcal{ Z}_{m }$ is a s  l eastone in$ \m a t hca l{ Z} ^H_ {_ m }$ , the  co mplex c odimension  of  $ \mathcal{T}^ H _{ _m}\backsl ash \mathcal{T}_ m$is als oasl eastone  in $ \mathc a l{T}^H _{_m}$.
Fi r st, it is noth a rd  tosee that the rest r ic t ion map $\Phi_ m$ isho l om o r phi c.Indeed, we  k now t h at $i_m : \, \ m a thc a l{T}\rightarr ow \mathcal { T}_ m$ isth e l i ftingof $i \c i rc\pi_m$ and$\pi ^H_{_m}|_ {\math c al{T}_m } :\, \ma thcal{ T}_ m\r ight a rr ow  \m at h cal { Z} _m$ isa holomo rp hi c cov erin g m a p, t hus  $i_ m$ is  also holomor phi c. S i nce  $\Ph i=\Ph i_m\ ci rc i_ m$ wit h bot h$\Phi$, $i_m$ h olom orphic an d $ i_ m$lo cally invert ibl e,we canconclud e  th at $ \ Ph i_m:\,\mathcal{T}_ m\ r i gh tarrow D $ is a ho lo m orphic m ap . M oreo v e r, we  hav e  $ \Phi_m(\ mathca l {T }_ m)=\Phi _m (i_m(\ ma thc al{ T}))= \ Phi( \mathc al{T})$as $\ P hi=i_m\circ \P h i_m$. In part i cu l a r, as $ \Ph i: \,\mathc al{T } \rig htar r ow  N_ + \capD$ is  b o un d ed, we get that $\P hi _m: \, \math cal{T}\righta rrow N_+\c a p D$ is al so b o un d ed in $N_+$ wi th th e Euclidea n  metric.  Thus  $\Phi^H _{_m}$ is a lso boun ded . T her efo r e  a pplying Riema n n  ext en sion th eor em, weget 

\ [Ri ema nn extension \]The ma p$\ Ph i^ {H} _{_m} $  is a bo un ded  h olo morph i c mapfrom$\ma th ca l {T} ^H_{_m} $  t o $N_+ \c ap  D$. 

A cc ordin g to the  abovediscussio n,w e kn ow  t hat the  complement $ \m athcal{T}^ H_ {_m }\back s l ash\math cal{T}_m$ is the pre-im a ge of $ \ma thcal {Z}^ H_{m}\set min us \ma thc a l{Z}_{ m}$ of  theco ver i n g map $ \p i_m ^H $. So $\ma t h cal {T}^H _{ _m}\ backsla sh\mathcal{T}_m$ i s  aanalytic subv ari etyo f  $ \ma t hc a l{T 
{T}^H_{_m}$. Furthermore,_because the_complex codimension of $\mathcal{Z}^H_{m}\setminus_\mathcal{Z}_{m}$ is_as_least one_in_$\mathcal{Z}^H_{_m}$, the complex_codimension of $\mathcal{T}^H_{_m}\backslash\mathcal{T}_m$_is also as least_one in $\mathcal{T}^H_{_m}$.

First,_it_is not hard to see that the restriction map $\Phi_m$ is holomorphic. Indeed, we_know_that $i_m:\,\mathcal{T}\rightarrow_\mathcal{T}_m$_is_the lifting of $i\circ \pi_m$_and $\pi^H_{_m}|_{\mathcal{T}_m}:\, \mathcal{T}_m\rightarrow \mathcal{Z}_m$ is_a holomorphic_covering map, thus $i_m$ is also holomorphic. Since_$\Phi=\Phi_m\circ_i_m$ with both_$\Phi$, $i_m$ holomorphic and $i_m$ locally invertible, we can_conclude that $\Phi_m:\,\mathcal{T}_m\rightarrow D$ is a_holomorphic map. Moreover,_we_have_$\Phi_m(\mathcal{T}_m)=\Phi_m(i_m(\mathcal{T}))=\Phi(\mathcal{T})$ as $\Phi=i_m\circ \Phi_m$._In particular, as $\Phi: \,\mathcal{T}\rightarrow N_+\cap_D$ is bounded, we get that_$\Phi_m: \,\mathcal{T}\rightarrow N_+\cap D$ is also bounded_in $N_+$ with the Euclidean metric._Thus $\Phi^H_{_m}$ is also bounded._Therefore applying_Riemann extension theorem, we get

\[Riemannextension\]The_map $\Phi^{H}_{_m}$ is_a bounded_holomorphic map from_$\mathcal{T}^H_{_m}$ to $N_+\cap D$.

According to the_above discussion, we_know that the complement $\mathcal{T}^H_{_m}\backslash\mathcal{T}_m$ is_the_pre-image of $\mathcal{Z}^H_{m}\setminus_\mathcal{Z}_{m}$_of_the covering_map $\pi_m^H$. So_$\mathcal{T}^H_{_m}\backslash\mathcal{T}_m$_is a_analytic_subvariety of $\mathcal{T