Equivalence Relations, Symbolic Dynamics, and Descriptive Set Theory

等价关系、符号动力学和描述集合论

• 批准号: 1201290
• 负责人: Su Gao
• 金额: $ 24万
• 依托单位: University of North Texas
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-06-01 至 2016-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1201290&HistoricalAwards=false
• 关键词: Equivalence; Relations; Symbolic; Dynamics; Descriptive

The project proposes to bring some recently developed techniques to the study of countable Borel equivalence relations. These techniques, developed over the last several years, involve new types of marker structures on the equivalence relations. For example, these new structures have led to a proof that all orbit equivalence relations of countable abelian group actions are hyperfinite. An important goal is to extend the results to larger classes of groups, and to delineate the extent of hyperfiniteness. A second new method concerns marker structures on arbitrary countable groups, also referred to as ``blueprints". The bluprints, for example, give a proof that the Bernoulli shift action of every countable group has a free subflow. They have also been used to give other results for general actions, such as results on the complexity of the topological conjugacy relation. Another goal of this project is to explore the connections between the possible blueprints that can exist on groups and the marker structures on the equivalence relations induced by actions of these groups. It is expected that progress along these lines will improve our understanding both of actions by special types of groups, and of the nature of Borel actions for general countable groups.Countable Borel equivalence relations are fundamental mathematical objects which occur in many mathematical contexts. Aside from their intrinsic interest, their theory interacts with other important areas of mathematics such as dynamics, ergodic theory, and geometric group theory. Thus, work in this area involves techniques from logic as well as dynamics, combinatorics, and other areas. Consider an equivalence relation studied by the ancient Greeks, that of commensurability: two positive real numbers are equivalent if their ratio is rational. A very basic question about this simple relation was not known until recently, namely whether it can be described in an effective way as an increasing union of finite relations. Several natural generalizations of this question are still open. This project seeks to further develop some of the new techniques to further the study of these fundamental questions. It is expected that this study will also make new connections with other areas of mathematics.

该项目建议将一些最近开发的技术应用于可数Borel等价关系的研究。这些技术，在过去几年中发展起来的，涉及新类型的标记结构的等价关系。例如，这些新的结构导致了一个证明，所有轨道等价关系的可数阿贝尔群作用是超有限的。一个重要的目标是将结果扩展到更大的类的群体，并划定超有限性的程度。第二种新方法涉及任意可数群上的标记结构，也称为“蓝图”。例如，蓝图证明了每个可数群的伯努利移位作用都有一个自由子流。他们也被用来给其他结果的一般行动，如结果的复杂性的拓扑共轭关系。这个项目的另一个目标是探索可能存在于群体上的蓝图与这些群体的行动所诱导的等价关系上的标记结构之间的联系。预计沿着这些路线的进展将提高我们的理解都行动的特殊类型的群体，和性质的博雷尔行动一般可数groups.Countable博雷尔等价关系是基本的数学对象，发生在许多数学环境。除了他们的内在利益，他们的理论与其他重要领域的数学，如动力学，遍历理论，几何群论。因此，这一领域的工作涉及到逻辑学、动力学、组合学和其他领域的技术。考虑古希腊人研究的一个等价关系，即等价性：两个正的真实的数是等价的，如果它们的比率是有理数。关于这个简单关系的一个非常基本的问题直到最近才为人所知，即它是否可以有效地描述为有限关系的递增联合。这个问题的几个自然的概括仍然是开放的。该项目旨在进一步开发一些新技术，以进一步研究这些基本问题。预计这项研究也将与数学的其他领域建立新的联系。