Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format 		Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society
ISSN 1088-9485(e) ISSN 0273-0979(p)

     

Borel actions of Polish groups

Author(s): Howard Becker; Alexander S. Kechris
Journal: Bull. Amer. Math. Soc. 28 (1993), 334-341.
MathSciNet review: 1185149
Retrieve article in: PDF

Abstract | References | Additional information

Abstract: 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 analog 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 with each other and, in the case of the group of permutations of $ {\mathbb{N}}$, with the model-theoretic Vaught Conjecture for infinitary logic; this depends on our identification of the universal action for that group.

References:

Bibliography

[AM]
L. Auslander and C. C. Moore, Unitary representations of solvable Lie groups, Mem. Amer. Math. Soc., vol. 62, Amer. Math. Soc., Providence, RI, 1966. MR 0207910 (34:7723)

[Be]
H. Becker, The topological Vaught's conjecture and minimal counterexamples, J. Symbolic Logic (to appear). MR 1295968 (95k:03077)

[Bu]
J. P. Burgess, Equivalences generated by families of Borel sets, Proc. Amer. Math. Soc. 69 (1978), 323-326. MR 0476524 (57:16084)

[BM]
J. P. Burgess and D. E. Miller, Remarks on invariant descriptive set theory, Fund. Math. 90 (1975), 53-75. MR 0403975 (53:7784)

[C]
G. Choquet, Lectures on analysis, W. A. Benjamin, New York, 1969.

[E]
E. G. Effros, Transformation groups and $ {C^{\ast}}$-algebras, Ann. of Math. (2) 81 (1965), 38-55. MR 0174987 (30:5175)

[FHM]
J. Feldman, P. Hahn, and C. C. Moore, Orbit structure and countable sections for actions of continuous groups, Adv. in Math. 28 (1978), 186-230. MR 0492061 (58:11217)

[G]
J. Glimm, Locally compact transformation groups, Trans. Amer. Math. Soc. 101 (1961), 124-138. MR 0136681 (25:146)

[HKL]
L. Harrington, A. S. Kechris, and A. Louveau, A Glimm-Effros dichotomy for Borel equivalence relations, J. Amer. Math. Soc. 3 (1990), 903-928. MR 1057041 (91h:28023)

[K]
A. S. Kechris, Countable sections for locally compact group actions, Ergodic Theory Dynamical Systems 12 (1992), 283-295. MR 1176624 (94b:22003)

[Ku]
K. Kuratowski, Topology, vol. I, Academic Press, New York, 1966. MR 0217751 (36:840)

[L]
D. Lascar, Why some people are excited by Vaught's conjecture, J. Symbolic Logic 50 (1985), 973-982. MR 820126 (87e:03089)

[L-E]
E. G. K. Lopez-Escobar, An interpolation theorem for denumerably long formulas, Fund. Math. 57 (1965), 253-272. MR 0188059 (32:5500)

[Ma1]
G. W. Mackey, Borel structures in groups and their duals, Trans. Amer. Math. Soc. 85 (1957), 134-165. MR 0089999 (19:752b)

[Ma2]
-, Point realizations of transformation groups, Illinois J. Math. 6 (1962), 327-335. MR 0143874 (26:1424)

[Ma3]
-, Unitary group representations in physics, probability and number theory, Addison-Wesley, Reading, MA, 1989.

[Mi]
D. E. Miller, On the measurability of orbits in Borel actions, Proc. Amer. Math. Soc. 63 (1977), 165-170. MR 0440519 (55:13394)

[Mo]
C. C. Moore, Ergodic theory and von Neumann algebras, Proc. Sympos. Pure Math., vol. 38, Amer. Math. Soc., Providence, RI, 1982, pp. 179-225. MR 679505 (84f:22013)

[N]
M. G. Nadkarni, On the existence of a finite invariant measure, Proc. Indian Acad. Sci. Math. Sci. 100 (1991), 203-220. MR 1081705 (92d:28008)

[O]
G. I. Olshanski, New "large groups" of type I, J. Soviet Math. 18 (1982), 22-39.

[Ra1]
A. Ramsay, Topologies on measured groupoids, J. Funct. Anal. 47 (1982), 314-343. MR 665021 (83k:22014)

[Ra2]
-, Measurable group actions are essentially Borel actions, Israel J. Math. 51 (1985), 339-346. MR 804490 (87e:28035)

[Ro]
C. A. Rogers et al., Analytic sets, Academic Press, New York, 1980. MR 608794 (82m:03063)

[Sa]
R. Sami, Polish group actions and the Vaught Conjecture, Trans. Amer. Math. Soc. (to appear). MR 1022169 (94c:03068)

[Sil]
J. H. Silver, Counting the number of equivalence classes of Borel and coanalytic equivalence relations, Ann. Math. Logic 18 (1980), 1-28. MR 568914 (81d:03051)

[Sin]
Ya. G. Sinai, Dynamical systems. II, Springer-Verlag, New York, 1989. MR 1024068 (91i:58079)

[St]
J. R. Steel, On Vaught's Conjecture, Cabal Seminar 76-77, Lecture Notes in Math., vol. 689, Springer-Verlag, New York, 1978, pp. 193-208. MR 526920 (81b:03036)

[U]
V. V. Uspenskii, A universal topological group with a countable base, Funct. Anal. Appl. 20 (1986), 160-161. MR 847156 (87i:22010)

[Var]
V. S. Varadarajan, Groups of automorphisms of Borel spaces, Trans. Amer. Math. Soc. 109 (1963), 191-220. MR 0159923 (28:3139)

[Vau]
R. Vaught, Invariant sets in topology and logic, Fund. Math. 82 (1974), 269-294. MR 0363912 (51:167)

[Ve]
A. M. Vershik, Description of invariant measures for the actions of some infinite-dimensional groups, Soviet Math. Dokl. 15 (1974), 1396-1400.

[VF]
A. M. Vershik and A. L. Fedorov, Trajectory theory, J. Soviet Math. 38 (1987), 1799-1822.

[Wh]
V. M. Wagh, A descriptive version of Ambrose's representation theorem for flows, Proc. Indian Acad. Sci. Math. Sci. 98 (1988), 101-108. MR 994127 (90m:28021)

[Wn]
S. Wagon, The Banach-Tarski paradox, Cambridge Univ. Press, Cambridge and New York, 1987. MR 803509 (87e:04007)

[Za]
P. Zakrzewski, The existence of invariant probability measures for a group of transformations, preprint, July 1991. MR 1239067 (94k:28032)

[Zi]
R. Zimmer, Ergodic theory and semisimple groups, Birkhäuser, Basel, 1984. MR 776417 (86j:22014)

Additional Information:

DOI: 10.1090/S0273-0979-1993-00383-5
PII: S 0273-0979(1993)00383-5
Copyright of article: Copyright 1993, American Mathematical Society




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia