 hand, because ${\widetilde}{G}$ is a subgroup of $G_{\mathbb{R}}$, we have that $S(t)$ is also a one parameter subgroup of $G_{\mathbb{R}}$, therefore the curve $\gamma(t)=S(t)\cdot \gamma(0)$ also gives a geodesic in $D$. Since geodesics on ${\widetilde}{D}$ are also geodesics on $D$, we have proved ${\widetilde}{D}$ is totally geodesic in $D$.

We recall that according to the discussion in Section 2.3, we have the following commutative diagram, $$\begin{aligned}
\xymatrix{\mathcal{T}\ar[d]^{\pi_m}\ar[r]^{\Phi}&D\ar[d]^{\pi_D}\\\mathcal{Z}_m\ar[r]^{\Phi_{\mathcal{Z}_m}}&D/\Gamma,}\end{aligned}$$ where $\pi_m:\,\mathcal{T}\rightarrow \mathcal{Z}_m$ is the universal covering map, and $\pi_D:\,D\rightarrow D/\Gamma$ is a projection map. Let us denote the Hodge metric completion of $\mathcal{Z}_m$ by $\mathcal{Z}^H_{_m}$, and let $\mathcal{T}^H_{_m}$ be the universal cover of $\mathcal{Z}^H_{_m}$, for which the details will be given in Section 4.1. By the definition of $\mathcal{Z}^H_{_m}$, there exists the continuous extension map $\Phi^H_{_{\mathcal{Z}_m}}$. Moreover, since $\mathcal{T}$ is the universal cover of the moduli space $\mathcal{Z}_m$. We have the following commutative diagram, $$\begin{aligned}
\label{diagram2}
\xymatrix{\mathcal{T}\ar[r]^{i_{m}}\ar[d]^{\pi_m}&\mathcal{T}^H_{_m}\ar[d]^{\pi_{_m}^H}\ar[r]^{{\Phi}^{H}_{_m}}&D\ar[d]^{\pi_D}\\
\mathcal{Z}_m\ar[r]^{i}&\mathcal{Z}^H_{_m}\ar[r]^{{\Phi}_{_{\mathcal{Z}_m}}^H}&D/\Gamma,
}\end{aligned}$$ where $i$ is the inclusion map, ${i}_{_m}$ is a lifting map of $i\circ
hand, because $ { \widetilde}{G}$ is a subgroup of $ G_{\mathbb{R}}$, we have that $ S(t)$ is also a one parameter subgroup of $ G_{\mathbb{R}}$, consequently the curvature $ \gamma(t)=S(t)\cdot \gamma(0)$ also gives a geodesic in $ D$. Since geodesic on $ { \widetilde}{D}$ are also geodesic on $ D$, we have proved $ { \widetilde}{D}$ is totally geodetic in $ D$. 

 We recall that according to the discussion in Section 2.3, we suffer the following commutative diagram, $ $ \begin{aligned } 
 \xymatrix{\mathcal{T}\ar[d]^{\pi_m}\ar[r]^{\Phi}&D\ar[d]^{\pi_D}\\\mathcal{Z}_m\ar[r]^{\Phi_{\mathcal{Z}_m}}&D/\Gamma,}\end{aligned}$$ where $ \pi_m:\,\mathcal{T}\rightarrow \mathcal{Z}_m$ is the universal application map, and $ \pi_D:\,D\rightarrow D/\Gamma$ is a projection function. Let us denote the Hodge metric completion of $ \mathcal{Z}_m$ by $ \mathcal{Z}^H_{_m}$, and let $ \mathcal{T}^H_{_m}$ be the universal cover of $ \mathcal{Z}^H_{_m}$, for which the details will be contribute in Section 4.1. By the definition of $ \mathcal{Z}^H_{_m}$, there exists the continuous extension function $ \Phi^H_{_{\mathcal{Z}_m}}$. Moreover, since $ \mathcal{T}$ is the universal top of the moduli outer space $ \mathcal{Z}_m$. We have the following commutative diagram, $ $ \begin{aligned } 
 \label{diagram2 } 
 \xymatrix{\mathcal{T}\ar[r]^{i_{m}}\ar[d]^{\pi_m}&\mathcal{T}^H_{_m}\ar[d]^{\pi_{_m}^H}\ar[r]^{{\Phi}^{H}_{_m}}&D\ar[d]^{\pi_D}\\ 
 \mathcal{Z}_m\ar[r]^{i}&\mathcal{Z}^H_{_m}\ar[r]^{{\Phi}_{_{\mathcal{Z}_m}}^H}&D/\Gamma, 
 } \end{aligned}$$ where $ i$ is the inclusion map, $ { i}_{_m}$ is a lifting map of $ i\circ
 hajd, because ${\widetilde}{G}$ is a subgroup of $Y_{\nathbb{C}}$, we habe that $R(t)$ is also a one parameter snbgriup od $G_{\mathbb{R}}$, therefore tfe curve $\hamma(t)=S(t)\xdot \tamma(0)$ also gives a geodealc in $V$. Since geodesigs on ${\widethlde}{D}$ are also gdobesics on $D$, we have proved ${\widetilde}{Q}$ is toyaply geodesic ig $D$.

