Hostname: page-component-848d4c4894-xm8r8 Total loading time: 0 Render date: 2024-06-26T02:52:06.007Z Has data issue: false hasContentIssue false

On Baire measurable colorings of group actions

Published online by Cambridge University Press:  10 January 2020

ANTON BERNSHTEYN*
Affiliation:
Department of Mathematics, University of Illinois at Urbana-Champaign, IL, USA Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA, USA email abernsht@math.cmu.edu

Abstract

The field of descriptive combinatorics investigates to what extent classical combinatorial results and techniques can be made topologically or measure-theoretically well behaved. This paper examines a class of coloring problems induced by actions of countable groups on Polish spaces, with the requirement that the desired coloring be Baire measurable. We show that the set of all such coloring problems that admit a Baire measurable solution for a particular free action $\unicode[STIX]{x1D6FC}$ is complete analytic (apart from the trivial situation when the orbit equivalence relation induced by $\unicode[STIX]{x1D6FC}$ is smooth on a comeager set); this result confirms the ‘hardness’ of finding a topologically well-behaved coloring. When $\unicode[STIX]{x1D6FC}$ is the shift action, we characterize the class of problems for which $\unicode[STIX]{x1D6FC}$ has a Baire measurable coloring in purely combinatorial terms; it turns out that closely related concepts have already been studied in graph theory with no relation to descriptive set theory. We remark that our framework permits a wholly dynamical interpretation (with colorings corresponding to equivariant maps to a given subshift), so this article can also be viewed as a contribution to generic dynamics.

Type
Original Article
Copyright
© Cambridge University Press, 2020

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Albertson, M. O., Kostochka, A. V. and West, D. B.. Precoloring extension of Brooks’ theorem. SIAM J. Discrete Math. 18(3) (2005), 542553.CrossRefGoogle Scholar
Albertson, M. O.. You can’t paint yourself into a corner. J. Combin. Theory B 73 (1996), 189194.CrossRefGoogle Scholar
Abért, M. and Weiss, B.. Bernoulli actions are weakly contained in any free action. Ergod. Th. & Dynam. Sys. 33 (2013), 323333.CrossRefGoogle Scholar
de Bruijn, N. G. and Erdös, P.. A colour problem for infinite graphs and a problem in the theory of relations. Nederl. Akad. Wetensch. Proc. A 54 (1951), 371373.CrossRefGoogle Scholar
Bernshteyn, A.. Measurable versions of the Lovász local lemma and measurable graph colorings. Adv. Math. 353 (2019), 153223.CrossRefGoogle Scholar
Conley, C. T. and Miller, B. D.. A bound on measurable chromatic numbers of locally finite Borel graphs. Math. Res. Lett. 23(6) (2016), 16331644.CrossRefGoogle Scholar
Conley, C. T., Marks, A. S. and Tucker-Drob, R.. Brooks’s theorem for measurable colorings. Forum Math. Sigma 4 (2016).CrossRefGoogle Scholar
Csóka, E., Grabowski, L., Máthé, A., Pikhurko, O. and Tyros, K.. Borel version of the local lemma. Preprint, 2016, arXiv:1605.04877.Google Scholar
Diestel, R.. Graph Theory, 2nd edn. Springer, New York, 2000.Google Scholar
Dvořák, Z., Lidický, B., Mohar, B. and Postle, L.. 5-list-coloring planar graphs with distant precolored vertices. J. Combin. Theory B 122 (2017), 311352.CrossRefGoogle Scholar
Elek, G. and Lippner, G.. Borel oracles: an analytical approach to constant-time algorithms. Proc. Amer. Math. Soc. 138(8) (2010), 29392947.CrossRefGoogle Scholar
Gao, S., Jackson, S. and Seward, B.. Group colorings and Bernoulli subflows. Mem. Amer. Math. Soc. 241(1141) (2016).Google Scholar
Kechris, A. S.. Classical Descriptive Set Theory. Springer, New York, 1995.CrossRefGoogle Scholar
Kechris, A. S. and Marks, A. S.. Descriptive graph combinatorics. Preprint, 2016 http://math.caltech.edu/∼kechris/papers/combinatorics16.pdf.Google Scholar
Kechris, A. S., Solecki, S. and Todorcevic, S.. Borel chromatic numbers. Adv. Math. 141 (1999), 144.CrossRefGoogle Scholar
Lyons, R. and Nazarov, F.. Perfect matchings as IID factors of non-amenable groups. European J. Combin. 32 (2011), 11151125.CrossRefGoogle Scholar
Moser, R. and Tardos, G.. A constructive proof of the general Lovász local lemma. J. ACM 57(2) (2010).CrossRefGoogle Scholar
Marks, A. and Unger, S.. Baire measurable paradoxical decompositions via matchings. Adv. Math. 289 (2016), 397410.CrossRefGoogle Scholar
Postle, L. and Thomas, R.. Hyperbolic families and coloring graphs on surfaces. Trans. Amer. Math. Soc. B 5 (2018), 167221.CrossRefGoogle Scholar
Seward, B. and Tucker-Drob, R. D.. Borel structurability on the 2-shift of a countable group. Ann. Pure Appl. Logic 167(1) (2016), 121.CrossRefGoogle Scholar
Saitǒ, K. and Wright, J. D. M.. Generic dynamics. Monotone Complete C -Algebras and Generic Dynamics (Springer Monographs in Mathematics) . Springer, London, 2015, Ch. 6.CrossRefGoogle Scholar
Tserunyan, A.. Introduction to descriptive set theory. Preprint, 2016 http://www.math.uiuc.edu/∼anush/Teaching_notes/dst_lectures.pdf.Google Scholar
Weiss, B.. A survey of generic dynamics. Descriptive Set Theory and Dynamical Systems (London Mathematical Society Lecture Note Series, 277) . Eds. Foreman, M., Kechris, A. S., Louveau, A. and Weiss, B.. Cambridge University Press, New York, 2000, pp. 273291.CrossRefGoogle Scholar