%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% %%% Manuscript title - "Mapping class groups of solenoidal manifolds" %%% %%% Author - Steve Hurder, Olga Lukina %%% %%% Start: July 21, 2021 %%% Version: June 6, 2026 %%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \documentclass{amsart} \usepackage{graphicx} \usepackage{amssymb} \usepackage{epstopdf} \usepackage{nicefrac} \usepackage{enumerate} \usepackage{hyperref} \usepackage{float} \usepackage{color} \usepackage{pst-all} \usepackage{tabularx} % \usepackage{coffeestains} \usepackage{graphicx} \input xy \xyoption {all} \DeclareGraphicsRule{.tif}{png}{.png}{`convert #1 `dirname #1`/`basename #1 .tif`.png} \parskip = 6pt \parindent = 0.0in \hoffset=-.7in \voffset=-.7in \setlength{\textwidth}{6in} \setlength{\textheight}{9.1in} \newtheorem{theorem}{THEOREM}[section] \newtheorem{thm}{THEOREM}[section] \newtheorem{conj}[thm]{CONJECTURE} \newtheorem{cor}[thm]{COROLLARY} \newtheorem{definition}[thm]{DEFINITION} \newtheorem{defn}[thm]{DEFINITION} \newtheorem{ex}[thm]{EXAMPLE} \newtheorem{hyp}[thm]{HYPOTHESES} \newtheorem{lemma}[thm]{LEMMA} \newtheorem{problem}[thm]{PROBLEM} \newtheorem{prop}[thm]{PROPOSITION} \newtheorem{quest}[thm]{QUESTION} \newtheorem{remark}[thm]{REMARK} \newtheorem{const}[thm]{CONSTRUCTION} % math notation shortcuts \newcommand{\ds}{\displaystyle} \newcommand{\cN}{{\mathcal N}} \newcommand{\cA}{{\mathcal A}} \newcommand{\cC}{{\mathcal C}} \newcommand{\cD}{{\mathcal D}} \newcommand{\cE}{{\mathcal E}} \newcommand{\cG}{{\mathcal G}} \newcommand{\cH}{{\mathcal H}} \newcommand{\cI}{{\mathcal I}} \newcommand{\cK}{{\mathcal K}} \newcommand{\cL}{{\mathcal L}} \newcommand{\cM}{{\mathcal M}} \newcommand{\cO}{{\mathcal O}} \newcommand{\cP}{{\mathcal P}} \newcommand{\cQ}{{\mathcal Q}} \newcommand{\CO}{{\rm CO}} \newcommand{\cS}{{\mathcal S}} \newcommand{\cT}{{\mathcal T}} \newcommand{\cU}{{\mathcal U}} \newcommand{\cV}{{\mathcal V}} \newcommand{\cW}{{\mathcal W}} \newcommand{\cZ}{{\mathcal Z}} \newcommand{\diam}{{\rm diam}} \newcommand{\dist}{{\rm dist}} \newcommand{\dX}{d_{\fX}} \newcommand{\e}{{\varepsilon}} \newcommand{\fA}{{\mathfrak{A}}} \newcommand{\fD}{{\mathfrak{D}}} \newcommand{\fH}{{\mathfrak{H}}} \newcommand{\fG}{{\mathfrak{G}}} \newcommand{\fK}{{\mathfrak{K}}} \newcommand{\fM}{\mathfrak{M}} \newcommand{\Fix}{{\rm Fix}} \newcommand{\fN}{{\mathfrak{N}}} \newcommand{\fS}{{\mathfrak{S}}} \newcommand{\fT}{{\mathfrak{T}}} \newcommand{\fX}{{\mathfrak{X}}} \newcommand{\fY}{{\mathfrak{Y}}} \newcommand{\fZ}{{\mathfrak{Z}}} \newcommand{\fU}{{\mathfrak{U}}} \newcommand{\G}{\Gamma} \newcommand{\F}{{\mathcal F}} \newcommand{\Ad}{{\rm Ad}} \newcommand{\Aut}{{\rm Aut}} \newcommand{\Homeo}{{\rm Homeo}} \newcommand{\Germ}{{\rm Germ}} \newcommand{\Id}{{\rm Id}} \newcommand{\Iso}{{\rm Iso}} \newcommand{\mH}{{\mathbb H}} \newcommand{\mQ}{{\mathbb Q}} \newcommand{\mR}{{\mathbb R}} \newcommand{\mS}{{\mathbb S}} \newcommand{\mT}{{\mathbb T}} \newcommand{\mZ}{{\mathbb Z}} \newcommand{\oG}{\overline{\Gamma}} \newcommand{\oPhi}{\overline{\Phi}} \newcommand{\oPsi}{\overline{\Psi}} \newcommand{\Perm}{{\rm Perm}} \newcommand{\vp}{{\varphi}} \newcommand{\whe}{\widehat{e}} \newcommand{\whg}{\widehat{g}} \newcommand{\whh}{\widehat{h}} \newcommand{\whk}{\widehat{k}} \newcommand{\whp}{\widehat{p}} \newcommand{\whq}{\widehat{q}} \newcommand{\whx}{\widehat{x}} \newcommand{\why}{\widehat{y}} \newcommand{\whz}{\widehat{z}} \newcommand{\whgamma}{\widehat{\gamma}} \newcommand{\whGamma}{\widehat{\Gamma}} \newcommand{\whLambda}{\widehat{\Lambda}} \newcommand{\whC}{\widehat{C}} \newcommand{\whH}{\widehat{H}} \newcommand{\whG}{\widehat{\Gamma}} \newcommand{\whK}{\widehat{K}} \newcommand{\whM}{\widehat{M}} \newcommand{\whU}{\widehat{U}} \newcommand{\whmZ}{\widehat{\mZ}} \newcommand{\whphi}{\widehat{\phi}} \newcommand{\whPhi}{\widehat{\Phi}} \newcommand{\whPsi}{\widehat{\Psi}} \newcommand{\whUpsilon}{\widehat{\Upsilon}} \newcommand{\whrho}{{\widehat{\rho}}} \newcommand{\whtau}{{\widehat{\tau}}} \newcommand{\whcH}{{\widehat{\cH}}} \newcommand{\whfM}{{\widehat{\fM}}} \newcommand{\wtY}{\widetilde{Y}} \newcommand{\cR}{{\mathcal R}} \newcommand{\whTheta}{{\widehat{\Theta}}} \newcommand{\ovq}{\overline{q}} \newcommand{\oa}{\overline{a}} \newcommand{\ob}{\overline{b}} \newcommand{\oc}{\overline{c}} \newcommand{\og}{\overline{g}} \newcommand{\oh}{\overline{h}} \newcommand{\ok}{\overline{k}} \newcommand{\ox}{\overline{x}} \newcommand{\oy}{\overline{y}} \newcommand{\oz}{\overline{z}} \newcommand{\wha}{\widehat{a}} \newcommand{\whb}{\widehat{b}} \newcommand{\whc}{\widehat{c}} \newcommand{\FM}{{\mathcal F}_{M}} \newcommand{\FfM}{{\mathcal F}_{\fM}} \newcommand{\FP}{{\mathcal F}_{\cP}} \newcommand{\MCG}{{\rm Mod}} \newcommand{\Comm}{{\rm Comm}} \newcommand{\lcm}{{\rm lcm}} \newcommand{\whalpha}{\widehat{\alpha}} \newcommand{\whiota}{{\widehat{\iota}}} \newcommand{\whtheta}{{\widehat{\theta}}} \newcommand{\whpsi}{{\widehat{\psi}}} \newcommand{\whvp}{{\widehat{\varphi}}} \newcommand{\whSigma}{{\widehat{\Sigma}}} \newcommand{\ovh}{{\overline{h}}} \newcommand{\wtzM}{\widetilde{M_0}} \newcommand{\wtgamma}{\widetilde{\gamma}} \newcommand{\wtM}{\widetilde{M}} \newcommand{\wtf}{\widetilde{f}} \newcommand{\wtpi}{{\widetilde{\pi}}} \newcommand\myeq{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny def}}}{=}}} \newcommand\homeo{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny top}}}{\approx}}} \newcommand\mor{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny a}}}{\sim}}} \newcommand\comm{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny c}}}{\sim}}} \newcommand\finind{\mathrel{\leq_{\mbox{\normalfont\footnotesize f}}}} \newcommand\normal{\mathrel{\trianglelefteq_{\mbox{\normalfont\footnotesize f}}}} \begin{document} \title{Mapping class groups of solenoidal manifolds} \thanks{The authors are grateful to Daniel Studenmund for many helpful conversations.} \author{Steven Hurder} \address{Steven Hurder, Department of Mathematics, University of Illinois at Chicago, 322 SEO (m/c 249), 851 S. Morgan Street, Chicago, IL 60607-7045} \email{hurder@uic.edu} \author{Olga Lukina} \address{Olga Lukina, Mathematical Institute, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands} \email{o.lukina@math.leidenuniv.nl} \thanks{Version date: June 6, 2026} \thanks{2020 {\it Mathematics Subject Classification}. Primary: 20E18,20F28 ; Secondary: 20F65,57S25} \thanks{Keywords: Mapping class group, solenoidal manifold, virtual automorphism, abstract commensurator.} \begin{abstract} The goal of this work is to calculate the mapping class group of a solenoidal manifold. We introduce the dynamical commensurator group associated to an odometer action, and show its role in the calculation of the mapping class group. Our results generalize the previous results of Odden for the mapping class group of the universal solenoid over a Riemann surface, and of Bering and Studenmund for the mapping class group of the universal solenoid over a compact aspherical manifold. We include a selection of examples. \end{abstract} \maketitle % \tableofcontents \section{Introduction}\label{sec-intro} Let $\fM$ be a compact connected metric space, and $\Homeo(\fM)$ denote its group of homeomorphisms, equipped with the compact open topology. Let $\Homeo_0(\fM)$ denote the connected component of the identity, which is a closed normal subgroup. The \emph{mapping class group} of $\fM$ is the quotient \begin{equation} \MCG(\fM) = \Homeo(\fM)/\Homeo_0(\fM) ~ . \end{equation} The algebraic group $\MCG(\fM)$ can be calculated explicitly in many cases. For example, when $\fM = \Sigma_g$ is a closed surface of genus $g \geq 0$, then the group $\MCG(\Sigma_g)$ has been extensively studied \cite{FarbMargalit2012}. The goal of this work is to calculate $\MCG(\fM)$ for another class of spaces, the \emph{solenoidal manifolds}. Let $M$ be a compact connected manifold without boundary, and set $\G = \pi_1(M,x)$ for choice of $x \in M$. A \emph{group chain} in $\G$ is a strictly descending chain of subgroups of finite index, $\cG = \{\G = \G_0 \supset \G_1 \supset \G_2 \supset \cdots\}$. A group chain $\cG$ and basepoint $x\in M$ determine a tower of finite index coverings of $M_0 = M$ by closed manifolds: \begin{equation}\label{eq-presentation} \cP_{\cG} \equiv ~ \left\{ M_0 \stackrel{p_1}{\longleftarrow} M_1 \stackrel{p_2}{\longleftarrow} M_2 \stackrel{p_3}{\longleftarrow} \cdots \right\} \end{equation} where $M_0$ is called the base of the tower. The inverse limit space \begin{equation}\label{eq-invlimit} \fM_{\cP} = \lim_{\longleftarrow} ~ \{p_{\ell+1} \colon M_{\ell +1} \to M_{\ell}\} \subset \prod_{\ell \geq 0} ~ M_{\ell} \end{equation} is called a \emph{weak solenoid} by McCord \cite{McCord1965}, or a \emph{solenoidal manifold} by Sullivan \cite{Sullivan2014,Verjovsky2014}. The tower of coverings $\cP_{\cG}$ is said to be a \emph{presentation} for $\fM_{\cP}$. For each $\ell \geq 0$, the coordinate projection $\whq_{\ell} \colon \fM_{\cP} \to M_{\ell}$ is a fibration, where the fiber $\fX_{\ell} = \whq_{\ell}^{-1}(x_{\ell})$ a Cantor space. \begin{problem}\label{prob-basic} Let $\fM_{\cP}$ be a solenoidal manifold. Give an algebraic model for $\MCG(\fM_{\cP})$ which is computable in terms of the topology of $M$ and the algebraic properties of the group chain $\cG$. \end{problem} The approach to this problem, following the works of Odden \cite{Odden2005} and Bering and Studenmund \cite{BeringStudenmund2024}, is to first calculate the \emph{pointed mapping class group} of $\fM_{\cP}$. Fix a basepoint $\whx \in \fM_{\cP}$, and let $\Homeo(\fM_{\cP}, \whx)$ denote the subgroup of $\Homeo(\fM_{\cP})$ which fixes $\whx$. Set \begin{equation} \MCG(\fM_{\cP}, \whx) = \Homeo(\fM_{\cP}, \whx)/\Homeo_0(\fM_{\cP}, \whx) ~ . \end{equation} Then $\MCG(\fM_{\cP})$ is an algebraic extension of $\MCG(\fM_{\cP}, \whx)$, as shown in Section~\ref{sec-normalizer}, so if suffices to develop techniques for the study of $\MCG(\fM_{\cP}, \whx)$. The key idea is to relate $\MCG(\fM_{\cP}, \whx)$ with the abstract commensurator group of $\G = \pi(M,x)$, as in \cite{Odden2005,BeringStudenmund2024}. A \emph{commensurator} for a countable group $\G$ is a pair of finite-index subgroups $H, K \subset \G$ and an isomorphism $\phi \colon H \to K$. Two commensurators $\phi_1 \colon H_1 \to K_1$ and $\phi_2 \colon H_2 \to K_2$ are equivalent, $\phi_1 \sim \phi_2$, if there exists a finite index subgroup $H_3 \subset H_1 \cap H_2$ such that $\phi_1 | H_3 = \phi_2 | H_3$. \begin{defn}\label{def-comm} The collection of all commensurators for $\G$, modulo the equivalence $\sim$, is called the \emph{abstract commensurator group} $\Comm(\G)$. \end{defn} Let $\G' \subset \G$ be a finite index subgroup. Given a commensurator $\phi \colon H \to K$ in $\Comm(\G)$, observe that $\phi \colon H \cap \G' \to K \cap \G'$ is a commensurator in $\Comm(\G')$. The converse clearly holds, hence $\Comm(\G') \cong \Comm(\G)$. Thus, $\Comm(\G)$ can be intuitively viewed as the group of ``germs'' of isomorphisms between finite-index subgroups of $\G$. See \cite{Studenmund2015,Studenmund2024} for surveys by Studenmund of properties and calculations of abstract commensurator groups. The fundamental idea behind the calculations of $\MCG(\fM_{\cP}, \whx)$ is a result from pro-homotopy theory. Mioduszewski showed in \cite{Mioduszewski1963} that maps between inverse limits of polyhedra have a special form, which up to homotopy are a ``zig-zag correspondence'' between the towers of maps. Rogers and Tollefson gave a sharper version of this result in \cite{RT1972b} for inverse limits of covering spaces, and in particular for a homeomorphism $h \in \Homeo(\fM_{\cP}, \whx)$. This result implies that $h$ induces a pointed map between covering spaces of the base $M$, which naturally leads to the role of commensurators in the study of $\MCG(\fM_{\cP}, \whx)$. \begin{thm}\label{thm-chi} Let $\fM_{\cP}$ be a solenoidal manifold with base $M$ defined by a group chain $\cG$ in $\G = \pi_1(M, x)$. Then there is a well-defined characteristic map \begin{equation}\label{eq-chi} \chi \colon \MCG(\fM_{\cP}, \whx) \to \Comm(\G) \ . \end{equation} \end{thm} The construction of the map $\chi$ is given in Section~\ref{sec-char}. In general, the map $\chi$ need not be surjectiive, as given a commensurator $\phi \in \Comm(\G)$ it is in the image of $\chi$ only if it preserves the group chain defining the coverings in $\cP$, up to zig-zag equivalence. The map $\chi$ also need not be injective, as there may be non-trivial $h \in \MCG(\fM_{\cP})$ which act as the identity on a finite index subgroup of $\G$. The strategy for calculating $\MCG(\fM_{\cP})$ is thus to first calculate $\Comm(\G)$, which has been done for many classes of groups \cite{Studenmund2024}. \begin{problem}\label{prob-chi} Determine the image of the charatceristic map $\chi$. Give conditions on the manifold $M$ and group chain $\cG$ which imply that the map $\chi$ injective. \end{problem} There is one case where this program has been carried through, which is for the \emph{universal solenoids}. Let $M$ be a closed connected manifold with fundamental group $\G = \pi_1(M,x)$. The collection of all finite-index subgroups of $\G$ forms a partially ordered set $\cG_u(\G)$, with maps defined by inclusions. Then there is a ``universal'' group chain $\cG_{\nu}(\G) \subset \cG_u(\G)$ which is cofinal, where each $\G_{\ell}$ in $\cG_{\nu}(\G)$ is a characteristic normal subgroup. The \emph{universal solenoid} over $M$ is defined to be $\widehat{M} = \fM_{\cP}$ where $\cP$ is the tower of coverings of $M$ defined by $\cG_{\nu}(\G)$. The fiber of the projection $q_0 \colon \whM \to M$ is the profinite completion $\whG$ of $\G$, and there is a natural \emph{right} action of $\whG$ by deck transformations on $\whM$. For a closed surface $\Sigma_g$ of genus $g \geq 2$, the space $\widehat{\Sigma_g}$ is called the \emph{universal hyperbolic solenoid}. This space was introduced in the works of Biswas, Nag and Sullivan \cite{BNS1996,BiswasNag1998,BiswasNag2000,Sullivan1993} in their studies of the universal Teichm\"{u}ller space of $\widehat{\Sigma_g}$. Odden proved in his thesis the seminal result: \begin{thm}[Odden, \cite{Odden2005}] \label{thm-odden} The map $\chi \colon \MCG(\widehat{\Sigma_g}, \whx) \to \Comm(\G)$ is an isomorphism, and induces an isomorphism $\MCG(\widehat{\Sigma_g}) \cong \Comm(\G) \times \whG$. \end{thm} Let $M$ be a closed aspherical manifold, that is, the universal cover of $M$ is contractible. Let $\whM$ denote the universal solenoid over $M$. The work of Belk and Forrest \cite{BelkForrest2014}, and Bering and Studenmund \cite{BeringStudenmund2024} extended the ideas of Odden to the universal solenoid $\whM$. In place of the group $\MCG(\whM, \whx)$ they consider the group $\cE(\whM, \whx)$ of pointed homotopy self-equivalences of $\whM$. \begin{thm}[Bering \& Studenmund, \cite{BeringStudenmund2024}] \label{thm-BS2024} Assume that $M$ be a closed aspherical manifold, and its fundamental group $\G$ is residually finite, then there is an isomorphism $\chi \colon \cE(\whM, \whx) \cong \Comm(\G)$, and consequently $\cE(\whM) \cong \Comm(\G) \times \whG$. \end{thm} For a general solenoidal manifold $\fM_{\cP}$, the analysis of Problem~\ref{prob-chi} is more subtle. In particular, the solution depends on the dynamical properties of the topological Cantor action $\Phi \colon \G \times X_{\cG} \to X_{\cG}$ defined by the monodromy action of the fibration $\whq_0 \colon \fM_{\cP} \to M_0$. This action is minimal and equicontinuous (see Section~\ref{sec-odometers}), so is an odometer in the sense of \cite{CortezPetite2008,CortezMedynets2016}. Let $(X_{\cG}, \G, \Phi)$ be an odometer. A \emph{dynamical commensurator} at $x \in X_{\cG}$ is a homeomorphism $h_U \colon U \to V$, where $U, V \subset X_{\cG}$ are adapted subsets with $x \in U \cap V$, such that $h_U(x) = x$, and $h_U$ induces an isomorphism $\Theta_U \colon \cH_U \to \cH_V$ of their restricted holonomy actions. Commensurators $h_U \colon U \to V$ and $h_{U'} \colon U' \to V'$ are equivalent if there exists an adapted set $U''$ with $x \in U'' \subset U \cap U'$ such that $h_U|U'' = h'_{U'}|U''$. We write $(h_U,U,V) \comm (h'_{U'},U',V')$. \begin{defn} \label{def-dyncomm} Let $(X_{\cG}, \G, \Phi)$ be an odometer. For $x \in X_{\cG}$, the \emph{dynamical commensurator group} of $(X_{\cG}, \G, \Phi)$ at $x$ is the set of germs of dynamical commensurators, \begin{equation}\label{eq-dyncomm} \Comm(X_{\cG}, \G, \Phi, x) = \{ h \colon U \to V \mid x \in U \cap V\} \slash \comm \ . \end{equation} \end{defn} A dynamical commensurator is the analog of ``Morita equivalence'' in the category of foliated spaces, and correspondingly, $\Comm(X_{\cG}, \G, \Phi, x)$ is the group of pointed Morita equivalences. The importance of this notion comes from the following result, which follows from the results in \cite{CHL2019a}. \begin{thm}\label{thm-charmap} Suppose that $\fM_{\cP}$ and $\fM'_{\cP'}$ are solenoidal manifolds. If $\fM_{\cP}$ and $\fM'_{\cP'}$ are homeomorphic, then their monodromy odometers $(X_{\cG}, \G, \Phi)$ and $(X'_{\cG'}, \G', \Phi')$ are return equivalent. Moreover, for $x \in X_{\cG}$ corresponding to $\whx \in \fM_{\cP}$, there is a well-defined characteristic map \begin{equation} \sigma_{\cP, \whx} \colon \MCG(\fM_{\cP}, \whx) \to \Comm(X_{\cG}, \G, \Phi, x) \ . \end{equation} \end{thm} Given a solenoidal manifold $\fM_{\cP}$ with monodromy action $(X_{\cG}, \G, \Phi)$ and basepoint $\whx \in \fM_{\cP}$, by Theorems~\ref{thm-chi} and \ref{thm-charmap}, there are well-defined maps $\chi$ and $\sigma_{\cP, \whx}$ which form two edges in the diagram \begin{align} \label{eq-diagram} \xymatrix{ & \Comm(\G) \\ \MCG(\fM_{\cP}, \whx) \ar[ru]^{\chi} \ar[rd]^{\sigma_{\cP, \whx}}& {\Big \uparrow } \chi_{\Phi}? \\ & \Comm(X_{\cG}, \G, \Phi, x) } \end{align} Given a group chain $\cG$, the strategy for calculating $ \MCG(\fM_{\cP}, \whx) $ is to show the existence of a map $\chi_{\Phi} \colon \Comm(X_{\cG}, \G, \Phi, x) \to \Comm(\G)$ which makes the diagram \eqref{eq-diagram} commute. \begin{defn}\label{def-regular} An odometer action $(X_{\cG}, \G, \Phi)$ is regular if there exists $x \in X_{\cG}$ and \begin{equation}\label{eq-regular} \chi_{\Phi} \colon \Comm(X_{\cG}, \G, \Phi, x) \to \Comm(\G) \end{equation} such that the diagram \eqref{eq-diagram} commutes, and $\chi_{\Phi}$ is an injection. \end{defn} The notion of a coherent odometer action is given in Definition~\ref{def-coherent}, and is a dynamical property of the action $(X_{\cG}, \G, \Phi)$; see Sections~\ref{sec-odometers} and \ref{sec-dynamics}. Then we have: \begin{thm}\label{thm-injection} If $(X_{\cG}, \G, \Phi)$ is a coherent, locally quasi-analytic and effective odometer, then the action is regular. \end{thm} \begin{cor} \label{cor-nilp} If $\G$ is nilpotent, then an effective odometer action $(X_{\cG}, \G, \Phi)$ is regular. \end{cor} It then remains to show that the map $\sigma_{\cP, \whx}$ is onto. That is, given a class $\xi \in \Comm(X_{\cG}, \G, \Phi, x)$, there exists a homeomorphism $h_{\xi} \in \Homeo(\fM_{\cP}, \whx)$ which is mapped onto $\xi$. This requires two key assumptions, that the action is effective, or equivalently that there is a simply connected leaf in $\fM_{\cP}$, and that the base manifold $M_0$ is strongly Borel, as discussed in Section~\ref{sec-classify}. Section~\ref{sec-normalizer} analyzes the group $\MCG(\fM_{\cP})$ as an extension of $ \MCG(\fM_{\cP}, \whx)$. In Section~\ref{sec-odometers} we introduce the profinite groups $\fD_{\cG} \subset \fG_{\cG}$ associated to the odometer action $(X_{\cG}, \G, \Phi)$. Introduce the group $\fN_{\cG} = \fN_{\fG_{\cG}}(\fD_{\cG})$ which is the normalizer of the subgroup $\fD_{\cG}$ in $\fG_{\cG}$. Let $\og$ denote the image of $g \in \G$ in $\fG_{\cG}$, define $\G_{\fN} = \{ g \in \G \mid \og \in \fN_{\cG} \}$, and introduce the coset space \begin{equation}\label{eq-Gnormalizer} \fZ_{\cG} = \G_{\fN}\backslash \fG_{\cG} \ . \end{equation} Then we show in Section~\ref{sec-normalizer}: \begin{thm}\label{thm-full} Let $\fM_{\cP}$ be a solenoidal manifold. There exists a well-defined surjection \begin{equation}\label{eq-tau} \tau_{\cP} \colon \MCG(\fM_{\cP}) \to \fZ_{\cG} \ . \end{equation} \end{thm} Note that $\G_{\fN}$ need not be normal in $\fN_{\cG}$, so $\fZ_{\cG}$ need not have a group structure. Section~\ref{sec-examples} gives a collection of examples of calculations of $\MCG(\fM_{\cP})$. We recall some results of Kwapisz \cite{Kwapisz2001} in Section~\ref{subsec-vietoris}. For solenoids of higher dimension, we give a variety of examples that illustrate the above results, and extend the conclusions of Theorem~\ref{thm-odden} and \ref{thm-BS2024}. We conclude with a summary of the results concerning the maps in Diagram~\ref{eq-diagram}, in terms of properties of the odometer $(X_{\cG}, \G , \Phi)$ and the group $\G$. \begin{thm} \label{thm-summary} Assume that $M$ is strongly Borel, and the action $(X_{\cG},\G,\Phi)$ is effective. Then for the characteristic map $\chi \colon \MCG(\fM_{\cP}, \whx) \to \Comm(\G)$, we have: \begin{enumerate} \item Suppose that $\cG$ is the universal group chain in $\G$, then $\chi$ is surjective by Theorem~\ref{thm-iso}. That is, given a commensurator $[\phi] \in \Comm(\G)$ there exists $h_{\phi} \in \Homeo(\fM_{\cP}, \whx)$ with $\chi(h_{\phi}) = \phi$.\\ \item Suppose that $\G$ satisfies the unique root property in Definition~\ref{def-uniqueroot} and the action $(X_{\cG},\G,\Phi)$ is coherent, then the map $\rho$ defined in Proposition~\ref{prop-urp} is injective. That is, given $$\phi \in {\rm Image} \{ \Comm_{\Homeo(X_{\cG},x)}(\G) \to \Comm(\G)\} \ , $$ there exists $h_{\phi} \in \Homeo(\fM_{\cP}, \whx)$ with $\chi(h_{\phi}) = \phi$.\\ \item Suppose that $(X_{\cG}, \G , \Phi)$ is coherent and locally quasi-analytic, then $\chi_{\Phi} \colon \Comm(\fX, \G, \Phi, x) \to \Comm(\G)$ is injective by Theorem~\ref{thm-gottalift}. That is, given $$\phi \in {\rm Image} \{ \chi_{\Phi} \colon \Comm(\fX, \G, \Phi, x) \to \Comm(\G) \} \ ,$$ there exists $h_{\phi} \in \Homeo(\fM_{\cP}, \whx)$ with $\chi(h_{\phi}) = \phi$. \end{enumerate} \end{thm} Finally, for a solenoidal manifold not covered by Theorem~\ref{thm-summary}, $\MCG(\fM_{\cP})$ is essentially unknown: \begin{problem} Let $\fM_{\cP}$ be a solenoidal manifold with base $M$. What can be said about the group $\MCG(\fM_{\cP})$ for the case where the monodromy the action $(X_{\cG},\G,\Phi)$ is not regular? \end{problem} Theorems~5.10 and 5.11 in \cite{CHL2019a} give examples of solenoidal manifolds whose monodromy actions are not regular, and such that the map $\sigma_{\cP,\whx} \colon \MCG(\fM_{\cP}, \whx) \to \Comm(X_{\cG}, \G, \Phi, x)$ is not injective. \section{Solenoidal manifolds}\label{sec-solenoids} Let $M$ denote a compact connected manifold without boundary, and $\G = \pi_1(M,x)$ for $x \in M$. Let $\cG = \{\G = \G_0 \supset \G_1 \supset \G_2 \supset \cdots\}$ be a descending chain of subgroups of finite index. The group chain $\cG$ and $x\in M$ determine a tower of finite index coverings by closed manifolds, for $M_0 = M$: \begin{equation}\label{eq-presentation2} \cP_{\cG} \equiv ~ \left\{ M_0 \stackrel{p_1}{\longleftarrow} M_1 \stackrel{p_2}{\longleftarrow} M_2 \stackrel{p_3}{\longleftarrow} \cdots \right\} \ , \end{equation} with basepoints $x_0 = x$, and $x_{\ell} \in M_{\ell}$ such that $p_{\ell +1}(x_{\ell+1}) = x_{\ell}$. The inverse limit space \begin{eqnarray} \fM_{\cP} & \equiv & \varprojlim ~ \{ p_{\ell +1} \colon M_{\ell +1} \to M_{\ell}\} \label{eq-presentationinvlim} \\ & = & \{(x_0, x_1, \ldots ) \in \fM_{\cP} \mid p_{\ell +1 }(x_{\ell + 1}) = x_{\ell} ~ {\rm for ~ all} ~ \ell \geq 0 ~\} ~ \subset \prod_{\ell \geq 0} ~ M_{\ell} ~ \nonumber \end{eqnarray} is given the relative topology, induced from the product (Tychonoff) topology, so that $\fM_{\cP}$ is itself compact and connected. For each $\ell \geq 0$, there is a fibration $\whq_{\ell} \colon \fM_{\cP} \to M_{\ell}$, where each fiber $\fX_{\ell} = \whq_{\ell}^{-1}(x_{\ell})$ a Cantor space. The given manifold $M$ is called the base of the tower, and $\whx = (x_0, x_1, x_2, \ldots) \in \fM_{\cP}$ determines a basepoint in the limit. McCord observed in \cite{McCord1965} that $\fM_\cP$ has a local product structure, and the path-connected components of $\fM_\cP$ define a foliation denoted by $\FP$. That is, $\fM_\cP$ is an $n$-dimensional foliated space in the sense of \cite{MS2006}, for which the leaves of $\F$ are the path connected components of $\fM$, and the local transversals to the foliation are totally disconnected. We recall an elementary result about solenoids. For $\ell \geq 0$, introduce the truncated presentation \begin{equation}\label{eq-presentationell} \cP_{\ell} \equiv ~ \left\{ M_{\ell} \stackrel{p_{\ell+1}}{\longleftarrow} M_{\ell+1} \stackrel{p_{\ell+2}}{\longleftarrow} M_{\ell +2} \stackrel{p_{\ell +3}}{\longleftarrow} \cdots \right\} \ . \end{equation} \begin{lemma}\label{lem-canonical} For all $\ell \geq 0$ there is a canonical homeomorphism $\sigma_{\ell} \colon \fM_{\cP_{\ell}} \cong \fM_{\cP}$. \end{lemma} \proof Given $\why = (y_{\ell}, y_{\ell +1}, y_{\ell +2}, \ldots) \in \fM_{\cP_{\ell}}$ define the shift map on indices, $$\sigma_{\ell}(y_{\ell}, y_{\ell+1}, y_{\ell+2}, \ldots) = (p^{\ell}_0(y_{\ell}), p^{\ell+1}_1(y_{\ell+1}), p^{\ell+2}_2(y_{\ell+2}), \ldots) \in \fM_{\cP} \ , $$ where $p^{\ell'}_{\ell} = p_{\ell+1} \circ \cdots \circ p_{\ell' -1} \circ p_{\ell'} \colon M_{\ell'} \to M_{\ell}$. It is standard that $\sigma_{\ell}$ is a homeomorphism onto. \endproof \section{The characteristic map}\label{sec-char} In this section, we construct the characteristic map $\chi \colon \MCG(\fM_{\cP}, \whx) \to \Comm(\G)$ in Theorem~\ref{thm-chi}. Fix a metric $d_{\fM}$ on $\fM_{\cP}$ compatible with the inverse limit topology. A map $H \colon \fM_{\cP} \times [0,1] \to \fM_{\cP}$ is said to be an $\e$-homotopy if the trace of each point is $\e$-bounded. That is, for all $\why \in \fM_{\cP}$ we have $d_{\fM}(H(\why, s), H(\why, t)) < \e$ for all $s,t \in [0,1]$. We use a fundamental result of Rogers and Tollefson: \begin{thm}\cite[Corollary~5.2]{RT1972b}\label{thm-RT} Let $M$ be a closed connected manifold, and $\fM_{\cP}$ be a solenoidal manifold over $M$ defined by a presentation $\cP$. Given a self-homeomorphism $h \colon \fM_{\cP} \to \fM_{\cP}$ and $\e > 0$, then $h$ is $\e$-homotopic to a map induced by a \emph{shuffle map} of $\cP$. That is, there exists an increasing sequence $i_{\ell} \geq \ell$, and maps $\varphi_{i_\ell} \colon M_{i_{\ell}} \to M_{\ell}$ so that the ``zig-zag'' diagram \eqref{eq-shuffle} commutes \begin{align} \label{eq-shuffle} \xymatrix{ M_{0} & \ar[l] M_{i_0} \ar[ld]^{\varphi_{i_0}}& \ar[l] M_{i_1} \ar[ld]^{\varphi_{i_1}} & \ar[l] M_{i_2} \ar[ld]^{\varphi_{i_2}} & \ar[l] \cdots \\ M_0 & \ar[l] M_1 & \ar[l] M_2 & \ar[l] M_3 & \ar[l]\cdots } \end{align} and the self-map $\whvp \colon \fM_{\cP} \to \fM_{\cP}$ induced by the collection $\{\varphi_{i_{\ell}} \mid \ell \geq 0\}$ is $\e$-homotopic to $h$. Moreover, for each $\ell \geq 0$, the map $\varphi_{i_{\ell}}$ induces a monomorphism between the fundamental groups of $M_{i_{\ell}}$ and $M_{\ell}$ whose image has finite index. \end{thm} We recall notation for the solenoidal manifold $\fM_{\cP}$. For each $\ell \geq 0$, there is the proper covering map $p_0^{\ell} = p_{\ell} \circ \cdots p_1 \colon M_{\ell} \to M_0$, and that $\whq_{\ell} \colon \fM_{\cP} \to M_{\ell}$ is the projection onto the factor $M_{\ell}$ in \eqref{eq-invlimit}. Let $\whx \in \fM_{\cP}$ be a choice of basepoint, and set $x_{\ell} = \whq_{\ell}(\whx) \in M_{\ell}$ and set $\G_0 = \pi_1(M_0, x_0)$. For each $\ell > 0$, $\G_{\ell}$ is the image of $(p_0^{\ell})_{\#} \colon \pi_1(M_{\ell}, x_{\ell}) \to \G_0$, so $\cG = \{\G_{\ell} \mid \ell \geq 0 \}$ is a group chain in $\G_0$. Let $d_M$ denote a Riemannian metric on $M_0$ and let $\delta_0 > 0$ be sufficiently small so that, for all $y \in M_0$, the closed metric ball $B_M(y, \delta_0) \subset M_0$ of radius $\delta_0$ is convex. In particular, $\delta_0$ is less than the injectivity radius of $M_0$. It follows that for each $y \in M$ and $y' \in B_M(y, \delta_0)$ there is an isomorphism $\iota_{y',y} \colon \pi_1(M_0, y') \cong \pi_1(M_0, y)$ induced by concatenation with a geodesic path in $B_M(y, \delta_0)$ from $y'$ to $y$. Finally, let $\e >0$ be sufficiently small so that $\whq_0(B_{\fM}(\why, \e)) \subset B_M(y, \delta_0/3)$ for all $\why \in \whq_0^{-1}(y)$. Given $h \in \Homeo(\fM_{\cP}, \whx)$, we first define $\chi(h) \in \Comm(\G)$. We then show that $\chi(h)$ is independent of choices, and depends only on the basepoint fixed homotopy class of $h$. Let $h \colon \fM_{\cP} \to \fM_{\cP}$ then by Theorem~\ref{thm-RT}, there exists an increasing sequence $i_{\ell} \geq \ell$ and maps $\varphi_{i_\ell} \colon M_{i_{\ell}} \to M_i$ so that the shuffle diagram \eqref{eq-shuffle} commutes, and for the map $\whvp \colon \fM_{\cP} \to \fM_{\cP}$ defined by the maps $\{\varphi_{i_{\ell}} \mid \ell \geq 0\}$, we have that $h$ and $\whvp$ are $\e$-homotopic. Let $\why = \whvp(\whx)$ and set $y_{\ell} = \whq_{\ell}(\why) \in M_{\ell}$. Then we have the diagram: \begin{align} \label{eq-defchi} \xymatrix{ \pi_1( M_{i_0} , x_{i_0}) \ar[d]_{(p_0^{i_0})_{\#}} \ar[r]^{(\vp_{i_0})_{\#}} & \pi_1(M_{0} ,y_0) \ar[r]_{\cong}^{\iota_{y',y}} & \pi_1(M_0 , x_0) \\ \pi_1(M_0 , x_0) & & } \end{align} where $(p_0^{i_0})_{\#} \colon \pi_1( M_{i_0} , x_{i_0}) \to \G_{i_0} \subset \G_0$ is an isomorphism onto its image $\G_{i_0}$. Let $h_{\#} \colon \G_{i_0} \to \G_0$ be the commensurator defined by the inverse of $(p_0^{i_0})_{\#}$ followed by $\iota_{y',y} \circ (\vp_{i_0})_{\#}$. Define $\chi(h) \in \Comm(\G_0)$ to be the commensurator class of $h_{\#}$. Next, we show that $\chi(h)$ is independent of the choice of an approximation to $h$ by an induced map. Suppose there are given two sequences $\{\varphi_{i_\ell} \colon M_{i_{\ell}} \to M_{\ell} \mid \ell \geq 0\}$ and $\{\psi_{j_\ell} \colon M_{j_{\ell}} \to M_{\ell} \mid \ell \geq 0\}$, so that the shuffle diagram \eqref{eq-shuffle} commutes for both. Moreover, assume that the induced maps $\whvp \colon \fM_{\cP} \to \fM_{\cP}$ and $\whpsi \colon \fM_{\cP} \to \fM_{\cP}$ are both $\e$-homotopic to $h$. Thus $\whvp$ and $\whpsi$ are $2\e$-homotopic. Let $\why = \whvp(\whx)$ then set $y_{k} = \whq_{k}(\why) \in M_{k}$ for $k \geq 0$. Likewise, let $\whz = \whpsi(\whx)$ and set $z_{k} = \whq_{k}(\whz) \in M_{k}$ for $k \geq 0$. Choose an index $k_0 > \max\{i_0, j_0\}$. Then we have two maps: \begin{eqnarray*} \Psi_{\whvp} \colon & \fM_{\cP} \stackrel{\whq_{k_0}}{\longrightarrow} M_{k_0} \stackrel{p^{k_0}_{i_0}}{\longrightarrow} M_{i_{0}} \stackrel{\vp_{i_0}}{\longrightarrow} M_0\\ \Psi_{\whpsi} \colon & \fM_{\cP} \stackrel{\whq_{k_0}}{\longrightarrow} M_{k_0} \stackrel{p^{k_0}_{j_0}}{\longrightarrow} M_{j_{0}} \stackrel{\psi_{j_0}}{\longrightarrow} M_0 ~ . \end{eqnarray*} Now, given $\alpha \in \pi_1(M_{k_0}, x_{k_0})$ choose a closed curve $\gamma$ in $M_{k_0}$ with basepoint $x_{k_0}$ representing $\alpha$. Let $\wtgamma$ be the lift of $\gamma$ to a curve in the leaf $L_{\whx}$ in $\fX_{\cP}$ starting at $\whx$ and which covers $\gamma$. The images $\Psi_{\whvp}(\wtgamma)$ and $\Psi_{\whpsi}(\wtgamma)$ in $M_0$ of the curve $\wtgamma$ in $\fM_{\cP}$ are then homotopic and lie within $2\delta_0/3$ of each other. Moreover, by our choice of $\delta_0$, the images of the curves lie in a convex neighborhood of each other, and hence are homotopic. Thus, they determine the same class in $\pi_1(M_0, x_0)$. This implies that the definition of $\chi(h)$ on elements of $\G_{k_0}$ agrees using either approximations $\whvp$ or $\whpsi$ and hence $\chi$ is well-defined. This completes the proof of Theorem~\ref{thm-chi}. The conclusion of Theorem~\ref{thm-chi} can be reformulated in terms of pro-categories. Theorem~\ref{thm-RT} implies that a homeomorphism $h \colon \fM_{\cP} \to \fM_{\cP}$ induces a map $\{ \vp_{i_{\ell}} \}$ in the pro-category of spaces. By the local contractibility of the base $M_0$ the pro-map induces a pro-map in the category of groups, which induces the map $\chi$. This is the approach followed in \cite{BeringStudenmund2024} for the universal solenoidal manifold $\whM$. \section{Generalized odometers} \label{sec-odometers} Let $\cG = \{ \G = \G_0 \supset \G_1 \supset \G_2 \supset \cdots\}$ be a group chain in $\G$. We associate to $\cG$ a left odometer action of $\G$ on a Cantor space $X_{\cG}$, and recall some of its properties as a dynamical system. The action $(X_{\cG}, \G, \Phi)$ is identified with the monodromy action of the foliation $\F_{\cP}$ of the solenoidal manifold $\fM_{\cP}$ associated to a presentation $\cP$ defined by the group chain $\cG$, where $\G = \pi_1(M_0, x_0)$. This correspondence is discussed in detail in \cite[Section~2]{HL2019}. For $\ell \geq 0$ let $X_{\ell} = \G/\G_{\ell}$ as a left $\G$-space. Then $\G$ acts transitively on the left on the finite coset $X_{\ell} = \G/\G_{\ell}$. The projection map of cosets $p_{\ell+1} \colon X_{\ell+1} \to X_{\ell}$ commutes with the left action of $\G$. Introduce the inverse limit space \begin{equation}\label{eq-invcosetlim} X_{\cG} \equiv \lim_{\longleftarrow} ~ \{ p_{\ell +1} \colon X_{\ell +1} \to X_{\ell} \mid \ell \geq 0 \} \subset \prod_{\ell \geq 0} ~ X_{\ell} \ . \end{equation} A point $x = (x_0, x_1, \ldots ) \in X_{\cG}$ if $p_{\ell +1}(x_{\ell +1}) = x_{\ell}$ for all $\ell \geq 0$. The $\G$-action on each factor $X_{\ell}$ induces the $\G$-action on $X_{\cG}$. That is, $g \in \G$ acts coordinate-wise, so $g \cdot x = (g\cdot x_0, g\cdot x_1, \ldots)$. Let $d_{\ell}$ denote the indicator metric on $X_{\ell}$, so $d_{\ell}(y_{\ell} ,z_{\ell}) = 0$ if $y_{\ell}=z_{\ell}$, and $d_{\ell}(y_{\ell},z_{\ell})=1$ for $y_{\ell} \ne z_{\ell} \in X_{\ell}$. This metric is invariant under the $\G$-action on $X_{\ell}$. Define a $\G$-invariant metric $d_X$ on $X_{\cG}$ by setting, for $y,z \in X_{\cG}$, $$d_X(y,z) = \sum_{\ell \geq 0} 2^{-\ell} d_{\ell}(y_{\ell}, z_{\ell}) \ . $$ Let $U_{\ell} = \{ x \in X_{\cG} \mid x_0 =e, \ldots, x_{\ell -1} = e\}$ where $e \in \G$ is the identity. The collection $\{U_{\ell} \mid \ell \geq 0\}$ form a neighborhood basis of the basepoint $x_0 = (e,e,\ldots) \in X_{\cG}$, and the collection of $\G$-translates of this neighborhood basis forms a basis for the topology on $X_{\cG}$, which is a Cantor space. A clopen set $U \subset X_{\cG}$ is \emph{adapted} if $U \ne \emptyset$, and for all $\gamma \in \G$, if $\gamma \cdot U \cap U \ne \emptyset$ then $\gamma \cdot U = U$. It follows that $\G_U = \{\gamma \in \G \mid \gamma \cdot U = U\}$ is a subgroup of finite index in $\G$. Observe that $\G_{U_{\ell}} = \G_{\ell}$. The action of $\G$ on each set $X_{\ell}$ is transitive, so the action of $\G$ on $X_{\cG}$ is minimal. Thus, the action $\Phi \colon \G \times X_{\cG} \to X_{\cG}$ is minimal, transitive and isometric, so is a (generalized) \emph{odometer} in the sense of \cite{CortezPetite2008,CortezMedynets2016}. Associated to an odometer $\Phi \colon \G \times \fX \to X_{\cG}$ is a profinite group $\fG_{\Phi}$ and odometer action $\whPhi$ of $\fG_{\Phi}$ on $\fX$. The group $\fG_{\Phi}$ can be defined as the closure of the image of $\Phi \colon \G \to \Homeo(\fX)$ in the uniform topology, which is called the Ellis semi-group for the action \cite{Ellis1960,Auslander1988}. In this case, $\fG_{\Phi}$ is a group since the action is equicontinuous. There is an alternate, and more useful description as follows. \begin{defn}\label{def-normalcore} The \emph{normal core} of $H \subset \G$ is the largest normal subgroup $C(H) \subset H$. \end{defn} For each subgroup $\G_{\ell}$ its normal core is given by $\ds C_{\ell} = C(\G_{\ell}) = \bigcap_{g \in \G} g \G_{\ell} g^{-1} $ which is identified with the kernel of the action map $\Phi_{\ell} \colon \G_{\ell} \to \Aut(\G/\G_{\ell})$. Let $G_{\ell} = \G/C_{\ell}$ then the inverse limit \begin{equation}\label{eq-invgrplim} \fG_{\cG} \equiv \lim_{\longleftarrow} ~ \{ p_{\ell +1} \colon G_{\ell +1} \to G_{\ell} \mid \ell \geq 0 \} \subset \prod_{\ell \geq 0} ~ G_{\ell} \ , \end{equation} is a profinite group with a left isometric $\fG_{\cG}$-action on $X_{\cG}$ denoted by $\whPhi \colon \fG_{\cG} \times X_{\cG} \to X_{\cG}$. As the action of $\G$ on $X_{\cG}$ is minimal, the action $\whPhi$ of $\fG_{\cG}$ is transitive. Let $\fD_{\cG} = \{ \whg \in \fG_{\cG} \mid \whPhi(\whg)(x_0) = x_0\}$ be the isotropy subgroup of the basepoint $x_0 \in X_{\cG}$. Then there is a $\fG_{\cG}$-equivariant isomorphism $X_{\cG} = \fG_{\cG}/\fD_{\cG}$. For a subgroup $H \subset \G$, let $\whH \subset \fG_{\cP}$ denote the closure of its image in $\fG_{\cG}$. In particular, the closure $\whG_{\ell}$ acts transitively on $U_{\ell}$, hence $U_{\ell} = \whG_{\ell}/\fD_{\cG}$ for all $\ell$, and so $\bigcap_{\ell} \whG_{\ell} = \fD_{\cG}$. There is an alternate definition of $\fD_{\cG}$ as an inverse limit. Consider the quotient $D_{\ell} = G_{\ell}/C_{\ell}$. Since $C_{\ell} $ is a normal subgroup in $G$, and hence also normal in $G_{\ell}$, the quotient $D_{\ell}$ is a subgroup of $G_{\ell} = G/C_{\ell}$. For $\ell' > \ell$ the quotient map $G_{\ell'} \to \G_{\ell}$ induces a homomorphism $\theta^{\ell}_{\ell'} \colon G_{\ell}/C_{\ell} \to G_{\ell'}/C_{\ell'}$. By \cite[Theorem~4.4]{DHL2016a} we then have \begin{equation}\label{eq-discriminant} \cD_{\cG} \cong \lim_{\longleftarrow}\, \left \{\theta^{\ell}_{\ell'} \colon G_{\ell}/C_{\ell} \to G_{\ell'}/C_{\ell'} \right\} \ . \end{equation} The subgroup $\fD_{\cG}$ is \emph{totally not normal} in $\fG_{\cG}$. That is, the largest subgroup of $\fD_{\cG}$ which is normal in $\fG_{\cG}$ is the trivial group by \cite[Corollary~5.4]{DHL2016a}. Consequently, the action ${\rm Adj} \colon \fD_{\cG} \to \Homeo(X_{\cG}, x)$ induced from the adjoint action of $\fD_{\cG}$ on $\fG_{\cG}$ is an injection. \begin{defn} \label{def-isomorphism} Cantor actions $(\fX_1, \G_1, \Phi_1)$ and $(\fX_2, \G_2, \Phi_2)$ are said to be \emph{isomorphic} if there is a homeomorphism $h \colon \fX_1 \to \fX_2$ and group isomorphism $\Theta \colon \G_1 \to \G_2$ so that \begin{equation}\label{eq-isomorphism} \Phi_1(g) = h^{-1} \circ \Phi_2(\Theta(g)) \circ h \in \Homeo(\fX_1) \ \textrm{for all} \ g \in \G_1 \ . \end{equation} \end{defn} Note that when $\fX_1 = \fX_2$ and the map $\Theta \colon \G_1 \to \G_2=\G_1$ is the identity, then the notion of an isomorphism reduces to the notion of an automorphism defined previously. Next, we recall the notion of \emph{return equivalence} of odometers, which is the analog of \emph{Morita equivalence} for the holonomy groupoid of the foliation $\F_{\cG}$ of $\fM_{\cP}$. \begin{defn} \label{def-RE} Odometers $\Phi \colon \G \times \fX \to \fX$ and $\Phi' \colon \G' \times \fX' \to \fX'$ are \emph{return equivalent} if there exists adapted sets $U \subset \fX$ and $U' \subset \fX'$ and homeomorphism $h_U \colon U \to U'$ that induces an isomorphism between the actions of the groups \begin{eqnarray*} \cH_U & = & {\rm Image}\{\Phi_U \colon \G_U \to \Homeo(U)\} \\ \cH'_{U'} & = & {\rm Image}\{\Phi'_{U'} \colon \G'_{U'} \to \Homeo(U')\} \end{eqnarray*} \end{defn} Note that the map $\Phi_U \colon \G_U \to \cH_U$ may have kernel, and likewise for $\Phi'_{U'}$. Thus, a homeomorphism $h_{U} \colon U \to U'$ which conjugates $\cH_U$ with $\cH'_{U'}$ need not induce an isomorphism $\phi_U \colon \G_U \to \G'_{U'}$. Let us recall the following key notions from the introduction. \begin{defn}\label{def-dyncomm} Let $(\fX, \G, \Phi)$ be an odometer action, and $x \in \fX$. \begin{enumerate} \item A \emph{dynamical commensurator} at $x$ is a homeomorphism $h_U \colon U \to V$, where $U$ and $V$ are adapted subsets with $x \in U \cap V$, such that $h_U(x) = x$, and $h_U$ induces an isomorphism $\Theta_U \colon \cH_U \to \cH_V$. \item Commensurators $h_U \colon U \to V$ and $h_{U'} \colon U' \to V'$ are equivalent if there exists an adapted set $U''$ with $x \in U'' \subset U \cap U'$ such that $h_U|U'' = h'_{U'}|U''$. We write $(h_U,U,V) \comm (h'_{U'},U',V')$. \item The \emph{dynamical commensurator group} of $(\fX, \G, \Phi)$ at $x$ is the set of germs of dynamical commensurators, $$ \Comm(\fX, \G, \Phi, x) = \{ h_U \colon U \to V \mid x \in U \cap V , \ h_U \ {\rm commensurates} \ \cH_U , \cH_V\} \slash \comm $$ \end{enumerate} \end{defn} The motivation for this definition comes from the following result and its corollary: \begin{thm}\cite{CHL2019a} \label{thm-inducedmap} Suppose that $\fM_{\cP}$ and $\fM'_{\cP'}$ are weak solenoids. If $\fM_{\cP}$ and $\fM'_{\cP'}$ are homeomorphic, then their monodromy odometers $\Phi \colon \G \times X_{\cP} \to X_{\cP}$ and $\Phi' \colon \G' \times X'_{\cP'} \to X'_{\cP'}$ are \emph{return equivalent}. \end{thm} For a homeomorphism $h \in \Homeo(\fM_{\cP}, \whx)$, the return equivalence induced by $h$ is defined using the holonomy along leafwise paths that start and return in a foliation chart at $\whx$. It follows that the germ of the return equivalence is unchanged by a leafwise homotopy which fixes $\whx$. We thus obtain: \begin{cor}\label{cor-chi} Let $\fM_{\cP}$ be a solenoidal manifold, with monodromy action $(X_{\cG}, \G, \Phi)$. For $\whx \in \fM_{\cP}$, there there is a well-defined map $\sigma_{\cP, \whx} \colon \MCG(\fM_{\cP}, \whx) \to \Comm(X_{\cG}, \G, \Phi, x)$. \end{cor} \section{The Borel Property}\label{sec-classify} Let $\fM_{\cP}$ be the solenoidal manifold constructed from a presentation $\cP_{\cG}$ associated to the group chain $\cG$ in $\G = \pi_1(M, x)$. We investigate the image of the map $\chi \colon \MCG(\fM_{\cP}, \whx) \to \Comm(\G)$, where $\whx \in \fM_{\cP}$ is a choice of basepoint over $x$. \begin{problem}\label{prob-realcom} For a commensurator $\phi \colon H \to K$ for $\G$, give conditions such that $[\phi] \in \Comm(\G)$ is induced from a homeomorphism $h \colon \fM_{\cP} \to \fM_{\cP}$. That is, so that $[\phi] = \chi([h])$. \end{problem} First, recall the suspension construction from the theory of foliations. This is discussed for solenoidal manifolds in \cite[Theorem~3.2]{CHL2019a}, and more generally for foliated spaces in \cite[Section~3.1]{CandelConlon2000}. Let $(X_{\cG}, \G, \Phi)$ denote the odometer associated to $\cG$ in \eqref{eq-invcosetlim}, and let $\fM_{\cP}$ denote the solenoid associated to $\cP_{\cG}$ in \eqref{eq-invlimit}. For each $\ell \geq 0$, the coordinate projection $\whq_{\ell} \colon \fM_{\cP} \to M_{\ell}$ is a fibration, where the fiber $\fX_{\ell} = \whq_{\ell}^{-1}(x_{\ell})$ a Cantor space, and is identified with the closure $U_{\ell} \subset X_{\cG}$ of $\G_{\ell} \subset \G$. Thus the restriction of $\Phi$ yields an odometer action $\Phi_{\ell} \colon \G_{\ell} \times U_{\ell} \to U_{\ell}$. Let $\wtM$ denote the universal covering of $M$ with the right action of $\G$ by deck translations. Define \begin{equation}\label{eq-suspensionfols} \fM_{\Phi_{\ell}} = \wtM \times U_{\ell} / (z \cdot g^{-1}, y) \sim (z , \Phi_{\ell}(g)(y)) ~ {\rm for }~ z \in \wtM , ~ g \in \G_{\ell}, ~ y \in U_{\ell} \end{equation} which is a minimal matchbox manifold. \begin{thm} \label{thm-weaksuspensions} For each $\ell \geq 0$, there is a canonical homeomorphism $\tau_{\ell} \colon \fM_{\Phi_{\ell}} \to \fM_{\cP}$. \end{thm} \proof For all $\ell \geq 0$, there is a natural homeomorphism $\rho_{\ell} \colon \fM_{\Phi_{\ell}} \to \fM_{\cP_{\ell}}$, where $\fM_{\cP_{\ell}}$ is the the truncated solenoid as defined in \eqref{eq-presentationell}. This is a consequence of the lifting property for maps between coverings, as shown in \cite{ClarkHurder2013}. By Lemma~\ref{lem-canonical}, there is a canonical homeomorphism $\sigma_{\ell} \colon \fM_{\cP_{\ell}} \cong \fM_{\cP}$. Then set $\tau_{\ell} = \sigma_{\ell} \circ \rho_{\ell}$. \endproof Next suppose we are given $[\phi] \in \Comm(\G)$, then without loss of generality we can assume that $[\phi]$ is represented by an isomorphism $\phi \colon \G_{\ell} \to \G_{\ell'}$. We want to construct a homeomorphism $h_{\phi} \colon \fM_{\cP} \to \fM_{\cP}$ such that $h_{\phi}(x) = x$, and $\chi([h_{\phi}]) = [\phi]$. By Theorem~\ref{thm-RT} it is necessary to construct homeomorphisms $\overline{\phi} \colon M_{i} \to M_{i'}$ whose maps on fundamental groups are induced by the map $\phi$. Recall that a finite $CW$-complex $Y$ is \emph{aspherical} if it is connected and its universal covering space is contractible. If $Y$ and $Y'$ are aspherical, then an isomorphism $\alpha \colon \pi_1(Y, y) \to \pi_1(Y', y')$ induces a homotopy equivalence $h_{\alpha} \colon Y \to Y'$. Then also recall: \begin{defn}\label{def-toprigid} A closed manifold $N$ is said to be \emph{topologically rigid} if any homotopy equivalence $h \colon M \to N$, where $M$ is a closed manifold, is homotopic to a homeomorphism. \end{defn} \begin{conj}[Borel Conjecture] Every aspherical closed manifold is topologically rigid. \end{conj} \begin{defn}\label{def-stronglyborel} A closed aspherical manifold $M$ is said to be \emph{Borel} if it satisfies the Borel Conjecture. It is said to be \emph{strongly Borel} if every finite covering of $M$ satisfies the Borel Conjecture. \end{defn} \begin{remark}\label{rmk-borelex} The Borel Conjecture has been proven for many classes of aspherical manifolds: \begin{itemize} \item the torus $\mT^n$ for all $n \geq 1$, \item all infra-nilmanifolds, \item closed Riemannian manifolds $Y$ with negative sectional curvatures, \item closed Riemannian manifolds $Y$ of dimension $n \ne 3,4$ with non-positive sectional curvatures, \item all closed 3-manifolds. \end{itemize} \end{remark} The above list is not exhaustive, see \cite[Theorem~6.8]{Luck2012} and also \cite{Luck2009}. Each class of manifolds in Remark~\ref{rmk-borelex} is closed under taking covers, so all of these are also strongly Borel. We now assume that $M$ is a strongly Borel manifold, then the choice of commensurator $\phi$ induces a homeomorphism $\overline{\phi} \colon M_{\ell} \to M_{\ell'}$. This in turn, induces a map $\widehat{\phi} \colon \fM_{\cP_{\ell}} \to \fM_{\cP^{\phi}_{\ell'}}$ where $\cP^{\phi}_{\ell'}$ is the tower associated to the group chain $$\cG_{\ell}^{\phi} = \{\G_{\ell'} = \phi(\G_{\ell}) \supset \phi(\G_{\ell+1}) \supset \phi(\G_{\ell+2}) \supset \cdots \} \ .$$ If the group chain $\cG_{\ell}^{\phi}$ is zig-zag equivalent to $\cG_{\ell'}$, then we have $$h_{\phi} \colon \fM_{\cP} \cong \fM_{\cP_{\ell}} \cong \fM_{\cP^{\phi}_{\ell'}} \cong \fM_{\cP_{\ell'}} \cong \fM_{\cP} \ .$$ Thus, $h_{\phi} \in \Homeo(\fM_{\cG}, \whx)$ and $\chi([h_{\phi}]) = [\phi]$. We summarize these remarks as follows: \begin{thm}\label{thm-iso} Let $M$ be a strongly Borel manifold, with $\G = \pi_1(M, x)$. Let $\cG$ be a group chain, and let $\cP_{\cG}$ be the associated presentation, with basepoint $\whx \in \fM_{\cP}$. Given a commensurator $[\phi] \in \Comm(\G)$ suppose that the conjugate chain $\cG_{\ell}^{\phi}$ is zig-zag equivalent to $\cG_{\ell'}$, then there exists $h_{\phi} \in \Homeo(\fM_{\cG}, \whx)$ such that $\chi(h_{\phi}) = \phi$. \end{thm} \begin{remark}\label{rmk-unique} {\rm Definition~\ref{def-toprigid} does not assert that the homeomorphism $h_{\phi}$ is unique up to isotopy. That is, the isotopy class of $h_{\phi}$ in Theorem~\ref{thm-iso} need not be unique. However, for the special cases of manifolds in the list in Remark~\ref{rmk-borelex}, uniqueness follows from results in \cite{DavisHillman2025}. } \end{remark} The assumption in Theorem~\ref{thm-iso} that the conjugate chain $\cG_{\ell}^{\phi}$ is zig-zag equivalent to $\cG_{\ell'}$ is actually quite strong, and is the point of introducing the dynamical commensurator groups. However, there is one case where this condition is always satisfied. Let $\cG_u(\G)$ denote the collection of all finite-index subgroups, partially ordered by inclusions. Let $[\G:H]$ denote the index of $H$ in $\G$. Then the intersection $N_k = \bigcap_{[\G:H] \leq k} \ H$ is a normal subgroup which is characteristic. Define a normal group chain $\cG_{\nu}(\G) = \{ \G = \G_1 \supset \G_2 \supset \cdots \}$ where $\G_i = N_{k_i}$ is a strictly decreasing subchain. Then for any commensurator $\phi$, we have that $\cG^{\phi}_{\nu}(\G)$ is zig-zag equivalent to $\cG_{\nu}(\G)$. Thus, assuming that $M$ is a strongly Borel manifold, then we obtain $h_{\phi} \in \Homeo(\whM, \whx)$ for the universal solenoid $\whM$ over $M$, such that $\chi(h_{\phi}) = \phi \in \Comm(\G)$. Now consider the case where the presentation $\cP$ is associated to a group chain $\cG$ in $\G$. Given $h_{\phi,U} \in \Comm(X_{\cG}, \G, \Phi, x)$ by Definition~\ref{def-dyncomm} there are adapted sets $x \in U \cap V$ such that $h_{\phi,U}$ induces a map $\Theta_U$ that conjugates the action $\cH_U = \Phi_U(\G_U)$ with the action $\cH_V = \Phi_V(\G_V)$. It is given that $h_{\phi,U}(x) = x$, so if we can show that the map $\Theta_U$ lifts to a commensurator between $\G_U$ and $\G_V$, and hence to an element $[\phi] \in \Comm(\G)$, then it follows from \cite[Theorem~1.4]{DHL2016a} that the group chain $\cG_{\ell}^{\phi}$ is zig-zag equivalent to $\cG_{\ell'}$. Thus, by the constructions above, if $M_0$ is strongly Borel, then there exists $h_{\phi} \in \Homeo(\fM_{\cG}, \whx)$ such that $\chi(h_{\phi}) = \chi_{\Phi}(h_{\phi,U})$ in the diagram below: \begin{align} \label{eq-diagram33} \xymatrix{ & \phi \in \Comm(\G) \\ h_{\phi} \in \Homeo(\fM_{\cP}, \whx) \ar[ru]^{\chi} \ar[rd]^{\sigma_{\cP, \whx}}& {\Big \uparrow } \chi_{\Phi} \\ & h_{\phi,U} \in \Comm(X_{\cG}, \G, \Phi, x) } \end{align} The next step in the analysis of $\MCG(\fM_{\cP})$ is to develop conditions on the group chain $\cG$ which are sufficient to imply that an induced map $\Theta_U \colon \cH_U \to \cH_V$ lifts to a commensurator between $\G_U$ and $\G_V$ and hence to an element $\phi \in \Comm(\G)$. This requires further examinations of the dynamical properties of odometers, their relations to the algebraic properties of $\G$, and various consequences. \section{Odometer dynamics} \label{sec-dynamics} Let $(X_{\cG}, \G, \Phi)$ be an odometer action. The action is \emph{effective} if the action map $\Phi \colon \G \to \Homeo(\fX)$ is injective. For an action defined by a group chain $\cG$, the action is effective if and only if $ \bigcap_{\ell \geq 0} C_{\ell} = \{e\}$ is the trivial group , where $\{C_{\ell} \mid \ell \geq 0\}$ is the normal group chain as defined in Definition~\ref{def-normalcore}. In particular, if the action is effective then $\G$ is residually finite. An action $(\fX,\G,\Phi)$ is said to be \emph{free} if for all $x \in \fX$ and $g \in \G$, $g \cdot x = x$ implies that $g = e$, the identity of the group. Let $\Fix(g) = \{x \in \fX \mid g \cdot x = x \}$, and define the \emph{isotropy set} \begin{equation}\label{eq-isotropy} \Iso(\Phi) = \{ x \in \fX \mid \exists ~ g \in \G ~ , ~ g \ne e ~, ~g \cdot x = x \} = \bigcup_{e \ne g \in \G} \ \Fix(g) \ . \end{equation} \begin{defn} \cite{Boyle1983,BoyleTomiyama1998} \label{def-topfree} $(\fX,\G,\Phi)$ is said to be \emph{topologically free} if $\Iso(\Phi) $ is meager in $\fX$. \end{defn} Note that if $\Iso(\Phi)$ is meager, then $\Iso(\Phi)$ has empty interior. That is, if there exists a non-identity element $g \in \G$ such that $\Fix(g)$ has interior, then the action is not topologically free. The notion of a \emph{quasi-analytic} action, introduced in the works \cite{ALC2009,ALM2016}, is an alternative formulation of the topologically free property. \begin{defn}\label{def-qa} An action $\Phi \colon H \times \fX \to \fX$, where $H$ is a topological group and $\fX$ a Cantor space, is said to be \emph{quasi-analytic} if for each clopen set $U \subset \fX$ and $g \in H$ such that $\Phi(g)(U) = U$ and the restriction $\Phi(g) | U$ is the identity map on $U$, then $\Phi(g)$ acts as the identity on $\fX$. \end{defn} A topologically free action is quasi-analytic. Conversely, the Baire Category Theorem implies that a quasi-analytic effective action of a \emph{countable} group is topologically free \cite[Section~3]{Renault2008}. A local formulation of the quasi-analytic property for odometers was introduced in the works \cite{DHL2016c,HL2019}. \begin{defn} \label{def-LQA} An odometer action $\Phi \colon H \times \fX \to \fX$, where $H$ is a topological group and $\fX$ is a Cantor metric space with metric $\dX$, is \emph{locally quasi-analytic} (or LQA) if there exists $\e > 0$ such that for any non-empty clopen set $U \subset \fX$ with $\diam (U) < \e$, and for any non-empty clopen subset $V \subset U$, if the action of $g \in H$ satisfies $\Phi(g)(V) = V$ and the restriction $\Phi(g) | V$ is the identity map on $V$, then $\Phi(g)$ acts as the identity on all of $U$. \end{defn} The LQA property for odometer actions of profinite groups is used to define \emph{stable} and \emph{wild} actions: \begin{defn} \label{def-stable2} $\Phi \colon \G \times \fX \to \fX$ be an odometer. We say that the action is \emph{stable} if the associated profinite action $\whPhi \colon \fG_{\Phi} \times \fX \to \fX$ is LQA. The odometer is said to be \emph{wild} otherwise. \end{defn} There are examples where the odometer action $\Phi \colon \G \times \fX \to \fX$ is LQA, but the associated profinite action $\whPhi \colon \fG_{\Phi} \times \fX \to \fX$ is wild (see \cite{HL2019}). Also, there exist wild actions of odometers with $\G$ nilpotent (see \cite[Section~5.3]{HL2025b}). The third property of odometer actions is intermediate between the quasi-analytic (topologically free) and locally quasi-analytic conditions. \begin{defn}\label{def-coherent} An odometer $(\fX, \G, \Phi)$ is \emph{coherent} if for every adapted set $U \subset \fX$, the restricted holonomy action map $\Phi_U \colon \G_U \to Homeo(U)$ has finite kernel. \end{defn} Note that if the action $\Phi$ is quasi-analytic, then the kernel of the map $\Phi_U$ is trivial, so the action is coherent. On the other hand, if $\Phi$ is a locally quasi-analytic action, then for $U$ sufficiently small, the image group $\Phi_U(\G_u) \subset \Homeo(U)$ defines a quasi-analytic action on $U$. For example, if $\G$ is a nilpotent group, then an effective $\G$-odometer is quasi-analytic by Proposition~\ref{prop-nilpotentcoherent} below, hence the action is coherent. On the other hand, if $\G$ is a weakly branch group (see for example \cite{LavrenyukNekrashevych2002,Nekrashevych2005}), and $\fX$ is the boundary of the tree on which the group acts, then the odometer action of $\G$ on $\fX$ is neither locally quasi-analytic nor coherent. Next, consider two algebraic properties of a group $\G$ and their relation to the dynamical properties above. First, recall that $g \in \G$ is a \emph{torsion} element if there exists some $n > 0$ such that $\gamma^n = e$, where $e \in \G$ is the identity element. The least such $n > 0$ is called the order of $\Gamma$. Let $\G_{tor} \subset \G$ denote the collection of torsion elements. The group $\G$ is \emph{torsion free} if the identity is the only torsion element. In general, $\G_{tor}$ is not a subgroup. For example, there is the well-known example when $\G = {\rm SL(2, \mZ)}$ then $\G$ is generated by two torsion elements, of order $2$ and $3$. On the other hand, when $\G$ is nilpotent, then $\G_{tor}$ is a subgroup. A profinite completion of a finitely generated, torsion free group $\G$ need not be torsion free, as shown by Lubotzky in \cite{Lubotzky1993}. This is the basis for the construction in \cite[Section 9]{HL2019} of free odometer actions of finitely generated groups which are wild. Further examples of effective odometer actions which are wild are given in \cite[Example~3.3]{HL2025b}. Next, recall a definition from group theory: \begin{defn}[Unique root property] \label{def-uniqueroot} A group $\G$ satisfies the \emph{unique root property} if for any $n\geq 2$ and $g,h \in \G$, $g^n = h^n$ implies $g= h$. \end{defn} This is related to the notion of $\cD$-group, or a \emph{divisible} group, which assumes that in addition, every element of $\G$ has a unique $n^{th}$ root for all $n > 0$. Section~2 of \cite{BartholdiBogopolski2010} gives a series of consequences of the unique root property. For example, if $\G$ has the unique root property, it is immediate that $\G$ is torsion-free. Free groups, torsion-free nilpotent groups, and fundamental groups of closed orientable surfaces have the unique root property (see \cite[Lemma~2.2]{BartholdiBogopolski2010}). The unique root property has consequences for the study of $\Comm(\G)$: \begin{lemma}\cite[Lemma~2.4]{BartholdiBogopolski2010}\label{lem-uinquerootext} Suppose $\G$ satisfies the unique root property, and $H \subset \G$ is of finite index. Then the natural map $\Aut(H) \to \Comm(\G)$ is injective. \end{lemma} Next we give two elementary consequences for the dynamics of odometers. \begin{lemma}\label{lem-URPinj} Let $\G$ have the unique root property, and suppose that the odometer $(\fX, \G, \Phi)$ is coherent. Then for every adapted set $U \subset \fX$, the restricted action map $\Phi_U \colon \G_U \to \Homeo(U)$ is injective. \end{lemma} \proof The kernel of $\Phi_U$ is a finite subgroup of $\G$, so consists of torsion elements. But $\G$ has the unique root property, so it is torsion free, hence $\Phi_U$ is injective. \endproof \begin{lemma}\label{lem-profree} Suppose $(\fX, \G, \Phi)$ is an odometer where $\fX = \fG_{\cG}$ is a profinite completion of $\G$, and the action is by left multiplication. Then the action is free. \end{lemma} \proof Let $g \in \G$ with $\Phi(g)(x) = x$ for some $x \in \fX$. Then for any $y \in \fX$ there exists $h \in \fG_{\cG}$ such that $y = x \cdot h$. Then $\Phi(g)(y) = \Phi(g)(x \cdot h) = \Phi(g)(x) \cdot h = x \cdot h = y$. Thus $\Phi(g)$ is the identity. \endproof Finally, much stronger properties hold for nilpotent odometer actions. Recall that a group $\G$ is \emph{virtually nilpotent} if it contains a finitely-generated nilpotent subgroup $\G' \subset \G$ with finite index. The following result is a consequence of the Noetherian property of $\G$. \begin{thm} \cite[Theorem~1.6]{HL2020} \label{thm-nilpotentLQA} Suppose $(\fX, \G, \Phi)$ is an odometer with $\G$ virtually nilpotent, then the action is locally quasi-analytic. \end{thm} In the case where $\G$ is nilpotent, there is a stronger conclusion: \begin{prop} \label{prop-nilpotentcoherent} If $\G$ is nilpotent, then an odometer $(\fX, \G, \Phi)$ is quasi-analytic. \end{prop} \proof Let $U \subset \fX$ be an adapted set and let $h\in \G_U$ such that $\Phi_U(h)$ is the identity on $U$. We claim that $\Phi(h)$ acts as the identity on $X_{\cG}$. We proceed by induction on the upper central series $$\{e\} = \G_{(0)} \subset \G_{(1)} \subset \cdots \subset \G_{(k)} = \G$$ So $\G_{(1)}$ is the center of $\G$, and $\G_{(i+1)} = \{g \in \G \mid [g,h] \in \G_{(i)} \ \forall h \in \G\}$. Let $g \in \G_{(1)}$, then for $x \in U$, we have $h \cdot g \cdot x = g \cdot h \cdot x = g \cdot x$. Thus $\Phi(h)$ acts as the identity on the union of the clopen sets $\{g \cdot U \mid g \in \G_{(1)} \}$. For $1 \leq i < k$, assume that $\Phi(h)$ acts as the identity on the union of the clopen sets $\{g\cdot U \mid g \in \G_{(i)} \}$. Let $g \in \G_{(i+1)}$ then for $x \in U$, we have $[g,h] = g^{-1}h^{-1}g h \in \G_{(i)}$ and $$h \cdot g \cdot x = h \cdot g \cdot [g,h] \cdot x = h \cdot g \cdot g^{-1}h^{-1}g h \cdot x = g \cdot h \cdot x = g \cdot x$$ Thus, $\Phi(h)$ acts as the identity on the union of the clopen sets $\{g\cdot U \mid g \in \G_{(i+1)} \}$. It follows by finite induction that $\Phi(h)$ acts as the identity on the union of the clopen sets $\{g \cdot U \mid g \in \G\}$, which is all of $\fX$. \endproof Then from the definition of coherent actions in Definition~\ref{def-coherent} we obtain: \begin{cor}\label{cor-nilcoherent} If $\G$ is nilpotent, then an effective odometer $(\fX, \G, \Phi)$ is coherent. \end{cor} By Corollary~\ref{cor-nilcoherent}, for $\G$ nilpotent, an effective odometer $(X_{\cG}, \G, \Phi)$ is quasi-analytic and hence coherent. \section{Realizing commensurators}\label{sec-lifting} We return to the problem of determining when a commensurator $[\phi] \in \Comm(\G)$ is in the image of the characteristic map $\chi \colon \MCG(\fM_{\cP}, \whx) \to \Comm(\G)$. The first approach to this problem uses dynamical properties of the odometer action $(X_{\cG}, \G, \Phi)$ to construct the image of $\chi$. The conclusion is that with sufficient regularity of the odometer action, the calculation of $\MCG(\fM_{\cP}, \whx)$ reduces to the analysis of the germinal groups $ \Comm(\fX, \G, \Phi, x)$. This will be used in the calculations of examples in later sections. The second approach, discussed afterwards, essentially assumes that such a lift exists. The second method appears in the literature, and we contrast it with the following result, which is a restatement of Theorem~\ref{thm-injection}. \begin{thm}\label{thm-gottalift} Let $\Phi \colon \G \times \fX \to \fX$ be an effective, coherent and locally quasi-analytic odometer. Let $x \in \fX$. Then there exists an injection $$\chi_{\Phi} \colon \Comm(\fX, \G, \Phi, x) \to \Comm(\G)$$ such that diagram \eqref{eq-diagram} commutes. \end{thm} \proof Let $h \colon U \to V$ with $h(\whx) = \whx$, and $h_*$ conjugates the images $\cH_U =\Phi_U(\G_U) \subset \Homeo(U)$ with $\cH_{V} =\Phi_{V}(\G_V) \subset \Homeo(V)$. We require the following: \begin{lemma}\label{lem-lifting} Let $\Phi \colon \G \times \fX \to \fX$ be an effective and coherent odometer action, and let $U \subset \fX$ be an adapted set. Then there exists a finite index subgroup $\G_U' \subset \G_U$ such that the restriction $\Phi_U \colon \G_U' \to \Homeo(U)$ is injective. \end{lemma} \proof First note that the action map $\Phi \colon \G \to \Homeo(\fX)$ is injective, and $\G_U \subset \G$ has finite index. The coherent assumption implies that $K_U = \ker \{ \Phi_U \colon \G_U \to \Homeo(U)\} \subset \G$ is a finite group. Let $U' \subset U$ be adapted and sufficiently small such that $K_U$ acts effectively on the finite quotient space $\G/\G_{U'}$. Let $C_{U'} = \ker \{ \Phi_{U'} \colon \G \to \Homeo(\G/\G_{U'}) \}$ which is a normal subgroup with finite index, and $K_U \cap C_{U'} = \{1\}$. Then $\G'_U = C_{U'} \cap \G_U$ has finite index in $\G$, and the restriction $\Phi_U \colon \G'_U \to \Homeo(U)$ is injective. \endproof So by Lemma~\ref{lem-lifting}, there exists $\G'_{U} \subset \G_U$ with finite index such that $\Phi_U \colon \G'_U \to \Homeo(U)$ is injective. Similarly, the map $\Phi_V \colon \G'_V \to \Homeo(V)$ has finite kernel, and there exists $\G'_{V} \subset \G_V$ with finite index such that $\Phi_V \colon \G'_V \to \Homeo(V)$ is injective. Now set \begin{equation} \G''_U = \Phi_U^{-1} \{ \Phi_U(\G'_U) \cap h_*^{-1}(\Phi_V(\G'_V)) \} \end{equation} which has finite index in $\G$. Then $\vp = \Phi_V^{-1} \circ h_* \circ \Phi_U \colon \G''_U \to \G''_V$ is a commensurator. Define $\chi_{\Phi}[h,U,V] = [\vp]$ where $[\vp]$ is the equivalence class of the map $\vp$. The class $[\vp]$ is independent of the germinal class of $h$ by the construction. \endproof There is an alternate approach to analyzing the image of $\chi$. Introduce the \emph{relative commensurator} group of $\Phi(\G)$ in $\Homeo(X_{\cG})$. For $x \in X_{\cG}$: \begin{equation}\label{eq-relcomm} \Comm_{\Homeo(X_{\cG},x)}(\G) = \{h \in \Homeo(X_{\cG}, x) \mid h \colon \Phi(H) \cong \Phi(K); H,K \subset_f \G\} \ . \end{equation} That is, require that the isomorphism $\phi$ between $H,K \subset \G$ is induced by a homeomorphism of $X_{\cG}$. If $(X_{\cG}, \G, \Phi)$ is effective, then given $h \in \Comm_{\Homeo(X_{\cG},x)}(\G)$, the induced map between the images $\Theta_h \colon \Phi(H) \to \Phi(K)$ lifts to a commensurator $\phi_h \colon H \to K$. In this case, we then have $\Comm_{\Homeo(X_{\cG})}(\G) \subset \Comm(\G)$, and every commensurator in the image of this inclusion induces a zig-zag map on the group chain $\cG$. \begin{prop}\label{prop-urp} There is a natural map: \begin{equation} \rho \colon \Comm_{\Homeo(X_{\cG},x)}(\G) \to \Comm(\fX, \G, \Phi, x) \ . \end{equation} If $\G$ has the unique root property, and the action on $X_{\cG}$ is coherent, then $\rho$ is injective. \end{prop} \proof The map $\rho$ is defined by restricting a homeomorphism $h \colon X_{\cG} \to X_{\cG}$ to its germ at $x$. Assume that $\G$ has the unique root property, and the action on $X_{\cG}$ is coherent, then by Lemma~\ref{lem-URPinj} the map $\Phi$ is injective. It follows that the image $\Phi(\G) \subset \Homeo(X_{\cG})$ also has the unique root property. Now suppose that $h, h' \in \Comm_{\Homeo(X_{\cG},x)}(\G) $ have the same germ at $x$, say for an adapted clopen set $x \in U$. Recall that $\Theta_h \colon \cH_U \to \cH_V$ denotes the map induced by $h$ in Definition~\ref{def-RE}, and similarly for $\Theta_{h'}$. Then they induce the same map on the image of $\G_U$ in $\Homeo(U)$, so $\Theta_{h} = \Theta_{h'}$. Again by Lemma~\ref{lem-URPinj}, the map is $\Phi_U$ is injective, so they induce the same maps on $\G_U$ which we again denote by $\Theta_{h}$ and $\Theta_{h'}$. Given $g \in \G$ there is some $n > 0$ such that $g^n \in \G_U$. Thus $$h(g)^n = h(g^n) = h'(g^n) = h'(g)^n$$ and thus $h(g) = h'(g)$. As $\Phi$ is injective, $h$ and $h'$ induce the same map on $\G$, and as the action of $\G$ on $X_{\cG}$ is minimal, this implies that $h=h'$. \endproof R\"over showed in \cite[Theorem 1.2]{Rover2002} that $\Comm(\G) \cong \Comm_{\Homeo(\fX,x)}(\G)$, when $\G$ is weakly branch and $\fX$ is the boundary of a tree on which $\G$ acts. This identification is used to calculate $\Comm(\G)$ in various cases. However, weakly branch groups are not torsion free, so the proof of Proposition~\ref{prop-urp} does not apply. \section{Normalizer actions} \label{sec-normalizer} In this section, we develop the relation between the groups $\MCG(\fM_{\cP})$ and $\MCG(\fM_{\cP}, \whx)$. The action of $\Homeo_0(\fM_{\cP})$ is transitive on the leaf of $\F_{\cP}$ containing $\whx$, so determining this relation reduces to an algebraic problem as discussed below. Recall that $\fG_{\cG}$ is the profinite group associated to the group chain $\cG$ in $\G$ as given by in \eqref{eq-invgrplim}, and $\fD_{\cG} = \{ \whg \in \fG_{\cG} \mid \whPhi(\whg)(x_0) = x_0\}$ is the isotropy subgroup of the basepoint $x_0 \in X_{\cG}$, so that there is a $\fG_{\cG}$-equivariant isomorphism $X_{\cG} = \fG_{\cG}/\fD_{\cG}$. The fiber $\fX_0 = \whq^{-1}(x_0)$ is identified with $X_{\cG}$ and $\whx$ is identified with $x_0$. Recall the seminal result of Fokkink and Oversteegen \cite{FO2002}, as reformulated in \cite{ClarkHurder2013}. \begin{thm} The solenoidal manifold $\fM_{\cP}$ is homogeneous if and only if $\fD_{\cG} = \{\whe\}$. \end{thm} If $\fD_{\cG}$ is trivial, then $X_{\cG} = \fG_{\cG}$ is a profinite group, and acts transitively of the leaf space of $\F_{\cP}$ via the identification in \eqref{eq-suspensionfols} for $\ell=0$, so $\Homeo(\fM_{\cP})$ acts transitively on $\fM_{\cP}$. The converse direction is more subtle to prove, but in essence it follows from a well-known result for finite covering spaces \cite[Corollary~7.3]{Massey1967}. In the following, we extend this classical result to solenoidal manifolds. We first consider the special case when $h \in \Homeo(\fM_{\cP})$ maps the basepoint $\whx$ into the fiber $\fX_0$. Introduce the group $\fN_{\cG} = \fN_{\fG_{\cG}}(\fD_{\cG})$ which is the normalizer of $\fD_{\cG} \subset \fG_{\cG}$. \begin{prop} \label{prop-pronormalizer} Let $h \in \Homeo(\fM_{\cP})$ with $\why = h(\whx) \in \fX_0$. Then there exists $\whg \in \fN_{\cG}$ with $\whg \cdot \whx = \why$. \end{prop} \proof Let $h \in \Homeo(\fM_{\cP})$ with $\why = h(\whx) \in \fX_0$. Then by a small isotopy of $h$ supported in a foliated chart about $\whx$, we can assume there is an open neighborhood $\whx \in U \subset \fX_0$ with $h(U) \subset \fX_0$. Identify $\fX_0 \cong X_{\cG} \cong \fG_{\cG}/\fD_{\cG}$ so that $U$ is an open neighborhood of $x_0$ and $h(U) \subset X_{\cG}$ is an open neighborhood of $y_0 = h(x_0)$, and $\fG_{\cG}$ acts transitively on the left on $X_{\cG}$. Let $\whg \in \fG_{\cG}$ be such that $\whg \cdot x_0 = y_0$. We show that $\whg^{-1} \cdot \whk \cdot \whg \in \fD_{\cG}$ for all $\whk \in \fD_{\cG}$, and hence $\whg \in \fN_{\cG}$. Recall that $U_{\ell}$ is the adapted neighborhood of $x_0$ with $\G_{U_{\ell}} = \G_{\ell}$, and the collection $\{U_{\ell} \mid \ell > 0\}$ is a neighborhood basis at $x_0$. Then $\{\whg \cdot U_{\ell} \mid \ell > 0\}$ is a neighborhood basis of $y_0$. Recall that $\whG_{\ell}$ is the closure of $\G_{\ell}$ in $\fG_{\cG}$, and acts transitively on $U_{\ell}$, hence $U_{\ell} = \whG_{\ell}/\fD_{\cG}$ for all $\ell$, and so $\bigcap_{\ell} \whG_{\ell} = \fD_{\cG}$. Let $\whk \in \fD_{\cG}$. Then there exists a sequence $\{k_{\ell} \in \G_{\ell} \mid \ell > 0\}$ such that $\ds \lim_{\ell \to \infty} \ok_{\ell} = \whk^{-1}$ where $\ok_{\ell} \in \whG_{\ell}$ is the image of $k_{\ell}$. Choose $j_0> 0$ such that $\whg \cdot U_{j_0} \subset h(U)$. Then choose $i_0$ such that $h(U_{i_0}) \subset \whg \cdot U_{j_0}$. Set $U_{j_0}' = h(U_{i_0})$ which is an adapted set. The map $h$ induces a return equivalence as in Definition~\ref{def-RE}, so there is an induced isomorphism $\Theta \colon \cH_{U_{i_0}} \to \cH_{U_{j_0}'}$, where \begin{eqnarray*} \cH_{U_{i_0}} & = & {\rm Image}\{\Phi_{U_{i_0}} \colon \G_{U_{i_0}} \to \Homeo(U_{i_0})\} \\ \cH'_{U_{j_0}'} & = & {\rm Image}\{\Phi_{U_{j_0}'} \colon \G_{U_{j_0}'} \to \Homeo({U_{j_0}'})\} \ . \end{eqnarray*} Let $j_1 \geq j_0$ so that for $\ell \geq j_1$ we have $k_{\ell} \in \G_{U_{j_1}'}$. Then there exists $k'_{\ell} \in \G_{U_{i_0}}$ such that $\Theta(\Phi_{U_{i_0}}(k'_{\ell})) = \Phi_{U_{j_0}'}(k_{\ell})$. Then we have \begin{equation} h(k'_{\ell} \cdot x_0) = k_{\ell} \cdot h(x_0) = k_{\ell} \cdot \whg \cdot x_0 \ . \end{equation} Now let $\ell \to \infty$, so in the limit we get \begin{equation} \whg \cdot x_0 = h(x_0) = \whk^{-1} \cdot h(x_0) = \whk^{-1} \cdot \whg \cdot x_0 \end{equation} and so $\whg^{-1} \cdot \whk \cdot \whg \cdot x_0 = x_0$. Since $\fD_{\cG}$ is to isotropy group at $x_0$ we obtain that $\whg^{-1} \cdot \whk \cdot \whg \in \fD_{\cG}$ for all $\whk \in \fD_{\cG}$, as was to be shown. \endproof Note that while the adjoint induced map ${\rm Adj} \colon \fD_{\cG} \to \Homeo(X_{\cG}, x_0)$ is always injective, its restriction to a map ${\rm Adj}_{\ell} \colon \fD_{\cG} \to \Homeo(U_{\ell}, x_0)$ may have kernel. This behavior underlies the definition of wild actions in \cite{HL2019}, and necessitates the choices of the pre-images $k'_{\ell}$ in the proof above. Now consider the general case when $h \in \Homeo(\fM_{\cP})$ with $\why = h(\whx)$. Let $L_{\why} \subset \fM_{\cP}$ denote the leaf containing $\why$. Then there exists a leafwise path $\sigma \colon [0,1] \to L_{\why}$ with $\sigma(0) = \why$ and $\sigma(1) = \why_{\sigma} \in \fX_0$. Then by Proposition~\ref{prop-pronormalizer} there exists $\whg_{\sigma} \in \fN_{\cG}$ with $\why_{\sigma} = \whg_{\sigma} \cdot \whx$. Suppose that $\tau \colon [0,1] \to L_{\why}$ with $\tau(0) = \why$ and $\tau(1) = \why_{\tau} \in \fX_0$. Then again by Proposition~\ref{prop-pronormalizer}, there exists $\whg_{\tau} \in \fN_{\cG}$ with $\why_{\tau} = \whg_{\tau} \cdot \whx$. Observe that the concatenation of the paths, $\omega = \tau \star \sigma^{-1} \colon [0,1] \to L_{\why}$ satisfies $\omega(0), \omega(1) \in \fX_0$ and so descends to a closed path in $M_0$ hence defines a class $[\omega] \in \pi_1(M_0, x) = \G$. Moreover, we have that for the left action $\whPhi \colon \G \times \fG_{\cG} \to \fG_{\cG}$, then $[\omega] \cdot \whg_{\sigma} = \whg_{\tau}$. Thus the loop $\omega$ defines an element of the normalizer, $\overline{[\omega]} = \whg_{\tau} \whg_{\sigma}^{-1} \in \fN_{\cG}$. In other words, given $h \in \Homeo(\fM_{\cP})$, the fiber translation on $X_{\cG}$ induced by $h$ is only well-defined up to the left action on $\fG_{\cG}$ of \begin{equation}\label{eq-Gnormalizer} \G_{\fN} = \{ g \in \G \mid \og \in \fN_{\cG} \} \end{equation} where $\og$ denotes the image of $g \in \G$ in $\fG_{\cG}$. Introduce the coset space \begin{equation}\label{eq-Gnormalizer33} \fZ_{\cG} = \G_{\fN}\backslash \fG_{\cG} \ . \end{equation} Note that $\G_{\fN}$ need not be normal in $\fN_{\cG}$, so $\fZ_{\cG}$ need not have a group structure. Note that the path $\omega$ can be realized as the trace of an isotopy $\Omega_t \in \Homeo_0(\fM_{\cP})$, where $\Omega_t$ is defined by the usual construction of sliding along the path $\omega(t)$ in a tubular neighborhood of $\omega$. That is, $\Omega_t(\whg_{\sigma}) = \omega(t)$ for $0 \leq t \leq 1$. It follows that if $h, h' \in \Homeo(\fM_{\cG})$ are isotopic, then the translational element in $\fN_{\cG}$ they define is well-defined as a coset in $\fZ_{\cG} = \G_{\fN}\backslash \fG_{\cG}$. Thus we obtain an analog of Theorem~4.13 and related results by Odden in \cite[Section~4.3]{Odden2005}: \begin{thm}\label{thm-structure} Let $\fM_{\cP}$ be a solenoidal manifold with basepoint $\whx \in \fM_{\cP}$. Then there is a well-defined surjection of sets \begin{equation} \tau_{\cP} \colon \MCG(\fM_{\cP}) \to \fZ_{\cG} \ . \end{equation} \end{thm} \proof Given $h \in \Homeo(\fM_{\cP})$ let $\whg_{\sigma} \in \fN_{\cG}$ be the translation element defined by $\why = h(\whx) = \whg_{\sigma} \cdot \whx$ as above. Let $\tau_{\cP}(h) = [\whg_{\sigma}] \in \fZ_{\cG}$ be the class it determines. Then by the above, $\tau_{\cP}(h)$ is well-defined, and is an invariant of the isotopy class of $h$. The fact that $\tau_{\cP}$ is a homomorphism follows from the definition of $\whg_{\sigma}$ using the path lifting property of the projection $\whq_0 \colon \fM_{\cP} \to M_0$ restricted to the leaves of $\F_{\cP}$. \endproof \begin{cor} Let $\fM_{\cP}$ be a solenoidal manifold with basepoint $\whx \in \fM_{\cP}$. Suppose that the normalizer $\fN_{\cG} = \fD_{\cG}$, then $\MCG(\fM_{\cP}) = \MCG(\fM_{\cP}, \whx)$. \end{cor} \section{Examples}\label{sec-examples} The abstract commensurator group $\Comm(\G)$ has been calculated for a wide variety of groups. (See for example \cite{Studenmund2024}.) For such $\G$, the calculation of $\MCG(\fM_{\cP}, \whx)$ is reduced to determining which commensurators $\phi \in \Comm(\G)$ asymptotically preserve the group chain $\cG$ defining $\cP$. Then $\phi$ defines an element $h_{\phi, U} \in \Comm(X_{\cG}, \G, \Phi, x)$ with $\chi_{\Phi}(h_{\phi, U}) = \phi$ in Diagram~\ref{eq-diagram33}. If the action $(X_{\cG}, \G, \Phi)$ satisfies the hypotheses of Theorem~\ref{thm-gottalift} and the manifold $M_0$ satisfies the strong Borel Property, as in Remark~\ref{rmk-borelex}, then the class $h_{\phi, U}$ is in the image of $\sigma_{\cP, \whx}$ in Diagram~\eqref{eq-diagram33}. \subsection{Vietoris Solenoids} \label{subsec-vietoris} A 1-dimensional solenoid has base manifold $\mS^1$, and so we observe that $\Comm(\mZ) \cong \mQ^*$ the group of invertible rational numbers. Given a group chain in $\mZ$, the problem is then to determine when multiplication by $\xi = a/b \in \mQ^*$ asymptotically preserves the group chain. We briefly recall the results, which are folklore, and described by Kwapisz in \cite{Kwapisz2001}. Choose an infinite collection of integers $\vec{m} = \{ m_{\ell} > 1 \mid 1 \leq \ell < \infty\}$. For each $\ell$, let $p_{\ell} \colon \mS^1 \to \mS^1$ be a covering map of degree $m_{\ell}$. Let $\fS_{\vec{m}}$ be the inverse limit of these maps. The {Steinitz} number associated to $\vec{m}$ is the formal infinite product \begin{equation}\label{eq-steinitzorder} \xi(\vec{m}) = {\rm lcm} \{ m_1 m_2 \cdots m_{\ell} \mid \ell > 0\} \ , \end{equation} where ${\rm lcm}$ denotes the least common multiple of the collection of integers. A Steinitz number $\xi$ can be uniquely written as the formal product over the set of primes $\Pi$, \begin{equation} \xi = \prod_{p \in \Pi} ~ p^{\chi_{\xi}(p)} \ , \end{equation} where the \emph{characteristic function} $\chi_{\xi} \colon \Pi \to \{0,1,\ldots, \infty\}$ counts the multiplicity with which a prime $p$ appears in the infinite product $\xi$. \begin{defn}\label{defn-type} Two Steinitz numbers $\xi$ and $\xi'$ are said to be \emph{asymptotically equivalent} if there exists finite integers $m, m' \geq 1$ such that $m \cdot \xi = m' \cdot \xi'$, and we then write $\xi \mor \xi'$. The equivalence class of $\xi$ is called its \emph{type}, and denoted by $\tau[\xi]$. \end{defn} Then we have: \begin{thm}[Bing \cite{Bing1960}, McCord \cite{McCord1965}, Fokkink and Oversteegen \cite{FO2002}] \label{thm-onedimSol} Let $\fM$ be an orientable 1-dimensional solenoid. Then there exists $\vec{m}$ such that there is a homeomorphism $\fM \cong \fS_{\vec{m}}$. Moreover, solenoids $\fS_{\vec{m}}$ and $\fS_{\vec{m}'}$ are homeomorphic if and only if their types are equal, $\tau[\vec{m}] = \tau[\vec{m}']$. \end{thm} Kwapisz calculated the group $\MCG(\fS_{\vec{m}})$ for arbitrary type $\tau(\vec{m})$ in \cite{Kwapisz2001}. We recall three examples. Let $\cG_u(\mZ)$ be the universal group chain, and $\widehat{\mS^1}$ the resulting universal solenoid over $\mS^1$. Then for every non-zero $a \in \mZ$, multiplication by $a$ maps the chain into itself, so we obtain a homeomorphism $h_a \in \Homeo(\widehat{\mS^1} , \whx)$. Thus, $\MCG(\widehat{\mS^1}, \whx ) \cong \mQ^*$. The profinite completion $\whmZ$ acts on the right on $\widehat{\mS^1}$, so we obtain $\MCG(\widehat{\mS^1}) \cong \mQ^* \times \whmZ$. For the second example, let $\vec{p} = \{1 < p_1 < p_2 < \cdots \}$ be an infinite sequence of distinct primes, and $\cG_{\vec{p}}$ the corresponding group chain in $\mZ$. Then there is no $a \in \mZ^*$ other than $\pm 1$ which preserves $\cG_{\vec{p}}$, hence the group chain is rigid. Thus, $\MCG(\fS_{\vec{p}}, \whx ) \cong \{\pm 1\}$ and so $\MCG(\fS_{\vec{p}}) \cong \mZ_{\vec{p}}$. Finally, choose a prime $p > 1$ and let $\cG_{\whp}$ be the group chain formed by the subgroups $\G_{\ell} = p^{\ell} \mZ \subset \mZ$. Then only multiplication by a power of $p$ maps the group chain into itself, hence $\MCG(\fS_{\whp}, \whx ) \cong \mZ$ and $\MCG(\fS_{\whp}) \cong \mZ \times \mZ_{\whp}$. The calculation of $\MCG(\fS_{\vec{m}})$ for all other collections of integer sequences $\vec{m}$ gives similar results which are analogous to these calculations. See \cite{Kwapisz2001} for detailed calculations, and \cite{HL2025b,HL2026a} for more discussion of type invariants for solenoidal manifolds. \subsection{Toroidal Solenoids} \label{subsec-toroidal} Consider the case of a solenoid $\fM_{\cP}$ with base manifold the $n$-dimensional torus, and group $\G \cong \mZ^n$. Then $\Comm(\mZ^n) \cong {\rm GL}(\mQ^n)$. The manifold $\mT^n$ satisfies the Borel Conjecture, so we can apply the results above to odometer actions of $\mZ^n$. Let $\cG = \{\G_0 \supset \G_1 \supset \G_2 \cdots \}$ where $\G_0 = \mZ^n$, and each $\G_{\ell}$ is a free subgroup of rank $n$. Then for each $\ell > 0$, there exists an invertible $n \times n$ matrix $A_{\ell}$ with integer coefficients and determinant $m_{\ell} = |A_{\ell}| > 1$, such that the map $\phi_{A_{\ell}} \colon \mZ^n \to \mZ^n$ defined by multiplication with $A_{\ell}$ maps the subgroup $\G_{\ell-1}$ isomorphically onto $\G_{\ell}$. Thus, $\G_{\ell} = \phi_{A_{\ell}} \circ \cdots \phi_{A_{1}} (\mZ^{n})$. Consider first the simplest case, where $A_{\ell}$ is a diagonal matrix for all $\ell$. The universal toroidal solenoid $\widehat{\mT^n}$ is defined by the group chain with $\G_{\ell} = (\ell +1) ! \cdot \mZ^n$. That is, the matrices $A_{\ell}$ above are given by $(\ell +1)$ times the identity, and $\whG_{\cP} \cong \widehat{\mZ^n}$. Every element of $\Comm(\mZ^n) \cong {\rm GL}(\mQ^n)$ preserves this group chain, so we have $\MCG(\widehat{\mT^n}) \cong {\rm GL}(\mQ^n) \times \widehat{\mZ^n}$. For a prime $p \geq 2$, the $p$-adic toroidal solenoid $\mT^n_{\whp}$ is defined by the group chain with $\G_{\ell} = p^{\ell} \cdot \mZ^n$. That is, the matrices $A_{\ell}$ above are given by $p$ times the identity, and $\whG_{\cP} \cong \mZ^n_{\whp}$ This has Steinitz order $p^{\infty}$. Every element of the commensurator group $\Comm(\mZ^n) \cong {\rm GL}(\mQ^n)$ then preserves the group chain, so we have $\MCG(\mT^n_{\whp}) \cong {\rm GL}(\mQ^n) \times \mZ^n_{\whp}$. For a disjoint collection of primes $S = \{p_1, p_2, \ldots , p_n\}$ let $\cG_{S}$ be the group chain defined by the matrices $A_{\ell}$ whose diagonal entries are the primes in $S$, and are 0 off the diagonal. The associated toroidal solenoid $\mT^n_{S}$ is the product of 1-dimensional solenoids, $\ds \mT^n_{S} \cong \fS_{\widehat{p_1}} \times \cdots \times \fS_{\widehat{p_n}}$. A map which is a return equivalence of the action of $\mZ^n$ on $X_{\cG_P}$ must preserve the factors for distinct primes, so \begin{equation}\label{eq-prodprimes} \Comm(X_{\cG_S}, \mZ^n, \Phi, x) \cong {\rm GL}(\mQ) \times \cdots \times {\rm GL}(\mQ) \ . \end{equation} One can modify this construction by choosing a multiplicity $n_i$ for each prime, then taking the product of solenoids $\mT^n_S = \mT^{n_1}_{p_1} \times \cdots \times \mT^{n_k}_{p_k}$ where $n = n_1 + \cdots n_k$. We then obtain \begin{equation} \Comm(X_{\cG_S}, \mZ^n, \Phi, x) \cong {\rm GL}(\mQ^{k_1}) \times \cdots \times {\rm GL}(\mQ^{k_n}) \ , \end{equation} and there is the corresponding formula to \eqref{eq-prodprimes} for $\MCG(\mT^n_{S}, \whx)$. The next class of examples to consider are when $A_{\ell} = A$ for all $\ell > 0$, and all eigenvalues of the integer $n \times n$ matrix $A$ are larger than 1, and $n \geq 2$. Then $A$ induces a proper self-covering map $\phi_A \colon \mT^n \to \mT^n$ and let $\mT^n_A$ denote the inverse limit solenoid. The map $\phi_A$ induces a self-map $\whphi_A \in \Homeo(\mT^n_A, \whx)$, so that $\MCG(\mT^n_A, \whx)$ always contains a factor of $\mZ$. The surprising fact is that the group is much richer than this, and its calculation depends on depends on the class field theory of the number field generated by the eigenvalues of $A$. The calculation of $\Comm(X_{\cG_A}, \mZ^n, \Phi, x)$ is equivalent to calculating the endomorphisms of the subgroup $ G_{A^t} = \{ (A^t)^k\vec{x} \mid \vec{x} \in \mZ^k \ , \ k \in \mZ \} \subset \mQ^n$ determined by the adjoint matrix $A^t$. For details of these calculations, see Cabezas and Petite \cite{CabezasPetite2024}, Sabitova \cite{Sabitova2024b}, or Ha and Lee \cite{HaLee2023} for example. For $n=2$, Cabezas and Petite give in Theorem 3.3 and Example 3.4 \cite{CabezasPetite2024} a complete description of the group of endomorphisms. Note that the calculation depends on the algebraic number theory properties of the roots of the characteristic polynomial $p_A(\lambda)$ of $A$. When $n > 2$, in most cases the complete calculation is unknown, even in the case where $p_A(\lambda)$ is separable with distinct roots. The most complete results to date have been obtained by Sabitova in \cite{Sabitova2024b}. \subsection{Nilpotent solenoids}\label{subsec-nilpotent} A closed connected manifold $M$ is a \emph{nilmanifold}, if $\G = \pi_1(M,x)$ is a nilpotent group, and the universal cover $\wtM$ is contractible. Note that such $\G$ is torsion-free. Given a group chain $\cG$ in $\G$, we form the associated \emph{nilpotent solenoid} $\whM_{\cP}$. A nilmanifold satisfies the strong Borel conjecture, see Remarks~\ref{rmk-borelex} and \ref{rmk-unique}, so by Corollary~\ref{cor-nilp} we can calculate $\MCG(\whM_{\cP})$ in terms of its dynamical commensurator group $\Comm(X_{\cG}, \G, \Phi, x)$. A finitely generated nilpotent group $\G$ is residually finite, so the universal odometer action of $\G$ on $\whGamma$ is effective. Let $\widehat{M}$ be the corresponding universal solenoid over $M$. Then we have: \begin{thm}\label{thm-nilmcg} Let $M$ be a nilmanifold with $\G = \pi_1(M,x)$. Then $\MCG(\widehat{M}) \cong \Comm(\G) \times \whGamma$. \end{thm} \proof For the universal odometer action, we have $\Comm(X_{\cG}, \G, \Phi, x) = \Comm(\G)$. \endproof For a finitely generated nilpotent group $\G$, the calculation of $\Comm(\G)$ reduces to the calculation of the automorphisms of the rational Lie algebra ${\frak g}_{\G}$ associated to the Mal'cev completion of $\G$ (see for example \cite[Chapter 4]{Baumslag1971}). Thus, the calculation is analogous to the abelian case discussed above, although the calculation of $\Aut({\frak g}_{\G})$ can be much more subtle. The next class of examples uses the fact that a finitely generated torsion-free nilpotent group admits an embedding $\sigma \colon \G \to {\rm SL}(\mZ^m)$ for some $m > 0$ sufficiently large, as shown by Jennings \cite{Jennings1955} (see also \cite{Formanek1970}.) Fix an embedding $\sigma$, and choose a prime $p > 0$. Then define, for each $\ell \geq 0$, the normal subgroup of finite index $$\G_{\sigma,p,\ell} = \ker \left\{ {\rm mod}_p \circ \sigma \colon \G \to {\rm SL}(\mZ^m) \rightarrow {\rm SL}(\mZ^m/p^{\ell} \mZ^m) \right\} \ .$$ This defines a normal group chain $\cG_{\sigma,p}$ with $\cap_{\ell > 0} \G_{\sigma, p, \ell} = \{e\}$. Let $\whGamma_{\cG_{\sigma,p}}$ denote the profinite group associated to the inverse limit of the quotients $\G_{\G_{\sigma,p,\ell}}$. The associated tower of coverings $\cP_{\sigma,p}$ of $M$ induces the solenoidal manifold $\whM_{\sigma,p}$. Then as before, we have: \begin{thm}\label{thm-pnilmcg} Let $M$ be a nilmanifold with $\G = \pi_1(M,x)$, $\sigma \colon \G \to {\rm SL}(\mZ^n)$ an embedding, and $p > 1$ a prime. Then $\MCG(\whM_{\sigma,p}) \cong \Comm(X_{\cG_{\sigma,p}}, \G, \Phi, x) \times \whGamma_{\cG_{\sigma,p}}$. \end{thm} The calculation of $\Comm(X_{\cG_{\sigma,p}}, \G, \Phi, x)$ is related to the representation theory associated with the action of $\G$ on the $p$-localization $\whGamma_{\cG_{\sigma,p}}$ of the profinite completion, as studied for example in \cite{Moore1965}. Some examples are calculated in \cite{HL2026a}. Recall that a group $\G$ is said to be (finitely) \emph{non-coHopfian} if there exists a proper self-embedding $\vp \colon \G \to \G$ (with finite index) \cite{HLvL2021}. Such a map $\vp$ is called a \emph{renormalization} of $\G$, and we say that $G$ is renormalizable. For example, homogeneous nilpotent groups are renormalizable \cite{Cornulier2016,Dere2017}, though there are many examples of renormalizable groups which are not nilpotent, as discussed in \cite{HLvL2021}. Suppose that $\G$ admits a proper self-embedding $\vp \colon \G \to \G$. For $\ell \geq 0$, let $\G_{\ell} = \vp^{\ell}(\G) = \vp \circ \cdots \circ \vp(\G)$ be the image of the $\ell$-th iteration of $\vp$. Also assume that $\cap_{\ell > 0} \G_{\ell} = \{e\}$. Then the group chain $\cG_{\vp} = \{\G_0 \supset \G_1 \supset \G_2 \supset \cdots\}$ is a \emph{strong scale} in the sense of \cite{NekkyPete2011}. Let $(X_{\vp}, \G, \Phi)$ denote the odometer associated to the chain $\cG_{\vp}$. If the groups $\G_{\ell}$ are normal in $\G$, then van Limbeek showed in \cite{WvL2021} that $\G$ must be abelian. Thus, if $\G$ is non-abelian, then the subgroups $\G_{\ell}$ are never normal, and so the inverse limit space $X_{\vp}$ is not a pro-finite group. None-the-less, $\G$ is renormalizable implies the action of $\G$ on $X_{\vp}$ is quasi-analytic by \cite[Theorem~4.4]{HLvL2021}. Let $\whM_{\vp}$ denote the nilpotent solenoid associated to the coverings defined by the group chain $\cG_{\vp}$. Then as above, \begin{equation} \MCG(\whM_{\vp}, \whx) \cong \Comm(X_{\vp}, \G, \Phi, x) \ . \end{equation} The map $\vp$ induces a self map $\widetilde{\vp} \colon M \to M$, which in turn defines $\whvp \in \Homeo(\whM_{\vp}, \whx)$ so that the group $\Comm(X_{\vp}, \G, \Phi, x)$ always contains at least a copy of $\mZ$. However, as with the abelian case analyzed by Sabitova \cite{Sabitova2024b}, we show in \cite{HL2026a} that there are many more ``exotic'' classes in $\MCG(\whM_{\vp})$ which arise from number theoretic properties of the map $\vp$. The calculation of $\MCG(\fM_{\cP})$ from $\MCG(\whM_{\vp}, \whx)$ using Theorem~\ref{thm-structure} depends on understanding the factor $\fZ_{\cG}$, which is not a straightforward problem in general. \subsection{Hyperbolic solenoids}\label{subsec-hyperbolic} Let $\Sigma_g$ denote the closed orientable surface of genus $g \geq 2$, $x \in \Sigma_g$ a basepoint, and $\G_g = \pi_1(\Sigma_g, x)$. Theorem~\ref{thm-odden} by Odden states that the characteristic map $\chi$ yields an isomorphism $\MCG(\widehat{\Sigma_g}) \cong \Comm(\G_g) \times \whG$, where $\widehat{\Sigma_g}$ is the universal hyperbolic solenoid. This result can be generalized in two directions. \begin{thm} Let $\cG$ be a group chain in $\G_g$ such that the associated odometer $(X_{\cG}, \G, \Phi)$ is effective, coherent and locally quasi-analytic. Then $\MCG(\widehat{\Sigma_g}, \whx) \cong \Comm(X_{\cG}, \G, \Phi, x)$. \end{thm} \proof This follows from Theorem~\ref{thm-gottalift} and Remarks~\ref{rmk-borelex} and \ref{rmk-unique}. \endproof The second generalization extends the results of Bering and Studenmund in \cite{BeringStudenmund2024}. Let $M$ be a closed connected $n$-manifold with a metric of negative sectional curvatures, for $n \geq 2$. Then $M$ satisfies the strong Borel property. Let $x \in M$ and $\G = \pi_1(M, x)$ If the metric on $M$ has constant curvature, then $\G$ is linear; that is, $\G$ admits an embedding into a connected Lie group, and so $\G$ is residually finite. For more general hyperbolic groups, Tholozan and Tsouvalas have constructed in \cite{TT2025} examples which are Gromov hyperbolic and not residually finite. Thus, we restrict consideration to the case where $\G$ is linear. Let $\whGamma$ be the profinite completion of $\G$, then the universal odometer action of $\G$ on $\whGamma$ is effective as $\G$ is residually finite. We then obtain the corresponding result to Theorem 5.6 in \cite{BeringStudenmund2024}: \begin{thm}\label{thm-negcomm} Let $M$ be a connected manifold with constant negative curvature, and let $\G = \pi_1(M,x)$. Then $\MCG(\widehat{M}) \cong \Comm(\G) \times \whGamma$. \end{thm} \proof For the universal odometer action, we have $\Comm(X_{\cG}, \G, \Phi, x) = \Comm(\G)$, and the map $\chi$ is then an isomorphism by Remarks~\ref{rmk-borelex} and \ref{rmk-unique}. \endproof %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{thebibliography}{10} \bibitem{ALC2009} {J.~{\'A}lvarez L{\'o}pez and A.~Candel}, \newblock {\it Equicontinuous foliated spaces}, \newblock {\bf Math. Z.}, 263:725--774, 2009. \bibitem{ALM2016} {J.~{\'A}lvarez L{\'o}pez and M.~Moreira Galicia}, \newblock {\it Topological {M}olino's theory}, \newblock {\bf Pacific. J. Math.}, 280:257--314, 2016. \bibitem{Auslander1988} {J.~Auslander}, \newblock {\bf Minimal flows and their extensions}, \newblock {North-Holland Mathematics Studies}, Vol. 153, {North-Holland Publishing Co., Amsterdam}, 1988. \bibitem{BartholdiBogopolski2010} {L.~Bartholdi and O.~Bogopolski}, \newblock {\it On abstract commensurators of groups}, \newblock {\bf J. Group Theory}, 13:903--922, 2010. \bibitem{Baumslag1971} {G.~Baumslag}, \newblock {\bf Lecture notes on nilpotent groups}, \newblock {Regional Conference Series in Mathematics}, No. 2, {American Mathematical Society, Providence, RI}, 1971. \bibitem{BelkForrest2014} {J.~Belk and B.~Forrest}, \newblock {\it Compact aspherical solenoids}, \newblock {\bf preprint}, March 2014. https://arxiv.org/abs/1009.5716v4 \bibitem{BeringStudenmund2024} {E.A.~Bering IV and D.~Studenmund}, \newblock {\it Topological models of abstract commensurators}, \newblock {\bf Groups Geom. Dyn.}, 18:1403--1425, 2024. \bibitem{Bing1960} R.~H. Bing. \newblock A simple closed curve is the only homogeneous bounded plane continuum that contains an arc. \newblock {\em Canadian J. Math.}, 12:209--230, 1960. \bibitem{BNS1996} {I.~Biswas, S.~Nag and D.~Sullivan}, \newblock {\it Determinant bundles, {Q}uillen metrics and {M}umford isomorphisms over the universal commensurability {T}eichm\"{u}ller space}, \newblock {\bf Acta Math.}, 176:145--169, 1996. \bibitem{BiswasNag1998} {I.~Biswas and S.~Nag}, \newblock {\it Commensurability automorphism groups and infinite constructions in {T}eichm\"{u}ller theory}, \newblock {\bf C. R. Acad. Sci. Paris S\'{e}r. I Math.}, 327:35--40, 1998. \bibitem{BiswasNag2000} {I.~Biswas and S.~Nag}, \newblock {\it Limit constructions over {R}iemann surfaces and their parameter spaces, and the commensurability group actions}, \newblock {\bf Selecta Math. (N.S.)}, 6:185--224, 2000. \bibitem{Boyle1983} {M.~Boyle}, \newblock {\bf Topological orbit equivalence and factor maps in symbolic dynamics}, \newblock {Ph.D. Thesis}, University of Washington, 1983. \bibitem{BoyleTomiyama1998} {M.~Boyle and J.~Tomiyama}, \newblock {\it Bounded topological orbit equivalence and {$C^*$}-algebras}, \newblock {\bf J. Math. Soc. Japan}, 50:317--329, 1998. \bibitem{CabezasPetite2024} {C.~Cabezas and S.~Petite}, \newblock {\it Large normalizers of {$\Bbb{Z}^d $}-odometer systems and realization on substitutive subshifts}, \newblock {\bf Discrete Contin. Dyn. Syst.}, 44:3848--3877, 2024. \bibitem{CandelConlon2000} {A.~Candel and L.~Conlon}, \newblock {\bf Foliations I}, \newblock {Amer. Math. Soc.}, Providence, RI, 2000. \bibitem{ClarkHurder2013} {A.~Clark and S.~Hurder}, \newblock {\it Homogeneous matchbox manifolds}, \newblock {\bf Trans. Amer. Math. Soc.}, 365:3151--3191, 2013. \bibitem{CHL2019a} {A.~Clark, S.~Hurder and O.~Lukina}, \newblock {\it Classifying matchbox manifolds}, \newblock {\bf Geom \& Top}, 23:1--27, 2019. \bibitem{Cornulier2016} {Y.~Cornulier}, \newblock {\it Gradings on {L}ie algebras, systolic growth, and cohopfian properties of nilpotent groups}, \newblock {\bf Bull. Soc. Math. France}, 144:693--744, 2016. \bibitem{CortezPetite2008} {M.I.~Cortez and S.~Petite}, \newblock {\it $G$-odometers and their almost one-to-one extensions}, \newblock {\bf J. London Math. Soc.}, 78(2):1--20, 2008. \bibitem{CortezMedynets2016} {M.I.~Cortez and K.~Medynets}, \newblock {\it Orbit equivalence rigidity of equicontinuous systems}, \newblock {\bf J. London Math. Soc. (2)}, 94:545--556, 2016. \bibitem{DavisHillman2025} {J.F.~Davis and J.A.~Hillman}, \newblock {\it The {B}orel {C}conjecture for manifolds with boundary}, \newblock {preprint}, {arXiv:2501.12509v1}. \bibitem{Dere2017} {J.~Der\'{e}}, \newblock {\it Gradings on {L}ie algebras with applications to infra-nilmanifolds}, \newblock {\bf Groups Geom. Dyn.}, 11:105--120, 2017. \bibitem{DHL2016a} {J.~Dyer, S.~Hurder and O.~Lukina}, \newblock {\it The discriminant invariant of Cantor group actions}, \newblock {\bf Topology Appl.}, 208: 64-92, 2016. \bibitem{DHL2016c} {J.~Dyer, S.~Hurder and O.~Lukina}, \newblock {\it Molino theory for matchbox manifolds}, \newblock {\bf Pacific J. Math.}, 289:91-151, 2017. \bibitem{Ellis1960} {R.~Ellis}, \newblock {\it A semigroup associated with a transformation group}, \newblock {\bf Trans. Amer. Math. Soc.}, 94:272--281, 1969. \bibitem{FarbMargalit2012} {B.~Farb and D.~Margalit}, \newblock {\bf A primer on mapping class groups}, \newblock {Princeton Mathematical Series}, Vol. 49, 2012. \bibitem{FO2002} {R.~Fokkink and L.~Oversteegen}, \newblock {\it Homogeneous weak solenoids}, \newblock {\bf Trans. Amer. Math. Soc.}, 354(9):3743--3755, 2002. \bibitem{Formanek1970} {E.~Formanek}, \newblock {\it A short proof of a theorem of {J}ennings}, \newblock {\bf Proc. Amer. Math. Soc.}, 26:405--407, 1970. \bibitem{Ghys1999} {\'{E}~Ghys}, \newblock {\it Laminations par surfaces de Riemann}, \newblock in {\bf Dynamique et G\'{e}om\'{e}trie Complexes}, \newblock {Panoramas \& Synth\`{e}ses}, 8:49--95, 1999. \bibitem{HaLee2023} {K.Y. Ha and J.B. Lee}, \newblock {\it Rank-two solenoidal endomorphisms}, \newblock {\bf Topol. Methods Nonlinear Anal.}, 61:291--329, 2023. \bibitem{HL2019} {S.~Hurder and O.~Lukina}, \newblock {\it Wild solenoids}, \newblock {\bf Trans. Amer. Math. Soc.}, 371:4493--4533, 2019. \bibitem{HL2020} {S.~Hurder and O.~Lukina}, \newblock {\it Orbit equivalence and classification of weak solenoids}, \newblock {\bf Indiana Univ. Math. J.}, 69:2339--2363, 2020. \bibitem{HL2025b} {S.~Hurder and O.~Lukina}, \newblock {\it Prime spectrum and dynamics for nilpotent {C}antor actions}, \newblock {\bf Pacific J. Math.}, 327:107--128, 2023. \bibitem{HL2026a} {S.~Hurder and O.~Lukina}, \newblock {\it Mapping class groups of nilpotent solenoids}, \newblock {in preparation}, 2026. \bibitem{HLvL2021} {S.~Hurder, O.~Lukina and W.~van Limbeek}, \newblock {\it Cantor dynamics of renormalizable groups}, \newblock {\bf Groups, Geometry, and Dynamics}, 15:1449--1487, 2021. \bibitem{Jennings1955} {S.A.~Jennings}, \newblock {\it The group ring of a class of infinite nilpotent groups}, \newblock {\bf Canadian J. Math.}, 7:169--187, 1955. \bibitem{Kwapisz2001} {J.~Kwapisz}, \newblock {\it Homotopy and dynamics for homeomorphisms of solenoids and {K}naster continua}, \newblock {\bf Fund. Math.}, 168(3):251--278, 2001. \bibitem{LavrenyukNekrashevych2002} {Y.~Lavreniuk and V.~Nekrashevych}, \newblock {\it Rigidity of branch groups acting on rooted trees}, \newblock {\bf Geom. Dedicata}, 89:159--179, 2002. \bibitem{Lubotzky1993} {A.~Lubotzky}, \newblock {\it Torsion in profinite completions of torsion-free groups}, \newblock {\bf Quart. J. Math. Oxford Ser. (2)} 44:327--332, 1993. \bibitem{Luck2009} {W. L\"{u}ck}, \newblock {\it Survey on aspherical manifolds}, \newblock {\it arXiv:0902.2480}. \bibitem{Luck2012} {W. L\"{u}ck}, \newblock {\it Aspherical manifolds}, \newblock {\bf Bulletin of the Manifold Atlas}, 1--17, 2012. \bibitem{LM1997} {M.~Lyubich and Y.~Minsky}, \newblock {\it Laminations in holomorphic dynamics}, \newblock {\bf J. Differential Geom.}, 47:17--94, 1997. \bibitem{Massey1967} {W.S.~Massey}, \newblock {\bf Algebraic topology: {A}n introduction}, {Harcourt, Brace \& World, Inc., New York}, 1967. \bibitem{McCord1965} {M.C.~McCord}, \newblock {\it Inverse limit sequences with covering maps}, \newblock {\bf Trans. Amer. Math. Soc.}, 114:197--209, 1965 \bibitem{Mioduszewski1963} {J.~Mioduszewski}, \newblock{\it Mappings of inverse limits}, \newblock{\bf Coll. Math.} 10:39--44, 1963. \bibitem{Moore1965} {C.C.~Moore}, \newblock{\it Decomposition of unitary representations defined by discrete subgroups of nilpotent groups}, \newblock{\bf Ann. of Math. (2)} 82:146--182, 1965. \bibitem{MS2006} {C.C.~Moore and C.~Schochet}, \newblock {\bf Analysis on Foliated Spaces}, \newblock Math. Sci. Res. Inst. Publ. vol. 9, Second Edition, \newblock Cambridge University Press, New York, 2006. \bibitem{Nekrashevych2005} {V.~Nekrashevych}, \newblock {\bf Self-similar groups}, \newblock {Mathematical Surveys and Monographs}, Vol. 117, \newblock {American Mathematical Society, Providence, RI}, 2005. \bibitem{NekkyPete2011} {V.~Nekrashevych and G.~Pete}, \newblock{\it Scale-invariant groups}, \newblock{\bf Groups Geom. Dyn.} 5:139--167, 2011. \bibitem{Odden2005} {C.~Odden}, \newblock {\it The baseleaf preserving mapping class group of the universal hyperbolic solenoid}, \newblock {\bf Trans. Amer. Math. Soc.}, 357:1829--1858, 2005. \bibitem{Renault2008} {J.~Renault}, \newblock {\it Cartan subalgebras in {$C^*$}-algebras}, \newblock {\bf Irish Math. Soc. Bull.}, 61:29--63, 2008. \bibitem{RT1972b} {J.T.~Rogers, Jr. and J.L.~Tollefson}, \newblock {\it Homeomorphisms homotopic to induced homeomorphisms of weak solenoidal spaces}, \newblock {\bf Colloq. Math.} 25:81--87, 1971/72. \bibitem{Rover2002} {C.~R\"{o}ver}, \newblock {\it Abstract commensurators of groups acting on rooted trees}, \newblock {\bf Geom. Dedicata}, 94:45--61, 2002. \bibitem{Sabitova2024b} {M.~Sabitova}, \newblock {\it Endomorphism rings of toroidal solenoids}, \newblock {arXiv:2411.11634}. \bibitem{Studenmund2015} {D.~Studenmund}, \newblock {\it Abstract commensurators of lattices in {L}ie groups}, \newblock {\bf Comment. Math. Helv.}, 90(2):287--323, 2015. \bibitem{Studenmund2024} {D.~Studenmund}, \newblock {\it Abstract commensurators: a survey of constructions and computations}, \newblock in {\bf Geometric methods in group theory: papers dedicated to Ruth Charney}, \newblock {S\'emin. Congr.}, vol. 34, Soc. Math. France, Paris, 2025, 243--260. \bibitem{Sullivan1993} {D.~Sullivan}, \newblock {\it Linking the universalities of {M}ilnor-{T}hurston, {F}eigenbaum and {A}hlfors-{B}ers}, \newblock in {\bf Topological methods in modern mathematics ({S}tony {B}rook, {NY}, 1991)}, \newblock {Publish or Perish, Houston, TX}, 1993, pages 543--564. \bibitem{Sullivan2014} {D.~Sullivan}, \newblock{\it Solenoidal manifolds}, \newblock {\bf J. Singul.}, 9:203--205, 2014. \bibitem{TT2025} {N.~Tholozan and K.~Tsouvalas}, \newblock {\it Residually finite non-linear hyperbolic groups}, \newblock {\bf Comment. Math. Helv.}, 100:1--9, 2025. \bibitem{Verjovsky2014} {A.~Verjovsky}, \newblock{\it Commentaries on the paper {\it {S}olenoidal manifolds} by {D}ennis {S}ullivan}, \newblock {\bf J. Singul.}, 9:245--251, 2014. \bibitem{WvL2021} {W.~van Limbeek}, \newblock {\it Structure of normally and finitely non-co-{H}opfian groups}, \newblock {\bf Groups Geom. Dyn.}, 15:465--489, 2021. \end{thebibliography} \end{document}