text:
\section{Introduction}\label{sec-intro}

A 1-dimensional solenoid  is   the inverse limit space of a sequence of covering maps,
  \begin{equation}\label{eq-presentation1}
{\mathcal S}(\vec{m}) \myeq \underleftarrow{\lim} ~ \{\, q_{\ell}:{\mathbb S}^1 \to {\mathbb S}^1 \mid  \ell \geq 1\}
\end{equation}
where $q_{\ell}$ is  a covering map  of the circle ${\mathbb S}^1$   of degree  $m_{\ell} > 1$. Here,  $\vec{m} = (m_1, m_2,\dots)$  denotes a  sequence of   integers with each $m_i \geq  2$.  These continua (compact metric spaces) were introduced by van Danzig \cite{vanDantzig1930} and Vietoris \cite{Vietoris1927}, and appear  in many  areas of mathematics.

Associated to $\vec{m}$ is a \emph{supernatural} number, or \emph{Steinitz} number,  $\Pi[\vec{m}]$,
which is the formal product of the integers $\{m_i \mid i \geq 1\}$.
 Chapter 2 of   Wilson  \cite{Wilson1998}, or Chapter~2.3 of Ribes and Zilesskii \cite{RZ2000},  give  a basic discussion of the  arithmetic of supernatural numbers. In particular, a Steinitz number
   can be rewritten as the formal product of its prime factors,
   \begin{equation}\label{eq-steinitzorder}
\Pi = \Pi[\vec{m}] = m_1 \cdot m_2 \cdots m_i \cdots  = \prod_{p \in \pi} \ p^{n(p)} \quad , \quad 0 \leq n(p) \leq \infty \ ,
\end{equation}
where
 $\pi = \{2,3,5, \ldots\}$ is the set of distinct prime numbers. The non-negative integers $n(p)$ can be thought of as the ``coordinates'' of $\Pi$ along the ``axes'' given by the primes in $\pi$.

The Steinitz number $\Pi[\vec{m}]$ is called the \emph{Steinitz order} of the inverse limit ${\mathcal S}(\vec{m})$.
  The following equivalence relation  appears naturally in the applications of Steinitz numbers to dynamical systems.

 \begin{defn}\label{def-asymptequiv}
Given $\vec{m} = \{m_i \mid i \geq 1 ~ , ~ m_i > 1 \}$ and $\vec{n} = \{n_i \mid i \geq 1 ~ , ~ n_i > 1\}$ sequences of integers, we say that the   Steinitz numbers $\Pi[\vec{m}]$ and $\Pi[\vec{n}]$ are \emph{asymptotically equivalent}, and we write   $\Pi[\vec{m}] \mor \Pi[\vec{n}]$, if there exist    integers $1 \leq m_0 < \infty$ and $1 \leq n_0 < \infty$ such that $n_0 \cdot \Pi[\vec{m}] = m_0 \cdot \Pi[\vec{n}]$.  The asymptotic equivalence class of $\Pi[\vec{m}]$ is denoted by  $\Pi_a[\vec{m}]$.
   \end{defn}
 Definition \ref{def-asymptequiv} says that two representatives of the same asymptotic equivalence class $\Pi_a[\vec{m}]$ differ by a finite number of prime factors with finite coordinates.

    Bing observed in \cite{Bing1960} that for $1$-dimensional solenoids ${\mathcal S}(\vec{m})$ and ${\mathcal S}(\vec{n})$, if  $\Pi[\vec{m}] \mor \Pi[\vec{n}]$ then the solenoids are homeomorphic.  McCord showed in \cite[Section~2]{McCord1965}   the converse, that if ${\mathcal S}(\vec{m})$ and ${\mathcal S}(\vec{n})$ are homeomorphic spaces, then  $\Pi[\vec{m}] \mor \Pi[\vec{n}]$.   Aarts and Fokkink  gave  in  \cite{AartsFokkink1991}  an alternate proof of this.  Thus we have:

\begin{thm}\cite{AartsFokkink1991,Bing1960}\label{thm-onedimSol}
Solenoids ${\mathcal S}(\vec{m}) $ and ${\mathcal S}(\vec{n}) $ are homeomorphic  if and only if ~ $\Pi[\vec{m}] \mor \Pi[\vec{n}]$.
\end{thm}

The results in this paper  were motivated in part by the question, to what extent does Theorem~\ref{thm-onedimSol} generalize to higher dimensional solenoidal manifolds?

A sequence of \emph{proper finite covering} maps
${\mathcal P} = \{\, q_{\ell} \colon  M_{\ell} \to M_{\ell -1} \mid  \ell \geq 1\}$, where each $M_{\ell}$ is a compact connected manifold without boundary of dimension $n \geq 1$, is called a \emph{presentation} in \cite{DHL2016c}. The inverse limit
\begin{equation}\label{eq-presentationinvlim}
{\mathcal S}_{{\mathcal P}} \equiv \lim_{\longleftarrow} ~ \{ q_{\ell } \colon M_{\ell } \to M_{\ell -1}\} ~ \subset \prod_{\ell \geq 0} ~ M_{\ell} ~
\end{equation}
is   the  \emph{solenoidal manifold}   associated to ${\mathcal P}$. The set ${\mathcal S}_{{\mathcal P}}$ is given  the relative  topology, induced from the product topology, so that ${\mathcal S}_{{\mathcal P}}$ is  compact and connected.
By the definition of the inverse limit, for a sequence $\{x_{\ell} \in M_{\ell} \mid \ell \geq 0\}$, we have
\begin{equation}\label{eq-presentationinvlim2}
x = (x_0, x_1, \ldots ) \in {\mathcal S}_{{\mathcal P}}   ~ \Longleftrightarrow  ~ q_{\ell}(x_{\ell}) =  x_{\ell-1} ~ {\rm for ~ all} ~ \ell \geq 1 ~.
\end{equation}
For each $\ell \geq 0$, there  is a    fibration $\widehat{q}_{\ell} \colon {\mathcal S}_{{\mathcal P}} \to M_{\ell}$,  given by projection onto the $\ell$-th factor in \eqref{eq-presentationinvlim}, so $\widehat{q}_{\ell}(x) = x_{\ell}$.   We also make use of the covering maps denoted by
$\overline{q}_{\ell} = q_{\ell} \circ q_{\ell -1} \circ \cdots \circ q_1 \colon M_{\ell} \to M_0$. Note that $\widehat{q}_0 = \overline{q}_{\ell} \circ \widehat{q}_{\ell}$.

Solenoidal manifolds, as a special class of continua,   were first studied by McCord in \cite{McCord1965}, who showed that
the continuum ${\mathcal S}_{{\mathcal P}}$ is a foliated space with foliation ${\mathcal F}_{{\mathcal P}}$, in the sense of \cite{MS2006}, where the leaves of ${\mathcal F}_{{\mathcal P}}$ are coverings of the base manifold $M_0$ via the projection map $\widehat{q}_0 \colon {\mathcal S}_{{\mathcal P}} \to M_0$ restricted to the path-connected components of  ${\mathcal S}_{{\mathcal P}}$. Solenoidal manifolds are     \emph{matchbox manifolds} of dimension $n$ in the terminology of \cite{ClarkHurder2013}, and the terminology    ``solenoidal manifolds'' was introduced by  Sullivan \cite{Sullivan2014}.
The Heisenberg $H_3({\mathbb R})$-odometers studied by  Danilenko and Lema\'{n}czyk in \cite{DL2016} are all solenoidal manifolds, equipped with the leafwise   action of $H_3({\mathbb R})$.

The motivation for McCord's work in \cite{McCord1965} was the question of whether a solenoidal space must be a homogeneous continuum? That is, when does the group of self-homeomorphisms act transitively on the space?
This is a particular case of the  more general problem      to study the space of homeomorphisms between solenoidal manifolds,  and their invariants up to homeomorphism. This problem has been studied especially in the  works   \cite{AartsFokkink1991,CHL2019,HL2018a}.
In this work, we continue this study by associating a \emph{prime spectrum} to a solenoidal space, and studying its invariance properties.

Given a presentation ${\mathcal P}$,   define the truncated presentation
${\mathcal P}_m = \{\, q_{\ell} \colon  M_{\ell} \to M_{\ell -1} \mid  \ell > m\}$, then it is a formality that the solenoidal manifolds ${\mathcal S}_{{\mathcal P}}$ and ${\mathcal S}_{{\mathcal P}_m}$ are homeomorphic. Thus, homeomorphism invariants for solenoidal manifolds   have an ``asymptotic'' character in terms of its presentation.

For a presentation ${\mathcal P}$ as in \eqref{eq-presentationinvlim}, let $m_{\ell} > 1$ denote the degree of the covering map
$q_{\ell } \colon M_{\ell } \to M_{\ell -1}$. The   product $m_{1} \cdots m_{\ell}$ equals the degree of the covering map $\overline{q}_{\ell} \colon M_{\ell} \to M_0$.
\begin{defn}\label{def-steinitzpres}
   The \emph{Steinitz order} of a presentation ${\mathcal P}$ is the Steinitz number
   \begin{equation}\label{eq-highersteinitzorder}
\Pi[{\mathcal P}] = LCM \{ m_1   m_2 \cdots m_{\ell} \mid  \ell > 0\} \ ,
\end{equation}
where LCM denotes the least common multiple of the collection of integers. The \emph{asymptotic Steinitz order} of ${\mathcal P}$ is the class $\Pi_a[{\mathcal P}]$ associated to $\Pi[{\mathcal P}]$.
\end{defn}

That is, the Steinitz order of a presentation ${\mathcal P}$ counts the number of appearances of distinct primes in the degrees of the covering maps $\overline{q}_{\ell} \colon M_{\ell} \to M_0$ for $\ell \geq 1$. Here $LCM$ should be understood in terms of Steinitz numbers, see Example \ref{ex-computeLCM} for more explanation.

Our first result is a direct generalization of one of the implications of Theorem~\ref{thm-onedimSol}.

\begin{thm}\label{thm-main1}
Let ${\mathcal S}_{{\mathcal P}}$ be a   solenoidal manifold  with     presentation ${\mathcal P}$. Then the asymptotic order $\Pi_a[{\mathcal P}]$ depends only on the homeomorphism type of ${\mathcal S}_{{\mathcal P}}$, and so defines the \emph{asymptotic Steinitz order}  of ${\mathcal S}_{{\mathcal P}}$  denoted by $\Pi_a[{\mathcal S}_{{\mathcal P}}]$.
\end{thm}

 Note that  McCord's proof in \cite[Section~2]{McCord1965} for $1$-dimensional solenoids uses Pontrjagin Duality, and his technique of proof     is only applicable for the case when the fundamental group of $M_0$ is abelian.

One cannot expect a converse to the conclusion of Theorem~\ref{thm-main1}  as in Theorem~\ref{thm-onedimSol}.
For example, if $M_0 = {\mathbb T}^n$ is the $n$-torus with $n > 1$,  Example~\ref{ex-toral}  constructs solenoidal manifolds over ${\mathbb T}^n$ which have equal asymptotic orders,  but are not homeomorphic. Examples~\ref{ex-stable} and \ref{ex-wild} construct isospectral nilpotent   Cantor actions whose suspension solenoids   are not homeomorphic.

The proof of Theorem~\ref{thm-main1} is  based on the study of   the monodromy actions of solenoidal manifolds, and the fact that a homeomorphism between   solenoidal manifolds induces a return equivalence  between their global monodromy Cantor actions, as discussed in Section~\ref{subsec-morita}.  The Steinitz order invariants for  minimal equicontinuous  Cantor actions studied in this work are of independent interest, and will   be described next.

We say that $({\mathfrak{X}}, \Gamma, \Phi)$ is a \emph{ Cantor action} if $\Gamma$ is a countable group, ${\mathfrak{X}}$ is a   Cantor   space, and $\Phi \colon \Gamma \times {\mathfrak{X}} \to {\mathfrak{X}}$ is a minimal  action.  The action  $({\mathfrak{X}},\Gamma,\Phi)$ is \emph{equicontinuous} with respect to a metric $\dX$ on ${\mathfrak{X}}$, if for all $\e >0$ there exists $\delta > 0$, such that for all $x , y \in {\mathfrak{X}}$   with
 $\displaystyle  \dX(x,y) < \delta$ and  all  $\gamma \in \Gamma$,    we have  $\dX(\gamma   x, \gamma   y) < \e$.
This property   is independent of the choice of the metric   on ${\mathfrak{X}}$.

Let  $\Phi(\Gamma) \subset \Homeo({\mathfrak{X}})$ denote the image subgroup for an action $({\mathfrak{X}}, \Gamma, \Phi)$.
When the action is equicontinuous,     the  closure $\overline{\Phi(\Gamma)} \subset \Homeo({\mathfrak{X}})$ in the \emph{uniform topology of maps} is a separable profinite group.  We adopt the notation ${\mathfrak{G}}(\Phi) \equiv \overline{\Phi(\Gamma)}$. More generally, we typically use   letters in fraktur font   to denote profinite objects.     Let $\widehat{\Phi} \colon {\mathfrak{G}}(\Phi) \times {\mathfrak{X}} \to {\mathfrak{X}}$ denote the induced   action of ${\mathfrak{G}}(\Phi)$ on ${\mathfrak{X}}$, which is transitive as the action   $({\mathfrak{X}}, \Gamma, \Phi)$ is   minimal. For $\widehat{g} \in {\mathfrak{G}}(\Phi)$, we   write its action on ${\mathfrak{X}}$ by $\widehat{g} \, x = \widehat{\Phi}(\widehat{g})(x)$.
Given $x \in {\mathfrak{X}}$,   introduce the isotropy group  at $x$,
\begin{align}\label{iso-defn2}
 {\mathfrak{D}}(\Phi, x) = \{ \widehat{g}  \in {\mathfrak{G}}(\Phi) \mid \widehat{g} \, x = x\} \subset \Homeo({\mathfrak{X}}) \ ,
\end{align}
which is a closed subgroup of ${\mathfrak{G}}(\Phi)$, and    thus is either finite, or is an infinite profinite group.
 As the action $\widehat{\Phi} \colon {\mathfrak{G}}(\Phi) \times {\mathfrak{X}} \to {\mathfrak{X}}$ is transitive,  the conjugacy class of ${\mathfrak{D}}(\Phi,x)$ in ${\mathfrak{G}}(\Phi)$ is independent of the choice of   $x$.     The group ${\mathfrak{D}}(\Phi,x)$ is called the \emph{discriminant} of the action $({\mathfrak{X}},\Gamma,\Phi)$ in the authors works \cite{DHL2016c,HL2018a,HL2018b}, and is called a \emph{parabolic} subgroup  (of the profinite completion of a countable group)  in the works by Bartholdi and Grigorchuk \cite{BartholdiGrigorchuk2000,BartholdiGrigorchuk2002}.

 The \emph{Steinitz order} $\Pi[{\mathfrak{G}}]$ of a   profinite group ${\mathfrak{G}}$ is  a supernatural number associated to a presentation of ${\mathfrak{G}}$ as an inverse limit of finite groups (see  Definition~\ref{def-steinitzprofinite}, or   \cite[Chapter 2]{Wilson1998} or \cite[Chapter~2.3]{RZ2000}).
 The Steinitz order has been used in the study of the analytic representations of profinite groups associated to groups acting on rooted  trees, for example  in the work \cite{Kionke2019}. Parabolic subgroups of countable groups, acting on rooted trees, play an important role in the study of analytic representations of such groups, see for instance \cite{BartholdiGrigorchuk2000,BartholdiGrigorchuk2002}, and the importance of developing a similar theory for representations of profinite groups was pointed out in \cite{BartholdiGrigorchuk2002}.

Recall that for  a profinite group ${\mathfrak{G}}$, an open subgroup ${\mathfrak{U}} \subset {\mathfrak{G}}$ has finite index  \cite[Lemma 2.1.2]{RZ2000}.  Given a collection of finite positive integers $S = \{n_i \mid i \in {\mathcal I}\}$, let  $LCM(S)$ denote the least common multiple of the collection, in the sense of Steinitz numbers.
\begin{defn}\label{def-steinitzorderaction}
Let $({\mathfrak{X}}, \Gamma, \Phi)$ be a minimal equicontinuous Cantor action, with choice of a basepoint $x \in {\mathfrak{X}}$. The \emph{Steinitz orders} of the action  are defined as follows:
 \begin{enumerate}
\item $\Pi[{\mathfrak{G}}(\Phi)] =  LCM \{\# \ {\mathfrak{G}}(\Phi)/{\mathfrak{N}}  \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{open normal subgroup}\}$,
\item $\Pi[{\mathfrak{D}}(\Phi)] =  LCM \{\# \ {\mathfrak{D}}(\Phi,x)/({\mathfrak{N}} \cap {\mathfrak{D}}(\Phi,x)) \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{open normal subgroup}\}$,
\item $\Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi)] =  LCM \{\# \ {\mathfrak{G}}(\Phi)/({\mathfrak{N}} \cdot {\mathfrak{D}}(\Phi,x))  \mid  {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{open normal subgroup}\}$.
\end{enumerate}
\end{defn}

The next result shows that these Steinitz orders are invariants of the isomorphism class of the action, for the notion of isomorphism or conjugacy as   given in Definition~\ref{def-isomorphism}.

 \begin{thm}\label{thm-isoinvariance}
Let  $({\mathfrak{X}}, \Gamma, \Phi)$  be a minimal equicontinuous Cantor action. Then the Steinitz orders for the action are independent of the choice of a basepoint $x \in {\mathfrak{X}}$.
Moreover, these orders depend only on the isomorphism class of the action, and satisfy the Lagrange identity
 \begin{equation}\label{eq-productorders}
\Pi[{\mathfrak{G}}(\Phi)]  = \Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi)] \cdot \Pi[{\mathfrak{D}}(\Phi)]  \ ,
\end{equation}
where the multiplication is taken in the sense of supernatural numbers.
\end{thm}

For example, if $\Phi \colon {\mathbb Z} \times {\mathfrak{X}} \to {\mathfrak{X}}$ is a minimal equicontinuous action of the free abelian group $\Gamma = {\mathbb Z}$, which is the monodromy of a solenoid ${\mathcal S}(\vec{m}) $ as  defined by \eqref{eq-presentation1}, then the Steinitz order of the closure of the action is given by $\Pi[{\mathfrak{G}}(\Phi)] = \Pi[\vec{m}]$. As the group $\Gamma = {\mathbb Z}$ is abelian, the discriminant subgroup ${\mathfrak{D}}(\Phi)$ is trivial, so $\Pi[{\mathfrak{D}}(\Phi)]$ is trivial, and $\Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi)] = \Pi[{\mathfrak{G}}(\Phi)]$. On the other hand, there are   Cantor  actions of the   Heisenberg group with ${\mathfrak{D}}(\Phi)$ a  Cantor group, and their  Steinitz orders $[{\mathfrak{D}}(\Phi)]$ distinguish an uncountable number of such actions. (See the examples  in Section~\ref{subsec-heisenberg}.)

Isomorphism  is the strongest notion of equivalence for Cantor actions.   \emph{Return equivalence}, as given in Definition~\ref{def-return},  is a form of ``virtual   isomorphism'' for minimal equicontinuous Cantor actions, and   is natural when considering   Cantor systems arising from geometric constructions, as    in    \cite{HL2018a,HL2018b,HL2019a}.

 \begin{thm}\label{thm-returnequivorder}
 Let $({\mathfrak{X}}, \Gamma, \Phi)$ be a minimal equicontinuous   Cantor action. Then the relative asymptotic Steinitz order
 $\Pi_a[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi)]$ is an invariant of   its return equivalence class.
\end{thm}
It is shown in Section~\ref{subsec-solenoids} that the Steinitz number $\Pi[{\mathcal P}]$ of a presentation  in Theorem~\ref{thm-main1} equals the relative Steinitz order
 $\Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi)]$ for the monodromy action of the solenoid ${\mathcal S}_{{\mathcal P}}$, so that Theorem~\ref{thm-main1}  follows from Theorem~\ref{thm-returnequivorder} and the results of Sections~\ref{subsec-equivalence} and \ref{subsec-morita}.

