Conditional Topomorphic Degree and Multivariate Mean Equicontinuity for Minimal Amenable Group Actions

Abstract

Let $G$ be a countably infinite discrete amenable group acting minimally on a compact metric space $X$, and let $π:X\to X_{\mathrm{eq}}$ be the maximal equicontinuous factor map. We introduce the \emph{conditional topomorphic degree} $d:=\tdeg_G(X)\in\mathbb N\cup\{\infty\}$, which, when finite, is the least integer such that $π$ is an at most $d$-to-one topomorphic extension. We prove that, for every $r\ge2$, Weyl mean $r$-equicontinuity, mean $r$-equicontinuity along some Følner sequence, and $d\le r-1$ are equivalent. For minimal $\mathbb Z$-systems, this settles a conjecture of Breitenbücher, Haupt, and Jäger. We further establish the decomposition formula $d=\sum_{μ\in\mathcal M_G^e(X)}ι_μ\exp\bigl(h_μ^*(G)\bigr),$ where $ι_μ$ is the degree of the factor map from the measure-theoretic maximal compact factor associated with $μ$ onto $X_{\mathrm{eq}}$, and $h_μ^*(G)$ is the maximal measure sequence entropy of $μ$. As further consequences of the decomposition formula, we show that for every finite $N$ with $2\le N\le d$, the system admits an essential IT $N$-tuple. Consequently, $h_{\mathrm{top}}^*(X,G)\ge \log d.$ This strengthens a lower bound of Liu, Wang, and Xu by also detecting compact multiplicities. As an application, we answer a question of Gómez, León-Torres, and Muñoz-López. If $G$ contains a finite-index normal subgroup isomorphic to $\mathbb Z^r$, then, for every $m\ge2$, there exists a free minimal uniquely ergodic zero-entropy finite-alphabet $G$-subshift with maximal topological sequence entropy $\log m$, an essential IT $m$-tuple, and no essential IN $(m+1)$-tuple. For $G=\mathbb Z$, the alphabet may be chosen to have exactly $m$ symbols. Finally, we realize every finite multiplicity profile by a zero-entropy minimal almost one-to-one extension of an irrational circle rotation.