Floer Theory, Arc Spaces, and Singularities

这个项目涉及到开发某些工具，用于两个数学领域：代数几何和辛几何。代数几何学研究的数学对象称为品种，是从加法和乘法方程的解决方案。辛几何是自然的几何出现时，一个研究汉密尔顿方程，这是方程描述运动的经典物理系统。一个非常重要的工具集，称为Floer理论，已被用来解决上述两个主题领域的许多问题。然而，这些工具很难使用，因为所涉及的计算可能相当困难。这个项目的一部分涉及通过一个称为弧空间的对象来寻找更好的计算技术。这个项目的另一部分是关于寻找更精确的方法来计算品种内的曲线，以及使用辛几何的思想为这种计算建立有效的基础。此外，PI将帮助指导研究生的暑期研讨会，并与高中生的斯托尼布鲁克数学夏令营。作为斯托尼布鲁克的研究生主任，PI将参与许多以学生为中心的活动。该项目的主要目的是更好地理解Floer理论及其与辛几何和代数几何的关系。为此，PI将利用弧空间来计算各种Floer代数。簇的弧空间是从圆盘到该簇的全纯映射的空间。PI将表明孤立超曲面奇点的单值迭代的Floer上同调是某些弧的喷流的紧支撑上同调。另一个方案是计算任意孤立奇点在弧空间上的全切触同调。PI的目的是证明有一个谱序列计算辛上同调的仿射品种，其网页也是紧支持的上同调群的某些弧在无穷远。PI，沿着与合作者Abouzaid和Smith，有一个项目定义Morava K-理论Gromov-Witten不变量在一个更有效的方式，以及在其他一些广义上同调理论。本项目还将使用从扩大的曲线模空间构建全局Kuranishi图的新思想。最后，在与Ritter的合作中，PI将使用Hamilton Floer上同调研究crepant分辨率猜想。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估而被认为值得支持。

This project is concerned with the development of certain tools for use in two areas of mathematics: algebraic geometry and symplectic geometry. Algebraic geometry studies mathematical objects called varieties that are solutions of equations built from addition and multiplication. Symplectic geometry is the natural geometry that emerges when one studies Hamilton's equations, which are equations describing the motion of classical physical systems. A very important collection of tools, called Floer theory, has been utilized to solve many problems in both of the subject areas above. However, these tools are hard to use since the computations involved can be quite difficult. A part of this project involves finding better computational techniques via an object called the arc space. Another part of this project is concerned with finding more refined ways of counting curves inside varieties as well as establishing efficient foundations for such counts using ideas from symplectic geometry. Additionally, the PI will help mentor a summer workshop for graduate students as well as engage with the Stony Brook math summer camp for high school students. In his role as the graduate director at Stony Brook, the PI will be involved in many student-centered activities.The broad aim of this project is to better understand Floer theory and its relationship with symplectic and algebraic geometry. To this end, the PI will utilize arc spaces to compute various Floer algebras. The arc space of a variety is the space of holomorphic maps from a disk to that variety. The PI will show that Floer cohomology of iterates of the monodromy of an isolated hypersurface singularity is compactly supported cohomology of jets of certain arcs. Another project is to compute the full contact homology of any isolated singularity in terms of its arc space. The PI aims to prove that there is a spectral sequence computing symplectic cohomology of affine varieties whose pages are also compactly supported cohomology groups of jets of certain arcs at infinity. The PI, along with collaborators Abouzaid and Smith, has a project defining Morava K-theoretic Gromov-Witten invariants in a more efficient way as well as over some other generalized cohomology theories. This project will also use the new idea of constructing a global Kuranishi chart from an enlarged moduli space of curves. Finally in joint work with Ritter, the PI will investigate the crepant resolution conjecture using Hamiltonian Floer cohomology.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.