Mathematical Sciences: Equilvalence Relations Induced by Polish Group Actions

数学科学：波兰群行动引发的等价关系

• 批准号: 9622977
• 负责人: Greg Hjorth
• 金额: $ 10.8万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-07-01 至 2000-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9622977&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Equilvalence; Relations; Induced

DMS 9622977 Greg Hjorth, UCLA The notion of group is a central one in modern mathematics, specifically that of a group acting on a set. This induces an orbit equivalence relation : for the group G we have that the orbit of a point is the set of all gx where g is in G . This in turn cues mathematicians to the abstract study of the orbit equivalence relation, now isolated from the original investigation of the action. While work of some researchers on the edge of ergodic theory illuminates the case when G is locally compact, the branch of logic known as model theory is intimately concerned with the orbit equivalence relations induced by the infinite symmetric group S of all permutations of the countable set N, equipped with the topology of pointwise convergence. Hjorth's project is directed towards unifying these very diverse areas under the study of continuous actions of separable metrizable topological groups, commonly known as Polish groups. This class of groups includes some familiar topological groups which fail to be locally compact, such as: S, the homeomorphism group of the unit interval, and the group of automorphisms of Hilbert space. The notion of a group action can be understood by the following simple analogy. Suppose a fleck of sand is travelling through space, and we know its position and velocity at a given time, call it t. In principle it should be possible to calculate the position and velocity of the same fleck at a later time, call it t + s. In this sense we can say that the real number s "acts" on the collection of all possible positions and velocities. From any position and velocity at time t, the number s produces the position and velocity at time t+s. All possible states reachable from a specified starting point is what is called an orbit. The terminology suggests an analogy: rather than looking at the position of a planet at one fixed time, we look instead at the collection of all positions it can occupy throughout its year: in other words, its orbit. Hjorth's project considers group actions and orbits in a very general context, with particular focus on complicated groups which arise from logical considerations. Certain classifications are provided these group actions and orbits, to give an understanding of when one is more complicated than another. This research is foundational. A central goal is a deepened understanding of the subtle nature of many mathematical objects, such as orbits of points in space.

DMS 9622977 Greg Hjorth，加州大学洛杉矶分校 群的概念是现代数学的核心概念，特别是作用于集合的群的概念。 这引出了轨道等价关系：对于群 G ，我们有一个点的轨道是所有 gx 的集合，其中 g 在 G 中。这反过来又促使数学家对轨道等价关系进行抽象研究，现在与最初的作用研究隔离开来。 虽然一些研究人员在遍历理论边缘的工作阐明了 G 是局部紧的情况，但被称为模型论的逻辑分支密切关注由可数集合 N 的所有排列的无限对称群 S 所引发的轨道等价关系，并配备了逐点收敛的拓扑。 Hjorth 的项目旨在通过研究可分离的可度量拓扑群（通常称为波兰群）的连续作用来统一这些非常不同的领域。 这类群包括一些我们熟悉的局部紧致拓扑群，如：S、单位区间的同胚群、希尔伯特空间的自同构群等。 群体行动的概念可以通过以下简单的类比来理解。假设一粒沙子在空间中传播，我们知道它在给定时间的位置和速度，称之为 t。原则上，应该可以在稍后的时间计算同一斑点的位置和速度，称之为 t + s。从这个意义上说，我们可以说实数“作用”于所有可能的位置和速度的集合。 从时间 t 的任何位置和速度，数字 s 产生时间 t+s 的位置和速度。 从指定起点可到达的所有可能状态就是所谓的轨道。这个术语暗示了一个类比：我们不是关注一颗行星在某个固定时间的位置，而是关注它在一年中占据的所有位置的集合：换句话说，就是它的轨道。 Hjorth 的项目在非常普遍的背景下考虑群体行为和轨道，特别关注出于逻辑考虑而产生的复杂群体。 对这些群体行为和轨道进行了某些分类，以便了解一个群体何时比另一个群体更复杂。这项研究是基础性的。中心目标是加深对许多数学对象的微妙本质的理解，例如空间中点的轨道。