Geometric Langlands Program and Arithmetic Algebraic Geometry

朗兰兹纲领是一个数学框架，它统一了许多不同数学领域的问题，特别是数论和线性代数。传统的算术朗兰兹程序已经被研究了50多年，并在求解经典丢番图方程中得到了重要的应用，例如费马最后定理的求解。相对较新的几何朗兰兹纲领正在迅速发展，因为它还与几何和物理等其他学科联系在一起，人们可以从中得出直觉。在这个项目中，首席研究员将探索朗兰兹哲学的这两个不同方面之间的联系，通过应用几何方法来研究算术问题。 该奖项还将为研究生提供支持，研究与这一令人兴奋但要求很高的研究领域相关的主题。更详细地说，首席研究员将推广他以前关于Shimura品种mod p纤维之间的上同调对应的结果，并将其应用于算术水平上升问题和Beilinson-Bloch-Kato猜想的研究。 沿着的方式，他将制定必要的成分，如驯服当地几何Langalands对应的p进群。首席研究员还将继续他的研究p-adic方面的上同调理论与系数，并比较和联系他们与复杂的方面和l-adic方面。这个奖项反映了NSF的法定使命，并已被认为是值得通过评估使用基金会的智力价值和更广泛的影响审查标准的支持。

The Langlands Program is a mathematical framework that unifies questions in many different areas of mathematics, especially number theory and linear algebra. The traditional arithmetic Langlands program has been studied for more than fifty years, and has found significant applications to solving classical Diophantine equations, such as the solution of Fermat's last theorem. The geometric Langlands program, which is relatively new, is under rapid development as it is also connected with other subjects such as geometry and physics, from where one can draw intuitions. In this project, the principal investigator will explore connections between these two different facets of the Langlands philosophy by applying geometric methods to study arithmetic problems. This award will also provide support for graduate students studying topics related to this exciting but demanding area of research.In more detail, the principal investigator will generalize his previous results on cohomological correspondences between mod p fibers of Shimura varieties, and apply them to the study of arithmetic level rising problems and the Beilinson-Bloch-Kato conjecture. Along the way, he will develop necessary ingredients such as the tame local geometric Langalands correspondence for p-adic groups. The principal investigator will also continue his study of p-adic aspects of cohomology theory with coefficients, and compare and relate them with the complex aspects and l-adic aspects.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.