Automorphic Forms for Function Fields and Related Geometry

PI建议使用几何方法来解决表示论和数论中的问题。 最近，PI发现了一种方法来构造动机与特殊的伽罗瓦群使用自守形式和几何朗兰兹对应。 这个想法将在接下来的几年里得到系统的发展，并将应用于经典的逆伽罗瓦问题。 PI还将使用希钦型模空间来研究有理数切雷德尼克代数的表示、伽罗瓦表示的枚举以及Lusztig特征层的全局类似物。在数学中，最有趣的对称性应该出现在几何中是一条普遍的规则。 例如，柏拉图立体的古代分类现在被看作是在三维空间中找到所有“有限对称性”的一个例子。 随着世纪后半叶代数几何的革命，我们现在有了强大的几何工具来解决数论和群论中的经典和新问题。PI将使用这些几何工具来解决朗兰兹程序中的问题。 在70年代，朗兰兹做了一系列的推理，将算术不变量联系起来（例如，丢番图方程的解）到解析不变量（例如，模块形式）。 朗兰兹所作的预言如果得到证实，将在解决经典问题（包括以这种方式解决的费马问题）方面发挥极其强大的作用。 通过这个项目，PI希望阐明朗兰兹计划中的一些问题，并发现几何中出现的更多对称性。

The PI proposes to use geometric methods to attack problems in representation theory and number theory. Recently the PI has found a way to construct motives with exceptional Galois groups using automorphic forms and the geometric Langlands correspondence. This idea will be systematically developed in the following years and will have applications to the classical inverse Galois problem. The PI will also use moduli spaces of Hitchin type to study representations of rational Cherednik algebras, enumeration of Galois representations, and global analogs of Lusztig's character sheaves.In mathematics, it is a general rule that the most interesting symmetries should arise geometrically. For example, the ancient classification of Platonic solids is seen nowadays as an instance of finding all 'finite symmetries' in three-dimensional space. With the revolution of algebraic geometry in the second half of the 20th century, we now have powerful geometric tools available to solve classical and new problems in number theory and group theory. The PI will use these geometric tools to attack problems in the Langlands program. In the 70s, Langlands made a series of conjectures which links arithmetic invariants (e.g., solutions to Diophantine equations) to analytic invariants (e.g., modular forms). The predictions that Langlands made, if proved, will be extremely powerful in solving classical problems (including the Fermat Problem which was solved in this way). Through this project, the PI hopes to shed light on some problems in the Langlands program and to discover more symmetries that appear in geometry.