Limits of almost homogeneous spaces and their fundamental groups

Abstract: We say that a sequence of proper geodesic spaces $X_i$ consists of \textit{almost homogeneous spaces} if there is a sequence of discrete groups of isometries $G_i \leq Iso(X_i)$ such that diam$(X_i/G_i)\to 0$ as $i \to \infty$.We show that if a sequence $X_i$ of almost homogeneous spaces converges in the pointed Gromov--Hausdorff sense to a space $X$, then $X$ is a nilpotent locally compact group equipped with an invariant geodesic metric.Under the above hypotheses, we show that if $X$ is semi-locally-simply-connected, then it is a nilpotent Lie group equipped with an invariant Finsler or sub-Finsler metric, and for large enough $i$, there are subgroups $\Lambda_i \leq \pi_1(X_i) $ with surjective morphisms $\Lambda_i\to \pi_1(X)$.

\section{Introduction}

We say that a sequence of proper geodesic spaces $X_i$ consists of \textit{almost homogeneous spaces} if there is a sequence of discrete groups of isometries $G_i \leq Iso(X_i)$ such that diam$(X_i/G_i)\to 0$ as $i \to \infty$.

\begin{remark}
\rm A sequence of homogeneous spaces $X_i$ does not necessarily consist of almost homogeneous spaces, since the groups $Iso (X_i ) $ are not necessarily discrete.
\end{remark}

\begin{example}
 \rm Let $Z_i$ be a sequence of compact geodesic spaces with diam$(Z_i)\to 0$ as $i \to \infty$. If $\tilde{Z}_i \to Z_i$ is a sequence of Galois covers, then the sequence $\tilde{Z}_i$ consists of almost homogeneous spaces.
\end{example}

The goal of this paper is to understand the Gromov--Hausdorff limits of sequences of almost homogeneous spaces. In the case when the sequence consists of blow-downs of a single space, the problem was solved by Mikhail Gromov and Pierre Pansu (\cite{GromovPG}, \cite{Pansu}).

\begin{theorem}
\rm (Gromov--Pansu) Let $(X,x_0)$ be a pointed proper geodesic space, and $G \leq Iso (X)$ a discrete group of isometries with diam$(X/G) < \infty$. If for some sequence of positive numbers $\lambda_i \to \infty$, the sequence
\[  \lim_{i \to \infty} \dfrac{1}{\lambda_i}(X, x_0 )  \to (Y,y_0)   \]
converges in the pointed Gromov--Hausdorff sense, then $Y$ is a simply connected nilpotent Lie group equipped with a Carnot--Caratheodory metric (a Carnot--Caratheodory metric is a special kind of invariant sub-Finsler metric  satisfying that for any $\lambda > 0$, the space $\lambda Y$ is isometric to $Y$).
\end{theorem}

When the limit is compact, Alan Turing solved the finite dimensional case \cite{Tur}, and using Turing's result, Tsachik Gelander solved the infinite dimensional case \cite{Gel}.

\begin{theorem}
\rm (Turing) Let $X_i$ be a sequence of almost homogeneous spaces. If the sequence $X_i$ converges in the Gromov--Hausdorff sense to a compact finite dimensional space $X$, then $X$ is a finite dimensional torus equipped with an invariant Finsler metric.
\end{theorem}

\begin{theorem}
\rm (Gelander) Let $X_i$ be a sequence of almost homogeneous spaces. If the sequence $X_i$ converges in the Gromov--Hausdorff sense to a compact space $X$, then $X$ is a (possibly infinite dimensional) torus equipped with an invariant metric.
\end{theorem}

The main result of this paper deals with the case in which the limit is non-compact.

\begin{theorem}\label{MAIN}
\rm Let $X_i$ be a sequence of almost homogeneous spaces. If the sequence $X_i$ converges in the pointed Gromov--Hausdorff sense to a space $X$, then $X$ is a nilpotent group equipped with an invariant metric. Furthermore, if $X$ is semi-locally-simply-connected, then it is a Lie group equipped with a Finsler or sub-Finsler metric, and for large enough $i$ there are subgroups $\Lambda_i \leq \pi_1(X_i)$ with surjective morphisms
\begin{equation}\label{Li}
\Lambda_i  \twoheadrightarrow \pi_1(X).
\end{equation}
\end{theorem}