The behavior under return equivalence of actions of the other two Steinitz orders $\Pi[{\mathfrak{G}}(\Phi)]$ and $\Pi[{\mathfrak{D}}(\Phi)]$ in Definition~\ref{def-steinitzorderaction}   is more subtle.   In particular, the constructions in  Example~\ref{ex-almosttoral} show that their asymptotic classes need not be invariant under return equivalence.

  \begin{defn}\label{def-primespectrum}
Let  $\pi = \{2,3,5, \ldots\}$ denote the set of   primes. Given  $\Pi = \prod_{p \in \pi} \ p^{n(p)}$, define:
\begin{eqnarray*}
\pi(\Pi) ~ & = & ~  \{ p \in \pi \mid 0 < n(p)   \}   \ , ~ \emph{the prime spectrum of} \ \Pi ,  \label{eq-primespectrum}\\
\pi_f(\Pi) ~ & = & ~  \{ p \in \pi \mid 0 < n(p) < \infty \} \ , ~  \emph{the finite prime spectrum of} \ \Pi ,  \label{eq-finiteprimespectrum} \\
\pi_{\infty}(\Pi) ~ & = & ~  \{ p \in \pi \mid  n(p) = \infty \} \ , ~  \emph{the infinite prime spectrum of} \ \Pi \ .\label{eq-infiniteprimespectrum}
\end{eqnarray*}
   \end{defn}
  Note that if $\Pi \mor \Pi'$, then $\pi_{\infty}(\Pi) = \pi_{\infty}(\Pi')$. The property that $\pi_f(\Pi)$ is a \emph{infinite} set is also preserved by asymptotic equivalence of Steinitz numbers.

 A profinite group  ${\mathfrak{G}}$ is said to have \emph{finite prime spectrum} if ~  $\pi(\Pi({\mathfrak{G}}))$ is a finite set of primes.
If $\pi(\Pi({\mathfrak{G}})) = \{p\}$, then  ${\mathfrak{G}}$ is said to be a \emph{pro-$p$ group}, for which there is an extensive literature  \cite{DdSMS1999,dSSS2000}.
The property that $\Pi({\mathfrak{G}})$ has finite prime spectrum is preserved by   asymptotic equivalence.

  \begin{thm}\label{thm-returnequivspectra}
Let $({\mathfrak{X}}, \Gamma, \Phi)$ be a minimal equicontinuous   Cantor action. Then the  infinite prime spectra of the Steinitz orders
 $\Pi[{\mathfrak{G}}(\Phi)]$,  $\Pi[{\mathfrak{D}}(\Phi)]$  and $\Pi_a[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi)]$  depend only on  the return equivalence class of the action.
The same holds for the property  that the finite prime spectrum of each of these Steinitz orders   is an  infinite set.
 \end{thm}

This result suggests a natural question:
 \begin{problem}\label{prob-nilpotentorder}
How do the dynamical properties of a minimal equicontinuous  Cantor action  $({\mathfrak{X}}, \Gamma, \Phi)$  depend on the asymptotic Steinitz orders associated to the action?
 \end{problem}

A basic dynamical property of a minimal equicontinuous  Cantor action $({\mathfrak{X}}, \Gamma, \Phi)$ is its degree of ``regularity'', as discussed in Section \ref{subsec-lqa}.  The action is \emph{topologically free} if the set of all fixed points for the elements of the action is a meagre set (see Definition~\ref{def-topfree}.) The \emph{local  quasi-analytic} property of an action, as in Definition~\ref{def-LQA}, is a local (generalized) version of the topologically free property, and does not require that the acting group $\Gamma$ be countable, so applies for profinite group actions in particular.   We then have the following notion:
   \begin{defn}  \label{def-stable}
 An equicontinuous  Cantor action  $({\mathfrak{X}}, \Gamma, \Phi)$ is said to be \emph{stable} if the  induced  profinite action  $\widehat{\Phi} \colon {\mathfrak{G}}(\Phi)   \times {\mathfrak{X}} \to {\mathfrak{X}}$ is locally quasi-analytic. The action  is said to be \emph{wild} otherwise.
\end{defn}
A stable Cantor action satisfies local rigidity, as discussed in the works \cite{CortezMedynets2016,HL2018b,HL2020a,Li2018}. On the other hand,
there are many examples of wild Cantor actions. The actions of  weakly branch groups on the boundaries of their associated trees are always wild  \cite{BGS2012,GL2019}.  The work \cite{ALBLLN2020} gives the construction of wild Cantor actions exhibiting a variety of characteristic properties, using algebraic methods.

 In this work, we a  partial solution  to Problem~\ref{prob-nilpotentorder}.
A \emph{nilpotent   Cantor action}  is a  minimal equicontinuous Cantor action  $({\mathfrak{X}},\Gamma,\Phi)$,  where $\Gamma$ contains a finitely-generated nilpotent subgroup $\Gamma_0 \subset \Gamma$ of finite index.   The authors showed in \cite[Theorem~4.1]{HL2020a}     that a nilpotent Cantor action is always locally quasi-analytic. Moreover, it was shown in \cite[Theorem~1.1]{HL2020a} that if the actions are both effective, then the property of being a nilpotent Cantor action is preserved by return equivalence, and thus also by continuous orbit equivalence of actions.

 \begin{thm}\label{thm-nilstable}
Let $({\mathfrak{X}},\Gamma,\Phi)$ be a nilpotent Cantor action, with discriminant   ${\mathfrak{D}}(\Phi) \subset {\mathfrak{G}}(\Phi)$.
If the prime spectrum $\pi(\Pi({\mathfrak{D}}(\Phi)))$ is   finite,  then the action is stable. In particular, if the prime spectrum $\pi(\Pi[{\mathfrak{G}}(\Phi)])$ is   finite,  then the action is stable.
\end{thm}
 The proof of Theorem \ref{thm-nilstable}    yields the following corollary.
 The \emph{multiplicity} of a prime $p$ in a Steinitz number $\Pi$ is the value of $n(p)$ in the formula \eqref{eq-steinitzorder}.
   \begin{cor}\label{cor-niltopfree}
Let $({\mathfrak{X}},\Gamma,\Phi)$ be a nilpotent Cantor action. If the Steinitz order $\Pi({\mathfrak{G}}(\Phi))$ has prime multiplicities at most $2$, for all but a finite set of primes, then the action is stable.
\end{cor}
The wild actions   in Example~\ref{ex-wild} have finite multiplicities at least $3$ for an infinite set of primes.

 The converse of Theorem \ref{thm-nilstable} need not hold, indeed, it is possible to construct actions of abelian groups with infinite prime spectrum which are necessarily stable, see Example \ref{ex-toral}, and also stable actions of nilpotent groups with infinite prime spectrum, see Example \ref{ex-stable}. The relation of the finite prime spectrum with the stability of an action depends on the \emph{Noetherian} property of its profinite completion, as explained in Section \ref{subsec-Noetheriandynamics}.

The celebrated Grigorchuk group (see \cite{BGS2012,Grigorchuk2011} for example)  is a $p$-group for $p=2$, and its action on the boundary of the $2$-adic tree is minimal and equicontinuous, and moreover is a wild action.   Thus,    Theorem~\ref{thm-nilstable}  cannot be   generalized to Cantor actions of arbitrary finitely generated groups.

 The authors asked in the works \cite{HL2018b,HL2020a} whether a locally quasi-analytic nilpotent Cantor action $({\mathfrak{X}},\Gamma,\Phi)$ can be wild,  more precisely, do there exist actions $({\mathfrak{X}},\Gamma,\Phi)$ such that the action of $\Gamma$ on ${\mathfrak{X}}$ is locally quasi-analytic, while the action of the completion ${\mathfrak{G}}(\Phi)$ on ${\mathfrak{X}}$ is not locally quasi-analytic? Using the constructions in Example~\ref{ex-wild}, our final result gives an   answer to this question, noting that a topologically-free Cantor action is locally quasi-analytic.

    \begin{thm}\label{thm-lqaWILD}
  There exists an uncountable number of topologically-free Cantor actions $({\mathfrak{X}},\Gamma,\Phi)$ of the Heisenberg group $\Gamma$, distinct up to return equivalence, that  are wild.
  \end{thm}

 Section~\ref{sec-basics} recalls some basic facts about Cantor actions as required for this work.

 Section~\ref{sec-supernatural} develops in more detail the properties of Steinitz orders for Cantor actions. This yield the proofs of
  Theorems~\ref{thm-isoinvariance}, \ref{thm-returnequivorder} and \ref{thm-returnequivspectra}. Then in
 Section~\ref{subsec-algmodel} we recall  the construction of the group chain model for a minimal equicontinuous Cantor action, and the results of Section~\ref{subsec-steinitzalgmodel} show that their Steinitz orders can be calculated using these group chains. This is used to deduce  the proof of Theorem~\ref{thm-main1} from Theorem~\ref{thm-returnequivorder} in Section~\ref{subsec-solenoids}.

Section~\ref{sec-nilpotent} considers the special case of nilpotent Cantor actions, and gives an application of the prime spectrum to this class of actions.

 An essential part of the abstract study of minimal equicontinuous Cantor actions is to have explicit examples of the properties being studied and characterized. This we provide in Section~\ref{sec-examples}.

 Example~\ref{ex-toral} gives the most basic construction of   actions with prescribed prime spectrum for ${\mathfrak{G}}(\Phi)$. The ${\mathbb Z}^n$-actions constructed in   show that for $n \geq 2$,    the prime spectrum does not contain sufficient information about the action to distinguish the actions up to return equivalence.

Example~\ref{ex-trivial} recalls the construction from \cite{HLvL2020} of a ``balanced"   self-embedding of the integer Heisenberg group into itself, which has the property that the discriminant group ${\mathfrak{D}}(\Phi)$ of the action is trivial, but the maps in the inverse limit formula for ${\mathfrak{D}}(\Phi)$ in  \eqref{eq-discformula} are not surjective.

  Example~\ref{ex-stable}   gives the construction of nilpotent Cantor actions of the integer Heisenberg group with arbitrary finite  or infinite prime spectrum, for  which the discriminant group ${\mathfrak{D}}(\Phi)$ is non-trivial and the action is stable.
  Example~\ref{ex-wild}   gives  the constructions of   nilpotent Cantor actions for which the prime spectrum is any arbitrary infinite subset of the primes,   and   the action is   wild. These examples are then used to give the proof of Theorem~\ref{thm-lqaWILD}.

 \section{Cantor actions}\label{sec-basics}

We recall some of the basic
 properties of     Cantor actions, as required for the proofs of the results in Section~\ref{sec-intro}.
More complete discussions of the properties of equicontinuous Cantor actions are given in     the text by Auslander \cite{Auslander1988}, the papers by Cortez and Petite  \cite{CortezPetite2008}, Cortez and Medynets  \cite{CortezMedynets2016},    and   the authors' works, in particular   \cite{DHL2016c} and   \cite[Section~3]{HL2019a}.

\subsection{Basic concepts}\label{subsec-basics}

Let  $({\mathfrak{X}},\Gamma,\Phi)$   denote an action  $\Phi \colon \Gamma \times {\mathfrak{X}} \to {\mathfrak{X}}$. We   write $g\cdot x$ for $\Phi(g)(x)$ when appropriate.
The orbit of  $x \in {\mathfrak{X}}$ is the subset ${\mathcal O}(x) = \{g \cdot x \mid g \in \Gamma\}$.
The action is \emph{minimal} if  for all $x \in {\mathfrak{X}}$, its   orbit ${\mathcal O}(x)$ is dense in ${\mathfrak{X}}$.

 \eject

   Let $N(\Phi) \subset \Gamma$ denote the kernel of the action homomorphism $\Phi \colon \Gamma \to \Homeo({\mathfrak{X}})$. The action is said to be \emph{effective} if $N(\Phi)$ is the trivial group. That is, the homomorphism $\Phi$ is faithful, and one also says that the action  is faithful.

 An action  $({\mathfrak{X}},\Gamma,\Phi)$ is \emph{equicontinuous} with respect to a metric $\dX$ on ${\mathfrak{X}}$, if for all $\e >0$ there exists $\delta > 0$, such that for all $x , y \in {\mathfrak{X}}$ and $g \in \Gamma$ we have  that
 $\displaystyle  \dX(x,y) < \delta$ implies   $\dX(g \cdot x, g \cdot y) < \e$.
The property of being equicontinuous    is independent of the choice of the metric   on ${\mathfrak{X}}$ which is   compatible with the topology of ${\mathfrak{X}}$.

Now assume that ${\mathfrak{X}}$ is a Cantor space.
Let $\CO({\mathfrak{X}})$ denote the collection  of all clopen (closed and open) subsets of  ${\mathfrak{X}}$, which forms a basis for the topology of ${\mathfrak{X}}$.
For $\phi \in \Homeo({\mathfrak{X}})$ and    $U \in \CO({\mathfrak{X}})$, the image $\phi(U) \in \CO({\mathfrak{X}})$.
The following   result is folklore, and a proof is given in \cite[Proposition~3.1]{HL2018b}.
 \begin{prop}\label{prop-CO}
 For ${\mathfrak{X}}$ a Cantor space, a minimal   action   $\Phi \colon \Gamma \times {\mathfrak{X}} \to {\mathfrak{X}}$  is  equicontinuous  if and only if  the $\Gamma$-orbit of every $U \in \CO({\mathfrak{X}})$ is finite for the induced action $\Phi_* \colon \Gamma \times \CO({\mathfrak{X}}) \to \CO({\mathfrak{X}})$.
\end{prop}

We say that $U \subset {\mathfrak{X}}$  is \emph{adapted} to the action $({\mathfrak{X}},\Gamma,\Phi)$ if $U$ is a   \emph{non-empty clopen} subset, and for any $g \in \Gamma$,
if $\Phi(g)(U) \cap U \ne \emptyset$ implies that  $\Phi(g)(U) = U$.   The proof of   \cite[Proposition~3.1]{HL2018b} shows that given  $x \in {\mathfrak{X}}$ and clopen set $x \in W$, there is an adapted clopen set $U$ with $x \in U \subset W$.

For an adapted set $U$,   the set of ``return times'' to $U$,
 \begin{equation}\label{eq-adapted}
\Gamma_U = \left\{g \in \Gamma \mid g \cdot U  \cap U \ne \emptyset  \right\}
\end{equation}
is a subgroup of   $\Gamma$, called the \emph{stabilizer} of $U$.
  Then for $g, g' \in \Gamma$ with $g \cdot U \cap g' \cdot U \ne \emptyset$ we have $g^{-1} \, g' \cdot U = U$, hence $g^{-1} \, g' \in \Gamma_U$. Thus,  the  translates $\{ g \cdot U \mid g \in \Gamma\}$ form a finite clopen partition of ${\mathfrak{X}}$, and are in 1-1 correspondence with the quotient space $X_U = \Gamma/\Gamma_U$. Then $\Gamma$ acts by permutations of the finite set $X_U$ and so the stabilizer group $\Gamma_U \subset G$ has finite index.  Note that this implies that if $V \subset U$ is a proper inclusion of adapted sets, then the inclusion $\Gamma_V \subset \Gamma_U$ is also proper.

\begin{defn}\label{def-adaptednbhds}
Let  $({\mathfrak{X}},\Gamma,\Phi)$   be a minimal equicontinuous Cantor    action.
A properly descending chain of clopen sets ${\mathcal U} = \{U_{\ell} \subset {\mathfrak{X}}  \mid \ell \geq 0\}$ is said to be an \emph{adapted neighborhood basis} at $x \in {\mathfrak{X}}$ for the action $\Phi$,   if
    $x \in U_{\ell +1} \subset U_{\ell}$  is a proper inclusion for all $ \ell \geq 0$, with     $\cap_{\ell > 0}  \ U_{\ell} = \{x\}$, and  each $U_{\ell}$ is adapted to the action $\Phi$.
\end{defn}
Given $x \in {\mathfrak{X}}$ and   $\e > 0$, Proposition~\ref{prop-CO} implies there exists an adapted clopen set $U \in \CO({\mathfrak{X}})$ with $x \in U$ and $\diam(U) < \e$.  Thus, one can choose a descending chain ${\mathcal U}$ of adapted sets in $\CO({\mathfrak{X}})$ whose intersection is $x$, from which the following result follows:

\begin{prop}\label{prop-adpatedchain}
Let  $({\mathfrak{X}},\Gamma,\Phi)$   be a minimal equicontinuous Cantor    action. Given $x \in {\mathfrak{X}}$, there exists an adapted neighborhood basis ${\mathcal U}$ at $x$ for the action $\Phi$.
 \end{prop}

\subsection{Equivalence of Cantor actions}\label{subsec-equivalence}

We next recall the   notions of equivalence of  Cantor actions which we use in this work.
The first and strongest   is that  of
  {isomorphism} of Cantor actions, which   is a   generalization  of the usual notion of conjugacy of topological actions. For $\Gamma = {\mathbb Z}$, isomorphism corresponds to the notion of ``flip conjugacy'' introduced    in the work of Boyle and Tomiyama \cite{BoyleTomiyama1998}.
The definition below agrees with the usage in the papers     \cite{CortezMedynets2016,HL2018b,Li2018}.

 \begin{defn} \label{def-isomorphism}
Cantor actions $({\mathfrak{X}}_1, \Gamma_1, \Phi_1)$ and $({\mathfrak{X}}_2, \Gamma_2, \Phi_2)$ are said to be \emph{isomorphic}  if there is a homeomorphism $h \colon {\mathfrak{X}}_1 \to {\mathfrak{X}}_2$ and group isomorphism $\Theta \colon \Gamma_1 \to \Gamma_2$ so that
\begin{equation}\label{eq-isomorphism}
\Phi_1(g) = h^{-1} \circ \Phi_2(\Theta(g)) \circ h   \in   \Homeo({\mathfrak{X}}_1) \   \textrm{for  all} \ g \in \Gamma_1 \ .
\end{equation}
 \end{defn}

The notion of \emph{return equivalence} for Cantor actions is  weaker than the notion of isomorphism, and is natural when considering the Cantor systems defined by the holonomy actions for solenoidal manifolds, as considered in   the works  \cite{HL2018a,HL2018b,HL2019a}.

For a minimal equicontinuous Cantor action $({\mathfrak{X}}, \Gamma, \Phi)$ and   an adapted set $U \subset {\mathfrak{X}}$, by a small abuse of  notation, we use $\Phi_U$ to denote both the restricted action $\Phi_U \colon \Gamma_U \times U \to U$ and the induced quotient action $\Phi_U \colon H_U \times U \to U$ for $H_U = \Phi(G_U) \subset \Homeo(U)$. Then $(U, H_U, \Phi_U)$ is called the \emph{holonomy action} for $\Phi$, in analogy with the case where $U$ is a transversal to a solenoidal manifold, and
  $H_U$ is the holonomy group for this transversal.

   \begin{defn}\label{def-return}
Two minimal equicontinuous Cantor  actions $({\mathfrak{X}}_1, \Gamma_1, \Phi_1)$ and $({\mathfrak{X}}_2, \Gamma_2, \Phi_2)$ are  \emph{return equivalent} if there exists
  an adapted set $U_1 \subset {\mathfrak{X}}_1$ for the action $\Phi_1$   and
  an adapted set $U_2 \subset {\mathfrak{X}}_2$ for the action $\Phi_2$,
such that   the  restricted actions $(U_1, H_{1,U_1}, \Phi_{1,U_1})$ and $(U_2, H_{2,U_2}, \Phi_{2,U_2})$ are isomorphic.
\end{defn}
If the actions $\Phi_1$ and $\Phi_2$ are isomorphic in the sense of Definition~\ref{def-isomorphism}, then they are return equivalent with   $U_1 = {\mathfrak{X}}_1$ and $U_2 = {\mathfrak{X}}_2$. However, the notion of return equivalence is weaker even for this case, as the conjugacy is between the holonomy groups $H_{1,{\mathfrak{X}}_1}$ and $H_{2,{\mathfrak{X}}_2}$, and not the groups $\Gamma_1$ and $\Gamma_2$.

