Recurrence for measurable semigroup actions (Q1995562)

In the paper under review, the author studies qualitative properties of the set of recurrent points of finitely generated free semigroups of measurable maps. In the case of a semigroup generated by a single element, the classical Poincaré recurrence theorem shows that these properties are closely related to the presence of an invariant measure. The author considers that for a general semigroup the assumption about the existence of a common invariant measure for all generators is somewhat unnatural. Instead, he proposes abstract conditions of conservativity type for this question, under which a (non-necessarily invariant) measure plays the same role as in the Poincaré recurrence case, together with a weaker version of the recurrent property. He reduces the study to the analysis of the recurrence of a specially constructed Markov process. In fact, the same approach was used for Markov chains in the author's previous work [Mosc. Math. J. 19, No. 1, 37--50 (2019; Zbl 1418.37010)]. The author deals in detail with questions of inheritance of a recurrence property from the semigroup generators to the entire semigroup and vice versa.