\begin{remark}\label{Montzip}
 \rm  The hypothesis of $X$ being semi-locally-simply-connected can be replaced by $X$ having finite topological dimension, because of the following result (solution to Hilbert's fifth problem) by Deane Montgomery and Leo Zippin \cite{MZ}.
\end{remark}

\begin{theorem}\label{MZHil}
\rm  (Montgomery--Zippin) Let $X$ be a homogeneous proper geodesic space. If $X$ has finite topological dimension, then it is homeomorphic to a topological manifold, and its isometry group is a Lie group.
\end{theorem}

\subsection{Lower semi-continuity of $\pi_1$}

Under the conditions of Theorem \ref{MAIN}, Equation \ref{Li} implies that if the spaces $X_i$ are simply connected, and $X$ is semi-locally-simply-connected, then $X$ is simply connected as well. This is an instance of a more general phenomenon (see \cite{GromovMS}, Section 3E).

\begin{theorem}\label{LSOFFGC}
\rm  (Folklore) Let $X_i$ be a sequence of compact geodesic spaces converging to a compact semi-locally-simply-connected space $X$. Then for large enough $i$, there are surjective morphisms
\begin{equation}
 \pi_1 (X_i)  \twoheadrightarrow \pi_1 (X).
\end{equation}
\end{theorem}

 This property is further studied by Christina Sormani and Guofang Wei in  \cite{SWHau},  \cite{SWUni}, \cite{SWCov}. This result fails if the limit is not compact (see \cite{SWUni}, Example 1.2), or not semi-locally-simply-connected (see \cite{SWHau}, Example 2.6). The following example shows that the conclusion of Theorem \ref{MAIN} fails if one works with homogeneous spaces instead of almost homogeneous spaces.

\begin{example}\label{BergZ}
\rm  Let $Y$ be $\mathbb{S}^1$ with its standard metric of length $2 \pi$  and $Z_i $ be $\mathbb{S}^3$ with the round (bi-invariant) metric of constant curvature $1/i$.  Let $X_i $ be the quotient $(Y \times Z_i ) / \mathbb{S}^1$ where $\mathbb{S}^1$ acts on $Y \times Z_i$ as follows:
$$  z(w,q) = (wz ^{-1}, z q): z, w \in \mathbb{S}^1, q \in \mathbb{S}^3. $$
Then $X_i$ is isometric to $\mathbb{S}^3$ equipped with a re-scaled Berger metric. The sequence $X_i$ consists of simply connected homogeneous spaces, but its pointed Gromov--Hausdorff limit is $\mathbb{S}^1 \times \mathbb{R}^2$, which is not simply connected.
\end{example}

Under the hypotheses of Theorem \ref{MAIN}, assuming $X$ is semi-locally-simply-connected, one may wonder whether one could obtain the conclusion of Theorem \ref{LSOFFGC}, which is slightly stronger than Equation \ref{Li}. The following example shows that it is not the case.

\begin{example}\label{BergZ}
\rm  Define a ``dot product'' $\mathbb{R}^4 \times \mathbb{R}^4 \to \mathbb{R}^6$ in $\mathbb{R}^4$ as
\[  (a \cdot x) : = (a_1x_2, a_1x_3, a_1x_4, a_2x_3, a_2x_4,  a_3x_4),    \text{ } a,x \in \mathbb{R}^4  .     \]
With it, define a group structure on $\mathbb{R}^4 \times \mathbb{R}^6$ as
\[  (a,b) \cdot (x,y) : = (a+x , b+y+ (a\cdot x)), \text{ }a,x \in \mathbb{R}^4 , \text{ } b,y \in \mathbb{R}^6 . \]
Let $G$ be the above group equipped with a left invariant Riemannian metric. For each $i$, define the subgroups $K \leq K_i \triangleleft G_i \leq G \cong \mathbb{R}^4 \times \mathbb{R}^6 $ as:

\begin{eqnarray*}
 K & : = & \{ 0 \}  \times \mathbb{Z}^6     \\
  K_i & : = &  ( i \mathbb{Z}^4 ) \times \mathbb{Z}^6   \\
    G_i  & : = &  \left( \frac{1}{i} \mathbb{Z}^4  \right) \times \left( \frac{1}{i^2} \mathbb{Z}^6  \right)   .
\end{eqnarray*}
The sequence $X_i : = G / K_i$ converges in the pointed Gromov--Hausdorff sense to $X:= G/K$. Since the sequence of finite groups $G_i / K_i$ acts on $X_i$  with diam$(X_i/(G_i/K_i))\to 0$, the sequence $X_i$ consists of almost homogeneous spaces. A direct computation shows that the abelianization of $\pi_1(X_i ) = K_i$ is isomorphic to
\[ \mathbb{Z}^4 \oplus  \left( \mathbb{Z} / i^2 \mathbb{Z}  \right)^6 . \]
 Since $\pi_1(X) = K \cong \mathbb{Z}^6$, for no $i$ there are surjective morphisms
 \[ \pi_1(X_i )    \twoheadrightarrow  \pi_1(X).\]
\end{example}

\subsection{Existence of the limit}

Given  a sequence $X_i$ of almost homogeneous spaces, one may wonder which conditions guarantee the existence of a convergent subsequence. If the spaces $X_i$ are $n$-dimensional Riemannian manifolds with a uniform  lower Ricci curvature bound, Gromov compactness criterion implies the existence of a convergent subsequence \cite{GromovMS}.  Itai Benjamini, Hilary Finucane and Romain Tessera found another sufficient condition for this partial limit to exist when the spaces $X_i$ are graphs \cite{BFT}.

\begin{theorem}\label{BFTExist}
\rm  (Benjamini--Finucane--Tessera) Let $D_i \leq \Delta _i$ be two sequences going to infnity, and let $X_i$ be a sequence of graphs. Assume there is a sequence of discrete groups $G_i \leq Iso (X_i)$ acting transitively on the sets of vertices. If the balls of radius $D_i$ in $X_i$ satisfy
$$\vert B^{X_i}(x,D_i)\vert =O(D_i^q) $$
for some $q>0$, then the sequence of almost homogeneous spaces
\[  \dfrac{1}{\Delta_i} X_i   \]
 has a subsequence converging the pointed Gromov--Hausdorff sense to a nilpotent Lie group.
\end{theorem}

\begin{remark}
\rm  Recently, Romain Tessera and Matthew Tointon showed that the hypothesis in Theorem \ref{BFTExist} of the groups $G_i$ being discrete can be removed \cite{TT}. Moreover, one  could define a sequence of \textit{weakly almost homogeneous spaces} to be a sequence of proper geodesic spaces $X_i$ with groups of isometries $G_i \leq Iso (X_i)$ acting with discrete orbits and such that diam$(X_i / G_i ) \to 0$.  Their results imply that Theorem \ref{MAIN} holds under the weaker assumption that the spaces $X_i$ are weakly almost homogeneous.
\end{remark}

\subsection{Further problems}

There are two natural strengthenings of Theorem \ref{MAIN}. One could ask if a weaker conclusion holds if one removes the hypotheses of the groups $G_i$ acting almost transitively, or the limit $X$ being semi-locally-simply-connected.

\begin{con}
 \rm Let $X_i$ be a sequence of simply connected proper geodesic spaces. Assume there is a sequence of discrete groups of isometries $G_i \leq Iso (X_i)$ with diam$(X_i/G_i) \leq C$ for some $C>0$. If $X_i$ converges in the pointed Gromov--Hausdorff sense to a semi-locally-simply-connected space $X$, then $X$ is simply connected.
\end{con}

\begin{con}
 \rm Let $X_i$ be a sequence of simply connected almost homogeneous spaces. If $X_i$ converges in the pointed Gromov--Hausdorff sense to a space $X$, then $X$ is simply connected.
\end{con}

\subsection{Summary}

The proof of Theorem \ref{MAIN} consists of three parts. In the first part, we show that $X$ is a nilpotent group equipped with an invariant metric (Theorem \ref{PI}). In the second part, we show that if $X$ is semi-locally-simply-connected, then it is a Lie group (Theorem \ref{PII}). In the third part, we show that if $X$ is a Lie group, then for large enough $i$, there are subgroups $\Lambda_i \leq \pi_1(X_i)$ with surjective morphisms $\Lambda_i \twoheadrightarrow \pi_1 (X)$ (Theorem \ref{PIII}).

In Section \ref{Prelim}, we present the relevant definitions and preliminary results required for the proof of Theorem \ref{MAIN}. In Section \ref{PartI} we prove  Theorem \ref{PI} by repeated applications of a Margulis Lemma by  Breuillard--Green--Tao \cite{BGT}, Gleason--Yamabe structure theory of locally compact groups (\cite{Gleason}, \cite{Yamabe}), and a result of Berestovskii about groups of isometries of homogeneous spaces \cite{BerBus}.  In Section \ref{PartII} we prove  Theorem \ref{PII} using elementary Lie theory and algebraic topology techniques.

Sections \ref{Nilsection} to \ref{Rootsection} contain the proof of Theorem \ref{PIII}, finishing the proof of Theorem \ref{MAIN}. In Section \ref{Nilsection}, we reduce Theorem \ref{PIII} to the case when the groups $G_i$ are uniformly almost nilpotent (see Lemma \ref{anilLie}). We use again the Margulis Lemma of Breuillard--Green--Tao \cite{BGT}, paired with a local uniform doubling  of $X$ by Nagel--Stein--Wainger \cite{NSW}. After this reduction, in Section \ref{FreeSection}, we use commutator estimates similar to the ones in (\cite{BK}, \cite{GrAF}) to prove that the groups $G_i$ act ``almost by translations'' on the spaces $X_i$.

In Section \ref{Torsection}, we use the escape norm from  \cite{BGT} to find small normal subgroups $W_i \triangleleft G_i$  with the property that the spaces $X_i$ and $X_i/ W_i$ are Gromov--Hausdorff close, and the groups $Z_i := G_i/W_i$ contain large subsets $Y_i$ without non-trivial subgroups.  In Section \ref{Nilprogsection}, we use the space $X$ as a model (as defined by Hrushovski \cite{Hr}) for the algebraic ultralimit
\[Y := \lim\limits_{i \to \alpha} Y_i.\]
 This enables us to find large nice subsets $P_i$ of $Z_i$ (nilprogressions in $C_0$-regular form, as defined by Breuillard--Green--Tao \cite{BGT}).

In Section \ref{Globalsection}, we use the Malcev Embedding Theorem \cite{Malcev} to find  groups $\Gamma_{P_i}$ isomorphic to lattices in simply connected Lie groups, with isometric actions
$$  \Phi_i: \Gamma_{P_i}  \to  Iso ( X_i /W_i).$$
Using elementary algebraic topology, we show that the kernels $Ker(\Phi_i)$ of those actions are isomorphic to quotients of $\pi_1(X_i).$  Finally, in section \ref{Rootsection}, we find subgroups of $Ker (\Phi_i)$ isomorphic to $\pi_1 (X)$,  finishing the proof of Theorem \ref{PIII}, and consequently Theorem \ref{MAIN}.

\subsection{Acknowledgments}

The author would like to thank Vladimir Finkelshtein, Enrico LeDonne, Adriana Ortiz, Anton Petrunin, and Burkhard Wilking for helpful comments and discussions. This research was supported in part by the International Centre for Theoretical Sciences (ICTS) during a visit for participating in the program - Probabilistic Methods in Negative Curvature (Code: ICTS/pmnc 2019/03).

\section{Preliminaries}\label{Prelim}
\subsection{Notation}

 For $H,K$ subgroups of a group $G$, we define their \textit{commutator subgroup} $[H,K]$ to be the group generated by the elements $[h,k]:=hkh^{-1}k^{-1}$ with $h \in H, k \in K$. Define $G^{(0)} $ as $G$, and $G^{(j+1)}$ inductively as $G^{(j+1)} := [G^{(j)}, G] $. If $G^{(s)} = \{ e\}$ for some $s \in \mathbb{N}$, we say that $G$ is \textit{nilpotent of step} $\leq s$. For any element $g$ in a group $G$, we denote by $L_g$ the left shift $G \to G$ given by $L_g(h) = gh$. If $G$ is abelian, we may denote $L_g$ by $+g$.

 We say that a set $A \subset G$ is \textit{symmetric} if $A=A^{-1} $ and $e \in A$. For subsets $A_1, \ldots, A_k \subset G$, we denote by $A_1 \cdots A_k $ the set of all products
$$ \{ a_1 \cdots  a_k \vert a_i \in A_i \} \subset G, $$
 and  by $A_1 \times \ldots \times A_k $ the set of all sequences
$$ \{ (a_1, \ldots,  a_k) \vert a_i \in A_i \} \subset G^k.    $$
If $A_i = A $ for $i = 1, \ldots , k$, we will also denote $  A_1 \cdots A_k  $ by $A^k$, and $  A_1 \times \ldots \times A_k  $ by $A^{  \times k  }$.\\

Let $Y$ be a topological space and $\beta, \gamma : [0,1] \to Y$ two curves. We denote by $\overline{\beta} : [0,1] \to Y$ the curve given by $\overline{\beta} (t) =  \beta (1-t) $. And if $\beta(1)= \gamma (0)$, we denote by $\beta \ast \gamma : [0,1] \to Y$ the concatenation
\begin{center}
$    \beta \ast \gamma (t) = \begin{cases}
      \beta (2t) & \text{ if } t \leq 1/2 \\
      \gamma (2t-1) & \text{ if }t \geq 1/2.
   \end{cases}   $
\end{center}
If $\beta(1)\neq \gamma (0)$, we say that $\beta \ast \gamma$ is undefined. We call $\beta \ast \gamma$ the \textit{concatenation} of $\beta$ and $\gamma$. We will write  $\beta \simeq \gamma$ whenever $\beta $ and $\gamma$ are homotopic relative to their endpoints. If $Y$ is a geodesic space, we say that a curve is an  $\varepsilon$\textit{-lasso nailed at }$\beta (0)$ if it is of the form $ \beta \ast  \gamma \ast \overline{\beta }  $, with $\beta (1) = \gamma (0)$, and $\gamma$ a loop contained in a closed ball of radius $\varepsilon$.\\

In a metric space $(Y,d)$, we will denote the closed ball of center $q\in Y$ and radius $r > 0$ as
$$B_{d}^Y(q,r) : = \{  y \in Y \vert d(y, q) \leq r \}. $$
We will sometimes omit $d$ or $Y$ and write $B(q,r)$ if the metric space we are considering is  clear from the context.

\subsection{Uniform distance}

\begin{definition}
 \rm Let $A, B$ be metric spaces and $f,h : A \to B$ a function. For a subset $C \subset A $, we define the \textit{uniform distance} between $f$ and $h$  in $C$ as
$$ d_U(f,h; C) : = \sup\limits_{c \in C} d( f(c), h(c)  ).$$
\end{definition}

\begin{definition}
 \rm Let $A, B$ be two metric spaces and $f: A \to B$ a function. We define the \textit{distortion} of $f$ as
$$ Dis(f) : = \sup\limits_{a_1, a_2 \in A}  \vert  d(f(a_1), f(a_2)) - d (a_1, a_2)    \vert .   $$
\end{definition}
The following proposition follows immediately from the triangle inequality in the spaces $B_1$ and $B_2$.
\begin{proposition}\label{UnifProp}
 \rm Let $A, B_1, B_2$ be metric spaces, $f, g, h : A \to B_1$, $f_1, g_1 : B_1 \to B_2$, and $C \subset A$. Then
\begin{center}
$ d_U(f,g; C) \leq d_U(f,h;C) + d_U(h,g; C) ,   $

$ d_U(f_1f ,g_1g; C) \leq  d_U(f,g; C)  +  d_U(f_1,g_1;g( C)) + Dis(   f_1 \vert_{f(C) \cup g(C)} )    .  $
\end{center}
\end{proposition}

\subsection{Gromov--Hausdorff convergence}

In this subsection we present the basic results about Gromov--Hausdorff convergence. We refer the reader to (\cite{BBI}, Chapter 7) for proofs and further discussion.

\begin{definition}
\rm Let $A,B $ be subsets of a metric space $(Z,d)$. The \textit{Hausdorff distance} between $A$ and $B$ is defined as the infimum of the numbers $r>0$ such that for all $a_0 \in A$, $b_0 \in B$ there are $a_1 \in A$, $ b_1 \in B $ with $d(a_0,b_0)<r$ and $ d(a_1, b_1)<r$.
\end{definition}

\begin{definition}
\rm Let $A,B $ be metric spaces,
and $f: A \to B$. We say that $f$ is an $\varepsilon$\textit{-approximation}
if  $Dis (f) \leq \varepsilon$, and the Hausdorff distance between $f(A)$ and
$B$ is at most $\varepsilon$.
\end{definition}

\begin{definition}
\rm Let $X_i$ be a sequence of proper metric spaces. We say that $X_i$ \textit{converges in the Gromov--Hausdorff sense} to a complete metric space $X$ if there is a sequence of $\varepsilon_i$-approximations $f_i : X_i \to X$
with $\varepsilon_i \to 0$ as $i \to \infty$.
\end{definition}

\begin{theorem}\label{gromov--hausdorff--distance}
\rm (Gromov) In the class of proper metric spaces modulo isometry, there is a metric $d_{GH}$ such that for any pair of spaces $X$, $Y$, the following holds:
\begin{itemize}
\item If $d_{GH}(X,Y) \leq \varepsilon $, then there is a $10\varepsilon$-approximation $X \to Y$.
\item If there is an $\varepsilon$-approximation $X \to Y$, then $d_{GH}(X,Y) \leq 10 \varepsilon$.
\end{itemize}
\end{theorem}

\begin{definition}
\rm Let $(X_i, p_i)$ be a sequence of pointed proper metric spaces. We say that $(X_i, p_i)$ converges in the pointed Gromov--Hausdorff sense to a pointed complete metric space $(X,p)$ if there are two sequences of functions $f_i : X_i \to X$ and $h_i : X \to X_i$ with $f_i(p_i) =p$, $h_i (p) = p_i$ and such that for all $R > 0$, we have
\begin{equation}\label{pGH1}
 \lim_{i \to \infty} Dis \left( f_i \vert_{B(p_i, R)}  \right)  =  \lim_{i \to \infty} Dis \left( h_i \vert_{B(p, R)}  \right)  =   0
\end{equation}
and
\begin{equation}\label{pGH2}
    \lim_{i \to \infty} d_U \left( h_if_i, Id_{X_i} ; B^{X_i}(p_i,R)    \right)  =   \lim_{i \to \infty} d_U \left( f_ih_i, Id_{X} ; B^{X}(p,R)    \right)  =    0.
\end{equation}
\end{definition}

\begin{remark}\label{fihi}
\rm Throughout this paper, whenever we have a sequence of proper metric spaces $(X_i, p_i)$ converging in the pointed Gromov--Hausdorff sense to a pointed metric space $(X,p) $, we assume they come equipped with functions $f_i : X_i \to X$ and $h_i : X \to X_i$ with $f_i (p_i)=p$, $h_i(p)=p_i$, and satisfying equations \ref{pGH1} and \ref{pGH2} for all $R > 0$.
\end{remark}

\begin{lemma}
\rm If $X_i $ is a sequence of proper metric spaces converging in the Gromov--Hausdorff sense to a complete space $X$, then for all $p \in X$ there is a sequence $p_i \in X_i $ such that the sequence $(X_i, p_i)$ converges in the pointed Gromov--Hausdorff sense to $(X,p)$.
\end{lemma}

\begin{lemma}\label{proper-geodesic}
\rm If $(X_i, p_i) $ is a sequence of proper geodesic spaces converging in the pointed Gromov--Hausdorff sense to a complete space $(X,p)$, then $X$ is a proper geodesic space.
\end{lemma}

\subsection{Groups of isometries}

Here we summarize the main results about groups acting on metric spaces we will need.

\begin{remark}\label{topology-basis}
\rm Throughout this paper, for a proper metric space $X$,  we use the compact-open topology on the group of isometries $Iso (X)$. With this topology, $Iso(X)$ is a locally compact, first countable, Hausdorff group. For any $p\in X$, a basis of compact neighborhoods of the identity with respect to this topology is given by the family of sets
\[  U_{R,\varepsilon}^X : =  \{ g \in Iso (X) \vert d_U(g,Id_X; B(p,R))\leq \varepsilon    \} .  \]
With respect to this topology, a  group $\Gamma \leq Iso(X)$  is \textit{discrete} if and only if its action has discrete orbits and finite stabilizers.
\end{remark}

\begin{lemma}\label{short-generators}
\rm Let $(Y,q)$ be a pointed proper geodesic space, and $G \leq Iso (Y)$ a closed subgroup. If diam$(Y/G) < \infty$, then the set
\[   S : = \{   g \in G \vert d(gq,q ) \leq 3\cdot \text{diam}(Y/G) \} \]
generates $G$.
\end{lemma}
\begin{proof}
Let $g \in G$. Since $Y$ is geodesic, there is a sequence of points $q=q_0, q_1, \ldots , q_k = gq \in Y$ satisfying that $d(q_j,q_{j-1}) \leq $diam$(Y/G)$ for each $j$. Choose a sequence $g_1, \ldots, g_{k-1} \in G$ such that $d(g_jq,q_j)\leq $diam$(Y/G)$ for each $j$, and let $g_k : = g$. From the triangle inequality, for each $j$ we have $g_{j-1}^{-1}g_j \in S$. Then
\[  g = g_1  ( g_1^{-1}g_2) \cdots  (g_{k-1}^{-1}g_k) \in S^k . \]
\end{proof}
\begin{lemma}\label{diameter-subgroup}
\rm Let $X$ be a proper geodesic space, and $H \leq G \leq Iso (X)$ be closed subgroups. If diam$(X/G) $ and $[G:H]$ are finite, then
\[  \text{diam}(X/H) \leq 3 [G: H ]\cdot \text{diam}(X/G) .   \]
\end{lemma}
\begin{proof}
Let $x \in X$, and define
\[  S : = \{   g \in G \vert d(gx,x) \leq 3 \cdot \text{diam} (X/G)  \}, \]
which generates $G$ by Lemma \ref{short-generators}. If  we have $S^{k+1} H = S^k H$ for some $k \in \mathbb{N}$, then  an inductive argument implies that
\[S^kH = \bigcup_{n \in \mathbb{N}} S^n H = G .\]
Since there are only $[G:H]$ cosets, then $S^{k+1}H = S^k H$  for $k \geq [G:H]-1$. This implies that $S^{[G:H]-1}$ intersects each $H$-coset. For any $y \in X$, there is $g \in G$ with $d(x,gy)\leq $ diam$(X/G)$, and by the above analysis, there is $u \in S^{[G:H]-1}$ with $u^{-1}g \in H$. This implies that
\begin{eqnarray*}
d(x,u^{-1}gy) & = & d(ux,gy)\\
& \leq & d(ux,x) + d(x,gy)\\
& \leq &  3  ([G:H]-1) \cdot \text{diam}(X/G) + \text{diam}(X/G).
\end{eqnarray*}
Since $x,y \in X$ were arbitrary, the lemma follows.
\end{proof}
\begin{lemma}\label{normal-stabilizers}
\rm Let $(Y,q)$ be a pointed proper geodesic space,  $G \leq Iso (Y)$ a closed group acting transitively, and $H \triangleleft G$ a normal subgroup. If for some $\varepsilon > 0 $,
\[ H \subset  \{ g \in G \vert d(gq,q) \leq \varepsilon  \}, \]
then
 \[ H \subset  \{ g \in G \vert d(gy,y) \leq \varepsilon \text{ for all }y \in Y \}. \]
 In particular, if $H$ is contained in the group $\{ g \in G \vert gq=q \}$, then $H$ is trivial.
\end{lemma}
\begin{proof}
If $ y \in Y$, then there is $g \in G$ with $gq=y$. Since $H$ is normal in $G$, then for any $h \in H$ we have $g^{-1}hg \in H$, and
\[  d(hy,y)  =  d(hgq, gq) =  d (g^{-1}h g q,q) \leq  \varepsilon.   \]
\end{proof}

The following result by Valerii Berestovskii concerns groups that act transitively on geodesic spaces (\cite{BerBus}, Theorem 1).

\begin{theorem}\label{berestovskii-open}
\rm (Berestovskii) Let $X$ be a proper geodesic space, and $G$ a closed subgroup of $Iso (X)$ acting transitively. If $\mathcal{O} \leq G$ is an open subgroup, then $\mathcal{O}$ also acts transitively on $X$.
\end{theorem}

\subsection{Hilbert's fifth problem and locally compact groups}

Hilbert's fifth problem consists of understanding which locally compact Hausdorff groups are Lie groups. One satisfactory answer is Theorem \ref{MZHil}. On a different direction, Andrew Gleason and Hidehiko Yamabe found that any locally compact Hausdorff group is not far from being a Lie group (\cite{Gleason}, \cite{Yamabe}).

\begin{theorem}\label{gleason-yamabe}
\rm (Gleason--Yamabe) Let $G$ be a locally compact Hausdorff group. Then there is an open subgroup $\mathcal{O}\leq G$ with the following property: for any open neighborhood of the identity $U \subset \mathcal{O}$, there is a compact normal subgroup $K \triangleleft \mathcal{O}$ with $K \subset U$ such that $\mathcal{O}/K$ is a connected Lie group.
\end{theorem}

The following result by Victor Glushkov implies that the set of compact normal subgroups with the property that the corresponding quotient is a connected Lie group is closed under finite intersections \cite{Glu}.

\begin{theorem}\label{glushkov}
\rm (Glushkov) Let $\mathcal{O}$ be a locally compact Hausdorff group, and $K_1, K_2$ compact normal subgroups such that both $\mathcal{O}/K_1$ and $\mathcal{O}/K_2$ are connected Lie groups. Then $\mathcal{O}/(K_1 \cap K_2)$ is a connected Lie group.
\end{theorem}

\begin{corollary}\label{glushkov-corollary}
\rm Let $\mathcal{O}$ be a connected, locally compact, first countable, Hausdorff group that is not a Lie group. Then it contains a sequence of compact, normal, non-trivial subgroups $K_1 \geq K_2 \geq \ldots$ such that
\[  \bigcap_{j=1}^{\infty} K_j  = 0,    \]
and $\mathcal{O}/K_j$ is a connected Lie group for all $j$.
\end{corollary}

\subsection{Lie groups}

In this section we introduce the tools from Lie theory we will need.

\begin{definition}
\rm Let $\mathfrak{g}$ be a nilpotent Lie algebra. We say that an ordered basis $\{ v_1, \ldots , v_n \} \hookrightarrow \mathfrak{g}$ is a \textit{strong Malcev basis} if for all $k \in \{1, \ldots ,n \} $, the vector subspace $J_j \leq \mathfrak{g}$ generated by $\{ v_{k+1}, \ldots , v_n \}$ is an ideal, and $v_k + J_k$ is in the center of $\mathfrak{g}/J_k$.
\end{definition}
The following theorem encompasses the results and discussion in (\cite{Cor}, Section 1.2).
\begin{theorem}\label{simply-connected-nilpotent}
\rm Let $G$ be a simply connected nilpotent Lie group and $\mathfrak{g} $ its Lie algebra. Let $Z$ be the center of $G$ and $\mathfrak{z}$ the center of $\mathfrak{g}$. Then
\begin{itemize}
\item $\exp : \mathfrak{g} \to G$ is a diffeomorphism.
\item $Z= \exp ( \mathfrak{z} )$.
\item Any compact subgroup of $G$ is trivial.
\item If $\{ v_1, \ldots , v_n \} \hookrightarrow \mathfrak{g}$ is a strong Malcev basis, then the map $ \psi : \mathbb{R}^n \to G$ given by
\[ \psi (x_1, \ldots , x_n) := \exp(x_1v_1) \cdots \exp (x_n v_n)      \]
is a diffeomorphism.
\item After identifying $\mathfrak{g} $ with $\mathbb{R}^n$ through a strong Malcev basis, the maps $ ( \log \circ $ $ \psi )  : \mathfrak{ g} \to \mathfrak{g}$ and $ (  \psi ^{-1} \circ \exp ) : \mathfrak{ g} \to \mathfrak{g}$ are polynomial of degree bounded by a number depending only on $n$.
\end{itemize}
\end{theorem}

\begin{corollary}\label{aspherical}
\rm Let $G$ be a connected nilpotent Lie group. Then $G$ is aspherical. That is, $\pi_k(X) =0$ for all $k \geq 2$.
\end{corollary}
\begin{proof}
For smooth manifolds, being aspherical is equivalent to having a contractible universal cover. By Theorem \ref{simply-connected-nilpotent}, the universal cover $\tilde{G} \to G$, being a simply connected nilpotent Lie group,  is contractible.
\end{proof}

\begin{lemma}\label{discrete-normal-central}
\rm Let $G$ be a connected Lie group, and $\Lambda \leq G$ a discrete normal subgroup. Then $\Lambda$ is central in $G$.
\end{lemma}
\begin{proof}
For fixed $\lambda \in \Lambda$, the map $ \phi_{\lambda}:G \to \Lambda$ given by $ \phi_{\lambda}(g) := g \lambda g^{-1}$ is a continuous map from a connected space to a discrete space, hence it is constant. Since $\phi_{\lambda}(e) = \lambda$, we have $g \lambda = \lambda g$ for all $g \in G$. Since $\lambda \in \Lambda$ was arbitrary, the lemma follows.
\end{proof}

\begin{lemma}\label{compact-nilpotent-1}
\rm Let $G$ be a connected nilpotent Lie group, and $K \leq G$ a compact subgroup. Then $K$ is central in $G$.
\end{lemma}

\begin{proof}
Let $\rho : \tilde{G} \to G$ be the universal cover of $G$ and $Z\leq \tilde{G}$ be the center of $\tilde{G}$. By Theorem \ref{simply-connected-nilpotent}, $G/Z$ is a simply connected nilpotent group.  Since $\rho (Z)$ is contained in the center of $G$, the lemma is a consequence of the following claim.
\begin{center}
\textbf{Claim:} The preimage $\rho^{-1}(K)$ is contained in $Z$
\end{center}
By Lemma \ref{discrete-normal-central}, $\Lambda $ is contained in $Z$, and we have a projection from $G= \tilde{G} / \Lambda$ to $\tilde{G}/Z$ sending $K$ to the  compact group $\rho^{-1}(K)/(Z\cap \rho ^{-1}(K)) \leq \tilde{G}/Z$. By Theorem \ref{simply-connected-nilpotent}, $\rho^{-1}(K)/(Z\cap \rho ^{-1}(K))$ is trivial and the claim follows.
\end{proof}

\begin{corollary}\label{compact-nilpotent-2}
\rm A connected compact nilpotent Lie group is abelian.
\end{corollary}

\begin{definition}
\rm  We say that a continuous map $Y \to Z$ between path connected topological spaces \textit{has no content} or \textit{has trivial content} if the induced map $\pi_1(Y) \to \pi_1 (Z) $ is trivial. Otherwise, we say that the map \textit{has non-trivial content}.
\end{definition}

\begin{lemma}\label{LongHomo}
\rm Let $G$ be a connected nilpotent Lie group and $K$ a compact subgroup such that its connected component $K_0$ is nontrivial. Then the inclusion $K_0 \to G$ has non-trivial content.
\end{lemma}

\begin{proof}
Since $K_0$ is a connected compact nilpotent Lie group, it is homeomorphic to a torus, and $\pi_1(K_0)$ is non-trivial. From the long exact homotopy sequence of the fibration $ G \to G/K_0$, we extract the portion
$$  \pi_2 (G/K_0) \to \pi_1 (K_0) \to \pi_1 (G)   $$
By Lemma \ref{compact-nilpotent-1}, $K_0$ is central in $G$. Hence, $G/K_0$ is a connected nilpotent Lie group, and aspherical by Corollary \ref{aspherical}. This implies that $\pi_2(G/K_0)=0$, and the map $\pi_1 (K_0) \to \pi_1 (G)   $ is non-trivial.
\end{proof}

\begin{lemma}\label{FinalCover}
 \rm Let $G$, $\tilde{G}$ be connected Lie groups such that $\tilde{G}$ is a discrete extension of $G$ (i.e. there is a surjective continuous morphism $f: \tilde{G} \to G$ with discrete kernel). Assume $G$ and $\tilde{G}$ are equipped with invariant geodesic metrics for which $f$ is a local isometry. Let $\delta > 0$ be such that $B^{G}(e,\delta)$ contains no non-trivial subgroups, and the inclusion $B^{G}(e, \delta) \to G$ has no content. Then $B^{\tilde{G}}(e,\delta)$ contains no non-trivial subgroups and the inclusion $B^{\tilde{G}}(e, \delta) \to \tilde{G}$ has no content.
\end{lemma}
\begin{proof}
If there is a group $H \subset B^{\tilde{G}}(p, \delta)$, then its image $f(H)$ is a subgroup of $G$ contained in $B^{G}(e, \delta)$, so $f(H) = \{e \} \leq G$. If there is a non-trivial element $h \in H \backslash \{e \}$, we can take a shortest path $\gamma : [0,1] \to \tilde{G}$ from $e$ to $h$. The projection $f \circ \gamma$ would be a non-contractible loop in $G$ contained in $B^{G}(e, \delta )$, contradicting the hypothesis that $B^{G}(e, \delta) \to G$ has no content. Also, we can consider the commutative diagram

\[
  \begin{tikzcd}[column sep=3em]
   B^{\tilde{G}}(e, \delta) \arrow{r}{  } \arrow{d}{} & \tilde{G}  \arrow{d}{f} \\
  B^{G}(e,\delta) \arrow{r}{ } & G
  \end{tikzcd}
  \]

Since $ f$ is a covering map, the right vertical arrow induces an injective map at the level of fundamental groups, and the bottom horizontal arrow has no content by hypothesis. Therefore the top horizontal arrow has trivial content as well.
\end{proof}

\subsection{Lifting curves}

In this section we present some techniques we use to lift curves from one space to another.

\begin{lemma}\label{LipApprox}
\rm  Let $Y$ be a proper geodesic space, and $\gamma : [0,1] \to Y$ be a continuous curve. Then for every $\varepsilon > 0$ there is a Lipschitz curve $\beta : [0,1] \to Y$ with $\beta (0)= \gamma (0)$, $\beta (1) = \gamma (1)$, and
$$d_U(\gamma , \beta , [0,1]) \leq \varepsilon .$$
\end{lemma}

\begin{proof}
Let $k > 0$ such that $\vert x_1 - x_2 \vert \leq 3/k$ implies $  d (\gamma (x_1), \gamma (x_2)) \leq \varepsilon /10$ for $x_1, x_2 \in [0,1]$. Then choose $\beta : [0,1]\to Y$ to  be such that $\beta \vert_{[j/k, (j+1)/k]}$ is a constant speed minimizing curve between $ \gamma (j/k)  $ and $\gamma ( (j+1)/k)$ for $j = 0, 1, \ldots , k-1$. It is easy to see that $\beta$ satisfies the desired properties.
\end{proof}

\begin{lemma}\label{ShortLoopNTI}
\rm  Let $f:Y \to Z$ be a continuous map between proper geodesic spaces. Assume that $Y$ is semi-locally-simply-connected, and the composition $B(y,r) \to Y \to Z$ has non-trivial content for some $y \in Y$, $r > 0$. Then there is a loop $\beta : [0,1] \to Y$ based at $y$ of length $\leq 3r $ such that $f \circ \beta$ is non-contractible in $Z$.
\end{lemma}

\begin{proof}
Since $Y$ is semi-locally-simply-connected, there is $\varepsilon >0$ such that any two closed curves $\beta_1, \beta_2 : [0,1] \to B(y,2r)$  with $d_U(\beta_1 , \beta_2, [0,1] ) \leq \varepsilon$, are homotopic to each other in $Y$. By hypothesis, there is a loop  $\gamma_1 :[0,1] \to Y $ based at $y$ whose image is contained in $B(y,r)$ and such that $f \circ \gamma_1$ is non-contractible in $Z$.  By Lemma \ref{LipApprox}, there is a Lipschitz curve $\gamma : [0,1] \to B(y,(1.1)r) $ such that $f \circ \gamma $ is non-contractible in $Z$. Let $L$ be the Lipschitz constant of $\gamma$, and pick $\ell \in \mathbb{N}$ with $\ell \geq 2L /r$. For each $j = 0, 1 \ldots , \ell$, set $\sigma_{j}$ to be a minimizing path from $y$ to $\gamma (j/\ell)$, and define $\beta_j $ as the concatenation $\overline{\sigma}_{j+1} \ast \gamma \vert_{[j/\ell , (j+1 )/ \ell ]} \ast \sigma_j$. Since $\gamma$ is homotopic to the concatenation $\beta_{\ell-1} \ast \ldots \ast \beta_0$, at least one of the curves $\beta_j$ is satisfies that $f \circ \beta_j$ is non-contractible in $Z$, and all of them have length $\leq 3r$.
\end{proof}

\begin{corollary}\label{ShortLoopNT}
\rm  Let $Y$ be a  proper semi-locally-simply-connected geodesic space. Assume the inclusion $B(y,r) \to Y$ has nontrivial content for some $y \in Y$, $r > 0$. Then there is a non-contractible loop  based at $y$ of length $\leq 3r $.
\end{corollary}

\begin{proof}
Apply Lemma \ref{ShortLoopNTI} with $f = Id_Y$.
\end{proof}

 \begin{definition}
\rm   Let $f : Y_1 \to Y_2$ be a map between proper geodesic spaces. We say that $f$ is a \textit{metric submersion} if for every $y \in Y_1, $ and $r > 0$, we have $f(B^{Y_1}(y,r)) = B^{Y_2}(f(y) ,r)$
 \end{definition}

\begin{lemma}\label{Submer}
\rm  Let $Y$ be a proper geodesic space, and $\Gamma \leq Iso (Y)$  a closed subgroup. Then the quotient map $f: Y \to Y/  \Gamma$ is a metric submersion.
\end{lemma}

\begin{proof}
Let $y \in Y $, $r > 0 $, and  $z \in Y/\Gamma$ with $d_{Y/\Gamma}( f(y), z) \leq r$. Since $\Gamma $ is closed, the orbits are closed, and since $Y$ is proper, there is $z_1 \in f^{-1}(z)$ with $d(y,z_1) = d(f(y), z ) \leq r$. This proves $ B^{Y/ \Gamma}(f(y), r)  \subset  f(B^Y(y,r))    $. The other contention is immediate from the definition of the metric in $Y/ \Gamma$.
\end{proof}

\begin{lemma}\label{HoriLift}
\rm  Let $f: Y_1 \to Y_2$ be a metric submersion between proper geodesic spaces, $\gamma : [0,1] \to Y_2$ a Lipschitz curve, and $q_0 \in f^{-1}(\gamma (0))$. Then there is a curve $\tilde{\gamma} : [0,1] \to Y_1$ with $f \circ \tilde{ \gamma} = \gamma ,$  $\tilde{\gamma}(0) = q_0$,  and length$(\tilde{\gamma}) = $length$ (\gamma )$.
\end{lemma}

\begin{proof}
For each $j \in \mathbb{N}$, let $D_j : = \{ 0, \frac{1}{2^j}, \ldots , \frac{2^j-1}{2^j} , 1 \} $, and define $h_j : D_j \to Y_1$ as follows:  Let $h_j(0)=q_0$, and inductively, let $h_j(x + 1/2^j)$ be a point in $f^{-1}( \gamma (x + 1/2^j ) )$, such that
$$   d_{Y_1} (  h_j ( x + 1/2^j), h_j ( x )     )  = d_{Y_2} (  \gamma ( x + 1/2^j  ), \gamma (x)   ), \text{ for }x \in D_j \backslash \{ 1 \} .    $$
Using Cantor's diagonal argument, we can find a subsequence of $h_j$ that converges for every dyadic rational. Since the maps $h_j$ are uniformly Lipschitz, we can extend this map to a Lipschitz map $\tilde{ \gamma} : [0,1] \to Y_1$. It is easy to check that $\tilde{\gamma}$ satisfies the desired properties.
\end{proof}

\subsection{Ultralimits}

In this section we discuss the ultrafilter tools we will use during the proof of Theorem \ref{PIII}, including metric ultralimits and algebraic ultraproducts. We refer the reader to (\cite{AKP}, Chapter 4) , (\cite{BFT}, Section 2.1),  (\cite{BGT}, Appendix A) for proofs and further discussions.

\begin{definition}
 \rm Let $\wp (\mathbb{N})$ denote the power set of the natural numbers and $\alpha : \wp (\mathbb{N}) \to \{ 0,1 \}$ be a function. We say that $\alpha$ is a \textit{non-principal ultrafilter} if it satisfies:
\begin{itemize}
\item $\alpha (\mathbb{N}) = 1$.
\item $\alpha (A \cup B )= \alpha (A) + \alpha (B)$ for all disjoint $A , B  \subset \mathbb{N}$.
\item $\alpha (F )=0$ for all finite $F \subset \mathbb{N}$.
\end{itemize}
\end{definition}
 Using Zorn's Lemma it is not hard to show that nonprincipal ultrafilters exist. We will choose one $(\alpha )$ and fix it for the rest of this paper. Sets $A \subset \mathbb{N}$ with $\alpha (A) =1$ are called $\alpha$-large.  For a property $P : \mathbb{N}\to \{0,1\}$, if $\alpha (  P^{-1} (1)  ) =1$ we  say that ``$P$ holds for $i$ sufficiently $\alpha$-large'', or ``$P$ holds for $i$ sufficiently close to $\alpha$''.

 \begin{definition}
 \rm Let $A_i$ be a sequence of sets. In the product
$$A^{\prime} : = \prod _{i=1}^{\infty} A_i,$$
we say that two sequences $\{ a_i \}  , \{  a_i^{\prime}   \}$ are $\alpha $\textit{-equivalent} if
$$ \alpha \left( \{  i \vert a_i = a_i^{\prime}   \} \right) =1.  $$
The set $A^{\prime}$ modulo this equivalence relation is called the \textit{algebraic ultraproduct} of the sets $A_i$ and is denoted by
$$A_{\alpha}  :  =   \lim\limits_{i \to \alpha} A_i.      $$
\end{definition}

If $A_i = \mathbb{R}$ for each $i$, an element in $A_{\alpha}$ is called a \textit{non-standard real number}. For $x= \{ x_i\}$, $y=\{ y_i \}$ non-standard real numbers, we say that $x \leq y$ if $\alpha \left( \{ i \in \mathbb{N} \vert x_i \leq y_i \}   \right) =1$.

  Let $ x_i  $ be a sequence in a metric space $X$. We say that the sequence \textit{ultraconverges} to a point $x_{\infty} \in X$ if for every $\varepsilon > 0$,
$$ \alpha \left(  \{ i  \vert d(x_i, x_{\infty}) < \varepsilon  \}  \right) = 1  .$$
If this is the case, the point $x_{\infty} $ is called the \textit{ultralimit} of the sequence, and we write  $x_i \xrightarrow{\alpha} x_{\infty}$ or
$$\lim\limits_{i \to \alpha} x_i = x_{\infty}. $$
It is easy to show that if a sequence has an ultralimit, then it is unique. Furthermore, if $X$ is compact, then any sequence in $X$ ultraconverges.

\begin{definition}
\rm  Let $ (X_i, p_i)  $ be a sequence of pointed metric spaces. Let $X_{\alpha}^{\prime}$ be the set of sequences $ x_i \in X_i$ such that
$$ \sup\limits_{i \in \mathbb{N}} d(x_i, p_i) < \infty.$$
Equip $X_{\alpha}^{\prime}$ with the pseudometric
$$d( \{ x_i \}, \{ y_i \}   )    := \lim\limits_{i \to \alpha} d(x_i, y_i).$$
Let $X_{\alpha}$ be the metric space corresponding to the pseudometric  space $X_{\alpha}^{\prime}$.  The pointed metric space $(X_{\alpha}, p_{\alpha} )$, where $p_{\alpha} $ is the class of the sequence $\{ p_i \} $, is called the \textit{metric ultralimit} of the sequence $  (X_i, p_i)$.

\end{definition}

 It is straightforward to show that $X_{\alpha} $ is always a complete metric space.

\begin{theorem}\label{Subseq}
 \rm If a sequence of proper metric spaces $(X_i, p_i)$ converges in the pointed Gromov--Hausdorff sense to a space $(X,p)$, then $(X_{\alpha}, p_{\alpha}) $ and $(X,p)$ are isometric. Conversely, if the sequence $(X_i, p_i)$ is precompact in the pointed Gromov--Hausdorff topology, then there is a subsequence that converges to $(X_{\alpha}, p_{\alpha}) $ in the pointed Gromov--Hausdorff sense.
\end{theorem}

\begin{remark}
 \rm To define an algebraic ultraproduct $A_{\alpha}   =   \lim_{i \to \alpha} A_i     $ or a metric ultraproduct $X_{\alpha} = \lim_{i \to  \alpha}X_i$, we don't require the sets $A_i $ or $X_i$ to be defined for all $i$, but only for all $i$ in an $\alpha$-large set.
\end{remark}

\subsection{Approximate isometries, equivariant convergence}

If we have a sequence of pointed proper metric spaces $(X_i, p_i)$ converging in the pointed Gromov--Hausdorff sense to a space $(X,p)$, then any sequence of groups of isometries $G_i \leq Iso (X_i)$ converges in a suitable sense to a group  $G_{\alpha} \leq Iso (X)$. In this section we present a precise statement of this result. The proofs follow from the discussion in (\cite{GromovPG}, Section 6).

\begin{definition}
\rm Let $  (X_i, p_i)$ be a sequence of pointed proper metric spaces and  $Y_i$ a sequence of proper metric spaces. We say that two sequences of functions $\phi_i, \psi_i : X_i \to Y_i$ are \textit{ultraequivalent} if for every $R>0$,
\begin{center}
$\lim\limits_{i\to \alpha} d_U ( \phi_i , \psi_i  ,  B(p_i, R)  ) =0 $.
\end{center}
\end{definition}

\begin{lemma}\label{ALISON}
 \rm  Let $(X,p)$ be a pointed proper metric space and $\phi_i : X \to X$ a sequence of functions for which the sequence $ d (  \phi_i p, p ) $ is bounded. Assume that for every $R > 0$, $Dis \left( \phi_i \vert_{B(p, R)} \right) \to 0  $ as $i \to \infty$, and consider the map $\phi_{\alpha}:X \to  X $ given by
$$ \phi_{\alpha} (x) : = \lim\limits_{i \to \alpha} \phi_i (x).  $$
Then the sequence $\phi_i$ is ultraequivalent to the constant sequence $\phi_{\alpha}$, and $\phi_{\alpha}$ is an isometric embedding. We call $\phi_{\alpha}$ the \textit{ultralimit} of the sequence $\phi_i$. Furthermore, if there is a sequence $\psi_i: X \to X$ with $Dis \left(  \psi_i \vert_{B(p,R)}  \right) \to 0$ as $i \to 0$ for all $R>0$, and such that the sequence $\phi_i\psi_i$ is ultraequivalent to the identity $Id_X$, then $\phi_{\alpha} $ is a surjective isometry.
\end{lemma}

 Let $(X_i, p_i)$ be a sequence of proper geodesic spaces, converging in the pointed Gromov--Hausdorff sense to a space $(X, p)$, and consider a sequence of groups of isometries $G_i \leq Iso (X_i)$. We say that a sequence $g_i \in G_i$ is \textit{stable} if the sequence $  d(g_i(p_i), p_i) $ is bounded. The set $G_{\alpha}$ of stable sequences modulo ultraequivalence is called the \textit{equivariant ultralimit } of the sequence $G_i$. By definition, we have sequences of maps $f_i : X_i \to X$ and $h_i : X \to X_i$ with $f_i(p_i ) = p$, $h_i (p) = p_i$,  and satisfying equations \ref{pGH1} and \ref{pGH2} for all $R>0$. We say that a sequence $g_i \in G_i$ \textit{ultraconverges} to a map $g: X \to X$ if the sequence of maps $(f_i \circ g_i \circ h_i )  $ is ultraequivalent to the constant sequence $g$. By Lemma \ref{ALISON}, any stable sequence has a unique ultralimit.
\begin{theorem}\label{equivariant-ultralimit}
\rm (Gromov) Let $(X_i,p_i)$ be a sequence of pointed proper metric spaces converging in the pointed Gromov--Hausdorff sense to a complete space $(X,p)$. Consider a sequence of groups of isometries $G_i \leq Iso (X_i)$ and let $G_{\alpha}$ be their equivariant ultralimit. The map $ \Phi : G_{\alpha} \to Iso (X)$ that sends a sequence to its ultralimit is well defined (that is, the ultralimit doesn't depend on the representative in the equivalence class), is injective (that is, if two stable sequences have the same equivariant ultralimit, then the sequences are ultraequivalent), and has closed image.  Furthermore, if diam$(X_i/G_i) \to 0$, then $G_{\alpha} $ acts transitively on $X$.
\end{theorem}
\begin{remark}
\rm The image $\Phi (G_{\alpha})$ may depend on the choice of the functions $f_i, h_i$ used to obtain the ultralimit of a stable sequence $g_i \in G_i$. However, as pointed out in Remark \ref{fihi}, we always assume that the functions $f_i$ and $h_i$ are already given in the hypothesis that the spaces $X_i$ converge to $X$.
\end{remark}
\begin{remark}
\rm   The set $G_{\alpha }$ has two equivalent group structures. The one obtained by pulling back the group structure in $Iso(X)$ through $\Phi$:
\begin{center}
$a \ast b := \Phi^{-1} (\Phi (a) \circ \Phi (b)). $
\end{center}
 And the one given by the groups $G_i$:
\begin{center}
$\{  g_i \} \ast \{  g_i^{\prime} \} : = \{ g_i \circ g_i ^{\prime}     \} $.
\end{center}
\end{remark}
\begin{remark}
\rm  The group $G_{\alpha}$ has two equivalent topologies. The one obtained by pulling back the topology of $Iso (X)$ through $\Phi$, yielding the following family of sets as a compact neighborhood basis of the identity:
\begin{center}
$U_{R, \varepsilon}^{\alpha} : = \Phi ^{-1} \left( U_{R, \varepsilon}^X\right) $.
\end{center}
And the one given by the groups $G_i$, yielding the following family of sets as a compact neighborhood basis of the identity:
\begin{center}
$\tilde{U}_{R,\varepsilon}^{\alpha}:= \left\{ \{  g_i  \} \in  G_{\alpha} \big\vert \text{ }  \alpha  \left(   \left\{   i  \vert g_i \in U_{R, \varepsilon} ^{X_i}  \right\}  \right) =1  \right\}     .$
\end{center}
\end{remark}

\subsection{Local groups}

In this section we present the elementary theory of local groups an approximate groups we will use. We refer the reader to (\cite{BGT}, Appendix B) for proofs and further discussion.

\begin{definition}
\rm Let $(G,e)$ be a pointed topological space. We say that $G$ is a \textit{local group}, if there are continuous maps $(\cdot )^{-1}: G \to G$ and $\cdot : \Omega  \to G$ for some $ \Omega \subset G \times G$ such that
\begin{itemize}
\item $\Omega$ is an open set containing $(G \times \{ e\} ) \cup ( \{ e \} \times G  )  $.
\item For all $g \in G$, we have $(g,(g)^{-1}), ((g)^{-1},g)\in \Omega$ and $g \cdot e = e \cdot g = g$.
\item For all $g \in G$, we have $g \cdot (g)^{-1} = (g)^{-1} \cdot g = e$.
\item For all $g,h,k \in G$ such that $(g,h) , (gh,k), (h,k), (g, hk) \in \Omega$, we have $g (hk)= (gh)k$.
\end{itemize}
\end{definition}

\begin{definition}
\rm We say that a local group $G$ is a \textit{local Lie group} if it is a smooth manifold, and the maps $(\cdot )^{-1}: G \to G$ and $\cdot : \Omega  \to G$ are smooth.
\end{definition}

\begin{definition}
\rm Let $G$ be a local group. We say that a subset $A \subset G$ is \textit{symmetric} if $e \in A$ and $g^{-1} \in A$ for all $g \in A$.
\end{definition}

\begin{definition}
\rm Let $G$ and $H$ be two local groups. We say a function $\phi : G \to H$ is a morphism if the following holds:
\begin{itemize}
\item $\phi (e) = e$.
\item For all $g \in G$, we have $\phi (g^{-1}) = \left[ \phi (g)   \right] ^{-1}$.
\item If $g,h \in G$ are such that $g\cdot h$ is defined in $G$, then $\phi (g) \cdot \phi (h) $ is defined in $H$, and $\phi (g\cdot h ) = \phi (g) \phi (h)$.
\end{itemize}
\end{definition}

\begin{definition}
\rm Let $(G,e$) be a local group, and $U\subset G$ a symmetric subset. We say that $U$ is a \textit{restriction} of $G$ if when restricting $(\cdot )^{-1} $ to $U$, and $\cdot : \Omega \to G$ to $\left[ ( \cdot )^{-1}(U)\right] \cap (U \times U)  $, we obtain a local group structure on $U$.
\end{definition}

\begin{definition}
\rm Let $G$ be a local group, and $g_1, \ldots , g_m \in G$. We say that the product $g_1 \cdots g_m$ is \textit{well defined in} $G$ if for each $1 \leq j\leq k \leq m$, we can find an element $g_{[j,k]} \in G$ such that
\begin{itemize}
\item For all $j \in \{ 1, \ldots , m \} $, we have $g_{[j,j]}= g_j$
\item For all $1 \leq j \leq k \leq \ell \leq m$, the pair $\left(  g_{[j,k]} , g_{[k+1,\ell ]}  \right) $ lies in $\Omega$, and $g_{[j,k]} \cdot g_{[k+1,\ell ]} = g_{[j, \ell ]}$.
\end{itemize}
For sets $A_1, \ldots , A_m \in G$, we say that the product $A_1\cdots A_m$ is \textit{well defined} if for all choices of $g_j \in A_j$, the product $g_1 \cdots g_m$ is well defined.
\end{definition}
\begin{definition}
\rm Let $G$ be a local group. We say that a subset $A \subset G$ is a \textit{multiplicative set} if it is symmetric, and $A^{200}$ is well defined in $G$.
\end{definition}
\begin{definition}
\rm We say that a local group $G$ is  \textit{cancellative} if the follwing holds:
\begin{itemize}
\item For all $g,h,k \in G$ such that $gh$ and $gk$ are well defined and equal to each other, we have $h=k$.
\item For all $g,h,k \in G$ such that $hg$ and $kg$ are well defined and equal to each other, we have $h=k$.
\item For all $g,h \in G$ such that $gh $ and $h^{-1}g^{-1}$ are well defined, then $(gh)^{-1} = h^{-1}g^{-1}$.
\end{itemize}
\end{definition}
\begin{definition}
\rm Let $G, G^{\prime}$ be local groups such that $G^{\prime}$ is a restriction of $G$. We say that $G^{\prime}$ is a \textit{sub-local group} of $G$ if there is an open set $V\subset G$ containing $G^{\prime}$ with the property that for all $a,b \in G^{\prime}$ such that $ab$ is well defined in $V$, then $ab \in G^{\prime}$.  If $V$ also satisfies that for all $a \in G^{\prime} $, $b \in V$ such that $bab^{-1}$ is well defined in $V$, then $bab^{-1}\in G^{\prime}$, we say that $G^{\prime}$ is a \textit{normal} sub-local group of $G$, and $V$ is called a \textit{normalizing neighborhood} of $G^{\prime}$.
\end{definition}
\begin{lemma}
\rm Let $G$ be a cancellative group and $H$ be a normal sub-local group with normalizing neighborhood $V$. Let $W \subset G$ be an open symmetric subset such that $W^6 \subset V$. Then there is a cancellative local group $W/H $ equipped with a surjective morphism $\phi : W \to W / H$ such that, for all $g,h \in W$, one has $\phi (g) = \phi (h)$ if and only if $gh^{-1}\in H$, and for any $E \subset W / H$, one has that $E$ is open if and only if $\phi^{-1}(E)$ is open.
\end{lemma}

\subsection{Ultraconvergence of polynomials}

\begin{definition}
\rm  Let $  Q_i : \mathbb{R}^{m} \to \mathbb{R}^n $ be a sequence of polynomials of bounded degree. We say that the sequence converges \textit{well} to a polynomial $Q: \mathbb{R}^{m} \to \mathbb{R}^n$ if the sequence $Q_i$ is ultraequivalent to the constant sequence $Q$. Equivalently, the sequence $Q_i$ converges well to $Q$ if the sequences of coefficients of $Q_i$ ultraconverge to the corresponding coefficients of $Q$.
\end{definition}

\begin{lemma}\label{PreWell}
\rm  For each $d\in \mathbb{N}$, there is $N_0 \in \mathbb{N}$ such that the following holds. Let $I_{N_0}:= \{ -1, \ldots,\frac{-1}{N_0}, 0, \frac{1}{N_0}, \ldots , 1 \} $, and assume we have polynomials $Q_i, Q: \mathbb{R}^m \to \mathbb{R}^m$ of degree $\leq d$ such that $Q_i(x) \xrightarrow{\alpha} Q(x) $ for all $x\in \left( I_{N_0} \right)^{\times m}$. Then $Q_i$ converges well to $Q$.
\end{lemma}

\begin{proof}
Working on each coordinate, we may assume that $n=1$. We proceed by induction on $m$, the case $m =1$ being elementary Lagrange interpolation. Name the variables $x_1, \ldots , x_m$. Since
$$ \mathbb{R}[x_1, \ldots , x_m]  = (\mathbb{R}[x_1])[x_2, \ldots , x_{m }],  $$
 we can consider the polynomials $Q_i, Q$ as polynomials $\tilde{Q}_i, \tilde{Q}$ in the variables $x_2, \ldots, x_{m }$ with coefficients in $\mathbb{R}[x_1]$.

If $Q_i(x) \xrightarrow{\alpha} Q(x) $ for all $x\in \left( I_{N_0}\right)^{\times m}$, we would have $\tilde{Q}_i(q, x^{\prime}) \xrightarrow{\alpha} \tilde{Q}(q,x^{\prime})$ for all $q \in I_{N_0}$ and $x^{\prime} \in  (  I_{N_0})^{\times (m -1)}$. By the induction hypothesis, if $N_0$ was large enough, depending on $d$, the coefficients of $\tilde{Q}_i $, which are polynomials in $\mathbb{R}[x_{1}]$, ultraconverge to the coefficients of $\tilde{Q}$ whenever $x_{1}\in I_{N_0}$. By the case $m =1$, if $N_0$ was large enough, the coefficients of $Q_i$ ultraconverge to the coefficients of $Q$.
\end{proof}

\begin{lemma}\label{Well}
\rm Let $Q_i: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}^n$ be a sequence of polynomial group structures in $\mathbb{R}^n$ of bounded degree. Assume $Q_i $ converges well to a polynomial group structure $Q: \mathbb{R}^n \times \mathbb{R}^n  \to \mathbb{R}^n$. Then the corresponding sequence of Lie algebra structures on $\mathbb{R}^n$ converges well to the Lie algebra structure of $Q$.
\end{lemma}

\begin{proof}
This follows from the fact that the structure coefficients of the Lie algebras depend continuously on the second derivatives of $Q_i$, which by hypothesis, ultraconverge to the corresponding second derivatives of $Q$.
\end{proof}

\begin{definition}\label{quasil}
\rm For $x \in \mathbb{R}^r$, we define its \textit{support} as
$$   \text{supp} ( x_1, \ldots , x_r) := \{ i \in \{ 1, \ldots , r \} \vert x_i \neq 0     \} . $$
For $x,y \in \mathbb{R}^r$, we say that $x \preceq y$ if $i \leq j$ for every $i \in \text{supp} (x) $, $j \in \text{supp} (y) $. We say that a polynomial group structure $Q : \mathbb{R}^r \times \mathbb{R}^r\to \mathbb{R}^r$ is \textit{quasilinear} if
$$Q(x,y) = Q(x, 0) + Q(0,y) = x+y$$
whenever $x \preceq y$.
\end{definition}

Note that for any quasilinear group structure $Q:\mathbb{R}^r \times \mathbb{R}^r \to \mathbb{R}^r$, the coordinate axes are one-parameter subgroups, and the exponential map
$$\exp : T_0 \mathbb{R}^r = \mathbb{R}^r \to \mathbb{R}^r$$
 is the identity when restricted to such axes. Moreover, by the Baker--Campbell--Hausdorff formula, for $x= (x_1, \ldots , x_r) \in \mathbb{R}^r$, the expression
 \begin{eqnarray*}
 \log (  x  ) & = &  \log \left(  x_{ 1} e_1 + \ldots + x_{i}e_r     \right) \\
 & = & \log \left(    ( x_{ 1} e_1 ) \ldots ( x_{r}e_r)     \right) \\
  & = & \log   (   \exp (  \log  (  x_{1}e_1  ) ) \ldots   \exp( \log (   x_{r}e_r )   )   )      \\
 & = & \log  (  \exp  (x_{1 }e_1)  \ldots \exp( x_{r}e_r) )
\end{eqnarray*}
is a polynomial on the variables $x_1, \ldots , x_r$, and its coefficients depend continuously on the structure coefficients of the Lie algebra associated to $(\mathbb{R}^r,  Q)$. This, together with Lemma \ref{Well}, implies the following result.

\begin{lemma}\label{Quasilinear Continuity}
\rm Consider quasilinear polynomial nilpotent group structures $Q_i , Q : \mathbb{R}^r\times \mathbb{R}^r \to \mathbb{R}^r$ of bounded degree. Let $\log_i ,\log : \mathbb{R}^r \to \mathbb{R}^r = T_0 \mathbb{R}^r$ denote the logarithm maps for the group structures $Q_i$ and $Q$, respectively. Assume the sequence $Q_i$ converges well to $Q$, and a sequence $x_i \in \mathbb{R}^r$ ultraconverges to a point $x \in \mathbb{R}^r$. Then
\[ \lim\limits_{i \to \alpha} \log_i (x_i) = \log (x).  \]
\end{lemma}

\subsection{Constructing covering spaces}\label{CoverConstruction}

In this section we present the constructions of covering spaces we will need.

\begin{definition}
\rm Let $\varepsilon > 0$. We say that a covering map $\tilde{Y} \to Y$  of geodesic spaces is $\varepsilon$\textit{-wide} if for every  $y \in Y$, the ball $B^Y(y, \varepsilon ) $ is an evenly covered neighborhood of $y$.
\end{definition}
 The following result is obtained via the standard construction of covering spaces (see  \cite{Munk}, Theorem 77.1).

\begin{lemma}\label{cover-characterization}
\rm Let $(Y,y_0)$ be a pointed proper geodesic space,  $\Delta$ a group, and $\varepsilon > 0$. Then the following are equivalent:
\begin{itemize}
\item There is a Galois $\varepsilon$-wide covering map $\tilde{Y} \to Y$ with Galois group $\Delta$.
\item There is a surjective morphism $\pi _ 1 (Y,y_0) \to \Delta$ whose kernel contains all the classes containing $\varepsilon$-lassos nailed at $y_0$.
\end{itemize}
\end{lemma}

The following result by Sormani and Wei implies that if two geodesic spaces are sufficiently close in the Gromov--Hausdorff sense, then one can transfer Galois covers from one of them to the other (\cite{SWHau}, Theorem 3.4).

\begin{theorem}\label{sormani-cover-copy}
\rm (Sormani--Wei) Let $A, B$ be proper geodesic spaces with
$$d_{GH} (A,B ) \leq \varepsilon/200, $$
and $\tilde{B} \to B$ a Galois $\varepsilon$-wide covering map with Galois group $\Delta$. Then there is a Galois cover   $\tilde{A} \to A$ with Galois group $\Delta$.
\end{theorem}

Consider a pointed proper geodesic space $(Z,z_0)$, and a discrete group of isometries $\Gamma \leq Iso (Z)$, with diam$(Z/\Gamma) \leq \rho /10$ for some $\rho > 0$. We define
\begin{center}
$B:= B(z_0, \rho ),$

$ S := \{ g \in \Gamma \vert d(gz_0, z_o) \leq 2 \rho \} = \{ g \in \Gamma \vert gB \cap B \neq \emptyset \} . $
\end{center}
Let $  \tilde{\Gamma } $ be the abstract group generated by $S$, with relations
\begin{center}
$s= s_1 s_2$ in $ \tilde{\Gamma } $, whenever $s, s_1, s_2 \in S$ and $s= s_1s_2$ in $\Gamma$.
\end{center}
If we denote the  canonical embedding $S  \hookrightarrow \tilde{\Gamma} $ as $(s \to s^{\sharp } )$, then there is a unique group morphism $\Phi :  \tilde{\Gamma } \to \Gamma$ that satisfies $\Phi (s^{\sharp }) = s$ for all $s \in S$. This map is surjective by Lemma \ref{short-generators}.  Equip $ \tilde{\Gamma } $ with the discrete topology, and consider the topological space
\begin{center}
$\tilde{Z} := \left(  \tilde{\Gamma }  \times B \right) / \sim$,
\end{center}
where $\sim$ is the minimal equivalence relation such that
\begin{center}
$ (gs^{\sharp}, x) \sim (g,s x)   $ whenever $s \in S$, $x , sx \in B$.
\end{center}
We obtain a continuous map $\Psi : \tilde{Z} \to Z$ given by
\begin{center}
$\Psi  (g, x) : = \Phi (g)(x)      .$
\end{center}

\begin{theorem}\label{monodromy}
\rm  The map $\Psi$ is a Galois $(\rho /3)$-wide covering map with Galois group $Ker (\Phi )$.
\end{theorem}
The proof of Theorem \ref{monodromy} is obtained from a sequence of lemmas.
\begin{lemma}\label{relation-is-good}
\rm Let $(a,x), (b,y ) \in \tilde{\Gamma} \times B$. The following are equivalent:
\begin{itemize}
\item there is $s \in S$ with $b= as^{\sharp}$, $x=sy$.
\item there is $t \in S$ with $a=bt^{\sharp}$, $y=tx$.
\item $(a,x) \sim (b,y)$.
\end{itemize}
\end{lemma}

\begin{proof}
The first two conditions are equivalent by taking $t $ to be $s^{-1}$, and they imply the third one by definition. Using the fact that the first two conditions are equivalent, the third condition implies that there is a sequence $s_1, \ldots , s_k \in S$ such that
\[(a,x) \sim (as_1^{\sharp} , s_1^{-1}x) \sim  \ldots  \sim (as_1^{\sharp} \cdots s_k^{\sharp} , s_k^{-1} \cdots s_1^{-1} x ) = (b,y). \]
This implies that $ \left( s_1^{-1} \right) , \left(  s_2^{-1}s_1^{-1}  \right) , \ldots , \left(  s_k^{-1}\ldots s_1^{-1} \right) \in S$, allowing us to prove by induction on $j$ that $(s_1\cdots s_j)^{\sharp} s_{j+1}^{\sharp} = (s_1 \cdots s_{j+1}  )^{\sharp}$ in $\tilde{\Gamma }$. This implies the first condition by taking $s$ to be $(s_1 \cdots s_k) \in S$.
\end{proof}

We say that a subset $A \subset \tilde{\Gamma } \times B$ is \textit{saturated} if it is a union of equivalence classes of the relation $\sim$. By definition, if $A$ is open and saturated, then its image in $\tilde{Z}$ is open. Let $U \subset Z$ be an open ball of radius $\rho /2$. Since $\Phi$ is surjective and diam$(Z/\Gamma ) \leq \rho / 10$, there is $g_0 \in \tilde{\Gamma}$ such that
\[V : = \Phi(g_0^{-1})(U) \subset B^Z(z_0, 2\rho /3).\]

\begin{lemma}\label{monodromy1}
\rm  The preimage of $U$ is given by
 \begin{equation}\label{preimage-u}
 \Psi ^{-1}(U) = \bigsqcup_{g \in Ker(\Phi)} \left( \bigcup_{s \in S} \left( \{ g_0gs^{\sharp}  \} \times \left(( s^{-1}V) \cap B   \right)     \right)     \right)  / \sim   .
\end{equation}
\end{lemma}
\begin{proof}
By direct evaluation, if $x \in V \cap sB$, then
\[  \Psi (g_0gs^{\sharp}, s^{-1}x) = \Phi (g_0g)x = \Phi(g_0) x \in \Phi (g_0) (V) = U. \]
On the other hand, if $(h,x) \in \tilde{\Gamma} \times B$ is such that $\Phi(h) (x) \in U$, then $\Phi(g_0^{-1}h)(x) \in V$, and $\Phi(h) \in \Phi( g_0) S $, implying that $h = g_0gs^{\sharp}$ for some $g \in Ker (\Phi)$, $s \in S$. Also, $s(x) = \Phi ( g_0^{-1} g_0 s^{\sharp} )(x) = \Phi(g_0^{-1}h)(x) \in V$, proving that the class of $(h,x)$ belongs to the right hand side of Equation \ref{preimage-u}.
\end{proof}
\begin{lemma}\label{monodromy2}
\rm As $g$ ranges through $ Ker (\Phi )$, the sets
\[   W_g : =   \bigcup_{s \in S} \left( \{ g_0gs^{\sharp}  \} \times \left(( s^{-1}V) \cap B   \right)     \right)     \subset \tilde{\Gamma } \times B    \]
are open, disjoint, and saturated.
\end{lemma}
\begin{proof}
 The fact that they are open is straightforward, since $(s^{-1}V) \cap B$ is open in $B$ for each $s \in S$. To prove that they are disjoint, assume that
\[  (g_0g_1s_1^{\sharp},x  ) \sim (g_0 g_2 s_2 ^{\sharp} , y)     \]
  for some  $g_1, g_2 \in Ker(\Phi),$ $s_1s_2 \in S , $ $ x\in (s_1^{-1}V) \cap B , y \in (s_2^{-1}V ) \cap B . $ Lemma \ref{relation-is-good} implies that there is $t \in S$ with
  \begin{equation}\label{mono-equation}
  g_0g_1s_1^{\sharp} t^{\sharp} = g_0g_2s_2^{\sharp}  , \text{ } x=ty .
  \end{equation}
 By Taking $\Phi$ on both sides of the first equation, we get $s_2 = s_1t$, and hence $s_2^{\sharp} = s_1^{\sharp}t^{\sharp}$. Canceling this in Equation \ref{mono-equation}, we get $g_1=g_2$, proving that the sets $W_g$ are disjoint.

To prove that they are saturated, assume that for some $(h,x ) \in \tilde{\Gamma} \times B$, $g \in Ker (\Phi) $, $s \in S$, $y \in (s^{-1} V )\cap B$, we have $(h,x) \sim (g_0gs^{\sharp} , y)$. By Lemma \ref{relation-is-good}, there is $t \in S$ with
\[  h = g_0gs^{\sharp}t^{\sharp}, \text{ } y = tx.        \]
This implies that $st (x)= s(y) \in V \subset  B$, hence $st \in S$ and $(st)^{\sharp}=s^{\sharp}  t ^{\sharp} $. Then
\[ (h,x) \in  \{ g_0 g (st)^{\sharp} \} \times  \left( ((st)^{-1}V) \cap B \right) , \]
proving that $W_g$ is saturated.
\end{proof}
\begin{lemma}\label{monodromy3}
\rm For each $g \in Ker (\Phi )$, the image of $W_g$ in $\tilde{Z}$ is sent  homeomorphically via $\Psi$ onto $U$.
\end{lemma}
\begin{proof}
Surjectivity is traightforward, since $\Phi ( g_0 g ) (V) = U$. To check injectivity, assume that for some $s,t \in S$, $x\in (s^{-1}V) \cap B$, $y \in (t^{-1}V) \cap B$, we have
\[ \Phi(g_0gs^{\sharp})(x) = \Phi (g_0gt^{\sharp})(y).      \]
Then $x=s^{-1}ty \in B$, implying that $s^{-1}t \in S$, and consequently, $(s^{-1}t)^{\sharp} = (s^{\sharp})^{-1}t^{\sharp}$. Hence
\[   g_0gs^{\sharp} (s^{-1}t)^{\sharp} = g_0gt^{\sharp} , \text{ }x= (s^{-1}t)y,  \]
obtaining injectivity. To check that $\Psi \vert_{W_g}$ is open, take $\mathcal{O} \subset W_g$ open and saturated containing the class of
\[(g_0g, x) \in  \{g_0g\} \times  V   . \]
Then $\Psi $ sends $ ( \{g_0g\} \times  V    ) \cap \mathcal{O} $ to an open neighborhood of $\Phi(g_0)(x)$. Since $(g_0g,x) $ was arbitrary, $\Psi \vert _{W_g} $ is open.
\end{proof}

By lemmas \ref{monodromy1}, \ref{monodromy2}, and \ref{monodromy3}, $U$ is an evenly covered neighborhood. Since $U$ was arbitrary, Theorem \ref{monodromy} follows.

\section{Nilpotent groups of isometries}\label{PartI}

In this section, we begin the proof of Theorem \ref{MAIN} with the following result.

\begin{theorem}\label{PI}
\rm   Let $(X_i,p_i)$ be a sequence of almost homogeneous spaces that converges in the pointed Gromov--Hausdorff sense to a space $(X,p)$. Then $X$ is a nilpotent locally compact group equipped with an invariant metric.
\end{theorem}

 By hypothesis, there are discrete groups of isometries $G_i \leq Iso (X_i)$ with diam$(X_i/G_i) \to 0$. To prove Theorem \ref{PI} we first reduce it to the case when the groups $G_i$ are almost nilpotent.

\begin{lemma}\label{anil}
\rm Under the hypotheses of Theorem \ref{PI}, there are discrete groups of isometries $\Gamma_i \leq Iso (X_i)$ with diam$(X_i/\Gamma_i)\to 0$, satisfying that for each $\varepsilon > 0$, there is $N = N(\varepsilon ) \in \mathbb{N} $ such that for all $i \geq N$, and $g \in  \Gamma_i ^{(N)}$, we have $d(gp_i,p_i ) < \varepsilon $.
\end{lemma}

This Lemma is an elementary consequence of the following result, which is one of the strongest versions of the Margulis Lemma \cite{BGT}. It states that if a sufficiently large ball in a Cayley graph can be covered by a controlled number of balls of half its radius, then the corresponding group is virtually nilpotent.

\begin{theorem}\label{Margulis}
\rm (Breuillard--Green--Tao) For $C>0$, there is $N(C) \in \mathbb{N}$ such that the following holds: Let $A$ be a finite symmetric subset of a group $G$, which is in turn generated by a finite symmetric set $S$. If $S^N\subset A$, and $A^2$ can be covered by $C$ left translates of $A$, then there is a subgroup $ G^{\prime} \leq G$ with
\begin{itemize}
\item $[G:G^{\prime}]\leq N$
\item $\left( G^{\prime}\right)^{(N)} \subset A^4 $
\end{itemize}
\end{theorem}

\begin{proof}[Proof of Lemma \ref{anil}:] Fix $k \in \mathbb{N}$, and define
\[ A_i : =  \{ g \in G_i \vert   d(gp_i,p_i) \leq 2/k  \}   .    \]
It is straightforward to verify that $A_i$ is finite and symmetric.  Since $X$ is proper, there is $C > 0 $ such that $B(p,4/k)$ can be covered by $C\in \mathbb{N}$ balls of radius $1/k$. That is, there are $\{ q_1, \ldots , q_C \} \in X$ such that
\[   B(p , 4 /k) \subset \bigcup_{j=1}^C  B(q_j, 1/k).   \]
From the definition of pointed Gromov--Hausdorff convergence, there are sequences of functions $f_i : X_i \to X$, $h_i : X \to X_i$ with $f_i(p_i)=p$, $h_i(p)=p_i$, and satisfying equations \ref{pGH1} and \ref{pGH2} for all $R>0$.  Since diam$(X_i/G_i ) \to 0$, there are group elements $\{ g_{1,i}, \ldots , g_{C,i} \} \in G_i $ such that $d(g_{j,i}p_i, h_iq_j)\to 0$ as $i \to \infty$ for each $j\in \{1, \ldots, C \}$. This implies that for large enough $i$,
\[ A_i^ 2 \subset \{ g \in G_i \vert d(gp_i,p_i)\leq 4 /k \} \subset \bigcup_{j=1}^C g_{j,i} A_i  . \]
One can also define
\[  S_i : = \{   g \in G_i \vert d(gp_i,p_i) \leq  3 \cdot \text{diam}(X_i/G_i) \} ,  \]
which generates $G_i$ by Lemma \ref{short-generators}. Let $N_k:=N(C)\in \mathbb{N}$ be given by Theorem \ref{Margulis}.   Since diam$(X_i/G_i) \to 0$, there is $M_k\in \mathbb{N}$ such that for all $i \geq M_k$, we have
\[ \text{diam}(X_i/G_i) \leq \frac{1}{4kN_k}.\]
 This immediately implies $S_i^{N_k} \subset A_i$. Hence there are subgroups $ G_i^{\prime} (k) \leq G_i$ which satisfy, by Lemma \ref{diameter-subgroup},
\begin{itemize}
\item diam$(X_i/(G_i^{\prime}(k)))\leq 3 N_k \cdot $ diam$ (X_i/G_i)  $
\item If $i \geq M_k$, then  all $g \in \left( G_i^{\prime} (k) \right)^{(N_k)}$ satisfy $d(gp_i,p_i) \leq 8 /k$
\end{itemize}
By inductively repeating this construction with $k \in \mathbb{N}$, we can assume that $N_{k+1} \geq N_k$ and $M_{k+1} \geq M_k$ for all $k$. With this, we define $\Gamma_i : = G_i^{\prime}(k)$, where $k$ is the largest integer such that $i \geq M_k$. The verify the conclusion of the lemma, for any positive $\varepsilon $ we define $N(\varepsilon) : = \max \{N_k,M_k \}  $ with $k$ satisfying $\varepsilon k \geq 8$.
\end{proof}

\begin{proof}[Proof of Theorem \ref{PI}:]
Let $\Gamma_i$ be given by  Lemma \ref{anil}.  By Lemma \ref{proper-geodesic} and  Theorem \ref{equivariant-ultralimit}, $X$ is a proper geodesic space and the equivariant ultralimit $\Gamma_{\alpha} \leq Iso (X)$ is a closed subgroup acting transitively. By Lemma \ref{anil}, for any $\varepsilon > 0$, there is $N \in \mathbb{N}$, such that
\[ \Gamma_{\alpha}^{(N)}  \subset \{  g \in \Gamma _{\alpha}  \vert d(gp,p) \leq \varepsilon        \}           .   \]
Since   $\Gamma_{\alpha}$ acts transitively on $X$,  Lemma \ref{normal-stabilizers} implies
\begin{equation}\label{nilalpha}
\Gamma_{\alpha}^{(N)} \subset \{ g \in \Gamma_{\alpha} \vert d(g q,q) \leq \varepsilon  \text{ for all }q \in X \} .
\end{equation}
By Remark \ref{topology-basis} and  Theorem \ref{gleason-yamabe}, there is an open subgroup $\mathcal{O} \leq \Gamma_{\alpha}$ with the property that for any $R , \varepsilon > 0$, there is a compact normal subgroup $K \triangleleft \mathcal{O}$ with $K \subset U_{R, \varepsilon}^{\alpha}$ and such that $\mathcal{O}/K$ is a connected Lie group. Fix $K_0 \triangleleft \mathcal{O}$ a compact normal subgroup satisfying that $ \mathcal{O}/K_0$ is a connected Lie group, and denote by $\pi_{K_0}: \mathcal{O} \to \mathcal{O}/K_0$ the projection. Let $U \subset \mathcal{O}/K_0$ be a small open neighborhood of the identity, such that any subgroup of $\mathcal{O}/K_0$ contained in $U$ is trivial. Since $\pi_{K_0}^{-1}(U) \subset \mathcal{O}$ is an open neighborhood of the identity, there is $\varepsilon > 0 $ such that
\begin{equation}\label{NSSNil}
\{ g \in  \mathcal{O} \vert  d(gq,q) \leq \varepsilon \text{ for all }q \in X \}      \subset \pi_{K_0}^{-1}(U)  .
\end{equation}
Let $N(\varepsilon) \in \mathbb{N} $ be given by Lemma \ref{anil}. Then Equations \ref{nilalpha} and \ref{NSSNil} imply that
\[ \left( \mathcal{O}/K_0 \right)^{(N)}  = \mathcal{O}^{(N)}/K_0  = \pi_{K_0}\left( \mathcal{O}^{(N)}\right)  \subset U ,   \]
and hence $\mathcal{O}/K_0$ is nilpotent of step $\leq N$. Notice that we also proved that  if a compact normal subgroup $K_1 \triangleleft \mathcal{O}$ satisfies that $\mathcal{O} /K_1 $ is a connected Lie group, then $\mathcal{O}/K_1$ is nilpotent.
\begin{center}
\textbf{Claim:} $\mathcal{O}$ is nilpotent of step $\leq N+1$.
\end{center}
By contradiction, assume there is $g \in \mathcal{O}^{(N+1)}  $ with $gq \neq q$ for some $q \in X$. We choose $R := 2 d (p,q) +1$, $\varepsilon_0 : = d(gq,q) /2  $, and take a compact normal subgroup $K \triangleleft \mathcal{O}$ with $K \leq U_{R,\varepsilon_0}^{\alpha}$ and such that $\mathcal{O}/K$ is a connected Lie group. By Theorem \ref{glushkov}, $\mathcal{O}/(K \cap K_0)$ is a connected Lie group, and it fits in an exact sequence of connected nilpotent Lie groups
\[     0  \to K_0/(K \cap K_0)  \to \mathcal{O}/ (K \cap K_0 ) \to \mathcal{O} / K_0 \to 1  .     \]
The group $K_0/(K\cap K_0)$ is a compact subgroup of the connected nilpotent Lie group $\mathcal{O}/(K \cap K_0)$, so by Lemma \ref{compact-nilpotent-1}, it is central. This implies that
\begin{eqnarray*}
(\mathcal{O}/(K \cap K_0))^{(N+1)} & = & [ (\mathcal{O}/(K \cap K_0) )^{(N)}: \mathcal{O}/(K \cap K_0)  ] \\
& \leq  &  [  K_0/(K \cap K_0 ) : \mathcal{O}/(K \cap K_0)   ]\\
& = & 0.
\end{eqnarray*}
This implies that $\mathcal{O}^{(N+1)} \leq K \cap K_0 \leq K \subset U_{R, \varepsilon_0}^{\alpha} $, but by construction, there is $g \in \mathcal{O}^{N+1} \backslash U_{R, \varepsilon_0}^{\alpha} $, which is a conradiction, proving the claim.

All that is left is proving that $\mathcal{O}$ acts freely and transitively on $X$, showing that $X \cong \mathcal{O}$. The fact that it acts transitively, follows from Theorem \ref{berestovskii-open}. To prove that the action is free, for $q \in X$ consider $\mathcal{O}_q : = \{  g \in \mathcal{O} \vert gq=q  \}$.
\begin{center}
\textbf{Claim:} $\mathcal{O}_p$ is a central subgroup of $\mathcal{O}$.
\end{center}
Assume there are $g \in \mathcal{O}_p$, $h \in \mathcal{O}$, with $[g,h] \neq e$. Then there are $R, \varepsilon$ such that $[g,h]$ is not in $ U_{R, \varepsilon}^{\alpha}$, and a compact normal subgroup $K \triangleleft \mathcal{O}$ with $K \subset U_{R, \varepsilon }^{\alpha}$ and such that $\mathcal{O}/K$ is a connected Lie group. $\mathcal{O}_p / K$ is a compact subgroup of the connected nilpotent Lie group $\mathcal{O}/K$. Hence by Lemma \ref{compact-nilpotent-1}, $[g,h] \in K \subset U_{R, \varepsilon}^{\alpha}$, but by construction, $[g,h] $ is not in $U_{R, \varepsilon}^{\alpha}$, which is a contradiction, proving the claim.

By Lemma \ref{normal-stabilizers}, $\mathcal{O}_p$ is trivial. Also, since $\mathcal{O}$ acts transitively on $X$, then for any $q \in X$, there is $h \in \mathcal{O}$ with $hp=q$. This implies that
\[  \mathcal{O}_q = h \mathcal{O}_p h^{-1} = \mathcal{O}_p = \{ Id_X \} .     \]
\end{proof}

\section{Semi-locally-simply-connected groups}\label{PartII}

In this section, we prove the second part of Theorem \ref{MAIN}, consisting of the following result.

\begin{theorem}\label{PII}
\rm Let $X_i$ be a sequence of almost homogeneous spaces, converging in the pointed Gromov--Hausdorff sense to a space $X$. If $X$ is semi-locally-simply-connected, then $X$ is a Lie group equipped with an invariant Finsler or sub-Finsler metric.
\end{theorem}

Due to the following result of Valerii Berestovskii (\cite{BerII}, Theorem 3), all we need to show is that $X$ is a Lie group.

\begin{theorem}\label{BerestovskiiFinsler}
\rm  (Berestovskii) Let $Y$ be a proper geodesic space whose isometry group acts transitively. If $Y$ is homeomorphic to a topological manifold, then its metric is given by a Finsler or a sub-Finsler structure.
\end{theorem}

\begin{proof}[Proof of Theorem \ref{PII}:]
By Theorem \ref{PI}, $X$ is a connected nilpotent group. By Corollary \ref{glushkov-corollary}, if $X$ is not a Lie group, then it contains a sequence of compact subgroups $K_1 \geq K_2 \geq \ldots  $ with
\begin{equation}\label{trivial-intersection}
  \bigcap_{j=1}^{\infty} K_j = 0
\end{equation}
and such that $H_j : = X/K_j$ is a connected nilpotent Lie group.
\begin{center}
\textbf{Case 1:} Only for finitely many $j$, the connected component

of $K_j/K_{j+1}$ is non-trivial.
\end{center}
Let $j_0$ be such that $K_j/K_{j+1} $ is discrete for all $j \geq j_0$. Let $\delta > 0 $ be small enough so that $B^{H_{j_0}} (e, \delta) $ contains no non-trivial subgroups, and $B^{H_{j_0}} (e, \delta) \to H_{j_0}$ has no content. By Lemma \ref{FinalCover} and induction, the balls $B^{H_j } (e,\delta)$ contain no non-trivial subgroups for $j \geq j_0$. From Equation \ref{trivial-intersection}, there is $M \in \mathbb{N}$ such that for all  $\ell \geq M$, we have $K_{\ell} \subset B^{X}(p, \delta)$, and
\[ K_{\ell} / K_{\ell + 1} \subset B^{H_{\ell + 1}  }(e, \delta ) .      \]
This implies $K_{\ell} = K _{\ell + 1}$ for $\ell \geq M$, and $X= H_M$.
\begin{center}
\textbf{Case 2:} For infinitely many $j$, the connected component.

 of $K_j/K_{j+1}$ is non-trivial
\end{center}
Since $X$ is semi-locally-simply-connected, there is $\delta > 0$ such that the inclusion $B^X(p , \delta ) \to X $ has no content. By our assumption, there is $j \in \mathbb{N}$ with $ K_j \subset B^X(p, \delta / 12) $, and the connected component of $K_j/K_{j+1} $ is non-trivial. By Lemma \ref{LongHomo} and  Corollary \ref{ShortLoopNT}, there is a non-contractible loop $\gamma_0: [0,1] \to  H_{j+1}$ based at $e$, with length$(\gamma_0)\leq \delta / 4$. A contradiction will arise by generating from this loop  a small non-contractible loop in $X$.

Since $H_{j+1}$ is a Lie group, there is $ 0 < \varepsilon  < \delta /4 $ such that if two closed curves in  $H_{j+1}$ are at uniform distance  less than $\varepsilon$, then they are homotopic to each other.  Choose $\ell \in \mathbb{N}$ large enough so that $K_{\ell}\subset B^X(p,\varepsilon / 2)$ and let $f: H_{\ell} \to H_{j+1} $ be the natural map, which by Lemma \ref{Submer} is a metric submersion. Using Lemma \ref{HoriLift}, we get a curve $\tilde{\gamma}_1: [0,1] \to H_{\ell}$ with $\tilde{\gamma}_1(0) = e$, $f \circ \tilde{\gamma}_1 = \gamma_0$, and length$(\tilde{\gamma}_1) \leq \delta / 4$. Since $f(\tilde{\gamma}_1(1) ) = e$, we have $\tilde{\gamma}_1 (1) \in K_{j+1}/K_{\ell} $. For each $m \in \mathbb{N}$, define the curve $\tilde{\gamma}_m : [0,1]\to H_{\ell}$ as
\[\tilde{\gamma}_m(t) : = \left[ \tilde{\gamma}_1(1) \right]^{m-1} \tilde{\gamma}_1(t). \]
Observe that $\tilde{\gamma}_{m}(1) = \tilde{\gamma}_{m+1}(0)$ for each $m$, so we can define the curves $\beta_m : = \tilde{\gamma}_1 \ast \ldots \ast \tilde{ \gamma }_m$.

Let $m_0 $ be the smallest integer such that $\beta_{m_0}(1) $ lies in the connected component of the identity of $ K_{j+1}/K_{\ell}$, and let $\beta : [0,1]\to K_{j+1}/K_{\ell}$ be a (not necessarily rectifiable) curve from $\beta_{m_0} (1) $ to $e$. Then the curve $\beta_{m_0}\ast \beta$  is a curve whose image lies in $B^{H_{\ell}}(e, \delta / 3)$, and the composition $f \circ (\beta_{m_0 } \ast \beta)$ is homotopic to $\gamma_0 \ast \ldots \ast \gamma_0$ ($m_0$ times). Since $\pi_1 (H_{j+1} ) $ has no torsion, $f \circ (\beta_{m_0} \ast \beta)$ is non-contractible in $H_{j+1}$. By Lemma \ref{ShortLoopNTI}, there is a loop $\tilde{\gamma} $ in $H_{\ell}$ based at $e$ with length$(\tilde{\gamma}) \leq \delta $ such that $f \circ \tilde{ \gamma} $ is non-contractible in $H_{j+1}$.

By Lemma \ref{Submer}, the quotient map $\rho : X \to H_{\ell}$ is a metric submersion, and hence by Lemma \ref{HoriLift}, there is a curve $c_1 : [0,1] \to B^X(p, \delta ) $ with $c_1(0)=p$, and $\rho \circ c_1 = \tilde{\gamma}$. Let $c_2: [0,1] \to X$ be a minimizing path from $c_1(1)$ to $p$. Then the curve $c: =c_1 \ast c_2$ is a loop in $ B^X(p, \delta )$ such that
\[ d_U (  (f \circ  \rho  \circ c ),( f \circ \rho \circ \tilde{c}_1); [0,1]  ) \leq  \varepsilon  ,  \]
for some suitable reparametrization $\tilde{c}_1  $ of $c_1$. This implies that $f \circ \rho \circ c$ is non-contractible in $H_{j+1} $, and the composition $B^X(p, \delta) \to X \to H_j$ has non-trivial content, which is a contradiction.
\end{proof}

\section{Discrete groups with uniform doubling}\label{Nilsection}

As stated in the Summary, in Sections \ref{Nilsection} to \ref{Rootsection} we prove the following theorem, which is the last part of Theorem \ref{MAIN}.

\begin{theorem}\label{PIII}
    \rm   Let $(X_i, p_i)$ be a sequence of almost homogeneous spaces, converging in the pointed Gromov--Hausdorff sense to a Lie group $X$. Then for large enough $i$ there are subgroups $\Lambda_i \leq \pi_1(X_i)$ with surjective morphisms
\begin{equation*}
\Lambda _i  \to  \pi_1 (X).
\end{equation*}
\end{theorem}

The first step is to obtain the following refinement of Lemma \ref{anil}.

\begin{lemma}\label{anilLie}
\rm Under the hypotheses of Theorem \ref{PIII}, there are discrete groups of isometries $\Gamma_i \leq Iso (X_i)$ with diam$(X_i/\Gamma_i)\to 0$, and $N \in \mathbb{N}$, satisfying that for each $\varepsilon > 0$, there is $M = M(\varepsilon ) \in \mathbb{N} $ such that for all $i \geq M$, and $g \in  \Gamma_i ^{(N)}$, we have $d(gp_i,p_i ) < \varepsilon $.
\end{lemma}

To prove Lemma \ref{anilLie}, we need a result by Alexander Nagel, Elias Stein, and Stephen Waigner about how small balls behave in manifolds with invariant metrics (\cite{NSW}, Section 3).

\begin{theorem}\label{small-balls}
\rm  (Nagel--Stein--Waigner) Let $Y$ be a manifold equipped with a Finsler or sub-Finsler metric, and assume $ Iso (Y)$ acts  transitively. Then the Hausdorff dimension of $Y$ is an integer, and the corresponding Hausdorff measure $\mu$ on $Y$ is positive on open sets and finite on compact sets. Furthermore, there is a constant $C>0$ such that for all $q \in Y$,  $s \in (0, 1]$, one has
\[ \dfrac{\mu  (  B(q, 10s)  )}{ \mu ( B(q, s))}  \leq C .\]
\end{theorem}

\begin{lemma}\label{CCDoubl}
\rm Let $Y$ be a manifold equipped with a Finsler or sub-Finsler metric, and assume $ Iso (Y)$ acts  transitively. Then there is a constant $C > 0$ such that for every $q\in Y$, $r \in (0, 1]$, there are elements $q_1, \ldots , q_m \in Y$, with $m \leq C$ such that
$$ B(q, 4r) \subset \bigcup_{j=1}^m B(q_j , r ). $$
\end{lemma}

\begin{proof}
For $q\in Y$, $r \in (0, 1]$, pick a maximal set $q_1, \ldots , q_m \in Y$ such that
\begin{center}
$q_1, \ldots , q_m   \in B(q, 4r)$
\end{center}
  and the family of balls
\begin{center}
$ \left\{ B\left( q_j, \frac{r}{2} \right) \right\}_{j=1}^m $
\end{center}
 is disjoint. By Theorem \ref{small-balls}, $m \leq C$ for some $C$ independent of $r$. If the balls $\{ B(q_j , r ) \}_{j=1}^m$ do not cover $B(q, 4r) $, then there is $q^{\prime} \in B(q, 4r ) $ with
 $$ \min_{j=1, \ldots, m} d(q^{\prime }, q_j) > r,  $$
contradicting the maximality of the family $\{q_1, \ldots , q_m \}.$
\end{proof}

\begin{proof}[Proof of Lemma \ref{anilLie}:]
Just like in the proof of Lemma \ref{anil}, we construct discrete subgroups $G_i^{\prime}(k)\leq Iso (X_i) $, and integers $N_k, M_k$ such that
\begin{itemize}
\item diam$(X_i/(G_i^{\prime}(k)))\leq 3 N_k \cdot $ diam$ (X_i/G_i)  $
\item If $i \geq M_k$, then  all $g \in \left( G_i^{\prime} (k) \right)^{(N_k)}$ satisfy $d(gp_i,p_i) \leq 8 /k$
\end{itemize}
However, by Theorem \ref{BerestovskiiFinsler} and Lemma \ref{CCDoubl}, $C$ does not depend on $k$, and hence $N : = N_k$ does not depend on $k$ either.  We define $\Gamma_i : = G_i^{\prime}(k)$, where $k$ is the largest integer such that $i \geq M_k$. To verify the conclusion of the lemma, for any positive $\varepsilon $ we take $M(\varepsilon) : = M_k   $ with $k$ satisfying $\varepsilon k \geq 8$.
\end{proof}

\section{Almost translational behavior}\label{FreeSection}

Let $\Gamma_i$ be the sequence of groups given by Lemma \ref{anilLie}, and let $\Gamma_{\alpha}$ be its equivariant ultralimit, which  by Theorem \ref{MZHil},  is a Lie group.  With $N \in \mathbb{N}$ given by Lemma \ref{anilLie}, the normal subgroup $\Gamma_{\alpha}^{(N)}$ is contained in the subgroup $\{ g \in \Gamma_{\alpha } \vert gp=p\}$, so by Lemma \ref{normal-stabilizers}, $\Gamma_{\alpha}^{(N)}$ is trivial.

By Theorem \ref{berestovskii-open}, the connected component of the identity $\Gamma_0$ also acts transitively.  The group $  \{  g \in \Gamma_0 \vert gp=p     \} $   is compact, so by Lemma \ref{compact-nilpotent-1},  it is central in $\Gamma_0$. Thus Lemma \ref{normal-stabilizers} implies that $  \{  g \in \Gamma_0 \vert gp=p     \} $  is trivial, and we can identify $\Gamma_0  \cong X $. In this section, we use commutator estimates similar to the ones in (\cite{BK}, \cite{GrAF}) to prove that $\Gamma_{\alpha}$ is connected, and from that we deduce that the groups $\Gamma_i$ act, in some sense, almost by translations.

\begin{proposition}\label{alpha=x}
\rm $\Gamma_{\alpha}$ is connected.
\end{proposition}

\begin{proof}
Since $\Gamma_0$ acts transitively on $X$, each connected component of $\Gamma_{\alpha}$ does too. This implies that $\Gamma_{\alpha}$ is connected if and only if the group
\[  \Gamma_p : =    \{  g \in \Gamma_{\alpha} \vert gp=p \}       \]
is trivial. To study this group, we require a result by Enrico LeDonne and Alessandro Ottazzi about isometries of nilpotent Lie groups with invariant metrics (\cite{LeDO}, Theorem 1.2).

\begin{theorem}\label{subFInf}
\rm (LeDonne--Ottazzi)  Let $G$ be a nilpotent Lie group equipped with an invariant Finsler or sub-Finsler metric, and $f : G \to G$ an isometry. Then $f$ is smooth, and uniquely defined by its first order data at the identity ($f(e)$, $d_ef$).
\end{theorem}

 By Theorem  \ref{subFInf}, the compact group $\Gamma_p$  consists of diffeomorphisms.  This implies that there is a $\Gamma_p$-invariant inner product $\langle \cdot , \cdot  \rangle_0$ in $T_pX$. Then for each $g \in \Gamma_p$  there is an  $\langle \cdot  , \cdot \rangle_0$-orthonormal basis
$$ a_1, b_1, \ldots , a_{k_1} , b_{k_1}, c_1, \ldots , c_{k_2}, d_1 , \ldots , d_{k_3} \in T_pX $$
and angles
$$\theta_1, \ldots , \theta_{k_1} \in \mathbb{S}^1 \backslash \{ 1 \}$$
 such that the derivative $d_pg : T_pX \to T_pX$ satisfies:
\begin{eqnarray*}
  d_pg (a_j) &=& \cos \theta_j a_j + \sin \theta_j b_j,   \\
 d_pg (b_j) &=   &-\sin \theta_j a_j + \cos \theta_j b_j, \\
  d_pg (c_j)& =& -c_j ,\\
   d_pg(d_j ) & =  & d_j.
\end{eqnarray*}
Assume by contradiction that there exists $g \in \Gamma_p \backslash \{ Id _X\}$, then again by Theorem \ref{subFInf}, $d_pg \neq Id_{T_pX}$, so $k_1 + k_2 > 0$. Let $d_0$ denote the left invariant Riemannian metric in $X$ given by $\langle  \cdot  ,  \cdot \rangle_0$ and  $d_U$ denote the uniform distance with respect to $d_0$.  We deal first with the case $k_1 > 0 $. By the Baker--Cambell--Hausdorff formula, for every $\varepsilon > 0 $ there is $\delta > 0$ such that
\begin{equation}\label{Taylor1}
d_U\left( L_{\exp (\delta a_1)} ,  \exp \circ (  + \delta a_1) \circ \left( \exp^{-1}   \right);  B_{d_0}(p, 100 N 2^N \delta)     \right) < \varepsilon \delta
\end{equation}
and
\begin{equation}\label{Taylor2}
  d_U \left( g, \exp \circ  \left( d_pg \right) \circ \left( \exp^{-1} \right) ;  B_{d_0}( p , 100 N 2^N \delta)    \right)  < \varepsilon \delta .
\end{equation}
By equations \ref{Taylor1} and \ref{Taylor2}, and repeated applications of Proposition \ref{UnifProp}, one can find  $C^{\prime}>0$ such that the step $N$ commutators satisfy that the uniform distance between
\[   [\ldots [ L_{\exp(\delta a_1)}, g ], \ldots ], g ] : B_{d_0}^{X}(p, \delta) \to X \]
and
\[  \exp \circ  [\ldots [ +\delta a_1, d_pg ], \ldots ], d_p g] \circ \left( \exp^{-1}  \right)  : B_{d_0}^{X}(p, \delta) \to X \]
is bounded above by $C^{\prime} \varepsilon \delta$.  However, by direct computation,
$$d_0 \left( \exp \circ  [\ldots [ +\delta a_1, d_pg ], \ldots ], d_pg] \circ \left( \exp^{-1}\right) (p), p \right) = \delta \vert \theta_1 - 1   \vert ^N + o(\delta).$$
 So, if $\varepsilon > 0 $ was chosen small enough depending on $C^{\prime}$, as $\delta \to 0$ one obtains
