Polish groupoids and functorial complexity

DOI10.1090/TRAN/7102MaRDI QIDQ5267989zbMATH OpenOpenAlexFDO

Authors Martino Lupini

Publication date 14 June 2017

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.6671

zbMATH Keywords

Borel reducibilityPolish groupoidstreeable

Mathematics Subject Classification ID

Descriptive set theory (03E15) Topological groupoids (including differentiable and Lie groupoids) (22A22) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Applications of set theory (03E75)

Abstract: We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of principal groupoids such a notion coincide with the usual Borel complexity of equivalence relations. Our main result is that on one hand for Polish groupoids with essentially treeable orbit equivalence relation, functorial Borel complexity coincides with the Borel complexity of the associated orbit equivalence relation. On the other hand for every countable equivalence relation $E$ that is not treeable there are Polish groupoids with different functorial Borel complexity both having $E$ as orbit equivalence relation. In order to obtain such a conclusion we generalize some fundamental results about the descriptive set theory of Polish group actions to actions of Polish groupoids, answering a question of Arlan Ramsay. These include the Becker-Kechris results on Polishability of Borel $\mathrm{\%}G$-spaces, existence of universal Borel $G$-spaces, and characterization of Borel $G$-spaces with Borel orbit equivalence relations.

Recommendations

• scientific article; zbMATH DE number 976831
• scientific article; zbMATH DE number 1522817
• A Borel parametrization of Polish groups
• scientific article; zbMATH DE number 1522818
• Invariant descriptive set theory

Cites work

• scientific article; zbMATH DE number 4147079 (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 1032970 (Why is no real title available?)
• scientific article; zbMATH DE number 1522818 (Why is no real title available?)
• scientific article; zbMATH DE number 1388189 (Why is no real title available?)
• A Borel reductibility theory for classes of countable structures
• A DICHOTOMY FOR THE MACKEY BOREL STRUCTURE
• A strong generic ergodicity property of unitary and self-adjoint operators
• An anti-classification theorem for ergodic measure preserving transformations
• Borel Structure in Groups and Their Duals
• Borel complexity and automorphisms of \(C^*\)-algebras
• Borel equivalence relations and classifications of countable models
• COUNTABLE BOREL EQUIVALENCE RELATIONS
• Completeness of the isomorphism problem for separable C^-algebras
• Computing the complexity of the relation of isometry between separable Banach spaces
• Countable sections for locally compact group actions
• ERGODIC THEORY, GROUP THEORY AND DIFFERENTIAL GEOMETRY
• Embedding of exact C* -algebras in the Cuntz algebra 𝒪2
• Generic representations of abelian groups and extreme amenability
• Graphs, groupoids, and Cuntz-Krieger algebras
• Groupoids, inverse semigroups, and their operator algebras
• Invariant descriptive set theory
• Invariant sets in topology and logic
• Inverse semigroups and combinatorial \(C^*\)-algebras
• Logic and operator algebras
• Model theory for metric structures
• New Dichotomies for Borel Equivalence Relations
• On the classification of Polish metric spaces up to isometry
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• On the geometry of Urysohn's universal metric space
• Operator algebras for analytic varieties
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Polish Group Actions and the Vaught Conjecture
• The Descriptive Set Theory of C*-algebra Invariants
• The Mackey-Glimm dichotomy for foliations and other Polish groupoids
• The classification of hypersmooth Borel equivalence relations
• The classification problem for operator algebraic varieties and their multiplier algebras
• The complexity of classifying separable Banach spaces up to isomorphism
• The complexity of the homeomorphism relation between compact metric spaces
• The isomorphism relation for separable \(C^\ast\)-algebras
• Towards a theory of classification
• Turbulence, orbit equivalence, and the classification of nuclear \(C^*\)-algebras
• Turbulence, representations, and trace-preserving actions
• Unitary equivalence of automorphisms of separable \(C^*\)-algebras
• Virtual groups and group actions

Cited in

(15)

• Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
• scientific article; zbMATH DE number 1522818 (Why is no real title available?)
• The open mapping principle for partial actions of Polish groups
• The classification problem for operator algebraic varieties and their multiplier algebras
• On the complexity of topological conjugacy of Toeplitz subshifts
• Connected Polish groups with ample generics
• Borel globalizations of partial actions of Polish groups
• Group actions: entropy, mixing, spectra, and generic properties
• Higher-dimensional obstructions for star reductions
• Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
• Polish topometric groups
• The Kirchberg-Wassermann operator system is unique
• Representations of étale groupoids on \(L^p\)-spaces
• Polish group actions: Dichotomies and generalized elementary embeddings
• A note on polynomial functors and ext¹Groups

This page was built for publication: Polish groupoids and functorial complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267989)