The structure of hy-per nite Borel equivalence relations

We study the structure of the equivalence relations induced by the orbits of a single Borel automorphism on a standard Borel space. We show that any two such equivalence relations which are not smooth, i.e., do not admit Borel selectors, are Borel embeddable into each other. (This utilizes among other things work of Effros and Weiss.) Using this and also results of Dye, Varadarajan, and recent work of Nadkarni, we show that the cardinality of the set of ergodic invariant measures is a complete invariant for Borel isomorphism of aperiodic nonsmooth such equivalence relations. In particular, since the only possible such cardinalities are the finite ones, countable infinity, and the cardinality of the continuum, there are exactly countably infinitely many isomorphism types. Canonical examples of each type are also discussed.

[1]  Alexander S. Kechris,et al.  Countable sections for locally compact group actions , 1992, Ergodic Theory and Dynamical Systems.

[2]  A. Kechris.  The Structure of Borel Equivalence Relations in Polish Spaces , 1992 .

[3]  Alexander S. Kechris.  Amenable Equivalence Relations and Turing Degrees , 1991, J. Symb. Log..

[4]  M. Nadkarni.  On the existence of a finite invariant measure , 1990 .

[5]  Klaus Schmidt,et al.  Algebraic ideas in ergodic theory , 1990 .

[6]  Alain Louveau,et al.  A Glimm-Effros dichotomy for Borel equivalence relations , 1990 .

[7]  R. Sato.  An ergodic theorem without invariant measure , 1990 .

[8]  M. Nadkarni,et al.  On orbit equivalence of borel automorphisms , 1989 .

[9]  V. Wagh.  A descriptive version of Ambrose’s representation theorem for flows , 1988 .

[10]  An equivalence relation that is not freely generated , 1988 .

[11]  Theodore A. Slaman,et al.  Definable functions on degrees , 1988 .

[12]  S. Ulam,et al.  Mathematical problems and games , 1987 .

[13]  A VERSION OF DYE'S THEOREM FOR DESCRIPTIVE , 1987 .

[14]  D. Sullivan,et al.  Generic dynamics and monotone complete C*-algebras , 1986 .

[15]  Benjamin Weiss,et al.  An amenable equivalence relation is generated by a single transformation , 1981, Ergodic Theory and Dynamical Systems.

[16]  浜地 敏弘,et al.  Ergodic groups of automorphisms and Krieger's theorems , 1981 .

[17]  O. Carruth McGehee,et al.  Essays in Commutative Harmonic Analysis , 1979 .

[18]  Calvin C. Moore,et al.  Ergodic equivalence relations, cohomology, and von Neumann algebras. II , 1977 .

[19]  K. Schmidt.  Cocycles on ergodic transformation groups , 1977 .

[20]  Wolfgang Krieger.  On ergodic flows and the isomorphism of factors , 1976 .

[21]  J. Feldman,et al.  Ergodic equivalence relations, cohomology, and von Neumann algebras , 1975 .

[22]  B. Weiss.  Groups of measure preserving transformations , 1973 .

[23]  Y. Katznelson,et al.  The construction of quasi-invariant measures , 1972 .

[24]  Wolfgang Krieger.  On quasi-invariant measures in uniquely ergodic systems , 1971 .

[25]  Wolfgang Krieger.  On non-singular transformations of a measure space. I , 1969 .

[26]  Edwin Hewitt,et al.  Real And Abstract Analysis , 1967 .

[27]  Edward G. Effros,et al.  Transformation Groups and C ∗ -algebras , 1965 .

[28]  V. Varadarajan,et al.  Groups of automorphisms of Borel spaces , 1963 .

[29]  H. Dye.  ON GROUPS OF MEASURE PRESERVING TRANSFORMATIONS. I. , 1959 .