$$[\ldots [ L_{\exp(\delta a_1)}, g ], \ldots ], g](p) \neq p,$$
contradicting the fact that every step $N$ commutator is trivial. The case $k_2 > 0$ is similar, but using $c_1$ instead of $a_1$.
\end{proof}

By Proposition \ref{alpha=x}, $\Gamma_{\alpha} = \Gamma_0 \cong X$. This means that we can assume the action of $\Gamma_{\alpha}$ on $X$ is given by left multiplications. In order to  translate this information back into the sequence $\Gamma_i$, we need to consider almost morphisms from the groups $\Gamma_i$ to $X$ and to $Iso(X)$.  We define the \textit{holonomy maps} $t : \Gamma_i \to X$ and $\hat{t}: \Gamma _i  \to Iso (X)$ as
\[ t(g):= f_i (g( h_i (p))) ,\text{ }  \hat{t}(g) : = L_{t(g)}.  \]
By the above discussion, for any stable sequence $g_i \in \Gamma_i$, its ultratimit  $g_{\alpha} \in \Gamma_{\alpha}$ coincides with
\[ \lim\limits_{i\to \alpha} \left( f_i \circ g_i \circ h_i \right) =L_{\lim\limits_{i\to \alpha} t(g_i)} . \]
Besides that, for any bounded sequence $x_i \in X$, one has
\[      \lim\limits_{i\to \alpha} L_{x_i} =L_{\lim\limits_{i\to \alpha} x_i}    . \]
Thus we obtain, using Proposition \ref{UnifProp} repeatedly, the following results.

