FRG: Collaborative Research: Higher Categorical Structures in Algebraic Geometry

该项目旨在将数学的重大新发展应用于代数和代数几何中的开放性问题。代数是研究广义数系的学科，而代数几何则是研究多项式方程解的几何。这两个领域在数学中都有使用，并且通过计算机视觉（例如手机摄像头）、卫星通信（纠错码）和安全消息传递（使用椭圆曲线的加密）中使用的算法经常涉及日常生活。该项目还使用了过去二十年来发展起来的更高范畴理论，这使得系统地处理微妙的、松散定义的物体成为可能。这种额外的灵活性导致对代数几何中使用的基本对象的新控制。甚至在最近，一些关于浓缩数学的工作提出了将这种新的控制扩展到密切相关的分析领域的可能性。本项目将利用这一前沿工作来尝试解决代数几何中长期存在的问题，并引入和解决解析代数几何中的新问题。它将为研究生和博士后研究人员提供研究和培训机会，并将支持几个针对早期职业数学家的研讨会。该项目解决了四个主要的研究挑战。首先，pi的目标是找到完全非交换的范畴不变量，并找到直接从拓扑不变量到范畴不变量的桥梁。没有已知的非交换的范畴不变量足以重构一个代数变量。在好的情况下，pi和合作者的工作表明，底层空间足以进行这样的重建。接下来，为了阐明交换对象在非交换对象中的作用，pi将研究dg范畴的变形和局部系统，试图解决Orlov的几何猜想。第三，pi将通过应用于派生范畴的拓扑Hochschild同调等更高范畴不变量来研究代数变体的p进上同调。最后，pi将试图表明，最近构建的核模块理论产生了刚性解析变量的正确非交换不变量，并将旨在将前三个项目推广到更一般的分析环境。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

This project aims to apply major new developments in mathematics to open questions in algebra and algebraic geometry. Algebra is the study of generalized systems of numbers, while algebraic geometry is concerned with the geometry of solutions of polynomial equations. Both fields are used throughout mathematics and touch regularly on daily life via algorithms used in computer vision (for instance in cell phone cameras), satellite communications (error-correcting codes), and secure messaging (cryptography using elliptic curves). The project also uses higher category theory developed over the last two decades, which makes it possible to systematically deal with subtle, loosely defined objects. This extra flexibility leads to new control over the basic objects used in algebraic geometry. Even more recently, some work on condensed mathematics raises the possibility of extending this new control to closely related areas of analysis. This project will use this cutting-edge work to attempt to settle longstanding questions in algebraic geometry and to introduce and solve new questions in analytical algebraic geometry. It will provide research and training opportunities for graduate students and postdoctoral researchers and will support several workshops aimed at early-career mathematicians.There are four main research challenges addressed by this project. First, the PIs aim to find complete noncommutative categorical invariants and to find a bridge directly from the topological invariants to the categorical ones. No known noncommutative categorical invariant suffices to reconstruct an algebraic variety. In good cases, work of the PIs and collaborators shows that the underlying space is enough for such a reconstruction. Next, to clarify the role of commutative objects inside noncommutative objects, the PIs will study the deformations and local systems of dg categories in an attempt to settle Orlov's geometricity conjecture. Third, the PIs will study the p-adic cohomology of algebraic varieties via higher categorical invariants such as topological Hochschild homology, applied to the derived category. Finally, the PIs will try to show that the recently constructed theory of nuclear modules yields the correct noncommutative invariants of a rigid analytic variety and will aim to generalize the first three projects to the more general analytic context.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.