The regionally proximal relation for commutative semigroup actions

Angelina Blahodatna; Lauren Detmold; Daniel Glasscock; Anh N. Le

Home/Archive/arXiv

arXiv · 2610.10397

The regionally proximal relation for commutative semigroup actions

Angelina Blahodatna·Lauren Detmold·Daniel Glasscock·Anh N. Le

View original source ↗Read source document ↗Export metadata ↓

Abstract

The regionally proximal and equicontinuous structure relations are fundamental relations in topological dynamics that capture the equicontinuous behavior in a topological dynamical system and its factors. For minimal actions of abelian groups, these relations are known to be equivalence relations and are known to coincide. In this paper, we generalize these facts to semigroup actions: for minimal actions of commutative semigroups, the regionally proximal and equicontinuous structure relations are equivalence relations and the two coincide. We also develop the machinery of natural extensions for commutative semigroup actions that act by surjections, concluding that the maximal equicontinuous factor of a minimal action of a commutative semigroup is the same as the maximal equicontinuous factor of the group action into which it embeds. We formally verify all of the results in this paper in Lean. The main results are verified in a Palomar submission, and we link to a Github repository containing code for the complete verification.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Angelina Blahodatna, Lauren Detmold, Daniel Glasscock, Anh N. Le. 2026-10-07. The regionally proximal relation for commutative semigroup actions. https://arxiv.org/abs/2610.10397

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bruno ideal and the variety of centers for singular germs of vector fields

Given a logarithmic analytic vector field $\partial$, we consider the formal ideal $B(\partial)$ defined by the collinearity locus of the semi-simple and nilpotent components of~$\partial$. Assuming that the eigenvalues of the linear part of $\partial$ satisfy the so-called Bruno arithmetic condition, we prove that $B(\partial)$ is in fact an analytic ideal. Moreover, $\partial$ is analytically normalizable when restricted to this ideal. As a consequence, the vanishing locus $V$ of $B(\partial)$ is an analytic variety, and the foliation defined by $\partial|_{V}$ is analytically linearizable.

math.DS↗

arXiv2026

Poisson actions of noncompact locally compact sofic groups have completely positive sofic entropy

We prove that every Poisson action of positive intensity of a noncompact locally compact second countable sofic group has completely positive measure sofic entropy with respect to every locally compact sofic approximation. The proof constructs random microstates for arbitrary measurable factors by completing local Poisson configurations with an independent exterior Poisson process. Probability estimates and a packing argument then show that every nontrivial factor has positive entropy. We also give a compact-group example showing that the noncompactness assumption is essential.

math.DS↗

arXiv2026

Dimensions of Bedford-McMullen type sets in $\mathbb Z^2$

We study forward orbits in $\mathbb Z^2$ generated by the expanding affine maps $(x,y)\mapsto(mx+i,ny+j)$, where $m\ge n\ge2$ are integers and $(i,j)$ ranges over a nonempty digit set $Λ\subseteq\{0,\ldots,m-1\}\times\{0,\ldots,n-1\}$. We obtain explicit formulae for the mass, Beurling, discrete packing, and Assouad dimensions, the discrete Hausdorff dimension and its lower variant, and the lower entropy index. When $m=n$, all these dimensions equal $\log_m\#Λ$. When $m>n$, they can differ, and several depend on the starting point through the sizes of the endpoint columns of $Λ$. The two Hausdorff dimensions coincide and admit a pressure variational formula. Our proofs use finite symbolic models and approximate squares to relate digit counts to coverings in centered windows, translated windows, and annuli. We also characterize invariant lattice sets and determine their dimensions. Finally, we compare the orbit dimensions with semigroup growth and the dimensions of the compact dual attractor. In particular, the mass and Beurling dimensions need not equal the semigroup growth exponent, in contrast to the corresponding one-dimensional theory.

math.DS↗