Geometry of analytic and algebraic varieties

这个研究项目是在代数几何领域，纯数学的核心领域之一，其根源可以追溯到古希腊。代数几何的核心是研究多项式方程的几何解。这些是最简单的方程，因此，毫不奇怪，它们在几乎所有科学学科中都发挥着重要作用。特别是代数几何与微分几何和解析几何、交换代数、拓扑学、数论、物理学、理论计算机科学、密码学以及应用数学的许多领域有着密切的联系。代数几何中最基本的问题是对所有由多项式方程定义的几何对象进行分类。最小模型程序是这种分类程序最成功的方法，最近在分类复杂品种，即由复数组成的解集方面取得了非凡的成功。人们希望这些技术将扩展到其他情况下，如品种定义的领域的积极特征和复杂的分析品种。PI将涉及研究生和博士后在这个项目的各个方面。这个项目将推广的最小模型程序在复数的正特征代数闭域的情况下（和混合特征的情况下）的品种，以及Kahler品种的情况下的结果。特别是，PI将表明，最小模型程序适用于紧凑的Kahler klt三倍和四倍，并将发展广义Klt Kahler品种的理论。PI将研究特征3中三重的最小模型程序和大特征代数闭域上投射3重的多正则映射。该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。

This research project is in the field of algebraic geometry, one of the core areas of pure mathematics whose roots date back to the ancient Greeks. At its heart, algebraic geometry studies the geometry of the solution of polynomial equations. These are the simplest possible equations and so, not surprisingly, they play an important role in almost any scientific discipline. In particular algebraic geometry has close ties with differential and analytic geometry, commutative algebra, topology, number theory, physics, theoretical computer science, cryptography, and many areas of applied mathematics. The most fundamental problem in algebraic geometry is to classify all geometric objects defined by polynomial equations. The minimal model program is the most successful approach to this classification program and has recently had extraordinary success in classifying complex varieties, i.e. solution sets consisting of complex numbers. It is hoped that these techniques will extend to other contexts such as varieties defined over fields of positive characteristics and to complex analytic varieties. The PI will involve graduate students and post-docs in various aspects of this project.This project will generalize the results of the minimal model program over the complex numbers to the case of varieties over algebraically closed fields of positive characteristic (and to the case of mixed characteristics) as well as the case of Kahler varieties. In particular, the PI will show that the minimal model program holds for compact Kahler klt threefolds and fourfolds and will develop the theory of generalized klt Kahler varieties. The PI will investigate the minimal model program for threefolds in characteristic 3 and the pluricanonical maps of projective 3-folds over algebraically closed fields of large characteristics. The minimal model program in mixed characteristic will also be developed.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.