Borel actions of Polish groups

We show that a Borel action of a Polish group on a standard Borel space is Borel isomorphic to a continuous action of the group on a Polish space, and we apply this result to three aspects of the theory of Borel actions of Polish groups: universal actions, invariant probability measures and the topological Vaught conjecture. We establish the existence of universal actions for any given Polish group, extending a result of Mackey and Varadarajan for the locally compact case. We prove an analogue of Tarski's theorem on paradoxical decompositions, by showing that the existence of an invariant Borel probability measure is equivalent to the nonexistence of paradoxical decompositions with countably many Borel pieces. We show that various natural versions of the topological Vaught conjecture are equivalent to each other and, in the case of the group of permutations of N, with the model-theoretic Vaught conjecture for infinitary logic; this depends on our identification of the universal action for that group.

[1]  Howard Becker,et al.  The topological Vaught's conjecture and minimal counterexamples , 1994, Journal of Symbolic Logic.

[2]  R. Vaught.  Invariant sets in topology and logic , 1974 .

[3]  G. Mackey.  Point realizations of transformation groups , 1962 .

[4]  J. Burgess.  Equivalences generated by families of Borel sets , 1978 .

[5]  Douglas E. Miller.  On the measurability of orbits in Borel actions , 1977 .

[6]  G. I. Ol'shanskii.  New “large” groups of type I , 1982 .

[7]  J. Marsden,et al.  Lectures on analysis , 1969 .

[8]  O. H. Lowry.  Academic press. , 1972, Analytical chemistry.

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

[10]  John R. Steel,et al.  On Vaught's conjecture , 1978 .

[11]  A. Ramsay.  Measurable group actions are essentially Borel actions , 1985 .

[12]  John P. Burgess,et al.  Remarks on invariant descriptive set theory , 1975 .

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

[14]  Ramez L. Sami,et al.  Polish group actions and the Vaught conjecture , 1994 .

[15]  Stan Wagon,et al.  The Banach-Tarski paradox , 1985 .

[16]  E. López-Escobar.  An interpolation theorem for denumerably long formulas , 1965 .

[17]  L. Cesari,et al.  Dynamical Systems II , 1983 .

[18]  L. Pukanszky,et al.  Unitary representations of solvable Lie groups , 1971 .

[19]  Daniel Lascar.  Why Some People are Excited by Vaught's Conjecture , 1985, J. Symb. Log..

[20]  A. Ramsay.  Topologies on measured groupoids , 1982 .

[21]  George W. Mackey,et al.  Unitary group representations - in physis, probability, and number theory , 1989, Advanced book classics.

[22]  J. Silver,et al.  Counting the number of equivalence classes of Borel and coanalytic equivalence relations , 1980 .

[23]  P. Zakrzewski.  The existence of invariant probability measures for a group of transformations , 1993 .

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

[25]  Robert J. Zimmer,et al.  Ergodic Theory and Semisimple Groups , 1984 .

[26]  F. Su.  The Banach-Tarski Paradox , 1990 .

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

[28]  J. Feldman,et al.  Orbit structure and countable sections for actions of continuous groups , 1978 .

[29]  R. Ellis.  Locally compact transformation groups , 1957 .

[30]  A universal topological group with a countable base , 1986 .

[31]  G. Mackey.  Borel structure in groups and their duals , 1957 .

[32]  Y. Sinai.  Dynamical Systems II , 1989 .

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