Topological Dynamics and Countable Combinatorics

动力学是研究运动中的物体的科学。在这里，“对象”是由某种数学结构中的一个点来表示的，而“运动”被理解为指这种结构的一组对称性。通过考虑不同的数学结构，来自动力学的思想与数学的其他几个领域相互作用，特别是逻辑、群论和组合学。反过来，来自这些领域的想法产生了动力学中的新现象。这个项目将专注于来自“可数组合学”的想法，广义上是这样解释的。组合学是研究离散的结构，而不是连续的结构，而强调“可数”的组合学意味着这些离散的结构将是无限的，但仍然足够小，我们可以写下它们的元素的列表或枚举。过去二十年的许多研究阐明了关于可数结构的鸽子洞原理如何产生具有简单动力学的群的例子；在这里，对称群将是大的，即不可数的。另一方面，最近人们的注意力转移到了关于可数群本身的组合论证上；这可以用来证明可数群总是具有狂野的动力。PI对这个项目有两个主要目标。第一个是继续发展可数群和更一般的波兰群的组合原理和动力学性质之间的词典。在可数群的情况下，群上某些模式的存在可以导致具有有趣行为的子移位的构造，例如双极小移位或与另一给定动力系统不相交的移位。对于更一般的波兰团体，类拉姆齐原理可以用来产生有趣的超滤器类物体空间，该团体可以对其采取行动。然后，这些动态系统将具有重要的通用属性，例如对于最小流是通用的，或者是通用的“完成流”，这是PI先前定义和研究的动态对象。第二是发展技术来证明可数组合学中的新定理。特别令人感兴趣的是断言各种可数一阶结构具有有限大Ramsey度的定理。虽然感兴趣的属性是关于可计数的对象，但所使用的技术可以处理极大的对象，如超滤器空间或强迫位置。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

Dynamics is the study of objects in motion. Here, an "object" is represented by a point in some mathematical structure, and "motion" is understood to mean a group of symmetries of this structure. By considering different mathematical structures, ideas from dynamics interact with several other areas of mathematics, in particular logic, group theory, and combinatorics. In turn, ideas from these fields give rise to new phenomena in dynamics. This project will focus on ideas coming from "countable combinatorics," broadly construed. Combinatorics is the study of discrete structures, as opposed to continuous ones, while the emphasis on "countable" combinatorics means that these discrete structures will be infinite, but still small enough that we can write down a list, or enumeration, of their elements. Much research in the past two decades has elucidated how pigeon-hole principles on countable structures can yield examples of groups with simple dynamics; here, the group of symmetries will be large, i.e. uncountable. On the other hand, attention has shifted recently to considering combinatorial arguments on countable groups themselves; these can be used to show that countable groups always have wild dynamics.The PI has two primary goals for this project. The first is to continue to develop the dictionary back and forth between combinatorial principles and dynamical properties of countable groups and more general Polish groups. In the case of countable groups, the existence of certain patterns on the group can lead to the construction of subshifts with interesting behavior, such as doubly minimal shifts or shifts disjoint from another given dynamical system. For more general Polish groups, Ramsey-like principles can be used to produce interesting spaces of ultrafilter-like objects on which the group can act. These dynamical systems will then have important universal properties, such as being universal for minimal flows, or being a universal "completion flow," a dynamical object previously defined and investigated by the PI. The second is to develop techniques to prove new theorems in countable combinatorics. Of particular interest are theorems asserting that various countable first-order structures have finite big Ramsey degrees. While the properties of interest are about countable objects, the techniques used can deal with extremely large objects, such as spaces of ultrafilters or forcing posets.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.