\subsection{Morita equivalence}\label{subsec-morita}

We next relate the notion of return equivalence  of Cantor actions with that of Morita equivalence of pseudogroups, as induced by a homeomorphism  between solenoidal manifolds. Let $h \colon {\mathcal S}_{{\mathcal P}} \to {\mathcal S}_{{\mathcal P}'}$ be a homeomorphism between solenoidal manifolds, defined by
$${\mathcal S}_{{\mathcal P}} \equiv \lim_{\longleftarrow} ~ \{ q_{\ell } \colon M_{\ell } \to M_{\ell -1}\} ~ \subset \prod_{\ell \geq 0} ~ M_{\ell} \quad  , \quad
{\mathcal S}_{{\mathcal P}'} \equiv \lim_{\longleftarrow} ~ \{ q'_{\ell } \colon M'_{\ell } \to M'_{\ell -1}\} ~ \subset \prod_{\ell \geq 0} ~ M'_{\ell} ~ ,
$$
with foliations ${\mathcal F}_{{\mathcal P}}$ and ${\mathcal F}_{{\mathcal P}'}$ defined by the path-connected components of each space, respectively.

Let  $\widehat{q}_0 \colon {\mathcal S}_{{\mathcal P}} \to M_0$  and  $\widehat{q}_0' \colon {\mathcal S}_{{\mathcal P}'} \to M'_0$  be the corresponding projection maps.
Then for choices of basepoints $x \in {\mathcal S}_{{\mathcal P}}$ and $x' \in {\mathcal S}_{{\mathcal P}'}$,   the Cantor fibers ${\mathfrak{X}} = \widehat{q}_0^{-1}(\widehat{q}_0(x))$  and ${\mathfrak{X}}' = (\widehat{q}'_0)^{-1}(\widehat{q}'_0(x'))$ are complete transversals to the foliations ${\mathcal F}_{{\mathcal P}}$ and ${\mathcal F}_{{\mathcal P}'}$, respectively.
The homeomorphism $h$ cannot be assumed to be fiber-preserving; that is, to satisfy $h({\mathfrak{X}}) = {\mathfrak{X}}'$. For example, the work \cite{CHL2019} studies the homeomorphisms between solenoidal manifolds induced by    lifts of   homeomorphisms between finite covering spaces  $\pi \colon {\widetilde{M}}_0 \to M_0$ and $\pi' \colon {\widetilde{M}}_0' \to M_0'$ in which case the map $h$ need not even be continuously deformable into a fiber-preserving map.

 Associated to the transversal ${\mathfrak{X}}$ for ${\mathcal F}_{{\mathcal P}}$ is a pseudogroup ${\mathcal G}$ modeled on ${\mathfrak{X}}$. The elements of  ${\mathcal G}$ are local homeomorphisms between open subsets $U,V \subset {\mathfrak{X}}$ induced by the holonomy transport along the leaves of ${\mathcal F}_{{\mathcal P}}$. The construction of these pseudogroups for smooth foliations is discussed by Haefliger in \cite{Haefliger1984,Haefliger2002a}, for example. The adaptation of these ideas to matchbox manifolds, where the transverse space is a Cantor set, is discussed in detail in the works \cite{ClarkHurder2013,CHL2019}.

 Associated to a non-empty open subset $W \subset {\mathfrak{X}}$, we can form the restricted pseudogroup ${\mathcal G}_W$ which consists of the elements of ${\mathcal G}$ whose domain and range are contained in $W$. As the foliation ${\mathcal F}_{{\mathcal P}}$ is minimal, that is, every leaf is dense in ${\mathcal S}_{{\mathcal P}}$,  the pseudogroups ${\mathcal G}$ and ${\mathcal G}_W$ are Morita equivalent in the sense of Haefliger in \cite{Haefliger1984}.
 The same remarks apply to the space ${\mathcal S}_{{\mathcal P}'}$ and so there is a restricted pseudogroup ${\mathcal G}'_{W'}$ for the pseudogroup ${\mathcal G}'$ modeled on ${\mathfrak{X}}'$ defined by the holonomy transport of ${\mathcal F}_{{\mathcal P}'}$.

The homeomorphism $h \colon {\mathcal S}_{{\mathcal P}} \to {\mathcal S}_{{\mathcal P}'}$ is  necessarily leaf-preserving, and a basic fact is that there exists non-empty open sets $W \subset {\mathfrak{X}}$ and $W' \subset {\mathfrak{X}}'$ such that  the homeomorphism $h$ induces an isomorphism between the restricted pseudogroups ${\mathcal G}_W$ and ${\mathcal G}'_{W'}$. This is discussed in detail in \cite[Section~2.4]{HL2018a}. Moreover, as the holonomy action of ${\mathcal G}$ on ${\mathfrak{X}}$ is equicontinuous, and likewise that for ${\mathcal G}'$ on ${\mathfrak{X}}'$, the open sets $W$ and $W'$ can be chosen to be clopen. Moreover,  ${\mathcal G}_W$ is the pseudogroup induced by a minimal equicontinuous  group action on $W$, and likewise for the action of ${\mathcal G}'_{W'}$ on $W'$, so $h$ induces a return equivalence between these group actions in the sense of Definition~\ref{def-return}.  Then by the remarks in Section~\ref{subsec-solenoids}, the algebraic model Cantor actions for the monodromy actions of ${\mathcal S}_{{\mathcal P}}$ and ${\mathcal S}_{{\mathcal P}'}$ are return equivalent.

 \subsection{Regularity of Cantor actions}\label{subsec-lqa}
 We next recall some regularity properties of Cantor actions. These are used in   the proof of Theorem~\ref{thm-nilstable} and the analysis of the examples constructed in Section~\ref{sec-examples}.

An action  $({\mathfrak{X}},\Gamma,\Phi)$ is   said to be  \emph{free} if for all $x \in {\mathfrak{X}}$ and $g \in \Gamma$,   $g \cdot x = x$ implies that $g = e$,   the identity of the group.
   The   notion of a \emph{topologically free} action is a generalization of free actions,    introduced by Boyle in his thesis \cite{Boyle1983}, and later  used  in the works by Boyle and Tomiyama \cite{BoyleTomiyama1998}   for the study of classification of general Cantor actions,     by   Renault \cite{Renault2008}   for the study of the $C^*$-algebras associated to Cantor actions, and by   Li \cite{Li2018} for proving    rigidity properties of Cantor actions. We recall this definition.

Let $\Fix(g) = \{x \in {\mathfrak{X}} \mid g \cdot x = x \}$, and define the \emph{isotropy set}
\begin{equation}\label{eq-isotropy}
 \Iso(\Phi) = \{ x \in {\mathfrak{X}} \mid \exists ~ g \in \Gamma ~ , ~ g \ne id ~, ~g \cdot x = x    \} = \bigcup_{e \ne g \in \Gamma} \ \Fix(g) \ .
\end{equation}

  \begin{defn}\cite{BoyleTomiyama1998,Li2018,Renault2008} \label{def-topfree}
  $({\mathfrak{X}},\Gamma,\Phi)$ is said to be \emph{topologically free}  if  $\Iso(\Phi) $ is meager in ${\mathfrak{X}}$.
 \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 \Gamma$ 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  of    {\'A}lvarez L{\'o}pez,   Candel, and Moreira Galicia  \cite{ALC2009,ALM2016}, is an alternative formulation of the topologically free property which generalizes to group Cantor actions   where the acting group can be countable or profinite.
  \begin{defn}\label{def-qa}
 An action $\Phi \colon H \times {\mathfrak{X}} \to {\mathfrak{X}}$, where
    $H$ is a topological group and  ${\mathfrak{X}}$ a Cantor space,    is said to be \emph{quasi-analytic} if for each clopen set $U \subset {\mathfrak{X}}$
  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  ${\mathfrak{X}}$.
  \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 was introduced  in the works \cite{DHL2016c,HL2018a}, and has proved very useful for the study of the dynamical properties of Cantor actions.
    \begin{defn}  \label{def-LQA}
   An action $\Phi \colon H \times {\mathfrak{X}} \to {\mathfrak{X}}$, where
    $H$ is a topological group and  ${\mathfrak{X}}$ 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 open set $U \subset {\mathfrak{X}}$ with $\diam (U) < \e$,  and  for any non-empty open 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}

 This reformulation of  the notion of   topologically free actions is the basis for the following notion.
 \begin{defn}\label{def-stable2}
 A minimal equicontinuous Cantor action  $({\mathfrak{X}}, \Gamma, \Phi)$ is said to be \emph{stable} if the action of its profinite closure ${\mathfrak{G}}(\Phi)$ on ${\mathfrak{X}}$ is locally quasi-analytic, and otherwise is  a \emph{wild} action.
 \end{defn}

Wild Cantor actions include the actions of  weakly  branch groups on their boundaries
\cite{BartholdiGrigorchuk2000,BartholdiGrigorchuk2002,BGS2012,DudkoGrigorchuk2017,Grigorchuk2011,Nekrashevych2005,Nekrashevych2016},   actions of higher rank arithmetic lattices on quotients of their profinite completions \cite{HL2018a}, and various constructions of subgroups of wreath product groups acting on trees \cite{ALBLLN2020}.

 \section{Steinitz orders of Cantor actions}\label{sec-supernatural}

In this section, we  recall  the properties of the Steinitz orders of profinite groups from the texts \cite{RZ2000,Wilson1998}, then consider the invariance properties of the Steinitz orders associated to a minimal equicontinuous Cantor action. This yields
   proofs of Theorems~\ref{thm-isoinvariance}, \ref{thm-returnequivorder} and \ref{thm-returnequivspectra}.
  We then recall the algebraic model for a minimal equicontinuous action, and derive the Steinitz orders of a Cantor action  in terms of this algebraic model. The algebraic models are used in the proof of Theorem~\ref{thm-main1} in Section~\ref{subsec-solenoids}, and for the constructions of examples in Section~\ref{sec-examples}.

\subsection{Abstract Steinitz orders}\label{subsec-sodefs}
We begin with the definitions and basic properties of the Steinitz orders associated to profinite groups.
\begin{defn}\label{def-steinitzprofinite}
 Let ${\mathfrak{H}} \subset {\mathfrak{G}}$ be a closed subgroup  of the profinite group ${\mathfrak{G}}$. Then
  \begin{equation}\label{eq-relativeorder}
\Pi[{\mathfrak{G}} : {\mathfrak{H}}] =   LCM \{\# \ {\mathfrak{G}}(\Phi)/({\mathfrak{N}} \cdot {\mathfrak{H}})  \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{clopen normal subgroup}\}
\end{equation}
is the \emph{relative Steinitz order} of ${\mathfrak{H}}$ in ${\mathfrak{G}}$. The \emph{Steinitz order} of ${\mathfrak{G}}$ is
$\Pi[{\mathfrak{G}}] = \Pi[{\mathfrak{G}} : \{\widehat{e}\}]$, where   $\{\widehat{e}\}$ is the identity subgroup.
\end{defn}
  \begin{ex}\label{ex-computeLCM}
{\rm
For readers unfamiliar with computations using Steinitz numbers we provide an example computation of $LCM(a,b)$. Suppose $a$ and $b$ are Steinitz numbers. Then $a = \prod_{p \in \pi} p^{n(p)}$ and $b = \prod_{p \in \pi} p^{m(p)}$, where $\pi$ is the set of distinct prime numbers. Then
  $$LCM(a,b) = \prod_{p \in \pi} p^{\max\{n(p),m(p)\}}.$$
In particular, if $\{m_\ell\}_{\ell \geq 1}$ is a sequence of integers, then $LCM\{m_1 \cdot m_2 \cdots m_\ell \mid 1 \leq \ell \leq k\} = m_1 \cdots m_k$, considered as a Steinitz number.  Then $LCM\{m_1 \cdots m_\ell \mid \ell \geq 1\} = \prod_{p \in \pi} p^{n(p)}$ is a Steinitz number, where for each $p \in \pi$ the exponent $n(p)$ is the number of times which $p$ appears as a divisor of the elements in $\{m_\ell \mid \ell \geq 1\}$.
}
\end{ex}

We also note   the   profinite version of Lagrange's Theorem:
\begin{prop}\cite[Proposition~2.1.2]{Wilson1998} \label{prop-lagrange}
 Let ${\mathfrak{K}} \subset {\mathfrak{H}} \subset {\mathfrak{G}}$ be a closed subgroups  of the profinite group ${\mathfrak{G}}$. Then
  \begin{equation}\label{eq-relativeorder2}
\Pi[{\mathfrak{G}} : {\mathfrak{K}}] =   \Pi[{\mathfrak{G}} : {\mathfrak{H}}] \cdot \Pi[{\mathfrak{H}} : {\mathfrak{K}}] \ ,
\end{equation}
where the multiplication is taken in the sense of Steinitz numbers.
\end{prop}

 Now let $({\mathfrak{X}}, \Gamma, \Phi)$ be a minimal equicontinuous Cantor action, with   basepoint $x \in {\mathfrak{X}}$. Recall the \emph{Steinitz orders} of the action, as   in  Definition~\ref{def-steinitzorderaction}:
  \begin{itemize}
\item $\Pi[{\mathfrak{G}}(\Phi)] =  LCM \{\# \ {\mathfrak{G}}(\Phi)/{\mathfrak{N}}  \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{open normal subgroup}\}$,
\item $\Pi[{\mathfrak{D}}(\Phi)] =  LCM \{\# \ {\mathfrak{D}}(\Phi,x)/({\mathfrak{N}} \cap {\mathfrak{D}}(\Phi,x)) \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{open normal subgroup}\}$,
\item $\Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi)] =  LCM \{\# \ {\mathfrak{G}}(\Phi)/({\mathfrak{N}} \cdot {\mathfrak{D}}(\Phi,x))  \mid  {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{open normal subgroup}\} $.
\end{itemize}
We   consider the dependence of these Steinitz orders on the choices made  and the conjugacy class of the action.
First note that the profinite group ${\mathfrak{G}}(\Phi)$  does not depend on a choice of basepoint, so this also holds for $\Pi[{\mathfrak{G}}(\Phi)]$.

 Given basepoints $x,y \in {\mathfrak{X}}$ there exists $\widehat{g}_{x,y} \in {\mathfrak{G}}(\Phi)$ such that $\widehat{g}_{x,y}   x = y$. Then the conjugation action of $\widehat{g}_{x,y}$ on ${\mathfrak{G}}(\Phi)$ induces a topological isomorphism of ${\mathfrak{D}}(\Phi,x)$ with ${\mathfrak{D}}(\Phi, y)$, and maps a clopen subset of ${\mathfrak{G}}(\Phi)$ to a clopen subset of ${\mathfrak{G}}(\Phi)$. Then from the definition, we have    $\Pi[{\mathfrak{D}}(\Phi,x)] = \Pi[{\mathfrak{D}}(\Phi, y)]$, and  $\Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi, x)]  =  \Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi, y)]$.

