Orbit Equivalence Relations and Classification Problems

本项目涉及可定义等价关系的描述集合论的两个重要方面。在理论方面，国际和平研究所建议研究波兰团体的结构及其行动的动态。群的范围从可数幂零群到完全酉群。在应用方面，PI建议研究与分析、拓扑和几何中出现的数学结构分类有关的主要开放问题。然而，主要的焦点将是分类问题，这些问题类似于由么正群的作用引起的轨道等价关系。这类问题的一个例子是可分复Hilbert空间上的有界线性算子的分类。数学各个领域中的许多重要公开问题都要求对这些领域中研究的数学对象进行令人满意的分类。这些分类问题通常可以被形式化为可定义的等价关系，有时甚至是由波兰群体行动引起的轨道等价关系。在过去的15年左右的时间里，人们发展了一种引人注目的可定义等价关系理论，从而对许多分类问题的复杂性有了完全的理解。本项目旨在进一步发展可定义等价关系的描述集合论。预计不同领域的数学将在这一基本框架内结合在一起。对于许多古老的分类问题，描述性集合论的观点是新的和值得研究的。

This project concerns two important aspects of the descriptive set theory of definable equivalence relations. On the theoretical side the PI proposes to study the structures of Polish groups and the dynamics of their actions. The scope of the groups ranges from countable nilpotent groups to the full unitary group. On the application side the PI proposes to study the major open problems concerning classification of mathematical structures arising in analysis, topology and geometry. The main focus, though, will be classification problems that are comparable to the orbit equivalence relations induced by actions of the unitary group. One example of such a problem is the classification of bounded linear operators on a separable complex Hilbert space.Many important open problems in various fields of mathematics ask for satisfactory classification of mathematical objects studied in the fields. These classification problems can often be formalized as definable equivalence relations, sometimes even orbit equivalence relations induced by Polish group actions. A striking theory of definable equivalence relations has been developed in the past 15 years or so and complete understanding of the complexity of many classification problems has thus been obtained. This project seeks further development of the descriptive set theory of definable equivalence relations. It is anticipated that mathematics of different fields be brought together in this foundational framework. For many of the old classification problems the descriptive set theoretic perspective is new and worth investigating.