Topological Applications of Floer Theory

规范理论是对一种特殊的非线性微分方程的研究，最初出现在量子物理学中。在数学中，这些方程的解可以用来理解底层空间的拓扑结构（形状）。当研究三维形状时，来自规范理论的信息被编码到一个称为花同调的代数结构中。本项目旨在研究不同版本的flower同源性及其在拓扑学中的应用。特别是，虽然花同源性与三维空间有关，但通过间接途径，它可以深入了解五维或更高维空间的三角剖分；对这些三角测量进行分类是一个悬而未决的主要问题。三角剖分是将空间分解成多面体，并给出空间的简单组合描述。该项目还旨在构建Floer同调的新变体，灵感来自量子物理学的最新进展。在另一个方向上，通过与计算机科学家的合作，提出将拓扑应用于分布式计算模型的分类。该项目涉及花理论及其在低维和高维流形研究中的应用。特别地，PI将研究三流形的Seiberg-Witten Floer稳定同伦类型和相关的Pin(2)-等变Seiberg-Witten Floer同伦。这些理论可以用来在三维空间中得到关于同调配群的信息。反过来，同调协定给出了对至少五维流形的三角剖分分类的见解。类似的方法将用于研究自旋四流形的交点形式。PI还将致力于构建Pin(2)版本的Heegaard flower同源性和knot flower同源性，并开发用于Heegaard flower同源性的新计算技术。此外，在与计算机科学家的持续合作中，PI正在探索拓扑在分布式计算中的应用；在那里，由多台计算机组成的系统对给定任务的可解性可以用同伦理论中的问题来重新表述。

Gauge theory is the study of a particular kind of non-linear differential equations, that originally appeared in quantum physics. In mathematics, the solutions to these equations can be used to understand the topology (the shape) of the underlying space. When studying three-dimensional shapes, the information from gauge theory is encoded into an algebraic structure called Floer homology. The project aims to study different versions of Floer homology and their applications to topology. In particular, although Floer homology is associated to three-dimensional spaces, by an indirect route it can give insights into the triangulations of spaces of dimension five or higher; classifying these triangulations is a major open problem. A triangulation is a decomposition of the space into polyhedra, and gives a simple combinatorial description of the space. The project also aims at constructing new variants of Floer homology, with inspiration drawn from recent advances in quantum physics. In a different direction, through collaboration with computer scientists, it is proposed to apply topology to the classification of distributed computing models.The project concerns Floer theory and its applications to the study of both low dimensional and high dimensional manifolds. In particular, the PI will investigate the Seiberg-Witten Floer stable homotopy types of three-manifolds and the associated Pin(2)- equivariant Seiberg-Witten Floer homology. These theories can be used to get information about the homology cobordism group in three dimensions. In turn, homology cobordism gives insight into the classification of triangulations for manifolds of dimension at least five. Similar methods will be used to study the intersection forms of spin four-manifolds. The PI will also work on constructing Pin(2) versions of Heegaard Floer homology and knot Floer homology, and on the development of new computational techniques for Heegaard Floer homology. Furthermore, in an ongoing collaboration with computer scientists, the PI is exploring applications of topology to distributed computing; there, the solvability of a given task by a system of several computers can be rephrased in terms of a question in homotopy theory.