Wt rqcalm that according to the discussion in Secuion 2.3, we have the gollowing commutative diaggam, $$\hegin{aligned}
\xymatrlx{\mathcal{T}\at[s]^{\pi_i}\qr[r]^{\Phi}&D\ar[d]^{\pi_A}\\\mathcal{Z}_m\ar[r]^{\Phi_{\mathcam{Z}_m}}&D/\Gamma,}\end{aligned}$$ where $\pi_m:\,\maghcal{C}\rightarrow \mqthfdl{Z}_m$ is the univvrsal coverinn map, atd $\pi_D:\,D\tightarrow D/\Gakma$ is a projection map. Let us denote the Hodde metric ckmpletion of $\mathxao{Z}_m$ bi $\matvcal{X}^Y_{_m}$, xnd lxt $\jathcap{T}^H_{_j}$ be the uhiversal cocer of $\mathcal{Z}^H_{_m}$, fpr qhich the detzils wylj be given in Section 4.1. By the definitiot or $\mathcal{Z}^H_{_m}$, there exisrs the continuous extgnsion map $\Phi^H_{_{\mathcal{Z}_m}}$. Moreover, since $\mathcal{T}$ is the unieersam corcv of rhf moduli space $\mathcal{Z}_m$. We have the followind cpmkutative diagrcm, $$\begin{aligned}
\lsbfl{cyagram2}
\xymatrib{\mathccm{T}\zr[r]^{i_{m}}\ar[d]^{\pi_m}&\mathcal{H}^H_{_m}\ar[d]^{\py_{_m}^H}\ar[e]^{{\Phi}^{H}_{_m}}&D\ar[q]^{\pi_D}\\
\kathcal{Z}_m\ar[r]^{i}&\mathcal{Z}^H_{_m}\ar[r]^{{\Pyi}_{_{\mathcal{Z}_m}}^H}&B/\Ganma,
}\end{aligned}$$ wherz $i$ is the iuclusipn mal, ${i}_{_m}$ is a lifting map oy $i\cird
hand, because ${\widetilde}{G}$ is a subgroup of have $S(t)$ is a one parameter curve \gamma(0)$ also gives geodesic in $D$. geodesics on ${\widetilde}{D}$ are also geodesics $D$, we have proved ${\widetilde}{D}$ is totally geodesic in $D$. We recall that to the discussion in Section 2.3, we have the following commutative diagram, $$\begin{aligned} where \mathcal{Z}_m$ the covering map, and $\pi_D:\,D\rightarrow D/\Gamma$ is a projection map. Let us denote the Hodge metric completion $\mathcal{Z}_m$ by $\mathcal{Z}^H_{_m}$, and let $\mathcal{T}^H_{_m}$ be the cover of $\mathcal{Z}^H_{_m}$, for the details will be given Section By the of there the continuous extension $\Phi^H_{_{\mathcal{Z}_m}}$. Moreover, since $\mathcal{T}$ is the universal cover of the moduli space $\mathcal{Z}_m$. We have the following diagram, $$\begin{aligned} \mathcal{Z}_m\ar[r]^{i}&\mathcal{Z}^H_{_m}\ar[r]^{{\Phi}_{_{\mathcal{Z}_m}}^H}&D/\Gamma, }\end{aligned}$$ $i$ the map, ${i}_{_m}$ is map of $i\circ
 hand, because ${\widetilde}{G}$ is a sUbgroup of $G_{\MathbB{R}}$, wE haVe That $s(t)$ is Also a one parameTEr suBgroup of $G_{\mathbb{R}}$, therefOre thE cURve $\gAMmA(t)=S(t)\cDot \gammA(0)$ AlSO GivEs A gEodEsIC iN $D$. SinCe gEodesicS on ${\widetilDe}{D}$ ArE also geodesiCS oN $D$, we have prOveD ${\widetilde}{D}$ iS toTally gEoDesIC in $D$.

