Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-25T17:53:32.306Z Has data issue: false hasContentIssue false

Classifying Borel automorphisms

Published online by Cambridge University Press:  12 March 2014

John D. Clemens*
Affiliation:
Penn State University, Dept. of Mathematics, University Park, PA 16802, USA. E-mail: clemens@math.psu.edu

Extract

§1. Introduction. This paper considers several complexity questions regarding Borel automorphisms of a Polish space. Recall that a Borel automorphism is a bijection of the space with itself whose graph is a Borel set (equivalently, the inverse image of any Borel set is Borel). Since the inverse of a Borel automorphism is another Borel automorphism, as is the composition of two Borel automorphisms, the set of Borel automorphisms of a given Polish space forms a group under the operation of composition. We can also consider the class of automorphisms of all Polish spaces. We will be primarily concerned here with the following notion of equivalence:

Definition 1.1. Two Borel automorphisms f and g of the Polish spaces X and Y are said to be Borel isomorphic, fg, if they are conjugate, i.e. there is a Borel bijection φ: XY such that φ ∘ f = g ∘ φ.

We restrict ourselves to automorphisms of uncountable Polish spaces, as the Borel automorphisms of a countable space are simply the permutations of the space. Since any two uncountable Polish spaces are Borel isomorphic, any Borel automorphism is Borel isomorphic to some automorphism of a fixed space. Hence, up to Borel isomorphism we can fix a Polish space and represent any Borel automorphism as an automorphism of this space. We will use the Cantor space 2ω (with the product topology) as our representative space.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Adams, S. and Kechris, A. S., Linear algebraic groups and countable Borel equivalence relations, Journal of the American Mathematical Society, vol. 13 (2000), no. 4, pp. 909943.CrossRefGoogle Scholar
[2]Dougherty, R., Jackson, S., and Kechris, A. S., The structure of hyperfinite Borel equivalence relations, Transactions of the American Mathematical Society, vol. 341 (1994), no. 1, pp. 193225.CrossRefGoogle Scholar
[3]Eigen, S., Hajian, A., and Weiss, B., Borel automorphisms with no finite invariant measure, Proceedings of the American Mathematical Society, vol. 126 (1998), no. 12, pp. 36193623.CrossRefGoogle Scholar
[4]Gao, S., Some applications of the Adams-Kechris technique, Proceedings of the American Mathematical Society, vol. 130 (2002), no. 3, pp. 863874.CrossRefGoogle Scholar
[5]Hjorth, G., On invariants for measure preserving transformations, Fundamenta Mathematicae, vol. 169 (2001), no. 1, pp. 5184.CrossRefGoogle Scholar
[6]Kechris, A. S., Classical Descriptive Set Theory, Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1995.CrossRefGoogle Scholar
[7]Kechris, A. S. and Louveau, A., The classification of hypersmooth Borel equivalence relations, Journal of the American Mathematical Society, vol. 10 (1997), no. 1, pp. 215242.CrossRefGoogle Scholar
[8]Miller, B. and Rosendal, C., Descriptive Kakutani equivalence, preprint.Google Scholar