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.

Hausdorff dimension and countable Borel equivalence relations

Borel Order Dimension

A dichotomy for countable unions of smooth Borel equivalence relations

The Borel Ramsey properties for countable Borel equivalence relations

Universal countable Borel quasi-orders

Analogues of the countable Borel equivalence relations in the setting of computable reducibility

Borel graphable equivalence relations

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

High dimensional countable compactness and ultrafilters

Dimension Of Besicovitch-Eggleston Sets In Countable Symbolic Space

Hausdorff dimension, its properties, and its surprises

An order analysis of hyperfinite Borel equivalence relations

Hausdorff dimension of certain sets arising in continued fraction expansions

The Hausdorff dimension estimation for an ergodic hyperbolic measure of ¹-diffeomorphism

Hausdorff dimension of limit sets for projective Anosov representations

Hyper-hyperfiniteness and complexity

Countable Borel treeable equivalence relations are classifiable by $\ell_1$

Tree-like graphings of countable Borel equivalence relations

Degree spectra of analytic complete equivalence relations

Hausdorff dimension and infinitesimal similitudes on complete metric spaces

Borel complexity of families of finite equivalence relations via large cardinals