Let  $({\mathfrak{X}}_1, \Gamma_1, \Phi_1)$ and $({\mathfrak{X}}_2, \Gamma_2, \Phi_2)$ be isomorphic minimal equicontinuous Cantor actions.  By
Definition~\ref{def-isomorphism}
there is a homeomorphism $h \colon {\mathfrak{X}}_1 \to {\mathfrak{X}}_2$ and group isomorphism $\Theta \colon \Gamma_1 \to \Gamma_2$ so that
\begin{equation}\label{eq-isomorphism33}
\Phi_1(g) = h^{-1} \circ \Phi_2(\Theta(g)) \circ h   \in   \Homeo({\mathfrak{X}}_1) \   \textrm{for  all} \ g \in \Gamma_1 \ .
\end{equation}
Let $\Phi_2' = \Phi_2 \circ \Theta \colon \Gamma_1 \to \Homeo({\mathfrak{X}}_2)$, then the images are equal, $\Phi_2(\Gamma) = \Phi_2'(\Gamma)$ and hence so also their closures, ${\mathfrak{G}}(\Phi_2) = {\mathfrak{G}}(\Phi_2')$.
The identity  \eqref{eq-isomorphism33} implies that $h$ induces a topological isomorphism between ${\mathfrak{G}}(\Phi_1)$ and ${\mathfrak{G}}(\Phi_2')$ and so also between ${\mathfrak{G}}(\Phi_1)$ and ${\mathfrak{G}}(\Phi_2)$.
Thus $\Pi({\mathfrak{G}}(\Phi_1)) = \Pi({\mathfrak{G}}(\Phi_2))$.

Given $x \in {\mathfrak{X}}_1$ let $y = h(x) \in {\mathfrak{X}}_2$, by \eqref{eq-isomorphism33}  the map $h$ induces an isomorphism between ${\mathfrak{D}}(\Phi_1, x)$ and ${\mathfrak{D}}(\Phi_2, y)$, and maps clopen subsets of ${\mathfrak{G}}(\Phi_1)$ to clopen subsets of ${\mathfrak{G}}(\Phi_2)$.
Thus  $\Pi[{\mathfrak{D}}(\Phi_1,x)] = \Pi[{\mathfrak{D}}(\Phi_2, y)]$
and $\Pi[{\mathfrak{G}}(\Phi_1) : {\mathfrak{D}}(\Phi_1, x)] =  \Pi[{\mathfrak{G}}(\Phi_2) : {\mathfrak{D}}(\Phi_2, y)]$.

 These observations  complete the proof of Theorem~\ref{thm-isoinvariance}.

\subsection{Orders and return equivalence}\label{subsec-re}
We next consider  how the Steinitz orders behave under return equivalence of actions, and obtain the  proofs of Theorems~\ref{thm-returnequivorder} and \ref{thm-returnequivspectra}.

 Let  $({\mathfrak{X}}_1, \Gamma_1, \Phi_1)$ and $({\mathfrak{X}}_2, \Gamma_2, \Phi_2)$ be  minimal equicontinuous Cantor actions, and assume that the actions are return equivalent. That is, we assume  there exists
  an adapted set $U_1 \subset {\mathfrak{X}}_1$ for the action $\Phi_1$   and
  an adapted set $U_2 \subset {\mathfrak{X}}_2$ for the action $\Phi_2$,
such that   the  restricted actions $(U_1, H_{1,U_1}, \Phi_{1,U_1})$ and $(U_2, H_{2,U_2}, \Phi_{2,U_2})$ are isomorphic, with the isomorphism induced by a homeomorphism $h \colon U_1 \to U_2$.
Thus, the profinite closures
$${\mathfrak{H}}_1 = \overline{H_{1,U_1}} \subset \Homeo(U_1) \, \textrm{ and } \, {\mathfrak{H}}_2 =    \overline{H_{2,U_2}} \subset \Homeo(U_2)$$
are isomorphic. Fix a basepoint $x_1 \in {\mathfrak{X}}_1$ and set $x_2 = h(x_1) \in U_2$, then the  map $h$ induces an isomorphism between the  isotropy subgroups of the restricted actions, ${\mathfrak{D}}(\Phi_1|U_1 , x_1)$ and ${\mathfrak{D}}(\Phi_2|U_2 , x_2)$.

Our first result is that the asymptotic relative Steinitz order is an invariant of return equivalence.
 \begin{prop}\label{prop-relativeinv}
  Let  $({\mathfrak{X}}_1, \Gamma_1, \Phi_1)$ and $({\mathfrak{X}}_2, \Gamma_2, \Phi_2)$ be  minimal equicontinuous Cantor actions which are return equivalent. Then
  \begin{equation} \label{eq-asymporders3}
  \Pi_a[{\mathfrak{G}}(\Phi_1):{\mathfrak{D}}(\Phi_1)]   =    \Pi_a[{\mathfrak{G}}(\Phi_2) : {\mathfrak{D}}(\Phi_2)]   \ .
\end{equation}
 \end{prop}
 \proof
For $i=1,2$,    consider the   isotropy subgroup of $U_i$
\begin{equation}
{\mathfrak{G}}(\Phi_i)_{U_i} = \left\{ \widehat{g} \in {\mathfrak{G}}(\Phi_i) \mid \widehat{\Phi}_i(\widehat{g})(U_i) = U_i \right\} \ .
\end{equation}
Then ${\mathfrak{G}}(\Phi_i)_{U_i}$ is a clopen subgroup   in ${\mathfrak{G}}(\Phi_i)$, so has finite index $m_i = [{\mathfrak{G}}(\Phi_i) : {\mathfrak{G}}(\Phi_i)_{U_i}] = [\Gamma_i : \Gamma_{i,U_i}]$.  Note that since for any $\widehat{g} \in {\mathfrak{D}}(\Phi_i,x_i)$ we have $\widehat{g} x = x$, it follows that the action of $\widehat{g}$ preserves $U_i$, and so ${\mathfrak{D}}(\Phi_i,x_i) \subset {\mathfrak{G}}(\Phi_i)_{U_i}$.

The induced map $\widehat{\Phi}_i|U_i \colon {\mathfrak{G}}(\Phi_i)_{U_i} \to {\mathfrak{H}}_i$ is onto, and
 the kernel  ${\mathfrak{K}}_i = \ker \{ \widehat{\Phi}_i|U_i \colon {\mathfrak{G}}(\Phi_i)_{U_i} \to {\mathfrak{H}}_i\}$ is a closed subgroup of ${\mathfrak{G}}(\Phi_i)_{U_i}$ with ${\mathfrak{K}}_i \subset {\mathfrak{D}}(\Phi_i , x_i)$,  since every element of ${\mathfrak{K}}_i$ fixes $x_i$.

Let ${\mathfrak{M}}_i \subset {\mathfrak{H}}_i$ be an open   subgroup with ${\mathfrak{D}}(\Phi_i|U_i , x_i) \subset {\mathfrak{M}}_i$, then ${\mathfrak{N}}_i = (\widehat{\Phi}_i|U_i)^{-1}({\mathfrak{M}}_i)$ is an open   subgroup of ${\mathfrak{G}}(\Phi_i)_{U_i}$ with ${\mathfrak{K}}_i \subset {\mathfrak{D}}(\Phi_i, x_i) \subset {\mathfrak{N}}_i$.  Here ${\mathfrak{D}}(\Phi_i,x_i)$ is the isotropy group of the action of ${\mathfrak{G}}(\Phi_i)$ on ${\mathfrak{X}}_i$, and ${\mathfrak{D}}(\Phi|U_i,x_i)$ is the isotropy subgroup of the action of ${\mathfrak{H}}_i \subset Homeo(U_i)$ on $U_i$.

Conversely, let ${\mathfrak{N}}_i \subset {\mathfrak{G}}(\Phi_i)_{U_i}$ be an open subgroup with  ${\mathfrak{D}}(\Phi_i,x_i) \subset {\mathfrak{N}}_i$.
Then by \cite[Lemma 2.1.2]{RZ2000}, ${\mathfrak{N}}_i$ is closed with  finite index in  ${\mathfrak{G}}(\Phi_i)_{U_i}$   and hence also in ${\mathfrak{G}}(\Phi_i)$, so  it is clopen hence compact.
Thus the image ${\mathfrak{M}}_i = \widehat{\Phi}_i|U_i({\mathfrak{N}}_i) \subset {\mathfrak{H}}_i$ is a closed subgroup of finite index. Then   \cite[Lemma 2.1.2]{RZ2000} implies it is clopen in ${\mathfrak{H}}_i$, and
${\mathfrak{D}}(\Phi_i|U_i , x_i) \subset {\mathfrak{M}}_i$. It follows from Definition~\ref{def-steinitzorderaction} that, for $i=1,2$,
\begin{equation}\label{eq-relindex}
\Pi[{\mathfrak{G}}(\Phi_i)_{U_i} :{\mathfrak{D}}(\Phi_i, x_i)] = \Pi[{\mathfrak{H}}_i : {\mathfrak{D}}(\Phi_i |U_i , x_i)] \ .
\end{equation}
The homeomorphism $h \colon U_1 \to U_2$ conjugates the actions $(U_1, {\mathfrak{H}}_1, \widehat{\Phi}_1)$ and  $(U_2, {\mathfrak{H}}_2, \widehat{\Phi}_2)$ so by the results in Section~\ref{subsec-sodefs} we have   for the restricted actions
  $$\Pi[{\mathfrak{H}}_1 : {\mathfrak{D}}(\Phi_1 |U_1 , x_1)] = \Pi[{\mathfrak{H}}_2 : {\mathfrak{D}}(\Phi_2 |U_2 , x_2)].$$
 The equality of the asymptotic Steinitz orders in \eqref{eq-asymporders3} then follows.
 \endproof

 Theorem \ref{thm-returnequivorder} follows immediately from Proposition~\ref{prop-relativeinv}.

 The equality \eqref{eq-relindex} is the key to the proof of Proposition~\ref{prop-relativeinv}. This identity is based on the property that the homomorphism  from  ${\mathfrak{G}}(\Phi_i)_{U_i}$ to ${\mathfrak{H}}_i$ has kernel  ${\mathfrak{K}}_i \subset {\mathfrak{D}}(\Phi_i, x_i)$,  so the contributions to the Steinitz orders ${\mathfrak{G}}(\Phi_i)_{U_i}$ and ${\mathfrak{D}}(\Phi_i, x_i)$ from the subgroup ${\mathfrak{K}}_i$ cancels out in the relative order $\Pi[{\mathfrak{G}}(\Phi_i)_{U_i} : {\mathfrak{D}}(\Phi_i, x_i)]$. However,  the absolute Steinitz orders $\Pi[{\mathfrak{G}}(\Phi_i)_{U_i}]$ and $\Pi[{\mathfrak{D}}(\Phi_i, x_i)]$ may indeed include a factor coming from the Steinitz order $\Pi[{\mathfrak{K}}_i]$. Example~5.3 in \cite{HL2020a} illustrates this.

  For actions with trivial discriminant, Proposition~\ref{prop-relativeinv} has the following consequence:

\begin{cor}\label{cor-2}
Let  $({\mathfrak{X}}, \Gamma, \Phi)$   be  a minimal equicontinuous Cantor action with trivial discriminant invariant. Then the asymptotic Steinitz order $\Pi_a[{\mathfrak{G}}(\Phi)]$ is a return equivalence invariant.
\end{cor}

\proof
In the notation of Proposition \ref{prop-relativeinv}, by assumption we have ${\mathfrak{D}}(\Phi_1, x_1)$ is the trivial group.  For an adapted clopen set $U_1 \subset {\mathfrak{X}}_1$ with  $x_1 \in U_1$, we have ${\mathfrak{D}}(\Phi_1 | U_1, x_1)$ is a quotient of ${\mathfrak{D}}(\Phi_1, x_1)$ hence is  also trivial. Thus,
\begin{equation}\label{eq-localconjugacy}
\Pi_a[{\mathfrak{G}}(\Phi_1)] = \Pi_a[{\mathfrak{G}}(\Phi_1 | U_1)] = \Pi_a[{\mathfrak{G}}(\Phi_1 | U_1) : {\mathfrak{D}}(\Phi_1 | U_1, x_1)] \ .
\end{equation}
Let $({\mathfrak{X}}_2,\Gamma_2,\Phi_2)$ be return equivalent to $({\mathfrak{X}}_1,\Gamma_1,\Phi_1)$, then the restricted actions $(U_1,H_{1,U_1},\Phi_{1,U_1})$ and $(U_2,H_{2,U_2},\Phi_{2,U_2})$ are isomorphic, which induces a topological isomorphism of the discriminant groups ${\mathfrak{D}}(\Phi_1|U_1 , x_1)$ and ${\mathfrak{D}}(\Phi_2|U_2 , x_2)$, and implies that ${\mathfrak{D}}(\Phi_2|U_2,x_2)$ is trivial.  Using this remark,  a formula analogous to \eqref{eq-localconjugacy} for the action $({\mathfrak{X}}_2,\Gamma_2,\Phi_2)$, and Proposition~\ref{prop-relativeinv}, we obtain the claim.
\endproof

Now consider the behavior of the Steinitz orders $\Pi[{\mathfrak{G}}(\Phi)]$ and $\Pi[{\mathfrak{D}}(\Phi, x)]$ under return equivalence of actions. The idea is to use the observation that the action of ${\mathfrak{G}}(\Phi)$ on ${\mathfrak{X}}$ is effective (by definition) to construct an effective action map of ${\mathfrak{D}}(\Phi, x)$ which can be related to a similar construction for a return equivalent action, and so obtain a comparison of their Steinitz orders.
This yields  the proof of Theorem \ref{thm-returnequivspectra}.

 Let  $({\mathfrak{X}}_1, \Gamma_1, \Phi_1)$ and $({\mathfrak{X}}_2, \Gamma_2, \Phi_2)$ be  minimal equicontinuous Cantor actions, and assume that the actions are return equivalent: for
  an adapted set $U_1 \subset {\mathfrak{X}}_1$ for the action $\Phi_1$   and
  an adapted set $U_2 \subset {\mathfrak{X}}_2$ for the action $\Phi_2$,
  there is a homeomorphism  $h \colon U_1 \to U_2$ which conjugates
  the  restricted actions $(U_1, H_{1,U_1}, \Phi_{1,U_1})$ and $(U_2, H_{2,U_2}, \Phi_{2,U_2})$.

For $i=1,2$,   the action of ${\mathfrak{G}}(\Phi_i)$ on ${\mathfrak{X}}_i$ is effective, as ${\mathfrak{G}}(\Phi_i) \subset \Homeo({\mathfrak{X}}_i)$.
Recall that
$${\mathfrak{H}}_i  = \overline{H_{i,U_i}} = \left\{ \widehat{\Phi}_i(\widehat{g}) \mid \widehat{g} \in  {\mathfrak{G}}(\Phi_i)_{U_i} \right\}  \subset  \Homeo(U_i)  \ .$$

   Choose representatives $\{ h_{i,j} \in \Gamma_i \mid   1 \leq j \leq m_i\}$ of the cosets of $\Gamma_i/\Gamma_{i,U_i}$ with $h_{i,1}$ the identity element,  and set
$U_{i,j} = \Phi_i(h_{i,j})(U_i)$. Thus $U_{i,1} = U_i$, and we have a partition ${\mathfrak{X}}_i = U_{i,1} \cup \cdots \cup U_{i,m_i}$.

Introduce the normal core of ${\mathfrak{G}}(\Phi_i)_{U_i}$ given by
\begin{equation}
{\mathfrak{N}}(\Phi_i) = \bigcap_{j=1}^{m_i} \ \Phi_i(h_{i,j})^{-1} \cdot {\mathfrak{G}}(\Phi_i)_{U_i} \cdot \Phi_i(h_{i,j}) \subset {\mathfrak{G}}(\Phi_i)_{U_i} \ ,
\end{equation}
which is a clopen subgroup of ${\mathfrak{G}}(\Phi_i)$ of finite index $n_i = [{\mathfrak{G}}(\Phi_i) : {\mathfrak{N}}(\Phi_i)]$, where $m_i$ divides $n_i$.
In particular, we have $[{\mathfrak{G}}(\Phi_i)_{U_i} : {\mathfrak{N}}(\Phi_i)] < n_i$.

The fact that ${\mathfrak{N}}(\Phi_i)$ is a normal subgroup of ${\mathfrak{G}}(\Phi_i)$ implies  that the action of ${\mathfrak{N}}(\Phi_i)$ on the partition of ${\mathfrak{X}}_i$ maps each of the sets $U_{i,j}$ to itself.

 Recall that $\widehat{\Phi}_i: {\mathfrak{G}}(\Phi_i) \to Homeo({\mathfrak{X}}_i)$ is the action of the profinite completion of $({\mathfrak{X}}_i,\Gamma_i,\Phi_i)$, $i=1,2$.

For $\widehat{g} \ne \widehat{e}$,  the action of $\widehat{\Phi}_i(\widehat{g})$ on ${\mathfrak{X}}_i$ is non-trivial, so if  $\widehat{g} \in {\mathfrak{N}}(\Phi_i)$ also, then for some $1 \leq j \leq m_i$ the restricted action of $\widehat{\Phi}_i(\widehat{g})$ on $U_{i,j}$ must be non-trivial. That is, for some $j$ we have
\begin{equation}
\widehat{g}  \not\in   \ker \left\{ \widehat{\Phi}_{i,j} \equiv  \widehat{\Phi}_i | U_{i,j} \colon {\mathfrak{N}}(\Phi_i) \to \Homeo(U_{i,j})   \right\} \ .
\end{equation}
Define a representation ${\widehat{\rho}}_i$ of ${\mathfrak{N}}(\Phi_i)$ into a product of $m_i$ copies of ${\mathfrak{H}}_i$ by setting, for $\widehat{g} \in {\mathfrak{N}}(\Phi_i)$,
\begin{equation}\label{eq-prodrep}
{\widehat{\rho}}_i \colon {\mathfrak{N}}(\Phi_i) \to {\mathfrak{H}}_i  \times \cdots \times {\mathfrak{H}}_i  \quad , \quad {\widehat{\rho}}_i(\widehat{g}) = \widehat{\Phi}_i^1(\widehat{g})  \times \cdots \times \widehat{\Phi}_i^{m_i}(\widehat{g}) \ ,
\end{equation}
where we use that ${\mathfrak{N}}(\Phi_i)$ is normal in $ {\mathfrak{G}}(\Phi_i)$, so for $\widehat{g} \in {\mathfrak{N}}(\Phi_i)$ the following is well-defined:
$$\widehat{\Phi}_i^j(\widehat{g}) = \Phi_i(h_{i,j})^{-1} \circ \widehat{\Phi}_{i,j}(\widehat{g})  \circ \Phi_i(h_{i,j}) =   \widehat{\Phi}_i(h_{i,j}^{-1} \ \widehat{g} \ h_{i,j}) | U_{i}  \in {\mathfrak{H}}_i \ .$$
The kernel of  ${\widehat{\rho}}_i$ is trivial by the above arguments,  so there is an isomorphism ${\mathfrak{N}}(\Phi_i) \cong {\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i))$.
  This diagonal   trick to obtain the injective map ${\widehat{\rho}}_i$ was first used   in the proof of   \cite[Theorem~1.2]{HL2020a}.

  The index $n_i = [{\mathfrak{G}}(\Phi_i) : {\mathfrak{N}}(\Phi_i)] < \infty$, so we have     \begin{equation}\label{eq-compare1}
   [{\mathfrak{G}}(\Phi_i)] \mor [{\mathfrak{G}}(\Phi_i)_{U_i}] \mor [{\mathfrak{N}}(\Phi_i)] = [{\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i))] \ .
   \end{equation}

 Let $p_{i,1} \colon {\mathfrak{H}}_i \times \cdots \times {\mathfrak{H}}_i \to {\mathfrak{H}}_i$ denote the projection onto the first factor.
    Then the composition   $p_{i,1} \circ {\widehat{\rho}}_i$  equals  the restriction to ${\mathfrak{N}}(\Phi_i)$ of the map
  $\widehat{\Phi}_{i,U_i} \colon {\mathfrak{G}}(\Phi_i)_{U_i} \to {\mathfrak{H}}_i$. Let
  $${\mathfrak{L}}_i = \ker \ p_{i,1} \colon  {\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i)) \to \widehat{\Phi}_{i,U_i}({\mathfrak{N}}(\Phi_i))$$
  denote the kernel of the restriction of $p_{i,1}$. Then by
    Proposition~\ref{prop-lagrange} applied to the inclusions $\{\widehat{e}\} \subset {\mathfrak{L}}_i \subset {\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i))$, by the
identity \eqref{eq-relativeorder2} we have
$  \Pi[{\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i))] =   \Pi[{\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i)) : {\mathfrak{L}}_i] \cdot \Pi[{\mathfrak{L}}_i ]$.

Since by the first isomorphism theorem $\widehat{\Phi}_{i,U_i}({\mathfrak{N}}(\Phi_i)) = {\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i)) /{\mathfrak{L}}_i$, then
$$ \Pi[{\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i)) : {\mathfrak{L}}_i] = \Pi[\widehat{\Phi}_{i,U_i}({\mathfrak{N}}(\Phi_i))],$$
and thus we have the inequality of Steinitz orders $ [\widehat{\Phi}_{i,U_i}({\mathfrak{N}}(\Phi_i))]  \leq [{\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i))]$.

Now note that     ${\mathfrak{N}}(\Phi_i)$  has finite index in ${\mathfrak{G}}(\Phi_i)_{U_i}$ implies the same holds for its image under $\widehat{\Phi}_{i,U_i}$, so we have
  $[\widehat{\Phi}_{i,U_i}({\mathfrak{N}}(\Phi_i))] \mor [{\mathfrak{H}}_i]$.
  Thus we have the   estimate on Steinitz orders
  \begin{equation}\label{eq-compare2}
[{\mathfrak{H}}_i] \mor [\widehat{\Phi}_{i,U_i}({\mathfrak{N}}(\Phi_i))]  \leq [{\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i))] \ .
\end{equation}

On the other hand, from the embedding in \eqref{eq-prodrep} we have
\begin{equation}\label{eq-compare3}
[{\widehat{\rho}}_i({\mathfrak{N}}(\Phi_i))] \leq [{\mathfrak{H}}_i] \cdots [{\mathfrak{H}}_i] = [{\mathfrak{H}}_i]^{m_i} \ .
\end{equation}
Combining the estimates \eqref{eq-compare1}, \eqref{eq-compare2}, and \eqref{eq-compare3} we obtain that $\pi_{\infty}([{\mathfrak{H}}_i]) = \pi_{\infty}({\mathfrak{N}}(\Phi_i)) = \pi_{\infty}({\mathfrak{G}}(\Phi_i))$. Moreover,  $\pi_{f}([{\mathfrak{H}}_i])$  and  $\pi_{f}({\mathfrak{G}}(\Phi_i))$ differ by at most a finite subset of primes.
As ${\mathfrak{H}}_1$ and ${\mathfrak{H}}_2$ are topologically isomorphic, this shows that the prime spectra of ${\mathfrak{G}}(\Phi_1)$  and ${\mathfrak{G}}(\Phi_2)$
satisfy the claim of Theorem~\ref{thm-returnequivspectra}.

We can apply the same analysis as above to the isotropy subgroups ${\mathfrak{D}}(\Phi_1, x_1)$  and ${\mathfrak{D}}(\Phi_2, x_2)$ to obtain the stated relations between their prime spectra, completing the proof of  Theorem~\ref{thm-returnequivspectra}.

\subsection{Algebraic model} \label{subsec-algmodel}

In this section we reformulate the abstract  Definition~\ref{def-steinitzprofinite} of the Steinitz order invariants in terms of  an  algebraic model for a Cantor action. This  provides an effective method of calculating and working with these invariants.
  We first  recall the construction of the algebraic models for an action  $({\mathfrak{X}}, \Gamma, \Phi)$ and  its profinite completion.

 For $x \in {\mathfrak{X}}$, by Proposition~\ref{prop-adpatedchain} there exists an adapted neighborhood basis ${\mathcal U} = \{U_{\ell} \subset {\mathfrak{X}}  \mid \ell \geq 0\}$ at $x$ for the action $\Phi$.
  Let    $\Gamma_{\ell} = \Gamma_{U_{\ell}}$ denote the stabilizer group of $U_{\ell}$.
Then  we obtain a strictly descending chain of finite index subgroups
 \begin{equation}\label{eq-groupchain}
 {\mathcal G}^x_{{\mathcal U}} = \{\Gamma = \Gamma_0 \supset \Gamma_1 \supset \Gamma_2 \supset \cdots \} \ .
