Cones and positivity in algebraic geometry

这个项目将解决代数几何中的一些基本问题，这是纯数学研究的一个中心领域。我们在代数几何中研究的对象是所谓的代数簇，即多项式方程组的解集。代数变体在数学的许多部分都有很大的兴趣，包括数论和拓扑学，但也在一系列应用中：数学物理，它们为物理对象提供数学模型;控制理论和运动规划，它们表示受代数约束的系统的可能状态;以及许多其他。因此，得到一个很好的高层次的代数簇的结构的图片是巨大的理论和实际利益。这个项目包括两个相互关联的方法来理解代数簇的结构的问题。第一种方法是研究一个重要的假说，称为“莫里森-川俣锥猜想”。如果这个猜想是真的，那么它将提供非常精确的信息，说明某些代数簇可以通过代数映射相互关联。我们的研究将开发一种归纳方法，允许使用关于较小品种的信息来推断关于许多较大品种的信息。这将极大地增加什么是已知的猜想的范围：迄今为止，它只被证明为非常特殊类型的品种，但我们的归纳方法将产生结果，在更大的一般性。第二种方法将集中在问题：给定一个代数簇，我们如何能描述的集合中包含的所有较小的代数簇？在过去的30年里，在理解包含在给定簇内的曲线（即一维簇）的问题上取得了巨大的进展，这极大地提高了我们对所有代数簇的一般图景的理解。在我们项目的这个部分中，我们将解决理解给定种类中所有“更大”的子种类的问题-例如，四维空间中的曲面。在这个问题上的进展将产生一套新的工具来理解，区分和分类代数簇。

This project will address some basic issues in algebraic geometry, a central field of research in pure mathematics. The objects we study in algebraic geometry are so-called algebraic varieties, meaning solution sets of systems of polynomial equations. Algebraic varieties are of great interest in many parts of mathematics, including number theory and topology, but also in a range of applications: mathematical physics, where they provide mathematical models for physical objects; control theory and motion planning, where they represent the possible states of a system subject to algebraic constraints; and many others. Getting a good high-level picture of the structure of algebraic varieties is therefore of immense theoretical and practical interest.This project consists of two interrelated approaches to the problem of understanding the structure of algebraic varieties. The first approach is to investigate an important hypothesis called the "Morrison--Kawamata cone conjecture". If true, this conjecture would provide very precise information about the way in which certain classes of algebraic varieties can be related to each by algebraic mappings. Our research will develop an inductive method, allowing to use information about smaller varieties to deduce information about many larger varieties. This will greatly increase the scope of what is known about the conjecture: to date it has only been proved for very special types of varieties, but our inductive method will yield results in much greater generality.The second approach will focus on the question: given an algebraic variety, how can we describe the collection of all smaller algebraic varieties contained inside it? In the past thirty years, immense progress has been made on the problem of understanding the curves (that is, one-dimensional varieties) contained inside a given variety, and this has greatly improved our understanding of the general picture of all algebraic varieties. In this component of our project, we will tackle the problem of understanding all "larger" subvarieties in a given variety --- for example, the surfaces inside a variety of dimension four. Progress on this question will yield a new set of tools for understanding, distinguishing, and classifying algebraic varieties.