The regionally proximal relation for commutative semigroup actions

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.

Compatible additions on a six-element commutative semigroup: equational bases and subvariety lattices
Lili Wang, Jinjing Wu, Aifa Wang
arXiv19 Sep 2026PreprintCC BY 4.0Full textAlgebra & number theoryarXiv
KS-Groupoids and KS-Crossed Products associated with Inverse Semigroup Actions
Hikaru Sekiyama
arXiv6 Sep 2026PreprintarXiv licenceFull textAlgebra & number theory Analysis & PDEsarXiv
Finite Borel asymptotic dimension of bounded-to-one commutative monoid actions
Ruijun Wang
arXiv15 Sep 2026PreprintCC BY 4.0Full textLogic & foundationsarXiv
Asymptotic dimension of commutative monoid actions
Jinmin Wang, Jing Yu, Jingming Zhu
arXiv22 Sep 2026PreprintarXiv licenceFull textDynamical systems Geometry & topologyarXiv
Post-quantum commutative group actions from oriented superspecial abelian varieties
Wouter Castryck, Bogdan Adrian Dina, Péter Kutas +1
arXiv20 Oct 2026PreprintCC BY-SA 4.0Full textAlgebra & number theoryarXiv

Cite

BibTeX RIS

BibTeX

@misc{blahodatna2026regionally,
  title = {{The regionally proximal relation for commutative semigroup actions}},
  author = {Angelina Blahodatna and Lauren Detmold and Daniel Glasscock and Anh N. Le},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.10397},
  eprint = {2610.10397},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.10397},
}

RIS

TY  - UNPB
TI  - The regionally proximal relation for commutative semigroup actions
AU  - Angelina Blahodatna
AU  - Lauren Detmold
AU  - Daniel Glasscock
AU  - Anh N. Le
PY  - 2026
DA  - 2026/10/07
PB  - arXiv
DO  - 10.48550/arxiv.2610.10397
UR  - https://arxiv.org/abs/2610.10397
AB  - 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.
ER  -

Abstract

Related

Cite