\begin{proposition}\label{holonomy1}
\rm  For any stable sequence $g_i \in \Gamma_i$, the sequence $    \left(  f_i \circ g_i \circ h_i \right) $ is ultraequivalent to the sequence    $\hat{t}(g_i)$.
\end{proposition}

\begin{proposition}\label{Holohomo}
 \rm  For any pair of stable sequences $g_i , g_i ^{\prime} \in \Gamma_i$,  the sequence $  \hat{t}(g_ig_i^{\prime})$ is ultraequivalent to the sequence $\hat{t}(g_i)\hat{t}(g_i^{\prime}) .  $
\end{proposition}

\begin{corollary}\label{holonomy2}
 \rm  For any  pair of stable sequences  $g_i, g_i^{\prime} \in  \Gamma_i , $ we have,
$$  \lim\limits_{i\to \alpha }  \hat{t} (g_ig_i^{\prime}) = \lim\limits_{i\to \alpha }  \hat{t} (g_i) \hat{t}  (g_i^{\prime}) =  \lim\limits_{i\to \alpha }  \hat{t} (g_i) \lim\limits_{i\to \alpha }  \hat{t}  (g_i^{\prime})   . $$
\end{corollary}

\section{Getting rid of the torsion}\label{Torsection}

Now we want to identify and get rid of the torsion elements of $\Gamma_i$. Unfortunately, for $g \in \Gamma_i $, the point $t(g) $ being close or even equal to $p$, may not imply that high powers of $g$ do not ``escape''. This happens  because the definition of $t: \Gamma_i  \to X$ contains an ``error'' coming from the fact that $f_i$ and $h_i$ are not an actual isometries. To deal with the torsion elements, we use the \textit{escape norm} and techniques from \cite{BGT}.

