Pin(2)-Symmetry in Monopole Floer Homology

国家科学基金会资助的这个项目的主要焦点是规范理论和低维拓扑学这两个研究领域之间的相互作用。前者是许多物理理论形成的语言，而后者研究三维和四维空间的形状。应用几何知识来预测物理系统的行为是很常见的。例如，根据鼓的形状可以直接预测鼓的声音。相反的方法有时也是可行的；特别是，对源自规范理论的微分方程的研究可以导致对空间拓扑的非常深刻的见解。在最近的开创性工作中，齐普里安·马诺莱斯库驳斥了近百年来的三角测量猜想，该猜想粗略地断言，在更高的维度，每个空间都可以被切成非常简单的碎片。这个项目的主要目标是使用PI最近发展的计算技术来更详细地了解Manolescu研究的对象的几个性质，称为三维同调余边群。这个项目有两个主要目标。首先，为了探讨Pin(2)-单极子Floer同调的性质，在Kronheimer和Mrowka的Morse理论框架下，类似于Manolescu的构造定义了一组三维流形的不变量。Pin(2)-对称性反映在这些不变量上极其丰富的A-无穷结构中，我们将重点了解更高的运算及其对自然拓扑运算(如连通和)的影响。其次，将这些工具应用于研究低维拓扑中的问题，特别是三维空间中的同调余边群。人们对这一群体知之甚少，特别是关于扭转的存在，而Pin(2)-单极Floer同源可能提供了一种解决其中许多问题的途径。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

The main focus of this National Science Foundation funded project is the interaction between two areas of research known as gauge theory and low-dimensional topology. The former is the language in which many physical theories are formulated, while the latter studies the shapes of three- and four-dimensional spaces. It is common to apply knowledge of geometry to predict the behavior of physical systems. For example, it is straightforward to predict the sound of a drum from its shape. The opposite approach is sometimes also feasible; in particular, the study of differential equations originating from gauge theories can lead to very deep insights about the topology of spaces. In recent ground-breaking work, Ciprian Manolescu disproved the almost hundred-year-old Triangulation conjecture, which roughly asserted that in higher dimensions, every space can be cut into very simple pieces. The main goal of this project is to use the PI's recently developed computational techniques to understand in greater detail several properties of the object studied by Manolescu, called the three-dimensional homology cobordism group.This project has two main goals. First, to explore the properties of Pin(2)-monopole Floer homology, a package of invariants of three-manifolds defined in analogy to Manolescu's construction within the Morse-theoretic framework of Kronheimer and Mrowka. The Pin(2)-symmetry is reflected in an extremely rich A-infinity structure on these invariants, and we will focus on understanding the higher operations and their implications for natural topological operations such as connected sums. Second, to apply these tools to study problems in low-dimensional topology, focusing particularly on the homology cobordism group in dimension three. Very little is known about this group, especially regarding the existence of torsion, and Pin(2)-monopole Floer homology may provide an avenue to solve many of these problems.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.