Abstract:This paper is devoted to the study of analytic equivalence relations which are Borel graphable, i.e. which can be realized as the connectedness relation of a Borel graph. Our main focus is the question of which analytic equivalence relations are Borel graphable. First, we study an equivalence relation arising from the theory of countable admissible ordinals and show that it is Borel graphable if and only if there is a non-constructible real. As a corollary of the proof, we construct an analytic equivalence relation which is (provably in ZFC) not Borel graphable and an effectively analytic equivalence relation which is Borel graphable but not effectively Borel graphable. Next, we study analytic equivalence relations given by the isomorphism relation for some class of countable structures. We show that all such equivalence relations are Borel graphable, which implies that for every Borel action of $S_\infty$, the associated orbit equivalence relation is Borel graphable. This leads us to study the class of Polish groups whose Borel actions always give rise to Borel graphable orbit equivalence relations; we refer to such groups as graphic groups. We show that besides $S_\infty$, the class of graphic groups includes all connected Polish groups and is closed under countable products. We finish by studying structural properties of the class of Borel graphable analytic equivalence relations and by considering two variations on Borel graphability: a generalization with hypegraphs instead of graphs and an analogue of Borel graphability in the setting of computably enumerable equivalence relations.

The Complexity of Proper Homotopy Equivalence of Graphs

Surfaces proper homotopy equivalent to graphs and their Dehn-Nielsen-Baer maps

On Homomorphism Graphs

Finiteness of Cohomology for Pro-locally Proper Maps

Categorically Proper Homomorphisms of Topological Groups.

Borel graphable equivalence relations

Finite topologies for finite geometries

Homotopy type of circle graph complexes motivated by extreme Khovanov homology

The Homotopy Type of the Baily–Borel and Allied Compactifications

Complexity of Finite Borel Asymptotic Dimension

Proper topological complexity

Homotopy coherent theorems of Dold-Kan type

Two graph homologies and the space of long embeddings

Homomorphisms between graphs embedded on surfaces

Borsuk--Ulam property for graphs II: The $\mathbb{Z}_n$-action

The proper homotopy of Alexandroff spaces

Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

A Dichotomy for Finite Abstract Simplicial Complexes

Homotopy Covers of Graphs

Homomorphism-Distinguishing Closedness for Graphs of Bounded Tree-Width