A note on Poincaré recurrence for semigroup actions via Furstenberg family (Q2361731)

This paper is devoted to the relationship between the notions of recurrence and nonwandering point in the sense of Poincaré and those in the sense of Akin (based on Furstenberg families) [\textit{E. Akin}, Recurrence in topological dynamics: Furstenberg families and Ellis actions. New York, NY: Plenum Press (1997; Zbl 0919.54033)]. Assume \(X\) is a topological space and \(S\) is a topological semigroup acting on \(X\) via a continuous map \(\varphi :S\times X\rightarrow X,\) \(\varphi (s,x)=sx,\) such that \(s(tx)=(st)x\) for all \(s,t\in S\) and \(x\in X.\) A Furstenberg family of subsets of \(S\) is any nonempty proper subset \( \mathcal{F}\) of \(S,\) hereditary upwards\(.\) The associated dual Furstenberg family is defined as \(k\mathcal{F}=\left\{ F\in \mathcal{P}(S):S\backslash F\notin \mathcal{F}\right\} .\) It is proved that a point \(x\in X\) is \( \mathcal{F}\)-recurrent (respectively \(\mathcal{F}\)-nonwandering) in the sense of Poincaré if and only if it has the respective property in the sense of Akin for the dual family \(k\mathcal{F}.\) If \(\mathcal{F}\) is an ultrafilter, then a point \(x\in X\) is \(\mathcal{F}\) -recurrent (respectively \(\mathcal{F}\)-nonwandering) in the sense of Poincaré if and only if it has the respective property in the sense of Akin for the same family \(\mathcal{F};\) when \(\mathcal{F}\) is only a filter, Akin's concepts of recurrence and nonwandering point are stronger than those in the sense of Poincaré. Some examples are included.