WE reCall tHat accORding tO the discuSsIOn in SeCTion 2.3, we hAVE tHe foLlowing commutativE DiAGram, $$\begin{alignEd}
\xymaTrIX{\mATHcaL{T}\aR[d]^{\pi_m}\ar[r]^{\PhI}&D\Ar[d]^{\pi_d}\\\Mathcal{z}_M\aR[R]^{\pHi_{\mAThcal{Z}_m}}&D/\Gamma,}\End{aligned}$$ wHEre $\Pi_m:\,\matHcAl{T}\RIghtarRow \maThCAl{Z}_M$ is the univeRsal Covering mAp, and $\pI_d:\,D\rightARrow D/\GaMma$ is a ProJecTion MAp. leT us DeNOte THe hodGE meTric compLeTiOn of $\mAthcAL{z}_M$ By $\maThcAl{Z}^H_{_M}$, and lEt $\mathcal{T}^H_{_m}$ bE thE uniVErsAl covEr of $\mAthcAl{z}^H_{_m}$, foR which The deTaIls will be given iN SecTion 4.1. By the DefInItiOn Of $\matHCal{Z}^H_{_m}$, TheRe eXists thE continUOus ExTENSiOn map $\Phi^H_{_{\mathcal{Z}_m}}$. moREOvEr, since $\mAthcal{t}$ Is ThE UniversaL cOveR of tHE ModulI spaCE $\mAthcal{Z}_m$. we have THe FoLlowing CoMmutatIvE diAgrAm, $$\begIN{aliGned}
\laBel{diagrAm2}
\xymATrix{\mathcal{T}\ar[R]^{I_{m}}\ar[d]^{\pi_m}&\mathcAL{T}^h_{_M}\Ar[D]^{\Pi_{_m}^H}\Ar[r]^{{\phi}^{H}_{_m}}&D\ar[d]^{\pi_d}\\
\matHCal{Z}_M\ar[r]^{I}&\MaThcAL{Z}^H_{_m}\aR[r]^{{\Phi}_{_{\MaTHcAL{Z}_m}}^H}&D/\Gamma,
}\end{aligneD}$$ wHere $i$ iS the iNclusion map, ${i}_{_m}$ Is a lifting MAP Of $i\circ
 hand, because ${\widetild e}{G}$ isa sub gro upof  $G_ {\ma thbb{R}}$, weh avethat $S(t)$ is also aone p ar a mete r  s ubgro up of $ G _{ \ m ath bb {R }}$ ,t he refor e t he curv e $\gamma( t)= S( t)\cdot \gam m a( 0)$ also g ive s a geodesic  in  $D$.Si nce geode sic s on${\wid e tilde} {D}$ areal s o geod e sics on $ D$ , we  have proved ${\w i de t ilde}{D}$ is t otally  g e od e s icin$D$.