\end{equation}
Note that each $\Gamma_{\ell}$ has finite index in $\Gamma$, and is not assumed to be a normal subgroup.  Also note that while the intersection of the chain ${\mathcal U}$ is a single point $\{x\}$, the intersection of the stabilizer groups   in  ${\mathcal G}^x_{{\mathcal U}}$ need not be the trivial group.

Next, set $X_{\ell} = \Gamma/\Gamma_{\ell}$ and note that  $\Gamma$ acts transitively on the left on   $X_{\ell}$.
The inclusion $\Gamma_{\ell +1} \subset \Gamma_{\ell}$ induces a natural $\Gamma$-invariant quotient map $p_{\ell +1} \colon X_{\ell +1} \to X_{\ell}$.
 Introduce the inverse limit
 \begin{eqnarray}
X_{\infty} & \equiv &  \lim_{\longleftarrow} ~ \{ p_{\ell +1} \colon X_{\ell +1} \to X_{\ell}  \mid \ell \geq 0 \} \label{eq-invlimspace}\\
& = &  \{(x_0, x_1, \ldots ) \in X_{\infty}  \mid p_{\ell +1 }(x_{\ell + 1}) =  x_{\ell} ~ {\rm for ~ all} ~ \ell \geq 0 ~\} ~ \subset \prod_{\ell \geq 0} ~ X_{\ell} \  ,  \nonumber
\end{eqnarray}
which is a Cantor space with the Tychonoff topology, and the actions of $\Gamma$ on the factors $X_{\ell}$ induce    a minimal  equicontinuous action on the inverse limit, denoted by  $\Phi_x \colon G \times X_{\infty} \to X_{\infty}$. Denote the points in $X_{\infty}$ by
$x = (x_{\ell}) \in X_{\infty}$. There is a natural basepoint $x_{\infty} \in X_{\infty}$ given by the cosets of the identity element $e \in \Gamma$, so $x_{\infty} = (e \Gamma_{\ell})$. A basis of  neighborhoods of $x_{\infty}$ is given by the clopen sets
\begin{equation}\label{eq-openbasis}
U_{\ell} = \left\{ x = (x_{\ell}) \in X_{\infty}   \mid  x_i = e \Gamma_i \in X_i~, ~ 0 \leq i < \ell ~  \right\} \subset X_{\infty} \ .
\end{equation}

 For each $\ell \geq 0$, we have the ``partition coding map'' $\Theta_{\ell} \colon {\mathfrak{X}} \to X_{\ell}$ which is $G$-equivariant.  The maps $\{\Theta_{\ell}\}$ are compatible with the   map on quotients in \eqref{eq-invlimspace}, and so they induce a  limit map $\Theta_x \colon {\mathfrak{X}} \to X_{\infty}$. The fact that the diameters of the clopen sets $\{U_{\ell}\}$ tend to zero, implies that $\Theta_x$ is a homeomorphism.  Moreover, $\Theta_x(x) =  x_{\infty} \in X_{\infty}$.
 \begin{thm}\cite[Appendix~A]{DHL2016a}
 The map $\Theta_x \colon  {\mathfrak{X}} \to X_{\infty}$ induces an isomorphism of the Cantor actions $({\mathfrak{X}},\Gamma,\Phi)$ and $(X_{\infty}, \Gamma, \Phi_x)$.
 \end{thm}
 The   action $(X_{\infty}, G, \Phi_x)$   is called the \emph{odometer model} centered at $x$ for the action $({\mathfrak{X}},\Gamma,\Phi)$.
 The dependence of the model   on the choices of a base point $x \in {\mathfrak{X}}$ and adapted neighborhood basis ${\mathcal U}$ is discussed in detail in the   works \cite{DHL2016a,FO2002,HL2018a,HL2019a}.

 Next, we develop the algebraic model for the profinite action  $\widehat{\Phi} \colon {\mathfrak{G}}(\Phi) \times {\mathfrak{X}} \to {\mathfrak{X}}$ of the completion  ${\mathfrak{G}}(\Phi) \equiv \overline{\Phi(\Gamma)} \subset \Homeo({\mathfrak{X}})$.
Fix a choice of group chain $\{\Gamma_{\ell} \mid \ell \geq 0\}$ as above, which provides an algebraic model for the action $({\mathfrak{X}},\Gamma,\Phi)$.

 For each $\ell \geq 1$, let $C_{\ell} \subset \Gamma_{\ell}$ denote the \emph{core} of   $\Gamma_{\ell}$, that is, the largest normal subgroup of   $\Gamma_{\ell}$. So
\begin{equation}\label{eq-core}
C_{\ell} ~ = {\rm Core}(\Gamma_{\ell}) ~ = ~ \bigcap_{g \in \Gamma} ~ g \ \Gamma_{\ell} \ g^{-1} ~ \subset \Gamma_{\ell} ~ .
\end{equation}
As   $\Gamma_{\ell}$ has finite index in $\Gamma$, the same holds for $C_{\ell}$. Observe that for all $\ell \geq 0$,   we have $C_{\ell +1} \subset C_{\ell}$.

Introduce the quotient group  $Q_{\ell} = \Gamma/C_{\ell}$ with identity element $e_{\ell} \in Q_{\ell}$. There are natural quotient maps $q_{\ell+1} \colon Q_{\ell +1} \to Q_{\ell}$, and we can form the inverse limit group
  \begin{eqnarray}
\widehat{\Gamma}_{\infty} & \equiv &  \lim_{\longleftarrow} ~ \{ q_{\ell +1} \colon Q_{\ell +1} \to Q_{\ell}  \mid \ell \geq 0 \} \label{eq-invgroup}\\
& = &  \{(g_{\ell}) = (g_0, g_1, \ldots )    \mid g_{\ell} \in Q_{\ell} ~ , ~ q_{\ell +1 }(g_{\ell + 1}) =  g_{\ell} ~ {\rm for ~ all} ~ \ell \geq 0 ~\} ~ \subset \prod_{\ell \geq 0} ~ \Gamma_{\ell} ~ , \label{eq-coordinates}
\end{eqnarray}
which is a Cantor space with the Tychonoff topology. The left actions of $\Gamma$ on the spaces $X_{\ell} = \Gamma/\Gamma_{\ell}$ induce    a minimal  equicontinuous action of $\widehat{\Gamma}_{\infty}$ on $X_{\infty}$, again denoted by  $\widehat{\Phi} \colon \widehat{\Gamma}_{\infty} \times X_{\infty} \to X_{\infty}$. Note that the isotropy group of the identity coset of the action of $Q_{\ell} = \Gamma_{\ell}/C_{\ell}$ on $X_{\ell}=  \Gamma/\Gamma_{\ell}$ is the subgroup $D_{\ell} = \Gamma_{\ell}/C_{\ell}$.

Denote the points in $\widehat{\Gamma}_{\infty}$ by
$\widehat{g} = (g_{\ell}) \in \widehat{\Gamma}_{\infty}$ where $g_{\ell} \in Q_{\ell}$. There is a natural basepoint $\widehat{e}_{\infty} \in \widehat{\Gamma}_{\infty}$ given by the cosets of the identity element $e \in \Gamma$, so $\widehat{e}_{\infty} = (e_{\ell})$ where $e_{\ell} = e C_{\ell} \in Q_{\ell}$ is the identity element in $Q_{\ell}$.

For each $\ell \geq 0$, let $\Pi_{\ell} \colon \widehat{\Gamma}_{\infty} \to Q_{\ell}$ denote the projection onto the $\ell$-th factor in \eqref{eq-invgroup}, so in the coordinates of \eqref{eq-coordinates}, we have $\Pi_{\ell}(\widehat{g}) = g_{\ell} \in Q_{\ell}$.
The maps $\Pi_{\ell}$ are continuous for the profinite topology on $\widehat{\Gamma}_{\infty}$, so the pre-images of points in $Q_{\ell}$ are clopen subsets. In particular, the  fiber of $Q_{\ell}$  over   $e_{\ell}$ is the normal subgroup
\begin{equation}\label{eq-opennbhds}
\widehat{C}_{\ell} = \Pi_{\ell}^{-1}(e_{\ell}) =  \{(g_{\ell})  \in \widehat{\Gamma}_{\infty}  \mid  g_{i} \in C_{i} ~ , ~ 0 \leq i \leq \ell \} \ .
\end{equation}

Then the collection $\{\widehat{C}_{\ell} \mid \ell \geq 1\}$ forms a basis of   clopen neighborhoods of $\widehat{e}_{\infty} \in \widehat{\Gamma}_{\infty}$. That is, for each clopen set $\widehat{U} \subset \widehat{\Gamma}_{\infty}$ with $\widehat{e}_{\infty} \in \widehat{U}$, there exists $\ell_0 > 0$ such that $\widehat{C}_{\ell} \subset \widehat{U}$ for all $\ell \geq \ell_0$.
\begin{thm}\cite[Theorem~4.4]{DHL2016a}\label{thm-fundamentaliso}
There is an   isomorphism ${\widehat{\tau}} \colon {\mathfrak{G}}(\Phi) \to \widehat{\Gamma}_{\infty}$ which conjugates the profinite action
$({\mathfrak{X}}, {\mathfrak{G}}(\Phi), \widehat{\Phi})$ with the profinite action
$(X_{\infty}, \widehat{\Gamma}_{\infty}, \widehat{\Phi})$. In particular, ${\widehat{\tau}}$
identifies the isotropy group ${\mathfrak{D}}(\Phi, x) = {\mathfrak{G}}(\Phi)_{x}$ with the inverse limit subgroup
\begin{equation}\label{eq-discformula}
D_{\infty}  = \varprojlim \ \{q_{\ell +1} \colon \Gamma_{\ell +1}/C_{\ell+1} \to \Gamma_{\ell}/C_{\ell} \mid \ell \geq 0\} \subset \widehat{\Gamma}_{\infty}~ .
\end{equation}
\end{thm}

The maps $q_{\ell +1}$ in the formula \eqref{eq-discformula} need not be surjections, and thus the calculation of the inverse limit $D_{\infty}$   can involve some subtleties. For example, it is possible that each group $Q_{\ell}$ is non-trivial for $\ell > 0$, and yet $D_{\infty}$ is the trivial group (see Example~\ref{ex-trivial}.) This phenomenon leads to the following considerations.
Observe that the formula \eqref{eq-discformula} implies  the restriction of the projection map  $\Pi_{\ell} \colon D_{\infty} \to Q_\ell$ yields a map $\Pi_{\ell} \colon D_{\infty} \to D_{\ell} \equiv \Gamma_{\ell}/C_{\ell} \subset Q_{\ell}$.
Set
\begin{equation}\label{eq-discimage}
D_{\ell}^* =  \Pi_{\ell}(D_{\infty})  \subset D_{\ell} \ .
\end{equation}
 We recall a concept definition from \cite[Definition~5.6]{DHL2016a}:

 \begin{defn}\label{def-normalform}
A group chain    $\{\Gamma_{\ell} \mid \ell   \geq 0\}$   in $\Gamma$ is in \emph{normal form} if    $D_{\ell}^* = D_{\ell}$, for   $\ell \geq 0$.
\end{defn}
 Recall that if the group chain $\{\Gamma_{\ell} \mid \ell   \geq 0\}$ is in normal form,
 then each of the bonding maps $q_{\ell +1}$ in \eqref{eq-discformula} is a surjection.  We note that, given any group chain ${\mathcal G} = \{\Gamma_\ell \mid \ell \geq 0\}$, by \cite[Proposition~5.7]{DHL2016a} there exists a group chain  ${\mathcal G}' = \{\Gamma_{\ell}' \mid \ell \geq 0\}$    in normal form which is equivalent to ${\mathcal G}$, that is, up to a choice of infinite subsequences the group chains are intertwined, $\Gamma_0 \supset \Gamma_1 ' \supset \Gamma_1 \supset \Gamma_2' \supset \cdots$. As explained in \cite{DHL2016a}, the actions defined by equivalent group chains ${\mathcal G}$ and ${\mathcal G}'$ using formulas \eqref{eq-invlimspace} - \eqref{eq-invgroup} are  isomorphic, and the   homeomorphism implementing the isomorphism preserves the basepoint.

 \subsection{Steinitz orders for algebraic models} \label{subsec-steinitzalgmodel}

 Let $({\mathfrak{X}}, \Gamma, \Phi)$ be   a minimal equicontinuous Cantor action, chose $x \in {\mathfrak{X}}$ and an adapted neighborhood basis ${\mathcal U}$ at $x$, then let ${\mathcal G} = \{\Gamma_{\ell} \mid \ell \geq 0\}$ be the associated group chain formed by the stabilizer subgroups of the clopen sets $U_{\ell}$ in ${\mathcal U}$. We continue  further with the notation in Section~\ref{subsec-algmodel}.

For $\ell \geq 0$, we have   the finite sets $X_{\ell} = \Gamma/\Gamma_{\ell}$, and the finite groups  $Q_{\ell} = \Gamma/C_{\ell}$,
$D_{\ell} = \Gamma_{\ell}/C_{\ell}$ and $D_{\ell}^* =  \Pi_{\ell}({\mathcal D}_{\infty}) \subset D_{\ell}$.
Introduce the sequences of integers:
\begin{equation}\label{eq-dims}
m_{\ell} = \# \ X_{\ell}  \quad ; \quad n_{\ell} = \# \ Q_{\ell} \quad ; \quad k_{\ell} = \# \ D_{\ell} \quad ; \quad k_{\ell}^* = \# \ D_{\ell}^* \ .
\end{equation}
We make some elementary observations about these sequences of integers.

Lagrange's Theorem implies that $n_{\ell} = m_{\ell} k_{\ell}$  for $\ell \geq 0$, and we also have   $k_{\ell}^* \leq k_{\ell}$.

Note that $m_{\ell +1} = m_{\ell} \cdot [\Gamma_{\ell} : \Gamma_{\ell+1}]$. As   the inclusion $\Gamma_{\ell +1} \subset \Gamma_{\ell}$ is proper, we have $[\Gamma_{\ell} : \Gamma_{\ell+1}] > 1$ and so  $\{ m_{\ell} \mid \ell \geq 0\}$ is a strictly increasing sequence.

Also, $C_{\ell +1} \subset C_{\ell}$,  and $n_{\ell+1} = n_{\ell} \cdot [C_{\ell} : C_{\ell+1}]$ so  $\{ n_{\ell} \mid \ell \geq 0\}$ is a non-decreasing sequence.

As $k_{\ell}^*$ is the order of the projection of  ${\mathcal D}_{\infty}$ into $Q_{\ell}$, the sequence $\{ k_{\ell}^* \mid \ell \geq 0\}$ is   non-decreasing.  For instance, when ${\mathcal D}_\infty$ is a finite group, then there exist $m \geq 0$ such that $k_\ell^* = k_{\ell+1}^*$ for all $\ell \geq m$.

 \begin{prop}\label{prop-steinitzinvariance}
  Let $({\mathfrak{X}}, \Gamma, \Phi)$ be   a minimal equicontinuous Cantor action.
Given a basepoint  $x \in {\mathfrak{X}}$, and an adapted neighborhood basis ${\mathcal U}$ at $x$,   let ${\mathcal G} = \{\Gamma_{\ell} \mid \ell \geq 0\}$ be the associated group chain formed by the stabilizer subgroups of the clopen sets $U_{\ell}$ in ${\mathcal U}$. Then the Steinitz orders for the action, as defined in Definition~\ref{def-steinitzorderaction},  can be calculated as follows:
\begin{enumerate}
\item \quad  $\Pi[{\mathfrak{G}}(\Phi)] = LCM \ \{n_{\ell} \mid \ell \geq 0\}$,
\item \quad  $\Pi[{\mathfrak{G}}(\Phi) : {\mathfrak{D}}(\Phi , x)] = LCM \ \{m_{\ell} \mid \ell \geq 0\}$,
\item \quad  $\Pi[{\mathfrak{D}}(\Phi, x)] = LCM \ \{k^*_{\ell}  \mid \ell \geq 0\} \leq LCM \ \{k_{\ell}  \mid \ell \geq 0\}$ \ .
\end{enumerate}
\end{prop}
\proof
By Theorem~\ref{thm-fundamentaliso},
there is an isomorphism ${\widehat{\tau}} \colon {\mathfrak{G}}(\Phi) \to \widehat{\Gamma}_{\infty}$
which conjugates the profinite action $({\mathfrak{X}}, \widehat{\Gamma}, \widehat{\Phi})$
  with the profinite action  $(X_{\infty}, \widehat{\Gamma}_{\infty}, \widehat{\Phi})$.
 By the results of Section~\ref{subsec-sodefs}, it suffices to show  that the formulas in Proposition \ref{prop-steinitzinvariance}, (1)-(3),  hold for the action $(X_{\infty}, \widehat{\Gamma}_{\infty}, \widehat{\Phi})$.