Since $X$ is locally contractible, there is $\varepsilon_0 \in (0,1)$ such that every loop of length $\leq 10^6 \varepsilon_0$ is nullhomotopic. Let $B $ be a small open convex symmetric set in the Lie algebra  $\mathfrak{g} $ of $\Gamma_{\alpha}$ such that
\[  \exp(B )\subset B(p, \varepsilon_0) .  \]
Fix $R >  10^6\varepsilon_0 ,$ and define the sets
\begin{eqnarray*}
\Theta_i & : = & \{ g \in \Gamma_i \vert d(gp_i , p_i ) \leq R    \}  \\
\hat{ A} _i  & : = & \{ g \in \Theta_i  \vert t(g) \in \exp (B)   \} ,\\
 \hat{S}_i  & :=  & \{ g \in \Theta_i  \vert t(g) \in \exp \left( B / 10^5 C^3 \right)   \} , \\
  A_i  &  := & \hat{A}_i \cup \hat{A}_i^{-1} ,\\
    S_i & : = &  \hat{S}_i \cup \hat{S}_i^{-1},
\end{eqnarray*}
 where $C  \in \mathbb{N}$ was obtained from Lemma \ref{CCDoubl}.

\begin{definition}\label{approxgr}
\rm Let $A$ be a finite symmetric subset of a  multiplicative set and $C > 0$. We say that $A$ is a  $C$\textit{-approximate group} if $A^2$ can be covered by $\leq C$ left translates of $A$.
\end{definition}

