Abstract
In order to understand the structure of the “typical” element of a homeomorphism group, one has to study how large the conjugacy classes of the group are. When typical means generic in the sense of Baire category, this is well understood; see, e.g., the works of Glasner and Weiss, and Kechris and Rosendal. Following Dougherty and Mycielski we investigate the measure theoretic dual of this problem, using Christensen's notion of Haar null sets. When typical means random, that is, almost every with respect to this notion of Haar null sets, the behaviour of the homeomorphisms is entirely different from the generic case. For Homeo+([0, 1]) we describe the non-Haar null conjugacy classes and also show that their union is co-Haar null, for Homeo+(S1) we describe the non-Haar null conjugacy classes, and for U(l2) we show that, apart from the classes of the multishifts, all conjugacy classes are Haar null. As an application we affirmatively answer the question whether these groups can be written as the union of a meagre and a Haar null set.
Similar content being viewed by others
References
E. Akin, The General Topology of Dynamical Systems, Graduate Studies in Mathematics, Vol. 1, American Mathematical Society, Providence, RI, 1993.
E. Akin, M. Hurley and J. A. Kennedy, Dynamics of topologically generic homeomor-phisms, Memoirs of the American Mathematical Society 164 (2003).
S. Banach, Sur les lignes rectifiables et les surfaces dont l'aire est finie, Fundamenta Mathematicae 1 (1925), 225–236.
H. Becker and A. S. Kechris, The Descriptive Set Theory of Polish Group Actions, London Mathematical Society Lecture Note Series, Vol. 232, Cambridge University Press, Cambridge, 1996.
J. P. R. Christensen, On sets of Haar measure zero in abelian Polish groups, Israel Journal of Mathematics 13 (1973), 255–260.
M. P. Cohen and R. R. Kallman, Openly Haar null sets and conjugacy in Polish groups, Israel Journal of Mathematics 215 (2016), 1–30.
G. Cruaciun, P. Horja, M. Prunescu and T. Zamfirescu, Most homeomorphisms of the circle are semiperiodic, Archiv der Mathematik 64 (1995), 452–458.
U. B. Darji, M. Elekes, K. Kalina, V. Kiss and Z. Vidnyánszky, The structure of random automorphisms of countable structures, Transactions of the American Mathematical Society 371 (2019), 8829–8848.
R. Dougherty, Examples of nonshy sets, Fundamenta Mathematicae 144 (1994), 73–88.
R. Dougherty and J. Mycielski, The prevalence of permutations with infinite cycles, Fundamenta Mathematicae 144 (1994), 89–94.
T. Downarowicz, R. D. Mauldin, and T. T. Warnock, Random circle homeomorphisms, Ergodic Theory and Dynamical Systems 12 (1992), 441–458.
M. Elekes and D. Nagy, Haar null and haar meager sets: a survey and new results, Bulletin of the London Mathematical Society, to appear, http://arxiv.org/abs/1606.06607.
S. Gao, Invariant Descriptive Set Theory, Pure and Applied Mathematics (Boca Raton), Vol. 293, CRC Press, Boca Raton, FL, 2009.
N. Gill, A. G. O'Farrell and I. Short, Reversibility in the group of homeomorphisms of the circle, Bulletin of the London Mathematical Society 41 (2009), 885–897.
E. Glasner and B. Weiss, The universal minimal system for the group of homeomorphisms of the Cantor set, Fundamenta Mathematicae 176 (2003), 277–289.
E. Glasner and B. Weiss, Topological groups with Rokhlin properties, Colloquium Math-ematicum 110 (2008), 51–80.
S. Graf, R. D. Mauldin and S. C. Williams, Random homeomorphisms, Advances in Mathematics 60 (1986), 239–359.
A. Katok and B. Hasselblatt, Introduction to the Modern Theory of Dynamical Systems, Encyclopedia of Mathematics and its Applications, Vol. 54, Cambridge University Press, Cambridge, 1995.
A. S. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, Vol. 156, Springer, New York, 1995.
A. S. Kechris and C. Rosendal, Turbulence, amalgamation, and generic automorphisms of homogeneous structures, Proceedings of the London Mathematical Society 94 (2007), 302–350.
T. L. Kriete, III, An elementary approach to the multiplicity theory of multiplication operators, Rocky Mountain Journal of Mathematics 16 (1986), 23–32.
A. G. O'Farrell, Conjugacy involutions, and reversibility for real homeomorphisms, Irish Mathematical Society Bulletin 54 (2004), 41–52.
W. Parry, Topics in Ergodic Theory, Cambridge Tracts in Mathematics, Vol. 75, Cambridge University Press, Cambridge-New York, 1981.
H. Shi, Shyness of sets in the space of automorphisms on [0, 1], Acta Mathematica Hungarica 89 (2000), 135–147.
H. Shi and B. S. Thomson, Haar null sets in the space of automorphisms on [0, 1], Real Analysis Exchange 24 (1998/99), 337–350.
J. K. Truss, Generic automorphisms of homogeneous structures, Proceedings of the London Mathematical Society 65 (1992), 121–141.
D. X. Xia, Measure and integration theory on infinite-dimensional spaces. Abstract harmonic analysis, Pure and Applied Mathematics, Vol. 48, Academic Press, New York-London, 1972.
Acknowledgements
We would like to thank R. Balka, Z. Gyenis, A. Kechris, C. Rosendal, S. Solecki and P. Wesolek for many valuable remarks and discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
The second, fourth and fifth authors were partially supported by the National Research, Development and Innovation Office—NKFIH, grants no. 113047, no. f 04178 and no. 124749. The fifth author was also partially supported by FWF Grant P29999.
Rights and permissions
About this article
Cite this article
Darji, U.B., Elekes, M., Kalina, K. et al. The structure of random homeomorphisms. Isr. J. Math. 237, 75–113 (2020). https://doi.org/10.1007/s11856-020-2001-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-020-2001-4