Galois Representations and Automorphic Forms

这个项目的主要目的是让PI继续培训研究生进行令人兴奋的、但技术要求非常高的算术几何研究。这项研究涉及一个非同寻常的猜想网络，包括朗兰兹猜想，将代数(即多项式方程理论)与分析和几何(特别是几何对称性的研究)联系在一起。只要这些猜想成立，它们就提供了一个强大的工具，可以将一个领域中的非常困难的问题简化为另一个领域中的容易得多的问题。最著名的例子是安德鲁·怀尔斯，经过300多年的努力，证明了费马大定理。怀尔斯与圆周率部分地结合在一起，将这个代数问题简化为关于双曲平面的对称性的更容易的问题(一种在埃舍尔的《圆界极限》木刻中流行的几何)。近几十年来，算术几何领域取得了非凡的进步。在这个领域产生的许多结果中有新的纠错码，它对现代计算机(硬盘)和光盘都是必不可少的。除了支持研究生外，PI还将在正规但非自对偶的情况下继续他关于自同构提升定理的工作。最近，包括PI在内的10位数学家在这个问题上取得了第一个重大进展：他们证明了CM域上所有椭圆曲线的位势自同构以及关于Biachi 3-流形上同调的Ramanujan猜想。进一步的进展似乎是可能的。公社的一名学生也在研究相关问题，公社将继续思考这些问题。此外，PI将继续尝试证明作用于代数但非正则自同构形式的Hecke算子的特征值是代数的。这一奖项反映了NSF的法定使命，并已通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

The main purpose of this project is to allow the PI to continue to train graduate students in exciting, but very technically demanding, research in arithmetic geometry. This research concerns an extraordinary web of conjectures, including the Langlands conjectures, connecting algebra (i.e. the theory of polynomial equations) with analysis and geometry (particularly the study of geometric symmetries). Whenever these conjectures can be established, they provide a powerful tool which can reduce very hard problems in one domain to much easier problems in the other. The most celebrated example was Andrew Wiles' proof, after over 300 years of effort, of Fermat's last theorem. Wiles, partly in conjunction with the PI, reduced this algebraic problem to a much easier problem concerning symmetries of the hyperbolic plane (a sort of geometry popularized in Escher's "Circle Limit" woodcuts). The field of arithmetic geometry has seen extraordinary progress in recent decades. Among the many consequences flowing from this area are new error correcting codes which are essential for both modern computers (hard disks) and compact disks.In addition to supporting graduate students, the PI will continue his work on automorphy lifting theorems in the regular, but non-self-dual, case. Recently a group of 10 mathematicians, including the PI, made the first serious progress on this problem: They proved the potential automorphy of all elliptic curves over CM fields and the Ramanujan conjecture for the cohomology of Bianchi 3-manifolds. Further progress seems possible. One of the PI's students is also working on related issues and the PI will continue himself to think about these questions. In addition the PI will continue his attempts to prove that the eigenvalues of Hecke operators acting on algebraic, but non-regular, automorphic forms are algebraic.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.