Polish groupoids and functorial complexity

DOI10.1090/TRAN/7102zbMATH Open1414.03011arXiv1407.6671OpenAlexW2963932480MaRDI QIDQ5267989FDOQ5267989

Martino Lupini

Publication date: 14 June 2017

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

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.

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

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

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)

Cites Work

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

Cited In (15)

• Title not available (Why is that?)
• Group actions: Entropy, mixing, spectra, and generic properties
• 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
• Higher-dimensional obstructions for star reductions
• Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
• Polish topometric groups
• Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}
• 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)