Recall that $\widehat{C}_{\ell}$ is the normal clopen subgroup of $\widehat{\Gamma}_{\infty}$ defined  in  \eqref{eq-opennbhds}. Since  $\{\widehat{C}_\ell\}_{\ell \geq 0}$  form a neighborhood basis for the identity in  $\widehat{\Gamma}_\infty$, for any clopen normal subgroup ${\mathcal N} \subset \widehat{\Gamma}_{\infty}$, there exists $\ell > 0$ such that $\widehat{C}_{\ell} \subset {\mathcal N}$. It follows that
$\# (\widehat{\Gamma}_{\infty}/{\mathcal N})$ divides $\# (\widehat{\Gamma}_{\infty}/\widehat{C}_{\ell}) = \# Q_{\ell}$. Noting that $\widehat{C}_{\ell}$ is itself a clopen normal subgroup, we have
\begin{eqnarray}
\lefteqn{ LCM \{\# \  \widehat{\Gamma}_{\infty}/{\mathcal N}   \mid {\mathcal N} \subset \widehat{\Gamma}_{\infty} ~ \text{clopen normal subgroup} \}     = }  \label{eq-reduction}  \\
 & &   LCM \{\# \  \widehat{\Gamma}_{\infty}/\widehat{C}_{\ell}     \mid  \ell > 0\} =   LCM \{\# \  Q_{\ell}  \mid  \ell > 0\} \ . \nonumber
\end{eqnarray}
Then by  Definition \ref{def-steinitzorderaction},
\begin{eqnarray*}
\Pi[{\mathfrak{G}}(\Phi)] & = &   LCM \{\# \  {\mathfrak{G}}(\Phi)/{\mathfrak{N}}   \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{clopen normal subgroup}\}  \\
  & = &   LCM \{\# \  \widehat{\Gamma}_{\infty}/{\mathcal N}   \mid {\mathcal N} \subset \widehat{\Gamma}_{\infty} ~ \text{clopen normal subgroup} \}  \\
  & = &     LCM \{\# \  Q_{\ell}  \mid  \ell > 0\}   =   LCM \{ \ n_{\ell}  \mid  \ell > 0\}   \ .
\end{eqnarray*}

The proofs of   the identities (2) and (3) in Proposition \ref{prop-steinitzinvariance}  require an additional consideration. Introduce the closures of the subgroups $\Gamma_{\ell}$,  for $\ell > 0$,
\begin{equation}
\widehat{\Gamma}_{\ell} = \overline{\Gamma_{\ell}}  = \left\{ \widehat{g} = (g_{\ell}) \in \widehat{\Gamma}_{\infty}  \mid g_i = e_i ~, ~ 0 \leq i < \ell ~ ; ~ g_i \in \Gamma_i ~ , ~ i \geq \ell \right\}   \subset \widehat{\Gamma}_{\infty} \ .
\end{equation}
Then each  $\widehat{\Gamma}_{\ell}$ is a    clopen subset  of $\widehat{\Gamma}_{\infty}$, and from the formula \eqref{eq-discformula} we have $D_{\infty} \subset \widehat{\Gamma}_{\ell}$ for all $\ell \geq 0$, and moreover, we have
\begin{equation}\label{eq-intersection}
D_{\infty} = \bigcap_{\ell > 0} ~ \widehat{\Gamma}_{\ell} \ .
\end{equation}
The equality in \eqref{eq-intersection} follows as the action of $\widehat{g} \in \Gamma_{\ell}$ on $X_{\infty}$ fixes  the clopen set $U_{\ell}$ defined by \eqref{eq-openbasis}, so $\widehat{g} \in \widehat{\Gamma}_{\ell}$ for all $ \ell > 0$ implies that its action on $X_{\infty}$ fixes the intersection, $x_{\infty} = \cap_{\ell > 0} U_{\ell}$.
Also, observe that for $\ell > 0$ we have the identity
\begin{equation}
\Gamma_{\ell} = \left\{ g \in \Gamma \mid \widehat{g} = (g,g, \ldots) \in  \widehat{\Gamma}_{\ell} \right\} \ ,
\end{equation}
and consequently there is an isomorphism $\widehat{\Gamma}_{\infty}/\widehat{\Gamma}_{\ell} \cong \Gamma/\Gamma_{\ell}$.

Next,  observe that given a clopen normal subgroup ${\mathcal N} \subset \widehat{\Gamma}_{\infty}$, by \eqref{eq-intersection} there exists $\ell$ such that $\widehat{\Gamma}_{\ell} \subset   {\mathcal N} \cdot D_{\infty}$. For instance, this holds for any $\ell \geq 0$ such that $\widehat{C}_\ell \subset {\mathcal N}$. Then the identity (2) in  Proposition \ref{prop-steinitzinvariance}  follows from the fact that $\widehat{\Gamma}_{\ell}$ is a clopen neighborhood of $D_{\infty}$, and reasoning as for \eqref{eq-reduction}, we have
  \begin{eqnarray*}
\Pi[{\mathfrak{G}}(\Phi)  : {\mathfrak{D}}(\Phi , x)] & = &   LCM \{\# \  {\mathfrak{G}}(\Phi)/({\mathfrak{N}} \cdot {\mathfrak{D}}(\Phi , x))   \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{clopen normal subgroup}\}  \\
& = &   LCM \{\# \  \widehat{\Gamma}_{\infty}/({\mathcal N} \cdot D_{\infty})   \mid {\mathcal N} \subset \widehat{\Gamma}_{\infty}~ \text{clopen normal subgroup}\}  \\
  & = &   LCM \{\# \  \widehat{\Gamma}_{\infty}/\widehat{\Gamma}_{\ell}    \mid  \ell > 0\}   =  LCM \{\# \  \Gamma/\Gamma_{\ell}    \mid  \ell > 0\}    \\
  & = &    LCM \{ \ m_{\ell}  \mid  \ell > 0\}   \ .
\end{eqnarray*}

Similarly, the proof of  the identity (3) in   Proposition \ref{prop-steinitzinvariance}  follows from the calculations:
\begin{eqnarray*}
\Pi[{\mathfrak{D}}(\Phi , x)] & = &   LCM \{\# \  {\mathfrak{D}}(\Phi , x)/({\mathfrak{N}} \cap {\mathfrak{D}}(\Phi , x))  \mid {\mathfrak{N}} \subset {\mathfrak{G}}(\Phi)~ \text{clopen normal subgroup}\}  \\
  & = &   LCM \{\# \  D_{\infty}/({\mathcal N}  \cap  D_{\infty})  \mid {\mathcal N} \subset \widehat{\Gamma}_{\infty} ~ \text{clopen normal subgroup} \}  \\
  & = &   LCM \{\# \ D_{\infty}/  (\widehat{C}_{\ell}    \cap  D_{\infty})   \mid  \ell > 0\}  \\
   & = &   LCM \{\# \ \Pi_{\ell}({\mathcal D}_{\infty})   \mid  \ell > 0\}
    =    LCM \{\# \ k^*_{\ell}   \mid  \ell > 0\}  \ .
\end{eqnarray*}
This completes the proof of Proposition~\ref{prop-steinitzinvariance}.
\endproof

 As remarked is the discussion of Definition~\ref{def-normalform}, the  condition that the chain ${\mathcal G}$ is descending  does not impose sufficient restrictions on the behavior of the orders of the groups $D_{\ell} = \Gamma_\ell/C_\ell$ in order to compute $\Pi[{\mathfrak{D}}(\Phi , x)]$.
 Rather,  computing $LCM\{D_\ell \mid \ell \geq 0\} = LCM\{k_\ell \mid \ell \geq 0\}$  yields an upper bound on the Steinitz order of $D_{\infty}$. However, if we are given  that the chain ${\mathcal G}$ is in normal form, as in Definition~\ref{def-normalform},   then this indeterminacy is removed.
 \begin{cor}
   Let ${\mathcal G} = \{\Gamma_{\ell} \mid \ell \geq 0\}$ be a group chain in normal form which gives an algebraic model for   a Cantor action  $({\mathfrak{X}}, \Gamma, \Phi)$. Then we have
 \begin{equation}\label{eq-SOnormalform}
\Pi[{\mathfrak{D}}(\Phi , x)] =   LCM \{\# \ D_{\ell}   \mid  \ell > 0\}  =  LCM \{\# \ k_{\ell}   \mid  \ell > 0\} \ .
\end{equation}
  \end{cor}
 It is often the case when constructing examples of Cantor actions, that the normal form property is guaranteed by the choices in the construction, and then \eqref{eq-SOnormalform} calculates the Steinitz order of the discriminant of the action.

\subsection{Steinitz orders of solenoidal manifolds}\label{subsec-solenoids}

 We   relate the asymptotic Steinitz order for a tower of coverings with the Steinitz order invariants for Cantor actions.
This yields the proof of Theorem~\ref{thm-main1}.   We first recall some preliminary constructions for solenoidal manifolds.

Let $M_0$ be a compact connected manifold without boundary. Let
${\mathcal P} = \{\, q_{\ell} \colon  M_{\ell} \to M_{\ell -1} \mid  \ell \geq 1\}$ be a presentation as in Section~\ref{sec-intro}.  Let ${\mathcal S}_{{\mathcal P}}$ be the inverse limit    of this presentation as in \eqref{eq-presentationinvlim}. A point $x \in {\mathcal S}_{{\mathcal P}}$ is represented by a sequence, $x = (x_0, x_1, \ldots )$ with $x_{\ell} \in M_{\ell}$.
For each $\ell \geq 0$, projection onto the $\ell$-th factor in \eqref{eq-presentationinvlim} yields a fibration denoted by
  $\widehat{q}_{\ell} \colon {\mathcal S}_{{\mathcal P}} \to M_{\ell}$, so $\widehat{q}_{\ell}(x) = x_{\ell}$.
Denote the iterated covering map by
$\overline{q}_{\ell} = q_{\ell} \circ q_{\ell -1} \circ \cdots \circ q_1 \colon M_{\ell} \to M_0$, and note that $\widehat{q}_0 = \overline{q}_{\ell} \circ \widehat{q}_{\ell}$.

Choose a basepoint $x_0 \in M_0$, and let ${\mathfrak{X}}_0 = \widehat{q}_0^{-1}(x_0)$ denote the fiber of the projection map $\widehat{q}_0$.
Then ${\mathfrak{X}}_0$ is a Cantor space,  and  the holonomy along the leaves of the foliation ${\mathcal F}_{{\mathcal P}}$ on ${\mathcal S}_{{\mathcal P}}$ induces
the \emph{monodromy action} of  the fundamental group $\Gamma_0 = \pi_1(M_0, x_0)$     on ${\mathfrak{X}}_0$. This action is  discussed in greater detail is many works, for example in  \cite{CandelConlon2000}.

Choose a basepoint $x  \in {\mathfrak{X}}_0$ and then for each $\ell \geq 0$, set $x_{\ell} = \widehat{q}_{\ell}(x) \in M_{\ell}$.
Then $\overline{q}_{\ell}(x_{\ell}) = x_0$ so we get induced maps of fundamental groups,
$(\overline{q}_{\ell})_{\#} \colon \pi_1(M_{\ell} , x_{\ell}) \to \pi_1(M, x_0) = \Gamma_0$. Let $\Gamma_{\ell} \subset \Gamma_0$ denote the image of this map, so $\Gamma_{\ell} \subset \Gamma_0$  is a subgroup of finite index. Note that $\overline{q}_{\ell} \colon M_{\ell} \to M_0$ is a normal covering map exactly when $\Gamma_{\ell}$ is a normal subgroup of $\Gamma_0$.

Let $(X_{\infty}, \Gamma_0, \Phi_x)$ be the Cantor action associated to the group chain ${\mathcal G}_{x} = \{\Gamma_{\ell} \mid \ell \geq 0 \}$ constructed in Section~\ref{subsec-algmodel} above. Then the monodromy action of $\Gamma_0$ on ${\mathfrak{X}}_0$ determined by the foliation on  ${\mathcal S}_{{\mathcal P}}$  is conjugate to the action
$(X_{\infty}, \Gamma, \Phi_x)$, as discussed in \cite[Section~2]{DHL2016b} and \cite[Section~3.1]{DHL2016c}.
In particular, note that the degree  of the covering map $\overline{q}_{\ell} \colon M_{\ell} \to M_0$ equals the index $\#[\Gamma_0 : \Gamma_{\ell}]$.
Thus,  by the identity (2) in Proposition~\ref{prop-steinitzinvariance},  the {Steinitz order} $\Pi[{\mathcal P}] $ of   ${\mathcal P}$ in Definition~\ref{def-steinitzpres} equals the relative Steinitz order $\Pi[{\mathfrak{G}}(\Phi_x) : {\mathfrak{D}}(\Phi_x , x)]$ of the action $(X_{\infty}, \Gamma, \Phi_x)$.

  Now suppose, for $i=1,2$,  we are given a solenoidal manifold ${\mathcal S}_{{\mathcal P}_i}$ defined by the presentation ${\mathcal P}_i$ and there exists a homeomorphism   $h \colon {\mathcal S}_{{\mathcal P}_1} \to {\mathcal S}_{{\mathcal P}_2}$. Then by the results of Section~\ref{subsec-morita},   the  homeomorphism $h$ induces a return equivalence of their monodromy actions, and thus the algebraic models for these actions defined by ${\mathcal P}_1$ and ${\mathcal P}_2$ are return equivalent.

   By Proposition~\ref{prop-relativeinv} we have
   $\Pi_a[{\mathfrak{G}}(\Phi_1):{\mathfrak{D}}(\Phi_1)]   =    \Pi_a[{\mathfrak{G}}(\Phi_2) : {\mathfrak{D}}(\Phi_2)]$.

 Proposition~\ref{prop-steinitzinvariance} identifies  $\Pi_a[{\mathfrak{G}}(\Phi_i):{\mathfrak{D}}(\Phi_i)]$ with the asymptotic Steinitz order $\Pi_a[{\mathcal P}_i]$ and so we obtain the conclusion of Theorem~\ref{thm-main1}.

 \section{Nilpotent actions}\label{sec-nilpotent}

In this section, we apply the notion of  the Steinitz order of a nilpotent Cantor action to the study of  its dynamical properties.
The proof of Theorem~\ref{thm-nilstable}    is based on  the special properties of the profinite completions of nilpotent groups,
in particular the uniqueness of their Sylow $p$-subgroups, and the relation of this algebraic property with the dynamics of the action.

\subsection{Noetherian groups}\label{subsec-noetherian}
Baer introduced the notion of a Noetherian group in his work \cite{Baer1956}. A countable group $\Gamma$ is said to be \emph{Noetherian} if every increasing chain of   subgroups $\{H_i \mid i \geq 1 \}$ of $\Gamma$ has a maximal element $H_{i_0}$. Equivalently, $\Gamma$ is Noetherian if every increasing chain of subgroups in $\Gamma$ eventually stabilizes.
It is easy to see that the group ${\mathbb Z}$ is Noetherian, that a finite product of Noetherian groups is Noetherian, and that a subgroup and quotient group of a Noetherian group is Noetherian.  Thus, a finitely-generated nilpotent group is Noetherian.

The notion of a Noetherian group has a generalization which is useful for the study of actions of  profinite groups (see \cite[page 153]{Wilson1998}.)
\begin{defn} \label{def-noetherian}
A profinite group ${\mathfrak{G}}$ is said to be \emph{topologically Noetherian} if every increasing chain of \emph{closed} subgroups $\{{\mathfrak{H}}_i \mid i \geq 1 \}$ of ${\mathfrak{G}}$ has a maximal element ${\mathfrak{H}}_{i_0}$.
\end{defn}

   We illustrate this concept with two canonical examples of profinite completions of ${\mathbb Z}$. First, let $\widehat{\mZ}_p$ denote the $p$-adic integers, for $p$ a prime. That is, $\widehat{\mZ}_p$ is the completion of ${\mathbb Z}$ with respect to the chain of subgroups
 ${\mathcal G} = \{\Gamma_{\ell} = p^{\ell} {\mathbb Z} \mid \ell \geq 1\}$. The closed subgroups of  $\widehat{\mZ}_p$ are given by   $p^i \cdot \widehat{\mZ}_p$ for some fixed $i > 0$, hence satisfy the ascending chain property  in Definition \ref{def-noetherian}.

 Next, let $\pi = \{p_i \mid i \geq 1\}$ be an infinite collection of distinct primes, and define the increasing chain of subgroups of ${\mathbb Z}$ defined by  ${\mathcal G}_{\pi} = \{\Gamma_{\ell} = p_1p_2 \cdots p_{\ell} {\mathbb Z} \mid \ell \geq 1\}$. Let $\widehat{\mZ}_{\pi}$ be the completion of ${\mathbb Z}$ with respect to the chain ${\mathcal G}_{\pi}$. Then we have a topological isomorphism
 \begin{equation}
\widehat{\mZ}_{\pi} \cong \prod_{i \geq 1} \ {\mathbb Z}/p_i {\mathbb Z} \ .
\end{equation}
Let $H_{\ell} = {\mathbb Z}/p_1{\mathbb Z} \oplus \cdots \oplus {\mathbb Z}/p_{\ell} {\mathbb Z}$ be the direct sum of the first $\ell$-factors. Then $\{H_{\ell} \mid \ell \geq 1\}$ is an infinite increasing chain of finite subgroups of $\widehat{\mZ}_{\pi}$   which does not stabilize, so $\widehat{\mZ}_{\pi}$ is not topologically Noetherian.

  These two examples illustrate  the   idea behind the proof of the following result.
\begin{prop}\label{prop-nilpNoetherian}
Let $\Gamma$ be a finitely generated nilpotent group, and let $\widehat{\Gamma}$ be a profinite completion of $\Gamma$.
Then $\widehat{\Gamma}$ is topologically Noetherian if and only if   the prime spectrum $\pi(\Pi[\widehat{\Gamma}])$ is finite.
\end{prop}
\proof
Recall some basic facts about profinite groups. (See for example,  \cite[Chapter~2]{Wilson1998}.) For a prime $p$,  a finite group $H$ is a $p$-group if every element of $H$ has order a power of $p$. A profinite group ${\mathfrak{H}}$ is a pro-$p$-group if ${\mathfrak{H}}$ is the inverse limit of finite $p$-groups. A Sylow $p$-subgroup ${\mathfrak{H}} \subset {\mathfrak{G}}$ is a maximal pro-$p$-subgroup \cite[Definition~2.2.1]{Wilson1998}.

If ${\mathfrak{G}}$ is pro-nilpotent, then for each prime $p$, there is a unique Sylow $p$-subgroup of ${\mathfrak{G}}$, which is normal in ${\mathfrak{G}}$ \cite[Proposition~2.4.3]{Wilson1998}. Denote this group by ${\mathfrak{G}}_{(p)}$. Moreover, ${\mathfrak{G}}_{(p)}$ is non-trivial if and only if
$p \in \pi(\Pi[{\mathfrak{G}}])$. It follows that there
 is a topological isomorphism
\begin{equation}\label{eq-primeSylowdecomp}
{\mathfrak{G}} \cong \prod_{p \in \pi(\Pi[{\mathfrak{G}}])} ~ {\mathfrak{G}}_{(p)} \ .
\end{equation}
 From the isomorphism \eqref{eq-primeSylowdecomp} it follows immediately that if the prime spectrum $\pi(\Pi[{\mathfrak{G}}])$ is infinite, then ${\mathfrak{G}}$ is not topologically Noetherian. To see this, list $\pi(\Pi[{\mathfrak{G}}]) = \{p_i \mid i = 1,2, \ldots \}$, then we obtain an infinite strictly  increasing chain of closed subgroups,
 $${\mathfrak{H}}_{\ell} = \prod_{i=1}^{\ell} \ {\mathfrak{G}}_{(p_i)} \ . $$
 If the prime spectrum $\pi(\Pi[{\mathfrak{G}}])$ is finite,  then the isomorphism   \eqref{eq-primeSylowdecomp} reduces the proof that ${\mathfrak{G}}$ is topologically Noetherian to the case of showing that if ${\mathfrak{G}}$ is topologically finitely generated, then each of its Sylow $p$-subgroups is Noetherian. The group  ${\mathfrak{G}}_{(p)}$ is nilpotent and topologically finitely generated, so we can use  the lower central series for ${\mathfrak{G}}_{(p)}$ and induction to reduce to the case where
 ${\mathfrak{H}}$ is a topologically finitely-generated abelian pro-$p$-group, and so is isomorphic to a finite product of $p$-completions of ${\mathbb Z}$, which are topologically Noetherian.

The proof of Proposition~\ref{prop-nilpNoetherian} is completed by observing that   a   profinite completion $\widehat{\Gamma}$ of a finitely generated nilpotent group $\Gamma$ is a topologically finitely-generated nilpotent group, and we apply the above remarks.
\endproof

\begin{cor}\label{cor-vnilpotentNoetherian}
Let $\Gamma$ be a virtually nilpotent group, that is there exists a finitely-generated nilpotent subgroup $\Gamma_0 \subset \Gamma$ of finite index.
Then   a    profinite completion $\widehat{\Gamma}$ of $\Gamma$  is topologically Noetherian if and only if   its prime spectrum $\pi(\Pi[\widehat{\Gamma}])$ is finite.
\end{cor}
\proof
We can assume that $\Gamma_0$ is a normal subgroup of $\Gamma$, then its closure $\widehat{\Gamma}_0 \subset \widehat{\Gamma}$ satisfies the hypotheses of Proposition~\ref{prop-nilpNoetherian}, and the Steinitz orders satisfy $[\widehat{\Gamma}_0] \mor [\widehat{\Gamma}]$.
As $\widehat{\Gamma}_0$ is topologically Noetherian if and only if $\widehat{\Gamma}$ is topologically Noetherian, the claim follows.
\endproof

\subsection{Dynamics of Noetherian groups}\label{subsec-Noetheriandynamics}
We next relate the topologically Noetherian property of a profinite group with the dynamics of a Cantor action of the group, to obtain proofs of Theorem~\ref{thm-nilstable} and Corollary~\ref{cor-niltopfree}.  We first give  the profinite analog of     \cite[Theorem~1.6]{HL2018b}. We follow the  outline of its proof.

\begin{prop}\label{prop-NLQA}
Let ${\mathfrak{G}}$ be a topologically Noetherian group.
Then     a minimal equicontinuous action   $({\mathfrak{X}},{\mathfrak{G}},\widehat{\Phi})$  on a Cantor space ${\mathfrak{X}}$   is locally quasi-analytic.
\end{prop}
\proof
First, the closure ${\mathfrak{G}}(\Phi)  \subset \Homeo({\mathfrak{X}})$,   so     the action $\widehat{\Phi}$ of ${\mathfrak{G}}(\Phi)$ is effective.  Suppose that the action $\widehat{\Phi}$ is not locally quasi-analytic, then there exists an infinite properly decreasing chain of clopen subsets of ${\mathfrak{X}}$,
$\{U_1 \supset U_2 \supset \cdots \}$, which satisfy the following properties, for all $\ell \geq 1$:
\begin{itemize}
\item $U_{\ell}$ is adapted to the action $\widehat{\Phi}$ with isotropy subgroup ${\mathfrak{G}}_{U_{\ell}} \subset {\mathfrak{G}}$;
\item there is a closed subgroup $K_{\ell} \subset {\mathfrak{G}}_{U_{\ell+1}}$ whose restricted action to $U_{\ell +1}$ is trivial, but the restricted action of $K_{\ell}$ to $U_{\ell}$ is effective.
\end{itemize}
It follows that we obtain a properly increasing chain of closed subgroups $\{K_1 \subset K_2 \subset \cdots\}$ in ${\mathfrak{G}}$, which contradicts the assumption that ${\mathfrak{G}}$ is topologically Noetherian.
\endproof

We now give the  proof  of Theorem~\ref{thm-nilstable}.
Let $({\mathfrak{X}},\Gamma,\Phi)$ be a  nilpotent Cantor action.
 Then there exists a finitely-generated  nilpotent   subgroup $\Gamma_0 \subset \Gamma$ of finite index, and we can assume without loss  of generality   that $\Gamma_0$ is normal. Let $\widehat{\Gamma}_0$ be the closure of $\Gamma_0$ in $\widehat{\Gamma}$ and let $x \in {\mathfrak{X}}$ be a basepoint. Note that the group $\widehat{\Gamma}$ has finite prime spectrum   if and only if the group $\widehat{\Gamma}_0$ has finite prime spectrum. Thus,  it suffices to show that the action of $\Gamma_0$ on the orbit ${\mathfrak{X}}_0 = \widehat{\Gamma}_0 \cdot x$ is stable. For simplicity of notation, we will simply assume that the given group $\Gamma$ is itself nilpotent.

The profinite completion ${\mathfrak{G}}(\Gamma)$  of $\Phi(\Gamma)$ is also nilpotent, and we have the profinite action $({\mathfrak{X}},\widehat{\Gamma},\widehat{\Phi})$.
 Suppose that the action $\widehat{\Phi}$ is not stable, then   there exists an increasing  chain of closed subgroups $\{K_{\ell} \mid \ell \geq 1\}$ where $K_{\ell}$ acts trivially on the clopen subset $U_{\ell} \subset {\mathfrak{X}}$. Let $x \in \cap_{\ell > 0} \ U_{\ell}$ then each $K_{\ell} \subset {\mathfrak{D}}(\Phi, x)$, so ${\mathfrak{D}}(\Phi, x)$ contains a strictly increasing chain of closed subgroups. As we are given that  the prime spectrum $\pi(\Pi[{\mathfrak{D}}(\Phi, x)])$ is     finite, this contradicts the
  conclusion  of  Proposition~\ref{prop-nilpNoetherian}. Hence, the action $\widehat{\Phi}$ must be locally quasi-analytic, as was to be shown.

The proof of   Corollary~\ref{cor-niltopfree} is just an extension of that of Theorem~\ref{thm-nilstable}.
 Let $({\mathfrak{X}},\Gamma,\Phi)$ be a nilpotent Cantor action for which the Steinitz order $\Pi({\mathfrak{G}}(\Phi))$ has prime multiplicities at most $2$, at all but a finite number of primes.
 As before, we can assume without loss of generality  that the group $\Gamma$ is nilpotent. Then we have the decomposition \eqref{eq-primeSylowdecomp} of ${\mathfrak{G}}(\Phi)$ into a product of its Sylow $p$-subgroups, and the corresponding product decomposition of the space
 \begin{equation}\label{eq-Xproduct}
{\mathfrak{X}} \cong  \prod_{p \in \pi(\Pi[{\mathfrak{G}}(\Phi)])} ~ {\mathfrak{X}}_{(p)} ~ = ~ \prod_{p \in \pi(\Pi[{\mathfrak{G}}(\Phi)])} ~ {\mathfrak{G}}(\Phi)_{(p)}/{\mathfrak{D}}(\Phi)_{(p)} \ .
\end{equation}
The factors in the product  representation of ${\mathfrak{G}}(\Phi)$ in  \eqref{eq-primeSylowdecomp} act on the corresponding factors in \eqref{eq-Xproduct}.
In particular,
 the factors ${\mathfrak{G}}(\Phi)_{(p)}$ and ${\mathfrak{G}}(\Phi)_{(q)}$ commute when $p \ne q$, and thus their actions on ${\mathfrak{X}}$ commute.
Also note that if  the multiplicity of $p$ is finite, then the corresponding Sylow $p$-subgroup ${\mathfrak{G}}(\Phi)_{(p)}$ is a finite group, and so the quotient space ${\mathfrak{X}}_{(p)}$ is a finite set.

 Let   ${\mathfrak{G}}(\Phi)_{(p)}$ be a $p$-Sylow subgroup with order at most $p^2$. Then ${\mathfrak{G}}(\Phi)_{(p)}$ is a nilpotent group of order $p^2$, so must   be abelian.

Let ${\mathcal D}(\Phi)$ denote the discriminant of the action $\Phi$. Its  $p$-Sylow subgroup satisfies ${\mathcal D}(\Phi)_{(p)} \subset {\mathfrak{G}}(\Phi)_{(p)}$.

 If the multiplicity of $p$ is at most $2$, then for $\widehat{g} \in  {\mathcal D}(\Phi)$, the left action of its projection to ${\mathcal D}(\Phi)_{(p)}$ fixes the basepoint in ${\mathfrak{X}}_{(p)}$, and as ${\mathcal D}(\Phi)_{(p)}$ is abelian, the action fixes
all of the points in  the finite quotient space ${\mathfrak{X}}_{(p)} = {\mathfrak{G}}(\Phi)_{(p)}/{\mathfrak{D}}(\Phi)_{(p)}$. As the action of a non-trivial element of ${\mathfrak{D}}(\Phi)_{(p)}$ must be non-trivial, this implies the projection is the identity element in ${\mathfrak{G}}(\Phi)_{(p)}$.

Thus, it suffices to show that the action of $\widehat{g}$ on the factors in \eqref{eq-Xproduct}
for which the prime order $n(p) \geq 3$ is stable. As there are at most a finite number of such factors, we are reduced to the situation in the proof of Theorem~\ref{thm-nilstable}, and so the action must be stable.

 \section{Examples}\label{sec-examples}

We give in this section a collection of examples of nilpotent Cantor actions to illustrate the results and ideas  of this work. Our guiding principle is to present the simplest examples in each class, which can then be made as complicated as desired following the basic design. All of these examples give rise to  solenoidal manifolds with the specified prime spectrum, with base manifold   an $n$-torus in Example~\ref{ex-toral}, or base manifold the standard compact nil-3-manifold for Examples~\ref{ex-trivial}, \ref{ex-stable} and \ref{ex-wild}.

 \subsection{Toroidal actions}\label{subsec-toral}

We begin with the simplest examples of Cantor actions for which the prime spectra are not sufficient to distinguish the actions.
  A \emph{toroidal Cantor action} is the action  of $\Gamma = {\mathbb Z}^m$ on a ``diagonal'' profinite completion of ${\mathbb Z}^m$, for some $m \geq 1$. The classification of minimal equicontinuous actions of ${\mathbb Z}^m$ involves subtleties associated with the space of lattice chains in ${\mathbb R}^m$, as discussed in various works \cite{GPS2019,Li2018}. The diagonal actions, which we now define, suffice for illustrating the construction of actions with prescribed prime spectrum.

 \begin{ex}\label{ex-toral}
 {\rm
Consider the case $n=1$. Choose two disjoint sets of distinct primes,
$$\pi_f = \{q_1 , q_2, \ldots \} \quad , \quad \pi_{\infty} = \{p_1 , p_2, \ldots\}$$
where $\pi_f$ and $\pi_{\infty}$ can be chosen to be finite or infinite sets, and either $\pi_f$ is infinite, or $\pi_{\infty}$ is non-empty. Choose  multiplicities $n(q_i) \geq 1$ for the primes in $\pi_f$.
For each $\ell > 0$, define a subgroup of $\Gamma = {\mathbb Z}$ by
$$\Gamma_{\ell} = \{q_1^{n(q_1)} q_2^{n(q_2)} \cdots q_{\ell}^{n(q_{\ell})} \cdot p_1^{\ell} p_2^{\ell} \cdots p_{\ell}^{\ell} \cdot n \mid n \in {\mathbb Z} \} \ , $$
with the understanding that if the prime $q_{\ell}$ or $p_{\ell}$ is not defined, then we simply set this term to be $1$.
The completion $\widehat{\Gamma}$ of ${\mathbb Z}$ with respect to this group chain  admits a product decomposition into its Sylow $p$-subgroups
\begin{equation}\label{eq-pqlimit}
\widehat{\Gamma} ~ \cong ~ \prod_{i =1}^{\infty} \  {\mathbb Z}/q_i^{n(q_i)} {\mathbb Z} ~   \cdot ~ \prod_{p \in \pi_{\infty}} ~  \widehat{\mZ}_{(p)} \ ,
\end{equation}
where $\widehat{\mZ}_{(p)}$ denotes the $p$-adic completion of ${\mathbb Z}$.
Thus   $\pi(\Pi[\widehat{\Gamma}]) = \pi_f \cup \pi_{\infty}$. As ${\mathbb Z}$ is abelian,   we have ${\mathfrak{X}} = \widehat{\Gamma}$ and the the discriminant group for the action of $\Gamma$   is trivial.
}
\end{ex}

 \begin{ex}\label{ex-almosttoral}
 {\rm
We next give two extensions of the diagonal actions described in Example~\ref{ex-toral}.

First, we construct a
 diagonal toroidal action of ${\mathbb Z}^m$   by making $m$ choices of prime spectra as above, then taking the product action. While the return equivalence class of a ${\mathbb Z}$-action on ${\mathfrak{X}} = \widehat{\Gamma}$ as in \eqref{eq-pqlimit} is determined by the asymptotic class $\Pi_a[\widehat{\Gamma}]$, as in Theorem~\ref{thm-onedimSol}, this need no longer hold  for the product of such actions.
For example, the two profinite completions of ${\mathbb Z}^2 = {\mathbb Z} \oplus {\mathbb Z}$ given by
\begin{equation}
\widehat{\Gamma}_1 =  \widehat{\mZ}_{(6)} \oplus \widehat{\mZ}_{(5)}  \quad , \quad \widehat{\Gamma}_2 = \widehat{\mZ}_{(2)} \oplus \widehat{\mZ}_{(15)}
\end{equation}
have the same Steinitz orders, but are not isomorphic.

The second construction shows that the conclusion of Theorem~\ref{thm-returnequivspectra} is best possible,   that is, return equivalence need not preserve the Steinitz order of the action.
Let $\pi_f = \{p_1, p_2, \ldots \}$ be a proper subset of  primes, infinite in number and all distinct. Let $\widehat{\mZ}_{\pi_f}$ denote the completion of ${\mathbb Z}$ with respect to the primes $\pi_f$ where we choose multiplicity $n(p) = 1$ for each $p \in \pi_f$.
Then we have the odometer action $\Phi_1$ of ${\mathbb Z}$ on ${\mathfrak{X}}_1 = \widehat{\mZ}_{\pi_f}$.

Next, for $k \geq 2$,  consider the action of ${\mathbb Z}^k = {\mathbb Z} \oplus \cdots \oplus {\mathbb Z}$ on ${\mathfrak{X}} = \widehat{\mZ}_{\pi_f} \oplus \cdots \oplus \widehat{\mZ}_{\pi_f}$.
Let $\Gamma = {\mathbb Z}^k \rtimes C_k$  where $C_k = {\mathbb Z}/k {\mathbb Z}$ is the cyclic group of order $k$, which acts on the   factor ${\mathbb Z}^k$  by the automorphism which is a cyclic permutation of the basis vectors. Then $C_k$ also acts on ${\mathfrak{X}}$ by the corresponding cyclic permutation of the factors, and we use this to define an action $\Phi_2$ of $\Gamma$ on ${\mathfrak{X}}$.

The actions $\Phi_1$ and $\Phi_2$ are return equivalent. To see this, observe that the coset of the identity in $C_k$ determines a clopen subset of ${\mathfrak{X}}$, and the restriction of the action $\Phi_2$ to this coset is just the odometer action $\Phi_1$.

Suppose that $k$ is a prime which is not in $\pi_f$, then $\pi(\Pi[\Phi_2]) = \pi_f \cup  \{k\} = \pi(\Pi[\Phi_1]) \cup \{k\}$,   and so their prime spectra differ. If $k$ is a prime which is   in $\pi_f$ then the prime spectra of the two actions agree, but their multiplicities do not.
 One  can also repeat this construction for any transitive subgroup of the permutation group $\Perm(k)$ on $k$-elements for $k \geq 2$, and so obtain that  the prime spectra of the two actions differ by an arbitrary set of primes  which are divisors of $k$.
}
 \end{ex}

 \subsection{Heisenberg actions}\label{subsec-heisenberg}

  We next construct a selection of examples, given by the action of the integer Heisenberg group ${\mathcal H}$ on a profinite completion of the group. The group ${\mathcal H}$ is a cocompact lattice in the real Heisenberg group $H_3({\mathbb R})$, so the quotient $M = H_3({\mathbb R})/{\mathcal H}$ is a compact $3$-manifold, and the choice of a group chain in ${\mathcal H}$ defines a tower of coverings of $M$ whose inverse limit has monodromy action conjugate to the Cantor actions defined by the group chain.

Let ${\mathcal H}$ be  represented as the upper triangular matrices in ${\rm GL({\mathbb Z}^3)}$. That is,
\begin{equation}\label{eq-cH}
{\mathcal H} =   \left\{  \left[ {\begin{array}{ccc}
   1 & a & c\\
   0 & 1 & b\\
  0 & 0 & 1\\
  \end{array} } \right] \mid a,b,c  \in {\mathbb Z}\right\} .
\end{equation}
In coordinates $(a,b,c) , (a',b',c') \in {\mathbb Z}^3$, the group operation  $*$ and inverse  are given by,
\begin{equation}\label{eq-Hrules}
(a,b,c)*(a',b',c')=(a+a',b+b',c+c'+ab') \quad , \quad (a,b,c)^{-1} = (-a, -b, -c +ab) \ .
\end{equation}
  In particular, we have
\begin{equation}\label{eq-Hcomm}
(a,b,c) * (a',b',c')*(a,b,c)^{-1}=(a',b',c' + ab' -ba') \ .
\end{equation}
The work \cite{LSU2014} gives a complete discussion of the normal subgroups of ${\mathcal H}$.

 \begin{ex}\label{ex-trivial}
 {\rm
 We construct a Cantor action of ${\mathcal H}$ on a profinite completion defined by   a proper self-embedding of ${\mathcal H}$ into  itself. The resulting action has trivial discriminant group, but the integers $k_{\ell}$ and $k^*_{\ell}$ defined in \eqref{eq-dims} are distinct.
 The variety of such actions have been extensively studied in the authors' work \cite{HLvL2020}  joint with Van Limbeek, as they all yield stable Cantor actions.

For a  prime $p \geq 2$, define the self-embedding ${\varphi}_p \colon {\mathcal H} \to {\mathcal H}$ by
${\varphi}(a,b,c) = (pa, pb, p^2c)$. Then define a group chain in ${\mathcal H}$ by setting
$${\mathcal H}_{\ell} = {\varphi}_p^{\ell}({\mathcal H}) = \{(p^{\ell} a, p^{\ell}b, p^{2\ell}c) \mid a,b,c \in {\mathbb Z}\} \quad, \quad \bigcap_{\ell > 0} \ {\mathcal H}_{\ell} = \{e\} \ .$$

Formula \eqref{eq-Hcomm} implies that the normal core for ${\mathcal H}_{\ell}$ is given by
$$C_{\ell} = {\rm core}({\mathcal H}_{\ell})  = \{(p^{2\ell} a, p^{2\ell} b, p^{2\ell} c) \mid a,b,c \in {\mathbb Z}\} \ .$$
Thus,  the finite group
\begin{equation}\label{eq-Qell}
Q_{\ell} = {\mathcal H}/C_{\ell} \cong \{( \overline{a}, \overline{b}, \overline{c}) \mid \overline{a}, \overline{b}, \overline{c}\in {\mathbb Z}/p^{2\ell}{\mathbb Z} \} \ .
\end{equation}
The profinite group $\widehat{{\mathcal H}}_{\infty}$ is the inverse limit of the quotient groups $Q_{\ell}$ so we have
$$\widehat{{\mathcal H}}_{\infty} =   \{(\widehat{a}, \widehat{b}, \widehat{c}) \mid \widehat{a}, \widehat{b}, \widehat{c}\in \widehat{{\mathbb Z}}_{p^2} \}$$
 with multiplication  on each finite quotient  induced  by the formula \eqref{eq-Hrules}.
 Note that the group ${\mathcal H}$ embeds into $\widehat{{\mathcal H}}_{\infty}$ as $p^{\ell}$ tends to infinity with $\ell$.

Next, we calculate the discriminant subgroup ${\mathcal D}_{\infty}$ for this action. First note
\begin{eqnarray}
{\mathcal H}_{\ell}/C_{\ell} & = & \{(p^{\ell} \overline{a}, p^{\ell} \overline{b}, 0) \mid \overline{a}, \overline{b} \ \in {\mathbb Z}/p^{\ell}{\mathbb Z} \} \ \subset \ Q_{\ell} \ ,  \label{eq-Qell1}\\
{\mathcal H}_{\ell+1}/C_{\ell+1} & = & \{(p^{\ell +1} \overline{a}, p^{\ell +1} \overline{b}, 0) \mid \overline{a}, \overline{b} \ \in   {\mathbb Z}/p^{\ell +1}{\mathbb Z} \} \   \ . \label{eq-Qell=2}
\end{eqnarray}
 Thus, $k_{\ell} = \# ({\mathcal H}_{\ell}/C_{\ell}) = p^{2\ell}$.

  Note that  ${\mathcal H}_{2\ell} \subset C_{\ell}$. So while each quotient ${\mathcal H}_{2\ell}/C_{2\ell}$ is non-trivial, its image under the composition of bonding maps in
   \eqref{eq-discformula} vanishes in ${\mathcal H}_{\ell}/C_{\ell}$.  Thus ${\mathcal D}_{{\varphi}}$ is the trivial group, and so  each $k_{\ell}^* = 1$.

 }
 \end{ex}

\begin{ex}[A toy model] \label{ex-toy}
{\rm
We describe a  \emph{finite}  action which is used to construct the next classes of Heisenberg actions which have non-trivial discriminant groups, and arbitrary prime spectra.

   Fix a prime $p \geq 2$. For $n \geq 1$ and  $0 \leq k < n$, we have the following finite groups:
 \begin{equation}
G_{p,n} =   \left\{  \left[ {\begin{array}{ccc}
   1 & \overline{a} & \overline{c}\\
   0 & 1 & \overline{b}\\
  0 & 0 & 1\\
  \end{array} } \right] \mid \overline{a},\overline{b},\overline{c}  \in {\mathbb Z}/p^{n}{\mathbb Z}\right\} ~ , ~
  H_{p,n,k} =   \left\{  \left[ {\begin{array}{ccc}
   1 & p^k \overline{a} & 0\\
   0 & 1 & 0\\
  0 & 0 & 1\\
  \end{array} } \right] \mid \overline{a}  \in {\mathbb Z}/p^{n}{\mathbb Z}\right\}
\end{equation}
Note that $\#[G_{p,n}] = p^{3n}$ and $\#[H_{p,n,k}] = p^{n-k}$.

Let   $\overline{x} = (1,0,0), \overline{y} = (0,1,0), \overline{z}= (0,0,1) \in G_{p,n}$, then by formula \eqref{eq-Hcomm} we have
$\overline{x} \cdot \overline{y} \cdot \overline{x}^{-1} = \overline{y} \overline{z}$ and $\overline{x} \cdot \overline{z} \cdot \overline{x}^{-1} = \overline{z}$.  That is, the adjoint action of $\overline{x}$ on the ``plane'' in the  $(\overline{y},\overline{z})$-coordinates   is a ``shear'' action along the $\overline{z}$-axis, and the adjoint action of $\overline{x}$ on the $\overline{z}$-axis fixes   all points on the $\overline{z}$-axis.

Set $X_{p,n,k} = G_{p,n}/H_{p,n,k}$,  then the isotropy group of the action of $G_{p,n}$ on $X_{p,n,k}$ at the coset  $H_{p,n,k}$  of the identity element is $H_{p,n,k}$. The core subgroup $C_{p,n,k} \subset H_{p,n,k}$ contains elements in $H_{p,n,k}$ which fix every point in $X_{p,n,k}$. The action of $\overline{x}$ on the coset space $X_{p,n,k}$ satisfies $\Phi(\overline{x})(\overline{y}) = \overline{y} \overline{z}$, so the identity is the only element in $H_{p,n,k}$, so $C_{p,n,k}$ is trivial. Then $D_{p,n,k} = H_{p,n,k}/C_{p,n,k} = H_{p,n,k}$, and for each $g \in H_{p,n,k}$ its action fixes the multiples of $\overline{z}$.
}
\end{ex}

In the following two classes of examples,    given sets of primes $\pi_f$ and $\pi_{\infty}$, we embed a   infinite product  of finite actions as in Example~\ref{ex-toy} into   a profinite completion ${\widehat{\cH}}_{\infty}$ of ${\mathcal H}$, which defines a nilpotent Cantor action $(X_{\infty}, {\mathcal H}, \Phi)$  on a quotient $X_{\infty} = {\widehat{\cH}}_{\infty}/D_{\infty}$.
This is possible, due to the following result for pro-nilpotent groups, which is a consequence of \cite[Proposition~2.4.3]{Wilson1998}.
\begin{prop}\label{prop-factorization}
Let $\widehat{\Gamma}$ be a profinite completion of a finitely-generated nilpotent group $\Gamma$. Then there is a topological isomorphism
\begin{equation}\label{eq-factorization}
\widehat{\Gamma} \cong \prod_{p \in \pi(\Pi[\widehat{\Gamma}])} \ \widehat{\Gamma}_{(p)} \ ,
\end{equation}
where $\widehat{\Gamma}_{(p)} \subset \widehat{\Gamma}$ denotes the Sylow $p$-subgroup of $\widehat{\Gamma}$ for a prime $p$.
\end{prop}

\begin{ex}[Stable Heisenberg actions] \label{ex-stable}
{\rm
 We   construct     Heisenberg actions  with finite or infinite prime spectrum, using the product formula \eqref{eq-factorization}, and then show that they are stable.

Let $\pi_f $ and  $\pi_{\infty}$ be two disjoint   collections of primes, with $\pi_f$ a finite set, and $\pi_{\infty}$ a non-empty set.
Enumerate $\pi_f = \{q_1, q_2, \ldots, q_m\}$ then choose integers $1 \leq r_i \leq n_i$ for $1 \leq i \leq m$. Enumerate $\pi_{\infty} = \{p_1, p_2, \ldots\}$  with the convention (for notational convenience) that if $\ell$ is greater than the number of primes in $\pi_{\infty}$ then we set $p_{\ell} = 1$.
For each $\ell \geq 1$,  define the integers
\begin{eqnarray}
M_{\ell}    & =   &  q_1^{r_1} q_2^{r_2} \cdots q_m^{r_m} \cdot p_1^{\ell} p_2^{\ell} \cdots p_{\ell}^{\ell} \  , \\
N_{\ell}    & =   &  q_1^{n_1} q_2^{n_2} \cdots q_m^{n_m} \cdot p_1^{\ell} p_2^{\ell} \cdots p_{\ell}^{\ell} \  ,
\end{eqnarray}

For all $\ell \geq 1$, observe that $M_{\ell}$ divides $N_{\ell}$, and    define a subgroup of ${\mathcal H}$, in the coordinates above,
\begin{equation}\label{eq-chain}
{\mathcal H}_{\ell} = \{ (a M_{\ell},b N_{\ell} ,c N_{\ell}) \mid a,b,c \in {\mathbb Z} \} \ .
\end{equation}
Its  core  subgroup is given by
$C_{\ell} =  \{ (a N_{\ell},b N_{\ell} ,c N_{\ell}) \mid a,b,c \in {\mathbb Z} \}$.
Observe that
$${\mathbb Z}/N_{\ell} {\mathbb Z} \cong {\mathbb Z}/q_1^{n_1}{\mathbb Z} \oplus \cdots \oplus  {\mathbb Z}/q_m^{n_m}{\mathbb Z} \oplus {\mathbb Z}/p_1^{\ell}{\mathbb Z} \oplus \cdots \oplus {\mathbb Z}/p_{\ell}^{\ell}{\mathbb Z} \ .$$
 By Proposition~\ref{prop-factorization},  and in the notation of  Example~\ref{ex-toy},  we have for   $k_i = n_i - r_i$ that
\begin{equation}\label{eq-lqafactors}
 {\widehat{\cH}}_{\infty} ~ \cong ~ \prod_{i=1}^m \ G_{q_i, n_i} ~ \cdot ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)} \quad , \quad D_{\infty} ~ \cong ~  \prod_{i=1}^m \ H_{q_i, n_i, k_i} \ .
\end{equation}
Then the Cantor space  $X_{\infty} = {\widehat{\cH}}_{\infty}/D_{\infty}$ associated to the group chain $\{{\mathcal H}_{\ell} \mid \ell \geq 1\}$ is given by
\begin{equation}\label{eq-lqaspace}
X_{\infty} ~ \cong ~ \prod_{i=1}^m \ X_{q_i, n_i, k_i} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)}  \ .
\end{equation}

In particular,  as the first factor in   \eqref{eq-lqaspace} is a finite product of finite sets, the second factor defines an open neighborhood $$U = \prod_{i=1}^m \ \{x_i\} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)}$$
where $x_i \in X_{q_i, n_i, k_i}$ is the basepoint given by the coset of the identity element.
That is, $U$ is a clopen neighborhood of the basepoint in $X_{\infty}$.  The isotropy group of $U$ is given by
\begin{equation}
 {\widehat{\cH}}_{\infty}|U ~ = ~  \prod_{i=1}^m \ H_{q_i, n_i, k_i} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)}  \ .
\end{equation}
The restriction of  ${\widehat{\cH}}_{\infty}|U$ to $U$ is isomorphic to the subgroup
\begin{equation}
 K|U ~ = ~  \prod_{i=1}^m \ \{\overline{e}_i\} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)} ~ \subset ~ \Homeo(U) \ ,
\end{equation}
where $\overline{e}_i \in G_{q_i, n_i}$ is the identity element.  The group $K|U$   acts freely on $U$, and thus the action of ${\widehat{\cH}}_{\infty}$ on $X_{\infty}$ is locally quasi-analytic.
Moreover, the union $\pi = \pi_f \cup \pi_{\infty} = \pi(\Pi[{\widehat{\cH}}_{\infty}])$ is the prime spectrum of the action of ${\mathcal H}$ on $X_{\infty}$.  If $\pi_\infty$ is infinite, then the prime spectrum of the action is infinite.
Note that the group ${\mathcal H}$ embeds into $\widehat{{\mathcal H}}_{\infty}$ as the integers $M_{\ell}$ and $N_{\ell}$ tend to infinity with $\ell$.

 }
\end{ex}

\begin{ex}[Wild Heisenberg actions]\label{ex-wild}
{\rm

Let $\pi_f $ and  $\pi_{\infty}$ be two disjoint   collections of primes, with $\pi_f$ an infinite set and $\pi_{\infty}$ arbitrary, possibly empty.
Enumerate $\pi_f = \{q_1, q_2, \ldots\}$ and choose integers $1 \leq r_i \leq n_i$ for $1 \leq i < \infty$. Enumerate $\pi_{\infty} = \{p_1, p_2, \ldots\}$, again with the convention   that if $\ell$ is greater than the number of primes in $\pi_{\infty}$ then we set $p_{\ell} = 1$.

As in Example~\ref{ex-stable}, for  each $\ell \geq 1$,  define the integers
\begin{eqnarray}
M_{\ell}    & =   &  q_1^{r_1} q_2^{r_2} \cdots q_{\ell}^{r_{\ell}} \cdot p_1^{\ell} p_2^{\ell} \cdots p_{\ell}^{\ell} \  , \\
N_{\ell}    & =   &  q_1^{n_1} q_2^{n_2} \cdots q_{\ell}^{n_{\ell}} \cdot p_1^{\ell} p_2^{\ell} \cdots p_{\ell}^{\ell} \  .
\end{eqnarray}

For $\ell \geq 1$, define a subgroup of ${\mathcal H}$, in the coordinates above,
\begin{equation}\label{eq-chain2}
{\mathcal H}_{\ell} = \{ (a M_{\ell},b N_{\ell} ,c N_{\ell}) \mid a,b,c \in {\mathbb Z} \} \ ,
\end{equation}
 Its core  subgroup is given by
$C_{\ell} =  \{ (a N_{\ell},b N_{\ell} ,c N_{\ell}) \mid a,b,c \in {\mathbb Z} \}$. For   $k_i = n_i - r_i$ we then have
\begin{equation}\label{eq-lqafactors2}
 {\widehat{\cH}}_{\infty} ~ \cong ~ \prod_{i=1}^{\infty} \ G_{q_i, n_i} ~ \cdot ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)} \quad , \quad D_{\infty} ~ \cong ~  \prod_{i=1}^{\infty} \ H_{q_i, n_i, k_i} \ .
\end{equation}
The Cantor space  $X_{\infty} = {\widehat{\cH}}_{\infty}/D_{\infty}$ associated to the group chain $\{{\mathcal H}_{\ell} \mid \ell \geq 1\}$ is given by
\begin{equation}\label{eq-lqaspace2}
X_{\infty} ~ \cong ~ \prod_{i=1}^{\infty} \ X_{q_i, n_i, k_i} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)}  \ .
\end{equation}
The first factor in   \eqref{eq-lqaspace} is an infinite product of finite sets, so fixing the first $\ell$-coordinates in this product determines a clopen subset of $X_{\infty}$. Let $x_i \in X_{q_i, n_i, k_i}$ denote the  coset of the identity element, which is   the basepoint in $X_{q_i, n_i, k_i}$. Then for  each $\ell \geq 1$, we define a clopen set in $X_{\infty}$
\begin{equation}\label{eq-wildclopen}
U_{\ell} = \prod_{i=1}^{\ell} \ \{x_i\} ~ \times ~  \prod_{i=\ell+1}^{\infty} \ X_{q_i, n_i, k_i} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)} \ .
\end{equation}
   Recalling the calculations in   Example~\ref{ex-toy}, the subgroup $H_{q_i, n_i, k_i}$ is the isotropy group of the basepoint $x_i \in X_{q_i, n_i, k_i}$. Thus,
the isotropy subgroup of $U_{\ell}$  for the ${\widehat{\cH}}_{\infty}$-action  is given by the product
\begin{equation}
 {\widehat{\cH}}_{\infty}|_{U_{\ell}} ~ = ~  \prod_{i=1}^{\ell} \ H_{q_i, n_i, k_i} ~ \times ~  \prod_{i=\ell + 1}^{\infty} \ G_{q_i, n_i} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)}  \ .
\end{equation}
For $j \ne i$, the subgroup $H_{q_i, n_i, k_i}$ acts as the identity on the factors $X_{q_j, n_j, k_j}$ in \eqref{eq-lqaspace2}.
Thus, the  image of  ${\widehat{\cH}}_{\infty}|_{U_{\ell}}$ in $\Homeo(U_{\ell})$  is isomorphic to the subgroup
\begin{equation}
 Z_{\ell} ~ = ~{\widehat{\cH}}_{\infty}|U_{\ell} ~ = ~  \prod_{i=1}^{\ell} \ \{\overline{e}_i\} ~ \times ~  \prod_{i=\ell + 1}^{\infty} \ G_{q_i, n_i} ~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)}  ~ \subset ~ \Homeo(U_{\ell}) \ ,
