Moduli of Galois Representations and Applications

数论是数学中最古老的分支之一，它研究整数的性质和模式，并奠定了重要的实际应用，如公钥密码学(广泛用于互联网上的安全通信)。尽管它有很长的历史，但我们对这个问题的理解仍然不令人满意。在19世纪，E.Galois提出了通过满足的方程来研究数字的想法，其(离散的)对称性被Galois群的概念所捕获。在20世纪70年代，朗兰兹提出了一个影响深远的猜想网络，它将这些伽罗瓦群与一种完全不同的对称性联系起来，即高度对称形状(自同构形式)上的振动中所见的(连续)对称性。在这些猜想的特殊情况下的进展已经导致了壮观的成就，例如费马最后定理的证明，佐藤泰特猜想的证明，许多新的丢番图方程的解，等等。从这些发展中出现的一个主题是，人们可以通过将伽罗瓦群(因此是整数)的信息打包成连续的族来有效地研究伽罗瓦群(从而整数)，并且引人注目的是，这些空间与量子物理的思想有关。这个项目旨在进一步推进这一思想圈，这是在朗兰兹计划中取得进一步进展所必需的。更具体地说，该项目研究了p-adad场的伽罗瓦群的p-addy表示的模空间的结构。这是通过在几何表示理论中所研究的空间，特别是仿射Springer纤维中，用p-进Hodge理论条件来模拟Galois表示的形变空间来实现的。这在两个不同的高度发达和活跃的数学领域之间建立了新的联系。因此，一方面，几何技术可以用来解决Mod-Langland程序中的重大问题，如Serre Weight猜想、Breuil-Mezard猜想和局部-全局兼容性问题；另一方面，可以利用Galois理论的见解和启发式方法来发现和研究模表示理论和几何表示理论中的新现象。此外，该项目开辟了许多具体的问题，包括理论和计算方面的问题，为本科生提供了极好的研究机会。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

One of the oldest branch of mathematics is Number Theory, which studies the properties and patterns of whole numbers, and which underlies important practical applications such as public key cryptography (widely used for secure communication over the internet). Despite its long history, our understanding of this subject remains unsatisfactory. In the 19th century, E. Galois introduced the idea of studying numbers via the equations that they satisfy, whose (discrete) symmetries are captured in the notion of Galois groups. In the 1970s, Langlands proposed a far reaching web of conjectures which relates these Galois groups to a completely different kind of symmetry, namely the (continuous) symmetries seen in vibrations on highly symmetric shapes (automorphic forms). Progress on particular cases of these conjectures has already led to spectacular achievements, such as the proof of Fermat's Last Theorem, the proof of the Sato-Tate conjecture, solutions of many new Diophantine equations, etc. An emerging theme from these developments is that one can fruitfully study Galois groups (and hence whole numbers) by packaging the information they contain into continuous families, and strikingly these spaces are related to ideas from quantum physics. This project aims to further this circle of ideas, which is essential to make further progress in the Langlands program.More specifically, the project studies the structure of the moduli space of p-adic representations of Galois groups of p-adic fields. This is achieved by modelling deformation spaces of Galois representations with p-adic Hodge theory conditions in terms of spaces studied in Geometric representation theory, especially affine Springer fibers. This creates new links between two different highly-developed and active fields of mathematics. As a result, on one hand, geometric techniques can be used to make substantial progress on major problems in the mod p Langlands program such as Serre weight conjectures, the Breuil-Mezard conjecture, and local-global compatibility problems; on the other hand, insights and heuristics from Galois theory can be used to discover and study new phenomena in modular representation theory and geometric representation theory. Furthermore, the project opens up many concrete questions, both theoretical and computational, which make excellent research opportunities for undergraduate students.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.