FRG: Collaborative Research: Birational Geometry and Singularities in Zero and Positive Characteristic

该项目的目标是将一组在高维代数几何领域具有广泛经验的研究人员聚集在一起，以便在两个密切相关的领域取得进展：正特征的两族几何以及极小模型程序中出现的奇点和线性级数理论。虽然最近我们对高维变换几何的理解有了很大的进展，但由于使用了在正特征上失效的消失定理，几乎所有这些工作都局限于特征零。这项合作研究的第一个目标是建立一个工具和框架，使双几何的主要结果能够扩展到积极的特征。这将有系统地利用最近发明的利用弗罗贝尼奥斯形态的技术。该项目的第二个目标是进一步发展奇异性和线性级数的不变量研究，并着眼于最小模型规划中的剩余问题。这方面最近有许多进展。特别是，一些pi已经解决了Shokurov的一个猜想，该猜想断言奇异点的某些不变量（对数正则阈值）满足所谓的ACC性质。这表明，其他相关但更难的问题可能触手可及，这些问题的重要性来自于与最小模型程序中剩余的一个猜想的联系，即掷硬币的终止。pi建议解决其中一个问题，预测另一个不变量的ACC性质，即最小对数差异。在一个单独的方向上，pi计划对从各种正不变量的角度来看表现出病态行为的代数变量上的线性系统的例子进行系统的研究。近十年来，高维代数变体的研究取得了重大突破，但仍有几个重要问题有待解决。这样的一个中心问题与奇点的研究密切相关，这个项目的目标之一是在理解奇点的不变量的性质上取得进展，在这种情况下出现。pi的另一个总体目标是系统地发展至少具有3维正特征的代数变数的研究。在这种情况下，人们对新现象（有时被认为是病态的）的了解要少得多。pi期望与其他领域的思想交流，特别是交换代数的思想交流，将在这方面取得进展方面发挥重要作用。此外，这种情况下的技术和结果很可能在其他领域（例如，在算术几何领域）也有许多应用。作为合作努力的一部分，pi计划了几项活动，这些活动将把研究相关问题的数学界成员聚集在一起，并帮助传播作为该项目一部分开发的结果和技术。

The goal of this project is to bring together a group of researchers with experience in a broad array of topics in higher dimensional algebraic geometry, in order to make progress in two closely related areas: birational geometry in positive characteristics and the theory of singularities and linear series arising in the minimal model program. While there has been a lot of recent progress in our understanding of the geometry of higher-dimensional varieties, almost all of this body of work is restricted to characteristic zero, due to the use of vanishing theorems that can fail in positive characteristic. The first goal of this collaborative research is to build tools and a framework that would allow the main results in birational geometry to be extended to positive characteristics. This would make systematic use of the recent techniques that have been devised to exploit the Frobenius morphism. A second goal of the project is to further develop the study of invariants of singularities and of linear series, with an eye toward the remaining problems in the minimal model program. There have been many recent advances in this area. In particular, a conjecture of Shokurov asserting that certain invariants of singularities (the log canonical thresholds) satisfy the so-called ACC property has been solved by some of the PIs. This suggests that other related but harder questions might be within reach, questions whose importance comes from the connection with one of the remaining conjectures in the minimal model program, the termination of flips. The PIs propose to attack one of these problems, predicting the ACC property of another invariant, the minimal log discrepancy. In a separate direction, the PIs plan to undertake a systematic study of examples of linear systems on algebraic varieties that exhibit a pathological behavior from the point of view of various positivity invariants.The last ten years have seen major breakthroughs in the study of higher-dimensional algebraic varieties, but several important problems are still open. A central such problem is intimately related to the study of singularities and one of the goals of this project is to make progress on understanding the properties of the invariants of singularities that appear in this setting. Another general goal of the PIs is to develop systematically the study of algebraic varieties of dimension at least 3 in positive characteristic. A lot less is known in this setting, where new phenomena (sometimes considered pathological) arise. The PIs expect that cross-pollination of ideas with other areas, in particular with commutative algebra, will play an important role in making progress in this direction. Moreover, it is likely that techniques and results in this context would have many applications to other fields (for example, in arithmetic geometry). As part of the collaborative effort, the PIs plan several events that will bring together members of the mathematical community working on related problems and also help disseminate the results and the techniques developed as part of this project.