We present a streamlined exposition of a construction by R. Chen, A. Poulin, R. Tao, and A. Tserunyan, which proves the treeability of equivalence relations generated by any locally-finite Borel graph such that each component is a quasi-tree. More generally, we show that if each component of a locally-finite Borel graph admits a finitely-separating Borel family of cuts, then we may 'canonically' construct a forest of special ultrafilters; moreover, if the cuts are dense towards ends, then this forest is a Borel treeing.
我们对 R. Chen、A. Poulin、R. Tao 和 A. Tserunyan 的构造进行了精简阐述。Tao, and A. Tserunyan 的构造,该构造证明了由任何局部有限伯尔图生成的等价关系的可树性,且每个分量都是水树。更广义地说,我们证明了如果局部有限伯尔图的每个分量都有一个有限分离的伯尔切分族,那么我们就可以 "规范地 "构造一个特殊超滤波器森林;此外,如果切分向两端密集,那么这个森林就是伯尔树化。
{"title":"Tree-like graphings of countable Borel equivalence relations","authors":"Zhaoshen Zhai","doi":"arxiv-2409.09843","DOIUrl":"https://doi.org/arxiv-2409.09843","url":null,"abstract":"We present a streamlined exposition of a construction by R. Chen, A. Poulin,\u0000R. Tao, and A. Tserunyan, which proves the treeability of equivalence relations\u0000generated by any locally-finite Borel graph such that each component is a\u0000quasi-tree. More generally, we show that if each component of a locally-finite\u0000Borel graph admits a finitely-separating Borel family of cuts, then we may\u0000'canonically' construct a forest of special ultrafilters; moreover, if the cuts\u0000are dense towards ends, then this forest is a Borel treeing.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":"54 3 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142266732","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}