A non-product type non-singular transformation which satisfies Krieger's property A (Q1760404): Difference between revisions

Two non-singular transformations on a Lebesgue measure space are orbit equivalent if there is a bi-measurable transformation on the space that sends orbits of one transformation to orbits of the other. Works of \textit{H. A. Dye} [Am. J. Math. 81, 119--159 (1959; Zbl 0087.11501)] and \textit{W. Krieger} [Z. Wahrscheinlichkeitstheor. Verw. Geb. 11, 83--97, 98--119 (1969; Zbl 0185.11901)] proved that any two transformations with equivalent sigma-finite invariant measures are orbit equivalent. A transformation with no equivalent sigma-finite invariant measure is called type III. In the scenario of type III transformations, Krieger asked which of them are orbit equivalent to a product type odometer. He defined a property, nowadays called Krieger's property A, that is a necessary condition to have orbit equivalence to a product type odometer. The paper under review proves that it is not a sufficient condition: there exists a transformation that satisfies Krieger's property A and is not orbit equivalent to a product type odometer. A type III transformation is orbit equivalent to a product type odometer if and only if its associated flow has the AT-property of \textit{A. Connes} and \textit{E. J. Woods} [Ergodic Theory Dyn. Syst. 5, 203--236 (1985; Zbl 0606.46041)]. The transformation considered by the author is the pointwise realization of an ergodic hyperfinite equivalence relation given in \textit{T. Giordano} and \textit{D. Handelman} [Münster J. Math. 1, No. 1, 15--72 (2008; Zbl 1163.60019)]. He proves that such a transformation does not have the AT-property, and so it is not orbit equivalent to a product type odometer. The main contribution of the paper is the proof that the transformation does satisfy Krieger's property A.