aa r X i v : . [ m a t h . L O ] J un A DETERMINACY APPROACH TO BORELCOMBINATORICS
ANDREW S. MARKS
Abstract.
We introduce a new method, involving infinite games andBorel determinacy, which we use to answer several well-known questionsin Borel combinatorics. Introduction A Borel graph on a standard Borel space X is a symmetric irreflexiverelation G on X that is Borel as a subset of X × X . We call elements of X vertices, and if x, y ∈ X and x G y then we say that x and y are neighbors ,or are adjacent . The degree of a vertex is its number of neighbors, anda graph is said to have degree ≤ n if each of its vertices has degree ≤ n .A graph is said to be regular if all of its vertices have the same number ofneighbors, and is n -regular if this number is n .Graph coloring is a typical problem studied in the field of Borel com-binatorics, where a Borel coloring of a Borel graph G on X is a Borelfunction c : X → Y from the vertices of G to a standard Borel space Y suchthat if x G y , then c ( x ) = c ( y ). The Borel chromatic number χ B ( G )of G is the least cardinality of a standard Borel space Y such that G has aBorel coloring with codomain Y . The first systematic study of Borel chro-matic numbers was done by Kechris, Solecki, and Todorcevic [16]. Sincethen, fruitful connections have been found between the study of Borel chro-matic numbers and other areas of mathematics such as ergodic theory anddynamics [3, 4], and dichotomies in descriptive set theory [23].If G is a Borel graph, then it is clear that χ ( G ) ≤ χ B ( G ), where χ ( G ) is theusual chromatic number of G . However, χ ( G ) and χ B ( G ) may differ quitewildly. For instance, Kechris, Solecki, and Todorcevic [16] show the existenceof an acyclic Borel graph G (so χ ( G ) = 2) for which χ B ( G ) = 2 ℵ .Nevertheless, in some respects the Borel chromatic number of a graph isquite similar to the usual chromatic number. For example, we have thefollowing analogue of an obvious classical fact: Mathematics Subject Classification.
Primary 03E15.The author is partially supported by the National Science Foundation under DMS-1204907, and the John Templeton foundation under Award No. 15619.The author would also like to thank the Institute for Mathematical Sciences and theDepartment of Mathematics of the National University of Singapore and the John Tem-pleton Foundation for their support to attend the 2012 summer school in logic, where themain lemma of this paper was conceived.
Theorem 1.1 (Kechris, Solecki, and Todorcevic [16]) . If G is a Borel graphof degree ≤ n , then χ B ( G ) ≤ n + 1 . We will be interested in Borel graphs that arise from free Borel actionsof countable marked groups. Recall that a marked group is a group witha specified set of generators. We assume throughout this paper that the setof generators of a group does not include the identity. Let Γ be a countablediscrete group, and X be a standard Borel space. We endow the space X Γ of functions from Γ to X with the usual product Borel structure (arisingfrom the product topology) so that X Γ is also a standard Borel space. The left shift action of Γ on X Γ is defined by α · y ( β ) = y ( α − β ) for y ∈ X Γ and α, β ∈ Γ. The free part of this action, denoted Free( X Γ ), is the setof y ∈ X Γ such that γ · y = y for all nonidentity γ ∈ Γ. Now we define G (Γ , X ) to be the Borel graph on Free( X Γ ) where for x, y ∈ Free( X Γ ), wehave x G (Γ , X ) y if there is a generator γ ∈ Γ such that γ · x = y or γ · y = x .Hence, each connected component of G (Γ , X ) is an isomorphic copy of theCayley graph of Γ. We will only be interested in G (Γ , X ) when Γ is finitelygenerated; an easy Baire category argument shows that if Γ has infinitelymany generators, then χ B ( G (Γ , ℵ (see [16]).If Γ is a marked countable group, then G (Γ , N ) attains the maximumBorel chromatic number of all graphs generated by a free Borel action ofΓ. That is, suppose we have any free Borel action of Γ on a standardBorel space X , to which we associate the Borel graph G X Γ on X where x G X Γ y if there is a generator γ of Γ such that γ · x = y or γ · y = x .Then χ B ( G X Γ ) ≤ χ B ( G (Γ , N )). This is trivial when Γ is finite. When Γis infinite, it follows from [15, Theorem 5.4]; since the action of Γ on X is free, the function constructed there will an injective equivariant functionfrom X into Free( N Γ ). Recall that if Γ acts on the spaces X and Y , then afunction f : X → Y is said to be equivariant if for all γ ∈ Γ we have that γ · f ( x ) = f ( γ · x ).Our first result is a theorem describing how the Borel chromatic numberof G (Γ , N ) behaves with respect to free products (see 3.1). We stipulate thatif Γ and ∆ are marked groups, then their free product Γ ∗ ∆ is the markedgroup generated by the union of the generators of Γ and ∆. Theorem 1.2. If Γ and ∆ are finitely generated marked groups, then χ B ( G (Γ ∗ ∆ , N )) ≥ χ B ( G (Γ , N )) + χ B ( G (∆ , N )) − n -regular acyclic Borel graph, and whether the upper boundgiven by Theorem 1.1 is optimal for such graphs. Several prior results existalong these lines. For 2-regular acyclic graphs, we have that χ B ( G ( Z , n generators, χ B ( G ( F n , ≥ n +2 √ n − √ n − , and Lyons andNazarov [20] have pointed out that results of Frieze and Luczak [12] implythat χ B ( G ( F n , ≥ n log 2 n for sufficiently large n . DETERMINACY APPROACH TO BOREL COMBINATORICS 3
Using Theorem 1.2, we answer this question and show that for every n there exists an n -regular acyclic Borel graph with Borel chromatic numberequal to n + 1. Indeed, if ( Z / Z ) ∗ n is the free product of n copies of Z / Z ,then χ B ( G (( Z / Z ) ∗ n , N )) = n + 1, since Theorem 1.2 gives a tight lowerbound to the upper bound of Theorem 1.1. Similarly, for the free group on n generators, we have χ B ( G ( F n , N )) = 2 n + 1.Further, we can give a complete description of the Borel chromatic num-bers that can be attained by an n -regular acyclic Borel graph; they areexactly those allowed by Theorem 1.1 (see 3.3): Theorem 1.3.
For every n ≥ and every m ∈ { , . . . , n + 1 } , there is a n -regular acyclic Borel graph G with χ B ( G ) = m . In the theorem above, G may be chosen to arise from a free Borel actionof ( Z / Z ) ∗ n .Our results above involve graphs of the form G (Γ , N ). Answering a ques-tion originally posed in an early version of this paper, Seward and Tucker-Drob [24] have shown that for all marked groups Γ, and all n ≥
2, we have χ B ( G (Γ , N )) = χ B ( G (Γ , n )). Hence, our results apply to graphs of the form G (Γ ,
2) as well.Next, we turn to Borel edge colorings. Let G be a Borel graph on astandard Borel space X . If x, y ∈ X then we say the set { x, y } is an edge of G if x G y . The line graph ˇ G of G is the graph whose vertices are the edgesof G , and where distinct { x, y } and { z, w } are adjacent if { x, y }∩ { z, w } 6 = ∅ .A Borel edge coloring of G is defined to be a Borel coloring of ˇ G . The Borel edge chromatic number of a Borel graph G , denoted χ ′ B ( G ), isthe Borel chromatic number of its line graph.It is a classical theorem of Vizing (see e.g. [9, Theorem 5.3.2]) that every n -regular graph has an edge coloring with n + 1 colors. Kechris, Soleckiand Todorcevic have asked if the analogous fact is true for n -regular Borelgraphs [16, page 15]. More recently, this question has attracted some interestfrom the study of graph limits [11] [14, Remark 3.8]. We show that thisquestion has a negative answer, and we calculate exactly what Borel edgechromatic numbers can be attained by an n -regular Borel graph. Note thatif G is an n -regular Borel graph, then since ˇ G is 2 n − χ B ( ˇ G ) ≤ n − Borel bipartite graph is a Borel graph G on X for whichthere is a partition of X into two Borel sets A and B such that if x G y ,then either x ∈ A and y ∈ B , or x ∈ B and y ∈ A . Theorem 1.4.
For every n ≥ and every m ∈ { n, . . . , n − } , there is an n -regular acyclic Borel bipartite graph G such that χ ′ B ( G ) = m . A Borel perfect matching of a Borel graph G is a Borel subset M ofthe edges of G such that every vertex of G is incident to exactly one edge of M . In his 1993 problem list, Miller asked whether there is a Borel analogue ANDREW S. MARKS of Hall’s theorem for matchings [22, 15.10]. Laczkovich [19] showed theexistence of a 2-regular Borel bipartite graph with no Borel perfect matching,and this result was extended to give examples of n -regular Borel bipartitegraphs with no Borel perfect matchings by Conley and Kechris [3] when n is even. However, the case for odd n > Theorem 1.5.
For every n > , there exists an n -regular acyclic Borelbipartite graph with no Borel perfect matching. Some positive results on measurable matchings have recently been ob-tained by Lyons and Nazarov [20]. Among their results, they show that thegraph we use to prove the case n = 3 in Theorem 1.5 has a Borel matchingmodulo a null set with respect to a natural measure. Further work on match-ings in the measurable context has been done by Csoka and Lippner [8]. Themeasurable analogue of Theorem 1.5 for odd n remains open.Both Theorems 1.4 and 1.5 are corollaries of the following result on Boreldisjoint complete sections (see 3.7). Suppose X is a standard Borel space,and E is an equivalence relation on X . Then a complete section for E isa set A ⊆ X that meets every equivalence class of E . Now suppose that F is also an equivalence relation on X . Then say that E and F have Boreldisjoint complete sections if there exist disjoint Borel sets
A, B ⊆ X such that A is a complete section for E and B is a complete section for F . Theorem 1.6.
Let Γ and ∆ be countable groups. Let E Γ be the equivalencerelation on Free( N Γ ∗ ∆ ) where x E Γ y if there exists a γ ∈ Γ such that γ · x = y . Define E ∆ analogously. Then E Γ and E ∆ do not have Boreldisjoint complete sections. Theorems 1.2-1.6 above all follow from a single lemma which we prove inSection 2. Unusually for the subject, this lemma is proved using a directapplication of Borel determinacy. Borel determinacy is the theorem, due toMartin [21], that there is a winning strategy for one of the players in everyinfinite two-player game of perfect information with a Borel payoff set. Wewill use the determinacy of a class of games for constructing functions fromfree products of countable groups to N . Thus, we are also interested indifferences between the results proved using our new technique, and whatcan be shown using more standard tools such as measure theory and Bairecategory, which have been a mainstay of proofs in Borel combinatorics.Here, Theorem 1.6 provides a nice contrast because it is not true in thecontext of measure or category, except for the single case where Γ = ∆ = Z / Z . Indeed, we have the following more general theorem (see 4.5). Recallthat a countable Borel equivalence relation on a standard Borel space X is an equivalence relation on X that is Borel as a subset of X × X andwhose equivalence classes are countable. E Γ and E ∆ in Theorem 1.6 areexamples of countable Borel equivalence relations. DETERMINACY APPROACH TO BOREL COMBINATORICS 5
Theorem 1.7.
Suppose E and F are countable Borel equivalence relationson a standard Borel space X such that every equivalence class of E hascardinality ≥ and every equivalence class of F has cardinality ≥ . Then E and F have Borel disjoint complete sections modulo a null set or meagerset with respect to any Borel probability measure on X or Polish topologyrealizing the standard Borel structure of X . As we will see, the idea of disjoint complete sections turns out to be sur-prisingly robust, as evidenced by a large number of equivalent formulationswhich we give in Theorems 4.5 and 4.7 later in the paper. Using the exis-tence of disjoint complete sections in the context of measure and category,we also show the following, which contrasts nicely with Theorem 1.4, anddemonstrates that it can not be proved using measure-theoretic or Bairecategory techniques (see 4.8):
Theorem 1.8.
Suppose G is a -regular Borel bipartite graph on X . Then G has a Borel edge coloring with colors modulo a null set or meager set withrespect to any Borel probability measure on X or Polish topology realizingthe standard Borel structure of X . Finally, in recent joint work with Clinton Conley and Robin Tucker-Drob [7], we have shown that for every n ≥ G of degree ≤ n on a standard Borel space X , if G does not contain a com-plete graph on n + 1 vertices, then there is a µ -measurable n -coloring of G with respect to any Borel probability measure µ on X and a Baire measur-able n -coloring of G with respect to every compatible Polish topology on X . Hence, Theorem 1.3 can not be proved using pure measure theoretic orBaire category arguments, except in the exceptional case n = 2.1.1. Notation and conventions.
Our basic reference for descriptive settheory is [17]. Throughout we will use X , Y , and Z to denote standardBorel spaces, x , y , and z for elements of such spaces, and A , B , and C forsubsets of standard Borel spaces (which will generally be Borel). Given asubset A of a standard Borel space, we let A c denote its complement.We will use E and F for countable Borel equivalence relations, and G and H for Borel graphs. We will use f , g , and h to denote functions betweenstandard Borel spaces, and c for Borel colorings. Γ and ∆ will be used todenote countable groups, and α , β , γ , and δ will be their elements. We willuse e for the identity of a group. By countable group, we will always meancountable discrete group.If E is a countable Borel equivalence relation on a standard Borel space X , then A ⊆ X is said to be E -invariant if x ∈ A and x E y implies y ∈ A .If B is a subset of X , then we will often consider the largest E -invariantsubset of B . Precisely, this is the set A of x ∈ X such that for all y ∈ X where y E x , we have y ∈ B .1.2. Acknowledgments.
Section 4 of this paper is taken from the author’sthesis, which was written under the excellent direction of Ted Slaman. The
ANDREW S. MARKS author would like to thank Professor Slaman for many years of wise advice.The author would also like to thank Clinton Conley, Alekos Kechris, Ben-jamin Miller, Anush Tserunyan, Robin Tucker-Drob, and Jay Williams forproviding helpful feedback and suggestions throughout the development ofthis paper. Finally, the author would like to thank the referee for manyhelpful suggestions. 2.
The main lemma
Let Γ and ∆ be disjoint countable groups, and let Γ ∗ ∆ be their freeproduct. Each nonidentity element of Γ ∗ ∆ can be uniquely written asa finite product of either the form γ i δ i γ i δ i . . . or δ i γ i δ i γ i . . . , where γ i ∈ Γ and δ i ∈ ∆ are nonidentity elements for all i . Words of the formerform we call Γ -words , and words of the latter form we call ∆ -words . Ourproof will use games for building an element y ∈ N Γ ∗ ∆ where player I defines y on Γ-words and player II defines y on ∆-words.The following simple observation will let us combine winning strategiesin these games in a useful way. Let W Γ and W ∆ be the sets of Γ-words and∆-words respectively. Then for distinct γ, γ ′ ∈ Γ we have that γW ∆ and γ ′ W ∆ are disjoint, and the analogous fact is true when the roles of Γ and ∆are switched.We now proceed to our main lemma. Note that both Γ and ∆ act onFree( N Γ ∗ ∆ ) by restricting the left shift action of Γ ∗ ∆ to these subgroups. Lemma 2.1. [Main Lemma] Let Γ , ∆ be countable groups. If A ⊆ Free( N Γ ∗ ∆ ) is any Borel set, then at least one of the following holds: (1) There is a continuous injective function f : Free( N Γ ) → Free( N Γ ∗ ∆ ) that is equivariant with respect to the left shift action of Γ on thesespaces and such that ran( f ) ⊆ A . (2) There is an continuous injective function f : Free( N ∆ ) → Free( N Γ ∗ ∆ ) that is equivariant with respect to the left shift action of ∆ on thesespaces and such that ran( f ) ⊆ Free( N Γ ∗ ∆ ) \ A .Proof. The main difficulty in our proof is arranging that our games produceelements of Free( N Γ ∗ ∆ ), and not merely elements of N Γ ∗ ∆ . To begin, wemake a definition that will get us halfway there. Let Y be the largestinvariant set of y ∈ N Γ ∗ ∆ such that for all nonidentity γ ∈ Γ and δ ∈ ∆, wehave γ · y = y , and δ · y = y . That is, Y is the set of x ∈ N Γ ∗ ∆ such that forall α ∈ Γ ∗ ∆, if y = α − · x , then y has the property above. Note that Y contains Free( N Γ ∗ ∆ ).Next, we give a definition that we will use to organize the turn on which y ( α ) is defined in our game for each α ∈ Γ ∗ ∆. Fix injective listings γ , γ , . . . and δ , δ , . . . of all the nonidentity elements of Γ and ∆ respectively. Wedefine the turn function t : Γ ∗ ∆ → N as follows. First, define t ( e ) = − α ∈ Γ ∗ ∆, there is a unique sequence i , i . . . i m such that α = γ i δ i γ i . . . or α = δ i γ i δ i . . . . We define t ( α ) DETERMINACY APPROACH TO BOREL COMBINATORICS 7 to be the least n such that the associated sequence i , i , . . . i m for α has i j + j ≤ n for all j ≤ m . The key property of this definition is that if i ≤ n ,and α is a ∆-word or the identity, then t ( γ i α ) ≤ n if and only if t ( α ) < n .Of course, this remains true when the roles of Γ and ∆ are switched.Now given a Borel set B ⊆ Y , and k ∈ N we define the following game G Bk for producing a y ∈ N Γ ∗ ∆ such that y ( e ) = k . Player I goes first, and theplayers alternate defining y on finitely many nonidentity elements of Γ ∗ ∆as follows. On the n th turn of the game for n ≥
0, player I must define y ( α )on all Γ-words α with t ( α ) = n , and then player II must respond by defining y ( α ) on all ∆-words α with t ( α ) = n . We give an illustration of how thegame is played: I II y ( γ ) y ( δ ) y ( γ ) y ( γ δ ) y ( γ δ ) ...All that remains is to define the winning condition of the game. First, ifthe y that is produced is in Y , then Player II wins the game if and only if y is in B . If y / ∈ Y then there must be some α such that there is a nonidentity γ ∈ Γ such that γα − · y = α − · y , or there is a nonidentity δ ∈ ∆ such that δα − · y = α − · y . In the former case, say ( α, Γ) witnesses y / ∈ Y , and in thelatter say ( α, ∆) witnesses y / ∈ Y . Say α witnesses y / ∈ Y if either ( α, Γ) or( α, ∆) witnesses y / ∈ Y . Now if ( e, Γ) witnesses y / ∈ Y , then player I loses.Otherwise, if ( e, ∆) witnesses y / ∈ Y then player II loses. Finally, if neitherof the above happens, then player I wins if and only if there is a ∆-word α witnessing y / ∈ Y such that for all Γ-words β with t ( β ) ≤ t ( α ), we have that β does not witness y / ∈ Y . This finishes the definition of our game.Next, we associate to our set A ⊆ Free( N Γ ∗ ∆ ) a set B A that we will use inthe play of our game. Let E Γ be the equivalence relation on Y where x E Γ y if there is a γ ∈ Γ such that γ · x = y . Define E ∆ similarly. By Lemma 2.3which we defer till later, we can find a Borel subset C of Y \ Free( N Γ ∗ ∆ )such that C meets every E ∆ -class on Y \ Free( N Γ ∗ ∆ ) and its complement C c meets every E Γ -class on Y \ Free( N Γ ∗ ∆ ). Let B A = A ∪ C . Our use of C here will be important at the end of the proof to ensure that we create afunction into Free( N Γ ∗ ∆ ) and not merely into Y .By Borel determinacy, either player I or player II has a winning strategyin G B A k for each k ∈ N . So by the pigeon-hole principle, either player Iwins G B A k for infinitely many k or player II wins G B A k for infinitely many k . Assume the latter case holds, and let S be the set of k such that playerII wins G B A k . An analogous argument will work in the case that player Iwins for infinitely many k . Since there is a continuous injective equivariantfunction from Free( N Γ ) to Free( S Γ ), it will suffice to define a continuous ANDREW S. MARKS injection f : Free( S Γ ) → Free( N Γ ∗ ∆ ) that is equivariant with respect to theleft shift action of Γ on these spaces and such that ran( f ) ⊆ A . Fix winningstrategies in each game G B A k for k ∈ S .We will define f so that for all x ∈ Free( N Γ ) and all γ ∈ Γ, we have f ( x )( γ ) = x ( γ ), and so that for all x , f ( x ) will be a winning outcome ofplayer II’s winning strategy in the game G B A x ( e ) .We proceed as follows. Fix an x in Free( N Γ ). For each γ ∈ Γ we will playan instance of the game G B A x ( γ − ) whose outcome will be γ · f ( x ). We playthese games for all γ ∈ Γ simultaneously. The moves for player II in thesegames will be made by the winning strategies that we have fixed. We willspecify how to move for player I in these games to satisfy our requirementthat f is equivariant and f ( x )( γ ) = x ( γ ).So for each γ ∈ Γ, we are playing an instance of the game G B A x ( γ − ) todefine a y ∈ N Γ ∗ ∆ equal to γ · f ( x ). To begin, we have γ · f ( x )( e ) = x ( γ − )by the definition of the game.Inductively, suppose γ · f ( x )( α ) is defined for all γ ∈ Γ and all α with t ( α ) < n . We need to make the n th move for player I in all our games.Suppose β is a Γ-word with t ( β ) = n so we can write β = γ i α where i ≤ n and t ( α ) < n . For all γ ∈ Γ, we now define ( γ · f ( x ))( γ i α ) =( γ − i · ( γ · f ( x )))( α ) = ( γ − i γ · f ( x ))( α ), which has already been defined inthe game associated to γ − i γ by assumption. Hence we can make the n thmove for player I in all our games using this information. To finish the n thturn, the winning strategies for player II in these games respond with their n th moves, defining γ · f ( x )( δ i α ) for all i ≤ n and all α such that α = e or α is a ∆-word with t ( α ) < n .Based on our definition, it is clear that f is injective, continuous, Γ-equivariant, and that f ( x ) is an outcome of player II’s winning strategy in G B A x ( e ) . All that remains is to show ran( f ) ⊆ A .First, we argue that for all x ∈ Free( N Γ ), we have f ( x ) ∈ Y . Nowsince x ∈ Free( N Γ ) and f ( x )( e ) = x ( e ), we see that ( e, Γ) can not witness f ( x ) / ∈ Y . Further, since f ( x ) is a winning outcome of a strategy for playerII, ( e, ∆) can not witness f ( x ) / ∈ Y . Now we can prove inductively that α does not witness f ( x ) / ∈ Y for all x ∈ Free( N Γ ) and all α ∈ Γ ∗ ∆ with t ( α ) = n . For each n we do the case of Γ-words first, and then the case of∆-words. Suppose α is a Γ-word with t ( α ) = n , so α = γβ for some γ ∈ Γand β with t ( β ) < t ( α ). Since α − · f ( x ) = β − γ − · f ( x ) = β − · f ( γ − · x )and β does not witness f ( γ − · x ) / ∈ Y by our induction hypothesis, we musthave that α does not witness f ( x ) / ∈ Y . Now suppose α is a ∆-word with t ( α ) = n . We may assume no Γ-word β with t ( β ) ≤ n witnesses f ( x ) / ∈ Y .Hence, we see that player II must ensure α does not witness α · f ( x ) / ∈ Y otherwise they lose the game G B A x ( e ) used to define f ( x ). DETERMINACY APPROACH TO BOREL COMBINATORICS 9
For all x , since f ( x ) ∈ Y , we have f ( x ) ∈ B A , since f ( x ) is a winningoutcome for player II in some G B A x ( e ) . Finally, we claim that f ( x ) ∈ A for all x . This is because ran( f ) and A are Γ-invariant, B A = A ∪ C , and C doesnot contain any nonempty Γ-invariant sets by definition. (cid:3) To finish establishing Lemma 2.1, we must prove Lemma 2.3 which wasused to define the set C above. We will prove a version for countably manyequivalence relations instead of merely two, since we will use this moregeneral version in a later paper.We begin by recalling a useful tool for organizing constructions in Borelcombinatorics. Let X be a standard Borel space. We let [ X ] < ∞ denotethe standard Borel space of finite subsets of X . If E is a countable Borelequivalence relation, we let [ E ] < ∞ be the Borel subset of [ X ] < ∞ consistingof the S ∈ [ X ] < ∞ such that S is a subset of some equivalence class of E .If Y is a Borel subset of [ X ] < ∞ , then the intersection graph on Y is thegraph G where R G S for distinct
R, S ∈ Y if R ∩ S = ∅ . Lemma 2.2 ([18, Lemma 7.3] [6, Proposition 2]) . Suppose E is a countableBorel equivalence relation and let G be the intersection graph on [ E ] < ∞ .Then G has a Borel N -coloring. We will often use this lemma in the following way. Suppose E is a count-able Borel equivalence relation and A is a Borel subset of [ E ] < ∞ containingat least one subset of every E -class. Then there is a Borel set B ⊆ A suchthat elements of B are pairwise disjoint, and B meets every E -class. To seethis, pick some Borel N -coloring of the intersection graph of [ E ] < ∞ usingLemma 2.2, and then let B be the set of R ∈ A that are assigned the leastcolor of all elements of A from the same E -class.We need a couple more definitions. Suppose that I ∈ { , , . . . , ∞} and { E i } i
Suppose that I ∈ { , , . . . , ∞} and { E i } i
Using Lemma 2.2, let C ⊆ [ W i
We now show how our main lemma can be applied to prove the theoremsdiscussed in the introduction. Recall that if G and H are Borel graphs on thestandard Borel spaces X and Y respectively, then a Borel homomorphism from G to H is a Borel function f : X → Y such that x G y implies f ( x ) H f ( y ). It is clear that if there is a Borel homomorphism f from G to H , then χ B ( G ) ≤ χ B ( H ); if c is a Borel coloring of H , then c ◦ f is a Borelcoloring of G . Theorem 3.1. If Γ and ∆ are finitely generated marked groups, then χ B ( G (Γ ∗ ∆ , N )) ≥ χ B ( G (Γ , N )) + χ B ( G (∆ , N )) − Proof.
Suppose χ B ( G (Γ , N )) = n + 1 and χ B ( G (∆ , N )) = m + 1 so that G (Γ , N ) has no Borel n -coloring and G (∆ , N ) has no Borel m -coloring. Nowsuppose c : Free( N Γ ∗ ∆ ) → { , , . . . , ( n + m − } was a Borel n + m -coloringof G (Γ ∗ ∆ , N ) and let A be the set of x such that c ( x ) < n . If f is thecontinuous equivariant function produced by Lemma 2.1, then c ◦ f giveseither a Borel n -coloring of G (Γ , N ) or a Borel m -coloring of G (∆ , N ), bothof which are contradictions. (cid:3) Let C be the class of finitely generated marked groups Γ such that G (Γ , N )is n -regular, and χ B ( G (Γ , N )) = n + 1, so that the upper bound on theBorel chromatic number of G (Γ , N ) given by Theorem 1.1 is sharp. Brooks’stheorem in finite graph theory (see e.g. [9, Theorem 5.2.4]) implies that thefinite groups included in C are exactly those whose Cayley graphs are oddcycles or complete graphs on n vertices. The only prior results giving infinite DETERMINACY APPROACH TO BOREL COMBINATORICS 11 groups in C are from [16] where we have that Z and Z / Z ∗ Z / Z are in C whenequipped with their usual generators. Conley and Kechris [3, Theorem 0.10]have shown that these are the only two groups with finitely many ends thatare in C . Theorem 3.1 implies that C is closed under free products; if G (Γ , N )is n -regular and G (∆ , N ) is m -regular, then G (Γ ∗ ∆ , N ) is n + m -regular.For example, χ B ( G (( Z / Z ) ∗ n , N )) = n + 1, and χ B ( G ( F n , N )) = 2 n + 1 forall n .Next, we will show that the Borel chromatic number of an n -regularacyclic Borel graph can take any of the possible values between 2 and n + 1allowed by Theorem 1.1.We begin with an easy lemma. Lemma 3.2.
Suppose G and H are acyclic Borel graphs on the standardBorel spaces X and Y , where χ B ( G ) ≥ . Suppose also f : X → Y isan injective Borel homomorphism from G to H such that ∀ x, y ∈ X , if x and y are in different connected components of G , then f ( x ) and f ( y ) are in different connected components of H . Then if A = [ran( f )] H is thesaturation of the range of f under the connectedness relation of H , then χ B ( G ) = χ B ( H ↾ A ) .Proof. χ B ( G ) ≤ χ B ( H ↾ A ) since there is a Borel homomorphism from G to H ↾ A . It remains to show that χ B ( H ↾ A ) ≤ χ B ( G ). Suppose c : X → Z is a Borel coloring of G . Fix two colors z and z ∈ Z . Now we constructa Borel coloring c ′ : A → Z of H ↾ A as follows. If y ∈ ran( f ), then let c ′ ( y ) = c ( f − ( y )). Otherwise, there is a unique path in H of shortest length l from y to an element y ′ ∈ ran( f ). If c ( f − ( y ′ )) = z , then let c ( y ) = z if l is odd and c ( y ) = z if l is even. If c ( f − ( y ′ )) = z , then let c ( y ) = z if l is odd and c ( y ) = z if l is even. (cid:3) We are ready to proceed.
Theorem 3.3.
For every n ≥ and every m ∈ { , . . . , n + 1 } , there is a n -regular acyclic Borel graph G with χ B ( G ) = m .Proof. We have shown that for every k ≥ χ B ( G (( Z / Z ) ∗ k , N )) = k + 1. Given m ∈ { , . . . , n + 1 } , canonically identify ( Z / Z ) ∗ ( m − with asubgroup of ( Z / Z ) ∗ n . Now let f : Free( N ( Z / Z ) ∗ ( m − ) → Free( N ( Z / Z ) ∗ n ) bethe function where f ( x )( γ ) = ( x ( γ ) if γ ∈ ( Z / Z ) ∗ ( m − G = G (( Z / Z ) ∗ ( m − , N ), H = G (( Z / Z ) ∗ n , N ) and f as above to obtain a Borel set A saturated under theconnectedness relation of H so H ↾ A is n -regular and χ B ( H ↾ A ) = m . (cid:3) The only case we know of where Theorem 3.1 gives a sharp lower boundfor the chromatic number of G (Γ ∗ ∆ , N ) is when Γ and ∆ are in the class C we have discussed above. However, it is open whether the lower bound ofTheorem 3.1 can ever be exceeded. Question 3.4.
Are there finitely generated marked groups Γ and ∆ suchthat χ B ( G (Γ ∗ ∆ , N )) > χ B ( G (Γ , N )) + χ B ( G (∆ , N )) − ? Now there is another obvious upper bound on the Borel chromatic numberof G (Γ ∗ ∆ , N ) which is better in some cases than that of Theorem 1.1: Proposition 3.5. If Γ and ∆ are finitely generated marked groups, then χ B ( G (Γ ∗ ∆ , N )) ≤ χ B ( G (Γ , N )) χ B ( G (∆ , N )) Proof.
We can decompose G (Γ ∗ ∆ , X ) as the disjoint union of two Borelgraphs G Γ and G ∆ given by the edges corresponding to generators of Γ and∆ respectively. Since G Γ and G ∆ are induced by free actions of Γ and ∆,their Borel chromatic numbers are less than or equal to χ B ( G (Γ , N )) and χ B ( G (∆ , N )) and hence we can use pairs of these colors to color G (Γ ∗ ∆ , N ). (cid:3) It is likewise open whether this upper bound can ever be achieved.
Question 3.6.
Are there nontrivial finitely generated marked groups Γ and ∆ such that χ B ( G (Γ ∗ ∆ , N )) = χ B ( G (Γ , N )) χ B ( G (∆ , N )) ? A positive answer to this question would also give a positive answer toQuestion 3.4. It seems natural to believe Question 3.6 has a positive answerin cases where G (Γ ∗ ∆ , N ) is n -regular and χ B ( G (Γ , N )) χ B ( G (∆ , N )) ≤ n ,so that the bound of Proposition 3.5 is better than that of Theorem 1.1.For example, if m > Z /m Z by a single element,then G ( Z /m Z ∗ Z /m Z , N ) is 4-regular and has Borel chromatic number ≤ Z n is another source of such examples, since G ( Z n , N ) is a 2 n -regular Borel graph with χ B ( G ( Z n , N )) ≤ Theorem 3.7.
Let Γ and ∆ be countable groups. Let E Γ be the equivalencerelation on Free( N Γ ∗ ∆ ) where x E Γ y if there exists a γ ∈ Γ such that γ · x = y . Define E ∆ analogously. Then E Γ and E ∆ do not have Boreldisjoint complete sections.Proof. Let A be any Borel subset of Free( N Γ ∗ ∆ ). Then the range of the f produced by Lemma 2.1 is either an E Γ -invariant set contained in A , oran E ∆ -invariant set contained in the complement of A . Hence, A cannotsimultaneously meet every E ∆ class and have its complement meet every E Γ -class. (cid:3) We now use this fact to obtain a couple of results on matchings and edgecolorings of Borel bipartite graphs.
Theorem 3.8.
For every n > , there exists an n -regular acyclic Borelbipartite graph with no Borel perfect matching. DETERMINACY APPROACH TO BOREL COMBINATORICS 13
Proof.
Let Γ = ∆ = Z /n Z in Theorem 3.7. Let Y ⊆ [Free( N Γ ∗ ∆ )] n be thestandard Borel space consisting of the equivalence classes of E Γ and E ∆ .Let G be the intersection graph on Y . This is an n -regular acyclic Borelbipartite graph. If M ⊆ Y × Y was a Borel perfect matching for G , thensetting A = { x ∈ N Γ ∗ ∆ : ∃ ( R, S ) ∈ M such that { x } = R ∩ S } , we see that A and the complement of A would be Borel disjoint completesections for E Γ and E ∆ , contradicting Theorem 3.7. (cid:3) The graph used above was suggested as a candidate for a graph with noperfect matching by Conley and Kechris [3]. Lyons and Nazarov [20] haveshown that in the case n = 3, this graph has a measurable matching withrespect to a natural measure. Theorem 3.9.
For every n , there exists an n -regular acyclic Borel bipartitegraph with no Borel edge coloring with n − colors.Proof. We use the same graph as in Theorem 3.8. Suppose for a contradic-tion that it had a Borel edge coloring with 2 n − G must be incident to at least one edge assigned aneven color, and at least one edge assigned an odd color. Let A be the set ofpoints x in Free( N Γ ∗ ∆ ) such that { x } = R ∩ S where R is an equivalence classof E Γ , S is an equivalence class of E ∆ , and the edge ( R, S ) in G is coloredwith an even color. Then A is a complete section for E Γ , and the complementof A is a complete section for E ∆ , contradicting Theorem 3.7. (cid:3) Now we can give an exact characterization of the possible Borel edgechromatic numbers of n -regular acyclic Borel bipartite graphs. Theorem 3.10.
For every n ≥ and every m ∈ { n, . . . , n − } , there isan n -regular acyclic Borel bipartite graph G such that χ ′ B ( G ) = m .Proof. Let G be an n -regular acyclic Borel graph on X with χ ′ ( G ) ≥ n − m be an element of { n, . . . , n − } . There is an edgecoloring of G using 2 n − G ′ ⊆ G be the set of edges coloredusing one of the first m colors. Then clearly the graph G ′ on X has a Boreledge coloring with m colors. It cannot have a Borel edge coloring with m − G with 2 n − Y be an uncountable standard Borel space, and let H be an extension of G ′ to an n -regular Borel bipartite graph H on X ⊔ Y such that each connectedcomponent of H \ G ′ has at most one point in X . Then χ ′ B ( H ) = m . (cid:3) In the theorems we have proved above, we have mostly worked on spacesof the form Free( N Γ ). As we described in the introduction, this is quitenatural since the graph G (Γ , N ) achieves the maximal chromatic number ofall Borel graphs generated by free actions of Γ. However, it is interesting toask what happens when we change our base space to be finite. For example, it is an open question whether there is a dichotomy characterizing when apair of countable Borel equivalence relations admits Borel disjoint completesections, and here we would like to know whether Theorem 3.7 remains truewhen we change N to be some finite k . As we will see, this is the case when k = 3, but it is open for k = 2. Likewise, we would like to compute theBorel chromatic number of graphs of the form G (Γ , k ) for k ≥
2. Clearly, if k ≤ m are both at least 2, then χ B ( G (Γ , k )) ≤ χ B ( G (Γ , m )) ≤ χ B ( G (Γ , N )).It is open whether these chromatic numbers can ever be different : Question 3.11.
Does there exist a finitely generated marked group Γ suchthat χ B ( G (Γ , N )) = χ B ( G (Γ , ? Certainly, there are no obvious tools to show such chromatic numberscan be different. One approach to showing that these chromatic numbersare always the same would be to show the existence of a Borel homomor-phism from G (Γ , N ) to G (Γ , N Γ ) to Free(2 Γ ). We note that such afunction could not be injective in the case when Γ is sofic (which includesall the examples of groups we have discussed). This follows from results ofBowen on sofic entropy, as pointed out by Thomas [25, Theorem 6.11].In the measurable context, when ( X, µ ) is a standard probability space, wecan say a bit more about the µ Γ -measurable chromatic number of graphs ofthe form G (Γ , X ), as X and µ vary. Recall from [3] that the µ -measurablechromatic number of a Borel graph G on a standard probability space( X, µ ) is the least cardinality of a Polish space Y such that there is a µ -measurable coloring c : X → Y of G . Now given Borel actions a and b of Γon the Borel probability spaces ( X, µ ) and (
Y, ν ) respectively, a factor map from a to b is a µ -measurable equivariant function f : X → Y such that thepushforward of µ under f is ν . Bowen [1, Theorem 1.1] has shown that if Γcontains a nonabelian free subgroup, then given any nontrivial probabilitymeasures µ and ν on the standard Borel spaces X and Y , there is a factormap from the left shift action of Γ on ( X Γ , µ Γ ) to the left shift action ofΓ on ( Y Γ , ν Γ ). Hence, the µ Γ -measurable chromatic number of G (Γ , X ) isequal to the ν Γ -measurable chromatic number of G (Γ , Y ) for all such ( X, µ )and (
Y, ν ). For some more results of this type for nonamenable groups ingeneral, see [2].We now return to the pure Borel context, and end this section by notingthat we have the following variant of Lemma 2.1 for finite base spaces.This lemma can be proved using a nearly identical argument to that ofLemma 2.1 except changing the application of the pigeon-hole principle inthe obvious way. From this, one can derive versions of all of the Theoremsabove for finite base spaces. For example, we have χ B ( G (Γ ∗ ∆ , m + n − ≥ Recently, Seward and Tucker-Drob [24] have answered this question in the negative.They show that for every countable group Γ, there is an equivariant Borel function fromFree( N Γ ) → Free(2 Γ ). DETERMINACY APPROACH TO BOREL COMBINATORICS 15 χ B ( G (Γ , m )) + χ B ( G (∆ , n )) −
1, and Theorem 3.7 and its corollaries holdusing 3 instead of N . Lemma 3.12.
Let Γ , ∆ be countable groups and m, n ≥ be finite. If A ⊆ Free(( m + n − Γ ∗ ∆ ) is any Borel set, then at least one of the followingholds: (1) There is an continuous injective function f : Free( n Γ ) → Free(( m + n − Γ ∗ ∆ ) that is equivariant with respect to the left shift action of Γ on these spaces and such that ran( f ) ⊆ A . (2) There is an continuous injective function f : Free( m ∆ ) → Free(( m + n − Γ ∗ ∆ ) that is equivariant with respect to the left shift action of ∆ on these spaces and such that ran( f ) ⊆ A c . Disjoint complete sections for measure and category
We turn now to the question of whether Theorem 3.7 can be proved usingpurely measure theory or Baire category. In the case when Γ = ∆ = Z / Z ,we can prove Theorem 3.7 using either of these two tools. If the generatorsof Γ and ∆ are α and β , then any nontrivial product probability measureon Free( N ( Z / Z ) ∗ ( Z / Z ) ) has the property that the map x αβ · x is ergodic,and the two maps x α · x and x β · x are both measure preserving.This is enough to conclude the Theorem 3.7 in this case. We can similarlygive a Baire category argument using generic ergodicity. We will show thatΓ = ∆ = Z / Z is the only nontrivial pair of Γ and ∆ for which measure orcategory can prove Theorem 3.7.We begin by showing that Borel disjoint complete sections exist in themeasure context for aperiodic countable Borel equivalence relations. Recallthat an equivalence relation is said to be aperiodic if all of its equivalenceclasses are infinite. Lemma 4.1.
Let µ be a Borel probability measure on a standard Borel space X . Then if E and F are aperiodic countable Borel equivalence relationson X , there exist disjoint Borel sets A and B such that A meets µ -a.e.equivalence class of E and B meets µ -a.e. equivalence class of F .Proof. It follows from the marker lemma [18, Lemma 6.7] that we can finda decreasing sequence C ⊇ C ⊇ . . . of Borel sets that are each completesections for both E and F and such that their intersection T C i is empty.Note that for each n and ǫ >
0, there is i > n such that µ ([ C n \ C i ] E ) > − ǫ and µ ([ C n \ C i ] F ) > − ǫ It follows that we can find a strictly increasing sequence ( i k ) k such that µ ([ [ k ≥ ( C i k \ C i k +1 )] E ) = 1 and µ ([ [ k ≥ ( C i k +1 \ C i k +2 )] F ) = 1Now set A = ∪ k ≥ ( C i k \ C i k +1 ) and B = ∪ k ≥ ( C i k +1 \ C i k +2 ). (cid:3) Our goal is to extend this result to all pairs of countable Borel equivalencerelations E and F where every E class has at least 2 elements and every F -class has at least 3 elements. We will do this by reducing it to the casewe have already proved above. More precisely, in Theorem 4.5 we will showthat several types of problems are equivalent in a Borel way to the problemof finding Borel disjoint complete sections for pairs of such equivalence rela-tions. That is, to each instance of each type of problem, we will demonstratehow to construct an instance of each of the other types so that a solutionto these problems can be transformed in a Borel way into a solution of theoriginal problem. The exact sense in which this is done will be clear in ourproof. Of course, the idea of reductions between combinatorial problems hasa long history. For an example of recent work with a similar effective flavor,see [10].We first introduce another combinatorial problem. If G is a graph on X ,an antimatching of G is a function f : X → X such that for all x ∈ X , wehave x G f ( x ) and f ( f ( x )) = x . A partial antimatching of G is a partialfunction f : X → X satisfying these conditions for all x ∈ dom( f ).We have the following lemma constructing antimatchings in the topolog-ical context, using a result of Conley and Miller on the existence of Borelmatchings in the topological context: Lemma 4.2.
Suppose n ≥ and G is an acyclic Borel bipartite n -regulargraph on a Polish space X . Then there exists a Borel antimatching of G modulo a G -invariant meager set.Proof. By [5], there exists a Borel perfect matching for G restricted to a G -invariant meager set C . Let A be one half of a Borel partition of X witnessing the bipartiteness of G , and let M be the Borel perfect matchingof G ↾ C . Then we can construct a Borel antimatching f for G ↾ C in thefollowing way: if x ∈ A and { x, y } ∈ M , then set f ( x ) = y . If x / ∈ A , thenchoose some neighbor y of x such that { x, y } / ∈ M and set f ( x ) = y . (cid:3) The following lemma is useful when dealing with Borel antimatchings.
Lemma 4.3.
Suppose G is a locally countable Borel graph, and f is a partialBorel antimatching of G such that ran( f ) ⊆ dom( f ) , and every connectedcomponent of G contains some x ∈ dom( f ) . Then f can be extended to atotal Borel antimatching f ∗ of G .Proof. Define f ∗ as follows. Let f ∗ ( x ) = f ( x ) if x ∈ dom( f ). Otherwise,let f ∗ ( x ) = y , for some neighbor y of x such that the distance in G from y to an element of dom( f ) is as small as possible (using Lusin-Novikovuniformization [17, 18.10, 18.15] to choose such a y when there is more thanone). Then clearly f ∗ ( f ∗ ( x )) = x since for any x / ∈ dom( f ), we have that f ∗ ( x ) is closer to some element of dom( f ) than x . (cid:3) Throughout this section, we assume that we have a Borel linear order onall our standard Borel spaces. Thus, when we speak of the least element of
DETERMINACY APPROACH TO BOREL COMBINATORICS 17 some finite subset of a standard Borel space, we are referring to the leastelement with respect to this order. One way of obtaining such a linearorder is via a Borel bijection with a standard Borel space equipped with acanonical Borel linear ordering, such as the one on R . These linear orderingsare useful when we need to break “ties” in our constructions when we arefaced with some irrelevant choice. In cases where we need to choose oneof finitely many points, we will generally break ties by choosing the leastpoint according to this ordering. In cases where we need to choose one ofcountably many options, we can use uniformization as we have above. Lemma 4.4. If G is an acyclic locally finite Borel graph of degree ≥ ,then there is a partial Borel antimatching f of G such that G ↾ (dom( f )) c is -regular.Proof. Let G be a locally finite Borel graph of degree ≥ X . Using Lemma 2.2, let { A i } i ∈ N be a Borel partition of X such that for all i , for all distinct x, y ∈ A i , the distance between x and y in G is greater than 2.Let k , k , . . . be a sequence containing each natural number infinitelymany times. We define a sequence f ⊆ f ⊆ . . . of partial Borel antimatch-ings whose union will be the f we desire. These f i will all have the propertythat if x ∈ ran( f i ) and x / ∈ dom( f i ), then there exist exactly two neighbors y of x such that y / ∈ dom( f i ) or f i ( y ) = x .Let f = ∅ . Now we define f i +1 ⊇ f i . For each x ∈ A k i such that x / ∈ dom( f i ), do the following: if there exists some neighbor y of x such that y ∈ dom( f i ) and f i ( y ) = x , then use uniformization to choose some such y and define f i +1 ( x ) = y . If there does not exist any such y and x / ∈ ran( f i ),then choose exactly two neighbors y and y of x and define f i +1 ( y ) = x forall neighbors y of x that are not equal to y or y .Let f = S i ∈ N f i . Now if x / ∈ dom( f ), there are exactly two neighbors y of x such that y / ∈ dom( f ) or f ( y ) = x . However, if x had a neighbor y suchthat f ( y ) = x , then we would have x ∈ dom( f ). Hence, both these two y must not be in dom( f ). Thus, G ↾ (dom( f )) c is 2-regular. (cid:3) We are now ready to proceed.
Theorem 4.5.
Suppose n ≥ . Then the following statements are all false.However, the statements are all true modulo a nullset with respect to anyBorel probability measure, and true modulo a meager set with respect to anycompatible Polish topology. (1) Every pair E and F of countable Borel equivalence relations on astandard Borel space X such that the E -classes all have cardinality ≥ and the F -classes all have cardinality ≥ admits disjoint Borelcomplete sections. (2) Every pair E and F of independent aperiodic countable Borel equiv-alence relations admits disjoint Borel complete sections. (3) Every locally finite Borel graph G having degree at least has a Borelantimatching. (4) Every acyclic Borel bipartite n -regular graph G has a Borel anti-matching.Proof. (1) is false by Theorem 3.7. (2) is true in the measure-theoreticcontext by Lemma 4.1. (4) is true in the topological context by Lemma 4.2.We will finish the proof of the theorem by showing (1) ⇒ (2) ⇒ (3) ⇒ (1), and (3) ⇒ (4) ⇒ (2). Further, each of these implications will be donein a “local” way so that these implications also yield the truth of thesestatements in the measure and category contexts. We will discuss this morein what follows.(1) ⇒ (2) is obvious.(2) ⇒ (3). Let X be a standard Borel space. We will begin by provingthe special case where G is a 3-regular acyclic Borel graph on { , } × X where (0 , x ) G (1 , y ) if and only if x = y . For i ∈ { , } , let F i be theequivalence relation on X such that x F i y if and only if ( i, x ) and ( i, y ) arein the same connected component of G ↾ { i } × X . The F i are independentbecause G is acyclic. Let B ⊆ X be a Borel set such that B is a completesection for F and B c is a complete section for F . We can use B to define aBorel antimatching. The rough idea is to direct elements of { } × X towardselements of B and direct elements of { } × X away from elements of B .If x ∈ B , define f ((0 , x )) = (1 , x ). Then let z be a point of B c suchthat (1 , z ) is closest to (1 , x ) in G ↾ { } × X (breaking ties as usual), anddefine f ((1 , x )) = (1 , y ) where (1 , y ) is the neighbor of (1 , x ) along the pathfrom (1 , x ) to (1 , z ). Likewise, if x ∈ B c , define f ((1 , x )) = (0 , x ), let z bea point of B such that (0 , z ) is closest to (0 , x ) in G ↾ { } × X , and define f ((0 , x )) = (0 , y ) where (0 , y ) is the neighbor of (0 , x ) along the path from(0 , x ) to (0 , z ).Now let G be an arbitrary locally finite Borel graph on X having degree atleast 3. First, we may assume that G is acyclic. To see this, use Lemma 2.2to obtain a Borel set C of pairwise disjoint cycles that contains at least onecycle from each connected component of G containing a cycle. Now definea Borel antimatching f on these connected components as follows. For eachcycle x , x , . . . x n = x in C , let f ( x i ) = x i +1 for i < n , and f ( x n ) = x .Now use Lemma 4.3 to extend f to a total Borel antimatching f ∗ on theseconnected components.So assume that G is acyclic. By Lemma 4.4, we can find a partial Borelantimatching of G such that G ↾ (dom( f )) c is 2-regular. Let A = (dom( f )) c .Now take a Borel set of edges of G ↾ A that are pairwise disjoint and so thatthe set contains at least one edge from each connected component of G ↾ A .Remove these edges from G to obtain the Borel graph G ′ on X . Now usingLemma 4.4 on G ′ , we may obtain another set B ⊆ X that is the complementof a partial Borel antimatching on G ′ such that G ′ ↾ B is 2-regular. Note DETERMINACY APPROACH TO BOREL COMBINATORICS 19 that G ↾ A and G ′ ↾ B do not have any connected components that areequal.Now these A and B correspond to places where we have failed to constructantimatchings. Hence, without loss of generality, we may assume that eachconnected component of G meets both A and B . By Lemma 2.2, let C be aBorel set of pairwise disjoint finite paths in G from elements of A to elementsof B that contains at least one path from every connected component of G .We may assume that if x , . . . , x n is a path in C , then x is the only pointof this path in A , and x n is the only point of this path in B . (We allowpaths consisting of a single point where A and B intersect). Thus, each pairof connected components of G ↾ A and G ′ ↾ B are connected by at most onepath in C , since G is acyclic.Let S ⊆ X consist of the connected components of G ↾ A that meetonly finitely many paths in C . Since this set has a Borel transversal, wecan obtain a Borel antimatching of G ↾ S . We can then use Lemma 4.3to extend this to a Borel antimatching of the connected components of G that meet S . An identical comment is true for B . Thus, without loss ofgenerality, we can assume that for each connected component of G ↾ A and G ′ ↾ B , if there is a path in C that meets this connected component, thenthere are infinitely many.Let Y be the collection of starting points of paths in C , and Z be the col-lection of ending points of paths in C , so there is a canonical Borel bijectionbetween Y and Z . Note that Y and Z may have nonempty intersection.Define W = { } × Y ∪ { } × Z . Consider the 3-regular Borel graph H on W , defined by the following three conditions. First, (0 , x ) H (1 , y ) if andonly if there is a path in C from x to y . Second, (0 , x ) H (0 , y ) if and only ifthere is a path from x to y in G ↾ A that does not contain any other elementof Y . Third, (1 , x ) H (1 , y ) if and only if there is a path from x to y in G ′ ↾ B that does not contain any other element of Z . H is 3-regular sinceconnected components of G ↾ A and G ′ ↾ B that are met by paths in C aremet by infinitely many such paths. H is a graph of the type we discussed at the beginning of this proof, andhence we can find a Borel antimatching of H . Let A ∗ ⊆ A be the pointsthat are in the same connected component of G ↾ A as some element of Y . Let B ∗ ⊆ B be the points that are in the same connected componentof G ′ ↾ B as some element of Z . It is clear that we can lift the Borelantimatching of H to a partial Borel antimatching f of G whose domain is A ∗ ∪ B ∗ ∪ { x : ∃ p ∈ C ( x ∈ p ) } , and such that ran( f ) ⊆ dom( f ). We finishby applying Lemma 4.3.Our proof above has shown that (2) ⇒ (3). We now show that assumingthat (2) is true modulo a nullset with respect to every Borel probabilitymeasure implies that (3) is true modulo a nullset with respect to everyBorel probability measure.Assume G is a locally finite Borel graph on X and µ is a Borel probabilitymeasure on X . Let E G be the connectedness relation for G . We can find a Borel probability measure ν which dominates µ and such that ν is E G -quasi-invariant [18, Section 8]. Now perform the same process as above toobtain a pair of equivalence relations E and F on some Borel subset Y of X ,such that from Borel disjoint complete sections for E and F , we can definea Borel antimatching of G .Now this transformation of disjoint complete sections for E and F intoan antimatching of G is “local” in the sense that inside each connectedcomponent C of G , we have a Borel way of transforming disjoint completesections for E ↾ Y ∩ C and F ↾ Y ∩ C into an antimatching of G ↾ C . Hence,given disjoint Borel sets A and B such that A meets ν -a.e. E -class and B meets ν -.a.e. F -class, we can find a Borel antimatching of G restricted to aBorel ν -conull set, since ν is E G -quasi-invariant.Throughout the remainder of this proof, the same idea as above can beused to turn pure Borel implications between our four statements into im-plications in the measure context, and in the Baire category context. Weleave it to the reader to perform the rest of these transformations.(3) ⇒ (1) Let E and F be countable Borel equivalence relations such thatevery E -class has cardinality ≥ F class has cardinality ≥ E ∗ ⊆ E and F ∗ ⊆ F such that every E ∗ -class is finite and has cardinality ≥ F ∗ -class is finite and has cardinality ≥
2. Hence, we may assume that allthe equivalence classes of E and F are finite. Let Y ⊔ Z be the disjoint unionof the equivalence classes of E and the equivalence classes of F respectively.Let G be the graph on Y ⊔ Z where R and S are adjacent in G if R ∈ Y , S ∈ Z , and R ∩ S = ∅ .Now let W be an uncountable standard Borel space, and extend G to alocally finite Borel graph G ∗ on Y ⊔ Z ⊔ W so that every vertex in Y ⊔ W has degree ≥ G ∗ , every vertex in Z has degree ≥ G ∗ , and such that R ∈ Y ⊔ Z is adjacent to an element of W in G ∗ if and only if R ∈ Y andthe degree of R is < G or R ∈ Z and the degree of R is < G . Notethat for such R there must be S ∈ Y ⊔ Z distinct from R such that R ∩ S has cardinality ≥ f be a Borel antimatching of G ∗ . Of course, G ∗ does not havedegree ≥
3. However, the neighbors of every degree 2 vertex in G ∗ all havedegree ≥
3. Hence, we can contract away vertices of degree 2, find a Borelantimatching of this graph, and then use it in the obvious way to find aBorel antimatching of G ∗ .Let A be the set of x ∈ X such that there exists R ∈ Y such that f ( R ) ∈ Z and R ∩ f ( R ) = { x } . Let A be the Borel set of x ∈ X such thatthere exists an R ∈ Y and S ∈ Z such that R ∩ S has cardinality ≥
2, and x is the least element of R ∩ S . Let A = A ∪ A . Clearly A meets everyequivalence class of E , and A c meets every equivalence class of F .(3) ⇒ (4) is obvious. DETERMINACY APPROACH TO BOREL COMBINATORICS 21 (4) ⇒ (2). Suppose we have two independent aperiodic countable Borelequivalence relations E and F on a standard Borel space X . By [18, Propo-sition 7.4] we can find E ∗ and F ∗ , finite Borel subequivalence relations of E and F whose equivalence classes all have cardinality n . The intersectiongraph of their equivalence classes is Borel bipartite and n -regular. From aBorel antimatching for this graph, we can produce Borel disjoint completesections for E and F , as in the proof that (3) ⇒ (1). (cid:3) Our final goal will be to prove a theorem about edge colorings for 3-regularacyclic Borel bipartite graphs in the context of measure and category. Thiswill follow from several more equivalences extending those of Theorem 4.5above.We begin with another definition. Suppose G is a graph on X . A direct-ing of G is a set D ⊆ G that contains exactly one of ( x, y ) and ( y, x ) forevery pair of neighbors x, y ∈ X . A partial directing of G is a subset of G that contains at most one of ( x, y ) and ( y, x ) for every pair of neighbors x, y ∈ X . Given a partial directing D of a graph G , say that a point x ∈ X is a source if ( x, y ) ∈ D for some y , and ( y, x ) / ∈ D for all y . Similarly, saythat a point x ∈ X is a sink if ( y, x ) ∈ D for some y , and ( x, y ) / ∈ D for all y . Of course, if f is an antimatching of a graph G and we extend the set { ( x, f ( x )) : x ∈ X } to a directing D of G , then this directing will have nosinks. Lemma 4.6.
Suppose that G is a locally countable Borel graph such thateach vertex of G has degree ≥ , and D is a partial Borel directing of G without sources or sinks. Suppose also that every connected component of G contains at least one vertex that is incident to an edge of D . Then D canbe extended to a total Borel directing D ∗ of G that has no sources or sinks.Proof. Suppose that x , x , . . . , x n is a path in G such that x and x n areboth incident to edges already in D . Then we can extend D by adding theedges from x , x , . . . , x n that do not conflict with edges already in D ; add( x i , x i +1 ) to D unless ( x i +1 , x i ) is already in D . The property that D hasno sources or sinks is preserved when we add paths in this way. Similarly,given a cycle, we can extend D using this cycle in the analogous way, whilepreserving the property that D has no sources or sinks.Use Lemma 2.2 to partition all the finite paths and cycles of G intocountably many Borel sets { P i } i ∈ N such that the elements of each P i arepairwise disjoint. Let k , k , . . . be a sequence that contains each elementof N infinitely many times. Let D = D . Now define D i +1 from D i byextending D i via all the cycles of P k i , and all the paths of P k i that start andend at vertices incident to at least one edge in D i . Let D ∞ = S i ∈ N D i .Let A be the set of vertices that are incident to at least one edge in D ∞ .It is clear that if x ∈ A and x , x , . . . , x n is a path in G , then x n ∈ A implies that x i ∈ A for all 0 ≤ i ≤ n .We finish by extending D ∞ to D ∗ by directing the remaining edges of G “away” from D ∞ . More precisely, let x and y be distinct elements of X and suppose that neither ( x, y ) nor ( y, x ) are in D ∞ . Then there must be aunique path x , . . . , x n such that x is incident to an edge in D ∞ , and thepath ends with ( x n − , x n ) equal to ( y, x ) or ( x, y ). Extend D ∞ to D ∗ byadding all such ( x n − , x n ). (cid:3) Theorem 4.7.
The fallowing statements are all false in the full Borel con-text. They are true modulo a nullset with respect to any Borel probabilitymeasure, and true modulo a meager set with respect to any compatible Polishtopology. (1)
Every pair of countable Borel equivalence relations E and F on astandard Borel space X such that the E -classes all have cardinality ≥ and the F -classes all have cardinality ≥ admits disjoint Borelcomplete sections. (2) For every pair of aperiodic countable Borel equivalence relations E and F on a standard Borel space X , there exists a Borel set B ⊆ X such that B and B c are complete sections for both E and F . (3) Every -regular Borel graph has a directing with no sinks or sources. (4) Every -regular Borel bipartite graph has a Borel edge coloring with colors.Proof. (1) is false by Theorem 3.7 and true in the measure and categorycontext by Theorem 4.5. We will use the same type of proof as Theorem 4.5.(1) ⇒ (2). Since E and F are aperiodic, the argument that (3) ⇒ (1) inTheorem 4.5 produces subequivalence relations E ∗ and F ∗ of E and F withfinite classes, and a Borel set A such that A and A c are complete sections for E ∗ , and A c is a complete section for F ∗ . Hence, A meets every E -class, and A c meets every E -class and every F -class in infinitely many places. Thus,if we run the same argument on the aperiodic equivalence relations E ↾ A c and F ↾ A c with their roles reversed, we obtain a Borel set A ′ ⊆ A c suchthat A ′ meets every F ↾ A c -class, and ( A ′ ) c meets both every E ↾ A c -classand every F ↾ A c -class. Now let B = A ∪ A ′ .(2) ⇒ (1) follows from Theorem 4.5.(2) ⇒ (3). Let G be a 3-regular Borel graph. Using Lemma 4.6, we mayassume that G is acyclic, as in the proof of (2) ⇒ (3) for Theorem 4.5.We begin by letting Y ⊆ [ X ] be a Borel set of pairwise disjoint edges of G that contains at least one edge from each connected component of G . Wedefine two countable Borel equivalence relations E and F on Y as follows: R and S are related by E if their least points are connected in G \ Y , andrelated by F if their greatest points are connected in G \ Y . Here we use G \ Y to denote the graph G with the edges from Y removed.We may assume that all the equivalence classes of E and F are infinite;on the connected components of G \ Y that correspond to equivalence classesof E and F that are finite, and we can apply Lemma 4.6 to get a directingof the connected components of G containing points corresponding to finite E -classes or F -classes. DETERMINACY APPROACH TO BOREL COMBINATORICS 23
Now let B ⊆ Y be a Borel set such that both B and B c are completesections for E and F . Let D = { ( x, y ) : { x, y } ∈ B and x is less than y } .Each connected component of G \ Y contains infinitely many x such that( x, y ) ∈ D for some y , and infinitely many y such that ( x, y ) ∈ D forsome x . We will extend D to a total Borel directing of G without sinks orsources.Consider the set of paths x , x , . . . , x n in G \ Y such that there exists y and z such that both ( y, x ) and ( x n , z ) are in D . We may use Lemma 2.2 topartition these paths into countably many Borel sets { P i } i ∈ N such that theelements of each P i are pairwise disjoint. Now as in the proof of Lemma 4.6,for each i ∈ N , extend each D i to D i +1 by adding the edges from the pathsof P i which do not conflict with edges already in D i . Let D ∞ = S i ∈ N D i .Then complete D ∞ to a total directing D using Lemma 4.6.(3) ⇒ (1) follows from Theorem 4.5. It is clear that such a directing canbe used to define a Borel antimatching.(3) ⇒ (4). Suppose that G is a Borel bipartite 3-regular graph whosebipartiteness is witnessed by the Borel sets A and B . Suppose D is a Boreldirecting of G without sinks or sources. We can use D to write G as thedisjoint union of two graphs H and H in the following way: the edges of H are those directed by D from A to B , and the edges of H are thosedirected by D from B to A . The vertices in H and H all have degree 1or 2. Hence, each connected component of the H i is finite, a ray (havingexactly one vertex of degree 1), or a line (having no vertices of degree 1).If all the connected components of H and H were finite or rays, thenit would be trivial to construct a Borel edge coloring of G with four colors;we could simply edge color H using the colors { , } , edge color H usingthe colors { , } , and then take the union of these colorings. Our problemis that in general, we will need to use 3 colors in an edge coloring of an H i containing lines.Let Y ⊆ [ X ] be a Borel set of pairwise disjoint edges from H consist-ing of infinitely many edges from each line in H . Define the countableBorel equivalence relations F and F on Y where S and R are F i -related ifthere exist x ∈ S and y ∈ R that are in the same connected component of H i . Clearly every equivalence class of F is infinite, however, there may beequivalence classes of F that are finite.Now take a Borel set C ⊆ Y that is a complete section for F , so that C c meets every infinite equivalence class of F . We can find such a C byletting Z be an uncountable standard Borel space and extending F and F to aperiodic equivalence relations F ∗ and F ∗ on Y ⊔ Z such that if x ∈ Z and y ∈ Y , then x ✚✚ F ∗ y and xF ∗ y only if [ y ] F is finite. Now find disjointcomplete sections for F ∗ and F ∗ .Let H ∗ be the graph H but with the edges from C removed, and let H ∗ be the graph H but with the edges from C added. Clearly H ∗ has no lines.Further, all the lines that we have added to H ∗ must contain rays from H .This is because the elements of C in a new line in H ∗ must all be F -related, and therefore come from an F -class that is finite. Hence, we can edge-colorthese lines from H ∗ in a Borel way with 2-colors.If we perform the same process again with H ∗ and H ∗ in lieu of H and H , respectively, then we obtain Borel graphs H ∗∗ and H ∗∗ such that G = H ∗∗ ∪ H ∗∗ and both H ∗∗ and H ∗∗ have Borel edge colorings with 2colors.(4) ⇒ (1). We use Theorem 4.5 again. Let G be a Borel bipartite 3-regular graph, whose bipartiteness is witnessed by the Borel sets A and B .Suppose that G has a Borel edge coloring with 4 colors. We can use thiscoloring to define a Borel antimatching of G . First, partition the four colorsinto the sets { , } and { , } . Notice that each vertex must be incident toat least one edge of color 0 or 1, and at least one edge of color 2 or 3. Thus,we can define a Borel antimatching by setting f ( x ) = y if x ∈ A and y isthe least neighbor of x such that ( x, y ) is colored 0 or 1, or if x ∈ B and y is the least neighbor of x such that ( x, y ) is colored 2 or 3. (cid:3) As a consequence of the above lemma, we obtain the following:
Theorem 4.8.
Suppose G is a Borel bipartite -regular graph on X . Then G has a Borel edge coloring with colors modulo a null set or meager set withrespect to any Borel probability measure on X or Polish topology realizingthe standard Borel structure of X . The full measurable analogue of Vizing’s theorem for Borel graphs remainsopen.
Question 4.9.
Given any n -regular Borel graph G on a standard Borelprobability space ( X, µ ) , must there be a µ -measurable edge coloring of G with n + 1 colors? References [1] Lewis Bowen. Weak isomorphisms between Bernoulli shifts.
Israel J. Math. , 183:93–102, 2011.[2] Lewis Bowen. Every countably infinite group is almost Ornstein. In
Dynamical sys-tems and group actions , volume 567 of
Contemp. Math. , pages 67–78. Amer. Math.Soc., Providence, RI, 2012.[3] Clinton Conley and Alexander Kechris. Measurable chromatic and independencenumbers for ergodic graphs and group actions.
Groups Geom. Dyn. , 7(1):127–180,2013.[4] Clinton Conley, Alexander S. Kechris, and Robin Tucker-Drob. Ultraproducts of mea-sure preserving actions and graph combinatorics. To apper in Ergodic Theory andDynamical Systems.[5] Clinton Conley and Benjamin Miller. Measurable matchings in acyclic countable finiteBorel graphs. Preprint.[6] Clinton Conley and Benjamin Miller. A bound on measurable chromatic numbers oflocally finite borel graphs. Preprint, 2014.[7] Clinton T. Conley, Andrew S. Marks, and Robin D. Tucker-Drob. Brooks’s theoremfor measurable colorings. Preprint, 2014.[8] Endre Csoka and Gabor Lippner. Invariant random matchings in Cayley graphs, arXiv:
DETERMINACY APPROACH TO BOREL COMBINATORICS 25 [9] Reinhard Diestel.
Graph theory , volume 173 of
Graduate Texts in Mathematics .Springer-Verlag, Berlin, third edition, 2005.[10] Fran¸cois G. Dorais, Damir D. Dzhafarov, Jeffry L. Hirst, Joseph R. Mileti, and PaulShafer. On uniform relationships between combinatorial problems, arXiv:
Proc. Amer. Math. Soc. , 138(8):2939–2947, 2010.[12] A. M. Frieze and T. Luczak. On the independence and chromatic numbers of randomregular graphs.
J. Combin. Theory Ser. B , 54(1):123–132, 1992.[13] Su Gao and Steve Jackson. Countable abelian group actions and hyperfinite equiva-lence relations. Preprint, 2012.[14] Hamed Hatami, L´aszl´o Lov´asz, and Bal´azs Szegedy. Limits of local-global convergentgraph sequences, arXiv:
J.Math. Log. , 2(1):1–80, 2002.[16] A. S. Kechris, S. Solecki, and S. Todorcevic. Borel chromatic numbers.
Adv. Math. ,141(1):1–44, 1999.[17] Alexander S. Kechris.
Classical descriptive set theory , volume 156 of
Graduate Textsin Mathematics . Springer-Verlag, New York, 1995.[18] Alexander S. Kechris and Benjamin D. Miller.
Topics in orbit equivalence , volume1852 of
Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2004.[19] M. Laczkovich. Closed sets without measurable matching.
Proc. Amer. Math. Soc. ,103(3):894–896, 1988.[20] Russell Lyons and Fedor Nazarov. Perfect matchings as IID factors on non-amenablegroups.
European J. Combin. , 32(7):1115–1125, 2011.[21] Donald A. Martin. Borel determinacy.
Ann. of Math. (2) , 102(2):363–371, 1975.[22] Arnold W. Miller. Arnie Miller’s problem list. In
Set theory of the reals (Ramat Gan,1991) , volume 6 of
Israel Math. Conf. Proc. , pages 645–654. Bar-Ilan Univ., RamatGan, 1993.[23] Benjamin D. Miller. The graph-theoretic approach to descriptive set theory.
Bull.Symbolic Logic , 18(4):554–575, 2012.[24] Brandon Seward and Robin D. Tucker-Drob. Borel structurability on the 2-shift of acountable group, arXiv:
Groups Geom. Dyn. ,6(2):389–407, 2012.
Department of Mathematics, California Institute of Technology
E-mail address ::