Constructions and properties of p-adic L-functions for GL(n)

l函数是编码深层算术信息的基本数学对象。他们的研究可以追溯到几个世纪前，它们是现代数论中两个最大的未解决问题的主题，即黎曼假设和伯奇和斯温纳顿-戴尔猜想。BSD猜想预测三次方程（定义“椭圆曲线”）的有理解的个数由解析l函数的值控制。这一预测在算术几何和复杂分析领域之间架起了一座神秘的桥梁，此后在布洛赫-加藤猜想中得到了极大的推广。最近，通过改变我们看待这座桥的方式，在解决这些问题方面取得了许多成功。特别是，通过考虑两个数字之间不同的“距离”概念，我们能够在算术和分析之间建立一系列不同的代数联系，这些使我们能够建立BSD和Bloch-Kato所需的部分桥梁。所讨论的距离是“p进数”距离，如果两个数的差可以被一个素数p整除，那么它们就非常接近（例如，数字1和1,000,000,001非常接近2进数，因为它们的差可以被2整除9次）。对于每一个素数p，都应该有一个p进的布洛赫-加藤猜想——被称为“岩川主猜想”——每一个猜想都在算术和分析之间建立了另一个重要的联系。这种联系绝对依赖于l函数的p进版本的存在。除了在解决重要猜想方面的效用外，p进l函数本身就是一个美丽的对象。我们期望每个l函数都有一个p进的版本，但是由于它们很难构造，我们离这个目标还很遥远。本提案的目的是通过构建新的p进l函数，将代数拓扑、几何和表示理论的新技术结合起来，以解决基本但历史上棘手的问题，从而广泛地推进我们对p进图的理解。特别是，我将使用在我最近的研究中开发的强大的新方法来给出一些高维自同构形式的第一个结构。

L-functions are fundamental mathematical objects that encode deep arithmetic information. Their study goes back centuries, and they are the subject of the two biggest unsolved problems in modern number theory, namely the Riemann hypothesis and the Birch and Swinnerton-Dyer (BSD) conjecture. The BSD conjecture predicts that the number of rational solutions of a cubic equation (defining an 'elliptic curve') is controlled by a value of an analytic L-function. This prediction, providing a mysterious bridge between the fields of arithmetic geometry and complex analysis, has since been hugely generalised in the Bloch-Kato conjectures. There has been much recent success in attacking such problems by changing the way we look at this bridge. In particular, by considering different notions of 'distance' between two numbers, we are able to build a whole array of different algebraic connections between arithmetic and analysis, and these have allowed us to build parts of the bridge required for BSD and Bloch-Kato. The distance in question is the 'p-adic' distance, where two numbers are very close if their difference is very divisible by a prime p (for example, the numbers 1 and 1,000,000,001 are very close 2-adically, since their difference is divisible by 2 nine times). For each prime p, there should be a p-adic version of the Bloch-Kato conjectures - known as 'Iwasawa main conjectures' - and each of these gives another crucial connection between arithmetic and analysis. Such connections depend absolutely on the existence of p-adic versions of L-functions. In addition to their utility in solving important conjectures, p-adic L-functions are beautiful objects in their own right. It is expected that for every L-function there is a p-adic version, but as they can be extremely difficult to construct, we are very far from reaching this goal. The aim of this proposal is to extensively push forward our understanding of this p-adic picture by constructing new p-adic L-functions, drawing together novel techniques from algebraic topology, geometry and representation theory to attack fundamental but historically intractable cases. In particular, I will use powerful new methods developed in my recent research to give some of the first constructions for higher-dimensional automorphic forms.