\begin{definition}
 \rm  Let $A $ be a $C$-approximate group. We say that $A$ is a \textit{strong} $C$-approximate group if there is a symmetric set $S \subset A$ satisfying the following:
\begin{itemize}
\item $\left( \{ asa^{-1} \vert a \in A^4, s \in S\}  \right) ^{10^3C^3} \subset A$.
\item If $g, g^2, \ldots , g^{1000} \in A^{100}$, then $g \in A$.
\item If $g, g^2 , \ldots , g^{10^6 C^3} \in A$, then $g \in S$.
\end{itemize}
\end{definition}
 By the Baker--Campbell--Hausdorff formula, Proposition \ref{holonomy1}, and Corollary \ref{holonomy2}, we see that if $B$ was chosen small enough, for $i$ sufficiently close to $\alpha$, we have
\begin{center}
$\{ asa^{-1} \vert a \in A_i^4, s \in S_i \} \subset S_i^2,$
\end{center}
and all three conditions of a strong global approximate group hold.

\begin{lemma}\label{Strong}
\rm For $i$ sufficiently close to $\alpha$, the set $A_i$, thanks to $S_i$, is a strong $C$-approximate group.
\end{lemma}

\begin{definition}
\rm Let $A $ be a subset of a multiplicative set $G$. For $g\in G$, we define the escape norm as
\begin{center}
$\Vert g \Vert_{A} : = \inf \left\{  \dfrac{1}{m+1} \bigg| \text{ } e, g, g^2, \ldots , g^m \in A   \right\}$.
\end{center}
\end{definition}
In strong approximate groups, the escape norm satisfies really nice properties, which Breuillard, Green, and Tao call the ``Gleason lemmas''.
\begin{theorem} \label{Gleason}
 \rm (Gleason--Breuillard--Green--Tao) Let $A$ be a strong $C$-approximate group. Then for $g_1, g_2, \ldots , g_n \in A^{10}$, we have
\begin{itemize}
\item $\Vert g_1 \Vert_A = \Vert g_1 ^{-1} \Vert _A$.
\item $\Vert g_1 ^k \Vert _A  \leq \vert k \vert \Vert g_1 \Vert_A  $
\item $\Vert g_2g_1g_2^{-1} \Vert_A \leq 10^3 \Vert g_1 \Vert_A$.
\item $\Vert g_1g_2 \cdots g_n \Vert_A \leq O_C\left( \sum_{j=1}^n \Vert  g_j  \Vert_A \right) $.
\item $\Vert [g_1,g_2]\Vert _A \leq O_C\left( \Vert  g_1 \Vert_A \Vert g_2 \Vert_A \right)$.
\end{itemize}
\end{theorem}

\begin{proof}
 The first three properties are immediate. We refer the reader to (\cite{BGT}, Section 8) for a proof of the other two properties.
\end{proof}
Lemma \ref{Strong} and Theorem \ref{Gleason} imply that for $i$ sufficiently close to $\alpha$,
$$ W_i  := \{ g \in A_i \vert   \Vert g \Vert _{A_i}=0 \} $$
is a subgroup of $\Gamma_i$ normalized by $A_i$. By Lemma \ref{short-generators}, for $i$ sufficiently $\alpha$-large, $ W_i  $ is a normal subgroup of $\Gamma_i$ such that for any sequence $w_i \in W_i$, one has
$$  \lim\limits_{i \to \alpha}    t(w_i )  =p.        $$
Therefore, by Lemma \ref{normal-stabilizers}, the quotient map $X_i \to X_i/W_i$ is an $\varepsilon_i$-approximation with $\varepsilon_i \to 0$ as $i \to \alpha$, and
\begin{equation}\label{quotient-gh-close}
\lim\limits_{i \to \alpha} d_{GH} \left( X_i, X_i/W_i \right) =0.
\end{equation}
The quotients   $Z_i := \Gamma_i/W_i $ are particularly useful to us since they satisfy the no-small-subgroup property. Let $Y_i := \hat{\pi} (A_i)$, where $\hat{\pi} : \Gamma_i \to Z_i$ is the standard quotient map. For $[g] \in Y_i \backslash \{  e \},$ we have $\Vert g  \Vert_{A_i}\neq 0$, and therefore $g^m $ is not in $A_i^2 \supset A_i W_i $ for some $m>0$. This implies that $  \hat{\pi} (g^m)= [g]^m $ does not belong to $Y_i$. In other words, every non-trivial element in $Y_i$ eventually ``escapes'' from $Y_i$. We still have the map
\begin{center}
$\overline{t}:\hat{\pi}(\Theta_i) \to X = \Gamma_{\alpha}$
\end{center}  given by
\begin{center}
$\overline{t}\left( [g]\right) := t(g)$.
\end{center}
Of course, to make this map well defined, we have to choose one representative from each class in $ \hat{\pi}(\Theta_i)   $. However, different choices of representatives only change the value of $\overline{t}$ by an error which goes to $0$ as $i \to \alpha$. More precisely, if one considers two sequences $g_i, g_i^{\prime} \in \Theta_i $ with $\hat{\pi}(g_i) = \hat{\pi}(g_i^{\prime}) $ for $\alpha$-large enough $i$, then there is a sequence $w_i \in W_i$ satisfying $ g_i = g_i^{\prime} w_i  $ for $\alpha$-large enough $i$, and by Corollary \ref{holonomy2},
\[ \lim\limits_{i \to \alpha} \hat{t} ( g_i  ) = \lim\limits_{i \to \alpha} \hat{t} ( g_i  ^{\prime})  \hat{t} ( w_i) = \lim\limits_{i \to \alpha} \hat{t} ( g_i  ^{\prime}).  \]
Let $\tilde{X} $ be the universal cover of $X$. By our choice of $B$, for $\alpha$-large enough $i$, and $g \in Y_i^8$,
$$\overline{t}( g  )  \in (\exp (B))^{10} \subset B^X(p, 10 \varepsilon_0) \cong  B^{\tilde{X}}(e, 10 \varepsilon_0) ,$$
and we can think of $\overline{t} $ as a map from $ Y_i^8 $ to $\tilde{X}$. We will denote this map by $\overline{t}_{\tilde{X}} : Y^8_i \to \tilde{X}$.

\section{The nilprogressions}\label{Nilprogsection}

In this section, we apply a short basis procedure by Breuillard, Green, and Tao to find nice subsets in the local groups $Y_i$.