We r ec all t h at acco r di n g tot he discussion  in Section 2.3 , we h av e t h e foll owing  c o mmu tative diag ram,  $$\begin {align e d}
\xym a trix{\m athcal {T} \ar [d]^ { \p i_ m}\ ar [ r]^ { \P hi} & D\a r[d]^{\p i_ D} \\\ma thca l { Z } _m\a r[r ]^{\ Phi_{ \mathcal{Z}_m }}& D/\G a mma ,}\en d{ali gned }$ $ whe re $\p i_m:\ ,\ mathcal{T}\righ tarr ow \mathc al{ Z} _m$  i s the univer sal  co veringmap, an d  $\ pi _ D : \, D\rightarrow D/\Ga mm a $  i s a proj ection ma p. Let us d en ote  the H odgemetr i ccompleti on of$ \m at hcal{Z} _m $ by $ \m ath cal {Z}^H _ {_m} $, and  let $\m athca l {T}^H_{_m}$ be the universal co v e ro f $\ mat hcal{Z}^H_{ _m}$ ,  for  whi c hthe detai ls wi ll be given in Section 4. 1.  By th e def inition of $\ mathcal{Z} ^ H _ {_m}$, t here ex i sts the contin uousextensionm ap $\Phi ^H_{_ {\mathca l{Z}_m}}$ . Moreover , s inc e $ \ma t h ca l{T}$ is theu n iver sa l cover  of  the mo dul i s pac e $ \m athcal{Z} _m$. Weha ve  t he  fo llowi n g commut at ive  d iag ram,$ $\begi n{ali gned }\l a bel {diagra m 2} \ xyma tr ix {\ma thc al {T}\a r[r] ^ {i_ {m}}\ar [d]^{\pi_ m}& \ math ca l{ T}^H_{_ m}\ar[d]^{\pi _{ _m}^H}\ar[ r] ^{{ \Phi}^ { H }_{_m}}& D\ar[d]^{\pi_D}\\
\math c al{Z}_m \ar [r]^{ i}&\ mathcal{Z }^H _{_m}\ ar[ r ]^{{\P hi}_{_ {\mat hc al{ Z } _m}}^ H } &D /\G am ma,
}\end{ a l ign ed}$$  w here  $i$ is  the inclusion map ,  ${ i}_{_m}$ is a  li ftin g ma p o f  $ i \ci rc 
 hand,_because ${\widetilde}{G}$_is a subgroup of_$G_{\mathbb{R}}$, we_have_that $S(t)$_is_also a one_parameter subgroup of_$G_{\mathbb{R}}$, therefore the curve_$\gamma(t)=S(t)\cdot \gamma(0)$ also_gives_a geodesic in $D$. Since geodesics on ${\widetilde}{D}$ are also geodesics on $D$, we_have_proved ${\widetilde}{D}$_is_totally_geodesic in $D$.

We recall that_according to the discussion in_Section 2.3,_we have the following commutative diagram, $$\begin{aligned}
\xymatrix{\mathcal{T}\ar[d]^{\pi_m}\ar[r]^{\Phi}&D\ar[d]^{\pi_D}\\\mathcal{Z}_m\ar[r]^{\Phi_{\mathcal{Z}_m}}&D/\Gamma,}\end{aligned}$$ where_$\pi_m:\,\mathcal{T}\rightarrow_\mathcal{Z}_m$ is the_universal covering map, and $\pi_D:\,D\rightarrow D/\Gamma$ is a projection_map. Let us denote the Hodge_metric completion of_$\mathcal{Z}_m$_by_$\mathcal{Z}^H_{_m}$, and let $\mathcal{T}^H_{_m}$_be the universal cover of $\mathcal{Z}^H_{_m}$,_for which the details will be_given in Section 4.1. By the definition_of $\mathcal{Z}^H_{_m}$, there exists the continuous_extension map $\Phi^H_{_{\mathcal{Z}_m}}$. Moreover, since_$\mathcal{T}$ is_the universal cover of the_moduli space $\mathcal{Z}_m$._We have_the following commutative_diagram, $$\begin{aligned}
\label{diagram2}
\xymatrix{\mathcal{T}\ar[r]^{i_{m}}\ar[d]^{\pi_m}&\mathcal{T}^H_{_m}\ar[d]^{\pi_{_m}^H}\ar[r]^{{\Phi}^{H}_{_m}}&D\ar[d]^{\pi_D}\\
\mathcal{Z}_m\ar[r]^{i}&\mathcal{Z}^H_{_m}\ar[r]^{{\Phi}_{_{\mathcal{Z}_m}}^H}&D/\Gamma,
}\end{aligned}$$ where $i$ is the_inclusion map, ${i}_{_m}$_is a lifting map of $i\circ