Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
From MaRDI portal
Abstract: We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as well as Sami's and Hjorth's sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms; and the equivalence of "potentially open" versus "orbitwise open" Borel sets. We also characterize "potentially open" -ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions, and prove a result subsuming Lupini's Becker--Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures. Our proof method is new even in the classical case of Polish groups, and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids, and more generally in the point-free context, for open localic groupoids.
Recommendations
Cites work
- Amenability for Fell bundles over groupoids
- An extension of the Galois theory of Grothendieck
- Atomless Parts of Spaces.
- Automatic Continuity of Group Homomorphisms
- Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
- Complemented sublocales and open maps
- Constructive points of powerlocales
- Constructive theory of the lower power locale
- Decompositions and measures on countable Borel equivalence relations
- First Steps in Descriptive Theory of Locales
- Frames and Locales
- Generic representations of abelian groups and extreme amenability
- scientific article; zbMATH DE number 4093447 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 3489364 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 976831 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 851999 (Why is no real title available?)
- scientific article; zbMATH DE number 7093560 (Why is no real title available?)
- Invariant descriptive set theory
- Locatedness and overt sublocales
- Polish Group Actions and the Vaught Conjecture
- Polish groupoids and functorial complexity
- Quasi-Polish spaces
- RECONSTRUCTION OF NON--CATEGORICAL THEORIES
- Representations of étale groupoids on \(L^p\)-spaces
- Sharper changes in topologies
- Spatiality of countably presentable locales (proved with the Baire category theorem)
- The Mackey-Glimm dichotomy for foliations and other Polish groupoids
- Towards a descriptive set theory for domain-like structures
Cited in
(1)
This page was built for publication: Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6193733)