\end{equation}
where $\overline{e}_i \in G_{q_i, n_i}$ is the identity element.

We next show that this action   is not stable; that is, for any $\ell > 0$ there exists a clopen subset $V \subset U_{\ell}$ and non-trivial $\widehat{g} \in   Z_{\ell}$ so that the action of $\widehat{G}$ restricts to the identity map on $V$. We can assume without loss that $V= U_{\ell'}$  for some $\ell' > \ell$. Consider  the restriction map for
the isotropy subgroup of $Z_{\ell}$ to  $U_{\ell'}$ which is given by
  $$\rho_{\ell, \ell'} \colon Z_{\ell}|_{U_{\ell'}}  \to Z_{\ell'} \subset \Homeo(U_{\ell'}) \ .$$
We must show that there exists $\ell' > \ell$ such that this map has    a non-trivial kernel.
 Calculate this map in terms of the product representations above,
  \begin{equation}\label{eq-restriction}
 Z_{\ell}|_{U_{\ell'}}  ~ = ~  \prod_{i=1}^{\ell} \ \{\overline{e}_i\} ~ \times ~  \prod_{i=\ell + 1}^{\ell'} \ H_{q_i, n_i,k_i} ~ \times ~  \prod_{i=\ell' + 1}^{\infty} \ G_{q_i, n_i}~ \times ~ \prod_{j=1}^{\infty} \ {\widehat{\cH}}_{(p_j)}   \ .
\end{equation}
For $\ell < i \leq \ell'$, the group $H_{q_i, n_i,k_i}$ fixes the point $\prod_{i=1}^{\ell'} \ \{x_i\}$, and acts trivially on
$\prod_{i=\ell'+1}^{\infty} \ X_{q_i, n_i, k_i}$.
Thus, the kernel of the restriction map contains the second factor in \eqref{eq-restriction},
\begin{equation}
 \prod_{i=\ell + 1}^{\ell'} \ H_{q_i, n_i,k_i} ~ \subset ~  \ker \left\{ \rho_{\ell, \ell'} \colon Z_{\ell}|_{U_{\ell'}}  \to \Homeo(U_{\ell'})  \right\} \ .
\end{equation}
As this group is non-trivial for all $\ell' > \ell$,  the action of ${\widehat{\cH}}_{\infty}$ on $X_{\infty}$ is not locally quasi-analytic, hence the action of ${\mathcal H}$ on $X_{\infty}$ is wild.
Moreover, the prime spectrum of the action of ${\mathcal H}$ on $X_{\infty}$ equals the union $\pi = \pi_f \cup \pi_{\infty}$.
 }
 \end{ex}

