Lefschetz Fibrations, Mapping Tori, and Dynamics on Moduli Spaces of Objects

动力系统（系统随时间变化的数学模型）描述了许多影响我们的过程，并引发了一些科学上最困难的问题，例如天体力学中的多体问题。该项目的第一部分旨在探索一种全新的动力学，其中系统的状态（如粒子的位置）在时间上移动，而整个系统没有全局运动。这似乎是自相矛盾的，实际上，人们预计它主要发生在远离应用的情况下。尽管如此，已经证明这种现象在数学上是可能的，而且因为动力系统思维提供了如此强大的直觉，所以尽可能地扩展其极限是有意义的。任何关于经典力学系统中额外复杂性的证据，即使它只直接影响少数情况，最终也会改变我们对这类系统复杂性的一般看法。这个项目的第二部分涉及数学中的一个现象，它产生于当前与弦理论的密切思想交流：即复杂的显式函数（通常是一个变量）的出现。从拓扑的角度来看，这是更定性的，人们希望最大限度地减少需要在这样的函数中编码的信息量。例如，如果函数本身解决了微分方程，则可以从有限的信息量中恢复它们。弦论在提供这样的表征方面非常有效，但这个项目的目标（在特殊情况下）是更直接和更简单的描述。它应该被看作是“非对易几何”的一个练习，这是数学家们为超越传统的空间概念（这是当代数学和物理学中的一个巨大挑战）而进行思考的一种方式。辛流形有着丰富的内部结构。这可以从变分的观点（容量、霍费尔范数、谱不变量），或者从弦理论和镜像对称来处理。然而，基本的已知不变量是数的集合，或同调类（Gromov-Witten不变量）。还有更多的信息（拉格朗日子流形，福谷范畴），但它不能直接用作分类工具。 该项目打算通过研究作用于福谷范畴的动力系统来解决这种情况。我们的想法是从几何考虑开始，如通量，并将其导出到其他情况。该方法的目的是应用到一个特定的类辛流形，映射环面。另一个主要的主题是一种计算福谷类别的方法，使用莱夫谢茨铅笔。虽然有一个机构以前的工作在这个方向上，它被限制到确切的（或单调）的情况下，并没有解决的挑战，理解无穷级数出现在卡-丘的情况。PI的目标是以比镜像对称的标准框架（高斯-马宁连接，镜像映射）更直接的方式描述这些序列;这种描述也会更一般，因为它最终独立于镜像对称的考虑。

Dynamical systems (mathematical models of systems changing in time) describe many processes that affect us, and have given rise to some of the hardest questions in science, such as the multi-body problem in celestial mechanics. The first part of this project aims to explore an entirely new kind of dynamics, in which the states of the system (such as positions of particles) move around in time, without a global motion of the entire system. This seems paradoxical, and indeed one expects it to happen mostly in situations that are far from applications. Nevertheless, it has been shown that the phenomenon is mathematically possible, and because dynamical systems thinking provides such a powerful intuition, it makes sense to want to stretch its limits as far as possible. Any evidence of additional complexity in classical mechanical systems, even if it directly affects only a few cases, ultimately changes how we think of the complexity of such systems in general. The second part of this project deals with a phenomenon in mathematics which arises from its current close exchange of ideas with string theory: namely, the appearance of complicated explicit functions (typically, of one variable). From the viewpoint of topology, which is more qualitative, one hopes to minimize the amount of information that needs to be encoded inside such functions. For instance, if the functions themselves solve a differential equation, they can be recovered from a finite amount of information. String theory has been very effective in providing such a characterization, but this project aims (in a special case) for a more direct and simpler description. It should be viewed as an exercise in "noncommutative geometry", which is the mathematicians' way to prepare ourselves for thinking beyond conventional notions of space (which is one of the big challenges in contemporary mathematics and physics).Symplectic manifolds have a rich internal structure. This can be approached from a variational viewpoint (capacities, Hofer norms, spectral invariants), or from string theory and mirror symmetry. Nevertheless, the basic known invariants are a collection of numbers, or homology classes (Gromov-Witten invariants). There is information beyond that (Lagrangian submanifolds, Fukaya categories), but it is not directly amenable to being used as a classification tool. The project intends to attack this situation by looking at dynamical systems acting on the Fukaya category. The idea is start with geometric considerations such as flux, and export them to other situations. The approach is designed to be applied to a specific class of symplectic manifolds, related to mapping tori. The other major topic is a way of computing Fukaya categories, using Lefschetz pencils. While there is a body of previous work in this direction, it is restricted to the exact (or monotone) situation, and does not address the challenge of understanding the infinite series that arise in the Calabi-Yau case. The PI's aim is to describe those series in a more direct way than is provided by the standard framework of mirror symmetry (Gauss-Manin connections, mirror maps); this description would then also be more general, since it is ultimately independent of mirror symmetry considerations.