Andrew S. Marks

A DETERMINACY APPROACH TO BOREL COMBINATORICS

We introduce a new method, involving infinite games and Borel determinacy, which we use to answer several well-known questions in Borel combinatorics.

Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III: Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations

Introduction. There is a fascinating interplay and overlap between recursion theory and descriptive set theory. A particularly beautiful source of such interaction has been Martins conjecture on Turing invariant functions. This longstanding open problem in recursion theory has connected to many problems in descriptive set theory, particularly in the theory of countable Borel equivalence relations. In this paper, we shall give an overview of some work that has been done on Martins conjecture, and applications that it has had in descriptive set theory. We will present a long unpublished result of Slaman and Steel that arithmetic equivalence is a universal countable Borel equivalence relation. This theorem has interesting corollaries for the theory of universal countable Borel equivalence relations in general. We end with some open problems, and directions for future research. Martins conjecture. Martins conjecture on Turing invariant functions is one of the oldest and deepest open problems on the global structure of the Turing degrees. Inspired by Sacks’ question on the existence of a degree-invariant solution to Posts problem [Sac66], Martin made a sweeping conjecture that says in essence, the only nontrivial definable Turing invariant functions are the Turing jump and its iterates through the transfinite. Our basic references for descriptive set theory and effective descriptive set theory are the books of Kechris [Kec95] and Sacks [Sac90]. Let ≤T be Turing reducibility on the Cantor space ^ω2, and let ≡T be Turing equivalence. Given x ∈^ω2, let x′ be the Turing jump of x. The Turing degree of a real x∈^ω2 is the ≡T equivalence class of x. A Turing invariant function is a function such that for all reals x, y ∈ ^ω2, if x ≡T y, then f(x) ≡T f(y). The Turing invariant functions are those which induce functions on the Turing degrees. With the axiom of choice, we can construct many pathological Turing invariant functions. Martins conjecture is set in the context of ZF+DC+AD, where AD is the axiom of determinacy. We assume ZF+DC+AD for the rest of this section. The results we will discuss all “localize” so that the assumption of AD essentially amounts to studying definable functions assuming definable determinacy, for instance, Borel functions using Borel determinacy.

BROOKS’ THEOREM FOR MEASURABLE COLORINGS

We generalize Brookss theorem to show that if

Baire measurable paradoxical decompositions via matchings

G

Minimal Betti numbers

is a Borel graph on a standard Borel space

Uniformity, universality, and computability theory

X

Følner tilings for actions of amenable groups

of degree bounded by

JUMP OPERATIONS FOR BOREL GRAPHS

d \geq 3

Borel circle squaring

which contains no

Topological generators for full groups of hyperfinite pmp equivalence relations

(d+1)