Finally, we give the proof of Theorem~\ref{thm-lqaWILD} using the construction in Example~\ref{ex-wild},  that is, we show that choices in Example \ref{ex-wild} can be made in such a way that the action of ${\mathcal H}$ on a Cantor set is topologically free while the action of ${\widehat{\cH}}_\infty$ is not stable. To do that, choose  an infinite set of distinct primes $\pi_f = \{q_1, q_2, \ldots\}$, and let the set of infinite primes $\pi_{\infty}$ be empty.
Choose the constants $n_i =2$ and $k_i=1$ for all $i \geq 1$. Let $X_{\infty}$ be the Cantor space  defined by \eqref{eq-lqaspace2}. Then the action of ${\mathcal H}$  is   wild by the calculations in Example~\ref{ex-wild}.

We claim that this action is   topologically free. Suppose not, then there exists an open set $U \subset X_{\infty}$ and $g \in {\mathcal H}$ such that the action of $\Phi(g)$ is non-trivial on   $X_{\infty}$ but leaves the set $U$ invariant, and restricts to the identity action on $U$.
The action of ${\mathcal H}$ on $X_{\infty}$ is minimal, so there exists $h \in {\mathcal H}$ with $h \cdot x_{\infty} \in U$. Then $\Phi(h^{-1} g h)(x_{\infty}) = x_{\infty}$ and the action   $\Phi(h^{-1} g h)$ fixes an open neighborhood of $x_{\infty}$. Replacing $g$ with $h^{-1} g h$ we can assume that $\Phi(g)(x_{\infty}) = x_{\infty} \in U$. From the definition \eqref{eq-wildclopen}, the clopen sets
\begin{equation}\label{eq-wildclopen2}
U_{\ell} = \prod_{i=1}^{\ell} \ \{x_i\} ~ \times ~  \prod_{i=\ell+1}^{\infty} \ X_{q_i, 2, 1}
\end{equation}
form a neighborhood basis at $x_{\infty}$, and thus there exists $\ell > 0$ such that $U_{\ell} \subset U$.

The group ${\mathcal H}$  diagonally embeds into ${\widehat{\cH}}_{\infty}$ so from the expression \eqref{eq-lqafactors2}, we have
 $\displaystyle g = (g,g,\ldots,g) \in    \prod_{i=1}^{\infty} \ G_{q_i, 2}$. The action of $\Phi(g)$ is factorwise, and $\Phi(g)(x_{\infty}) = x_{\infty}$ implies that $\displaystyle g \in D_{\infty} \cong   \prod_{i=1}^{\infty} \ H_{q_i, n_i, k_i}$. The assumption that $\Phi(g)$ fixes the points in $U$ implies that it acts trivially on each factor $X_{q_i, 2, 1}$ for $i > \ell$. As each factor $H_{q_i, 2, 1}$ acts effectively on $X_{q_i, 2, 1}$ this implies that the projection of $g$ to the $i$-th factor group $H_{q_i, 2, 1}$ is the identity for $i > \ell$. This
  implies that every entry   above the diagonal in the matrix representation of $g$ in \eqref{eq-cH} is divisible by an infinite number of distinct primes $\{q_i \mid i \geq \ell\}$, so by the Prime Factorization Theorem the matrix $g$ must be the identity.
Alternately, observe that we have $\displaystyle g \in \prod_{i=1}^{\ell} \ H_{q_i, 2, 1}$. This is a finite product of finite groups, which implies that $g \in {\mathcal H}$ is a   torsion element. However, ${\mathcal H}$ is torsion-free, hence $g$ must be the identity.  Thus, the action of ${\mathcal H}$ on $X_{\infty}$ must be topologically free.

Finally, the above construction allows the choice of any infinite subset $\pi_f$  of  distinct primes, and there are an uncountable number such choices which are distinct up to asymptotic equivalence. Thus, by Theorem~\ref{thm-returnequivspectra} there are an uncountable number of topologically-free, wild nilpotent Cantor actions which are distinct up to return equivalence.
This completes the proof of Theorem~\ref{thm-lqaWILD}.

   {\begin{remark}\label{rmk-generalization}
   {\rm
   The constructions in Examples~\ref{ex-stable} and \ref{ex-wild} can be generalized to the integer upper triangular matrices in all dimensions, where there is much more freedom in the choice of the subgroups $H_{q_i, n_i,k_i}$. The above calculations become correspondingly more tedious, but yield analogous results. It seems reasonable to expect that similar constructions can be made for any finitely-generated torsion-free nilpotent (non-abelian) group $\Gamma$.   That is, that there are group chains in $\Gamma$ which yield wild nilpotent Cantor   actions. Note that in the work \cite{HLvL2020} with van Limbeek, the authors showed that if $\Gamma$ is a finitely-generated nilpotent group which admits a proper self-embedding (said to be non-co-Hopfian, or renormalizable), then the iterated images of this self-embedding define a group chain for which the associated profinite action is quasi-analytic. Thus, wild Cantor actions are in a sense the furthest extreme from the actions associated to renormalizable groups.
   }
   \end{remark}

 \vfill
 \eject

redpajama_set_name: RedPajamaArXiv