The Trace Formula Method and the Arithmetic and Geometry of Modular Varieties in the Langlands Program

数论是数学中最古老的分支之一。它研究整数的性质。数论研究对现代科学技术的影响是巨大的。最值得注意的是，数论已被证明是密码学、互联网安全、电信等领域不可或缺的。这是一个研究所谓朗兰兹计划的项目，该计划预测了数论和其他看似无关的数学分支之间的深层关系。朗兰兹计划的进展不仅将促进我们在数论方面的知识，还将展示数学的统一性，表明数学中看似不同的领域受到某些共同原则的支配。如上所述，这将有利于加强在不同数学分支工作的研究人员之间的交流与合作，并将在密码学、互联网安全、电信等领域具有潜在的应用。更详细地说，朗兰兹计划的一个中心主题是动机和自同构形式之间的相互作用。最重要的工具之一是跟踪公式。在自同构形式的背景下，有Arthur-Selberg型迹公式和所谓的相对迹公式。在代数几何的背景下，有Grothendieck-Lefschetz-Verdier型的迹公式。研究人员结合朗兰兹计划中自然出现的各种几何物体来研究这些迹线公式。这些几何对象包括Shimura簇、Shtukas的模空间、Rapoport-Zink空间、仿射Deligne-Lusztig簇等，它们本身就是具有一定几何结构的模空间。这个项目的目标是在不同的具体环境中描述迹公式与这些模空间的算术和几何之间的相互作用。这样的理解将导致动机和自形形式之间的关系的结果。该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

Number theory is one of the oldest branches of mathematics. It studies properties of the integers. The impact of research in number theory on modern science and technology is significant. Most notably, number theory has proved indispensable in cryptography, internet security, telecommunication, and so on. This is a project to study the so-called Langlands program, which predicts deep relations between number theory and other seemingly unrelated branches of mathematics. Progress in the Langlands program will not only advance our knowledge in number theory, but also demonstrate the unification of mathematics, showing that seemingly different areas in mathematics are governed by certain common principles. This will be beneficial for enhancing communication and collaboration between researchers working in different branches of mathematics and will have potential applications to cryptography, internet security, telecommunication, and so on, as mentioned above.In more detail, a central topic in the Langlands program is the reciprocity between motives and automorphic forms. One of the most important tools is the trace formula. In the context of automorphic forms, there are trace formulas of Arthur-Selberg type and the so-called relative trace formulas. In the context of algebraic geometry, there are trace formulas of Grothendieck-Lefschetz-Verdier type. The investigator studies these trace formulas in conjunction with various geometric objects that naturally arise in the Langlands program. These geometric objects, which include Shimura varieties, moduli spaces of shtukas, Rapoport-Zink spaces, affine Deligne-Lusztig varieties, etc., are themselves moduli spaces of certain geometric structures. The goal of this project is to describe, in various concrete settings, the interaction between trace formulas and the arithmetic and geometry of these moduli spaces. Such an understanding will lead to results on the relation between motives and automorphic forms.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.