Table of Contents
Fetching ...

Multivariate Frequent Stability and Diam-Mean Equicontinuity

Lino Haupt

TL;DR

The paper develops multivariate extensions of weak equicontinuity notions for actions of a σ-compact, locally compact, abelian group on a compact metric space, introducing the multivariate diameter via $D_m$ and $\mathsf{diam}_m$. It characterizes these properties through finite-to-one extensions of the maximal equicontinuous factor (MEF), distinguishing almost $m$-to-one and almost surely $m$-to-one fibers. The main results show that a minimal system is frequently $(m+1)$-stable precisely when the MEF fibers are almost $m$:1, and is diam-mean $(m+1)$-equicontinuous precisely when fibers are almost surely $m$:1, with proofs leveraging multivariate proximal relations, hyperspace dynamics, and ergodic theory. This work extends known one-to-one dichotomies to finite-to-one settings, offering a rigorous bridge between fiber structure and dynamical rigidity in the multivariate regime.

Abstract

In this paper, we introduce and investigate multivariate versions of frequent stability and diam-mean equicontinuity. Given a natural number $m > 1$, we call those notions "frequent $m$-stability" and "diam-mean $m$-equicontinuity". We use these dynamical rigidity properties to characterise systems whose factor map to the maximal equicontinuous factor (MEF) is finite-to-one for a residual set, called "almost finite-to-one extensions", or a set of full measure, called "almost surely finite-to-one extensions". In the case of a $σ$-compact, locally compact, abelian acting group it is shown that frequently $(m+1)$-stable systems are equivalently characterised as almost $m$-to-one extensions of their MEF. Similarly, it is shown that a system is diam-mean $(m+1)$-equicontinuous if and only if it is an almost surely $m$-to-one extension of its MEF.

Multivariate Frequent Stability and Diam-Mean Equicontinuity

TL;DR

The paper develops multivariate extensions of weak equicontinuity notions for actions of a σ-compact, locally compact, abelian group on a compact metric space, introducing the multivariate diameter via and . It characterizes these properties through finite-to-one extensions of the maximal equicontinuous factor (MEF), distinguishing almost -to-one and almost surely -to-one fibers. The main results show that a minimal system is frequently -stable precisely when the MEF fibers are almost :1, and is diam-mean -equicontinuous precisely when fibers are almost surely :1, with proofs leveraging multivariate proximal relations, hyperspace dynamics, and ergodic theory. This work extends known one-to-one dichotomies to finite-to-one settings, offering a rigorous bridge between fiber structure and dynamical rigidity in the multivariate regime.

Abstract

In this paper, we introduce and investigate multivariate versions of frequent stability and diam-mean equicontinuity. Given a natural number , we call those notions "frequent -stability" and "diam-mean -equicontinuity". We use these dynamical rigidity properties to characterise systems whose factor map to the maximal equicontinuous factor (MEF) is finite-to-one for a residual set, called "almost finite-to-one extensions", or a set of full measure, called "almost surely finite-to-one extensions". In the case of a -compact, locally compact, abelian acting group it is shown that frequently -stable systems are equivalently characterised as almost -to-one extensions of their MEF. Similarly, it is shown that a system is diam-mean -equicontinuous if and only if it is an almost surely -to-one extension of its MEF.
Paper Structure (13 sections, 57 theorems, 105 equations, 1 figure)

This paper contains 13 sections, 57 theorems, 105 equations, 1 figure.

Key Result

Theorem 1.2

Let $\mathcal{C}(X,Y)$ be equipped with the topology of uniform convergence. Then $\mathcal{F} \subseteq \mathcal{C}(X,Y)$ is compact if and only if $\mathcal{F}$ is closed and equicontinuous.

Figures (1)

  • Figure 1: Commutative Diagram of MEF

Theorems & Definitions (98)

  • Definition 1.1
  • Theorem 1.2: Arzelà-Ascoli, kelley
  • Theorem 1.3: Dini, kelley
  • Theorem 1.4: Baire Category, kelley
  • Lemma 1.5: Urysohn, kelley
  • Theorem 1.6: weilsproofofhaar
  • Definition 1.7: Fø lner Sequence
  • Theorem 1.8: e. g. Pier1984AmenableLC
  • Definition 1.9: $\mathcal{F}$-density
  • Definition 1.10: $\mathcal{F}$-Banach Density
  • ...and 88 more