\begin{definition}
\rm  Let $A_i$ be a sequence of finite subsets of multiplicative sets. If there is a $C>0$ such that $A_i$ are local $C$-approximate groups for $i $ sufficiently close to $\alpha$, we say that the algebraic ultraproduct $A= \lim_{i \to \alpha} A_i $ is an \textit{ultra approximate group}. If for $\alpha$-large enough $i$, the approximate groups $A_i$ do not contain non-trivial subgroups, we say that $A$ is an \textit{NSS} (no small subgroups) ultra aproximate group.

 For subsets $A^{\prime}_i \subset A_i^4$ with the property  $(A^{\prime}_i)^4 \subset A_i^4$, we say that the algebraic ultraproduct $A^{\prime}=\lim_{i \to \alpha}   A^{\prime}_i $ is a \textit{sub-ultra approximate group} of $A$ if it is an ultra approximate group, and there is a constant $C^{\prime}\in \mathbb{N}$ such that $A_i$ can be covered by $C_0$ many translates of $A_i^{\prime}$ for $i$ sufficiently close to $\alpha$.

\end{definition}

Let $Y$ be the algebraic ultraproduct $\lim_{i \to \alpha}  Y_i$. By the discussion in the previous section, it is an NSS ultra approximate group. Consider the map
\begin{center}
$\tilde{t} : Y^8 \to X$
\end{center}
given by  the metric ultralimit
\begin{center}
$\tilde{t}( \{  g_i  \} ) := \lim\limits_{i \to \alpha} \overline{t}(g_i)$.
\end{center}
Corollary \ref{holonomy2} implies that $\tilde{t} $ is a homomorphism, but moreover, it is a \textit{good model}, as defined by Ehud Hrushovski \cite{Hr}.
\begin{definition}
\rm Let $A=\lim_{i \to \alpha} A_i$ be an ultra approximate group. A \textit{good Lie model} for $A$ is a connected local Lie group $L$, together with a morphism $\sigma:A^8 \to L $ satisfying:
\begin{itemize}
\item There is an open neighborhood $U_0 \subset L$ of the identity with $U_0 \subset \sigma (A) $ and $\sigma^{-1}(U_0) \subset A$.
\item $\sigma (A)$ is precompact.
\item For $F \subset U \subset U_0$ with $F $ compact and $U$ open, there is an algebraic ultraproduct $A^{\prime}= \lim_{i \to \alpha}  A_i^{\prime}$ of finite sets $A_i^{\prime} \subset A_i$ with $\sigma^{-1}(F ) \subset A^{\prime} \subset \sigma^{-1}(U)$.
\end{itemize}
\end{definition}

\begin{definition}
 \rm Let $B$ be a local group, $u_1, u_2, \ldots , u_r \in B$, and $N_1, N_2, \ldots , N_r $ $\in \mathbb{R}^+$. The set $P(u_1, \ldots , u_r ; N_1, \ldots , N_r)$ is defined as the set of words in the $u_i$'s and their inverses such that the number of appearances of $u_i$ and $u_i^{-1}$ is not more than $N_i$. We say that  $P(u_1, \ldots , u_r ; N_1, \ldots , N_r)$ is well defined if every word in it is well defined in $B$. When that is the case, we call it a \textit{progression of rank} $r$ (a progression of rank $0$ is defined to be the trivial subgroup). We say a progression $P(u_1, \ldots , u_r ; N_1, \ldots , N_r)$  is a \textit{nilprogression in $C_0$-regular form} for some $C_0>0$ if it also satisfies the following properties:

\begin{itemize}
\item  For all $1 \leq i \leq j \leq r$, and all choices of signs, we have
\begin{center}
$  [ u_i^{\pm 1} , u_j^{\pm 1} ]  \in P \left(  u_{j+1} , \ldots , u_r ; \dfrac{C_0N_{j+1}}{N_iN_j} , \ldots ,   \dfrac{C_0N_r}{N_iN_j}  \right).     $
\end{center}
\item The expressions $ u_1 ^{n_1} \ldots u_r^{n_r} $ represent distinct  elements as $n_1, \ldots , n_r$ range over the integers with  $\vert n_1 \vert \leq  N_1/C_0 , \ldots , \vert n_r \vert \leq  N_r/C_0$.
\end{itemize}
For a nilprogression $P$ in $C_0$-regular form, and $\varepsilon \in (0,1)$, it is easy to see that  $P( u_1, \ldots , u_r ; \varepsilon N_1, \ldots , \varepsilon N_r   )$ is also a nilprogression in $C_0$-regular form. We denote it by $\varepsilon P$. We define the \textit{thickness} of $P$ as the minimum of $N_1, \ldots , N_r$ and we denote it by thick$(P)$. The set $\{ u_1 ^{n_1 }\ldots u_r^{n_r} \vert \vert n_i \vert \leq N_i/C _0  \}$ is called the \textit{grid part of }$P$, and is denoted by $G(P)$.

 Let $P_i$ be a sequence of sets. If for $\alpha$-large enough $i$, $P_i$ is a nilprogression of rank $r$ in $C_0$-regular form for some $r \in \mathbb{N}$, $C_0>0$, independent of $i$, we say that the algebraic ultraproduct $ P = \lim_{i \to \alpha}  P_i$ is an \textit{ultra nilprogression of rank $r$ in $C_0$-regular form}. We denote $\lim_{i \to \alpha}  \varepsilon P_i$ as $\varepsilon P$. If $(\text{thick}(P_i))_i$ is unbounded, we say that $P$ is a \textit{non-degenerate ultra nilprogression}. The algebraic ultraproduct $G(P) :=\lim_{i \to \alpha}  G(P_i)$ is called the \textit{grid part of }$P$.
\end{definition}

The main result of this section is the following theorem, which is slightly stronger than (\cite{BGT}, Theorem 9.3).

\begin{theorem}\label{Nilprog}
\rm Let $A=\lim_{i \to \alpha} A_i$ be an NSS ultra approximate group. Assume there is a good Lie model $\sigma: A^8 \to L$. Then $A^4$ contains a nondegenerate ultra nilprogression $P$ of rank $r := dim(L)$ in $C_0$-regular form, with the property that for all standard $\varepsilon \in (0,1)$, there is an open set $U_{\varepsilon} \subset L$ with $\sigma^{-1}(U_{\varepsilon}) \subset G(\varepsilon P)$.
\end{theorem}

\begin{proof}
The proof is done by induction on $r$. In the case $r=0$, $L$ is a trivial group, and necessarily $U_0 = L$. The first property of being a good model implies that $ A^8 = \sigma^{-1} (L)=\sigma^{-1}(U_0)  \subset A  $. Hence for $\alpha$-large enough $i$, $A_i$ is a group, which is trivial by the NSS property, and there is nothing to show. In order to prove the induction step with $r \geq 1$, we are going to follow the construction performed in (\cite{BGT}, Section 9), and use the results they provide

Let $\hat{B}$ be a small open convex symmetric set in $\mathfrak{ l}$, the Lie algebra of $L$.  Let  $A^{\prime \prime \prime} \subset A^{\prime \prime} \subset A^{\prime } \subset A$ be sub ultra approximate groups of $A$ such that
\begin{center}
$   \sigma ^{-1} (\exp (\hat{B} )) \subset A^{\prime} \subset \sigma^{-1} (  \exp ((1.001) \hat{B})    ),     $

$   \sigma ^{-1} (\exp (\delta \hat{B})) \subset A^{\prime \prime } \subset \sigma^{-1} (  \exp ((1.001) \delta \hat{B})    )    , $

$   \sigma ^{-1} (\exp ( \delta  \hat{B} /10)) \subset A^{\prime \prime \prime } \subset \sigma^{-1} (  \exp ((1.001) \delta \hat{B}/10)    ),     $
\end{center}
where $\delta \in (0,1)$ will be chosen later.   Notice that if $\hat{B}$ was chosen small enough, then $A^{\prime} $, $A^{\prime \prime}$, $A^{\prime \prime\prime} $ are strong ultra approximate groups.

Let $u \in A^{\prime } \backslash \{  e \}$ be such that minimizes $ \Vert u \Vert _{A^{\prime}}$ (in this setting, $\Vert \cdot \Vert_{A^{\prime}}$ is a nonstandard real number). Then, by Theorem \ref{Gleason}, if $\delta$ was chosen small enough,  for all $x \in (A^{\prime \prime})^{10}$ we have  $\Vert x \Vert_{A^{ \prime}} \leq 100 \delta $, and
 \begin{center}
 $ \Vert   [u, x] \Vert _{A^{\prime}} = O\left( \Vert u \Vert _{A^{\prime}} \Vert x \Vert _{A^{\prime}} \right)  < \Vert u \Vert _{A^{\prime}}  $.
 \end{center}
Since $\Vert u \Vert_{A^{\prime}}$ was minimal, $u $  commutes with every element in $(A^{\prime \prime })^{10}$. Consequently, if we define
\[Z := \{   u^n   \vert \vert n \vert \leq 1/ \Vert u \Vert _{A^{\prime}}  \} ,\]
then every element of $Z$ will commute with every element of $(A^{\prime \prime })^{10}$. Since $\left( A^{\prime \prime} \right)^6$ is well defined, by Theorem ``local group quotient'' we can form the quotients $A^{\prime \prime} /Z  : = \lim_{i \to \alpha}(A^{\prime \prime }_i/Z_i) $ and $A^{\prime \prime \prime } /Z  : = \lim_{i \to \alpha}(A^{\prime \prime \prime }_i/Z_i) $.

\begin{proposition}
\rm (Breuillard--Green--Tao) The image  $\sigma (Z)$ is of the form $\phi ( [-1,1] )$, with $\phi (t) := \exp (tv)$,  for some non-zero $v$ in  the center of $\mathfrak{ l}$. By choosing a small open neighborhood of the identity $U\subset L$,  we can form the quotient $U/\sigma (Z) $,  and by choosing $\delta $ small enough, one can guarantee that
\begin{itemize}
\item $U/\sigma (Z)$ is a connected local Lie group of dimension $r-1$.
\item $A^{\prime\prime} / Z$ and $A^{\prime\prime\prime}/Z$ are NSS ultra-approximate groups.
\item $\overline{\sigma} \left(A^{\prime\prime }/Z \right)^8 \to U / \sigma (Z)$ is a good model.
\end{itemize}
\end{proposition}
By this proposition, we can apply the induction hypothesis to $A^{\prime \prime \prime}/Z$ and conclude that there is a non-degenerate nilprogression $\overline{P}(\overline{u}_1, \ldots , \overline{ u}_{r-1} ; \overline{N_1}, \ldots , $ $\overline{N}_{r-1}  )$ in $\overline{C}$-regular form such that $\overline{P} \subset (A^{\prime \prime \prime}/ Z)^4 \subset A^{\prime \prime}/Z$ with the property that for all standard $\varepsilon > 0$, there is an open set $V_{\varepsilon} \subset U / \sigma (Z)$ with $( \overline{\sigma})^{-1} (V_{\varepsilon}) \subset G(\varepsilon \overline{P})$. Let $\pi: A^{\prime \prime} \to A^{\prime \prime }/Z$ be the natural projection. To properly ``lift'' $\overline{P}$  to $A^{\prime \prime}$ through $\pi$, we need the following result.
\begin{lemma}\label{lifting}
\rm  (Breuillard--Green--Tao)  For every $w \in A^{\prime \prime }/ Z$, there is $w^{\prime} \in A^{\prime \prime}$ with $\pi (w^{\prime}) =w$, and $\Vert w^{\prime } \Vert _{A^{\prime \prime}  } = O( \Vert   w   \Vert_{A^{\prime \prime}/Z}  )$.
\end{lemma}
Construct $P : =P( u_1, \ldots , u_{r};$ $ N_1, \ldots , N_{r})$, where $u_j \in A^{\prime \prime}$ is a lift of $\overline{u}_j$ that minimizes $\Vert u_j \Vert _{A^{\prime \prime }}$ for $j=1, \ldots , r-1$,
\begin{center}
$N_j : = \delta_0 \overline{N}_j$ for $j=1, \ldots , r-1$,

$u_{r} : = u$, $N_{r }: = \delta_0 / \Vert u \Vert _{A^{\prime \prime}}$.
\end{center}
\begin{proposition}
\rm (Breuillard--Green--Tao) If $\delta_0 >0$ is small enough, then $P$ is a non-degenerate ultra-nilprogression in $C_0$-regular form for some $C_0 > 0$.
\end{proposition}
 The only thing left to prove is that for all $\varepsilon > 0$, there is an open $U_{\varepsilon} \subset L$ such that $\sigma ^{-1}  (U_{\varepsilon}) \subset G( \varepsilon P)$. By contradiction, assume that for some $\varepsilon > 0$, the element $x$ of $A^{\prime \prime }\backslash G( \varepsilon P)$ with minimal norm $\Vert x \Vert _{A^{\prime \prime}}$ satisfies $\sigma (x) = e_L$. If that is the case, $ \overline{\sigma } (x) = e_{L/ \sigma (Z)}$, and by our induction hypothesis, for all standard $\eta >0$, we have $\pi (x) \in G( \eta \overline{P})$. Therefore $x = u_1 ^{n_1} \ldots u_{r} ^{n_r}$, with
\begin{center}
 $\vert n_j \vert \leq \eta \overline{N_j} /\overline{C}$ for $j=1, \ldots , r-1$, $\vert n_{r} \vert \leq 1/ \Vert u_{r } \Vert_{A^{\prime }} $.
\end{center}
Also, from Theorem \ref{Gleason}, Lemma \ref{lifting}, and the fact that $\overline{N}_j = O(1/\Vert   \overline{u}_j \Vert _{A^{\prime \prime }/Z})$, we get

\begin{eqnarray*}
\Vert u_1^{n_1} \ldots u_{r-1}^{n_{r-1}} \Vert _{A^{\prime \prime}} &= & O \left(  \sum_{j=1}^{r-1} \Vert u_j ^{n_j} \Vert_{A^{\prime \prime}}  \right)\\
& = &  O\left( \sum_{j=1}^{r-1} \vert n_j \vert \Vert u_j \Vert_{A^{\prime \prime}} \right) \\
& = & O \left( \eta \sum_{j=1}^{r-1}  \overline{N_j} \Vert \overline{u}_j \Vert_{A^{\prime \prime}/Z} \right) \\
& = & O (\eta).
\end{eqnarray*}
Since $\eta$ was arbitrary, we obtain that $\Vert u_1^{n_1} \ldots u_{r-1}^{n_{r-1}} \Vert _{A^{\prime \prime}}$ is infinitesimal. Using once more Theorem \ref{Gleason},
\begin{center}
$\Vert u_{r} ^{n_{r}} \Vert _{ A^{\prime \prime} } = O(  \Vert x \Vert_{A^{\prime \prime}} + \Vert u_1^{n_1} \ldots u_{r-1}^{n_{r-1}} \Vert _{A^{\prime \prime}}   )   $.
\end{center}
This implies that $   \Vert u_{r } ^{n_{r}} \Vert _{ A^{\prime \prime} }   $ is infinitesimal and $\vert n_{r} \vert = o (N_{r} ) \leq \varepsilon N_{r} / C_0 $. Also, since $\eta$ was arbitrary, $\vert n_j \vert \leq \varepsilon N_j /C_0$ for $j=1, \ldots , r-1$. Therefore $x \in G(\varepsilon P)$, which is a contradiction.
\end{proof}

\begin{remark}\label{strong-basis}
\rm Note that from the proof of Theorem \ref{Nilprog}, the group $L$ is nilpotent and we can assume the basis $\{  l_1, \ldots , l_r \}   $  of $ \mathfrak{ l}$ given by
$$  \exp ( l_j ) = \sigma \left( u_j ^{\left\lfloor   N_j /C_0 \right\rfloor  }   \right)  \text{ for }j= 1, \ldots , r, $$
is a strong Malcev basis.
\end{remark}

 Let $r: = dim (X)$. We conclude this section with the following proposition, obtained by applying Theorem \ref{Nilprog} to the good model $\tilde{t}: Y ^8\to X $.

\begin{proposition}\label{nilprog2}
\rm There is $C_0>0,$ and for each $i \in \mathbb{N}$, elements $u_{1,i}, \ldots , u_{r,i} \in Y_i$, $N_1 (i), \ldots , N_r (i) \in \mathbb{N}$ with $  N_j (i) \xrightarrow{\alpha} \infty $ for each $j = 1, \ldots , r ,$ such that for $i$ close enough to $\alpha$,
\begin{center}
$P_i:=P(u_{1,i} , \ldots , u_{r,i} ; N_1 (i) , \ldots , N_r (i))$
\end{center}
is a nilprogression in $C_0$-regular form contained in $Y_i^4$, and such that for every $\varepsilon , \delta  \in (0, 1)$, there are $\varepsilon_0,  \delta_0 >0$ with
\[ \{ g \in \hat{\pi}(\Theta_i) \vert d( \overline{t}(g), p  ) < \delta _0  \}  \subset G(\varepsilon P_i) \]
\[ G(\varepsilon_0 P_i) \subset  \{ g \in \hat{\pi}(\Theta_i) \vert d( \overline{t}(g), p  ) < \delta \}. \]
\end{proposition}

\section{Malcev theory}\label{Globalsection}

In this section, we use the nilprogressions constructed in Proposition \ref{nilprog2} to build a sequence of simply connected nilpotent Lie groups $H_i$ converging in a suitable sense to $\tilde{X}$. The proof of the following lemma can be found in (\cite{BGT}, Appendix C).

\begin{lemma}\label{DoublingNilprogression}
 \rm Let $r\in \mathbb{N}, C_0>1$, then there exist $M_0, \delta_0 > 0$ such that, for any nilprogression $P$ of rank $r$ in $C_0$-regular form with thick$(P) > M_0$, we have
$$  G(\delta_0 P )^{2}  \subset G(P) . $$
\end{lemma}

Let $\mathfrak{g} $ be the lie algebra of $\tilde{X}$, and let $\delta_0 >0$ be given by Lemma \ref{DoublingNilprogression} with $r,C_0,$ from Proposition \ref{nilprog2}. By Remark  \ref{strong-basis}, we can assume the basis  $\{ v_1, \ldots , v_r \} \subset \mathfrak{g}$ given by
\begin{equation}\label{malcev-basis-construction}
\exp ( v_j) :=   \lim\limits_{i\to \alpha} \overline{t}_{\tilde{X}} \left( u_{j,i}^{\left\lfloor \frac{\delta_0 N_j(i)}{C_0} \right\rfloor} \right)  \text{ for each }j = 1, \ldots , r,
\end{equation}
is a strong Malcev basis, and hence the map  $\psi : \mathbb{R}^r \to \tilde{X}$ given by
 $$  \psi (x_1, \ldots, x_r   ) : =  \exp (x_1 v_1) \ldots \exp (x_r v_r)   $$
is a diffeomorphism.

\begin{lemma}\label{Yiren}
\rm  The group structure $Q: \mathbb{R}^r \times \mathbb{R}^r \to \mathbb{R}^r$ given by
$$ Q(x,y) := \psi^{-1} (  \psi (x) \psi (y) )  $$
is a quasilinear polynomial of degree $\leq d(r)$. We will denote the group $(\mathbb{R}^r, Q)$ as $H$.
\end{lemma}

\begin{proof}
By the Baker--Campbell--Hausdorff formula, after identifying $\mathfrak{g}$ with $\mathbb{R}^r$ via the basis $\{ v_1, \ldots , v_r \}$, the map $\mathbb{R}^r \times \mathbb{R}^r \to \mathbb{R}^r$ given by
$$  (x,y) \to \exp ^{-1} (  \psi (x) \psi (y)  )  $$
is polynomial of degree $\leq r$. Also, by Theorem \ref{simply-connected-nilpotent}, the map $\mathbb{R}^r \to \mathbb{R}^r$ given by
$$x \to \psi ^{-1} ( \exp (x)  )$$
is polynomial of degree bounded by a number depending only on $r$. Therefore the composition is also polynomial of degree $\leq d(r)$. Quasilinearity is immediate from the definition.
\end{proof}

