CAREER: Compact Hyper-Kahler manifolds and Lagrangian fibrations

该奖项的全部或部分资金来自《2021年美国救援计划法案》(公法117-2)。代数几何是研究代数变体，用多项式方程描述几何对象的学科。为了研究代数簇，根据它们的几何性质将它们分成不同的类往往是很方便的。一类重要的代数簇是由代数簇的一个基本不变量--第一个陈类为零的人给出的。20世纪80年代的一个基本结果，称为Beauville-Bogomolov定理，指出第一类为零的光滑紧代数簇恰好存在三种构造块：复环面、严格Calabi-Yau流形和不可约全纯辛流形。这个项目关注的是这三个构建块中的最后一个，这是传统上研究最少的。由于微分几何中的一些基本定理，不可约全纯辛流形允许一种特殊的度量，称为超Kähler度量。全纯辛流形的几何不仅与代数几何和微分几何有关，而且与表示论和数学物理有关。作为该项目的一部分，PI将组织加强美国超Kähler研究社区的活动，为数学中未被充分代表的少数族裔本科生举办的活动，以及在哥伦比亚大学周围更广泛的社区中的K-12活动。K3曲面是研究最多的代数曲面类型之一，不可约辛流形可以说是它们的高维类似物。在这个类比中，紧致超Kähler流形上的拉格朗日纤维是椭圆K3曲面的自然推广。与辛分解一起，拉格朗日流形为研究、分类和构造这类流形提供了最有力的手段之一。PI的目的是通过对拉格朗日原函数的系统研究来推进当前对(紧致)超Kähler流形的认识。更具体地说，PI将引入新的技术来紧致准投射拉格朗日纤维，并将研究拉格朗日纤维紧致超Kähler流形的上同调、派生范畴和Chow群。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This award is funded in whole or in part under the American Rescue Plan Act of 2021 (Public Law 117-2). Algebraic geometry is the study of algebraic varieties, geometric objects described by polynomial equations. To study algebraic varieties, it is often convenient to divide them into different classes according to their geometric properties. An important class of algebraic varieties is given by those whose first Chern class, a basic invariant of algebraic varieties, is zero. A fundamental result from the 1980s, called the Beauville-Bogomolov theorem, states that there are exactly three kinds of building blocks for smooth compact algebraic varieties with zero first Chern class: complex tori, strict Calabi-Yau manifolds, and irreducible holomorphic symplectic manifolds. This project focuses on the last of these three building blocks, which traditionally has been the least studied. Thanks to some fundamental theorems in differential geometry, irreducible holomorphic symplectic manifolds admit a special metric called a hyper-Kähler metric. The geometry of holomorphic symplectic manifolds is relevant not only to algebraic and differential geometry, but also to representation theory and mathematical physics. As part of this project, the PI will organize activities to strengthen the hyper-Kähler research community in the United States, activities for undergraduate students from under-represented minorities in math, and K-12 activities in the broader community around Columbia University.K3 surfaces constitute one of the most studied types of algebraic surfaces, and irreducible symplectic manifolds are arguably their higher dimensional analogues. In this analogy, Lagrangian fibrations on compact hyper-Kähler manifolds are the natural generalizations of elliptic K3 surfaces. Together with symplectic resolutions, Lagrangian fibrations provide one the strongest means to study, classify, and construct this class of manifolds. The PI aims to advance the current knowledge of (compact) hyper-Kähler manifolds through the systematic study of Lagrangian fibrations. More specifically, the PI will introduce new techniques to compactify quasi-projective Lagrangian fibrations and will study the cohomology, derived categories, and Chow groups of Lagrangian fibered compact hyper-Kähler manifolds.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.