\begin{definition}
\rm Let $P(v_1 , \ldots , v_r ; N_1 , \ldots , N_r)$ be a nilprogression in $C_0$-regular form. Assume $N_j\geq C_0$ for each $j$, and set $\Gamma_P$ to be the abstract group generated by $\gamma_1, \ldots , \gamma_r$ with relations $[\gamma _j , \gamma_k]  =   \gamma_{k+1}^{\beta_{j, k}^{ k+1}} \ldots \gamma_r^{\beta_{j, k}^r} $ whenever $j < k $, where $[v _j , v_k]  =   v_{k+1}^{\beta_{j, k}^{ k+1}} \ldots v_r^{\beta_{j, k}^{ r}} $ and $\vert \beta_{j, k}^{l } \vert \leq \frac{C_0N_l}{N_j N_k}$. We say that $P$ is \textit{good} if  $\Gamma_P$ is isomorphic to a lattice in a simply connected nilpotent Lie group, and each element of $\Gamma _P$ has a unique expression of the form
\begin{center}
$ \gamma_1^{n_1}\ldots \gamma_r^{n_r},  $ with $n_1, \ldots, n_r \in \mathbb{Z}$.
\end{center}
\end{definition}
The proof of the following result can be found in (\cite{Cle}, Section 4.2).

\begin{theorem}\label{Embed}
\rm  (Malcev) Let $r \in \mathbb{N} , C_0 >0 $, and $P(v_1 , \ldots , v_r ;$ $ N_1 , \ldots , N_r)$ a nilprogression in $C_0$-regular form in a group $\Gamma$. If thick$(P)$ is large enough depending on $r$ and $ C$, then $P$ is good and the map $v_j \to \gamma_j$ extends to an embedding $ \sharp : G(P) \to \Gamma_P.$ For $A \subset G(P)$, we will denote its image under this embedding by $A^{\sharp}$.
  Furthermore, there is a quasilinear polynomial group structure (see Definition \ref{quasil})
$$Q: \mathbb{R}^{r}\times \mathbb{R}^r \to \mathbb{R}^r $$
of degree $\leq d(r)$ such that the multiplication in $\Gamma_P$ is given by
\begin{center}
$ \gamma_1^{n_1}\ldots \gamma_r^{n_r} \gamma_1^{m_1}\ldots \gamma_r^{m_r} = \gamma_1^{(Q(n,m))_1}\ldots \gamma_r^{(Q(n,m))_r}   $ for $n,m \in \mathbb{Z}^r.$
\end{center}
$Q$ is called the \textit{Malcev polynomial} of $P$, and $(\mathbb{R}^r, Q)$ the \textit{Malcev Lie group} of $P$. $\Gamma_P$ is isomorphic, via $\gamma_j \to  e_j$, to the lattice $(\mathbb{Z}^r, Q\vert_{\mathbb{Z}^r \times \mathbb{Z}^r} )$.
\end{theorem}

By Proposition \ref{nilprog2} and Theorem \ref{Embed}, for $\alpha$-large enough $i$, the nilprogressions $P_i$ are good with Malcev polynomials $\hat{Q}_i$.  Let $N_0\in \mathbb{N}$ be given by Lemma \ref{PreWell} with $d (r)$ given by lemmas \ref{Yiren} and \ref{Embed}, and define  $\xi : \mathbb{N}\to \mathbb{N}$ as
$$  \xi (n) : = N_0 \left\lfloor \frac{\delta_0 n}{C_0N_0} \right\rfloor.  $$
For $i\in \mathbb{N}$, consider $  \kappa_i : \mathbb{R}^r \to \mathbb{R}^r  $ given by
$$ \kappa_i(x_1, \ldots , x_r) : = (x_1 \xi (N_1 (i)), \ldots ,  x_r \xi (N_r (i)))  .$$
 Let $H_i$ be the group $(\mathbb{R}^r , Q_i)$, where $Q_i : \mathbb{R}^r \times \mathbb{R}^r \to \mathbb{R}^r  $ is the group structure given by
$$  Q_i(x,y) : = \kappa_i^{-1} (\hat{Q}_i ( \kappa_i(x) ,\kappa_i(y)) ) . $$
The following is the main result of this section.

\begin{proposition}\label{Goooooood}
\rm  The sequence of quasilinear polynomial group structures $Q_i$ converges well to $Q$.
\end{proposition}

We define $\Omega  \subset \mathbb{R}^r$ as
$$ \Omega : = \left\{  -1, \ldots,\frac{-1}{N_0}, 0, \frac{1}{N_0}, \ldots , 1    \right\} ^{\times r} . $$
 Consider the maps $\omega_{\alpha} :  \Omega  \to \tilde{X}$ and $\omega_i :  \Omega  \to \Gamma_{P_i}$ defined as $\omega_{\alpha} : = \psi \vert _{ \Omega }$ and
 \begin{center}
 $  \omega_i ( x_1, \ldots, x_r) :=  \gamma_1^{  \xi (x_1 N_1(i))  }\ldots   \gamma_r^{  \xi (x_r N_r(i))  } . $
 \end{center}
 We also define maps $\overline{t}^{\flat } : G(P_i )^{\sharp } \to X$ and $\overline{t}^{\flat }_{\tilde{X}} : G(P_i)^{\sharp} \to \tilde{X}$ as
\begin{center}
$  \overline{t}^{\flat} (  x^{\sharp } ) := \overline{t} (x)$ and $  \overline{t}_{\tilde{X}}^{\flat} (  x^{\sharp } ) := \overline{t}_{\tilde{X}} (x).$
\end{center}
Consider the following diagram.

\begin{displaymath}
  \begin{tikzcd}[column sep=3em]
   \Omega \times \Omega \arrow{r}{ \omega_i } \arrow{d}{ Id} & (G (\delta_0 P_i )^{\sharp})^{\times 2} \arrow{r}{\ast} \arrow{d}{ \overline{t} _{\tilde{X}} ^{\flat}}&  G (P_i )^{\sharp} \arrow{d}{ \overline{t} _{\tilde{X}} ^{\flat} } \arrow{r}{\kappa_i^{-1}}  & \mathbb{R}^r  \arrow{d}{Id} \\
  \Omega \times \Omega \arrow{r}{\omega_{\alpha} } & \tilde{X}\times \tilde{X}  \arrow{r}{\ast }& \tilde{X} \arrow{r}{ \psi^{-1} } &  \mathbb{R}^r
  \end{tikzcd}
\end{displaymath}
The first row of the diagram is the polynomial $Q_i$, while the second row is the polynomial $Q$. Commutativity of the diagram does not hold in general, but it holds in the limit, as the following proposition shows.

\begin{proposition}\label{CD}
\rm  For every $x,y \in \Omega$,
\[  \lim\limits_{i \to \alpha} \kappa_i^{-1} \left(   \omega_i(x) \omega_i(y)   \right)    =   \psi^{-1} (  \omega_{\alpha}(x)\omega_{\alpha}(y))  .\]
\end{proposition}

\begin{proof}
We will first show that for any $x \in \Omega$, we have
\begin{equation}\label{omegas}
\lim_{ i \to \alpha } \overline{t}_{\tilde{X}}^{\flat }\left(  \omega_i (x)   \right) = \omega_{\alpha} (x).
 \end{equation}
Using Equation \ref{malcev-basis-construction} and Corollary \ref{holonomy2}, we obtain
\begin{eqnarray*}
\omega_{\alpha }(x) & = & \exp (x_1 v_1) \ldots \exp (x_r v_r)\\
& = &  \lim_{i \to \alpha} \overline{t}_{\tilde{X}}^{\flat } \left( \gamma_1^{  \xi ( x_1 N_1 (i))   }  \right) \ldots \lim_{i \to \alpha} \overline{t}_{\tilde{X}}^{\flat } \left( \gamma_{r}^{  \xi ( x_r N_r (i))   }  \right)\\
& = & \lim_{i \to \alpha} \overline{t}_{\tilde{X}}^{\flat } (\omega_i(x)).
\end{eqnarray*}
 We then show that for any sequence $x_i^{\sharp} \in G(P_i)^{\sharp}$, we have
\begin{equation}\label{PreCD}
 \psi \left(  \lim\limits_{i \to \alpha} \kappa_i^{-1}(x_i^{\sharp} ) \right) = \lim\limits_{i\to \alpha} \overline{t}_{\tilde{X}}^{\flat} (  x_i^{\sharp}  )   .
\end{equation}
We can decompose the sequence $x_i = u_{1,i}^{p_{1,i}}\ldots u_{r,i}^{p_{r,i}} \in G(P_i)$ as
\begin{center}
$  x_i = x_{1,i}\ldots x_{r,i} , $ with $x_{j,i} = u_{j,i}^{p_{j,i}} \in G(P_i)$.
\end{center}
Then, by Equation \ref{malcev-basis-construction} and Corollary \ref{holonomy2},
\begin{eqnarray*}
 \lim\limits_{i \to \alpha}\overline{t}_{\tilde{X}} (x_i ) & = & \lim\limits_{i \to \alpha} \overline{t}_{\tilde{X}} (x_{1,i}) \ldots \lim\limits_{i \to \alpha} \overline{t}_{\tilde{X}} (x_{r,i})\\
 & = & \exp \left(  \lim\limits_{i \to \alpha} \dfrac{C_0p_{1,i}}{\delta_0N_1(i)} v_1  \right)\ldots \exp \left(  \lim\limits_{i \to \alpha} \dfrac{C_0p_{r,i}}{\delta_0N_r(i)} v_r  \right)\\
 & = & \psi \left( \dfrac{C_0}{\delta_0} \lim\limits_{i \to \alpha} \left( \dfrac{p_{1,i}}{N_1(i)}, \ldots , \dfrac{p_{r,i}}{N_r(i)}   \right) \right) \\
 & = & \psi \left( \lim\limits_{i \to \alpha} \kappa_i^{-1} (  x_i  ) \right) .
\end{eqnarray*}
From equations \ref{omegas} and \ref{PreCD}, we conclude
\begin{eqnarray*}
\omega_{\alpha}(x) \omega_{\alpha}(y) & = & \lim_{i \to \alpha}\overline{t}_{\tilde{X}}^{\flat} (  \omega_i (x)  ) \lim_{i \to \alpha}\overline{t}_{\tilde{X}}^{\flat} (  \omega_i (y)  ) \\
& = & \lim_{i \to \alpha} \overline{t}_{\tilde{X}}^{\flat} (\omega_i (x) \omega_i (y))\\
& = & \psi \left(  \lim\limits_{i \to \alpha} \kappa_i^{-1} \left(   \omega_i(x) \omega_i(y)   \right)    \right).
\end{eqnarray*}
\end{proof}
Proposition \ref{Goooooood} follows from Lemma \ref{PreWell} and Proposition \ref{CD}. By Lemma \ref{Well}, the sequence of Lie algebras of the groups $H_i$  converges well to $\mathfrak{g}$. Consider the morphisms $ \natural : \Gamma_{P_i} \to H_i $ and $\natural : \tilde{X} \to H$ given by  $g^{\natural } : = \kappa_i^{-1}(g)$ for $g \in \Gamma_{P_i}$, and $g^{\natural}: = \psi^{-1}(g) $ for $g \in \tilde{X}$. These identifications allow us to have all these group structures in the same underlying set $\mathbb{R}^r$.

\section{Almost torsion elements}\label{Rootsection}

In this section we finish the proof of Theorem \ref{PIII} by establishing the following result.

\begin{proposition}\label{final}
\rm For $\alpha$-large enough $i$, there are  groups $\Lambda_i \leq \pi_1(X_i)$ with surjective morphisms $\Lambda_i \to \pi_1(X)$.
\end{proposition}
Recall that $Z_i := \Gamma_i / W_i$, and define $q_i : = W_i (p_i) \in X_i / W_i $.  Let $\eta > 0$ be small enough so that for $\alpha$-large enough $i$,
$$ S_i : = \{   g \in Z_i \vert d(g(q_i) , q_i ) < \eta \} \subset G(\delta_0 P_i).  $$
Let $\tilde{Z}_i$ be the abstract group generated by $S_i$, with relations
\begin{center}
$ s= s_1s_2 \in \tilde{Z}_i $ whenever  $ s,s_1, s_2 \in S_i$ and $s=s_1s_2$  in $Z_i$.
\end{center}
Notice that for $\alpha$-large enough $i$, we have $\tilde{Z}_i = \Gamma_{P_i}$, and by Theorem \ref{monodromy}, there is a Galois  $(\eta /3)$-wide covering map $\tilde{X}_i^{\prime} \to X_i/W_i$ whose Galois group is the kernel of the canonical map $\Phi_i : \Gamma_{P_i} \to Z_i$. Proposition \ref{final} will follow from the following result.
\begin{proposition}\label{final2}
\rm For $\alpha$-large enough $i$, there are subgroups $\Lambda_{i}^{\prime} \leq Ker (\Phi_i)$ isomorphic to $\pi_1(X)$.
\end{proposition}
\begin{proof}[Proof of Proposition \ref{final}:]
By Theorem \ref{sormani-cover-copy} and Equation \ref{quotient-gh-close}, for $\alpha$-large enough $i$, there are Galois covering spaces $\tilde{X}_i \to X_i$ with Galois groups $Ker (\Phi_i)$. By Lemma \ref{cover-characterization}, for $\alpha$-large enough $i$, there are surjective morphisms $\rho _i :  \pi_1 (X_i) \to Ker (\Phi_i)$. Proposition \ref{final} is obtained by defining $\Lambda_i : = \rho^{-1}_i( \Lambda_i^{\prime} ) \leq \pi_1(X_i)$, where $\Lambda_i^{\prime}$ are given by Proposition \ref{final2}.
\end{proof}
\begin{remark}\label{phi-locally-injective}
\rm  Notice that if $i$ is $\alpha$-large enough, then for every $g \in \Gamma_{P_i} $ with
$$d ( \Phi_i (g)( q_i) , q_i  )   < \eta ,$$
 there is a unique $w \in G( \delta_0 P_i )^{\sharp}$ such that $gw \in Ker (\Phi_i)$. Also,  $Ker(\Phi_i ) \cap G(P_i)^{\sharp } = \{ e_{\Gamma_{P_i}} \}$.
\end{remark}
\begin{proof}[Proof of Proposition \ref{final2}:]
Let $\Phi :  \tilde{X} \to X$ denote the canonical projection. Then by Lemma \ref{discrete-normal-central},  $Ker (\Phi) \cong \pi_1(X) $ is central, and since $\tilde{X}$ has no torsion, $Ker (\Phi )$ is free abelian. Let $\{ \lambda_1 , \ldots , \lambda_{\ell}   \} $ be a basis of $Ker (\Phi )$ as a free abelian group. Pick $M \in \mathbb{N}$ large enough so  that the $M$-th roots of the $\lambda_j$'s lie in the ball $B^{\tilde{X}}(e, \eta /2)$. For each $j \in \{ 1, \ldots , \ell \}$ pick a sequence
$$ \lambda _j (i) \in G(P_i)^{\sharp} \subset \Gamma_{P_i} $$
 with
 $$  \lim\limits_{i \to \alpha} \overline{t}_{\tilde{X}}^{\flat} (\lambda_j (i)) = \dfrac{\lambda_j}{M}.   $$
 Since $Q_i$ converges well to $Q$, Equation \ref{PreCD} implies that
 \begin{equation}\label{well-lambda}
 \lim\limits_{i \to \alpha} (\lambda_j (i)^{\natural})^M = \lambda_j^{\natural} .
 \end{equation}
Also,  for each $j \in \{ 1, \ldots , \ell \}$ we have
 \begin{eqnarray*}
 \lim\limits_{i \to \alpha} \overline{t} \left( \Phi_i \left(  \lambda_j(i)   \right) ^M  \right)  & = & \left( \lim\limits_{i \to \alpha} \overline{t} \left( \Phi_i \left(  \lambda_j(i)   \right)   \right)\right)^M\\
 & = &  \left( \lim\limits_{i\to \alpha} \overline{t}^{\flat} (   \lambda_j (i) ) \right)^M   \\
 & = & \Phi \left(  \dfrac{\lambda_j}{M}  \right)^M\\
 & = & e_X.
 \end{eqnarray*}
 By Remark \ref{phi-locally-injective}, for $\alpha$-large enough $i$, and all $j \in \{ 1 , \ldots , \ell \}$, there are $w_{j,i}\in G( P_i)^{\sharp}$  such that
 $$  \lambda_j (i)^M w_{j,i} \in Ker (\Phi_i).$$

 Since $Q_i$ converges well to $Q$, we deduce from Equation \ref{well-lambda} that
 $$   \lim\limits_{i \to \alpha} \left[ \lambda_j(i) ^M w_{j,i}\right]^{\natural} =  \lambda_j^{\natural}  , $$
 and hence by Lemma \ref{Quasilinear Continuity},
 $$  \lim\limits_{i \to \alpha} \log_i \left(  \left[ \lambda_j(i) ^M w_{j,i}\right]^{\natural}   \right) = \log (\lambda_j^{\natural}) \text{ for each }j \in \{ 1, \ldots , \ell   \}  , $$
where $\log_i, \log,$ denote the logarithm maps with respect to $H_i$ and $H$, respectively. Therefore for $\alpha$-large enough $i$, the set
$$\left\{ \log_i \left(  \left[ \lambda_1(i) ^M w_{1,i}\right]^{\natural}   \right) , \ldots , \log_i \left(  \left[ \lambda_{\ell}(i) ^M w_{\ell ,i}\right]^{\natural}   \right) \right\}    $$
is linearly independent. Also, for $j,k \in \{ 1, \ldots , \ell \}$,
\begin{eqnarray*}
 \lim\limits_{i \to \alpha}  [ \lambda_j (i)^M w_{j,i},\lambda_k(i) ^M w_{k,i}   ]^{\natural}   &=& \left[  \lim\limits_{i \to \alpha}\lambda_j(i)^Mw_{j,i}, \lim\limits_{i \to \alpha}\lambda_k(i)^Mw_{k,i}   \right]^{\natural}  \\
 & = & \left( \lambda_j\lambda_k\lambda_j^{-1} \lambda_k^{-1} \right)^{\natural} \\
 & = & e_{\tilde{X}}^{\natural}.
\end{eqnarray*}
By Remark \ref{phi-locally-injective}, this implies that for $\alpha$-large enough $i$,
$$  [ \lambda_j (i)^M w_{j,i},\lambda_k(i) ^M w_{k,i}   ]  =e_{\Gamma_{P_n}},$$
and the group
$$   \langle   \lambda_1 (i)^M w_{1,i}, \ldots ,  \lambda_{\ell} (i)^M w_{\ell  , i} \rangle \leq Ker \left( \Phi_i \right)      $$
is a free abelian group of rank $\ell$, hence isomorphic to $ Ker (\Phi) $ and $\pi_1(X)$.
\end{proof}

\begin{proof}[Proof of Theorem \ref{PIII}:] Assume by contradiction that the theorem fails for some sequence $X_i$. After taking a subsequence, we can assume that for no $i$, there is a subgroup $\Lambda_i \leq \pi_1(X_i)$ with a surjective morphism $\Lambda_i \to \pi_1(X)$. This contradicts Proposition \ref{final} for $\alpha$-large enough $i$.
\end{proof}

Metric Geometry (math.MG); Group Theory (math.GR)